diff --git a/TODO.org b/TODO.org
index 4ce1c9ce..0b8fcdc2 100644
--- a/TODO.org
+++ b/TODO.org
@@ -1646,6 +1646,9 @@ are a dyn vector, except numbers with no common type, which are refused. Rules
 out the first element typing the rest.
 
 * Dev loop
+** TODO eval-in-frame can assign names the program cannot
+A loop index or a pattern binding in a stopped frame takes =x = …= through eval-expr, where
+the program refuses it; only =as= names are marked read-only (=Tast.fn.as_slots=).
 ** WAIT Three dev-session tests fail intermittently under load
 Parked 2026-09-26 until the features land: "a restart accepted with a read queued behind
 it" (test_agent), "a parked session with no main" (test-flan.el), and a connect ENOENT in