Manuscript XV-F@3 · XV-F-v3.tex · section · d4e74afa

Final release sentence

Successor requirement › Final release sentence · lines 2490–2520

Back to manuscript

{{0.91}{ XV-F performs four further source recovery passes; it recovers and verifies XIV-I's reconstruction rule, adapted chart, retarded kernel and kernel square, XIV-J's cross-line definition, mixed vertex Hessian and output convention, XIV-H's coordinate-response line and the role of its fiber tensor, the and kernels with their order bound, XIII-C's collision sets, vertex table and partial-diagonal class, and XII-A's Hadamard matrix; locates three refusals of the canonical-domain equality; verifies four candidate displays from the XII sheet without identifying them; proves that all six internal expressions exist for every completion of the still-undefined data and that three of them take the reconstruction form in the adapted charts; corrects the circulated draft on the coefficient argument, the free-module claim, and a disputed symbol; reduces the candidate identifications to seven located sentences; and finds the core package still incomplete. It therefore defines no lift for the actual graph and asserts no graph-specific defect, obstruction, estimate, or admission, while fixing the form the descent test will take in the recovered class. For the punctured normal-jet module it characterizes jet-detected relations, proves that descending extensions form an affine space over the reconstruction-fixed freedom, and proves that a normal-order bound alone never makes the supported ambiguity finite-dimensional. The full joint characteristic map remains unresolved before instantiation. }}

Nearby in this section