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 1022–1028

Since $T_{2}$ is not constructed, no normalized $R_{1} = L (Ret_{1})$ is released, even at the lower determined order. Neither $R_{2}$ nor $T_{3}$ is defined.

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
proposition: Proposition: The switch witness is a separate gate