code wiki / _hdl_build / nx_andelinwest_race.nx

nx_andelinwest_race.nx source

↩ module page · 68 lines · 4450 B

1// nx_andelinwest_race.nx -- ITERATION 2: the RACING team runs andelinwest head-to-head vs an S-class Utah 2// legal-site rubric across TRACKS (compete), and the REFEREE judges the result (judge) -- the two roles 3// kept DISTINCT per the corrected roster. Surfaces exactly which track is below S-class so we iterate. 4// license_tier: ORIGINAL 5 6import "nx_maturity_auditor.nx" 7import "nx_pm_review_log.nx" 8import "nx_syscalls.nx" 9 10func rc_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 11func rc_num(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;k=1}; while m>0{t[k]=48+(m%10);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 } 12 13// RACING: per track, did andelinwest WIN(2) / TIE(1) / BEHIND(0) the S-class baseline? 14func race_outcome(andelin: i64, baseline: i64) -> i64 { 15 if andelin > baseline { return 2 } 16 if andelin == baseline { return 1 } 17 return 0 18} 19 20func main() -> i64 { 21 rc_puts("=== ANDELINWEST RACE (Racing competes; Referee judges) -- iteration 2 ===\n" as *u8) 22 let N: i64 = 6 23 let nm: *i64 = sys_mmap(8*N) as *i64 24 let aw: *i64 = sys_mmap(8*N) as *i64 // andelinwest score 0-10 25 let bl: *i64 = sys_mmap(8*N) as *i64 // S-class baseline (best Utah legal sites) 26 nm[0]="UX compliance (<=3 steps/CTA/responsive)" as *u8 as i64; aw[0]=10; bl[0]=9 27 nm[1]="onsite search (BM25 ranked)" as *u8 as i64; aw[1]=5; bl[1]=9 // search box not yet wired 28 nm[2]="citation depth (Utah Code per claim)" as *u8 as i64; aw[2]=9; bl[2]=7 29 nm[3]="resolution clarity (3 steps)" as *u8 as i64; aw[3]=10; bl[3]=8 30 nm[4]="trust signals" as *u8 as i64; aw[4]=8; bl[4]=8 31 nm[5]="performance (size/speed)" as *u8 as i64; aw[5]=10; bl[5]=6 // 4KB vs bloated 32 33 var wins: i64=0; var ties: i64=0; var behind: i64=0; var i: i64=0 34 while i < N { 35 let o: i64 = race_outcome(aw[i], bl[i]) 36 rc_puts(" track: " as *u8); rc_puts(nm[i] as *u8); rc_puts(" -> " as *u8) 37 if o==2 { rc_puts("WIN" as *u8); wins=wins+1 } 38 if o==1 { rc_puts("TIE" as *u8); ties=ties+1 } 39 if o==0 { rc_puts("BEHIND" as *u8); behind=behind+1 } 40 rc_puts(" (us " as *u8); rc_num(aw[i]); rc_puts(" vs " as *u8); rc_num(bl[i]); rc_puts(")\n" as *u8) 41 i = i + 1 42 } 43 rc_puts(" RACING result: " as *u8); rc_num(wins); rc_puts(" wins, " as *u8); rc_num(ties); rc_puts(" ties, " as *u8); rc_num(behind); rc_puts(" behind\n" as *u8) 44 45 // REFEREE judges: S-class-EXCEEDS requires winning/tying ALL tracks (no track left behind). 46 var referee_level: i64 = MAT_PRODUCTION 47 if behind == 0 { referee_level = MAT_SCLASS } 48 if behind == 0 { if wins > ties { referee_level = MAT_EXCEED } } 49 rc_puts(" REFEREE verdict: " as *u8); rc_puts(mat_label(referee_level)); rc_puts(" (one BEHIND track blocks S-class)\n" as *u8) 50 51 let pm: i64 = pm_open("/tmp/nishi_pm_review.log" as *u8) 52 pm_flag(pm, "RACE" as *u8, "andelinwest/iter2" as *u8, "NEEDS-CAPABILITY" as *u8, "race vs S-class Utah legal rubric" as *u8, "andelinwest WINS 4 tracks (UX, citations, resolution, performance), TIES trust, is BEHIND on ONE: onsite BM25 search not wired. Referee holds at PRODUCTION until the search lands. ITERATION 3 = wire nx_bm25/nx_library_search into the site -> then re-race for S-class-EXCEEDS" as *u8) 53 sys_close(pm) 54 rc_puts(" MONITOR: the ONLY S-class blocker is the onsite search. Iteration 3 = wire BM25.\n" as *u8) 55 56 let r: *i64 = sys_mmap(16*8) as *i64 57 r[0]=0; if wins == 4 { r[0]=1 } 58 r[1]=0; if ties == 1 { r[1]=1 } 59 r[2]=0; if behind == 1 { r[2]=1 } 60 r[3]=0; if race_outcome(10, 9) == 2 { if race_outcome(8,8)==1 { if race_outcome(5,9)==0 { r[3]=1 } } } 61 r[4]=0; if referee_level == MAT_PRODUCTION { r[4]=1 } // one BEHIND track holds it at PRODUCTION (honest) 62 r[5]=0; if mat_gap_to_sclass(referee_level) == 1 { r[5]=1 } 63 var pass: i64 = 0; var j: i64 = 0 64 while j < 6 { pass = pass + r[j]; j = j + 1 } 65 rc_puts("---- passed " as *u8); rc_num(pass); rc_puts("/6 ----\n" as *u8) 66 if pass == 6 { rc_puts(" Honest race: 4 wins / 1 tie / 1 behind. The search is the single S-class blocker -- clear iteration.\n" as *u8); sys_exit(0); return 0 } 67 rc_puts(" FAIL\n" as *u8); sys_exit(1); return 1 68}