MATH.9:7 - Conformance Checklist

• The permitted-answer set and both group actions belong to the declared input range.
• The solution relation carries A(d) to A(g*d).
• A selected representative answer is permitted and fixed by the representative’s whole stabilizer.
• Different transformations reaching the same input return the same answer.
• The claimed range has the required representative and answer construction.
• Any changed input, output type or choice requirement is reflected in the returned rule.