Function judge_lifecycle 

pub fn judge_lifecycle(
    contract: &Contract,
    schedule: &[ScheduledFault],
    evidence: &Evidence,
) -> Vec<String>

Every lifecycle failure of evidence: the checks a lifecycle contract adds to the soak verdict, one line each.

• The source must advertise the feature ranges the contract declares.
• Every transition must leave a checkpoint, and every checkpoint must reconcile its records and its configuration.
• After a roll, the rolled broker must run that side’s image.
• A roll to the source must not follow a checkpoint that ruled a rollback out.