λEnter Calculus CompanionRegistered manuscripts, kept distinct

Manuscript En04-A@1 · En04-A.tex · section · bab77211

The external residual program

Readout, forgetting, and the complete apparatus › The external residual program · lines 1290–1304

Back to manuscript

For a finite encoded residual, the observer may explicitly add

P_{forgetB} : Q_{R} \otimes Q_{B} \to Q_{R}

with body

x := Enter(B); dropBit(x); returnQ(R);

This is an external operation, not a conclusion about autonomous evolution.

Displayed formulas in this passage

unlabeled · line 1293
$P_{forgetB} : Q_{R} \otimes Q_{B} \to Q_{R}$

Nearby in this section