Manuscript-level source-reading evidence
Ledger v15: 42 selected-section records and 105 source hashes among 719 manuscripts. The other 677 await earlier-reading imports or individual review. All 372 family assessments remain a separate first-pass measure; neither count accepts proofs.
Family 266 adds native execution/arithmetic obligations and the exact Fourier certificate's selected verification sections. Six pages were visually inspected. Eleven named native package paths are missing locally; available exact matrix data support partial arithmetic checks only. Full extent and evidence boundaries. Earlier section records are preserved.