nx_wiredclaim_gate.nx
buildroot/runtime/nx_wiredclaim_gate.nx
about
nx_wiredclaim_gate.nx -- THE STANDING TEST FOR "CLAIMED BUT NOT CALLED".
WHY THIS EXISTS, from an open sev-8 (1785530277) re-confirmed live 2026-08-15. F881 wired the rule-11
magic-number ratchet into /api/build, that wiring was later LOST, and NOTHING SAID SO. Four source
comments went on asserting the enforcement as established fact for months while builds sailed through
unchallenged. The debt row names the missing piece itself:
"an enforcement with no standing test is how this silently reverted"
"IF NO TEST FAILS WHEN THE WIRING IS REMOVED, THE WIRING WILL BE REMOVED AND NOTHING WILL SAY SO."
nx_wiredclaim already COMPUTES the answer, but it takes a grep artefact as input, so nothing could put
it on a beat. That is the whole gap this organ closes: it is the thing that says so.
COMPOSES, NEVER RE-DERIVES: the judgement is nx_wiredclaim_lib's (wc_scan/wc_verdict) so there is
exactly one definition of "called vs merely claimed" in the estate. Shaped after nx_sweepgate (same
session): fork the proven scanner, READ THE ENVELOPE BEFORE THE NUMBERS, then judge.
THE CEILING, STATED UP FRONT: wc_verdict keys on LINE SHAPE -- a non-comment, non-self mention is a
call-site CANDIDATE, not proof that anything executes. So WIRED here is necessary, not sufficient, and
this gate detects the F881 SHAPE rather than certifying that a chokepoint fires. nx_wiredclaim says the
same of itself: confirm by execution. A gate that overstated this would be the false proof with an
authoritative name that the estate keeps paying for.
license_tier: ORIGINAL Read-only. No hw writes (Rule 26). expect_exit: 0
dependencies 3 imports · 0 importers
imports: nx_gate_verdict.nxnx_wiredclaim_lib.nxnx_tool_run.nx
imported by: nobody (leaf or entry point)
structs
| none |
consts
| 30 | const WG_CAPTURE_BYTES: i64 = 1048576 |
| 31 | const WG_NL: i64 = 10 |
| 32 | const WG_HASH: i64 = 35 |
| 33 | const WG_PIPE: i64 = 124 |
| 34 | const WG_CNTS: i64 = 64 |
functions
| 41 | func wg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 } |
| 43 | func wg_w(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } sys_write(1, s, n); return 0 } |
| 44 | func wg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 45 | func wg_n(v: i64) -> i64 |
| 64 | func wg_selftest() -> i64 |
| 97 | func wg_one(organ: *u8, dir: *u8, ext: *u8) -> i64 |
| 149 | func wg_watch() -> i64 |
| 197 | func main(argc: i64, argv: *i64) -> i64 |