B Reproducibility boundary
On this page · Permalink · Source line 2017
The companion code is a finite certificate library. It does not construct universal Galois deformation rings, compute general continuous group cohomology, prove representability, discover compatible systems, or evaluate automorphic trace formulas. Those are mathematical inputs or later existence problems. The release is designed to make every finite example and every displayed count independently reproducible without confusing computation with proof.
Historical Block 27 formalization boundary
On this page · Permalink · Source line 2022
The following checkpoint discussion belongs to the Block 27 source. Its statements of partial status are not the live ledger of this edition. The later conditional contract is stated in Appendix Section D. The original frontmatter for that checkpoint is preserved here before the detailed development.