nx_teacher_mastery_gate.nx source

1// nx_teacher_mastery_gate.nx -- proves the honest MASTERY measure: a drill is mastered ONLY on a correct 2// recall, and mastery cannot be faked. Hermetic /tmp store. Discriminating + liar-killed: 3// T1 zero-mastery before any attempt 4// T2 CORRECT recall (answer contains the rule) -> mastered=1 5// T3 mastery rate rises to 1 6// T4[neg] WRONG answer -> mastered=0 (cannot fake capability with a wrong recall) 7// T5 rate stays 1 after the wrong attempt 8// T6 a later CORRECT recall of I2 -> mastered; rate=2 9// T7[neg] unknown id -> not mastered (no fabricated mastery for a non-existent insight) 10// GREEN iff all. Sovereign: imports nx_teacher_mastery + nx_syscalls. license_tier: ORIGINAL 11import "nx_teacher_mastery.nx" 12import "nx_syscalls.nx" 13 14func gm_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != 0 as u8 { n = n + 1 } sys_write(1, s, n); return 0 } 15func gm_putn(v: i64) -> i64 { 16 if v == 0 { sys_write(1, "0" as *u8, 1); return 0 } 17 var m: i64 = v; if m < 0 { sys_write(1, "-" as *u8, 1); m = 0 - m } 18 let d: *u8 = sys_mmap(24); var k: i64 = 0 19 while m > 0 { d[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } 20 var j: i64 = k - 1 21 while j >= 0 { sys_write(1, ((d as i64)+j) as *u8, 1); j = j - 1 } 22 return 0 23} 24func gm_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 } 25func gm_catn(dst: *u8, off: i64, v: i64) -> i64 { 26 var m: i64 = v; var o: i64 = off 27 let t: *u8 = sys_mmap(28); var k: i64 = 0 28 if m == 0 { t[0] = 48 as u8; k = 1 } 29 while m > 0 { t[k] = (48 + (m % 10)) as u8; m = m / 10; k = k + 1 } 30 var i: i64 = 0; while i < k { dst[o + i] = t[k - 1 - i]; i = i + 1 } 31 return o + k 32} 33func gm_join(out: *u8, a: *u8, b: *u8) -> i64 { var o: i64 = gm_cat(out, 0, a); o = gm_cat(out, o, b); out[o] = 0 as u8; return o } 34func gm_mkdir(path: *u8) -> i64 { return sys_mkdir(path, 0x1ed) } 35func gm_assert(label: *u8, cond: i64) -> i64 { 36 if cond != 0 { gm_puts(" [PASS] "); gm_puts(label); gm_puts("\n"); return 1 } 37 gm_puts(" [FAIL] "); gm_puts(label); gm_puts("\n"); return 0 38} 39// seed a /tmp capability store with 3 insights {id, rule} (one ncfg commit). 40func gm_row(w: *i64, idx: i64, id: *u8, rule: *u8) -> i64 { 41 let kb: *i64 = sys_mmap(8 * 8) as *i64 42 let vb: *i64 = sys_mmap(8 * 8) as *i64 43 kb[0] = ("id\x00") as i64; vb[0] = (id as i64) 44 kb[1] = ("rule\x00") as i64; vb[1] = (rule as i64) 45 return ncfg_add_row(w, "insight\x00" as *u8, idx, kb, vb, 2) 46} 47func gm_seed(cap: *u8) -> i64 { 48 let w: *i64 = ncfg_begin() 49 gm_row(w, 0, "I1\x00" as *u8, "alpha rule one\x00" as *u8) 50 gm_row(w, 1, "I2\x00" as *u8, "beta rule two\x00" as *u8) 51 gm_row(w, 2, "I3\x00" as *u8, "gamma rule three\x00" as *u8) 52 ncfg_set_count(w, "insight\x00" as *u8, 3) 53 return ncfg_commit(cap, w) 54} 55 56func main() -> i64 { 57 gm_puts("=== nx_teacher_mastery_gate: drill recall mastery (correct->mastered, wrong->NOT; liar-killed) ===\n") 58 let epoch: i64 = sys_now_realtime_sec() 59 let root: *u8 = sys_mmap(512) 60 var ro: i64 = gm_cat(root, 0, "/tmp/mstg-" as *u8); ro = gm_catn(root, ro, epoch); root[ro] = 0 as u8 61 gm_mkdir(root) 62 let cap: *u8 = sys_mmap(512); gm_join(cap, root, "/cap-\x00" as *u8) 63 let mst: *u8 = sys_mmap(512); gm_join(mst, root, "/mastery-\x00" as *u8) 64 gm_seed(cap) 65 66 var pass: i64 = 0 67 var total: i64 = 0 68 var c: i64 = 0 69 70 c = 0; if mst_rate(cap, mst) == 0 { c = 1 } 71 total = total + 1; pass = pass + gm_assert("T1 zero mastery before any attempt", c) 72 73 let a1: i64 = mst_attempt(cap, mst, "I1\x00" as *u8, "alpha rule one\x00" as *u8) 74 c = 0; if a1 == 1 { if mst_mastered(mst, "I1\x00" as *u8) == 1 { c = 1 } } 75 total = total + 1; pass = pass + gm_assert("T2 CORRECT recall -> mastered=1", c) 76 77 c = 0; if mst_rate(cap, mst) == 1 { c = 1 } 78 total = total + 1; pass = pass + gm_assert("T3 mastery rate rises to 1", c) 79 80 let a2: i64 = mst_attempt(cap, mst, "I2\x00" as *u8, "totally unrelated guess\x00" as *u8) 81 c = 0; if a2 == 0 { if mst_mastered(mst, "I2\x00" as *u8) == 0 { c = 1 } } 82 total = total + 1; pass = pass + gm_assert("T4[neg] WRONG answer -> mastered=0 (cannot fake)", c) 83 84 c = 0; if mst_rate(cap, mst) == 1 { c = 1 } 85 total = total + 1; pass = pass + gm_assert("T5 rate stays 1 after the wrong attempt", c) 86 87 let a3: i64 = mst_attempt(cap, mst, "I2\x00" as *u8, "ah yes -- beta rule two -- recalled\x00" as *u8) 88 c = 0; if a3 == 1 { if mst_rate(cap, mst) == 2 { c = 1 } } 89 total = total + 1; pass = pass + gm_assert("T6 later CORRECT recall of I2 -> mastered; rate=2", c) 90 91 let a4: i64 = mst_attempt(cap, mst, "ZZ\x00" as *u8, "alpha rule one\x00" as *u8) 92 c = 0; if a4 == 0 { if mst_mastered(mst, "ZZ\x00" as *u8) == 0 { c = 1 } } 93 total = total + 1; pass = pass + gm_assert("T7[neg] unknown id -> not mastered (no fabricated mastery)", c) 94 95 gm_puts("\n---- nx_teacher_mastery gate: passed "); gm_putn(pass); gm_puts(" / "); gm_putn(total); gm_puts(" ----\n") 96 if pass == total { gm_puts("verdict=GREEN\n"); sys_exit(0); return 0 } 97 gm_puts("verdict=RED\n"); sys_exit(1); return 1 98}