Specification-Guided Reinforcement Learning — Glossary — ThinkLLM