Function witnessed 

pub fn witnessed(
    from: &dyn Backing,
    at: Rev,
    named: Digest,
) -> Result<(), RevFault>

Whether rev at holds the bytes named says it does — the fsck’s question, and the one a writable open asks of its head.

Errors

RevFault for a rev that is missing, unreadable, or not what it is named for.