Manuscript-level source-reading evidence
Ledger v19: 53 selected-section manuscript records and 158 source hashes among 719 manuscripts. The other 666 await earlier-reading imports or individual review. All 372 family assessments remain separate first-pass coverage. Neither count accepts proofs.
Family 149 adds two manuscript records: initial-state-dependent bounds and the newer classwise permanence claim. Four PDF pages were visually inspected. Precise construction limits and finite conventional model evidence. Parts of the affine induction/gluing remain unread; no source construction, full proof or kernel ran. Earlier editions are preserved.