Fix-Verify Loop

Leave fixes staged and return their paths plus one outcome per finding.

The caller owns regression detection, new-issue discovery, and whole-diff review.

Verification scope

• Focused checks: Fixers and verifiers run the narrowest check that proves the assigned finding, plus directly affected tests.
• Broad suites: Run a subsystem or full-project suite inside this loop only for shared test infrastructure, order dependence, or a finding reproducible only in that suite; the caller owns every other broad gate.
• Harness exits: After test bodies pass, retry a harness that fails to exit only when a new hypothesis distinguishes the rerun.

Protocol

Input

• Findings: Confirmed P0/P1 findings conforming to the Output Schema.
• Artifact paths: Files the resolver may edit.
• Criteria: Original requirements each fix must satisfy.