用途:为 staged-delivery 项目生成并维护三向覆盖矩阵(不变量↔L1 测试 / 事件↔测试 / DoD↔门禁),产出一份静态文档 docs/tests/coverage-matrix.md。矩阵由本技能生成初版、人工核对,不做运行时强制。
主要能力:扫描 tests/unit/*.test.ts 提取 describe/it 用例清单;读取事件注册表(示例为 src/domain/timeline.ts 的 TIMELINE_EVENT_SPECS)提取事件 id;读取不变量来源(设计 §9.5)与当前阶段 stage-spec 的 DoD;生成/更新三向表并标出缺口:不变量无测试、事件无断言、DoD 无法映射门禁方法;缺口以 audit-item(open,来源=覆盖矩阵)入账。
使用方式与流程:先做布局探测,核对默认源路径是否存在(tests/unit/、事件注册表文件、docs/design/stage-specs/、docs/tests/);布局不同则映射到仓库实际等价源并在矩阵头部记录,无法映射则停止并说明本技能仅适用 staged-delivery 布局。之后依次扫测试、扫事件、读不变量与 DoD、生成三向表、标缺口、入账、自查抽查 3 条与测试/注册表一致。常见触发时机为阶段末“更新覆盖矩阵”或新增不变量/事件后。
限制与边界:矩阵是静态文档,不跑测试、不替代 ddd-qa-chain 的运行时门禁;门禁仅检查矩阵存在与一致,生成/更新归本技能;缺口跟踪归 audit-item;DoD 无法映射到门禁方法属 spec 缺陷,回 stage-spec。反模式包括手工拍脑袋写矩阵、矩阵与测试脱节仍标 ✓、发现缺口不入账。具体命令与更多实现细节暂未提供。