1

openspec/specs/system-operations/spec.md

@@ -26,6 +26,18 @@
 - **WHEN** 超级管理员请求更新
 - **THEN** 系统拒绝更新并保留原数据库事实；可审计失败按当前接缝记录
 
+### Requirement: 上下文健康检查证据链完整
+
+系统 SHALL 将当前主 Specs 的每一条 Requirement 与一条可追溯证据记录及至少一个已证实入口关联。证据记录与入口关联的 Requirement 集合 MUST 分别和主 Specs Requirement 集合双向一致；证据不足时健康检查 MUST 失败，而不得以假定的实现路径补齐。
+
+#### Scenario: 主 Spec Requirement 缺少证据
+- **WHEN** 主 Specs 中存在 Requirement，但证据记录或入口矩阵未链接该 Requirement
+- **THEN** 上下文健康检查失败并阻止将验证基线宣告为健康
+
+#### Scenario: 补齐已实现 Requirement 的证据
+- **WHEN** 每条 Requirement 均有经源码、迁移、配置或既有验证输出直接证明的证据记录和入口关联
+- **THEN** 上下文健康检查的证据链与入口矩阵覆盖检查通过，且不改变业务接口、数据或运行行为
+
 ## 可达操作索引
 
 本节只用于入口导航，不是行为 Requirement；业务义务以上述 Requirements 为准。