code wiki / _hdl_build / nx_teacher_role_exceed.nx
nx_teacher_role_exceed.nx
buildroot/runtime/_hdl_build/nx_teacher_role_exceed.nx
about
nx_teacher_role_exceed.nx -- grade the TEACHER ROLE on the charter's MEASURED-exceed discipline
(operator: "all the roles s class exceed -- not optimism but via hard results" + the no-self-score law
[[feedback-no-wave-measured-exceed]]). NOTHING is self-asserted: every EXCEEDS axis is COMPUTED from a
real artifact read off disk, and a claimed gate/organ that is MISSING or a forbidden dep that is PRESENT
flips the grade down (liar-kill). Behind-axes are named HONESTLY, never papered over.
Incumbent (named, for the head-to-head): Anki (spaced-repetition + knowledge base) = Python + SQLite +
sync server. The honest claim is EXCEED only on the SOVEREIGN/INTEGRITY meta-axes; PARITY/BEHIND on
search-quality + scale + UX -- never a blanket "beats Anki".
Sovereign: imports only nx_syscalls (no gcc/python/sh on the program path). license_tier: ORIGINAL
dependencies 1 imports · 1 importers
imports: nx_syscalls.nx
imported by: nx_teacher_role_exceed_gate.nx
call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown
structs
| none |
consts
| 12 | const K_MAGIC_2097152: i64 = 2097152 |
| 13 | const K_MAGIC_2097151: i64 = 2097151 |
functions
| 15 | func re_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != 0 as u8 { n = n + 1 } sys_write(1, s, n); return 0 } |
| 16 | func re_putn(v: i64) -> i64 |
| 25 | func re_read(path: *u8, buf: *u8, cap: i64) -> i64 |
| 31 | func re_has(buf: *u8, n: i64, needle: *u8) -> i64 called by 1: re_sovereign |
| 43 | func re_exists(path: *u8) -> i64 { let fd: i64 = sys_openat_rd(path); if fd < 0 { return 0 } sys_close(fd); return 1 } |
| 45 | func re_sovereign(path: *u8) -> i64 |
| 58 | func main() -> i64 |