Manuscript Em03-B@2 · Em03-B-v2.tex · section · c1a0977d
Debugging and retained non-transfer boundaries
Debugging and retained non-transfer boundaries · lines 2147–2227
Source repairs. The Fock macro is defined. The decoder (eq:decoder) acts on arbitrary record operators. Inherited radiation inputs and new apparatus preparations are separated explicitly.
A mean does not determine the packet density. The geometric law is proved using quasifreeness. The mean-only stop remains valid.
A finite marginal is not a global radiation density. Only finite participating reductions are represented normally. The weighted radiation-test extension does not reprove the bulk Hadamard construction.
A finite temporal switch is not exact band-limited capture. The constructed differs from . Its mismatch is proved, not silently ignored.
Unselected radiation is not vacuum. The participating occupation and its correlation with are retained. Only newly declared auxiliary apparatus ports are prepared in vacuum.
The Markov envelope is an effective-model extension. Its negative-frequency auxiliary sector is not a new physical negative-energy scalar sector. Correspondence to a local Schwarzschild interaction is unproved.
Coherent transfer is not number copying. Low occupations leave the same vacuum memory state and preserve register coherences. High occupations are saturating environment branches.
The two cutoffs and three tails differ. Reported saturation begins at , giving probability . The ideal count-law error is . The global extraction-domain tail is . A support-only certificate instead uses a square-root tail.
A bounded finite-domain estimate is not an unbounded-drive estimate. Global control certification here uses explicitly bounded generators. Other oscillator drives require their own invariant domain or leakage theorem.
Complete instruments include failures. Raw words, decoder values, spectators, and failure records share one output interface. No trial is postselected away.
Spectator identity is an operation statement. Conditioning on a correlated readout can change the spectator state even when the ideal operation on its tensor factor is the identity.
Landmark I starts with finite qubit kinematics. Its global starred requirements do not supply field preparation, capture, or oscillator control.
Packet occupation is not an emission rate. The inherited is a normalized packet mean. The predecessor's rate uses a separate temporal-window normalization and observation schedule.
The result is not a recovery or evaporation model. The parameter is not an energy-labelled transmission probability from another channel. No Page curve, microscopic message recovery, backreaction, or mass-loss theorem is inferred.
Unrelated admission gates are untouched. No construction concerns O.1, XVI-N, XV-B, or an inherited characteristic quantum coefficient. Their objects are not identified with this apparatus model.