SYSE.49:7 - Conformance Checklist

• A named consuming question selects the failure boundary and task variation.
• Result and protected-effect meanings have qualified suppliers.
• Tasks are feasible under the implemented state and operations.
• State, observations, reset and feedback remain distinguishable.
• Independent challenges can expose shared generator/verifier mistakes.
• Synthetic execution and real-world evidence retain their different provenance.
• Transfer limits and separate final cases constrain downstream reliance.