code wiki / (root) / nx_shipcheck_gate.nx

nx_shipcheck_gate.nx

buildroot/runtime/nx_shipcheck_gate.nx

13229 B381 linesdepth 3pulls 3 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

nx_shipcheck_gate.nx -- proves the ship-complete orphan detector's teeth. DOGFOODS the D001 gate base (nx_gate_verdict). Fixtures are INJECTED roots under /tmp so the gate never reads or writes production surfaces; the debt filer tooth INJECTS argecho (F872 pattern) so selftest never writes the production debt plane. Teeth: planted-orphan detection per class (exact counts), clean-fixture NEGATIVE (all zero, GREEN), determinism (two scans byte-equal counts), injectable-filer receipts, clean-fixture files NOTHING. license_tier: ORIGINAL /tmp fixtures only. No hw writes (Rule 26).

dependencies 2 imports · 0 importers

imports: nx_syscalls.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

11	const GT_TAB: i64 = 9
12	const GT_NL: i64 = 10
13	const GT_HASH: i64 = 35
14	const GT_BUF: i64 = 8192
15	const GT_LOGB: i64 = 65536
16	const GT_PATH: i64 = 1024
17	const GT_MODE_F: i64 = 420
18	const GT_MODE_D: i64 = 493
19	const GT_B256: i64 = 256
20	const GT_EXITRED: i64 = 3
21	const GT_EXEFAIL: i64 = 127

functions

29	func gt_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 4: gt_wf gt_span_lit gt_has gt_findfrom
31	func gt_cat(d: u8, o: i64, s: u8) -> i64 called by 2: gt_path2 fx_build
39	func gt_tab(d: *u8, o: i64) -> i64 { d[o] = GT_TAB as u8; return o + 1 } called by 1: fx_build
40	func gt_nl(d: *u8, o: i64) -> i64 { d[o] = GT_NL as u8; return o + 1 } called by 1: fx_build
42	func gt_path2(d: u8, root: u8, rel: u8) -> u8 called by 3: gt_wrel fx_build gt_load calls 1: gt_cat
50	func gt_wf(path: u8, content: u8) -> i64 called by 1: gt_wrel calls 4: sys_openat_wr gt_len sys_write sys_close
59	func gt_wrel(root: u8, rel: u8, content: *u8) -> i64 called by 1: fx_build calls 3: sys_mmap gt_path2 gt_wf
65	func gt_le(b: *u8, i: i64, n: i64) -> i64 called by 2: gt_resolve_argecho gt_t3eq
72	func gt_col(b: u8, ls: i64, le: i64, want: i64, sp: i64) -> i64 called by 1: gt_resolve_argecho
88	func gt_span_lit(b: u8, s: i64, e: i64, lit: u8) -> i64 called by 1: gt_resolve_argecho calls 1: gt_len
96	func gt_resolve_argecho() -> i64 called by 1: main calls 7: sys_mmap sys_openat_rd sys_read sys_close gt_le gt_col+1
130	func fx_build(root: *u8, dirty: i64) -> i64 called by 1: main calls 7: sys_mmap sys_mkdir gt_path2 gt_wrel gt_cat gt_tab+1
231	func gt_spawn(av: *i64) -> i64 called by 2: gt_run gt_runf calls 5: sys_mmap sys_fork sys_execve sys_exit_group sys_wait4
245	func gt_run(verb: u8, root: u8) -> i64 called by 1: main calls 2: sys_mmap gt_spawn
254	func gt_runf(root: *u8) -> i64 called by 1: main calls 2: sys_mmap gt_spawn
264	func gt_load(root: *u8) -> i64 called by 1: main calls 5: sys_mmap gt_path2 sys_openat_rd sys_read sys_close
283	func gt_has(sub: *u8) -> i64 called by 1: main calls 1: gt_len
297	func gt_findfrom(start: i64, sub: *u8) -> i64 called by 1: gt_t3eq calls 1: gt_len
311	func gt_t3eq() -> i64 called by 1: main calls 2: gt_findfrom gt_le
330	func main(argc: i64, argv: *i64) -> i64 calls 12: sys_mmap gv_ctr gv_head gt_resolve_argecho gv_check fx_build+6