code wiki / _hdl_build / nx_teacher_role_exceed_gate.nx
nx_teacher_role_exceed_gate.nx
buildroot/runtime/_hdl_build/nx_teacher_role_exceed_gate.nx
about
nx_teacher_role_exceed_gate.nx -- proves the role grader's sovereignty check has TEETH (it is not a
rubber-stamp): a CLEAN organ grades sovereign, a planted forbidden dep grades NOT-sovereign, and a
MISSING file grades NOT-sovereign. Without this, "9/9 sovereign" could be a fake green.
T1 clean fixture (only nx_ imports) -> sovereign=1
T2[neg] fixture with a forbidden dep (python3) -> sovereign=0 (liar-kill)
T3[neg] fixture with a shell shebang -> sovereign=0
T4[neg] missing file -> sovereign=0 (cannot grade a non-existent organ)
GREEN iff all. Sovereign: imports nx_teacher_role_exceed + nx_syscalls. license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_teacher_role_exceed.nxnx_syscalls.nx
imported by: nobody (leaf or entry point)
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| none |
functions
| 12 | func rg_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != 0 as u8 { n = n + 1 } sys_write(1, s, n); return 0 } |
| 13 | func rg_putn(v: i64) -> i64 |
| 21 | func rg_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 } |
| 22 | func rg_catn(dst: *u8, off: i64, v: i64) -> i64 |
| 30 | func rg_join(out: *u8, a: *u8, b: *u8) -> i64 { var o: i64 = rg_cat(out, 0, a); o = rg_cat(out, o, b); out[o] = 0 as u8; return o } calls 1: rg_cat |
| 31 | func rg_write(path: *u8, content: *u8) -> i64 |
| 36 | func rg_assert(label: *u8, cond: i64) -> i64 calls 1: rg_puts |
| 41 | func main() -> i64 |