Proofs, Calculations and Reproduction
The programme has two complementary public implementations. The Lean library records formal declarations, hypotheses and theorem-to-paper mappings. V5 evaluates the physical response and retains its source dependencies, interval enclosures and comparison data.
Lean formalization
The Lean library develops the Gaussian source, generated arithmetic, finite histories and history-assembly dynamics. Its physical branch includes the generated gauge-matter structures and the nonlinear Yang-Mills action, self-adjoint Hessian and attained positive spectral gap.
- Theorem-to-paper index
- Branch alignment and proof coverage
- Verification workflow
- Concept DOI 10.5281/zenodo.23254521
V5 physical calculations
The Coarse-Graining Genesis Framework implements the common-source calculation through finite spectral response, effective couplings and mass scales to macroscopic and cosmological readouts. The release records distinguish generated quantities, dimensional calibration, physical matching and observational comparisons.
- Reviewer entry
- Release facts
- Lean correspondence
- Regression workflows
- Concept DOI 10.5281/zenodo.22067005
Reading a verification record
A formal declaration establishes its stated conclusion under its typed hypotheses. A numerical certificate encloses a specified finite calculation and its controlled remainder. A comparison statistic relates a specified readout to measured data. The companion papers explain how these distinct records support their mathematical and physical conclusions.
Each article page links the manuscript and any distributed computational supplement. Cite the article for its result and the relevant software record for a reproduction.
Questions and reproduction help
The research guide introduces the reading routes. Questions about a theorem or physical mechanism can be raised in mathematics and physics Q&A. For help rebuilding a proof, running a calculation or interpreting a certificate, use reproduction help. Include the source revision and the declaration or output concerned so that the discussion can be tied to the record being used.