A Roadmap to the Transcript-to-Notebook, Family, and EA(t,r) Corpus

This note provides a short roadmap for a six-note corpus built around the auditable transcript-to-notebook framework, the frozen family/interface layer, and the EA(t,r) proof-complexity program. Its purpose is organizational rather than theoretical. It does not re-derive the pipeline, does not restate the family construction in full, and does not promote any conditional or within-model statement into a stronger claim. Instead, it identifies the distinct role of each note, records the dependency structure among them, and explains how the status discipline is used across the corpus. In particular, the pipeline note serves as the within-model foundation; the bridge note aligns the set-based and notebook-mass languages; the finite-audit note freezes the executable verifiable-finite layer; the family note fixes the candidate input family and interface vocabulary; the EA(t,r) program note isolates the abstract lower-bound route; and the instantiation/transport notes record how concrete family-specific obligations enter later