Manuscript XV-D@1 · XV-D.tex · section · 967136eb

Acceptance ledger

Verdict and remaining gates › Acceptance ledger · lines 1280–1312

Back to manuscript
Acceptance itemXV-D verdict
Actual frozen graph and every required operator definedNo. Twenty-item audit; D0 fails (Proposition prop:D0).
All retained branches, including and both placementsTracked; freeze check passed; no characteristic evaluation.
Operation defined on tests meeting No (Proposition prop:nolift).
Descent under the full reconstruction kernelNot evaluable for the graph. Fully computed for the jet module (Theorem thm:defect).
Corrections in the inherited permitted classClass undefined. Jet-module cancellation analysed in two unrestricted classes.
Coefficient estimates for actual , Formulas unavailable; conditional reduction proved (Proposition prop:reduction).
Complete-graph microlocal and uniform estimatesNot entered; strata equations unavailable.
Obstruction in an exhaustive classNot asserted.
Quantum admissionUnasserted.