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

Final release sentence

Successor requirement › Final release sentence · lines 1384–1400

Back to manuscript

{{0.91} XV-D audits the supplied record item by item and finds the frozen graph data still source-incomplete at D0; it therefore defines no preliminary lift for the actual graph and asserts no graph-specific null defect, obstruction, estimate, or admission. For the one source-complete module, the finite normal-jet module with punctured reconstruction, it computes the null defect of every extension lift exactly, proves it puncture-supported and extension-dependent, exhibits a nonzero instance, and shows that the inherited null identity carries no defect. The full joint characteristic map remains unresolved before instantiation. }

Nearby in this section