MATH.18:7 - Conformance Checklist

For the comparison being used:

• The source, target, intended consequence and claimed scope are recoverable.
• Each required primitive has a constructed interpretation with its domain and assumptions.
• Needed preservation, reflection and recovery claims have arguments at that scope.
• Two-way claims inspect both composites and the compatibility required by the allowed operations.
• A failed claim identifies a changed answer or unavailable construction and determines the retained use or repair.
• The receiver can perform the intended transfer with the supplied result and conditions.