Verifier-Directed Workflow Graph Repair and Synthesis: Candidate-Indexed Gap Certificates, Coverage-Scoped Target-Repair Screening with Collective Cut Simulation, Admissible Insertion Cuts over Edge-and-Port Sites, Weakest-Precondition-Composed Construction Fragments, and Same-Record Re-Verification