nx_teacher_consult_gate.nx source

1// nx_teacher_consult_gate.nx -- proves CONSULT: ask the capability store by topic, get the right insights. 2// Hermetic /tmp store. Discriminating: 3// T1 topic with 2 matches -> count 2 4// T2 a more specific topic -> count 1 5// T3 case-insensitive: an upper-case query matches lower-case rules 6// T4[neg] an absent topic -> count 0 (no fabricated matches) 7// GREEN iff all. Sovereign: imports nx_teacher_consult + nx_syscalls. license_tier: ORIGINAL 8import "nx_teacher_consult.nx" 9import "nx_syscalls.nx" 10 11func cc_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != 0 as u8 { n = n + 1 } sys_write(1, s, n); return 0 } 12func cc_putn(v: i64) -> i64 { 13 if v == 0 { sys_write(1, "0" as *u8, 1); return 0 } 14 var m: i64 = v; if m < 0 { sys_write(1, "-" as *u8, 1); m = 0 - m } 15 let d: *u8 = sys_mmap(24); var k: i64 = 0 16 while m > 0 { d[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } 17 var j: i64 = k - 1 18 while j >= 0 { sys_write(1, ((d as i64)+j) as *u8, 1); j = j - 1 } 19 return 0 20} 21func cc_cat(dst: *u8, off: i64, s: *u8) -> i64 { var i: i64 = 0; while s[i] != 0 as u8 { dst[off + i] = s[i]; i = i + 1 } return off + i } 22func cc_catn(dst: *u8, off: i64, v: i64) -> i64 { 23 var m: i64 = v; var o: i64 = off 24 let t: *u8 = sys_mmap(28); var k: i64 = 0 25 if m == 0 { t[0] = 48 as u8; k = 1 } 26 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } 27 var i: i64 = 0; while i < k { dst[o + i] = t[k - 1 - i]; i = i + 1 } 28 return o + k 29} 30func cc_join(out: *u8, a: *u8, b: *u8) -> i64 { var o: i64 = cc_cat(out, 0, a); o = cc_cat(out, o, b); out[o] = 0 as u8; return o } 31func cc_mkdir(path: *u8) -> i64 { return sys_mkdir(path, 0x1ed) } 32func cc_assert(label: *u8, cond: i64) -> i64 { 33 if cond != 0 { cc_puts(" [PASS] "); cc_puts(label); cc_puts("\n"); return 1 } 34 cc_puts(" [FAIL] "); cc_puts(label); cc_puts("\n"); return 0 35} 36func cc_row(w: *i64, idx: i64, id: *u8, rule: *u8) -> i64 { 37 let kb: *i64 = sys_mmap(8 * 8) as *i64 38 let vb: *i64 = sys_mmap(8 * 8) as *i64 39 kb[0] = ("id\x00") as i64; vb[0] = (id as i64) 40 kb[1] = ("rule\x00") as i64; vb[1] = (rule as i64) 41 return ncfg_add_row(w, "insight\x00" as *u8, idx, kb, vb, 2) 42} 43func cc_seed(cap: *u8) -> i64 { 44 let w: *i64 = ncfg_begin() 45 cc_row(w, 0, "I1\x00" as *u8, "alpha about publishing pages to the site\x00" as *u8) 46 cc_row(w, 1, "I2\x00" as *u8, "beta about compiling code with the toolchain\x00" as *u8) 47 cc_row(w, 2, "I3\x00" as *u8, "gamma about publishing again, a second note\x00" as *u8) 48 ncfg_set_count(w, "insight\x00" as *u8, 3) 49 return ncfg_commit(cap, w) 50} 51 52func main() -> i64 { 53 cc_puts("=== nx_teacher_consult_gate: ask the capability store by topic (case-insensitive, neg-control) ===\n") 54 let epoch: i64 = sys_now_realtime_sec() 55 let root: *u8 = sys_mmap(512) 56 var ro: i64 = cc_cat(root, 0, "/tmp/tcc-" as *u8); ro = cc_catn(root, ro, epoch); root[ro] = 0 as u8 57 cc_mkdir(root) 58 let cap: *u8 = sys_mmap(512); cc_join(cap, root, "/cap-\x00" as *u8) 59 cc_seed(cap) 60 61 var pass: i64 = 0 62 var total: i64 = 0 63 var c: i64 = 0 64 65 c = 0; if tc_consult(cap, "publish\x00" as *u8) == 2 { c = 1 } 66 total = total + 1; pass = pass + cc_assert("T1 'publish' -> 2 matches (I1, I3)", c) 67 68 c = 0; if tc_consult(cap, "compiling\x00" as *u8) == 1 { c = 1 } 69 total = total + 1; pass = pass + cc_assert("T2 'compiling' -> 1 match (I2)", c) 70 71 c = 0; if tc_consult(cap, "PUBLISHING\x00" as *u8) == 2 { c = 1 } 72 total = total + 1; pass = pass + cc_assert("T3 case-insensitive: 'PUBLISHING' -> 2", c) 73 74 c = 0; if tc_consult(cap, "zebra\x00" as *u8) == 0 { c = 1 } 75 total = total + 1; pass = pass + cc_assert("T4[neg] absent topic 'zebra' -> 0 (no fabricated matches)", c) 76 77 cc_puts("\n---- nx_teacher_consult gate: passed "); cc_putn(pass); cc_puts(" / "); cc_putn(total); cc_puts(" ----\n") 78 if pass == total { cc_puts("verdict=GREEN\n"); sys_exit(0); return 0 } 79 cc_puts("verdict=RED\n"); sys_exit(1); return 1 80}