A verifier that diffs source against output catches only the easy half; deciding which omission matters is tacit and never written down, so rubrics miss serious errors. The argued fix is standards held as discovered examples, not specifications.
Checking sign-in…
Loading comments…