code wiki / _hdl_build / nx_build_nobypass_gate.nx
nx_build_nobypass_gate.nx
buildroot/runtime/_hdl_build/nx_build_nobypass_gate.nx
about
nx_build_nobypass_gate.nx -- R-LIVE-2: the BINDING NO-BYPASS RATCHET (build-time twin of
nx_pub_nobypass_gate). It measures the REAL bypass count (organs in runtime/_hdl_build NOT in the
persistent build-registry) against a BASELINE on disk: the build FAILS (RED) if the count GREW (a new
unregistered organ was added), and RATCHETS the baseline DOWN as organs get registered -- so the bypass
surface can only ever shrink, never grow. First run initializes the baseline. The gate self-registers so
it is never its own bypass.
HERMETIC NEGATIVE CONTROL: the ratchet predicate is tested on synthetic numbers (must FIRE on baseline+1,
PASS on baseline and baseline-1) so GREEN proves the binding is load-bearing, not decorative.
Sovereign: imports nx_build_registry_lib (+ nx_syscalls). license_tier: ORIGINAL expect_exit: 0
dependencies 2 imports · 0 importers
imports: nx_build_registry_lib.nxnx_syscalls.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
| 13 | const REG: *u8 = "knowledge/registry/build_registry.log" |
| 14 | const BL: *u8 = "knowledge/registry/build_bypass_baseline.txt" |
| 15 | const ODIR: *u8 = "runtime/_hdl_build" |
functions
| 17 | func nb_p(s: *u8) -> i64 { let n: i64 = br_len(s); sys_write(1, s, n); return 0 } |
| 18 | func nb_pn(v: i64) -> i64 |
| 27 | func nb_getdents(fd: i64, buf: *u8, count: i64) -> i64 { return __syscall(217, fd, buf, count, 0, 0, 0) } called by 1: nb_census |
| 28 | func nb_isorgan(name: *u8) -> i64 |
| 40 | func nb_census() -> i64 |
| 61 | func nb_read_int(path: *u8) -> i64 |
| 72 | func nb_write_int(path: *u8, v: i64) -> i64 |
| 86 | func nb_ok(current: i64, baseline: i64) -> i64 { if current > baseline { return 0 } return 1 } called by 1: main |
| 88 | func main() -> i64 |