Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436
Matter, source algebras, and policy T0
Named access and the supplied-token boundary › Matter, source algebras, and policy T0 · lines 488–497
The two arguments correspond to VIII-B's expectation-label obstruction
and VII-G's affine obstruction
CheungVIIIB (Proposition prop:obstruction),
CheungVIIG (Proposition prop:affine).
They are proved here rather than assumed. They do not prohibit
deterministic processing of an already supplied classical token,
stochastic instruments, or separately controlled approximations.