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

Back to manuscript

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.

Nearby in this section