The ids a definition opens, its own edges and its items' — the one walk of
the edge brand, so an edge's target is in the set whichever way it was
declared. An action edge names its target by id only (its table is not the
definition's actions), so the walk carries ids beside definitions; the
reachable set reads both.
The ids a definition opens, its own edges and its items' — the one walk of the edge brand, so an edge's target is in the set whichever way it was declared. An action edge names its target by id only (its table is not the definition's actions), so the walk carries ids beside definitions; the reachable set reads both.