用途
contract-prove 是 snowflake-labs/cocoplus 仓库中的一个 V2 原生确定性契约技能，用于执行原本由 contract-prove 技能委托的 CocoPlus 功能行为。其目标是以 Coco 原生能力替代旧版脚本实现路径，使该功能行为具备确定性、可验证性，并与所属功能的产物约定保持一致。
主要能力
- 使用 Coco 原生能力执行功能行为：Read、Write、Edit，以及在宿主明确需要时使用 Bash。
- 在功能需要数据访问时使用 Snowflake 工具。
- 在功能需要独立审查时使用子代理。
- 保留所属功能技能所记录的产物路径、schema 和用户可见输出。
- 优先采用确定性文件解析与结构化产物，而非自由形式的散文，以生成机器可读状态。
- 在会产生外部副作用时，沿用所属功能相同的门控与确认语义。
使用方式
该技能以契约形式规定行为要求，而非提供具体命令。执行时应遵循以下要求：
- 不将旧版脚本作为实现路径调用。
- 保持产物路径、schema 与用户可见输出与所属功能技能文档一致。
- 生成机器可读状态时，优先使用确定性文件解析和结构化产物。
- 若操作会产生外部副作用，应用与所属功能相同的门控和确认语义。
退出标准（Exit Criteria）：
- 所属功能的文档化产物被生成或更新。
- 输出 schema 与现有读取方保持兼容。
- 无需调用任何已注册的运行时脚本。
适用场景
适用于需要以 V2 原生方式执行 CocoPlus 所属功能行为的场景，尤其是要求确定性产物、schema 兼容性以及避免调用旧版运行时脚本的场合。也适用于需要保留原有产物路径与用户可见输出、同时以结构化方式生成机器可读状态的流程。
限制
- 资料未提供具体的安装命令、依赖项或运行环境要求。
- 资料未提供价格、收费模式或平台支持信息。
- 资料未提供具体的使用示例或调用参数。
- 该技能强调不得将旧版脚本作为实现路径，且不得要求调用已注册的运行时脚本。
- 反合理化（Anti-Rationalization）部分指出：不应仅因文件存在就认为技能完成，技能契约必须描述可观察行为与验证方式，而不仅是命令名称；也不应因命令较小而跳过产物与安全检查，小命令同样会改变状态或引导执行，需保留相同的门控。