diff --git a/NEXT.md b/NEXT.md
index b670212..7d6f7e2 100644
--- a/NEXT.md
+++ b/NEXT.md
@@ -2,7 +2,7 @@
 
 ## Start here — next session
 
-**Branch `dev-loop`, 20 commits, working tree clean, `dune test` green.**
+**Branch `dev-loop`, 34 commits, working tree clean, `dune test` green.**
 
 The dev loop works end to end: `flan dev program.flan`, then `C-c C-c`,
 `C-x C-e` and `C-c C-r` in Emacs against the running process. Conditions are