nx_hub_spoke_test.nx source

1// nx_hub_spoke_test.nx -- ACCEPTANCE GATE for the HUB role (GROW: Naruto clone-integrate-grow, governed, 2// additive-only no-regression). Was untested -- now Engineer-verifiable. 3import "nx_hub_spoke.nx" 4import "nx_syscalls.nx" 5 6func ht_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 7func ht_putn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{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{bb[i]=t[k-1-i];i=i+1} sys_write(1,bb,k); return 0 } 8 9func main() -> i64 { 10 var pass: i64 = 0 11 var total: i64 = 0 12 13 // T1: a clone learns +5 and is GOVERNED-admitted -> hub grows 100 -> 105 14 total = total + 1 15 var t1: i64 = 1 16 let after: i64 = hs_integrate(100, 5, 1) 17 if after != 105 { t1 = 0 } 18 if hs_no_regression(100, after) != 1 { t1 = 0 } // additive-only: never shrinks 19 if hs_next_stronger(100, after) != 1 { t1 = 0 } // next clone is stronger 20 if t1 == 1 { pass = pass + 1 } else { ht_puts("T1 FAIL integrate=" as *u8); ht_putn(after); ht_puts("\n" as *u8) } 21 22 // T2: an UNGOVERNED learning is NOT integrated (governance gate) -> hub unchanged 23 total = total + 1 24 var t2: i64 = 1 25 if hs_integrate(100, 5, 0) != 100 { t2 = 0 } // not admitted -> no growth 26 if hs_no_regression(100, hs_integrate(100, 5, 0)) != 1 { t2 = 0 } 27 if t2 == 1 { pass = pass + 1 } else { ht_puts("T2 FAIL ungoverned\n" as *u8) } 28 29 // T3: run K generations -- each governed gain compounds, monotonic non-regression 30 total = total + 1 31 let gains: *i64 = sys_mmap(64) as *i64 32 let admits: *i64 = sys_mmap(64) as *i64 33 let powers: *i64 = sys_mmap(64) as *i64 34 gains[0]=10; admits[0]=1 // +10 (admitted) 35 gains[1]=20; admits[1]=0 // +20 but NOT admitted -> ignored 36 gains[2]=5; admits[2]=1 // +5 (admitted) 37 let final: i64 = hs_run_generations(100, gains, admits, 3, powers) 38 var t3: i64 = 1 39 if final != 115 { t3 = 0 } // 100 +10 (skip 20) +5 = 115 40 // out_powers[g] records the clone power BEFORE integrating gen g: [100, 110, 110] 41 if powers[0] != 100 { t3 = 0 } 42 if powers[1] != 110 { t3 = 0 } 43 if powers[2] != 110 { t3 = 0 } // ungoverned gen kept it flat 44 if t3 == 1 { pass = pass + 1 } else { ht_puts("T3 FAIL generations final=" as *u8); ht_putn(final); ht_puts("\n" as *u8) } 45 46 ht_puts("HUB-SPOKE " as *u8); ht_putn(pass); ht_puts("/" as *u8); ht_putn(total); ht_puts("\n" as *u8) 47 if pass == total { ht_puts("HUB-SPOKE ALL-PASS\n" as *u8); sys_exit(0) } 48 sys_exit(1) 49 return 1 50}