code wiki / (root) / nx_ioconfirm_integration_gate.nx

nx_ioconfirm_integration_gate.nx

buildroot/runtime/nx_ioconfirm_integration_gate.nx

11922 B236 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind gate/proof

docs dependencies structs consts functions

about

LOCAL UNBUILT selective fixture harness. No production output paths are accepted. args: producer existing-absolute-parent case timeout-ms capture-bytes samples gap-ms max-age-s

dependencies 4 imports · 0 importers

imports: nx_gate_verdict.nxnx_tool_run.nxnx_build_canon_input_lib.nxnx_atomic_rewrite.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

7	const IG_PATH: i64 = 4096
8	const IG_FILE_MODE: i64 = 384
9	const IG_DIR_MODE: i64 = 448
10	const IG_EINVAL: i64 = 0 - 22
11	const IG_SETUP: i64 = 90
12	const IG_PTR: i64 = 8
13	const IG_ARG_SLOTS: i64 = 6
15	const IG_SAMPLE_MAX: i64 = 15
17	const IG_PARENT_MAX: i64 = 320
18	const IG_OLD: *u8 = "ts=1\nncpu=1\nblocked_confirmed=1\nproducer=fixture-old\n"
19	const IG_NEW: *u8 = "fixture-new-complete-snapshot\n"

functions

20	func ig_len(p: *u8) -> i64 { var n: i64 = 0; while p[n] != (0 as u8) { n = n + 1 } return n } called by 6: ig_num ig_join ig_parent ig_writer ig_producer main
21	func ig_eq(a: u8, b: u8) -> i64 called by 1: ig_selector
27	func ig_num(p: *u8) -> i64 called by 1: main calls 1: ig_len
41	func ig_join(root: u8, rel: u8) -> *u8 called by 3: ig_writer ig_producer main calls 2: ig_len gv_cat
48	func ig_exists(path: *u8) -> i64 called by 1: main
55	func ig_parent(path: *u8) -> i64 called by 1: main calls 2: ig_len bci_relative_path
77	func ig_file_equal(path: u8, bytes: u8, n: i64) -> i64 called by 3: ig_write ig_writer ig_producer
98	func ig_write(path: u8, buf: u8, n: i64) -> i64 called by 2: ig_writer ig_producer calls 1: ig_file_equal
113	func ig_selector(s: *u8) -> i64 called by 1: main calls 1: ig_eq
123	func ig_writer(root: u8, mode: i64, ctr: i64) -> i64 called by 1: main calls 7: ig_join gv_check_eq ig_write ig_len atomic_rewrite_checked ig_file_equal+1
146	func ig_producer(root: u8, producer: u8, mode: i64, timeout: i64, cap: i64, samples: u8, gap: u8, maxage: u8, ctr: i64) -> i64 called by 1: main calls 11: ig_join ig_write ig_len tr_run_capture_cwd gv_cat gv_catn+5
202	func main(argc: i64, argv: *i64) -> i64 calls 15: gv_puts ig_selector ig_num ig_len ig_parent ig_exists+9