code wiki / clause
topic: clause
5 modules sharing the clause name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_clause_components.nx | variable-disjoint clause components. | 169 | 6 |
| nx_clause_components_test.nx | AVATAR-style component analysis smoke. | 117 | 3 |
| nx_clause_gate.nx | INDEPENDENT GATE: contract-text retrieval, redline drift, playbook risk. | 94 | 1 |
| nx_clause_lib.nx | CONTRACT TEXT REASONING: clause retrieval, redline deviation, playbook risk. | 231 | 14 |
| nx_clause_weight_test.nx | clause weight + best-first pick smoke. | 118 | 4 |