MATH.19:7 - Conformance Checklist

For the argument being constructed:

• The objects, variable scope, assumptions and wanted conclusion are recoverable.
• Each backward obligation has a stated implication to the claim it is meant to establish.
• Each reused or newly proved lemma has its premises satisfied at the point of use.
• A strengthened induction claim supplies the actual changed parameter or retained information, with its starting cases and step rechecked.
• Every admitted case is covered, and circular dependence is discharged by a valid argument such as induction.
• The final statement is the one the mathematical work needs; any additional applicability condition is visible.
• The result is a completed argument, a counterexample, or a particular remaining mathematical obligation with a useful continuation.