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" 10 11const GP_LOG: *u8 = "knowledge/status/geo_places.log" 12 13func 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 } 14func 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 } 15 16// append NUL-terminated s to dst at offset off; return offset after the written NUL. 17func gp_cat(dst: *u8, off: i64, s: *u8) -> i64 { 18 var i: i64 = 0 19 while s[i] != (0 as u8) { dst[off + i] = s[i]; i = i + 1 } 20 dst[off + i] = 0 as u8 21 return off + i + 1 22} 23 24func gp_emit(fd: i64, lk: i64, le: i64, lz: i64, lt: i64, fidx: i64, fdist: i64, tidx: i64, tdist: i64, ok: i64) -> i64 { 25 gp_w(fd, "GEOPLACESGATE authored=organ method=levenshtein kitten_sitting=" as *u8); gp_wn(fd, lk) 26 gp_w(fd, " exact=" as *u8); gp_wn(fd, le) 27 gp_w(fd, " abc_abcd=" as *u8); gp_wn(fd, lz) 28 gp_w(fd, " tokio_tokyo=" as *u8); gp_wn(fd, lt) 29 gp_w(fd, " londn_idx=" as *u8); gp_wn(fd, fidx) 30 gp_w(fd, " londn_dist=" as *u8); gp_wn(fd, fdist) 31 gp_w(fd, " tokyo_idx=" as *u8); gp_wn(fd, tidx) 32 gp_w(fd, " tokyo_dist=" as *u8); gp_wn(fd, tdist) 33 if ok == 1 { gp_w(fd, " verdict=GREEN\n" as *u8) } else { gp_w(fd, " verdict=RED\n" as *u8) } 34 return 0 35} 36 37func main() -> i64 { 38 let lk: i64 = geo_levenshtein("kitten" as *u8, "sitting" as *u8) // 3 39 let le: i64 = geo_levenshtein("Tokyo" as *u8, "Tokyo" as *u8) // 0 40 let lz: i64 = geo_levenshtein("abc" as *u8, "abcd" as *u8) // 1 (one insertion) 41 let lt: i64 = geo_levenshtein("Tokio" as *u8, "Tokyo" as *u8) // 1 42 43 // build gazetteer name list "Chicago\0London\0Tokyo\0\0" 44 let nl: *u8 = sys_mmap(256) 45 var o: i64 = 0 46 o = gp_cat(nl, o, "Chicago" as *u8) 47 o = gp_cat(nl, o, "London" as *u8) 48 o = gp_cat(nl, o, "Tokyo" as *u8) 49 nl[o] = 0 as u8 // double-NUL terminator 50 51 let dist: *i64 = sys_mmap(8) as *i64 52 let offv: *i64 = sys_mmap(8) as *i64 53 let fidx: i64 = geo_fuzzy_best("Londn" as *u8, nl, dist, offv) // idx 1, dist 1 54 let fdist: i64 = dist[0] 55 let tidx: i64 = geo_fuzzy_best("Tokyo" as *u8, nl, dist, offv) // idx 2, dist 0 56 let tdist: i64 = dist[0] 57 58 var ok: i64 = 1 59 if lk != 3 { ok = 0 } 60 if le != 0 { ok = 0 } 61 if lz != 1 { ok = 0 } 62 if lt != 1 { ok = 0 } 63 if fidx != 1 { ok = 0 } 64 if fdist != 1 { ok = 0 } 65 if tidx != 2 { ok = 0 } 66 if tdist != 0 { ok = 0 } 67 68 gp_emit(1, lk, le, lz, lt, fidx, fdist, tidx, tdist, ok) 69 let lf: i64 = sys_openat_append(GP_LOG, 420) 70 if lf >= 0 { gp_emit(lf, lk, le, lz, lt, fidx, fdist, tidx, tdist, ok); sys_close(lf) } 71 72 if ok == 1 { return 0 } 73 return 1 74}