Function load_verified 

pub fn load_verified(
    dir: &Path,
    expected: &str,
) -> Result<(Manifest, Vec<(String, String)>), Tampered>

The stored set, checked: the manifest must hash to expected and every file to its recorded hash.