code wiki / _hdl_build / nx_plan_run_gate.nx

nx_plan_run_gate.nx

buildroot/runtime/_hdl_build/nx_plan_run_gate.nx

5711 B140 linesdepth 5pulls 9 transitivereach 0 importersview sourcekind gate/prooftopic plan

docs dependencies structs consts functions

about

nx_plan_run_gate.nx -- gate for the sovereign plan executor (workflows-as-data). MIGRATED 2026-07-18 onto nx_gate_verdict (D001 exemplar #2). Teeth unchanged: T1 seq-order execution; T2 pinned-args override; T3 failing step stops fail-closed; T4 unknown tool refused; T5 unseeded plan fail-closed. license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 5 imports · 0 importers

imports: nx_store_seed_lib.nxnx_seg_store.nxnx_deploy_lib.nxnx_gate_verdict.nxnx_syscalls.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

12	const PG_CAP: i64 = 262144
13	const PG_NL: i64 = 10
14	const PG_PFX: i64 = 128
15	const PG_MODE: i64 = 0x1a4

functions

17	func pg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: pg_has
18	func pg_has(q: u8, n: i64, s: u8) -> i64 called by 1: main calls 1: pg_slen
31	func pg_lines(q: *u8, n: i64) -> i64 { var k: i64 = 0; var i: i64 = 0; while i < n { if q[i] == (PG_NL as u8) { k = k + 1 } i = i + 1 } return k } called by 1: main
32	func pg_wfile(path: u8, buf: u8, n: i64) -> i64 called by 1: main calls 3: sys_openat_wr sys_write sys_close
39	func pg_mkpfx(dst: u8, stem: u8, epoch: i64) -> i64 called by 1: main calls 2: ss_cat ss_catn
47	func main() -> i64 calls 16: gv_ctr gv_head sys_now_realtime_sec sys_mmap ss_cat pg_wfile+10