nx_api_sota_census.nx source

1// nx_api_sota_census.nx -- grade the Nishi sovereign mgmt API vs the SOTA API capability union 2// (knowledge/registry/api_sota_features.conf, grounded in knowledge/fetched/api_*.raw). LIAR-KILL: every 3// HAVE/PARTIAL/EXCEED names an organ; we OPEN runtime/<organ> -> a missing file flips it to UNGROUNDED (caught). 4// Reports HAVE/PARTIAL/GAP/EXCEED + a meet-SOTA score + the GAP list + the beyond-SOTA EXCEED list. 5// license_tier: ORIGINAL depends: nx_syscalls 6import "nx_syscalls.nx" 7const K_MAGIC_262144: i64 = 262144 8const K_MAGIC_1024: i64 = 1024 9 10func cp(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 11func cn(v: i64) -> i64 { if v==0 { sys_write(1,"0" as *u8,1); return 0 } var m: i64=v; if m<0 { sys_write(1,"-" as *u8,1); m=0-m } let t: *u8=sys_mmap(28); var k: i64=0; while m>0 { t[k]=(48+(m%10)) as u8; m=m/10; k=k+1 } while k>0 { k=k-1; sys_write(1,(((t as i64)+k) as *u8),1) } return 0 } 12// compare buf[off..off+len) to NUL-term lit 13func cseq(buf: *u8, off: i64, len: i64, lit: *u8) -> i64 { var i: i64=0; while i<len { if lit[i]==(0 as u8) { return 0 } if buf[off+i]!=lit[i] { return 0 } i=i+1 } if lit[len]!=(0 as u8) { return 0 } return 1 } 14func cwrite(buf: *u8, off: i64, len: i64) -> i64 { sys_write(1, (((buf as i64)+off) as *u8), len); return 0 } 15 16func main() -> i64 { 17 let cap: i64 = K_MAGIC_262144; let buf: *u8 = sys_mmap(cap) 18 let fd: i64 = sys_openat_rd("knowledge/registry/api_sota_features.conf" as *u8) 19 if fd < 0 { cp("cannot open api_sota_features.conf\n" as *u8); sys_exit(1); return 1 } 20 var n: i64=0; var r: i64=1 21 while r>0 { if n>=cap { r=0 } else { r=sys_read(fd, (((buf as i64)+n) as *u8), cap-n); if r>0 { n=n+r } } } 22 sys_close(fd) 23 cp("NX-API-SOTA-CENSUS (vs OpenAPI/Swagger, RFC9457, MCP, OWASP-API, Richardson -- fetched sources)\n" as *u8) 24 var have: i64=0; var part: i64=0; var gap: i64=0; var exc: i64=0; var tot: i64=0; var ungrounded: i64=0 25 let offs: *i64 = sys_mmap(64) as *i64; let lens: *i64 = sys_mmap(64) as *i64 26 var ls: i64=0 27 while ls < n { 28 var le: i64=ls; var eol: i64=0 29 while eol==0 { if le>=n { eol=1 } else { if buf[le]==(10 as u8) { eol=1 } else { le=le+1 } } } 30 if le>ls { if buf[ls]!=(35 as u8) { // skip '#' + blank 31 // split [ls,le) on TAB into up to 5 fields 32 var nf: i64=0; var fs: i64=ls; var i: i64=ls 33 while i<=le { var cut: i64=0; if i==le { cut=1 } else { if buf[i]==(9 as u8) { cut=1 } } if cut==1 { if nf<8 { offs[nf]=fs; lens[nf]=i-fs; nf=nf+1 } fs=i+1 } i=i+1 } 34 if nf>=4 { 35 let so: i64=offs[2]; let sl: i64=lens[2] // status 36 let oo: i64=offs[3]; let ol: i64=lens[3] // organ 37 var st: i64=0 // 1 HAVE 2 PARTIAL 3 GAP 4 EXCEED 38 if cseq(buf,so,sl,"HAVE" as *u8)==1 { st=1 } if cseq(buf,so,sl,"PARTIAL" as *u8)==1 { st=2 } if cseq(buf,so,sl,"GAP" as *u8)==1 { st=3 } if cseq(buf,so,sl,"EXCEED" as *u8)==1 { st=4 } 39 if st>0 { 40 tot=tot+1 41 if st==1 { have=have+1 } if st==2 { part=part+1 } if st==3 { gap=gap+1 } if st==4 { exc=exc+1 } 42 // LIAR-KILL: HAVE/PARTIAL/EXCEED must name a real organ (not "-") 43 if st!=3 { 44 var dash: i64=0; if ol==1 { if buf[oo]==(45 as u8) { dash=1 } } 45 if dash==0 { 46 let op: *u8=sys_mmap(K_MAGIC_1024); var q: i64=0; let pre: *u8="runtime/" as *u8 47 var pj: i64=0; while pre[pj]!=(0 as u8){op[q]=pre[pj];q=q+1;pj=pj+1} 48 var oj: i64=0; while oj<ol { op[q]=buf[oo+oj]; q=q+1; oj=oj+1 } op[q]=0 as u8 49 let ofd: i64=sys_openat_rd(op) 50 if ofd<0 { ungrounded=ungrounded+1; cp(" [UNGROUNDED] " as *u8); cwrite(buf, offs[0], lens[0]); cp(" -> missing " as *u8); cp(op); cp("\n" as *u8) } else { sys_close(ofd) } 51 } else { ungrounded=ungrounded+1; cp(" [UNGROUNDED] " as *u8); cwrite(buf, offs[0], lens[0]); cp(" claims non-GAP but organ='-'\n" as *u8) } 52 } 53 } 54 } 55 } } 56 ls=le+1 57 } 58 // meet-SOTA score: HAVE + EXCEED fully meet (2), PARTIAL half (1), GAP 0. 59 let score: i64 = (have*2 + exc*2 + part) * 1000 / (tot*2) 60 cp("\n-- HAVE=" as *u8); cn(have); cp(" PARTIAL=" as *u8); cn(part); cp(" GAP=" as *u8); cn(gap); cp(" EXCEED=" as *u8); cn(exc); cp(" of " as *u8); cn(tot); cp(" meet-SOTA=" as *u8); cn(score); cp("/1000\n" as *u8) 61 cp("-- LIAR-KILL: " as *u8); cn(ungrounded); cp(" ungrounded (every HAVE/PARTIAL/EXCEED opened its organ)\n" as *u8) 62 // list GAPs (build-targets) + EXCEEDs (beyond-SOTA differentiators) 63 cp("-- GAPs (build to reach SOTA):\n" as *u8) 64 ls=0 65 while ls < n { 66 var le2: i64=ls; var e2: i64=0; while e2==0 { if le2>=n { e2=1 } else { if buf[le2]==(10 as u8) { e2=1 } else { le2=le2+1 } } } 67 if le2>ls { if buf[ls]!=(35 as u8) { 68 var nf2: i64=0; var fs2: i64=ls; var i2: i64=ls 69 while i2<=le2 { var c2: i64=0; if i2==le2 { c2=1 } else { if buf[i2]==(9 as u8) { c2=1 } } if c2==1 { if nf2<8 { offs[nf2]=fs2; lens[nf2]=i2-fs2; nf2=nf2+1 } fs2=i2+1 } i2=i2+1 } 70 if nf2>=4 { if cseq(buf,offs[2],lens[2],"GAP" as *u8)==1 { cp(" - " as *u8); cwrite(buf, offs[0], lens[0]); cp("\n" as *u8) } } 71 } } 72 ls=le2+1 73 } 74 cp("-- EXCEED (beyond mainstream SOTA):\n" as *u8) 75 ls=0 76 while ls < n { 77 var le3: i64=ls; var e3: i64=0; while e3==0 { if le3>=n { e3=1 } else { if buf[le3]==(10 as u8) { e3=1 } else { le3=le3+1 } } } 78 if le3>ls { if buf[ls]!=(35 as u8) { 79 var nf3: i64=0; var fs3: i64=ls; var i3: i64=ls 80 while i3<=le3 { var c3: i64=0; if i3==le3 { c3=1 } else { if buf[i3]==(9 as u8) { c3=1 } } if c3==1 { if nf3<8 { offs[nf3]=fs3; lens[nf3]=i3-fs3; nf3=nf3+1 } fs3=i3+1 } i3=i3+1 } 81 if nf3>=4 { if cseq(buf,offs[2],lens[2],"EXCEED" as *u8)==1 { cp(" + " as *u8); cwrite(buf, offs[0], lens[0]); cp("\n" as *u8) } } 82 } } 83 ls=le3+1 84 } 85 sys_exit(0); return 0 86}