Zero-token-first routing agent: two small local LLMs run inside the container, wrapped in deterministic verification (math executed, code behaviorally cross-checked, logic solver-proven). Only the weakest answers escalate, under a hard 900-token budget.