nx_recon_gate.nx

buildroot/runtime/nx_recon_gate.nx

6526 B143 linesdepth 9pulls 15 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_recon_gate.nx -- F983 INDEPENDENT GATE for general three-way reconciliation. Builds a real book on the ledger, then proves the reconciliation tells the TRUTH in every direction: it balances when it should, it BREAKS when it should, it names WHICH leg broke, and above all it refuses to round a one-cent variance away. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 1 imports · 0 importers

imports: nx_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

none

functions

9	func rg_puts(s: *u8) -> i64 called by 2: rg_ck main
15	func rg_putn(v: i64) -> i64 called by 2: rg_ck main
29	func rg_ck(cnt: i64, name: u8, got: i64, want: i64) -> i64 called by 1: main calls 2: rg_puts rg_putn
40	func rg_id(tag: u8, nonce: i64, out: u8) -> i64 called by 1: main calls 2: mt_catcopy mt_catn
47	func main(argc: i64, argv: *i64) -> i64 calls 7: rg_id rg_puts led_xfer rg_ck rec_three_way rec_is_balanced+1