RT-BR
7 rules. Part II of the specification.
- BR-1An edge is gated only when the source actually made a branch decision
- BR-2The three cases in which a branch decision never gates an edge
- BR-3An active-branch list is a list of names, trimmed and lower-cased
- BR-4An outcome matching no branch is loud, never a silent gate-off
- BR-5Branch gating applies to trigger and data edges alike
- BR-6A stale source does not satisfy an edge
- BR-7A node whose triggers are all unsatisfied is skipped, not executed