Link to current text
SYSE.30:7 - Conformance Checklist
- The specified output and comparison criterion are explicit before differences are judged.
- Actual source, resolved inputs and relevant environment are recoverable, not merely declared.
- The procedure produces the named output from a clean execution under stated conditions.
- A reconstruction check does not substitute a cached final artifact for execution.
- Differences are explained or returned as a bounded gap; ignored metadata is not silently removed from the claim.
- Correctness, authenticity, mainline integration and deployment remain separate results.