Interface: ExcludeRule
Defined in: modal/engine.ts:187
A cross-region implication, applied after every command in declaration order, once (no fixpoint): "entering realtime forces the linter off" is { when: s => s.talk === "realtime", set: { linter: "off" } }. Standing abandonment ("disarm turns everything off") is NOT an exclude — it is what the disarm command's reduction does. Excludes are for invariants that must hold no matter which command moved the state.
Properties
name
name:
string
Defined in: modal/engine.ts:189
Human name — shows in traces and property-test failures.
set
set:
StatePatch
Defined in: modal/engine.ts:191
when
when: (
state) =>boolean
Defined in: modal/engine.ts:190
Parameters
state
Returns
boolean