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 999–1003
The vanishing is an ordered-functional-pair assertion, not an independently unsmeared slot-support theorem.
Nearby in this section
- assumption: Assumption: Simultaneous source prescription
- proposition: Proposition: Conditional source-contact incompatibility
- section: Conditional source contacts, subtraction, and order audit
- assumption: Assumption: Future time-ordered lift
- theorem: Theorem: Conditional unnormalized causal subtraction
- lemma: Lemma: One-order loss
- section: Conditional source contacts, subtraction, and order audit
- proposition: Proposition: The switch witness is a separate gate