GAVEL is a framework for verifying and repairing long-horizon LLM planning through an explicit graph world model. This model predicts the consequences of LLM-generated actions, detects violations, and repairs errors by following the world model. GAVEL improves single-task success by 50.6% and multi-task success by 72.7% compared to baseline LLMs.