λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript IX-E-2@1 · IX-E-2.tex · section · e70d9077

Precise unfinished status

Actual support coverage and the unfinished bridge › Precise unfinished status · lines 1327–1340

Back to manuscript

No proof of (eq:SB) is supplied here. No retained counterexample with both actual support orderings is supplied either.

The kernel identity is closed. The strongly separated witness calculation is closed. The nonzero control is closed as an observation-spacelike calculation. The domain-wide stop remains the actual functional-support bridge.

It would be incorrect to move that stop to a replacement distribution, or to describe the control as an evaluated fixed-domain obstruction.