code wiki / (root) / nx_underridge_nevergate.nx

nx_underridge_nevergate.nx

buildroot/runtime/nx_underridge_nevergate.nx

6112 B85 linesdepth 2pulls 2 transitivereach 0 importersview sourcekind tooltopic underridge
docsdependenciesstructsconstsfunctions

about

nx_underridge_nevergate.nx -- the NEVER-BREAK-THE-TOILET gate. Rule 26 ("never brick the electronics") in PHYSICAL form: the porcelain GLAZE is the brand-critical hardware, and the cleaner must be UNABLE to crack/scratch it -- proven MECHANICALLY here, never asserted as a promise. Every check is computed from the part's real design parameters (mm; sigma in MPa = N/mm^2, so bending force comes out directly in newtons). NB1 GLAZE-CONTACT = PAD ONLY : pad stands proud of the printed lip -> only the soft, glaze-safe pad ever touches porcelain (no plastic, no metal). NB2 NO SHARP EDGES : every glaze-facing edge is filleted >= min radius. NB3 CANNOT WEDGE : head stack + clearance <= measured rim gap (won't jam/crack). NB4 SACRIFICIAL NECK : the neck yields BELOW any rim-cracking pry force, yet ABOVE real scrub force -> the TOOL breaks before the toilet does. NB5 GLAZE-SAFE CHEMISTRY : non-scratch pad declared + never bleach+acid. NB6 SECURE MOUNT : >=1 mount point so the head can't drop into the bowl. The gate is LIAR-KILLABLE: it runs the REAL params (must be all-GREEN) AND a TAMPERED set (thin pad + over-thick neck) which it must correctly flag RED. Green only if it discriminates. expect_exit: 0 license_tier: ORIGINAL

dependencies 1 imports · 0 importers

nx_syscalls.nx nx_underridge_nevergate.nx

imports: nx_syscalls.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main gw sys_write nb_eval gw ↻ gn sys_mmap sys_write ↻ gn ↻ sys_exit

structs

none

consts

none

functions

21func gw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 }
called by 2: nb_evalmain calls 1: sys_write
22func gn(v: i64) -> i64 { let b: *u8=sys_mmap(28); var m: i64=v; if m<0{sys_write(1,"-\x00" as *u8,1);m=0-m} let t: *u8=sys_mmap(28); var k: i64=0; if m==0{t[0]=48 as u8;k=1} while m>0{t[k]=(48+(m%10)) as u8;m=m/10;k=k+1} var i: i64=0; while i<k{b[i]=t[k-1-i];i=i+1} sys_write(1,b,k); return 0 }
called by 2: nb_evalmain calls 2: sys_mmapsys_write
25func nb_eval(head_thick: i64, pocket_depth: i64, pad_thick: i64, edge_fillet: i64,
called by 1: main calls 2: gwgn
67func main() -> i64