How to Run a Speed Proof

May 30, 2026 | 5 min read

What Is a Speed Proof

A comprehensive validation: scan, benchmark, correctness check, savings estimate, and report.

Run It

pyvorin proof script.py --runs-per-day 1000 --size medium

Output

  • Scan classification
  • CPython median timing
  • Pyvorin median timing
  • Speedup factor
  • Correctness match
  • Monthly time savings