Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24
Raw experiment-use relation
The frozen order-forming operation › Raw experiment-use relation · lines 654–661
This theorem discharges the abstract partial-order part of obligation O1 for the frozen quotient. It does not prove that the component order is a spacetime order, that its reachability comparisons are all direct signalling witnesses, or that the process has a definite-order circuit realization.