Manuscript XIV-H@1 · XIV-H.tex · input · 695c7c3a
Input statement: Geometric release, copied
H0: copied handoffs and their domains › XIV-F's geometry is a boundary, not a relation · lines 378–407
XIV-H@1#input:F
On the regular six-constraint stage,
The tangent-defect map is
Its quotient has rank two. It is not an established excess fiber.
The selected matching has actual dimension fifteen and linearized matching dimension seventeen. The covector-sum map satisfies
Its image is isotropic of dimension fourteen, not Lagrangian in .
The direct clean-excess-two identification was excluded. The grouped target remained Unresolved at F2 XIVF.
Displayed formulas in this passage
unlabeled · line 381
unlabeled · line 387
unlabeled · line 397