From a082d4c1fcfed16e7d7ae6ff9cf18988cbff3eb1 Mon Sep 17 00:00:00 2001
From: Joseph Ferano <joseph@ferano.io>
Date: Sat, 26 Sep 2026 19:37:03 +0700
Subject: [PATCH] TODO.org queues decision 148, insertion-ordered typed maps,
 and records 149.

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

diff --git a/TODO.org b/TODO.org
index d624db36..0e217bed 100644
--- a/TODO.org
+++ b/TODO.org
@@ -1385,6 +1385,14 @@ CLOSED: [2026-09-25]
 dev build wipes it at a top-level agent poll; an expression run at a stop gets a scratch temp arena.
 
 * Runtime
+** NEXT Typed maps and sets keep insertion order
+Decided (148): a typed Map or Set iterates and prints in insertion order, Python's compact
+layout (dense entries plus an index table), so dyn and typed agree and runs repeat.
+Rules out a per-run order from the address-derived seed.
+** DONE A typed set holds no sets
+CLOSED: [2026-09-26]
+Decided (149): Set(Set(T)) and a typed set as a typed map key stay refused, since a typed
+key cannot own storage; the refusal points at a dyn set. Rules out owning keys for now.
 ** TODO Values print in paren spelling
 =println(get(m, 1))= prints =(some 10)= and =none=; .fln is the only language, so the
 printer should write =Some(10)= and =None=, and check every other paren-shaped output.