Manuscript XV-D@1 · XV-D.tex · section · 967136eb
Acceptance ledger
Verdict and remaining gates › Acceptance ledger · lines 1280–1312
| Acceptance item | XV-D verdict |
|---|---|
| Actual frozen graph and every required operator defined | No. Twenty-item audit; D0 fails (Proposition prop:D0). |
| All retained branches, including and both placements | Tracked; freeze check passed; no characteristic evaluation. |
| Operation defined on tests meeting | No (Proposition prop:nolift). |
| Descent under the full reconstruction kernel | Not evaluable for the graph. Fully computed for the jet module (Theorem thm:defect). |
| Corrections in the inherited permitted class | Class 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 estimates | Not entered; strata equations unavailable. |
| Obstruction in an exhaustive class | Not asserted. |
| Quantum admission | Unasserted. |