Manuscript Psy04-A@1 · Psy04-A-v1.tex · section · d5800e2a
Capacity and experimental-access ledger
Capacity and experimental-access ledger · lines 2133–2185
| must be counted at the delayed-query boundary. | ||
|---|---|---|
| Object | Admitted status | Required check |
| Object | Admitted status | Required check |
| Named classical carrier | At most two realized states in the main null | Its joint decoder-accessible state, not only one marginal. |
| Shared random seed | Free only if independent of fresh | No current-input-dependent mutation or correlated input generator. |
| Controller and pulse log | Counted if current-input dependent | No retained copy of an encoding bit or preparation setting. |
| Delay environment | Counted if it can influence later decoding with input information | Declared factorization or independently bounded discrepancy. |
| Timing and stopping information | Counted if it reveals current input | Fixed or input-independent schedule, or explicit resource model. |
| Preparation and erasure flags | Neutral scored; independence needed for multiplicative formula | Complete record retained and input dependence audited. |
| Scoring copy of | Experimenter-side only | No access or feedback to the current decoder. |
| Late query | Fresh and independent after encoding | No advance leakage or predictable query schedule. |
| Decoder ancillas | Input-independent fresh resources | No retained input-dependent correlations or shared entanglement. |
| Across-run memory | Permitted before the new inputs | Current-run bottleneck still enforced after encoding. |
| Repeated copies of the same input | Different storage experiment | All copies and retained observations must be counted. |
| Experimental failures | Complete attempted-run denominator | No favorable postselection or retrospective omission. |