Geometry as a Blockchain Invariant: How We Run SAT Collision Detection On-Chain
Computational geometry is the last thing you'd put inside a smart contract. It's complex, it's expensive, and conventional wisdom says handle it off-chain: run the collision check in your backend, then submit a transaction only if it passes. Keep the chain lean. Keep the math elsewhere.
merca.earth does the opposite. The Separating Axis Theorem — a full convex-polygon collision algorithm — runs inside every parcel registration. On-chain. In integer arithmetic. Without floating-point.
This isn't a performance stunt. It's the only way to make the non-overlap guarantee unconditional. Here's why.