SYSE.42:7 - Conformance Checklist

• The proposed invocation is bound to a supported action, actual target, current interface and sourced consequential arguments.
• Validation distinguishes shape from permission, applicability and state.
• A partial or unknown effect follows the contract’s recovery before replay.
• The return’s subject, units and evidence status support its receiving use.
• The task consumes the result or returns the precise missing condition.
• Stronger reliance includes the failure cases that could change it.