the registers
The edge kinds.
The run graph speaks a closed set of edge kinds: value bindings, the two observations, control, recovery and the reserved finally. Unknown kinds are reader-tolerated by law · new ones arrive with the spec. The teaching lives on /how/flow; this root lists the rooms.
- 6membersone room each
- ratifiedthe clockre-proven at every push
- /how/flowthe teaching hubwhere the register is taught
- language/edgesthe familythis root lists its rooms
the rooms
6 doorsan after entry · carries its gate predicate
an error read in with · flows only when the producer failed
reserved · named so the enum is complete before the trace wave gives cleanup identity
an on_error.recover reference · a parking read, not an ordering edge
a status or timing read in with · settles with the producer
a with binding referencing a task output · carries the binding name
The whole lens lives in the map. Read the spec →