diff --git a/files/TODOs.md b/files/TODOs.md
index 05803bd8..3ac93bde 100644
--- a/files/TODOs.md
+++ b/files/TODOs.md
@@ -1,53 +1,3 @@
-# PR-4.6 — Verifier Error Model Consolidation
-
-### Briefing
-
-Verifier errors must be deterministic, structured, and clearly separated from runtime traps.
-
-### Target
-
-* Introduce a coherent verifier error model.
-
-### Work items
-
-* Define a `VerifierError` enum covering:
-
-  * Stack underflow.
-  * Stack overflow.
-  * Invalid jump target.
-  * Invalid function boundary.
-  * Return slot mismatch.
-* Ensure verifier returns structured errors.
-* Update tests to expect structured errors.
-
-### Acceptance checklist
-
-* [ ] Verifier errors are structured and deterministic.
-* [ ] No reliance on runtime traps for verifier failures.
-* [ ] `cargo test` passes.
-
-### Tests
-
-* Update existing tests to assert specific verifier errors.
-
-### Junie instructions
-
-**You MAY:**
-
-* Introduce a new verifier error enum.
-* Refactor error returns.
-
-**You MUST NOT:**
-
-* Map verifier errors to runtime traps.
-* Change runtime trap behavior.
-
-**If unclear:**
-
-* Ask before merging or renaming error categories.
-
----
-
 # PR-4.7 — Verifier Golden Test Suite
 
 ### Briefing