Correctness Gating — Glossary — ThinkLLM