code wiki / (root) / nx_verify_tool_register.nx

nx_verify_tool_register.nx

buildroot/runtime/nx_verify_tool_register.nx

3163 B42 linesdepth 7pulls 9 transitivereach 0 importersview sourcekind tooltopic verify
docsdependenciesstructsconstsfunctions

about

nx_verify_tool_register.nx -- register nx_verify (rule-11 magic gate + capability triage + SOTA racing lap) into the discovery registry so /mcp tools/list + /api/tools expose it -> first-class mcp__nishi__nx_verify STUB (so a workstream and Claude itself discover + PREFER the sovereign tool). EXECUTION already live (allowlist row + cap 72060, tools/call PROVEN over /mcp loopback: magic returned VERIFY-MAGIC). This adds the DISCOVERY half -- unblocked by the reg_put 256-cap persistence fix (registrations past 256 segments now land instead of clobbering seg-256). Writes the CWD registry (knowledge/toolreg-); run on the NAS (CWD nishihost) to flip the LIVE registry. Idempotent; verifies by READBACK. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_tool_registry.nx nx_verify_tool_register.nx

imports: nx_tool_registry.nx

imported by: nobody (leaf or entry point)

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

main sr_puts tool_register tool_register_pfx tr_cat tr_tab reg_put reg_put_x sts_lock sts_mm ss_cat sys_openat_append sts_werr sys_flock reg_key reg_cat ss_get sys_mmap ss_scan reg_strlen reg_id_present sts_unlock sys_flock ↻ sys_close ss_next_segid sys_mmap ↻ ss_cat ↻ ss_readall ss_segid_ok ss_begin_cap sys_mmap ↻ ss_add ss_add2 ss_len ss_commit ss_segid_ok ↻ sys_mmap ↻ ss_cat ↻ ss_catn sys_write

structs

none

consts

11const ASCII_0: i64 = 48 // named so this registrar is itself rule-11 clean (the magic ratchet checks it)

functions

13func sr_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 1: main
14func sr_putn(v: i64) -> i64
called by 1: main
26func main() -> i64