Skip to main content

LocateTile internals

This section explains the formal, normative design of LocateTile v1:

  • explicit celestial model (WGS‑84 ellipsoid)
  • fixed-point geodetic inputs (SCALE = 2^32)
  • deterministic quotient–remainder mapping to (ix, iy)
  • unambiguous boundary semantics
  • ZK-friendly integer-only constraints

If you are implementing LocateTile for production, you should treat the Mapping Specification as the source of truth and use this section as a guided explanation.