code wiki / (root) / nx_rank_refresh_integration_gate_v3.nx

nx_rank_refresh_integration_gate_v3.nx

buildroot/runtime/nx_rank_refresh_integration_gate_v3.nx

26966 B431 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind tooltopic rank
docsdependenciesstructsconstsfunctions

about

Local unbuilt integration harness. Native ranker/scorer, isolated fixture state. argv: runner self existing-parent real-scorer captured-plan captured-matrix timeout-ms capture-bytes rank-budget case-selector

dependencies 4 imports · 0 importers

nx_gate_verdict.nx nx_tool_run.nx nx_build_canon_input_lib.nx nx_rank_refresh_lib.nx nx_rank_refresh_integration_ga

imports: nx_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

main tr_contains rig_len rig_witness rig_guard rrf_file_equal sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable nxa_dump_sizes sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_munmap sys_close sys_free_file sys_munmap ↻ rig_len ↻ rig_read_num rig_num rig_len ↻ tr_contains ↻ rig_len ↻ rig_eq rig_file rig_write rrf_file_equal ↻ rig_join rig_len ↻

structs

none

consts

7const RIG_PATH: i64 = 4096
8const RIG_PTR: i64 = 8
9const RIG_ARG_SLOTS: i64 = 5
10const RIG_FILE_MODE: i64 = 384
11const RIG_DIR_MODE: i64 = 448
12const RIG_EINVAL: i64 = 0 - 22
13const RIG_SETUP: i64 = 90
14const RIG_SCORER_FAIL: i64 = 42
15const RIG_OK: i64 = 0
16const RIG_DEST_DIR: i64 = 1
17const RIG_LOCK: i64 = 2
18const RIG_BAD_SCORER: i64 = 3
19const RIG_DISPATCH: i64 = 4
20const RIG_PM_FAILED: i64 = 5
21const RIG_PM_EMPTY: i64 = 6
22const RIG_PM_FULL: i64 = 7
23const RIG_PLANE_FAILED: i64 = 8
24const RIG_PLANE_EMPTY: i64 = 9
25const RIG_PLANE_FULL: i64 = 10
26const RIG_SOURCE_CHANGE: i64 = 11
28const RIG_SUBJECT_RECEIPT_CAP: i64 = 4096
29const RIG_SUBJECT_RECEIPT_FULL: i64 = RIG_SUBJECT_RECEIPT_CAP - 1
30const RIG_RECEIPT_FAILED: i64 = 1
31const RIG_RECEIPT_EMPTY: i64 = 2
32const RIG_RECEIPT_FULL: i64 = 3
33const RIG_SOURCE_APPEND: *u8 = "# changed by native scorer fixture before return\n"
34const RIG_GUARD: *u8 = "NISHI-RANK-REFRESH-FIXTURE\n"
35const RIG_OLD: *u8 = "# retained old rank fixture\n"
36const RIG_PLAN: *u8 = "rung|R1|Fixture open rung|rig_missing|Fixture only|Organ|1|-\nver|0.1|M1\nms|M1|Fixture milestone|1|R1\n"
37const RIG_MATRIX: *u8 = "@cols Reference\nFixture|runtime/rig_missing.nx|_ABSENT_:rig_missing|0|2|Fixture only\n"
38const RIG_ZERO_MATRIX: *u8 = "@cols Reference\nFixture|runtime/rig_missing.nx|rig_missing|0|2|Fixture all-present spelling exercises zero-open branch\n"

functions

40func rig_len(p: *u8) -> i64 { var n: i64 = 0; while p[n] != (0 as u8) { n = n + 1 } return n }
41func rig_eq(a: *u8, b: *u8) -> i64
47func rig_num(p: *u8) -> i64
called by 2: rig_read_nummain calls 1: rig_len
61func rig_join(root: *u8, rel: *u8) -> *u8
68func rig_exists(path: *u8) -> i64
called by 2: rig_casemain
75func rig_parent(path: *u8) -> i64
called by 1: main calls 2: rig_lenbci_relative_path
96func rig_write(path: *u8, buf: *u8, n: i64) -> i64
111func rig_file(root: *u8, rel: *u8, val: *u8) -> i64 { return rig_write(rig_join(root,rel),val,rig_len(val)) }
112func rig_dir(root: *u8, rel: *u8) -> i64
called by 1: rig_setup calls 1: rig_join
124func rig_guard() -> i64 { return rrf_file_equal("fixture-root.guard" as *u8,RIG_GUARD,rig_len(RIG_GUARD)) }
called by 1: rig_witness calls 2: rrf_file_equalrig_len
125func rig_read_num(path: *u8) -> i64
133func rig_write_stdout(buf: *u8, n: i64) -> i64
142func rig_bad_receipt(role: *u8, kind: i64) -> i64
156func rig_mutating_scorer(argv: *i64) -> i64
184func rig_witness(argc: i64, argv: *i64) -> i64
213func rig_dispatch_mode(mode: i64) -> i64
called by 1: rig_case
218func rig_setup(root: *u8, self: *u8, scorer: *u8, plan: *u8, pn: i64, matrix: *u8, mn: i64, mode: i64) -> i64
253func rig_case(runroot: *u8, name: *u8, runner: *u8, self: *u8, scorer: *u8, plan: *u8, pn: i64, matrix: *u8, mn: i64, mode: i64, expected: i64, timeout: i64, cap: i64, budget: *u8, ctr: *i64) -> i64
357func rig_selected(selector: *u8, name: *u8) -> i64
called by 1: main calls 1: rig_eq
361func rig_selector_valid(selector: *u8) -> i64
called by 1: main calls 1: rig_eq
379func main(argc: i64, argv: *i64) -> i64