Manuscript VII-G@1 · VII-G.tex · proposition · 54f561e8
Proposition: Indistinguishability obstruction
Observation boundaries and stochastic histories › The negative observation test · lines 739–750 · proof included or linked
VII-G@1#prop:obs-obstruction
If two admissible inputs agree on the declared observation space but a target requires different accessible output expectations, no channel satisfying the corresponding adjoint inclusion realizes that target on both inputs.
Proof. Theorem thm:observation forces equality of the output expectations.