code wiki / (root) / nx_toolreg_reconcile_gate.nx

nx_toolreg_reconcile_gate.nx

buildroot/runtime/nx_toolreg_reconcile_gate.nx

9276 B153 linesdepth 8pulls 11 transitivereach 0 importersview sourcekind gate/prooftopic toolreg
docsdependenciesstructsconstsfunctions

about

nx_toolreg_reconcile_gate.nx -- gates the discovery reconciler on a THROWAWAY registry prefix + fixture confs (runner: cd a scratch dir with a knowledge/ subdir). Asserts: missing GREEN tools get registered with the AUTHOR'S schema desc; schema-less tools are SKIPPED (fail-closed, counted); already-registered tools are LEFT ALONE; the whole run is IDEMPOTENT (2nd pass registers 0); comment rows ignored. Exit 0 only on all-PASS. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_toolreg_reconcile_lib.nx nx_seg_store.nx nx_toolreg_reconcile_gate.nx

imports: nx_toolreg_reconcile_lib.nxnx_seg_store.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main tg_cat tg_num sys_now_realtime_sec sys_mmap sys_clock_gettime_real tg_write ss_writefile sys_openat_wr sys_write sys_close sys_fsync rr_len tool_register_pfx tr_cat tr_tab 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 ↻ sys_close ↻

structs

none

consts

9const TG_CHECKS: i64 = 10
10const TG_PTR: i64 = 16 // ptr/len out cells
11const TG_FIX_ROWS: i64 = 4 // non-comment fixture allowlist rows (toola/toolb/toolc/toold)
12const TG_ASCII_0: i64 = 48 // '0'
13const TG_SLASH: i64 = 47 // '/'
14const TG_EXP_ALREADY2: i64 = 2 // idempotent 2nd pass: both schema-tools "already"; also = drift on the 2-tool dirty audit
15const TG_TENS: i64 = 10 // 2-digit score render

functions

17func tg_check(name: *u8, ok: i64, pass: *i64) -> i64
called by 1: main calls 1: rr_len
31func tg_write(path: *u8, body: *u8) -> i64 { return ss_writefile(path, body, rr_len(body)) }
called by 1: main calls 2: ss_writefilerr_len
33func tg_cat(o: *u8, at: i64, s: *u8) -> i64
called by 1: main
39func tg_num(o: *u8, at: i64, v: i64) -> i64
called by 1: main
50func main() -> i64