nx_fin_spine_gate.nx
buildroot/runtime/nx_fin_spine_gate.nx
about
nx_fin_spine_gate.nx -- THE FINANCE SPINE WITNESS. One organ that re-proves the load-bearing
property of every layer (ledger -> chart of accounts -> reconciliation -> statements) and
SELF-PUBLISHES its verdict to knowledge/status/fin_spine_gate.log so the sovereign maturity ruler
can LIVE-DERIVE the finance grade instead of anyone typing one.
★THE LOG IS TRUNCATED, NEVER APPENDED (sys_openat_wr = O_WRONLY_CREATE_TRUNC). If this were an
append-only log, an old VERDICT=GREEN would survive a later RED run and the ruler would read a
STALE PASS -- the exact liar the honest-maturity discipline exists to kill. The log always states
the CURRENT run and nothing else.
This is an INDEPENDENT witness: it imports the libs and re-derives the properties itself rather
than trusting the per-organ gates. Two independent sources converging is what earns triangulation.
license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_stmt_lib.nxnx_recon_lib.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 18 | const FS_MODE: i64 = 420 |
functions
| 20 | func fs_puts(s: *u8) -> i64 |
| 26 | func fs_cat(buf: *u8, off: i64, s: *u8) -> i64 called by 1: main |
| 32 | func fs_catn(buf: *u8, off: i64, v: i64) -> i64 called by 1: main |
| 44 | func fs_ck(cnt: *i64, name: *u8, got: i64, want: i64) -> i64 |
| 54 | func fs_id(tag: *u8, nonce: i64, out: *u8) -> i64 |
| 61 | func main(argc: i64, argv: *i64) -> i64 |