Manuscript IX-D-ST@1 · IX-D-ST.tex · section · b1dc631a
Conditional source contacts, subtraction, and order audit
Conditional source contacts, subtraction, and order audit · lines 925–934
The statement excludes only those simultaneous assumptions.
An independent central source need not be identified with
. A free bisolution equation
is a different input.
The two-slot contact is not the three-observation residue
, and cannot be absorbed merely by changing
IXD ({:contact}).
Nearby in this section
- assumption: Assumption: Simultaneous source prescription
- proposition: Proposition: Conditional source-contact incompatibility
- assumption: Assumption: Future time-ordered lift
- theorem: Theorem: Conditional unnormalized causal subtraction
- section: Conditional source contacts, subtraction, and order audit
- lemma: Lemma: One-order loss
- section: Conditional source contacts, subtraction, and order audit
- proposition: Proposition: The switch witness is a separate gate