nx_vec_embed_gate.nx source

1// nx_vec_embed_gate.nx -- gate for R-VEC-1 (nx_vec_embed): proves sovereign distributional semantics on a 2// controlled corpus -- related terms score high cosine, cross-domain terms score 0. expect_exit: 0 3import "nx_syscalls.nx" 4import "nx_vec_kernel.nx" 5import "nx_vec_embed.nx" 6 7func ve_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 ve_pn(v: i64) -> i64 { let bb: *u8=sys_mmap(28); var m: i64=v; if m<0{m=0-m;sys_write(1,"-" as *u8,1)}; 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 ve_w(fd: i64, s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(fd,s,n); return 0 } 10func ve_wn(fd: i64, 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(fd,bb,k); return 0 } 11 12func main() -> i64 { 13 ve_puts("=== R-VEC-1 SOVEREIGN EMBEDDINGS -- distributional semantics via co-occurrence + kernel ===\n" as *u8) 14 let M: *i64=sys_mmap(8*VE_V*VE_V) as *i64 15 var z: i64=0; while z<VE_V*VE_V { M[z]=0; z=z+1 } 16 let s1: *i64=sys_mmap(8*8) as *i64; s1[0]=0;s1[1]=1;s1[2]=2;s1[3]=3;s1[4]=4; ve_build_co(M,s1,5) // divorce family 17 let s2: *i64=sys_mmap(8*8) as *i64; s2[0]=1;s2[1]=2;s2[2]=5;s2[3]=0; ve_build_co(M,s2,4) 18 let s3: *i64=sys_mmap(8*8) as *i64; s3[0]=6;s3[1]=7;s3[2]=8;s3[3]=9;s3[4]=10; ve_build_co(M,s3,5) // estate 19 let s4: *i64=sys_mmap(8*8) as *i64; s4[0]=7;s4[1]=8;s4[2]=6;s4[3]=11; ve_build_co(M,s4,4) 20 let s5: *i64=sys_mmap(8*8) as *i64; s5[0]=12;s5[1]=13;s5[2]=14;s5[3]=15;s5[4]=16; ve_build_co(M,s5,5) // injury 21 22 let c_dc: i64=vr_cos_milli(vr_embed(M,0), vr_embed(M,1), VE_V) 23 let c_de: i64=vr_cos_milli(vr_embed(M,0), vr_embed(M,7), VE_V) 24 let c_we: i64=vr_cos_milli(vr_embed(M,6), vr_embed(M,7), VE_V) 25 let c_wi: i64=vr_cos_milli(vr_embed(M,6), vr_embed(M,12), VE_V) 26 let dDiv: *i64=sys_mmap(8*VE_V) as *i64; ve_docvec(M, s1, 5, dDiv) 27 let dEst: *i64=sys_mmap(8*VE_V) as *i64; ve_docvec(M, s3, 5, dEst) 28 let qC: *i64=vr_embed(M,1) 29 let c_qDiv: i64=vr_cos_milli(qC, dDiv, VE_V) 30 let c_qEst: i64=vr_cos_milli(qC, dEst, VE_V) 31 32 ve_puts(" cos(divorce,custody)=" as *u8); ve_pn(c_dc); ve_puts(" cos(divorce,estate)=" as *u8); ve_pn(c_de); ve_puts("\n" as *u8) 33 ve_puts(" cos(will,estate)=" as *u8); ve_pn(c_we); ve_puts(" cos(will,injury)=" as *u8); ve_pn(c_wi); ve_puts("\n" as *u8) 34 ve_puts(" query custody: cos(docDivorce)=" as *u8); ve_pn(c_qDiv); ve_puts(" cos(docEstate)=" as *u8); ve_pn(c_qEst); ve_puts("\n" as *u8) 35 36 var pass: i64=0; var total: i64=0 37 total=total+1; ve_puts(" T1 related>cross (divorce: custody>estate) " as *u8); if c_dc>c_de { pass=pass+1; ve_puts("PASS\n" as *u8) } else { ve_puts("FAIL\n" as *u8) } 38 total=total+1; ve_puts(" T2 relatedness is strong (divorce~custody>300)" as *u8); if c_dc>300 { pass=pass+1; ve_puts("PASS\n" as *u8) } else { ve_puts("FAIL\n" as *u8) } 39 total=total+1; ve_puts(" T3 related>cross (will: estate>injury) " as *u8); if c_we>c_wi { pass=pass+1; ve_puts("PASS\n" as *u8) } else { ve_puts("FAIL\n" as *u8) } 40 total=total+1; ve_puts(" T4 neg-control cross-domain==0 (divorce/estate)" as *u8); if c_de==0 { pass=pass+1; ve_puts("PASS\n" as *u8) } else { ve_puts("FAIL\n" as *u8) } 41 total=total+1; ve_puts(" T5 doc retrieval by meaning (custody->divorce) " as *u8); if c_qDiv>c_qEst { pass=pass+1; ve_puts("PASS\n" as *u8) } else { ve_puts("FAIL\n" as *u8) } 42 43 ve_puts("----\nVEC-EMBED gate " as *u8); ve_pn(pass); ve_puts("/" as *u8); ve_pn(total); ve_puts(" passed\n" as *u8) 44 ve_puts("HONEST: classical co-occurrence distributional semantics (mechanism proven on a controlled corpus),\n" as *u8) 45 ve_puts(" NOT neural understanding -- the neural cross-encoder stays census-BEHIND (R-VEC-6).\n" as *u8) 46 let lg: i64=sys_openat_append("knowledge/status/vec_embed_gate.log" as *u8, 0x1a4) 47 if lg>=0 { ve_w(lg, "R-VEC-1 vec_embed gate pass=" as *u8); ve_wn(lg, pass); ve_w(lg, "/" as *u8); ve_wn(lg, total); ve_w(lg, " cos_divorce_custody=" as *u8); ve_wn(lg, c_dc); if pass==total { ve_w(lg, " GREEN\n" as *u8) } else { ve_w(lg, " RED\n" as *u8) } sys_close(lg) } 48 if pass==total { ve_puts("R-VEC-1 GREEN (sovereign distributional embeddings proven)\n" as *u8); sys_exit(0); return 0 } 49 ve_puts("R-VEC-1 RED\n" as *u8); sys_exit(1); return 1 50}