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
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:
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.
Proved obstructed: a forbidden tuple is exhibited for the named completed kernel, or a nonzero interior defect is proved for the named plateau identity.
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.