Manuscript XIII-E@1 · XIII-E.tex · scope · 74eaba48
Release and the three endings
Front matter · lines 242–269
and the three endings{ Constructed means that a joint distribution satisfies all four successor obligations and has an admitted proper pushforward.
Proved obstructed means that an explicit incompatibility excludes every extension in the previously frozen class .
Unresolved means that a required prescription, transverse estimate, contact compatibility, or output theorem is missing.
Results here: a named common-frequency attempt, admitted finite-regulator functionals, convergence on the admissible open sets, auxiliary-localization independence, and the off-collision rigidity of the permitted contacts.
Ending for the requested coefficient: Unresolved at E1. The characteristic-set limit and its prescription independence have not been established. E2–E4 are not released.
A finite regularization is not a completed prescription. A failed sufficient product criterion is not a nonexistence theorem. No universal obstruction in is claimed. The free differential is not applied to the absent coefficient.}