| 1 | // Rubi test-suite baseline benchmark — runs the *current* Compute Engine |
| 2 | // integrator (`Integrate` → `antiderivative()`) over a slice of the Rubi |
| 3 | // test suite and verifies each result by differentiation + seeded numeric |
| 4 | // sampling (same strategy as scripts/fungrim/numeric-check.ts). |