nx_brand_spacescale_gate.nx source

1// nx_brand_spacescale_gate.nx -- the spacing-scale generator yields an on-grid, monotonic ramp that passes the R2 2// spacing guard and feeds the SSOT. 100% sovereign. expect_exit: 0 3import "nx_syscalls.nx" 4import "nx_brand_spacescale.nx" 5import "nx_brand_guard.nx" 6import "nx_brand_tokens.nx" 7import "nx_gate_verdict.nx" 8 9func gw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 10func gn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)} 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{bb[i]=t[k-1-i];i=i+1} sys_write(1,bb,k); return 0 } 11func t_row(name: *u8, ok: i64, tot: *i64) -> i64 { 12 if ok == 1 { gw(" PASS " as *u8); tot[0]=tot[0]+1 } else { gw(" FAIL " as *u8); tot[1]=tot[1]+1 } 13 gw(name); gw("\n" as *u8); return 0 14} 15func g_has(s: *u8, n: i64, lit: *u8) -> i64 { if bt_find(s, n, lit, bt_len(lit)) >= 0 { return 1 } return 0 } 16 17func main() -> i64 { 18 let tot: *i64 = sys_mmap(32) as *i64 19 tot[0]=0; tot[1]=0 20 let cap: i64 = 4096 21 let a: *u8 = sys_mmap(cap) 22 gw("=== nx_brand_spacescale_gate -- spacing-scale generator (4/8pt grid rhythm) ===\n" as *u8) 23 24 let w: i64 = ss_emit_scale(8, a, cap) 25 gw(" scale(8px grid): " as *u8); sys_write(1, a, w) 26 27 var t1: i64 = 0 28 if g_has(a, w, "token|space|1|8px" as *u8) == 1 { if g_has(a, w, "token|space|2|16px" as *u8) == 1 { if g_has(a, w, "token|space|5|64px" as *u8) == 1 { t1 = 1 } } } 29 t_row("T1 8px base -> 8/16/24/40/64px ramp" as *u8, t1, tot) 30 31 var t2: i64 = 0 32 let g1: i64 = bg_space_grid_ok(a, w, "1" as *u8, 8) 33 let g2: i64 = bg_space_grid_ok(a, w, "2" as *u8, 8) 34 let g5: i64 = bg_space_grid_ok(a, w, "5" as *u8, 8) 35 if g1 == 1 { if g2 == 1 { if g5 == 1 { t2 = 1 } } } 36 t_row("T2 every step is ON the 8px grid (passes the R2 spacing guard)" as *u8, t2, tot) 37 38 // T3 feeds the SSOT 39 let root: *u8 = sys_mmap(cap) 40 let wr: i64 = bt_emit_root_buf(a, w, root, cap) 41 var t3: i64 = 0 42 if wr > 0 { if g_has(root, wr, "--nx-space-1: 8px" as *u8) == 1 { if g_has(root, wr, "--nx-space-5: 64px" as *u8) == 1 { t3 = 1 } } } 43 t_row("T3 scale feeds the token SSOT (:root --nx-space-1: 8px)" as *u8, t3, tot) 44 45 // T4 determinism 46 let b: *u8 = sys_mmap(cap) 47 let w2: i64 = ss_emit_scale(8, b, cap) 48 var t4: i64 = 0 49 if w2 == w { var eq: i64 = 1; var i: i64 = 0; while i < w { if a[i] != b[i] { eq = 0 } i = i + 1 } t4 = eq } 50 t_row("T4 determinism: same base -> byte-identical scale" as *u8, t4, tot) 51 52 gw("\nrows pass=" as *u8); gn(tot[0]); gw(" fail=" as *u8); gn(tot[1]); gw("\n" as *u8) 53 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 54 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 55 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 56 let ctr__dry: *i64 = gv_ctr() 57 ctr__dry[0] = tot[0] 58 ctr__dry[1] = tot[0] + tot[1] 59 let rc__dry: i64 = gv_verdict("BRAND-SPACESCALE-GATE" as *u8, ctr__dry, "spacing-scale generated on-grid, R2-passing, feeds the SSOT" as *u8) 60 sys_exit(rc__dry) 61 return rc__dry 62}