The targets one screen's edges name: its own edges, its item lists' edges,
and the ids its action edges name. This is the one walk of the edge brand
every type-level reader of edges builds on — the reachable screen set
(ScreenOpenTargetsOf, ScreenReachableFrom). An action edge is declared in
a table of its own (actionEdges), so its definition type names the target
by id only (~opens); the walk carries that id beside the targets.
The targets one screen's edges name: its own edges, its item lists' edges, and the ids its action edges name. This is the one walk of the edge brand every type-level reader of edges builds on — the reachable screen set (
ScreenOpenTargetsOf,ScreenReachableFrom). An action edge is declared in a table of its own (actionEdges), so its definition type names the target by id only (~opens); the walk carries that id beside the targets.