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" 11 12const GL_LOG: *u8 = "knowledge/status/geo_los.log" 13 14func 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 } 15func 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 } 16 17func gl_emit(fd: i64, vis_low: i64, blk: i64, vis_high: i64, vis_flat: i64, ok: i64) -> i64 { 18 gl_w(fd, "GEOLOSGATE authored=organ method=integer-sightline-dem visible_loweye=" as *u8); gl_wn(fd, vis_low) 19 gl_w(fd, " blocker_idx=" as *u8); gl_wn(fd, blk) 20 gl_w(fd, " visible_higheye=" as *u8); gl_wn(fd, vis_high) 21 gl_w(fd, " visible_flat=" as *u8); gl_wn(fd, vis_flat) 22 if ok == 1 { gl_w(fd, " verdict=GREEN\n" as *u8) } else { gl_w(fd, " verdict=RED\n" as *u8) } 23 return 0 24} 25 26func main() -> i64 { 27 // DEM with a hill: index 0..6, peak 10 at index 3. 28 let dem: *i64 = sys_mmap(8 * 7) as *i64 29 dem[0] = 0; dem[1] = 0; dem[2] = 0; dem[3] = 10; dem[4] = 0; dem[5] = 0; dem[6] = 0 30 31 let vis_low: i64 = geo_line_of_sight(dem, 6, 1, 1) // eyes 1 -> blocked 32 let blk: i64 = geo_los_blocker(dem, 6, 1, 1) // 3 33 let vis_high: i64 = geo_line_of_sight(dem, 6, 20, 20) // eyes 20 -> visible over the hill 34 35 // flat DEM: no obstruction. 36 let flat: *i64 = sys_mmap(8 * 7) as *i64 37 flat[0] = 0; flat[1] = 0; flat[2] = 0; flat[3] = 0; flat[4] = 0; flat[5] = 0; flat[6] = 0 38 let vis_flat: i64 = geo_line_of_sight(flat, 6, 1, 1) // visible 39 40 var ok: i64 = 1 41 if vis_low != 0 { ok = 0 } 42 if blk != 3 { ok = 0 } 43 if vis_high != 1 { ok = 0 } 44 if vis_flat != 1 { ok = 0 } 45 46 gl_emit(1, vis_low, blk, vis_high, vis_flat, ok) 47 let lf: i64 = sys_openat_append(GL_LOG, 420) 48 if lf >= 0 { gl_emit(lf, vis_low, blk, vis_high, vis_flat, ok); sys_close(lf) } 49 50 if ok == 1 { return 0 } 51 return 1 52}