Manuscript En05-A@1 · En05-A.tex · section · f076e703
Factorization and adjoint support
Partitioned dynamics and the exact comparison theorem › Factorization and adjoint support · lines 454–461
This is the factorization form of the no-signalling interface in
Cheung VII-J CheungVIIJ (thm:nosignal).
Its adjoint form matches En03-A
CheungEn03 (lem:one-layer, thm:locality).
The proof above is independent of those source records.