Keep milestone claims aligned with verified provider evidence

The lifecycle tracker now records the pushed offline Stage 1 slices while leaving the live provider node open. This prevents mock and local database success from being mistaken for full Bailian validation.

Constraint: A newly rotated Bailian key is required before live smoke can be accepted

Confidence: high

Scope-risk: narrow

Reversibility: clean

Directive: Do not mark Stage 1 DONE until all three live model probes and real-mode synthetic seed pass

Tested: make verify; Markdown link check; secret scan; 41 pytest tests; strict mypy; Ruff; Compose config

Not-tested: Live Bailian provider calls

docs/04-project-todo.md

@@ -177,9 +177,11 @@ Stage 0 DONE
 
 ### 提交/推送节点
 
-- [ ] `S1-A`：数据库初始化、分权角色、迁移和最小 Compose；验证后提交并推送。
-- [ ] `S1-B`：三模型适配器、fake 契约测试和 live smoke；验证后提交并推送。
-- [ ] `S1-C`：20 条虚构 seed、幂等验证、运行证据和文档同步；验证后提交并推送。
+- [x] `S1-A`：数据库初始化、分权角色、迁移和最小 Compose 已随 `f4ba5d5` 验证并推送。
+- [ ] `S1-B`：三模型适配器和 fake 契约测试已随 `f4ba5d5` 推送；新 Key 下的 live smoke 未完成，因此节点保持未完成。
+- [x] `S1-C`：20 条虚构 seed、幂等验证、运行证据和文档已随 `f4ba5d5` 推送。
+
+`f4ba5d5` 是 Stage 1 离线可执行闭环提交，不代表 Stage 1 已完成；阶段完成仍以真实三模型 smoke 和真实模式 seed 通过为准。
 
 建议最终阶段提交意图：`Prove the selected model chain before building product workflows`。