feat: add requirements.md

requirements.md

@@ -0,0 +1,38 @@
+# 试验需求验证追溯检查器需求规格说明
+
+版本：1.0
+
+## 1 背景与目标
+
+检查试验需求、验证用例和执行结果之间的追溯闭环，识别未覆盖和失效的验证证据
+
+本文描述预期行为和验收口径，作为实现与验证的输入
+
+## 2 业务边界
+
+该系统用于试验、保障和状态监测，不承担飞行控制、武器控制或实时安全闭环决策。输入数据可能缺失、乱序或损坏，系统必须给出可追溯的拒收或降级结果
+
+## 3 功能需求
+
+### REQ-TSVERIFICATIONTRACE-01 每条强制需求至少关联一个验证用例
+
+### REQ-TSVERIFICATIONTRACE-02 用例通过且证据在有效期内才计入有效覆盖
+
+### REQ-TSVERIFICATIONTRACE-03 失效证据和失败用例要区分原因
+
+### REQ-TSVERIFICATIONTRACE-04 引用不存在需求的用例应单独列出
+
+### REQ-TSVERIFICATIONTRACE-05 重复用例编号应拒绝计数
+
+### REQ-TSVERIFICATIONTRACE-06 汇总应提供覆盖率及待处理项
+
+## 4 非功能需求
+
+- 同一输入应产生确定性结果
+- 异常输入不得造成越界访问或静默接受
+- 输出应包含足以追溯原始输入和判定原因的信息
+- 小规模离线环境可独立运行，不依赖网络服务
+
+## 5 验收准则
+
+准备已覆盖、未覆盖、失败与过期四类需求；覆盖率和各类问题计数与人工核对一致