code wiki / _hdl_build / nx_build_nobypass_gate.nx

nx_build_nobypass_gate.nx

buildroot/runtime/_hdl_build/nx_build_nobypass_gate.nx

5725 B123 linesdepth 4pulls 4 transitivereach 0 importersview sourcekind gate/prooftopic build
docsdependenciesstructsconstsfunctions

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

nx_build_registry_lib.nx nx_syscalls.nx nx_build_nobypass_gate.nx

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

main nb_p br_len sys_write br_submit br_submit_lin sys_mmap fa_cat fa_appendz fa_append sys_mmap ↻ sys_openat_append sys_flock fa_write_all sys_write ↻ sys_close fa_len nb_ok nb_census sys_openat_rd sys_mmap ↻ nb_getdents nb_isorgan br_len ↻ br_registered sys_mmap ↻ br_get_state sys_mmap ↻ br_read sys_openat_rd ↻ sys_read sys_close ↻ br_extract br_find br_len ↻ br_len ↻ br_streq sys_close ↻ nb_read_int sys_mmap ↻

structs

none

consts

13const REG: *u8 = "knowledge/registry/build_registry.log"
14const BL: *u8 = "knowledge/registry/build_bypass_baseline.txt"
15const ODIR: *u8 = "runtime/_hdl_build"

functions

17func nb_p(s: *u8) -> i64 { let n: i64 = br_len(s); sys_write(1, s, n); return 0 }
called by 1: main calls 2: br_lensys_write
18func nb_pn(v: i64) -> i64
called by 1: main calls 2: sys_mmapsys_write
27func nb_getdents(fd: i64, buf: *u8, count: i64) -> i64 { return __syscall(217, fd, buf, count, 0, 0, 0) }
called by 1: nb_census
28func nb_isorgan(name: *u8) -> i64
called by 1: nb_census calls 1: br_len
40func nb_census() -> i64
61func nb_read_int(path: *u8) -> i64
72func nb_write_int(path: *u8, v: i64) -> i64
86func nb_ok(current: i64, baseline: i64) -> i64 { if current > baseline { return 0 } return 1 }
called by 1: main
88func main() -> i64