Manuscript En10-A@1 · En10-A.tex · assumption · 0a1d7743
Assumption: Source access
The frozen finite interface › Registers, basis, and externally supplied source family · lines 250–257
En10-A@1#ass:source
The observer receives independent preparations of and does not receive the source-component label or a classical token containing the unknown value of . The preparation mechanism and any purification of belong to the supplier's interface.