SIE.1:7 - Conformance Checklist

• One named receiver and receiving Work are explicit.
• The first useful answer is expressed as claims or fields with grain, scope, and interval/effectivity.
• The source cut is justified by the use rather than by reachability.
• Preserved distinctions, permitted loss, uncertainty, and unmatched/incompatible behavior are explicit.
• Currentness, latency, availability, recovery, and quality are included only where action-changing.
• Meaning, identity/value, access, semantic-loss, and receiving-action authorities remain distinct.
• Positive, negative, and unlike or changed-source tests have expected branches.
• Pass, narrow, unresolved, stop, next-result, and reopen rules are stated.
• The contract claims no correspondence, implementation, validation, authorization, or outcome that has not been obtained.