Manuscript VII-E-ST@1 · VII-E-ST.tex · section · d28d9c5d
Intrinsic observation and histories
Contract G: finite completely positive hybrid evolution › Intrinsic observation and histories · lines 1314–1320
Branch closure is necessary for the corresponding universal one-step comparison at every node, by Theorem thm:observation. It is not asserted necessary for accidental agreement on one input or one terminal test.
Nearby in this section
- theorem: Theorem: Hybrid observation criterion
- section: Intrinsic observation and histories
- theorem: Theorem: History-sensitive observation
- example: Example: An aggregate continuation can hide branch failure
- proposition: Proposition: Minimal backward boundary
- section: Intrinsic observation and histories
- theorem: Theorem: Spectator consistency for Contract G