Manuscript VII-G@1 · VII-G.tex · section · 54f561e8
The negative observation test
Observation boundaries and stochastic histories › The negative observation test · lines 750–757
This is the linear-channel form of the observation-factorization
obstruction in VII-F CheungVIIF (Proposition
prop:obs-obstruction). A capacity check or
rounded report is an additional observation, not a consequence of
a declared matter source algebra.