The Anatomy of "1,300 PRs per Week": What Stripe's AI Numbers Mean