docs: 同步两份文档的实现进度（内核主线 0~2.5 全部完成）

docs/zh/toolcall-contract-and-sequence-design.md

@@ -677,10 +677,10 @@ if ret, err := parent.ExecuteTool(name, args); err == nil {
 | 阶段 | 内容 | 依赖 | 价值 |
 | --- | --- | --- | --- |
 | **0** | 修 map 迭代顺序（§6.3） | — | ✅ 已完成 |
-| **0.5** | 补多 tool_call 批内路径的判据（§6.6 注） | — | 并行化的前置：批内逻辑目前无判据 |
-| **1** | 结果契约 + 参数预校验（§4） | — | 独立价值：消灭 C 类浪费，模型直接看到真因 |
-| **2** | **并行执行层（§6）** | 1 | **内核侧唯一交付物**；插件并行的地基 |
-| **2.5** | **提示词改为「默认并行」**（§6.5） | 2 | ⚠️ 必须在并行落地**之后**，否则提示词说谎 |
+| **0.5** | 补多 tool_call 批内路径的判据（§6.6 注） | — | ✅ 已完成 |
+| **1** | 结果契约 + 参数预校验（§4） | — | ✅ 已完成（1a/1b/1c/1d） |
+| **2** | **并行执行层（§6）** | 1 | ✅ 已完成（2a 落法 / 2b per-call / 2c per-tool ctx / 2d 调度保序） |
+| **2.5** | **提示词改为「默认并行」**（§6.5） | 2 | ✅ 已完成 |
 
 **内核主线到此结束。** §7/§8 的序列能力**不属于内核**，由 `seq` 插件实现。