Execution-Based Verification — Glossary — ThinkLLM