diff --git a/TODO.org b/TODO.org
index 91b6fb73..87fae9fa 100644
--- a/TODO.org
+++ b/TODO.org
@@ -637,6 +637,10 @@ of !=.
 
 * Checker
 
+** WAIT A _ body that returns an fn literal
+Refused today; allowing it when the literal writes its parameter types is the
+proposal. Postponed 2026-09-25 while .fln takes priority.
+
 ** DONE The ownership flow analysis is repealed
 CLOSED: [2026-09-18]
 Static use-after-move and double-free checking is gone; types, allocators and the
@@ -1426,6 +1430,11 @@ out the first element typing the rest.
 
 * Dev loop
 
+** WAIT A _ caller whose type follows a redefined callee
+Its signature changes in the session but its body is not recompiled, so every call
+stops on StaleCall naming a type nobody wrote. Proposal: recompile such callers.
+Postponed 2026-09-25 while .fln takes priority.
+
 ** TODO A prelude function shadowed live is reached by the prelude's own calls
 A defn of a prelude function's name sent to a running =flan dev= installs into the
 host's cell for that name, so the prelude's calls compiled into the host follow it;