A pure edge — {name, when, to} plus presentation, no ops or effects
(structure never does; only actions do). Every transition is evaluated on
every commit and cascade; the first truthy when in declaration order
fires. No action coupling: a routing difference is written into fields by
an action and read by the trigger — arrival work is a when: 'true'
action in the destination stage, and exit work is an action in the source
stage whose when repeats this transition's condition (the hop rule
guarantees it commits before the move).
A pure edge —
{name, when, to}plus presentation, no ops or effects (structure never does; only actions do). Every transition is evaluated on every commit and cascade; the first truthywhenin declaration order fires. No action coupling: a routing difference is written into fields by an action and read by the trigger — arrival work is awhen: 'true'action in the destination stage, and exit work is an action in the source stage whosewhenrepeats this transition's condition (the hop rule guarantees it commits before the move).