CMP.10:7 - Conformance Checklist

• Required reads, updates, output identity and workload conditions are stated.
• Stored states have an interpretation and the invariants needed by those operations.
• Reads and updates are effective and preserve the required distinctions.
• Cost includes construction, maintenance, recovery, output and consequential representation growth.
• The chosen representation is compared with a credible simpler alternative on the intended workload.
• A changed operation or lost distinction leads to a specific reconstruction or source-return step.