Manuscript Oai280-B@1 · Oai280-B.tex · section · 6d92ab75
The register ledger
Access as a circuit invariant and the complete channel › The register ledger · lines 1124–1158
| Register | Role | Decoder access | Final accounting |
|---|---|---|---|
| Logical input | Unknown input | Only through encoding | Included in channel domain |
| Reference | Independent validation reference | None | Jointly measured after return |
| Boundary | Received quantum interface | Allowed | Returned or discarded by complete decoder |
| Boundary | Omitted output | Forbidden | Partial trace; included in complete residual |
| Local ancillas | Fixed independent preparation | Allowed | Every unreturned output retained in residual description |
| Decoder records | Accessible instrument outcomes | Allowed | Summed, or retained and then explicitly marginalized |
| Failure flags | Loss, leakage, rejection, or decoder failure | Only declared accessible flags | Fixed returned logical state |
| Encoder/noise environments | Dilation and preparation purifiers | Forbidden unless explicitly part of received interface | Included in complete residual |
A live-name ledger records allocation, receipt, unitary support, measurement, consumption, classical storage, and quantum return on every branch. It can certify syntactic access and resource use for a trusted implementation description; it does not prove that uncharacterized hardware follows that description.