Manuscript XV-E@1 · XV-E.tex · section · a3dc45f5

Final release sentence

Successor requirement › Final release sentence · lines 1239–1256

Back to manuscript

{{0.91} XV-E performs the source recovery pass over the supplied record, finds four candidate identifications and no new definitions, and therefore defines no lift for the actual graph and asserts no graph-specific defect, obstruction, estimate, or admission. For the punctured normal-jet module it proves the annihilator criterion for the null defect, the three-way classification of null relations, the finite-jet dependence of the defect, the existence of a descending extension for finite punctures, and the relative-estimate criterion for general punctures, and it corrects XV-D's coefficient proposition. The full joint characteristic map remains unresolved before instantiation. }

Nearby in this section