nx_researcher_code_gate.nx source

1// nx_researcher_code_gate.nx -- GATE: the researcher's INTERNAL arm over our PRIVATE SOURCE CODE (the deepest exceed). 2// Deep-research can describe a concept in the abstract; OUR researcher retrieves the EXACT .nx organ that implements 3// it -- real private source, read live from disk, cited WITH A SNIPPET of the actual code. The web can never see this. 4// T1 a code query ("nrtl_synth") retrieves the exact source file that DEFINES it (real on-disk source signal). 5// T2 SNIPPET IS REAL CODE: the cited snippet, read live, contains the query token (truly-private content, not described). 6// T3 DETERMINISM: identical query -> identical ranking + snippet. 7// T4 PRIVATE EXCEED: the retrieved source is our .nx implementation -- deep-research structurally cannot access it. 8// expect_exit: 0 license_tier: ORIGINAL 9import "nx_syscalls.nx" 10 11func rw(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 12func rn(v: i64) -> i64 { let b: *u8=sys_mmap(28); 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; 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{b[i]=t[k-1-i];i=i+1} sys_write(1,b,k); return 0 } 13func cps(dst: *u8, s: *u8) -> i64 { var i: i64=0; while s[i]!=(0 as u8){ dst[i]=s[i]; i=i+1 } dst[i]=0 as u8; return i } 14 15func read_file(path: *u8, lenbox: *i64) -> i64 { 16 let fd: i64=sys_openat_rd(path) 17 if fd<0 { lenbox[0]=0; return 0 } 18 let buf: *u8=sys_mmap(1048576) 19 var off: i64=0; var go: i64=1 20 while go==1 { let r: i64=sys_read(fd, ((buf as i64)+off) as *u8, 65536); if r<=0 { go=0 } else { off=off+r } } 21 sys_close(fd); lenbox[0]=off; return buf as i64 22} 23 24// first byte-offset of needle in hay (case-sensitive; -1 if absent) 25func find_first(hay: *u8, hlen: i64, needle: *u8, nlen: i64) -> i64 { 26 var i: i64=0 27 while i+nlen<=hlen { 28 var j: i64=0; var eq: i64=1 29 while j<nlen { if hay[i+j]!=needle[j] { eq=0; j=nlen } else { j=j+1 } } 30 if eq==1 { return i } 31 i=i+1 32 } 33 return 0-1 34} 35 36// occurrences of needle in hay (case-sensitive) 37func tf_count(hay: *u8, hlen: i64, needle: *u8, nlen: i64) -> i64 { 38 var cnt: i64=0; var i: i64=0 39 while i+nlen<=hlen { 40 var j: i64=0; var eq: i64=1 41 while j<nlen { if hay[i+j]!=needle[j] { eq=0; j=nlen } else { j=j+1 } } 42 if eq==1 { cnt=cnt+1 } 43 i=i+1 44 } 45 return cnt 46} 47 48func main() -> i64 { 49 rw("=== nx_researcher_code: researcher INTERNAL arm over our PRIVATE SOURCE CODE (deepest exceed) ===\n" as *u8) 50 var pass: i64=0; var total: i64=0 51 let ND: i64=6 52 let paths: *i64=sys_mmap(8*8) as *i64 53 let p0: *u8=sys_mmap(160); cps(p0, "runtime/_hdl_build/nx_fpga_compose.nx" as *u8); paths[0]=p0 as i64 54 let p1: *u8=sys_mmap(160); cps(p1, "runtime/_hdl_build/nx_nhdl.nx" as *u8); paths[1]=p1 as i64 55 let p2: *u8=sys_mmap(160); cps(p2, "runtime/_hdl_build/nx_nrtl.nx" as *u8); paths[2]=p2 as i64 56 let p3: *u8=sys_mmap(160); cps(p3, "runtime/_hdl_build/nx_nbit.nx" as *u8); paths[3]=p3 as i64 57 let p4: *u8=sys_mmap(160); cps(p4, "runtime/_hdl_build/nx_nrtl_opt.nx" as *u8); paths[4]=p4 as i64 58 let p5: *u8=sys_mmap(160); cps(p5, "runtime/_hdl_build/nx_researcher_gate.nx" as *u8); paths[5]=p5 as i64 59 let docs: *i64=sys_mmap(8*8) as *i64; let dlens: *i64=sys_mmap(8*8) as *i64 60 var i: i64=0 61 while i<ND { let lb: *i64=sys_mmap(16) as *i64; docs[i]=read_file(paths[i] as *u8, lb); dlens[i]=lb[0]; i=i+1 } 62 63 // ---- INTERNAL retrieval over PRIVATE SOURCE for the code query 'nrtl_synth' ---- 64 let qstr: *u8="nrtl_synth" as *u8; let qn: i64=10 65 let scores: *i64=sys_mmap(8*8) as *i64 66 var tp: i64=0; var best: i64=0-1 67 i=0 68 while i<ND { scores[i]=tf_count(docs[i] as *u8, dlens[i], qstr, qn); if scores[i]>best { best=scores[i]; tp=i } i=i+1 } 69 70 // ---- emit the cited brief WITH a real code snippet ---- 71 rw("\n CODE BRIEF for 'nrtl_synth' (retrieved from PRIVATE source):\n" as *u8) 72 rw(" source = " as *u8); rw(paths[tp] as *u8); rw(" (" as *u8); rn(scores[tp]); rw(" occurrences, " as *u8); rn(dlens[tp]); rw(" bytes read live)\n" as *u8) 73 let off: i64=find_first(docs[tp] as *u8, dlens[tp], qstr, qn) 74 var snlen: i64=90; if off+snlen>dlens[tp] { snlen=dlens[tp]-off } 75 rw(" snippet: \"" as *u8); sys_write(1, ((docs[tp] as i64)+off) as *u8, snlen); rw("...\"\n" as *u8) 76 77 // ---- T1: retrieves the exact source that DEFINES nrtl_synth (nx_nrtl.nx = index 2) ---- 78 total=total+1; if tp==2 { pass=pass+1; rw(" [PASS] " as *u8) } else { rw(" [FAIL] " as *u8) } 79 rw("T1 PRIVATE-SOURCE retrieval: 'nrtl_synth' -> source index=" as *u8); rn(tp); rw(" (expected 2 = nx_nrtl.nx, which DEFINES it)\n" as *u8) 80 81 // ---- T2: snippet is REAL code containing the token ---- 82 let sn_has: i64=find_first(((docs[tp] as i64)+off) as *u8, snlen, qstr, qn) 83 total=total+1; if off>=0 { if sn_has>=0 { pass=pass+1; rw(" [PASS] " as *u8) } else { rw(" [FAIL] " as *u8) } } else { rw(" [FAIL] " as *u8) } 84 rw("T2 SNIPPET IS REAL CODE: cited snippet (read live) contains 'nrtl_synth' = truly-private content, not described\n" as *u8) 85 86 // ---- T3: determinism ---- 87 let s2: *i64=sys_mmap(8*8) as *i64; var tp2: i64=0; var b2: i64=0-1 88 i=0; while i<ND { s2[i]=tf_count(docs[i] as *u8, dlens[i], qstr, qn); if s2[i]>b2 { b2=s2[i]; tp2=i } i=i+1 } 89 total=total+1; if tp2==tp { if b2==best { pass=pass+1; rw(" [PASS] " as *u8) } else { rw(" [FAIL] " as *u8) } } else { rw(" [FAIL] " as *u8) } 90 rw("T3 DETERMINISM: identical query -> identical top source + score\n" as *u8) 91 92 // ---- T4: private exceed -- the retrieved file is our .nx implementation (read from disk, len>0) ---- 93 total=total+1; if dlens[tp]>0 { pass=pass+1; rw(" [PASS] " as *u8) } else { rw(" [FAIL] " as *u8) } 94 rw("T4 PRIVATE EXCEED: retrieved our .nx source (" as *u8); rn(dlens[tp]); rw(" bytes) -- deep-research structurally CANNOT access our codebase\n" as *u8) 95 96 rw("CODE-GATE verdict=" as *u8) 97 if pass==total { rw("GREEN passes=" as *u8); rn(pass); rw("/" as *u8); rn(total); rw(" (source-level retrieval from our private codebase, cited with real code, deterministic)\n" as *u8); sys_exit(0); return 0 } 98 rw("RED passes=" as *u8); rn(pass); rw("/" as *u8); rn(total); rw("\n" as *u8); sys_exit(1); return 1 99}