用途：把自然语言需求转换为可观测条件、逐条件的保证责任、失败后状态，以及能识别错误实现的契约测试。支持 design、review、implementation 三种模式，正本包根目录为 contract_package。
主要能力：区分公开操作的 contract_owner 与各条件的 authoritative owner；每个可观测条件对应唯一 CI ID。条件分类为 pre（调用方调用条件）、post（成功时保证）、invariant（有效模型下恒成立）、environment（外部、时钟、OS 条件）、failure_guarantee（失败后的领域/持久化状态与外部副作用保证）。每个条件标记 required / not_applicable / unknown，required 需含 statement、level、authority、唯一 owner 与 Evidence。覆盖业务/技术失败、外部成功内部失败、顺序逆转、并发更新、取消、超时、模糊结果，并分别判定重试可行性、重复结果与幂等性。测试的 verifies 需连接到实际存在的 required CI，可用 oracle 识别边界值、禁止迁移、失败后不变等。
使用方式：首次读取 skills/mino-core/references/shared-policies.md 并应用 Evidence、批准与判定规则；同上下文已读则不重复读。变更既有行为或公开契约前读取 change-safety.md 建立 baseline、变更步骤与恢复条件。涉及文件/进程/测试执行或多 OS 要求时读取 platform-compatibility.md，区分 host、对象与验证层。仅在创建、更新或交接正本包时读取 schemas/package.md。
限制：不用于仅做 UI 输入验证、一般测试追加或整体业务实现。契约测试因业务实现缺陷失败时不得修改 oracle；仅请求改测试时返回失败 Evidence 与修正义务。N/A 需理由与 Evidence，unknown 需确认方法与影响，不得用空防御条目填充。design 阶段标记为 planned / not_run，不以比例宣称满足。完成判定分 sufficient、insufficient、indeterminate，依赖不足的实现停在 next_phase。