nx_geo_places_gate.nx source

1// nx_geo_places_gate.nx -- GATE for GEO-021 fuzzy places-search (Levenshtein). Proves: 2// levenshtein : "kitten"->"sitting" == 3 (classic), exact == 0, ""->"abc" == 3, "Tokio"->"Tokyo" == 1 3// fuzzy_best : over gazetteer {Chicago, London, Tokyo}: query "Londn" -> idx 1 (London), dist 1; 4// query "Tokyo" -> idx 2 (Tokyo), dist 0 5// 6// Evidence -> knowledge/status/geo_places.log (GEOPLACESGATE authored=organ ... verdict=GREEN). 7// license_tier: ORIGINAL 8import "nx_geo_places.nx" 9import "nx_syscalls.nx" 10import "nx_gate_verdict.nx" 11 12const GP_LOG: *u8 = "knowledge/status/geo_places.log" 13 14func gp_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 } 15func gp_wn(fd: i64, v: i64) -> i64 { let bb: *u8 = sys_mmap(28); var m: i64=v; if m<0 {m=0-m; sys_write(fd,"-" as *u8,1)}; 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)) 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 } 16 17// append NUL-terminated s to dst at offset off; return offset after the written NUL. 18func gp_cat(dst: *u8, off: i64, s: *u8) -> i64 { 19 var i: i64 = 0 20 while s[i] != (0 as u8) { dst[off + i] = s[i]; i = i + 1 } 21 dst[off + i] = 0 as u8 22 return off + i + 1 23} 24 25func gp_emit(fd: i64, lk: i64, le: i64, lz: i64, lt: i64, fidx: i64, fdist: i64, tidx: i64, tdist: i64, ok: i64) -> i64 { 26 gp_w(fd, "GEOPLACESGATE authored=organ method=levenshtein kitten_sitting=" as *u8); gp_wn(fd, lk) 27 gp_w(fd, " exact=" as *u8); gp_wn(fd, le) 28 gp_w(fd, " abc_abcd=" as *u8); gp_wn(fd, lz) 29 gp_w(fd, " tokio_tokyo=" as *u8); gp_wn(fd, lt) 30 gp_w(fd, " londn_idx=" as *u8); gp_wn(fd, fidx) 31 gp_w(fd, " londn_dist=" as *u8); gp_wn(fd, fdist) 32 gp_w(fd, " tokyo_idx=" as *u8); gp_wn(fd, tidx) 33 gp_w(fd, " tokyo_dist=" as *u8); gp_wn(fd, tdist) 34 if ok == 1 { gp_w(fd, " verdict=GREEN\n" as *u8) } else { gp_w(fd, " verdict=RED\n" as *u8) } 35 return 0 36} 37 38func main() -> i64 { 39 let lk: i64 = geo_levenshtein("kitten" as *u8, "sitting" as *u8) // 3 40 let le: i64 = geo_levenshtein("Tokyo" as *u8, "Tokyo" as *u8) // 0 41 let lz: i64 = geo_levenshtein("abc" as *u8, "abcd" as *u8) // 1 (one insertion) 42 let lt: i64 = geo_levenshtein("Tokio" as *u8, "Tokyo" as *u8) // 1 43 44 // build gazetteer name list "Chicago\0London\0Tokyo\0\0" 45 let nl: *u8 = sys_mmap(256) 46 var o: i64 = 0 47 o = gp_cat(nl, o, "Chicago" as *u8) 48 o = gp_cat(nl, o, "London" as *u8) 49 o = gp_cat(nl, o, "Tokyo" as *u8) 50 nl[o] = 0 as u8 // double-NUL terminator 51 52 let dist: *i64 = sys_mmap(8) as *i64 53 let offv: *i64 = sys_mmap(8) as *i64 54 let fidx: i64 = geo_fuzzy_best("Londn" as *u8, nl, dist, offv) // idx 1, dist 1 55 let fdist: i64 = dist[0] 56 let tidx: i64 = geo_fuzzy_best("Tokyo" as *u8, nl, dist, offv) // idx 2, dist 0 57 let tdist: i64 = dist[0] 58 59 var ok: i64 = 1 60 if lk != 3 { ok = 0 } 61 if le != 0 { ok = 0 } 62 if lz != 1 { ok = 0 } 63 if lt != 1 { ok = 0 } 64 if fidx != 1 { ok = 0 } 65 if fdist != 1 { ok = 0 } 66 if tidx != 2 { ok = 0 } 67 if tdist != 0 { ok = 0 } 68 69 gp_emit(1, lk, le, lz, lt, fidx, fdist, tidx, tdist, ok) 70 let lf: i64 = sys_openat_append(GP_LOG, 420) 71 if lf >= 0 { gp_emit(lf, lk, le, lz, lt, fidx, fdist, tidx, tdist, ok); sys_close(lf) } 72 73 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 74 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 75 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 76 let ctr__dry: *i64 = gv_ctr() 77 ctr__dry[0] = ok 78 ctr__dry[1] = 1 79 let rc__dry: i64 = gv_verdict("GEO-PLACES-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8) 80 sys_exit(rc__dry) 81 return rc__dry 82}