code wiki / ledger
topic: ledger
9 modules sharing the ledger name family (derived from the tree's prefix discipline).
| module | description | lines | funcs |
|---|---|---|---|
| nx_ledger.nx | double-entry bookkeeping primitive (L13 foundational). | 352 | 10 |
| nx_ledger_data.nx | LEDGER-AS-DATA (rung AN1): an Analyst case is a .led FILE, not code. | 317 | 12 |
| nx_ledger_data_gate.nx | ENGINEER gate for LEDGER-AS-DATA (rung AN1). Proves: the .led grammar | 102 | 4 |
| nx_ledger_data_register.nx | GOVERNED registration of LEDGER-AS-DATA (AN1) + the v2 case | 47 | 2 |
| nx_ledger_gate.nx | F981 INDEPENDENT GATE for the sovereign double-entry ledger. | 176 | 5 |
| nx_ledger_lib.nx | F981: THE SOVEREIGN DOUBLE-ENTRY LEDGER (the first byte of Nishi finance). | 273 | 15 |
| nx_ledger_min.nx | lane gate: require >= min property-verified greens in an autofix ledger. | 78 | 5 |
| nx_ledger_scale_gate.nx | F981 SCALE RUNG: prove the per-account index returns the SAME answer as | 144 | 5 |
| nx_ledger_trust_equiv_gate.nx | F997 STEP 1: BEHAVIOUR-EQUIVALENCE PROOF, nx_ledger vs nx_trust. | 161 | 5 |