pub fn diff(
listed: &[ManifestEntry],
on_disk: &[PathBuf],
) -> (Vec<PathBuf>, Vec<PathBuf>)Expand description
How a manifest’s rows and a directory listing disagree: (missing, extra) —
rows whose file is not on disk, and opaque files under the root that no row
claims. Both relative to the root, both sorted.
The completeness rule in one place, because it is the whole meaning of
root: the manifest claims that directory entirely, so a file it does not
name is drift and not merely an omission. check and the manifest report
both ask this question and must not be able to answer it differently.