Manuscript En01-B@2 · En01-B-v2.tex · section · f226d1eb
Residual ledger
Preparation and detector conditions for the control › Residual ledger · lines 1941–1976
En01-B@2#tab:residual
| Departure from (eq:Y) | Required bound or modification |
|---|---|
| Setting-dependent preparation visibility | Bound its log-visibility departure from one shared offset |
| Finite packet width and shape change | State-specific packet or full-protocol error certificate |
| Unsaturated gas localization | Bound departure from the constant template |
| Nonquadratic environmental attenuation | Bound it or include an additional nuisance template |
| Setting-dependent sensing response | Joint response calibration, including efficiencies and failures |
| Separation uncertainty | Derivative or interval propagation with calibrated separation windows |
| Moving branch separation | Trajectory-integrated templates, validated before use |
| Different pre-split dynamics | Full protocol comparison, not a post-split attenuation insertion |
| Outcome-dependent preparation | Retain records; bound windowing and heralding effects |
constructive theorem requires every relevant departure to enter its residual budget. An independently free offset at each setting invalidates the cancellation rather than merely increasing precision requirements.