Manuscript I-B@1 · I-B-v1.tex · section · 5357688f

Four declared structures

Finite names, access, control, and destructive Enter › Four declared structures · lines 406–419

Back to manuscript

A fixed classical history has one normalized pure state on its complete live quantum names. Unitary gates and pure allocations preserve this property. At a rank-one destructive readout, each supported outcome has a normalized pure residual. Density operators and recorded channels describe ensembles, inaccessible restrictions, and complete input–output comparisons; they do not assert that a classical mixture is one pure branch.

An untouched reference may be included in a complete input. It has no available control or communication wire. Its storage is listed separately from the laboratory storage.

Nearby in this section