Manuscript XV-C@1 · XV-C.tex · section · 5afd124d

Acceptance ledger

Acceptance ledger and debugging › Acceptance ledger · lines 1311–1351

Back to manuscript
Required acceptance itemXV-C verdict
Complete frozen graph, including cross-linesNot supplied. The source-completeness gate fails.
Six original branches and both placementsTracked explicitly in the source decomposition. No characteristic evaluation of all blocks is constructed.
Operation on tests meeting Not constructed for the full graph.
Actual supported coefficients shown to extendExact collected formulas and an equivalent estimate test are proved. The estimates for the unsupplied ingredients are not verified.
Complete reconstruction independenceA complete criterion is proved for a specified finite normal-jet module. The actual full reconstruction kernel is not determined.
Inherited permitted correction classNot supplied or replaced by an unrestricted class.
Actual null defect cancelled or genuinely obstructedNeither. No full preliminary lift or exhaustive class is available.
Complete-graph wavefront and uniform estimatesNot proved.
Quantum admissionUnasserted.