AGPL-3.0-or-later · forever.

The edge kinds · 1/6

· control

an after entry · carries its gate predicate

ratified · derived from the pinned spec and the released engine · re-proven at every push

layer
flow
member-of →
The edge kinds

open the page