Function reconcile 

pub fn reconcile(
    contract: &Contract,
    schedule: &[ScheduledFault],
    evidence: &Evidence,
) -> Reconciliation

Reconcile evidence against the semantics contract declares.

schedule is the contract’s expanded fault schedule. Every fault in it needs a committed-offset check on each path that commits offsets.