nx_mode_gate.nx
buildroot/runtime/nx_mode_gate.nx
about
nx_mode_gate.nx -- REFEREE for WRITING rung W-MODE-1 (nx_mode).
[T1] mode lookup: lane(erotica)=local, lane(correspondence)=tutor,
structure(paper)=imrad, structure(social)=convo.
[T2] unknown mode -> -1.
[T3] SEAM AUDIT: a well-formed registry has 0 violations (every explicit mode
routes to the local lane).
[T4] NEG-CONTROL: a tampered registry (erotica -> tutor lane) is CAUGHT
(audit == 1) -- the seam is load-bearing, not asserted.
Evidence -> stdout + knowledge/status/mode_gate.log. Exit 0 GREEN / 1 RED.
Sovereign x86_64. license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_syscalls_x86_64.nxnx_mode.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
| 16 | func gp(logfd: i64, s: *u8) -> i64 |
| 23 | func gn(logfd: i64, v: i64) -> i64 called by 1: pr_kv |
| 41 | func slen(s: *u8) -> i64 called by 1: main |
| 46 | func streq(a: *u8, b: *u8) -> i64 called by 1: pr_streq |
| 55 | func pr_streq(logfd: i64, label: *u8, got: *u8, exp: *u8) -> i64 |
| 62 | func pr_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64 |
| 71 | func main() -> i64 |