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 1046–1051
This preserves the witness conditionally; it does not construct its switched successor, a new gauge action, or G2.
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
- section: Conditional source contacts, subtraction, and order audit
- lemma: Lemma: One-order loss
- section: Conditional source contacts, subtraction, and order audit