code wiki / geo
topic: geo
52 modules sharing the geo name family (derived from the tree's prefix discipline).
The 'geo' topic family in the Nishi sovereign ecosystem provides precise geospatial tools for integer-exact calculations, foundational for hardware-based geofencing and spatial analysis. Modules like nx_geo_area compute polygon area and orientation using the shoelace formula, while nx_geo_buffer measures offset distances through Minkowski sums, enabling accurate spatial expansion. nx_geo_centroid offers two methods to determine polygon centers, supporting robust spatial reasoning. These modules interoperate to deliver reliable, waveless geospatial data for secure and deterministic applications.
auto-narrated by the local model from this topic's module headers; links verified against the wiki index.
narrated overview -- maintained by the narration lane, module links verified against this wiki.
| module | description | lines | funcs |
|---|---|---|---|
| nx_geo.nx | LIB: sovereign INTEGER-EXACT geofencing primitives. The hardware-rung-up foundation | 151 | 7 |
| nx_geo_area.nx | LIB: GEO-010 polygon AREA + ORIENTATION, INTEGER-EXACT (shoelace / Gauss). | 52 | 3 |
| nx_geo_area_gate.nx | GATE for GEO-010 polygon area + orientation (integer-exact shoelace). Proves: | 92 | 5 |
| nx_geo_buffer.nx | LIB: GEO-017 BUFFER / OFFSET MEASURE (Minkowski sum of a convex polygon with a | 37 | 2 |
| nx_geo_buffer_gate.nx | GATE for GEO-017 buffer/offset measure. Polygon = square side 4e6 | 50 | 6 |
| nx_geo_census.nx | GATE + CENSUS for GEO-004: the MEASURED-exceed scoreboard (no-wave). Twin of | 165 | 10 |
| nx_geo_centroid.nx | LIB: GEO-011 POLYGON CENTROID, two integer-exact variants. | 59 | 2 |
| nx_geo_centroid_gate.nx | GATE for GEO-011 polygon centroid. Polygon = the 6e5 square with an EXTRA | 56 | 5 |
| nx_geo_clip.nx | LIB: GEO-015 POLYGON INTERSECTION (Sutherland-Hodgman convex clip). | 96 | 4 |
| nx_geo_clip_gate.nx | GATE for GEO-015 polygon intersection (Sutherland-Hodgman). Subject = the | 77 | 6 |
| nx_geo_distance.nx | LIB: GEO-003 geodesic DISTANCE in meters (equirectangular). Hardware-up: | 32 | 1 |
| nx_geo_distance_gate.nx | GATE for GEO-003 equirectangular distance. Proves on KATs: | 57 | 5 |
| nx_geo_eqarea.nx | GEO-005 (other half): EQUAL-AREA cells, the fix for the geohash's CELL-SIZE | 74 | 4 |
| nx_geo_gate.nx | GATE (runnable) for the integer-exact geofence floor (nx_geo). Proves: | 103 | 5 |
| nx_geo_geocode.nx | LIB: GEO-006 geocoding (address/place <-> coordinate). Sovereign: the place | 85 | 6 |
| nx_geo_geocode_gate.nx | GATE for GEO-006 geocoding. Seeds a place gazetteer into the SOVEREIGN | 98 | 5 |
| nx_geo_h3.nx | LIB: GEO-018 H3-CLASS HEXAGONAL grid index in CUBE coordinates. A hex cell is | 63 | 7 |
| nx_geo_h3_gate.nx | GATE for GEO-018 H3-class hexagonal cell index. Proves correctness AND the | 103 | 4 |
| nx_geo_haversine.nx | LIB: GEO-003b GREAT-CIRCLE distance (haversine), the PRECISION REFINEMENT of | 57 | 2 |
| nx_geo_haversine_gate.nx | GATE for GEO-003b great-circle (haversine) distance. Proves: | 65 | 6 |
| nx_geo_hilbert.nx | GEO-005: Hilbert space-filling-curve cell ordering, the S2/H3 superiority | 143 | 8 |
| nx_geo_hull.nx | LIB: GEO-012 CONVEX HULL (Andrew's monotone chain), INTEGER-EXACT. | 102 | 3 |
| nx_geo_hull_gate.nx | GATE for GEO-012 convex hull (integer-exact monotone chain). Input: the 4 | 90 | 5 |
| nx_geo_join.nx | LIB: GEO-013 SPATIAL JOIN (point-in-which-polygon), INTEGER-EXACT. The PostGIS | 64 | 3 |
| nx_geo_join_gate.nx | GATE for GEO-013 spatial join. Pool of 2 disjoint squares (A near origin, | 67 | 5 |
| nx_geo_los.nx | LIB: GEO-022 LINE-OF-SIGHT / viewshed over a terrain elevation profile (DEM). | 37 | 2 |
| nx_geo_los_gate.nx | GATE for GEO-022 line-of-sight over a seeded DEM transect (7 samples, n=6, | 52 | 4 |
| nx_geo_mapsvg.nx | GEO-007: the SOVEREIGN MAP SURFACE. Renders real geo data (gazetteer cities, | 115 | 5 |
| nx_geo_match.nx | LIB: GEO-023 MAP-MATCHING (snap a noisy GPS fix to a road network). | 65 | 4 |
| nx_geo_match_gate.nx | GATE for GEO-023 map-matching. Seeded road graph: edge0 = horizontal road | 59 | 4 |
| nx_geo_osmrender.nx | GEO-007 the REAL map engine: renders ACTUAL OpenStreetMap geography | 254 | 12 |
| nx_geo_places.nx | LIB: GEO-021 PLACES-SEARCH (fuzzy / typo-tolerant place lookup) via sovereign | 61 | 4 |
| nx_geo_places_gate.nx | GATE for GEO-021 fuzzy places-search (Levenshtein). Proves: | 74 | 5 |
| nx_geo_query.nx | LIB: GEO-009 spatial QUERY primitives, composing the rungs below. | 87 | 4 |
| nx_geo_query_gate.nx | GATE for GEO-009 spatial query. Proves: | 71 | 6 |
| nx_geo_raster.nx | LIB: GEO-020 RASTER RENDER (integer scanline polygon fill, even-odd rule). | 76 | 2 |
| nx_geo_raster_gate.nx | GATE for GEO-020 raster render (integer scanline fill) on an 8x8 grid: | 68 | 5 |
| nx_geo_route.nx | LIB: GEO-008 routing -- INTEGER-EXACT Dijkstra shortest path on a weighted | 74 | 3 |
| nx_geo_route_gate.nx | GATE for GEO-008 routing. A baked 5-node weighted graph where the OPTIMAL | 78 | 5 |
| nx_geo_s2.nx | LIB: GEO-005 S2-CLASS CELL INDEX via the HILBERT space-filling curve. The real | 95 | 4 |
| nx_geo_s2_gate.nx | GATE for GEO-005 Hilbert (S2-class) cell index, on an 8x8 grid (k=3, 64 cells). | 92 | 5 |
| nx_geo_segint.nx | LIB: GEO-015b SEGMENT-SEGMENT INTERSECTION primitive (the building block for | 62 | 2 |
| nx_geo_segint_gate.nx | GATE for GEO-015b segment-segment intersection. Covers all 4 cases: | 62 | 4 |
| nx_geo_simplify.nx | LIB: GEO-014 LINE SIMPLIFY (Douglas-Peucker), DETERMINISTIC INTEGER ARITH. | 90 | 3 |
| nx_geo_simplify_gate.nx | GATE for GEO-014 line simplify (Douglas-Peucker, integer). A 5-vertex | 66 | 5 |
| nx_geo_tiles.nx | LIB: GEO-019 VECTOR/RASTER TILE addressing (sovereign slippy z/x/y scheme). | 52 | 4 |
| nx_geo_tiles_gate.nx | GATE for GEO-019 geodetic z/x/y tiles. Proves: | 68 | 4 |
| nx_geo_union.nx | LIB: GEO-016 POLYGON UNION + INTERSECTION MEASURE (set algebra on areas). | 46 | 3 |
| nx_geo_union_gate.nx | GATE for GEO-016 polygon union/intersection measure (inclusion-exclusion). | 61 | 6 |
| nx_geo_wasm.nx | GEO-024h: sovereign Web-Mercator projection compiled to WASM for the Nishi Maps | 63 | 5 |
| nx_geo_webmerc.nx | LIB: GEO-019b WEB-MERCATOR (EPSG:3857) slippy z/x/y tiles -- the web de-facto | 52 | 2 |
| nx_geo_webmerc_gate.nx | GATE for GEO-019b Web-Mercator tiles. Proves the projection against known | 56 | 4 |