Manuscript XIV-J@1 · XIV-J.tex · input · 1c0e72ca
Input statement: XIV-G and XIV-F
J0: copied premises and their domains › Earlier analytic handoffs · lines 568–586
XIV-J@1#input:GF
Smooth residual testing can hide attachment-diagonal wavefront directions. The local symbol of the tested source does not provide either composed response symbol.
The factorwise audit of XIV-G excludes automatic application of the ordinary final product theorem at the retained opposite covectors. It is limited to the diagnosed numerical incidence and is not a full-pair nonvanishing theorem XIVG.
XIV-F's selected matching has dimension fifteen and linearized dimension seventeen. Its rank-two quotient is a tangent defect, not an excess fiber. The covector-sum projection has rank fourteen, one-dimensional local fibers, and an isotropic, non-Lagrangian image. Its geometry is a boundary, not a relation used below XIVF.