diff --git a/TODO.org b/TODO.org
index 0269ce97..dc07b62f 100644
--- a/TODO.org
+++ b/TODO.org
@@ -296,6 +296,10 @@ keyword resolves against the expected type and against nothing else, so two enum
 could always share a member spelling. What the prefix buys is the call site read
 on its own.
 
+** NEXT Keyword arms over a dyn, and = on bool
+Decided 2026-09-25: a match over a dyn takes keyword arms, meaning (= d :k); = and !=
+compare bools, and a match over a bool takes true/false arms, exhaustive without _.
+
 ** WAIT ML-style patterns
 Held 2026-09-25 as a future direction, like the JS backend: nested destructuring,
 guards, or-patterns, literals at any depth, exhaustiveness over the nesting.