State Invariants — Glossary — ThinkLLM