1.11. Caveats🔗

• The wallclock cap is enforced via a pure-Lean kill path (IO.Process.spawn + IO.Process.Child.kill), so the harness works on every platform Lean's process API supports — Linux, macOS, and Windows — with no external timeout(1) dependency.

• The verdict is heuristic; the raw ratios array is the source of truth.

• Lean's Nat is arbitrary-precision. If your function returns big integers, the actual complexity includes the cost of arithmetic on results — likely worse than the "obvious" textbook complexity.