MATH.22:7 - Conformance Checklist

For the change being made:

• The altered axiom, definition or inference rule and the assumptions retained are identifiable.
• The desired construction or consequence explains why the change is useful.
• A claimed model supplies the required objects and interpretations and satisfies every retained axiom.
• A definition has its required existence and uniqueness, or the additional assumption is stated.
• Reused proofs survive at the steps that matter; a lost proof is distinguished from a refuted theorem.
• Independence, consistency and non-derivability claims have the appropriate model or argument and retain their background assumptions.
• The receiving use gets the revised consequence with its applicability and any obtaining procedure still needed.