Static checks and ratchets

Lint, duplication, dead code, purity and lists that only shrink

Static checks are the cheapest layer. They run in seconds, they never flake, and an agent cannot talk its way past them. The trick is to make each one strict for new code on the first day, even when the existing code breaks it. That is what the ratchets are for.