diff --git a/docs/index.html b/docs/index.html
index 0151f66..fbf1b91 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -120,10 +120,10 @@
VSTD is a maintainer-led alpha project specification. Compatibility VSTD-4 and Graph paths remain NOT_ESTABLISHED candidates. Separate evidence-bound VSTD-4, VSTD-5, Graph-profile, and assurance-event paths rerun exact registered mechanisms from embedded evidence; no real external witness is claimed by this repository. The project has no demonstrated external adoption, independent implementation, interoperability deployment, or third-party security review.
Review the maturity table
Report an ambiguity or counterexample
diff --git a/scripts/check_presentation.py b/scripts/check_presentation.py
index 10f265b..dfa567e 100644
--- a/scripts/check_presentation.py
+++ b/scripts/check_presentation.py
@@ -272,6 +272,7 @@ def check_versions(errors: list[str]) -> None:
re.MULTILINE,
)
zenodo = json.loads((ROOT / ".zenodo.json").read_text(encoding="utf-8"))
+ zenodo_date = zenodo.get("publication_date")
changelog = (ROOT / "CHANGELOG.md").read_text(encoding="utf-8")
found = {
"src/verifier/__init__.py": None if init_match is None else init_match.group(1),
@@ -297,8 +298,14 @@ def check_versions(errors: list[str]) -> None:
errors.append("unreleased CITATION.cff must not fabricate date-released")
if "release candidate" not in citation_text.lower():
errors.append("unreleased CITATION.cff must identify the release candidate")
- elif citation_date is None or citation_date.group(1) != dated.group(1):
- errors.append("CITATION.cff date-released must match the dated CHANGELOG heading")
+ if zenodo_date is not None:
+ errors.append("unreleased .zenodo.json must not fabricate publication_date")
+ else:
+ assert dated is not None
+ if citation_date is None or citation_date.group(1) != dated.group(1):
+ errors.append("CITATION.cff date-released must match the dated CHANGELOG heading")
+ if zenodo_date != dated.group(1):
+ errors.append(".zenodo.json publication_date must match the dated CHANGELOG heading")
def maturity_table_violations(readme: str) -> list[str]:
@@ -377,7 +384,7 @@ def check_claim_boundaries(errors: list[str]) -> None:
"VSTD evaluates bounded validity propositions about computational processes",
"RUST is the inverse-TRUST diagnostic mechanic",
"cryptographic zero knowledge can enclose",
- "The current checkout is an unreleased",
+ "Version 1.2.0 is the current release",
)
for phrase in required_readme:
if phrase not in readme:
diff --git a/scripts/check_release_metadata.py b/scripts/check_release_metadata.py
index 7c38575..92e6ebf 100644
--- a/scripts/check_release_metadata.py
+++ b/scripts/check_release_metadata.py
@@ -69,6 +69,10 @@ def require_finalized(root: Path, version: str) -> None:
zenodo = json.loads((root / ".zenodo.json").read_text(encoding="utf-8"))
if zenodo.get("version") != version:
raise ValueError("Zenodo version does not match the release coordinate")
+ if zenodo.get("publication_date") != release_date:
+ raise ValueError(
+ "Zenodo publication_date must match the CHANGELOG release date"
+ )
description = str(zenodo.get("description", "")).lower()
if "release-candidate" in description or "after the release exists" in description:
raise ValueError("Zenodo metadata still describes an unpublished candidate")
diff --git a/tests/test_presentation_surface.py b/tests/test_presentation_surface.py
index 01c54ae..5a629af 100644
--- a/tests/test_presentation_surface.py
+++ b/tests/test_presentation_surface.py
@@ -236,10 +236,14 @@ def test_pages_artifact_serves_every_canonical_schema_id(tmp_path: Path) -> None
"canonical_base_url": "https://timelordraps.github.io/verifier/",
"documentation_version": "1.2.0",
"normative_source": "standard/",
- "release_state": "UNRELEASED_CANDIDATE",
+ "release_state": "RELEASED",
"schema_version": 1,
"source_ref": "test-commit",
}
+ for page in (output / "index.html", output / "guides.html"):
+ text = page.read_text(encoding="utf-8")
+ assert "released 2026-09-01" in text
+ assert "unreleased candidate" not in text.lower()
sources = sorted(
(
*ROOT.joinpath("receipts/schema").glob("*.json"),
diff --git a/tests/test_release_artifacts.py b/tests/test_release_artifacts.py
index 7b54aca..553acf0 100644
--- a/tests/test_release_artifacts.py
+++ b/tests/test_release_artifacts.py
@@ -416,7 +416,13 @@ def _write_final_release_metadata(root: Path) -> None:
encoding="utf-8",
)
(root / ".zenodo.json").write_text(
- json.dumps({"version": "1.2.0", "description": "Final publication metadata."}),
+ json.dumps(
+ {
+ "version": "1.2.0",
+ "publication_date": "2026-08-26",
+ "description": "Final publication metadata.",
+ }
+ ),
encoding="utf-8",
)
@@ -429,6 +435,7 @@ def _write_final_release_metadata(root: Path) -> None:
"mismatched_citation_date",
"candidate_citation",
"candidate_zenodo",
+ "mismatched_zenodo_date",
"package_version",
),
)
@@ -451,8 +458,17 @@ def test_release_metadata_gate_rejects_unfinalized_or_inconsistent_state(
elif fault == "candidate_zenodo":
path = tmp_path / ".zenodo.json"
path.write_text(
- json.dumps({"version": "1.2.0", "description": "Release-candidate metadata."})
+ json.dumps(
+ {
+ "version": "1.2.0",
+ "publication_date": "2026-08-26",
+ "description": "Release-candidate metadata.",
+ }
+ )
)
+ elif fault == "mismatched_zenodo_date":
+ path = tmp_path / ".zenodo.json"
+ path.write_text(path.read_text().replace("2026-08-26", "2026-08-25"))
else:
path = tmp_path / "pyproject.toml"
path.write_text(path.read_text().replace("1.2.0", "1.1.3"))