docs: 更新实施进度

docs/PROGRESS.md

@@ -10,7 +10,7 @@
 | M0 | 工作区骨架 + 五道门禁 + 环境自举 | ✅ 完成 |
 | M1 | `@contracts` 首版、`event`、`ledger`、`org`、`llm` | ✅ 完成 |
 | M2 | `memory`、`toolbox`、`channel`、`message` | ✅ 完成 |
-| M3 | `interaction`、`human-tool`、`release`、`activity-registry`、`@sfeel` | ⬜ 未开始 |
+| M3 | `interaction`、`human-tool`、`release`、`activity-registry`、`@sfeel` | 🟡 3/5(`@sfeel` · `human-tool` · `release` 已落) |
 | M4 | `skill-engine`、`loop-engine`、`flow-engine`、`task` | ⬜ 未开始 |
 | M5 | `process`、`trigger`、`@activity-sdk` + 首个样例活动 | ⬜ 未开始 |
 | M6 | 前端:工作台五要素 → 治理台九功能;`minute`、`report` | ⬜ 未开始 |
@@ -46,6 +46,11 @@ ledger 对真实 PG 的 schema 自生长与写三分。
 app 侧接上派发器(advisory lock 串行 + 消费幂等)与 `/api/ingest` 模拟通道。
 已验证:一封无主 RFQ 邮件入站 → 归属解析 no-match → 事件落库 → 兜底落到 OP 岗位李元初的消息要素。
 
+**M3(进行中)** — `@sfeel` 全套(lexer / parser / evaluate / static-check,32 测试);
+`human-tool` 三规矩机检 + 工单两模式 + 对话卡族 + 到达面两路 + 驳回重答;
+`release` 落地预检五项 + 幂等落地 + 落地收敛才发射输出口。
+剩 `interaction`(对话流单入口 / 视图区推送 / SSE)与 `activity-registry`(活动库两审 / 资产版本进化管线)。
+
 ## 待接的占位(详见 docs/debt.md)
 
 - `container.ts` 两个占位端口:`InFlightWorkProbe`(M4)、`TriggerMatcher`(M5)