I removed 1,918 comments across twelve workers. 51 of them were load-bearing.

Automated excerpt

The project caps comment blocks per file. Each one carried the same control, and the control was correct: Every removed line in the diff was a comment line. What broke was the claim that every theorem answers a stated requirement, which is the entire reason the proofs are there. is every removed line a comment? does every theorem still name a requirement row?

Selected automatically from source text; not independently written or fact-checked. Read the original for full context.