diff --git a/TODO.org b/TODO.org
index 5a8a1b32..27b9dd42 100644
--- a/TODO.org
+++ b/TODO.org
@@ -303,9 +303,10 @@ Both the tagged and the untagged form import now. It was never a blocker for
 =Form=, because the prelude is parsed and prepended into the same flat namespace
 before collection runs.
 
-** TODO (Result T E) and try
-Another sum type, queued after sum values landed, and still refused by name.
-=docs/PORTING.md= records that it has no customer in the game's code.
+** CANCELLED (Result T E) and try
+CLOSED: [2026-09-25]
+Conditions and restarts are the error mechanism, and nothing in the game's code
+wants a second one.
 
 ** CANCELLED (Handle T) and the pool
 CLOSED: [2026-09-18]