code wiki / (root) / nx_recon_gate.nx

nx_recon_gate.nx

buildroot/runtime/nx_recon_gate.nx

5908 B136 linesdepth 9pulls 14 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

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

nx_recon_lib.nx nx_recon_gate.nx

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

main sys_now_us sys_mmap sys_clock_gettime_mono rg_id mt_catcopy mt_catn rg_puts led_xfer mt_streq mt_catn ↻ canon_encode sys_mmap ↻ cc_cmp cc_w32 cc_len sys_munmap reg_put reg_put_x sts_lock sts_mm sys_mmap ↻ sts_werr sys_exit ss_cat sys_openat_append sts_werr ↻ sys_flock reg_key reg_cat ss_get sys_mmap ↻ ss_scan sys_mmap ↻ ss_manifest_dyn ss_scan_seglist reg_strlen reg_id_present sts_unlock sys_flock ↻

structs

none

consts

none

functions

9func rg_puts(s: *u8) -> i64
called by 2: rg_ckmain
15func rg_putn(v: i64) -> i64
called by 2: rg_ckmain
29func rg_ck(cnt: *i64, name: *u8, got: i64, want: i64) -> i64
called by 1: main calls 2: rg_putsrg_putn
40func rg_id(tag: *u8, nonce: i64, out: *u8) -> i64
called by 1: main calls 2: mt_catcopymt_catn
47func main(argc: i64, argv: *i64) -> i64
calls 8: sys_now_usrg_idrg_putsled_xferrg_ckrec_three_way+2