用途：把来源（规格、工单或对话）中的承诺转成可测试的验收协议——先陈述预期结果，再拆成原子要求，并说明每条如何被检查。该技能只做验收规划，不实现、不验证、不发布；新建矩阵包含的是证据计划，而非已完成的验证结论。
主要能力：读取来源及适用的父契约（若无来源契约，报告该缺口并停止）；提取所有实质性承诺，如行为、反向要求、状态变化、数据保留、授权、运行限制与必要不变量，不把实现偏好或推测性边界提升为要求；每行是一个可被具体反例证伪的可观察主张，保留来源引用与稳定 ID，输入变体归入边界；记录空/单/多、重试、重启、鉴权、并发与运行失败等边界（仅在来源或代码路径支持时）；在提出证据前检查公共接口、现有测试、约束与已配置命令，若无可信证据路径则明确说明。
证据类型（每行一种主证据）：行为测试——通过最高有意义的公共接口的具名用例及证明结果的断言；不变量——具名约束、校验、状态防护或阻止反例的测试；验证命令——精确的确定性命令及成功退出所确立的条件。证据须检查所需结果而非仅执行路径；期望值来自契约，不复制生产计算；仅 mock 或私有实现断言不能确立行为承诺。
状态：planned（已提出具体证据路径但未验证）、not proven（证据路径缺失、薄弱、不可用或无定论）；proven/disproven 只能沿用已有 /prove 结果及其候选与验证上下文，不得自行判定完成结论。
审计与交接：覆盖每条实质性来源承诺，每行给出来源或经论证的领域不变量依据；追踪请求的工作流至完成，逐步通过不足以保证最终用户或运行结果不失败；合并重复行，独立可证伪的义务保持分开；产品决策放入 Open questions，证据限制放入 Unresolved gaps，刻意排除的关注放入 Out of scope；保持要求 ID 与承诺稳定，后续工作须报告经授权的变更而非悄悄弱化契约。
输出格式（Markdown 标题与矩阵表头）：# Acceptance matrix: <source>；Intended outcome；## Matrix 表格列为 ID、Source、Requirement and scope、Boundaries / counterexamples、Evidence type、Exact evidence、Status；## Unresolved gaps；## Open questions；## Out of scope；以及 Verification handoff。
限制：仅做验收规划；不能替代实现、验证或发布；无来源契约时停止；证据须通过公共接口且非仅 mock；不得自行赋予 proven/disproven。