Injection and re-entry
J = M ∘ C = µ ∘ η ∘ µ. The return keeps the carried content a and the carried field, and marks the boundary.
STAGE SPOTLIGHT
REGISTER S (BELNAP FOUR)
S = {{sText}}
L = lfp(S ↦ S ∪ {B}) = {B}
C(S) = S ∪ L = {{cText}}
C(C(S)) = C(S) ✓ · B ∈ C(S) ✓
Collapse changes marker \ Cascade keeps a \Return reads F = E(J(X))