Type a ticker. Deterministic code computes every number; an LLM only explains; a verifier stands between them and you.