nx_gen_mind_gate.nx
buildroot/runtime/nx_gen_mind_gate.nx
about
nx_gen_mind_gate.nx -- the REFEREE for companionchat CC0 (go_mind_context in nx_companion_mind.nx).
DONE-RULE (pre-declared in companionchat.plan): the composed chat prompt provably contains em_recall hits,
cm_ctx relationship lines and es_context typed state whenever those stores hold data for the session, proven
against the REAL promoted organs (forked from the serving root); a neg-control with empty stores must compose NO
fabricated memory or present lines.
FIXTURE LAW: scratch lives under /tmp/<gate>/ (never a production plane) and the session key is unique PER RUN,
so the gate is idempotent -- a memory planted by run N can never make run N+1's empty-session tooth vacuous.
license_tier: ORIGINAL expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_companion_mind.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
| 13 | const MG_DIR: *u8 = "/tmp/nx_gen_mind_gate" as *u8 |
| 14 | const MG_MODE_DIR: i64 = 511 |
| 15 | const MG_MODE_FILE: i64 = 420 |
| 16 | const MG_CAP: i64 = 16384 |
| 17 | const MG_TOKEN: *u8 = "qux9zebra" as *u8 |
| 18 | const MG_PLANT: *u8 = "my cat is named qux9zebra and she is grey" as *u8 |
| 19 | const MG_ASK: *u8 = "what is my cat qux9zebra called again" as *u8 |
| 20 | const MG_HELLO: *u8 = "hello there" as *u8 |
functions
| 22 | func mg_len(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 25 | func mg_session(out: *u8) -> i64 |
| 40 | func mg_write_session_file(session: *u8) -> i64 |
| 48 | func main() -> i64 |