SYSE.47:7 - Conformance Checklist

• Task meaning, supported operations and observable completion come from qualified suppliers.
• Each step has usable inputs, allowed actions and consumed returns.
• Parameter, persistent-memory and execution changes remain distinguishable.
• Missing evidence, malformed proposals, uncertain effects and completion lead to appropriate continuations.
• Consequential limits and observations are implemented by the actual executor or practicable human control; their performance is tested.
• The candidate is executable and compared with a feasible simpler procedure.
• Failed conditions return to their exact suppliers without concealing useful partial results.