Function fix 

pub fn fix(
    instruction: &str,
    findings: &[Finding],
    verification: Option<&VerificationSummary>,
    round: usize,
    rounds: usize,
    language: &str,
) -> String

Prompt for the fixer, given a round’s findings.

verification is this same round’s own verification, pre-labeled by crate::run::ReviewRound::verification_summary — None when the round simply passed or had nothing configured, in which case silence is correct: there is nothing here to worry about. A deferred check is carried through the same Some, spelled out as not yet run rather than left silent, because silence here would read as “nothing to worry about” and a deferred check is not a passing one.