The proof is waiting for an evaluation.

Run the repeatable eight-pair evaluation in the Repair Bench first. Glassbox will only create a proof card from an actual simulated repair.