Dead Code

How we got coding agents to delete code safely by requiring three agreeing proofs, counting reachable surface instead of lines, and having code owners sign off where the proofs can't see.