diff --git a/TODO.org b/TODO.org
index fa0b78c0..48e22e32 100644
--- a/TODO.org
+++ b/TODO.org
@@ -1097,6 +1097,11 @@ Decided 2026-09-25: the type-limit constants as a form taking a type, Odin's
 max(T), valid at any numeric type or a numeric?-bounded variable. For a float,
 min-of is the most negative finite value.
 
+** NEXT (Ptr const T), the pointer beside [const T]
+Decided 2026-09-25: addr through a read-only slice gives a (Ptr const T), which
+nothing writes through; (Ptr T) widens to it and never back; a C parameter
+declared const T* takes one. Closes the addr hole in [const T].
+
 * Backends
 
 ** DONE The x86 backend tracks LLVM at -O0