nx_ws_hygiene_gate.nx
buildroot/runtime/nx_ws_hygiene_gate.nx
about
nx_ws_hygiene_gate.nx -- liar-killed GATE for the workstream-hygiene classifier (R-ORCH).
Proves it flags the exact anti-patterns the operator called out AND does NOT false-flag the
sanctioned sovereign path: the live example line (`wsl -e sh -c './_offc/nx_swcompare_research.elf
... > /tmp/... 2>&1'`) is a VIOLATION; the sanctioned build launcher (nx_sov_build_run via wsl
--cd /mnt/c) is GREEN (the rule-27 exception -- the load-bearing negative control that keeps the
gate from banning the one allowed shell use); mcp/api lines are GREEN; TSV/plumbing/tmp caught.
MIGRATED 2026-09-02 onto nx_gate_verdict (D001): every tooth is a named gv_check, so /api/gate_run
reads the verdict from the exit code and harness.jrnl records a frame. Before this the gate printed a
hand-rolled `pass=N/20 verdict=` line and /api/promote correctly refused it. The teeth are unchanged;
the diagnostic line (got -> want) is printed BEFORE each tooth so a FAIL names the verdict it saw.
license_tier: ORIGINAL expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_ws_hygiene_core.nxnx_gate_verdict.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| none |
functions
| 16 | func h_puts(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 18 | func h_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 21 | func h_check(desc: *u8, line: *u8, want: i64, ctr: *i64) -> i64 |
| 29 | func h_check_tool(desc: *u8, name: *u8, want: i64, ctr: *i64) -> i64 |
| 36 | func main(argc: i64, argv: *i64) -> i64 |