3 ms·Verification Debt: When Generative AI Speeds Change Faster Than Proof2 points by pseudolus 9mo ago