该技能用于建立需求到实现证据的持久映射，防止需求被遗漏、覆盖声明含糊或规格漂移，适合在计划、实现和评审阶段使用。触发场景包括：构建追溯矩阵、展示哪些需求已覆盖、把规格映射到代码和测试、证明实现覆盖需求、找出需求与产物之间的缺口。
必需流程：把每条需求提取为独立可追踪的陈述；分配稳定标识以免不同需求被合并；将每条需求映射到实现产物、测试、文档和验证证据；把状态标为 covered、partial、missing、superseded 或 out of scope；显式暴露缺口、矛盾和未验证假设；保留被取代的需求而不删除；需求变化时更新矩阵以保留历史。
硬性规则：不得编造覆盖；区分重要时不得把多条需求合并为一行；不得从追溯中删除被取代需求；除非证据具体，否则不得标记为已覆盖；用户要求矩阵时不得用模糊摘要代替；不得用仅实现证据掩盖缺失的验证。
矩阵每行至少包含：需求 ID、来源位置或出处、覆盖状态、实现证据、验证证据、剩余缺口或备注。部分满足时需说明缺什么以及是否阻塞。完成标准：范围内每条需求都出现在矩阵中；每个状态都有证据或清晰的缺口说明；矛盾与部分覆盖被点出；评审者无需重建即可使用。最终需报告：所追踪的需求清单、矩阵或紧凑等价形式、未覆盖或部分覆盖项、保留的被取代需求、有意解决的假设。