Theorem: Recorded obstruction of En08-A

The package $\mathsf{S}$ does not force a generated reachability cone to be quadratic or linearly isomorphic to a Lorentz cone.

En08-A provides local record networks with these consistency properties and, in the statement of its thm:main, additionally: bounded degree, finite support, finitely many local reduction shapes, no intervention-induced change outside the dependency future, local point distinguishability, and finite pasts for finite collections of records.

Its countermodels permit a Euclidean metric ball as a one-step spatial section on a discrete slice and permit a generated positive-orthant cone. The consistency assumptions also do not imply interpolation, a manifold topology, or causal availability rules for an otherwise unspecified type system.

Proof. This is the obstruction recorded in En08-A CheungEn08A (thm:main). The source construction is thm:network; the two geometric realizations are prop:ball and prop:orthant. The source also uses a two-event chain to witness failure of interpolation and separately discusses the missing typing rules. XXII-A does not reconstruct those networks or claim an independent verification of their proofs.