Function certify_recovery 

pub fn certify_recovery(
    e0: &Curve2,
    basis_a: (&Point2, &Point2),
    ell: u64,
    a: u32,
    basis_b: (&Point2, &Point2),
    images: (&Point2, &Point2),
) -> Option<SecretRecovery>

Certify an images → generator recovery, emitting the answer with its self-checking law record. Runs the flat recovery for the answer, then attaches the full set of re-checkable laws (order, descent, image reproduction, the faithful ℓ-adic tree partition, and the Aut-orbit closure rule).