nx_capability_triage_gate.nx source
↩ module page · 112 lines · 6024 B
1// nx_capability_triage_gate.nx -- liar-killed GATE for the intelligent-catch kernel v2.
2// TWO load-bearing properties proven:
3// (A) ANTI-NAVEL-GAZING: a PARITY/EXCEEDS claim graded self/none -> SELF-GRADED-SUSPECT, NEVER ROUTE;
4// ROUTE fires ONLY for wired + measured(>=parity) + bench=EXTERNAL. Neg-control sweeps ALL combos
5// and asserts zero ROUTE leaks for anything not-externally-proven -- it cannot be talked into
6// "we're SOTA" by our own grader.
7// (B) OPERATOR-PROPOSAL: a self-graded suspect (any weight) RAISES; a real gap on a CORE capability
8// RAISES; a peripheral non-suspect gap QUEUEs. Proves the flag is interrupt-worthy, not spam.
9// Plus the extended 7-field parser (backward compat to 5 fields -> bench defaults SELF = untrusted).
10// Exit 0 only on all-PASS.
11// license_tier: ORIGINAL expect_exit: 0
12import "nx_syscalls.nx"
13import "nx_capability_triage_core.nx"
14
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 }
16func g_putn(v: i64) -> i64 { nxi_out(v); return 0 }
17
18func g_check(name: *u8, got: i64, want: i64, passp: *i64) -> i64 {
19 g_puts("T " as *u8); g_puts(name); g_puts(" got=" as *u8); g_puts(tr_verdict_name(got))
20 if got == want { g_puts(" PASS\n" as *u8); passp[0] = passp[0] + 1 } else { g_puts(" FAIL(want " as *u8); g_puts(tr_verdict_name(want)); g_puts(")\n" as *u8) }
21 return 0
22}
23
24func g_bool(name: *u8, got: i64, want: i64, passp: *i64) -> i64 {
25 g_puts("T " as *u8); g_puts(name); g_puts(" got=" as *u8); g_putn(got)
26 if got == want { g_puts(" PASS\n" as *u8); passp[0] = passp[0] + 1 } else { g_puts(" FAIL\n" as *u8) }
27 return 0
28}
29
30func main(argc: i64, argv: *i64) -> i64 {
31 let pass: *i64 = sys_mmap(16) as *i64
32 pass[0] = 0
33
34 // decision matrix (bench-aware)
35 g_check("missing->BUILD" as *u8, tr_decide(0, 0, SOTA_UNMEASURED, BENCH_NONE), TR_BUILD, pass)
36 g_check("unwired->WIRE" as *u8, tr_decide(1, 0, SOTA_PARITY, BENCH_EXTERNAL), TR_WIRE, pass)
37 g_check("wired-unmeasured->MEASURE" as *u8, tr_decide(1, 1, SOTA_UNMEASURED, BENCH_NONE), TR_MEASURE, pass)
38 g_check("wired-behind->USE_IMPROVE" as *u8, tr_decide(1, 1, SOTA_BEHIND, BENCH_SELF), TR_USE_IMPROVE, pass)
39 // ANTI-NAVEL-GAZING: parity graded by OUR grader -> SUSPECT, not ROUTE
40 g_check("parity-selfgraded->SUSPECT" as *u8, tr_decide(1, 1, SOTA_PARITY, BENCH_SELF), TR_SELFGRADED_SUSPECT, pass)
41 g_check("exceeds-nograde->SUSPECT" as *u8, tr_decide(1, 1, SOTA_EXCEEDS, BENCH_NONE), TR_SELFGRADED_SUSPECT, pass)
42 // ONLY external 3rd-party backing credits a SOTA claim
43 g_check("parity-external->ROUTE" as *u8, tr_decide(1, 1, SOTA_PARITY, BENCH_EXTERNAL), TR_ROUTE, pass)
44 g_check("exceeds-external->ROUTE" as *u8, tr_decide(1, 1, SOTA_EXCEEDS, BENCH_EXTERNAL), TR_ROUTE, pass)
45
46 // NEG-CONTROL: ROUTE may ONLY appear for wired + sota>=parity + bench=EXTERNAL. Sweep every combo.
47 var leaks: i64 = 0
48 var ho: i64 = 0
49 while ho <= 1 {
50 var wi: i64 = 0
51 while wi <= 1 {
52 var so: i64 = 0
53 while so <= 3 {
54 var be: i64 = 0
55 while be <= 2 {
56 let v: i64 = tr_decide(ho, wi, so, be)
57 if v == TR_ROUTE {
58 var ok: i64 = 0
59 if ho == 1 { if wi == 1 { if so >= SOTA_PARITY { if be == BENCH_EXTERNAL { ok = 1 } } } }
60 if ok == 0 { leaks = leaks + 1 }
61 }
62 be = be + 1
63 }
64 so = so + 1
65 }
66 wi = wi + 1
67 }
68 ho = ho + 1
69 }
70 g_bool("negctl-no-selfgraded-ROUTE-leak" as *u8, leaks, 0, pass)
71
72 // OPERATOR-PROPOSAL: suspect always RAISE; core gap RAISE; peripheral non-suspect gap QUEUE
73 g_bool("proposal-suspect-RAISE" as *u8, tr_proposal(TR_SELFGRADED_SUSPECT, WEIGHT_PERIPHERAL), PROP_RAISE, pass)
74 g_bool("proposal-core-build-RAISE" as *u8, tr_proposal(TR_BUILD, WEIGHT_CORE), PROP_RAISE, pass)
75 g_bool("proposal-core-wire-RAISE" as *u8, tr_proposal(TR_WIRE, WEIGHT_CORE), PROP_RAISE, pass)
76 g_bool("proposal-peripheral-measure-QUEUE" as *u8, tr_proposal(TR_MEASURE, WEIGHT_PERIPHERAL), PROP_QUEUE, pass)
77 g_bool("proposal-route-QUEUE" as *u8, tr_proposal(TR_ROUTE, WEIGHT_CORE), PROP_QUEUE, pass)
78
79 // extended 7-field parser + a 5-field backward-compat row (bench defaults SELF -> suspect, not route)
80 let fx: *u8 = "# c\na|o|1|1|parity|external|core\nb|none|0|0|unmeasured|none|core\nc|o|1|1|parity|self|std\nd|o|1|1|parity\n" as *u8
81 var fn: i64 = 0
82 while fx[fn] != (0 as u8) { fn = fn + 1 }
83 let out: *i64 = sys_mmap(64) as *i64
84 var rows: i64 = 0
85 var route: i64 = 0
86 var suspect: i64 = 0
87 var build: i64 = 0
88 var ls: i64 = 0
89 while ls < fn {
90 var le: i64 = ls
91 var go: i64 = 1
92 while go == 1 { go = 0; if le < fn { if fx[le] != (10 as u8) { le = le + 1; go = 1 } } }
93 if tr_parse_row(fx, ls, le, out) == 1 {
94 rows = rows + 1
95 let v: i64 = tr_decide(out[0], out[1], out[2], out[3])
96 if v == TR_ROUTE { route = route + 1 }
97 if v == TR_SELFGRADED_SUSPECT { suspect = suspect + 1 }
98 if v == TR_BUILD { build = build + 1 }
99 }
100 ls = le + 1
101 }
102 // expect: a=ROUTE(external parity), b=BUILD(missing), c=SUSPECT(self parity), d=SUSPECT(5-field default self)
103 var okreg: i64 = 0
104 if rows == 4 { if route == 1 { if build == 1 { if suspect == 2 { okreg = 1 } } } }
105 g_puts("T parser rows=" as *u8); g_putn(rows); g_puts(" route=" as *u8); g_putn(route); g_puts(" build=" as *u8); g_putn(build); g_puts(" suspect=" as *u8); g_putn(suspect)
106 if okreg == 1 { g_puts(" PASS\n" as *u8); pass[0] = pass[0] + 1 } else { g_puts(" FAIL\n" as *u8) }
107
108 g_puts("TRIAGE-GATE pass=" as *u8); g_putn(pass[0]); g_puts("/15 verdict=" as *u8)
109 if pass[0] == 15 { g_puts("GREEN\n" as *u8); return 0 }
110 g_puts("RED\n" as *u8)
111 return 1
112}