code wiki / ownership
topic: ownership
7 modules sharing the ownership name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_ownership.nx | LN4 + LN5 OWNERSHIP fixture organ (lang.plan rungs LN4 own_check_move and LN5 | 56 | 3 |
| nx_ownership_alias.nx | the ALIAS-SWEEP witness for LN5 (nx_ownership_gate). | 25 | 2 |
| nx_ownership_commitment.nx | sealed mission-lock verdict. | 93 | 4 |
| nx_ownership_dfree.nx | the DOUBLE-FREE witness for LN5 (nx_ownership_gate). | 27 | 2 |
| nx_ownership_gate.nx | GATE for LN4 ownership moves (own_check_move) and LN5 use-after-free | 229 | 1 |
| nx_ownership_map.nx | the LIBRARIAN auto-maps every capability to its owning role by name pattern, and | 114 | 4 |
| nx_ownership_ok.nx | THE POSITIVE CONTROL for LN4/LN5 ownership (nx_ownership_gate). | 79 | 7 |