Runtime Verification — Glossary — ThinkLLM