nx_cms_search_gate.nx source

1// nx_cms_search_gate.nx -- CMS SITE-SEARCH gate (W-RE: land a missing class HONESTLY). The team's BM25 2// (nx_bm25) is proven to beat FTS5; this gates it AS A CMS CAPABILITY: ranked retrieval over the 3// andelinwest practice corpus, 3 queries must each land the RIGHT page. Writes the gated evidence 4// (CMSGATE ... site-search ... verdict=PASS) to knowledge/status/cms_gate.log ONLY on a genuine 3/3 -- 5// so nx_cms_census flips site-search PRESENT on real evidence, never a fake-green. license_tier: ORIGINAL 6import "nx_bm25.nx" 7import "nx_syscalls.nx" 8 9func sg_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } 10func sg_len(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n } 11func sg_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 13func main() -> i64 { 14 let N: i64 = 6 15 let ptrs: *i64 = sys_mmap(8*N) as *i64 16 let lens: *i64 = sys_mmap(8*N) as *i64 17 let dls: *i64 = sys_mmap(8*N) as *i64 18 ptrs[0]="family law custody divorce child support alimony parenting" as *u8 as i64 19 ptrs[1]="estate planning wills trusts probate inheritance executor" as *u8 as i64 20 ptrs[2]="business law llc corporation formation contracts operating agreement" as *u8 as i64 21 ptrs[3]="real estate property title boundary purchase landlord tenant lease" as *u8 as i64 22 ptrs[4]="personal injury auto accident premises negligence damages" as *u8 as i64 23 ptrs[5]="criminal defense dui expungement misdemeanor record charges" as *u8 as i64 24 var tot: i64 = 0; var i: i64 = 0 25 while i < N { lens[i] = sg_len((ptrs[i]) as *u8); dls[i] = bm_token_count((ptrs[i]) as *u8, lens[i]); tot = tot + dls[i]; i = i + 1 } 26 let avgdl: i64 = tot / N 27 28 let q1: *i64 = sys_mmap(8) as *i64; q1[0]="probate" as *u8 as i64 29 let q2: *i64 = sys_mmap(8) as *i64; q2[0]="custody" as *u8 as i64 30 let q3: *i64 = sys_mmap(8) as *i64; q3[0]="llc" as *u8 as i64 31 let b1: i64 = bm_best(ptrs, lens, dls, N, avgdl, q1, 1) 32 let b2: i64 = bm_best(ptrs, lens, dls, N, avgdl, q2, 1) 33 let b3: i64 = bm_best(ptrs, lens, dls, N, avgdl, q3, 1) 34 var c: i64 = 0 35 if b1 == 1 { c = c + 1 } 36 if b2 == 0 { c = c + 1 } 37 if b3 == 2 { c = c + 1 } 38 sg_puts("CMS-SEARCH-GATE bm25 ranked retrieval correct=" as *u8); sg_num(c); sg_puts("/3 (probate->Estate, custody->Family, llc->Business)\n" as *u8) 39 40 if c == 3 { 41 let gf: i64 = sys_openat_append("knowledge/status/cms_gate.log" as *u8, 0x1a4) 42 if gf >= 0 { 43 let line: *u8 = "CMSGATE row=nx_cms_search site-search docs=6 queries=3 pass=3 verdict=PASS\n" as *u8 44 sys_write(gf, line, sg_len(line)); sys_close(gf) 45 } 46 sg_puts("CMS-SEARCH-GATE verdict=PASS -- site-search recorded in cms_gate.log (real ranked retrieval)\n" as *u8) 47 sys_exit(0); return 0 48 } 49 sg_puts("CMS-SEARCH-GATE verdict=FAIL -- ranking off, NOT recorded (no fake-green)\n" as *u8) 50 sys_exit(1); return 1 51}