5.7. What profile does not do🔗

• It does not run the verdict / advisory pipeline. If you want a verdict-eligible measurement, use run and compare.

• It does not parse the profiler's output. Whatever the tool prints is what you see. This is the point: the harness gets out of the way once it has spawned the wrapped child.

• It does not aggregate across runs. A profile of one param at a time is the contract; loop in your shell if you need many.

• It is not a replacement for verify, run, or compare. It is an additional entry point for the case where you've already identified something worth investigating.