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

Abstract

Front matter · lines 87–138

Back to manuscript

XV-F continues XV-E at its gate E0. Its first task is to resolve the source gap that XV-E documented: either recover, from the supplied record, the core definitions needed to state the preliminary lift of the frozen six-branch joint target and its correction class, or report exactly which items remain unavailable.

Five retrieval passes are recorded. The second reproduces XIV-H's coordinate-response line, the , kernels, XIII-C's collision sets and partial-diagonal class, and XII-A's Hadamard matrix; the third returns locators only; the fourth reaches the registered full texts and reproduces XIV-I's reconstruction rule, XIV-I's retarded kernel and its square, XIV-J's grouped cross-line operator, mixed vertex Hessian, and output convention; the fifth yields exactly one identification—XIV-I's adapted chart in terms of —three located refusals of the equality , and four candidate displays from the XII sheet (the fiber tensor , the observation weight as a compactly supported test function, XII-E's quadratic coefficient , and the scalar stress tensor ). Every reproduced display is checked. New checks: in the adapted charts both placements and have exactly the form of the reconstruction rule with explicit coefficients; the fiber map is minus the trace reversal; the derivative is recomputed; the polarization of matches the displayed Hessian for one normalization and is off by a factor two for the other; the advanced kernel is constructed and shown unique for all , conditionally on a declaration the XIV texts do not contain. Three corrections to the circulated draft are recorded: the argument of the reconstruction coefficients is the chart point; with chart-function coefficients the generating family is not free, and XIV-J's null relation is an instance of this dependence; and no manuscript contains the symbol returned by the fourth pass. The tensor , the symbols , , , the ingredients of , , the normalization of the polarized stress, the displays of the target contraction, joint-map class and canonical domain, the residual bundle, the presentation-level correction class, the lift of the collision sets, and all candidate identifications remain unsupplied. The graph-level outcome is Unresolved at F0.

The mathematics on the finite normal-jet module with punctured reconstruction is unchanged: the disjoint classification of null relations; jet-detection as “some extension carries a defect”; the affine space of descending extensions over the reconstruction-fixed freedom, infinite-dimensional in XV-D's example; and the theorem that a normal-order bound alone never makes the puncture-supported ambiguity finite-dimensional. Two phrasing errata to XV-E are recorded. Nothing is transferred to the inherited graph.

Nearby in this section