Manuscript En06-A@1 · En06-A.tex · theorem · e04c9892
Theorem: Foliation independence of one finite network
Order-theoretic and metric domains of dependence › Speed and legal reorderings · lines 600–613 · proof included or linked
En06-A@1#thm:foliation
Every linear extension of the dependency partial order of a finite complete wired network gives the same complete instrument and the same joint recorded-history law.
Proof. Incomparable events have disjoint current wire interfaces. Their extensions by identities commute, including on entangled inputs. Any two linear extensions of a finite partial order are connected by adjacent swaps of incomparable events. Every swap preserves the complete composition.