Realization Calculus

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 A clean cumulative run compiled all \textbf{79 modules}, matched all \textbf{1,000 axiom reports}, verified all \textbf{nine dependency revisions}, and correctly rejected all \textbf{37 invalid-proof controls}. The statement-contract file separately checked the external parameter disjunction, integrality, positive threshold, and exact degree displacement. Warnings were treated as errors.
2 
3 The capstone depends only on \code{propext}, \code{Classical.choice}, and \code{Quot.sound}. The 25 extension-infrastructure tests passed. Exact-rational checks passed 6,500 higher-difference cases in each dyadic normalization, 588 dyadic periods and 1,690 divisor-branch periods. These finite checks are not the universal proof. A fresh-extraction replay, when recorded in the separate release audit, is additional evidence beyond the source build.

Back to source controls

Back to Realization Calculus