Domain Model Completeness

固定したuse-case scopeで正しい判断と状態維持に必要な意味が欠落せず、適切なownerへ置かれているかを監査する。DDD patternの数ではなく、要件coverage、不正状態、rule leakage、access pathで判定する。

Outcome Contract

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

• scope、actor、context、use case、requirement ID
• applicableなterminology / concept / constraint / state / transition / behavior / relationship / failure / time
• writer / readerのaccess path、invalid construction、model外rule、authority conflict
• scope-localなsemantic owner、invariant owner、state authority、source of truthの監査と、そのEvidence
• requirementごとのmodel coverage、gap、contract / test obligation
• 既存のdownstream成果物が入力にある場合だけ、その実在IDへのlink
• subject_verdict: complete | incomplete | indeterminateとcanonical decision
• platform差がwriter、reader、representation、failureを分岐させる場合だけ、Platform Contextとvalidation matrix

subject_verdictは固定したscope内の監査対象を表す。対象がincompleteでも監査artifact自体はreadyになり得る。未作成のcontract IDやtest IDを予測しない。