code wiki / (root) / nx_capability_triage_gate.nx

nx_capability_triage_gate.nx

buildroot/runtime/nx_capability_triage_gate.nx

6024 B112 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic capability
docsdependenciesstructsconstsfunctions

about

nx_capability_triage_gate.nx -- liar-killed GATE for the intelligent-catch kernel v2. TWO load-bearing properties proven: (A) ANTI-NAVEL-GAZING: a PARITY/EXCEEDS claim graded self/none -> SELF-GRADED-SUSPECT, NEVER ROUTE; ROUTE fires ONLY for wired + measured(>=parity) + bench=EXTERNAL. Neg-control sweeps ALL combos and asserts zero ROUTE leaks for anything not-externally-proven -- it cannot be talked into "we're SOTA" by our own grader. (B) OPERATOR-PROPOSAL: a self-graded suspect (any weight) RAISES; a real gap on a CORE capability RAISES; a peripheral non-suspect gap QUEUEs. Proves the flag is interrupt-worthy, not spam. Plus the extended 7-field parser (backward compat to 5 fields -> bench defaults SELF = untrusted). Exit 0 only on all-PASS. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_capability_triage_core.nx nx_capability_triage_gate.nx

imports: nx_syscalls.nxnx_capability_triage_core.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap g_check g_puts sys_write tr_verdict_name tr_decide g_bool g_puts ↻ g_putn nxi_out nxi_fd sys_mmap ↻ ccz_cat_num sys_write ↻ sys_munmap tr_proposal tr_is_gap tr_parse_row sys_mmap ↻ ccz_num_at tr_sota_match sys_mmap ↻ tr_trim_copy tr_streq tr_bench_match sys_mmap ↻ tr_trim_copy ↻ tr_streq ↻ tr_weight_match sys_mmap ↻ tr_trim_copy ↻ tr_streq ↻ g_puts ↻ g_putn ↻

structs

none

consts

none

functions

15func g_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 }
called by 3: g_checkg_boolmain calls 1: sys_write
16func g_putn(v: i64) -> i64 { nxi_out(v); return 0 }
called by 2: g_boolmain calls 1: nxi_out
18func g_check(name: *u8, got: i64, want: i64, passp: *i64) -> i64
called by 1: main calls 2: g_putstr_verdict_name
24func g_bool(name: *u8, got: i64, want: i64, passp: *i64) -> i64
called by 1: main calls 2: g_putsg_putn
30func main(argc: i64, argv: *i64) -> i64
calls 8: sys_mmapg_checktr_decideg_booltr_proposaltr_parse_row+2