Design by Contract

Outcome Contract

要件を観測可能な条件、条件ごとの保証責任、失敗後状態、誤実装を識別できる契約testへ変換する。implementationは依頼された契約testを作成・実行する。 正本packageのrootはcontract_package。 対応mode: design, review, implementation。

Reference Routing

• 初回はskills/mino-core/references/shared-policies.mdを読み、Evidence・承認・判定を適用する。同じcontextで既読なら再読しない。通常の判断は本体とこの共通規則で行う。
• 既存挙動・公開契約を変更するときはskills/mino-core/references/change-safety.mdを読み、baseline・変更step・復旧条件を作る。
• 対象systemのfile/process/test実行・複数OS要件がある場合はskills/mino-core/references/platform-compatibility.mdを読み、host・対象・検証層を分ける。単なる回答記録の保存では追加読込しない。
• 正本packageの作成・更新・引継ぎを依頼された場合だけskills/mino-design-by-contract/schemas/package.mdを読み、必須fieldと実在参照を保持する。

Workflow