Run and record the proof command for a loop iteration before completion, publish, merge, deploy, or handoff.
