Function check_present 

fn check_present(
    target: &Path,
    spec: &ModelSpec,
    cache: &DigestCache,
    on_progress: &mut (dyn FnMut(Progress) -> ControlFlow<()> + '_),
) -> Result<(), Error>

Check a model already on disk, verifying it unless its record says it has not changed since the last check.