Manuscript XIV-F@1 · XIV-F.tex · section · bae5a40b
Successor package
Decision and exact release › Successor package · lines 1715–1742
A successor receives:
the unchanged XIV-E package and grouped target;
the selected route and the precise correction to its excess-two wording;
the regular manifold and exact formula on it;
the non-clean intrinsic conormal matching theorem;
the rank-two tangent-defect bundle and its quadratic form;
the rank-fourteen projection and one-dimensional frequency fibers;
the persistence of the tangent discrepancy under smooth frequency reparameterization;
the exact F2 stop, with no symbol or prescription released.
A genuinely different paired or resolved construction must state its new representation and prove its own matching, amplitude, and mapping theorems. It cannot be obtained by calling the tangent defect an excess.
The two other routes remain unentered. The successor receives no failure-of-cancellation theorem and no permission to infer one from . It receives no .