nx_relief_bands_gate.nx
buildroot/runtime/nx_relief_bands_gate.nx
about
nx_relief_bands_gate.nx -- THE MULTI-BAND MICRO-RELIEF LAW AND THE DISCRETE PORE LAYER, GATED.
/compare/graphics C5, symbol rlf_pore_mask. Subject: nx_relief_lib.
WHAT THIS GATE IS FOR. nx_relief_lib grew from one spatial band to three on 2026-08-28. Three
bands is three amplitudes and three wavelengths, and six numbers with nothing checking them is
exactly the shape rule 11 exists to stop. So every claim the new code makes is a tooth here, and
each tooth is a property the WRONG implementations provably cannot satisfy:
* a band table that drifted from its conf ledger -> dies at T7
* a "pore layer" that is really a fourth noise octave -> dies at T5 (coverage, bite-proven)
* a mask that ignores the orifice diameter -> dies at T6 (bite-proven at r=0)
* a band 1 rigged by amplitude rather than wavelength -> dies at T3 (bite-proven)
* an addition that disturbed the shipped single-band -> dies at T2
* a second tilt convention for the new bands -> dies at T1
* a resolution claim that flatters the whole-body atlas -> dies at T8, which asserts the
UNFLATTERING direction as well
T5 is the load-bearing tooth for the MECHANISM and its bar is not a constant: it is the coverage
the model itself DERIVES (pi r^2 over the cell), measured at TWO different lattice scales, so a
field that is not a sparse disc layer cannot agree with it twice.
license_tier: ORIGINAL expect_exit: 0 No hw writes (Rule 26).
dependencies 3 imports · 0 importers
imports: nx_syscalls.nxnx_gate_verdict.nxnx_relief_lib.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
| 26 | const RB_N_FULL: i64 = 256 |
| 35 | const RB_RES_BODY: i64 = 4096 |
| 38 | const RB_FACE_UM: i64 = 250000 |
| 39 | const RB_CELL_A: i64 = 64 // two lattice scales for the coverage measurement. A sparse disc |
| 40 | const RB_CELL_B: i64 = 128 // layer has the SAME coverage at both; a noise octave does not. |
| 41 | const RB_SWEEP_A: i64 = 512 // 8x8 = 64 cells at RB_CELL_A |
| 42 | const RB_SWEEP_B: i64 = 1024 // 8x8 = 64 cells at RB_CELL_B |
| 46 | const RB_TOL_PERMIL: i64 = 4 |
| 47 | const RB_SEED: i64 = 20260828 |
| 48 | const RB_BUF: i64 = 256 |
| 49 | const RB_CONF_A: *u8 = "knowledge/relief_bands.conf" |
| 50 | const RB_CONF_B: *u8 = "buildroot/knowledge/relief_bands.conf" |
functions
| 52 | func rb_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } called by 1: main |
| 53 | func rb_abs(v: i64) -> i64 { if v < 0 { return 0 - v } return v } called by 1: rb_cover_wrong |
| 54 | func rb_max2(a: i64, b: i64) -> i64 { if a > b { return a } return b } |
| 57 | func rb_find(hay: *u8, hn: i64, ndl: *u8, nn: i64) -> i64 called by 1: main |
| 74 | func rb_row(d: *u8, id: i64, name: *u8, amp: i64, lam: i64) -> i64 |
| 91 | func rb_mask_at_r(x: i64, y: i64, cell: i64, r: i64) -> i64 |
| 99 | func rb_cover_permil(cell: i64, n: i64, r: i64) -> i64 |
| 113 | func rb_cover_wrong(measured: i64, derived: i64) -> i64 |
| 118 | func rb_not_outtilt(a_um: i64, lambda_um: i64) -> i64 |
| 123 | func main() -> i64 |