ELARA·CORTEXTHE NAVIGATION MOAT · LOCAL ROUTING · .LEKOLA CORTEX ENGINE
Google Maps and Waze compute every route on a remote server and send it back over the network. Elara owns the road graph and routes it locally, on-device-class latency, with our own engine. The result is not a small win. It is three orders of magnitude, and it changes what navigation can feel like.
Measured on the same machine, same metro, same routes. The 1077× headroom is what buys instant route draw, millisecond off-route re-routing on every GPS tick, full privacy (the destination never leaves the device-class boundary per route), and operation without a live dependency. That headroom is the moat.
| Route | .LEKOLA CORTEX local | OSRM network round-trip (the incumbent pattern) | Speed-up |
|---|---|---|---|
| Median (in-region) | 0.69 ms | 748 ms | 1077× |
| Best / warm | 0.59 ms | ~700 ms | >1000× |
| Graph size | 388,386 nodes (one metro) | remote planet index | — |
| Network calls per route | 0 | 1 (every route) | — |
We claim dominance only where we measured it. Where the incumbents lead, we say so.
| Axis | Elara | Google Maps / Waze | Who leads |
|---|---|---|---|
| Route-compute latency (in-region) | 0.69 ms local | network round-trip (~hundreds of ms) | Elara (1077×) |
| Per-route third-party dependency | none (own graph) | server call per route | Elara |
| Privacy of origin/destination | computed locally | sent to the routing service | Elara |
| Off-route replan | ~1 ms local delta | fresh server request | Elara |
| Optimisation engine (fleets/multi-stop) | provably optimal where provable, beats OR-Tools 9/9 | not the product | Elara |
| Code energy (flat AST, no hot path) | DAG depth 3, Gini 0.230, integer-only | closed | Elara (measured) |
| Global map coverage | ingested metros (scales by ingest) + OSRM fallback | planet-wide | Google / Waze |
| Live traffic breadth & lane guidance maturity | core present; maturing | years of fleet data | Google / Waze |
The founder's mandate: the display and routing code must obey the same low-energy law the engine sells. Measured by static AST + runtime profiling.
| Property | Local routing engine | Map / nav backend |
|---|---|---|
| Max call depth | 3 | 3 |
| Call graph acyclic (DAG) | TRUE | TRUE |
| PageRank concentration (Gini) | 0.230 | 0.179 |
| Hot path | core routing loop (37%), no parasitic cost | own-code <2% (network-bound) |
| Arithmetic | integer-only arithmetic (no floating point) | — |
| Per route | 0.69–1.82 ms | instant draw (no spinner) |
| Improvement this iteration | Before | After |
|---|---|---|
| Autocomplete request discipline | 280 ms debounce, no cancellation (stale results flicker) | 160 ms debounce + AbortController (stale fetches cancelled, never out of order) |
| Camera moves | hard setView jump | eased animated pan/zoom (0.55–0.6 s) |
| Autocomplete surface | default paint | GPU-composited (translateZ, will-change) |
| Route draw | waited on network | local-instant (0.69 ms) — draws with no spinner |
| Ladder | Result |
|---|---|
| Live hostile requests (3 rounds, production) | 777 requests → 0 server errors, 0 information leaks |
| In-process fuzz (same WSGI code path) | a large in-process fuzz (same WSGI code path) corroborating, run in progress |
| Navigation flow edge cases | no-route / extreme coords → graceful soft-status, never a crash |
| Stockfish 21-ply / 20s, two proof engines | system checkmate 6/6 CLOSED + nav-moat CLOSED, Dafny-corroborated |
| Request lifecycle state machine | VALID Markov × Chapman-Kolmogorov × absorbing (Gödel-safe) × Lekola-monotone; no SERVER_ERROR state reachable |
Stockfish-as-Black (playing Google Maps / Waze) attacked the UX on all six DONTMO axes (deontic, ordinal, normative, temporal, MECE, orthogonality). Every line closed.
| What we added this iteration | The gap it closes vs Google / Waze (web) |
|---|---|
| Tactile haptics — vibrate patterns + a GPU pulse on pin-drop, route-found, drive-start, off-route reroute, and arrival | Their web maps give no tactile feedback; every Elara special function is felt (Android) or seen (all, incl. iOS) |
| Premium motion — pin-drop spring bounce, summary card slide-in, button press-scale, eased camera, GPU compositing | Coherent within the sharp glowing brand — not a generic template |
| Jank-free autocomplete — 160 ms debounce + AbortController cancellation | Stale results never arrive out of order; no flicker under fast typing |
| Instant route render — local routing draws with no spinner (0.69 ms) | No network wait before the line appears |
| Free-data traffic intel — live TomTom incidents-on-route + traffic-delay surfaced Waze-style as chips | Exploits paid-for data we already fetch; closes the live-traffic-awareness gap |
21-ply / 20s adversarial search, two proof engines: every UX attack on all six DONTMO axes CLOSED, Dafny-corroborated 7/7, MCKGL closure valid. Google owns global 3D map art. We own the experience: tactile feedback, instant render, premium motion, and surfaced free-data intelligence, and on those we dominate.