用途：检查需求是否具备验收、设计、实现、测试与缺陷覆盖，发现孤儿需求、孤儿测试、断链、过期制品或缺失证据，生成用于发布、变更评审、合规或风险治理的可审计追溯矩阵。不适用于仅编写测试用例、执行测试或决定业务优先级；它分析用户提供的映射与证据。
主要能力：以稳定标识符双向映射需求、验收、设计、代码、测试、缺陷与证据，保留来源、版本与适用性；将关系类型（direct、derived、indirect、contradictory、missing）与覆盖状态（complete、partial、unverified、stale、unexecuted、unassessed）严格分开；在 coverage_analysis 模式下保留 RT-## 追溯并增加 TC-## 覆盖视图，包含测试资产、覆盖状态、执行身份/时间/环境、证据质量与孤儿信号；保留孤儿项、断链、重复映射、缺失执行记录及仅名称链接，并给出缺口、责任人、下一步行动与验证方法。
使用方式：先阅读并遵循 prompts/requirement-traceability-analysis.md，审计目标、版本、范围、时间窗口与输入边界；提供目标、范围、材料、环境与可用证据；按输入审计与输出契约交付。默认 Markdown，可按要求输出表格、CSV 或 JSON，但须保留相同证据、状态、影响、责任人与验证字段。可用 evals/eval.yaml 与 evals/cases/ 回归；检查发现行为可运行 scripts/run_skill_trace_eval.py 配 evals/trigger-prompts.csv 与 evals/local-rules.json，缺少 skill.selection 证据为 BLOCKED。
限制：文件存在、链接、测试名称、报告措辞或代码存在均不得视为已执行、通过、修复或批准；MAPPED、EXECUTED、SATISFIED 需分开，映射不等于运行，通过运行但无有效义务断言不等于满足，旧版本边不能用于新版本；同一 ID 内容冲突标记 IDENTITY_CONFLICT。缺失制品、稳定 ID、版本、执行记录、数据或环境时标记 unassessed/unverified/unexecuted 并要求证据；不得编造需求、关系、阈值、责任人、批准或运行结果。具体收费、平台支持与安装方式资料暂未提供。