code wiki / (root) / nx_ws_hygiene_gate.nx

nx_ws_hygiene_gate.nx

buildroot/runtime/nx_ws_hygiene_gate.nx

6306 B119 linesdepth 5pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic ws
docsdependenciesstructsconstsfunctions

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. Exit 0 only on all-PASS. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_syscalls.nx nx_ws_hygiene_core.nx nx_ws_hygiene_gate.nx

imports: nx_syscalls.nxnx_ws_hygiene_core.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main sys_mmap h_check hv_classify hv_is_sanctioned_launcher hv_has ccz_slen hv_has ↻ hv_is_sovereign_api hv_has ↻ h_slen h_puts sys_write hv_name

structs

none

consts

none

functions

12func 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 }
called by 2: h_checkh_check_tool calls 1: sys_write
14func h_putn(v: i64) -> i64
calls 3: sys_mmapccz_cat_numsys_write
21func h_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
called by 2: h_checkh_check_tool
24func h_check(desc: *u8, line: *u8, want: i64, passp: *i64) -> i64
called by 1: main calls 4: hv_classifyh_slenh_putshv_name
35func h_check_tool(desc: *u8, name: *u8, want: i64, passp: *i64) -> i64
calls 4: hv_tool_verdicth_slenh_putshv_name
45func main(argc: i64, argv: *i64) -> i64
calls 2: sys_mmaph_check