Function weakened_by_records 

pub fn weakened_by_records(
    judgement: Judgement,
    execution: Option<&Execution>,
    records: &[EvidenceRunRecord],
    root: &Path,
    presented: &Presented,
) -> Judgement

weaken_by_records against a checkout: the presented commit is the one presented names, or HEAD for the working tree (none when HEAD is unborn), and containment is crate::git::contains in root.

use majordomus_cli::evidence::{weakened_by_records, Judgement, Presented, ProofState};
let dir = tempfile::tempdir().unwrap();
let proven = Judgement { state: ProofState::Proven, changed: vec![], detail: None };
let j = weakened_by_records(proven.clone(), None, &[], dir.path(), &Presented::WorkingTree);
assert_eq!(j, proven);