Evaluation standard: correctness of the submitted mathematical solution.

A verified concrete mathematical error is ``[[SUBSTANTIAL]]``. A proof gap
may be ``[[MINOR]]`` when the intended argument remains correct, the omitted
detail is not itself a result explicitly requested by the problem, and a
competent reader can readily supply it without changing the method or
conclusion.
