MATH.10:7 - Conformance Checklist

Question	Passing result
What is being compared?	The candidate, retained conditions, scalar quantity and sought conclusion are stated.
Which changes are allowed?	Substitution or another applicable argument establishes the family’s admissibility and parameter domain.
What does the change do?	The difference, first variation or bounded numerical comparison is obtained for that family.
Which directions matter?	Boundary and joint-parameter constraints remain in the sign or stationarity argument.
How strong is the conclusion?	The reached candidate class and the argument distinguish improvement, necessity, local optimality and global optimality.
What follows in use?	The receiving calculation or decision can use the result, or the missing construction is located.