code wiki / claim
topic: claim
10 modules sharing the claim name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_claim_audit.nx | substrate scanner verifying claim-vs-implementation. | 255 | 5 |
| nx_claim_check.nx | CLI for session claims (coordination rung 1; core = nx_claim_core.nx). | 60 | 1 |
| nx_claim_check_gate.nx | gate for session claims (coordination rung 1). | 93 | 2 |
| nx_claim_core.nx | SESSION CLAIMS over the deploy-leash store (coordination rung 1, | 384 | 15 |
| nx_claim_extract.nx | MECHANIZED CLAIM EXTRACTION FROM RAW PROSE (closes the one axis where the | 133 | 10 |
| nx_claim_extract_register.nx | GOVERNED registration of mechanized prose claim extraction. | 46 | 2 |
| nx_claim_extract_test.nx | ACCEPTANCE GATE for mechanized prose claim extraction. Exact KATs on | 71 | 4 |
| nx_claim_metric_audit.nx | THE CLAIM-METRIC ALIGNMENT axis of the SOVEREIGN SOTA auditor (2026-07-04). | 416 | 16 |
| nx_claim_verify.nx | AUTONOMOUS, GENERAL, sovereign claim verifier: the wired form of the evidence-grounded | 88 | 5 |
| nx_claim_verify_core.nx | importable CORE of the sovereign claim verifier (logic extracted from nx_claim_verify.nx, | 58 | 6 |