nx_compare_capture_real_gate_20260907.nx
buildroot/runtime/nx_compare_capture_real_gate_20260907.nx
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 CCI_MATRIX_READ_CAP: i64 = 262144 |
| 9 | const CCI_ENOENT: i64 = 0 - 2 |
| 10 | const MODE_0755: i64 = 493 |
| 11 | const RIG_PATH: i64 = 4096 |
| 12 | const RIG_PTR: i64 = 8 |
| 13 | const RIG_FILE_MODE: i64 = 384 |
| 14 | const RIG_DIR_MODE: i64 = 448 |
| 15 | const RIG_EINVAL: i64 = 0 - 22 |
| 16 | const RIG_SETUP: i64 = 90 |
| 17 | const RIG_GUARD: *u8 = "NISHI-COMPARE-CAPTURE-FIXTURE\n" |
| 18 | const CRG_EXCLUSIVE: i64 = 2 |
| 19 | const CRG_UNLOCK: i64 = 8 |
| 20 | const CRG_ROLES: i64 = 4 |
| 21 | const CRG_SLOW: i64 = 0 |
| 22 | const CRG_ESSENTIAL: i64 = 1 |
| 23 | const CRG_ORDINARY: i64 = 2 |
| 24 | const CRG_WINDOW: i64 = 3 |
| 25 | const CRG_START: i64 = 1 |
| 26 | const CRG_END: i64 = 0 |
| 27 | const CRG_MS_PER_SEC: i64 = 1000 |
| 28 | const CRG_MIN_COMPLETIONS: i64 = 2 |
| 29 | const CRG_FAULT_ROLE: i64 = 4 |
| 30 | const CRG_FAULT_POINT: i64 = 2 |
| 31 | const CRG_TEST_ECHILD: i64 = 0 - 10 |
functions
| 32 | func rig_len(p: *u8) -> i64 { var n: i64 = 0; while p[n] != (0 as u8) { n = n + 1 } return n } |
| 33 | func rig_eq(a: *u8, b: *u8) -> i64 |
| 39 | func rig_num(p: *u8) -> i64 |
| 53 | func rig_join(root: *u8, rel: *u8) -> *u8 |
| 60 | func rig_exists(path: *u8) -> i64 |
| 67 | func rig_parent(path: *u8) -> i64 |
| 88 | func rig_write(path: *u8, buf: *u8, n: i64) -> i64 |
| 103 | func rig_file(root: *u8, rel: *u8, val: *u8) -> i64 { return rig_write(rig_join(root,rel),val,rig_len(val)) } |
| 104 | func rig_dir(root: *u8, rel: *u8) -> i64 |
| 110 | func rig_link(root: *u8, rel: *u8, target: *u8) -> i64 |
| 116 | func rig_guard() -> i64 { return rrf_file_equal("fixture-root.guard" as *u8,RIG_GUARD,rig_len(RIG_GUARD)) } |
| 119 | func cci_copy(root: *u8,rel: *u8,source: *u8) -> i64 |
| 127 | func cci_emit(p: *u8,n: i64) -> i64 |
| 133 | func cci_child(argc: i64,argv: *i64) -> i64 |
| 155 | func cci_contains(buf: *u8,n: i64,s: *u8) -> i64 { return tr_contains(buf,n,s) } |
| 157 | func cci_hex(p: *u8) -> i64 |
| 167 | func cci_absent(path: *u8) -> i64 |
| 172 | func cci_no_aux(root: *u8) -> i64 |
| 179 | func main(argc: i64,argv: *i64) -> i64 |