code wiki / (root) / nx_tools_argv_idem_gate.nx

nx_tools_argv_idem_gate.nx

buildroot/runtime/nx_tools_argv_idem_gate.nx

5534 B101 linesdepth 9pulls 34 transitivereach 0 importersview sourcekind gate/prooftopic tools

docs dependencies structs consts functions

about

Actual ta_mcp_call integration in a newly created private /tmp directory. Never modifies production allowlists, keyfiles or ledgers. Refuses reused/noncanonical isolation.

dependencies 2 imports · 0 importers

imports: nx_tools_api.nxnx_gate_verdict.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

6	const TAI_PRIVATE_MODE: i64 = 448
7	const TAI_TOKEN_CAP: i64 = 1024
8	const TAI_BODY_CAP: i64 = 4096
9	const TAI_REPLY_CAP: i64 = 1048576

functions

11	func tai_exists(path: *u8) -> i64 called by 1: main
16	func tai_equal(a: u8, b: u8) -> i64 called by 1: main
21	func tai_finish(ctr: *i64) -> i64 called by 1: main calls 1: gv_verdict
25	func tai_call(body: u8, n: i64, reply: u8) -> i64 called by 1: main calls 3: ta_cat ta_mcp_call ta_slen
31	func main() -> i64 calls 12: gv_ctr gv_head ta_cat ta_catn gv_check tai_finish+6