From cecbec6c7168233c0befb0faba0a6d228d2b4657 Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Fri, 25 Sep 2026 22:00:13 +0700
Subject: [PATCH] A slice from a C pointer and a pointer cast are queued

---
 TODO.org | 7 +++++++
 1 file changed, 7 insertions(+)

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.