The Production Function Changed

With agents, a lint that finds 600 violations can ship with fixes and exhaustive coverage in one PR. Human attention moves from implementation to choosing invariants and evaluating proof.