nx_research_auto_test.nx source

1// nx_research_auto_test.nx -- ACCEPTANCE GATE for the autonomous research loop. Proves the team 2// self-drives: a broad+polite round that banks facts -> CONTINUE; an impolite/small round -> rejected; 3// a dry streak -> RETASK (don't waste compute); a stalled round -> RESTART. 4import "nx_research_auto.nx" 5import "nx_syscalls.nx" 6 7func at_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 8func at_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 } 9func at_len(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } 10 11func main() -> i64 { 12 var pass: i64 = 0 13 var total: i64 = 0 14 let out: *i64 = sys_mmap(64) as *i64 15 16 // a broad+polite round: 100 hosts, 1 request each 17 let rph: *i64 = sys_mmap(1024) as *i64 18 var i: i64 = 0 19 while i < 100 { rph[i] = 1; i = i + 1 } 20 // a corpus with corroborated finding blocks (delim "\nC", each block has >=2 source markers) 21 let corpus: *u8 = "\nC1 finding http://a 10.1/x\nC2 finding PMC9 github\nC3 finding arXiv:1 http://b" as *u8 22 23 // T1: broad+polite + corroborating corpus -> gate ok, admits >0, verdict PRODUCTIVE, action CONTINUE 24 total = total + 1 25 let act: i64 = ra_tick(100, 100, rph, 100, corpus, at_len(corpus), 0, out) 26 var t1: i64 = 1 27 if out[0] != 1 { t1 = 0 } // gate ok 28 if out[1] <= 0 { t1 = 0 } // admitted some 29 if out[2] != LM_PRODUCTIVE { t1 = 0 } 30 if act != LM_CONTINUE { t1 = 0 } 31 if t1 == 1 { pass = pass + 1 } else { at_puts("T1 FAIL gate=" as *u8); at_putn(out[0]); at_puts(" adm=" as *u8); at_putn(out[1]); at_puts(" verd=" as *u8); at_putn(out[2]); at_puts(" act=" as *u8); at_putn(act); at_puts("\n" as *u8) } 32 33 // T2: IMPOLITE round (host 0 hammered 50x) -> gate REJECTS -> 0 admitted, not advancing -> STALL/RESTART 34 total = total + 1 35 rph[0] = 50 36 let act2: i64 = ra_tick(100, 149, rph, 100, corpus, at_len(corpus), 0, out) 37 var t2: i64 = 1 38 if out[0] != 0 { t2 = 0 } // gate rejected 39 if out[1] != 0 { t2 = 0 } // banked nothing (didn't risk blowback) 40 if t2 == 1 { pass = pass + 1 } else { at_puts("T2 FAIL impolite gate=" as *u8); at_putn(out[0]); at_puts("\n" as *u8) } 41 rph[0] = 1 42 43 // T3: SMALL-SAMPLED round (5 hosts) -> gate rejects (not broad) 44 total = total + 1 45 ra_tick(5, 5, rph, 5, corpus, at_len(corpus), 0, out) 46 if out[0] == 0 { pass = pass + 1 } else { at_puts("T3 FAIL small-sample passed gate\n" as *u8) } 47 48 // T4: DRY streak -- broad+polite but corpus has NO corroborated facts (empty), 3rd zero round -> RETASK 49 total = total + 1 50 let empty: *u8 = "\nC1 lone source http://only\nC2 lone PMConly" as *u8 // each block 1 marker -> 0 admitted 51 let act4: i64 = ra_tick(100, 100, rph, 100, empty, at_len(empty), 2, out) // prev_zero_streak=2 -> now 3 52 var t4: i64 = 1 53 if out[1] != 0 { t4 = 0 } // 0 admitted 54 if out[4] != 3 { t4 = 0 } // zero_streak advanced to 3 55 if out[2] != LM_DRY { t4 = 0 } 56 if act4 != LM_RETASK { t4 = 0 } // dry vein -> re-task, don't waste compute 57 if t4 == 1 { pass = pass + 1 } else { at_puts("T4 FAIL dry verd=" as *u8); at_putn(out[2]); at_puts(" act=" as *u8); at_putn(act4); at_puts(" streak=" as *u8); at_putn(out[4]); at_puts("\n" as *u8) } 58 59 at_puts("RESEARCH-AUTO " as *u8); at_putn(pass); at_puts("/" as *u8); at_putn(total); at_puts("\n" as *u8) 60 if pass == total { at_puts("RESEARCH-AUTO ALL-PASS\n" as *u8); sys_exit(0) } 61 sys_exit(1) 62 return 1 63}