diff --git a/progress.md b/progress.md
index b274286..1caa9e7 100644
--- a/progress.md
+++ b/progress.md
@@ -26,10 +26,11 @@
 - [x] Moved 16 API router files into 6 subpackages with re-exports
 - [x] Extracted sessions router from tool_instances.py into api/tool/sessions.py
 - [x] Updated main.py imports
-- [x] Committed locally: `37ccaa4` (needs push)
+- [x] Fixed pre-existing E712 in tool_definitions.py
+- [x] Committed locally: `37ccaa4`, `38c51ed` (needs push)
 
 ## Pending Push
-- Commit `37ccaa4` is ready locally on `dev` but not yet pushed to origin
+- Commits `37ccaa4` and `38c51ed` are ready locally on `dev` but not yet pushed to origin
 - Run: `cd /home/alex/projects/headquarter && git push origin dev`
 
 ## Remaining Phases
@@ -49,4 +50,4 @@
 - [ ] Verify docker compose up --build
 
 ## Current Branch
-- `dev` with local commits ahead of origin/dev
+- `dev` with 2 local commits ahead of origin/dev