Manuscript XII-B@1 · XII-B.tex · section · 229bc869

The three endings and the non-reopening rule

The three endings and the non-reopening rule · lines 264–301

Back to manuscript

The intended affirmative target is admission of a scalar-completed, ramped cubic Einstein insertion and construction of one classical retarded response with a proved plateau law. The three endings are retained:

  1. Constructed: the changed model is frozen, its completed kernel is microcausal, the named response is defined on its stated domain, and its plateau identity is proved.

  2. Proved obstructed: a forbidden tuple is exhibited for the named completed kernel, or a nonzero interior defect is proved for the named plateau identity.

  3. Unresolved: the prerequisite model, completed kernel, or response map has not been specified sufficiently to prove either alternative.

The production specification contains an additional dependency rule: XII-B consumes the changed-model freeze from XII-A; it does not supply that freeze itself. If the required XII-A statements are absent, XII-B stops and does not write the new response formula. That rule governs the present release.

XI-G proves, for its detected observation classes, that the original free-shell cubic class has no representative in XIG. The inherited split null covectors are part of that predecessor result. Nothing below searches for another representative of the original .

A changed source would be a different model. Its admission cannot be deduced merely by negating the original obstruction, and its plateau law cannot be obtained by relabeling the original response. Likewise, absence of a new construction does not extend XI-G's obstruction to every possible changed model.