CM Model Correctness Audit
Which conclusions survive when the scalar, tensor, transformation and readout contracts are kept explicit?
Audit guide, PDF and exact source Or start with the explanation below.
Start with the model-boundary guide and correction ledger.
This report supports Correspondence Matrices / CM-LM by separating representation, allowed operations, observation and evidence. It also supplies correction history for the specialist phase, chain-ring and process branches; those branches are not asserted to have public manuscript editions here.
The historical audit predates the current September 27 foundations revision. That revision already separates logical pairing from physical measurement and makes no speedup claim. This resource records the reasons for retaining those boundaries, without silently changing either manuscript.
The original PDF and source remain unchanged. Eight old manifest differences are explained by line endings; one timing-file discrepancy remains unresolved. The packaging record states which checks are fresh. Website release authorized 12 November 2026; this is not external peer review or priority clearance.
Related manuscript
Correctness Audit of Boolean CM Modal ModelsHistorical September 18 audit available as website supporting material; internal AI/computational evidence, not external peer review.
Reading scope: Supporting correction provenance, not a replacement for the current foundations paper or blanket certification of later modal results. Historical timing-manifest discrepancy retained.
Site reading copy 1 from Verified baseline 1.0, 18 September 2026; unchanged 28-page PDF and exact modular/standalone source. New summary and current-relevance ledger dated 12 November 2026.
Audit guide, PDF and exact source Read the PDF Historical source and evidence See this manuscript's index entry