F0: copied analytic inputs

This paper refines the inherited stop; it does not declare J2, D2, or E1 discharged. The missing object remains the grouped characteristic contraction of the complete retained six-branch germ.

The statements quoted below are inputs from the supplied manuscripts. Their local equation labels are new. No incidence ledger, predecessor phase theorem, or branch fiber calculation is re-proved.