code wiki / gated
topic: gated
4 modules sharing the gated name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_gated_edit.nx | GATED SOURCE-EDIT APPLIER (2026-07-21, closes the D001 mechanization gap: | 96 | 1 |
| nx_gated_edit_gate.nx | GATE for nx_gated_edit (gated source-edit applier). 5 teeth incl 1 neg-control | 116 | 2 |
| nx_gated_edit_multi.nx | MULTI-EDIT gated applier: apply N exact old->new edits ATOMICALLY, keep iff a | 106 | 1 |
| nx_gated_edit_multi_gate.nx | GATE for nx_gated_edit_multi (atomic multi-edit applier). 5 teeth incl the | 116 | 2 |