# Manuscript-level source-reading evidence

The [ledger v13](checkpoints/manuscript-ledger-2026-10-09-v13.json) inventories 719 manuscripts, with **36 selected-section records and 86 source hashes**. The remaining 683 await precise earlier-reading imports or individual review. All 372 family assessments remain a separate first-pass measure; none of these counts proves full mathematical acceptance.

Family 116 adds characteristic-zero pages 1-12, positive-characteristic pages 1-4/10-13 and rational-formula pages 1-4/16-21. Five construction pages were visually inspected. The family scope, two linked Comparators/configurations and the two solution entry files were read. Full imported formal closure, complete companion manuscripts, kernel and source-program acceptance remain open.

An independently written bounded Python reference implements the characteristic-zero rational matrix action. Positive finite witnesses are separate from the source's universal nonvanishing claim; zero remains conditional or unknown. The larger companion algorithms received numerical schedule planning only. [Dossier](opportunities/012-noncommutative-identity-checks/2026-10-09-v2.md), [comparison](prototypes/noncommutative-hitting-comparison-2026-10-09-v1/report.md), [previous overview](MANUSCRIPT-REVIEW-2026-10-09-v12.md).