Region compilation

LocateTile is the execution format; other region types (polygons, H3, S2, GeoJSON) can be treated as semantic regions that compile down to a set of LocateTiles at a chosen fixed level.

Why this exists

• ZK constraint counts benefit from fixed, deterministic execution
• Deterministic compilation improves replayability and dispute resolution
• A canonical manifest can bind inputs, rules, and outputs