Static reasoning can't prove runtime behavior: benchmark of AI PR reviewers

Heal benchmarked its runtime sandbox agent against CodeRabbit, Greptile and cubic across 236 replayed PRs on five products, finding that 70% of the 202 user-facing defects Heal proved (141) had never been flagged by any review bot. Code review bots instead dominated on files Heal skips by design, such as CI, migrations, analytics and tests (654 of 1,003 distinct flags), and stacking multiple bots added only marginal coverage. Heal reports 1,085 regression tests generated across the five products.