topic: ledger
9 modules sharing the ledger name family (derived from the tree's prefix discipline).
The 'ledger' topic family in the Nishi sovereign ecosystem provides foundational tools for double-entry bookkeeping and data governance. nx_ledger serves as the core primitive, while nx_ledger_data and nx_ledger_data_gate establish a structured, analyst-facing format for ledger data. nx_ledger_lib builds on this with the sovereign double-entry ledger, forming the basis of Nishi finance. These modules interoperate to ensure data integrity, governance, and scalability across the ecosystem.
auto-narrated by the local model from this topic's module headers; links verified against the wiki index.
narrated overview -- maintained by the narration lane, module links verified against this wiki.
| 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. | 186 | 5 |
| nx_ledger_lib.nx | F981: THE SOVEREIGN DOUBLE-ENTRY LEDGER (the first byte of Nishi finance). | 280 | 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 |