Manuscript XIV-G@1 · XIV-G.tex · section · 791c6644

Decision and exact release

Decision and exact release · lines 1758–1791

Back to manuscript
GateEndingExact scope
G0FrozenCopied predecessor packages, unchanged pair, source, six-branch germ, and ambiguity contract.
G1One route namedOperator/pullback calculus from the regrouped expression. Resolved paired and common-frequency routes unentered.
G2Partial results; UnresolvedThe common locus is named. Local source typing, testing limitation, and factorwise pullback failure are proved. Complete internal relations and a common symbol relation remain missing.
G3Not enteredNo joint principal-symbol section or common bundle.
G4Not enteredNo complete remainder theorem and no full cancellation or nonvanishing verdict.
G5Not enteredNo characteristic prescription or actual transverse degree.
G6RecordedJ3–J5 and the Ward-defect question remain unopened.

Nearby in this section