Measurement Budget Audit

Survived Shots Feed Readout

retained count first

Treat the apparatus as a row of prepared shots, then erase the ones that do not survive long enough to be read. In this pinned toy ledger, 80 prepared shots leave 60 retained shots for the next budget; a real survival count also depends on preparation stability, timing windows, and readout loss.

The audit begins by carrying the retained survival count into later budgets. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.

highlighted = computed this step

Prepared shots reduce before readout

The audit starts with 80 prepared shots and retains 60.

Nretained=60N_{\text{retained}}=60
Survival feeds the auditRetained shots are computed before readout.3/4retained1/4lostsurvival budget

The retained count becomes the next budget

The phase budget must start with the same 60 retained shots. The capstone check rejects a mismatch.

Nphase initial=60N_{\text{phase initial}}=60
Cross-stage auditRetained shots feed the phase budget.windowsignaloverlaptrue probabilitieszero 3/4one 1/4assignmentobserved probszero 29/40one 11/40over 40 shots29 zero reads11 one readsprep -> ctrl -> phase -> read