Function audit_confirmation 

pub fn audit_confirmation(
    confirmation: &JustifiedConfirmation,
    committee: &Committee,
) -> Vec<EquivocationProof>

Audits a justified confirmation by re-checking every link of its carried chain — the work certificate verification skips, because each link’s validity is attested by the signatures above it. If a link is not a genuine quorum, returns one InvalidJustification proof per signer of the level above it (the next link, or the confirmation quorum for the top link): they all signed the invalid quorum’s commitment. Returns an empty list if the chain is sound.