Manuscript XIII-E@1 · XIII-E.tex · scope · 74eaba48

Release and the three endings

Front matter · lines 242–269

Back to manuscript

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.}

Nearby in this section