nx_geo_los_gate.nx source

1// nx_geo_los_gate.nx -- GATE for GEO-022 line-of-sight over a seeded DEM transect (7 samples, n=6, 2// peak of 10 at index 3). Proves: 3// blocked : flat ground, eyes=1 -> sight-line height 1, peak 10 blocks -> NOT visible, blocker idx 3 4// raised : eyes=20 -> sight-line height 20 > peak 10 -> VISIBLE 5// clear : flat terrain (no peak), eyes=1 -> VISIBLE 6// 7// Evidence -> knowledge/status/geo_los.log (GEOLOSGATE authored=organ ... verdict=GREEN). 8// license_tier: ORIGINAL 9import "nx_geo_los.nx" 10import "nx_syscalls.nx" 11import "nx_gate_verdict.nx" 12 13const GL_LOG: *u8 = "knowledge/status/geo_los.log" 14 15func gl_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 } 16func gl_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 } 17 18func gl_emit(fd: i64, vis_low: i64, blk: i64, vis_high: i64, vis_flat: i64, ok: i64) -> i64 { 19 gl_w(fd, "GEOLOSGATE authored=organ method=integer-sightline-dem visible_loweye=" as *u8); gl_wn(fd, vis_low) 20 gl_w(fd, " blocker_idx=" as *u8); gl_wn(fd, blk) 21 gl_w(fd, " visible_higheye=" as *u8); gl_wn(fd, vis_high) 22 gl_w(fd, " visible_flat=" as *u8); gl_wn(fd, vis_flat) 23 if ok == 1 { gl_w(fd, " verdict=GREEN\n" as *u8) } else { gl_w(fd, " verdict=RED\n" as *u8) } 24 return 0 25} 26 27func main() -> i64 { 28 // DEM with a hill: index 0..6, peak 10 at index 3. 29 let dem: *i64 = sys_mmap(8 * 7) as *i64 30 dem[0] = 0; dem[1] = 0; dem[2] = 0; dem[3] = 10; dem[4] = 0; dem[5] = 0; dem[6] = 0 31 32 let vis_low: i64 = geo_line_of_sight(dem, 6, 1, 1) // eyes 1 -> blocked 33 let blk: i64 = geo_los_blocker(dem, 6, 1, 1) // 3 34 let vis_high: i64 = geo_line_of_sight(dem, 6, 20, 20) // eyes 20 -> visible over the hill 35 36 // flat DEM: no obstruction. 37 let flat: *i64 = sys_mmap(8 * 7) as *i64 38 flat[0] = 0; flat[1] = 0; flat[2] = 0; flat[3] = 0; flat[4] = 0; flat[5] = 0; flat[6] = 0 39 let vis_flat: i64 = geo_line_of_sight(flat, 6, 1, 1) // visible 40 41 var ok: i64 = 1 42 if vis_low != 0 { ok = 0 } 43 if blk != 3 { ok = 0 } 44 if vis_high != 1 { ok = 0 } 45 if vis_flat != 1 { ok = 0 } 46 47 gl_emit(1, vis_low, blk, vis_high, vis_flat, ok) 48 let lf: i64 = sys_openat_append(GL_LOG, 420) 49 if lf >= 0 { gl_emit(lf, vis_low, blk, vis_high, vis_flat, ok); sys_close(lf) } 50 51 // MIGRATED onto nx_gate_verdict by nx_gate_dry_apply (D001, minimal form): every check 52 // row above is untouched, so the PASS/FAIL vector cannot change; only the hand-rolled 53 // verdict emission is replaced by the ONE shared base class. Proven by nx_gate_migrate verify. 54 let ctr__dry: *i64 = gv_ctr() 55 ctr__dry[0] = ok 56 ctr__dry[1] = 1 57 let rc__dry: i64 = gv_verdict("GEO-LOS-GATE" as *u8, ctr__dry, "teeth unchanged; verdict emission migrated onto the shared base class" as *u8) 58 sys_exit(rc__dry) 59 return rc__dry 60}