| 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() | |
| ) | |