The edge kinds · 1/6
an after entry · carries its gate predicate
ratified · derived from the pinned spec and the released engine · re-proven at every push
open the page