docs: align workflow status and migration evidence

docs/10-workflow-engine-core.md

@@ -1,6 +1,6 @@
 # Weave 执行决策与内部结果交付
 
-状态：P4 内部基础已实现。已接通Pulse结果到Weave持久化Inbox，并提供有限步骤决策器；[实例受理和首批存储适配](11-workflow-admission.md)已补齐。[Inbox消费推进及根检查点运行器](12-workflow-runtime.md)已接入；[定时和查询时钟](13-workflow-clock.md)已接入，信号运行器及实例公共API/SDK仍待实现。不能把本页能力解释成完整公开端到端流程已交付。
+状态：P4/P5 内部基础已实现。已接通Pulse结果到Weave持久化Inbox、有限步骤决策器、实例受理、Inbox消费推进、根检查点、定时/查询时钟、信号、控制、人工恢复及实例公共HTTP/SDK；对应当前接口见[流程接口](api/workflows.md)、[恢复接口](api/workflow-recovery.md)和[事件时间线](api/workflow-events.md)。本页描述内部事务边界，不能把功能阶段回归解释成生产拓扑或高可用验收。
 
 ## 1. 为什么结果要独立持久化
 

docs/13-workflow-clock.md

@@ -1,6 +1,6 @@
 # Weave 持久化定时等待与查询轮次
 
-状态：TIMER到期推进和POLL后续业务轮次已接入Orbit后台运行器。复用MySQL和既有待续索引，不增加外部调度服务或数据库外键。[SIGNAL消费与查询最终信号竞争](14-workflow-signals.md)已进一步接入；内部控制及停止结清已按[控制约定](15-workflow-controls.md)接入；实例公共HTTP/SDK以及人工恢复仍未交付。
+状态：TIMER到期推进和POLL后续业务轮次已接入Orbit后台运行器。复用MySQL和既有待续索引，不增加外部调度服务或数据库外键。[SIGNAL消费与查询最终信号竞争](14-workflow-signals.md)、内部控制及停止结清、实例公共HTTP/SDK和人工恢复均已接入；对应恢复操作见[恢复接口](api/workflow-recovery.md)。本页只说明持久化时钟语义，生产调度容量仍需按交付清单验收。
 
 ## 1. 时钟和恢复身份
 

docs/reports/phase-7-regression-status.md

@@ -10,6 +10,7 @@
 | 服务端 vet | Docker `golang:1.25`；`GOWORK=off go vet ./...` | PASS |
 | SDK 竞态、vet、构建 | Docker `golang:1.25`；SDK 全 module、全部示例和 `orbit-load` | PASS |
 | 当前协议门禁 | `make protocol-check` | PASS，当前 v1 契约同步 |
+| 外键迁移防回归 | `TestPostRemovalMigrationGuard`；服务端迁移运行时校验 | PASS；000008 以前仅保留兼容清理历史，后续迁移在执行前拒绝引用约束 DDL |
 | MySQL 存储集成 | MySQL 8.4.10，一次性容器；`go test -race -run Integration -skip 'TestIntegration(WorkflowCommitFaults\|CredentialCommitFaults)$'` | PASS，210.893 秒；包含空库无外键基线、v7升级、Pulse/Weave/API/观测/恢复与W16竞争 |
 | MySQL COMMIT 包截断故障 | MySQL 8.4.10 与 Go 测试容器共享网络命名空间；`127.0.0.1` DSN；两组提交前/后切点 | PASS；`TestIntegrationWorkflowCommitFaults` 8个子场景与 `TestIntegrationCredentialCommitFaults` 均通过，预期 `unexpected EOF` 为故障注入结果 |
 | Orbit 控制进程全停/接管 | 同一共享网络命名空间；容器内构建 Linux Orbit 二进制；`ORBIT_TEST_SERVER_BINARY=/tmp/orbit go test -race -run '^TestIntegrationWorkflowRuntimeProcess$'` | PASS，43.127 秒；强杀、全停、定时器、轮询、信号、人工复核和双节点接管均通过 |