diff --git a/TODO.org b/TODO.org
index 9ca06d9c..468c389d 100644
--- a/TODO.org
+++ b/TODO.org
@@ -1857,6 +1857,12 @@ line and every later row unrun.
 gone. The dev daemon now removes its own on a clean end; the one-shot commands do
 not.
 
+** TODO An x86 dev session's dyn global sometimes reads wrong after an allocating thunk
+test_dev's =--x86: after a thunk that allocates (cycle 1) the parked program's dyn
+global reads "kept"= failed once in a full =dune test= on 2026-09-25 and passed three
+direct reruns. Intermittent and GC-shaped: a dyn global read after a collection a
+C-x C-e thunk triggered. Needs reproducing under load and fixing.
+
 * Editor
 
 ** DONE The syntax table and the font-lock lists are read off the parser