diff --git a/.sf/PROJECT.md b/.sf/PROJECT.md
index ddd97cd90..8a529695e 100644
--- a/.sf/PROJECT.md
+++ b/.sf/PROJECT.md
@@ -1,5 +1,5 @@
 ---
-generated: 2026-05-10T03:56:00Z
+generated: 2026-05-10T18:47:00Z
 sf_version: 2.75.3
 ---
 
@@ -9,14 +9,19 @@ sf_version: 2.75.3
 
 **Core value:** Purpose-to-software compiler — not a generic coding assistant. Every unit must name its purpose, consumer, and falsifiable contract before implementation.
 
-**Current state:** BLOCKED. SQLite DB (`.sf/sf.db`) is malformed (corrupted). DB backup exists at `.sf/backups/db/sf.db.2026-05-10T02-42-23-822Z`. This milestone recovers the DB and executes the highest-value pending task from the recovered roadmap.
+**Current state:** Active. DB healthy. M001-6377a4 in progress — S01 (doctrine alignment) and S02 (runaway guard + gap-audit) complete. S03 (deepen reliability / verification evidence) is next.
 
 **Architecture:** TypeScript monorepo (7 workspace packages), Rust N-API engine, Next.js web frontend, Pi SDK harness. Extension source at `src/resources/extensions/sf/` compiled to `dist/resources/extensions/sf/`.
 
 ## Milestone Sequence
 
-- [ ] **M001-3hf5k0**: DB Recovery and S01-T01 Execution — recover corrupted DB, execute CLI/help doctrine fix
-- [ ] **M001-6377a4** *(pending, recovered from backup)*: M001 Roadmap — stabilize core doctrine, sharpen execution, deepen reliability, keep surfaces coherent, prepare ACE convergence
+- [x] **M001-3hf5k0**: DB Recovery and S01-T01 Execution — complete
+- [ ] **M001-6377a4**: M001 Roadmap — stabilize core doctrine, sharpen execution, deepen reliability, keep surfaces coherent, prepare ACE convergence
+  - [x] S01 — Doctrine alignment (CLI/help surfaces)
+  - [x] S02 — Runaway guard + gap-audit cleanup
+  - [ ] S03 — Deepen reliability / verification evidence (T02–T04 pending)
+  - [ ] S04 — Keep product surfaces coherent
+  - [ ] S05 — Prepare ACE convergence deliberately
 
 ## Key Verification Commands