Manuscript Em01-B@3 · Em01-B-v3.tex · theorem · 69189992
Theorem: Mathematical release
Conclusions and remaining admission obligations · lines 1906–1940 · proof included or linked
Em01-B@3#thm:release
For the specified finite internal module and crossed array:
The complete regularized retained contraction is a continuous map on actual reconstructed kernels with exact descent.
The fixed retarded-frequency generators have compact-set finite-order estimates covering all frequency regions.
The family converges to ordinary canonical products under the stated localized wavefront hypotheses.
The complete family has the nonconditional estimate (eq:moderate) on arbitrary characteristic tests.
Degree-four highest-degree reconstruction fails descent, while its associated-graded class is well-defined.
Fixed-kernel and continuous-map limits follow under their separately stated additional estimates.
Cutoff locality, auxiliary-limit comparison, characteristic projection, and ambiguity have the precise domains proved above.
No characteristic limit or quantum admission for the full frozen graph is concluded.
Proof. Use Theorems thm:regularization, thm:frequency, and thm:moderate, Corollary cor:canonical, Proposition prop:degree-four, Theorems thm:fixed-limit–thm:map-limit, Propositions prop:cutoff, prop:comparison, prop:independence, Theorem thm:projection, and Proposition prop:ambiguity.