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

Back to manuscript

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.

Nearby in this section