用途：在正式覆盖率或 CI 治理场景中应用一组验证门禁，定义一种证明协议，运行时验证配置可按需采用；仅加载运行时架构技能并不要求使用本技能。
主要能力：为每个受治理的生产项与证明分配稳定可读的身份，生成规范化清单记录（kind、稳定 id、生产来源、所需配置）；用（清单项，所需配置）配对表示覆盖率，只有映射到可执行测试且原生运行器报告该测试通过才算覆盖。为 BDD 场景、关键旅程、公共操作、Repository、外部 Adapter、Consumer、迁移路径、可观测边界、前端路由与传输等分配稳定身份。
使用方式：不把一套测试框架的声明语法或报告格式强加到另一套；各生态需提供确定性证明适配器，输出规范化记录（证明层、稳定证明 id、源文件、测试 id、状态、跳过、重试、重复、预期失败）。用 .feature 文件作为用户可见行为的真源，场景使用领域语言，带唯一稳定 ID 与最便宜证明层标签，如 @id:ORD-001 @proof:unit。清单从权威生产产物派生，如协议操作标识、运行时路由与生产路由元数据、生产注册表、迁移历史、前端声明等。
门禁阈值：Unit 生产代码覆盖率至少 90%；BDD 场景可追溯性、集成边界覆盖、前端行为清单、关键 E2E 旅程覆盖均为 100%；所有必需套件要求零跳过测试。执行后解析原生机器可读报告并逐项核对，拒绝中断、缺失、格式错误或空报告，以及缺失的预期文件或测试身份，和待定、跳过、聚焦、隔离、预期失败、重试或重复的必需测试。阻塞式 CI 门禁须覆盖所有适用检查，必需门禁不能仅夜间运行。
适用场景：正式覆盖率治理、CI 门禁设计与审计、多生态测试证明适配器建设、BDD 行为追踪。
限制：没有完整适配器的生态其质量门禁视为未满足，不得由 Agent 编造不可验证的估计；手动清单项仅在无法从生产派生时使用，且须记录原因、负责人与移除条件；前端验证不允许任何手动项或配置例外；遗留覆盖率例外仅限既存遗留代码，不得用于新增或修改逻辑。具体安装命令、价格与平台信息暂未提供。