The write a confirm gate HOLDS: field reaching value in the delta (row grammar, "Confirm:
the trigger is a declared transition"). running → true on an apply, mode → 'sip' on the
cue section. Nothing is inferred from a delta's shape — a write that does not carry this field
at this value passes the gate untouched, so a cancel is never held.
The write a confirm gate HOLDS:
fieldreachingvaluein the delta (row grammar, "Confirm: the trigger is a declared transition").running→trueon an apply,mode→'sip'on the cue section. Nothing is inferred from a delta's shape — a write that does not carry this field at this value passes the gate untouched, so a cancel is never held.