{
  "title": "Correctness Audit of Boolean CM Modal Models",
  "original_date": "2026-09-18",
  "original_byline": "Prepared for Brian / Quantum CM project",
  "pdf_pages": 28,
  "pdf_sha256": "602c8c82b8b0f09ce5e453d36f258821901bcb0bd654714ef500ca0c3835bc68",
  "source_manifest": {
    "CM_Correctness_Audit_Standalone.tex": "0f1ebab450602f9382a5564cf7c46307950685aee7ec762c6a27862e64fbdd70",
    "CM_Correctness_Audit.tex": "c7c861dd4d3f49a15b89ec9a030ccaec1fd9efce0c8306bd5058c5f0317560cc",
    "generated_tables.tex": "0f3766e68e6b3b09d43c10c85834a2b75c00b3b26120b0473dfe69a9a126e184"
  },
  "source_zip_sha256": "63374e4fc164f4d5d224d1a5109c446b2b8c8716cd99bbed875dd13ff97b23c0",
  "evidence_zip_sha256": "25c1b60d3231c0b757845827370852fbf97081b36910a41aa7417c7e3dc49ea2",
  "status": "Website supporting reading copy; release authorized 2026-11-12; not journal publication or external peer review",
  "family": "correspondence-matrices",
  "formats": [
    "unchanged original PDF",
    "exact TeX source",
    "new HTML summary and correction ledger",
    "historical source and evidence archive"
  ],
  "html_full_manuscript": false,
  "historical_manifest_status": "Eight root differences match after CRLF/LF normalization; one timing-file mismatch unresolved; nested manifests exact. Original bytes/manifests unchanged.",
  "review_status": "Source/contract and package preparation with bounded checks; no new comprehensive proof audit, external peer review or priority clearance",
  "historical_citations_note": "The original report predates the September 27 foundations revision and cites an earlier operator-level manuscript supplied as excerpts; current public relationships are documented only in the new ledger.",
  "simulation_status": "No inherited full driver campaign rerun; fresh tests are recorded separately.",
  "fresh_verification": {
    "historical_independent_suite": "31 tests freshly passed in the copied package",
    "new_contract_witnesses": "11 exact checks with standard Python/Fraction; no historical code imports",
    "full_historical_driver_rerun": false,
    "verification_zip_sha256": "299d0e67a908e1e2423b4cb2fde0d26649f1f9acd6897671dcb398c3ac41e0ac"
  },
  "local_integration_date": "2026-11-12",
  "website_release_date": "2026-11-12",
  "packaging_note": "Original source/evidence/check ZIPs retain preparation labels. Current website release status is recorded here; their bytes are unchanged."
}