Reviewer loops push homework write-ups toward answer-key polish

When running correctness reviewers over typeset homework solutions, each reviewer adds justification (sign assumptions, labeling conventions, distinct-bin arguments, leakage remarks, numeric offsets). Accepted one at a time, these accumulate into an answer-key register the user did not want. Brief reviewers on the target register up front (e.g. 'plain undergraduate homework, only flag what a grader would require'), and check prior accepted assignments for structure such as whether a definitions preamble is ever used, before adding one.