nx_underridge_nevergate.nx
buildroot/runtime/nx_underridge_nevergate.nx
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
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
structs
| none |
consts
| none |
functions
| 21 | func gw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } |
| 22 | func 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 } |
| 25 | func nb_eval(head_thick: i64, pocket_depth: i64, pad_thick: i64, edge_fillet: i64, |
| 67 | func main() -> i64 |