Manuscript XXII-A@1 · XXII-A.tex · section · 9e4e9f66
The scheduler-consistency obstruction
The scheduler-consistency obstruction · lines 369–383
The obstruction is relative to its hypotheses. A future quantum process class may exclude a countermodel by a proved class restriction or by a genuinely additional hypothesis. Such an exclusion must be shown; it does not follow from the word “quantum.” Conversely, a countermodel outside a newly restricted class does not refute a theorem about that class.
En08-A's positive representation statements are conditional on a
faithful generated affine cone representation and further cone
properties CheungEn08A (thm:mainpositive, thm:representation). They do not construct that representation from a raw
event order.