Design by Contract

自然言語要件を、実装が守る観測可能な契約へ変換する。人物の口調やtemplateの充足ではなく、条件、owner、traceability、test oracleを成果とする。

Outcome Contract

主成果物としてContract Packageを作る。通常は次の最小構成を返し、condition単位の詳細schemaはworkflow referenceへ置く。

• requirement ID、Evidence、対象operation boundary
• ID付きprecondition、postcondition、invariant、environment condition、failure guarantee
• failure後state、禁止遷移、retry / duplicate / idempotencyの適用判定
• contract itemごとのlevel、authority種別、authoritative owner、入口のdefensive validation
• contract item IDを検証するGiven-When-Then test specificationと観測可能なoracle
• 分母・分子を明示したrequirement / contract / test coverage
• 公開契約を変更する場合だけ、approval、compatibility、migration、rollback / recoveryを含むChange Safety
• platform差が契約またはtest実行を分岐させる場合だけ、environment conditionとWindows / Linux / macOS test matrix
• subject_verdict: sufficient | insufficient | indeterminateとcanonical decision
• implementationが明示的に依頼され、変更権限がある場合だけtest codeと実行結果