Function record_new_invariant_failures 

fn record_new_invariant_failures(
    campaign_state: &InvariantCampaignState,
    invariant_contract: &InvariantContract<'_>,
    failures: &InvariantFailures,
)

Bridges newly-recorded invariant breaks from failures.errors into the pulse failure_metrics so the live progress stream reflects breaks as they happen. Iterates in declaration order so the emitted “failure” events are deterministic.