0.41 — state-scoped refusals, guards over a related row, and a delivery context
ess/18: a refusal scoped to some held states, state in a when_subject predicate, a guard over the row of another entity, and a binding that reads the context its event was delivered with.ESSfield-noteessfield-noteadopterdevelopertry-spec-driven-developmentresearch0.41.0 adds the source format ess/18, described in
the version history.
Refusals by held state
when_subject_state: may list several states, and a refusal may carry it without naming a
subject, so a command can answer differently in states its moves do not start from. A
when_subject predicate may read state beside the stored fields.
A guard over another entity
when_related: selects a branch by the row of another entity whose identity the input carries:
exists: false when there is none, or a predicate over its stored fields.
Delivery context
An event binding may declare the context its channel delivers with the event and read it as
context.<field>; conformance delivers such an event itself.
Synthesis and mutation
Map inputs, view filters over identities and links, every creating command, and the record an input refusal needs are now witnessed. The mutation audit scores gained refusals and skipped baselines apart from survivors.