Deterministic enforcement for LLM reasoning quality. Nine tools that catch confidence inflation, circular logic, fabricated numbers, arithmetic errors, and concurrency hazards — before they reach production. No LLM calls in enforcement logic. No configuration. No API keys. Runs locally.