diff --git a/TODO.org b/TODO.org
index d52601b5..6f6c259f 100644
--- a/TODO.org
+++ b/TODO.org
@@ -669,6 +669,13 @@ of !=.
 
 * Checker
 
+** NEXT A slice from a C pointer, and a pointer cast
+Decided 2026-09-25: =(slice-from p n)= makes a slice from a pointer and a count, and a
+cast changes a pointer's element type; both unchecked. No pointer arithmetic.
+
+** CANCELLED A pointer crossing into dyn
+Not needed: dyn code has no use for an address it cannot read through.
+
 ** 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.