nx_geo_geocode_gate.nx source

1// nx_geo_geocode_gate.nx -- GATE for GEO-006 geocoding. Seeds a place gazetteer into the SOVEREIGN 2// STORE (knowledge/store/geo-*, off-tsv), reads it back, and proves: 3// FORWARD : "London" -> its coords; "tokyo" (lowercase) -> Tokyo (case-insensitive); "Atlantis" -> miss 4// REVERSE : NYC coords -> "New York" (index 0); a point near Tokyo -> Tokyo (reuses GEO-009 nearest) 5// 6// Evidence -> knowledge/status/geo_geocode.log (GEOCODEGATE authored=organ ... verdict=GREEN). 7// license_tier: ORIGINAL 8import "nx_geo_geocode.nx" 9import "nx_geo_query.nx" 10import "nx_seg_store.nx" 11import "nx_syscalls.nx" 12import "nx_gate_verdict.nx" 13 14const GZ_PREFIX: *u8 = "knowledge/store/geo-" 15const GZ_KEY: *u8 = "geogaz:places" 16const GZ_LOG: *u8 = "knowledge/status/geo_geocode.log" 17const GZ_DATA: *u8 = "New York 40712800 -74006000\nLos Angeles 34052200 -118243700\nChicago 41878100 -87629800\nLondon 51507400 -127800\nParis 48856600 2352200\nTokyo 35676200 139650300\nSydney -33868800 151209300\nPhiladelphia 39952600 -75165200\n" 18 19func gg_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 } 20func gg_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 } 21 22func gg_streq_store(val: *u8, vlen: i64) -> i64 { 23 let pq: *i64 = sys_mmap(16) as *i64 24 let lq: *i64 = sys_mmap(16) as *i64 25 if ss_get(GZ_PREFIX, GZ_KEY, pq, lq) != 1 { return 0 } 26 if lq[0] != vlen { return 0 } 27 let b: *u8 = pq[0] as *u8 28 var i: i64 = 0 29 while i < vlen { if b[i] != val[i] { return 0 } i = i + 1 } 30 return 1 31} 32 33func gg_emit(fd: i64, count: i64, fwd_idx: i64, fwd_lat: i64, ci_idx: i64, miss: i64, rev_nyc: i64, rev_tok: i64, ok: i64) -> i64 { 34 gg_w(fd, "GEOCODEGATE authored=organ source=store places=" as *u8); gg_wn(fd, count) 35 gg_w(fd, " forward_London_idx=" as *u8); gg_wn(fd, fwd_idx) 36 gg_w(fd, " forward_London_lat=" as *u8); gg_wn(fd, fwd_lat) 37 gg_w(fd, " forward_ci_tokyo_idx=" as *u8); gg_wn(fd, ci_idx) 38 gg_w(fd, " forward_miss=" as *u8); gg_wn(fd, miss) 39 gg_w(fd, " reverse_nyc_idx=" as *u8); gg_wn(fd, rev_nyc) 40 gg_w(fd, " reverse_tokyo_idx=" as *u8); gg_wn(fd, rev_tok) 41 if ok == 1 { gg_w(fd, " verdict=GREEN\n" as *u8) } else { gg_w(fd, " verdict=RED\n" as *u8) } 42 return 0 43} 44 45func main() -> i64 { 46 let dlen: i64 = gz_len(GZ_DATA) 47 // seed the gazetteer to the sovereign store (idempotent). 48 if gg_streq_store(GZ_DATA, dlen) == 0 { 49 let segs: *i64 = sys_mmap(8 * 260) as *i64 50 let nseg: i64 = ss_manifest(GZ_PREFIX, segs) 51 var segid: i64 = 1 52 if nseg >= 0 { segid = 1 + nseg } 53 let w: *i64 = ss_begin() 54 ss_add(w, 1, GZ_KEY, GZ_DATA, dlen) 55 ss_commit(GZ_PREFIX, w, segid) 56 } 57 58 // read back + parse. 59 let pq: *i64 = sys_mmap(16) as *i64 60 let lq: *i64 = sys_mmap(16) as *i64 61 var count: i64 = 0 62 let pts: *i64 = sys_mmap(8 * 64) as *i64 63 let noff: *i64 = sys_mmap(8 * 32) as *i64 64 let nlen: *i64 = sys_mmap(8 * 32) as *i64 65 var gazp: *u8 = GZ_DATA 66 if ss_get(GZ_PREFIX, GZ_KEY, pq, lq) == 1 { 67 gazp = pq[0] as *u8 68 count = geo_gaz_parse(gazp, lq[0], pts, noff, nlen, 32) 69 } 70 71 // FORWARD: "London" -> idx 3, lat 51507400. 72 let fwd_idx: i64 = geocode_forward(gazp, noff, nlen, count, "London" as *u8) 73 var fwd_lat: i64 = 0 74 if fwd_idx >= 0 { fwd_lat = pts[fwd_idx * 2] } 75 // case-insensitive: "tokyo" -> Tokyo idx 5. 76 let ci_idx: i64 = geocode_forward(gazp, noff, nlen, count, "tokyo" as *u8) 77 // miss: "Atlantis" -> -1. 78 let miss: i64 = geocode_forward(gazp, noff, nlen, count, "Atlantis" as *u8) 79 80 // REVERSE (reuses GEO-009 geo_nearest): NYC exact -> idx 0; near-Tokyo -> idx 5. 81 let rev_nyc: i64 = geo_nearest(40712800, 0 - 74006000, pts, count) 82 let rev_tok: i64 = geo_nearest(35700000, 139700000, pts, count) 83 84 var ok: i64 = 1 85 if count != 8 { ok = 0 } 86 if fwd_idx != 3 { ok = 0 } 87 if fwd_lat != 51507400 { ok = 0 } 88 if ci_idx != 5 { ok = 0 } 89 if miss != 0 - 1 { ok = 0 } 90 if rev_nyc != 0 { ok = 0 } 91 if rev_tok != 5 { ok = 0 } 92 93 gg_emit(1, count, fwd_idx, fwd_lat, ci_idx, miss, rev_nyc, rev_tok, ok) 94 let lf: i64 = sys_openat_append(GZ_LOG, 420) 95 if lf >= 0 { gg_emit(lf, count, fwd_idx, fwd_lat, ci_idx, miss, rev_nyc, rev_tok, ok); sys_close(lf) } 96 97 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 98 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 99 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 100 let ctr__dry: *i64 = gv_ctr() 101 ctr__dry[0] = ok 102 ctr__dry[1] = 1 103 let rc__dry: i64 = gv_verdict("GEO-GEOCODE-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8) 104 sys_exit(rc__dry) 105 return rc__dry 106}