code wiki / (root) / nx_wiredclaim_gate.nx

nx_wiredclaim_gate.nx

buildroot/runtime/nx_wiredclaim_gate.nx

11974 B220 linesdepth 5pulls 8 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

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

nx_gate_verdict.nx nx_wiredclaim_lib.nx nx_tool_run.nx nx_wiredclaim_gate.nx

imports: nx_gate_verdict.nxnx_wiredclaim_lib.nxnx_tool_run.nx

imported by: nobody (leaf or entry point)

structs

none

consts

30const WG_CAPTURE_BYTES: i64 = 1048576
31const WG_NL: i64 = 10
32const WG_HASH: i64 = 35
33const WG_PIPE: i64 = 124
34const WG_CNTS: i64 = 64

functions

41func wg_eq(a: i64, b: i64) -> i64 { if a == b { return 1 } return 0 }
43func 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 }
44func wg_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n }
45func wg_n(v: i64) -> i64
64func wg_selftest() -> i64
97func wg_one(organ: *u8, dir: *u8, ext: *u8) -> i64
149func wg_watch() -> i64
197func main(argc: i64, argv: *i64) -> i64