Verifiable Environments — Glossary — ThinkLLM