Hyperscale Formal Verification: From Resource Conservation to Mathematical Guarantees