wrice's picture
Publish validated 5bfdbaedb4f5372315da882005ca99cda8e32c67
85b8b70 verified
Raw
History Blame Contribute Delete
1.17 kB
from pathlib import Path
import pytest
EXPECTED_PAGE_NAMES = [
"00-summary.md",
"01-correlated-sampling-theory.md",
"02-rsr-bench-census.md",
"03-vanilla-and-sigmoid.md",
"04-agentic-bitween.md",
"05-nonlinear-invariant-falsification.md",
"06-methods-and-provenance.md",
]
EXPECTED_HASHES = [
"5f0d21d91c0ae1d2877563e7115e804db60361304db4aea72b97596300e60f57",
"79d94d106cfded95104c54624068a07dc9ae16dca681a6ad5370bbb648e8c7de",
"4b8bfdf084cb0038acc0a589837dc4379ba1fb079f30f4be8edf839a21d23a51",
"9b35061b3b4e2873f1b7a4fffc6fa22d659f281c096d990706ebd805303c4c00",
"13999601811ffe2bb8e9526ed601e9d59480b217d6d1917787db2a9c7dbc8372",
]
def test_root_pages_cover_every_claim(project_root):
pages = sorted((project_root / "pages").glob("*.md"))
assert [page.name for page in pages] == EXPECTED_PAGE_NAMES
text = "\n".join(page.read_text(encoding="utf-8") for page in pages)
for digest in EXPECTED_HASHES:
assert digest in text
assert (
"falsified"
in (project_root / "pages/05-nonlinear-invariant-falsification.md")
.read_text(encoding="utf-8")
.lower()
)