Obstruction and representation

The last theorem is conditional on geometric data. It neither constructs an affine space from a raw event poset nor proves that cone automorphisms lift to automorphisms of the record network. These distinctions prevent a vacuous identification of scheduler changes with changes of observer.