← back to the game

Server source

Everything the browser talks to, published so the measurement can be read, not believed. Secrets come from the server environment; none are in these files.

• README.md — what each file does and how to check the two claims yourself
• proxy.py — the only server process; the model is reached in one function and counted there
• route_core.py — the route language: grammar, engine, level 1, maps without ties
• handler_tail.py — device-side entry point of the handler
• build_registrar.py — builds the registrar and the handler sha256
• demo_register_route.fython — the registrar as deployed

Check: run curl -s https://extella.kz/api/robot/state, then a run through the page, and compare handler_sha with the sha256 of the handler text without its HANDLER_SHA line.