Manuscript Hawk02-A@1 · Hawk02-A.tex · section · 7fbae745
Stopping and completion are different claims
Stage 6: endpoint, keys, and residual accounting › Stopping and completion are different claims · lines 1449–1458
Em03-E is a finite bookkeeping laboratory: its full complement
retains the key purification, dephasing environment, and
success/failure sectors
CheungEm03E ({thm:complement}).
It is not Hawking dynamics, but it illustrates why residual factors
cannot be dropped when they cease to appear in an occupation
ledger.