| Topic | Retained source anchor |
|---|---|
| Finite tame and wild route | Original manuscript, Sections 2–16. The release traditional paper preserves the route with the Frobenius correction and explicit realization boundary. |
| Original endpoint contract | ORIGINAL_CONTRACT_162.md: common-type versus separate-type readings, same-candidate H5, and exact witness requirement. |
| Odd arithmetic constructor | PROOF166.md; TRACE_ZERO_AS_TOWER166.md; RECURSIVE_TOWER166.md. |
| Full-character induction | TRACE_ZERO_CHARACTER_\allowbreak{}INDUCTION166.md;DYADIC_FULL_CHARACTER167.md. |
| Dyadic construction | PROOF167.md; DYADIC_AS_TOWER167.md; DYADIC_CAPACITY167.md. |
| Marked finite extensions | DYADIC_MARKINGS167.md, including native-refinement conditions and whole-subgroup transport. |
| Enlarged low ranks | ENLARGED_CARRIER_CONTRACT167.md; the rank-two, rank-four, and induction-in-stages notes. |
| Stabilizer boundary | STABILIZER_CONTRACT166.md; SCALAR_NATIVE_ATTACHMENT166.md. |
| Reviews and computation | The accompanying audit directories, exact computation contracts, source pins, and execution manifests. |
The .md materials accompany the PDFs. Historical optimistic filenames or superseded reviews are preserved as history and do not override the final statements and scope records.