code wiki / (root) / nx_compare_capture_integration_gate.nx

nx_compare_capture_integration_gate.nx

buildroot/runtime/nx_compare_capture_integration_gate.nx

13715 B246 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic compare

docs dependencies structs consts functions

about

Source-only reusable Compare capture integration. Actual wrapper, finite native witness. All authority files and executable copies are confined to a fresh private fixture tree.

dependencies 5 imports · 0 importers

imports: nx_syscalls.nxnx_gate_verdict.nxnx_tool_run.nxnx_build_canon_input_lib.nxnx_rank_refresh_lib.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

8	const MODE_0755: i64 = 493
9	const RIG_PATH: i64 = 4096
10	const RIG_PTR: i64 = 8
11	const RIG_FILE_MODE: i64 = 384
12	const RIG_DIR_MODE: i64 = 448
13	const RIG_EINVAL: i64 = 0 - 22
14	const RIG_SETUP: i64 = 90
15	const RIG_GUARD: *u8 = "NISHI-COMPARE-CAPTURE-FIXTURE\n"
16	const CRG_EXCLUSIVE: i64 = 2
17	const CRG_UNLOCK: i64 = 8
18	const CRG_ROLES: i64 = 4
19	const CRG_SLOW: i64 = 0
20	const CRG_ESSENTIAL: i64 = 1
21	const CRG_ORDINARY: i64 = 2
22	const CRG_WINDOW: i64 = 3
23	const CRG_START: i64 = 1
24	const CRG_END: i64 = 0
25	const CRG_MS_PER_SEC: i64 = 1000
26	const CRG_MIN_COMPLETIONS: i64 = 2
27	const CRG_FAULT_ROLE: i64 = 4
28	const CRG_FAULT_POINT: i64 = 2
29	const CRG_TEST_ECHILD: i64 = 0 - 10

functions

30	func rig_len(p: *u8) -> i64 { var n: i64 = 0; while p[n] != (0 as u8) { n = n + 1 } return n } called by 7: rig_num rig_join rig_parent rig_file rig_guard cci_child+1
31	func rig_eq(a: u8, b: u8) -> i64 called by 2: cci_child main
37	func rig_num(p: *u8) -> i64 called by 2: cci_child main calls 1: rig_len
51	func rig_join(root: u8, rel: u8) -> *u8 called by 5: rig_file rig_dir rig_link cci_copy main calls 3: rig_len sys_mmap gv_cat
58	func rig_exists(path: *u8) -> i64 called by 1: main calls 2: sys_openat_rd sys_close
65	func rig_parent(path: *u8) -> i64 called by 1: main calls 4: rig_len bci_relative_path sys_mmap sys_readlinkat
86	func rig_write(path: u8, buf: u8, n: i64) -> i64 called by 4: rig_file cci_copy cci_child main calls 4: sys_openat_wr sys_write sys_close rrf_file_equal
101	func rig_file(root: u8, rel: u8, val: *u8) -> i64 { return rig_write(rig_join(root,rel),val,rig_len(val)) } called by 1: main calls 3: rig_write rig_join rig_len
102	func rig_dir(root: u8, rel: u8) -> i64 called by 1: main calls 2: rig_join sys_mkdir
108	func rig_link(root: u8, rel: u8, target: *u8) -> i64 calls 2: rig_join sys_symlinkat
114	func rig_guard() -> i64 { return rrf_file_equal("fixture-root.guard" as *u8,RIG_GUARD,rig_len(RIG_GUARD)) } called by 1: cci_child calls 2: rrf_file_equal rig_len
117	func cci_copy(root: u8,rel: u8,source: *u8) -> i64 called by 1: main calls 5: sys_mmap sys_read_file rig_join rig_write sys_fchmodat
125	func cci_emit(p: *u8,n: i64) -> i64 called by 1: cci_child calls 1: sys_write
131	func cci_child(argc: i64,argv: *i64) -> i64 called by 1: main calls 9: rig_guard rig_eq sys_mmap gv_cat rig_write sys_read_file+3
153	func cci_contains(buf: u8,n: i64,s: u8) -> i64 { return tr_contains(buf,n,s) } called by 1: main calls 1: tr_contains
154	func main(argc: i64,argv: *i64) -> i64 calls 30: cci_child gv_puts rig_parent rig_num rig_eq sys_mmap+24