1 files changed, 4 insertions, 0 deletions
diff --git a/AGENTS.md b/AGENTS.md
index 1b9327cd..7497bf20 100644
--- a/AGENTS.md
+++ b/AGENTS.md
@@ -165,6 +165,10 @@ cache rule, no keys flow, picker, settings dialog), all passed.
   Android only partly desugars; moving to it is a large, separate job. Window cache JMX is off
   in `Application` and GC runs without JGit's PID lock, because Android has no JMX.
 
+## Open work
+
+`TODO.md` lists open features and fixes. Remove an item in the commit that finishes it.
+
 ## Maintenance tasks
 
 Recurring jobs with no automation. When starting a session, check the "last run" dates; if a