nx_scenario_gate.nx
buildroot/runtime/nx_scenario_gate.nx
about
nx_scenario_gate.nx -- REFEREE for WRITING rung W-SCN-1 (nx_scenario).
[T1] EXACT field extraction (kind / setting / goal) from a complete record.
[T2] completeness validation: complete -> 0 missing; record without a goal
key -> 1 missing (REJECT).
[T3] NEG-CONTROL whole-key matching: a record where the word "goal" appears
only inside a VALUE still counts goal as MISSING (no substring false hit).
[T4] BRIEF emit equals the expected one-line context string.
Evidence -> stdout + knowledge/status/scenario_gate.log. Exit 0 GREEN / 1 RED.
Sovereign x86_64. license_tier: ORIGINAL
dependencies 2 imports · 0 importers
imports: nx_syscalls_x86_64.nxnx_scenario.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
| 15 | func gp(logfd: i64, s: *u8) -> i64 |
| 22 | func gn(logfd: i64, v: i64) -> i64 called by 1: pr_kv |
| 40 | 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_kv(logfd: i64, label: *u8, got: i64, exp: i64) -> i64 |
| 63 | func pr_streq(logfd: i64, label: *u8, got: *u8, exp: *u8) -> i64 |
| 71 | func main() -> i64 |