Struct Verifier 

pub struct Verifier { /* private fields */ }

Walk a Plan against an install tree and produce a RepairManifest.

Construct via Verifier::new, optionally override the platform with Verifier::with_platform, then call Verifier::execute with a &Plan. The plan’s Plan::platform is used by default.

The verifier never writes — it opens files read-only, reads only the ranges it needs to inspect, and returns a manifest describing what is out of shape. Pair it with IndexApplier::execute_with_manifest to fix only the flagged regions.

Implementations

impl Verifier

pub fn new(install_root: impl Into<PathBuf>) -> Self

Construct a verifier rooted at install_root.

pub fn with_platform(self, platform: Platform) -> Self

Override the platform pinned on the Plan.

pub fn execute(self, plan: &Plan) -> Result<RepairManifest>

Verify plan against the install tree.

Returns a RepairManifest describing every target/region that needs rewriting. An empty manifest (see RepairManifest::is_clean) means the install matches the plan within the v1 policy: see the module docs for the per-source check matrix.

Patch-source caveat

Single-byte damage inside a PartSource::Patch-sourced region is not detected by default — populate the plan’s regions with PartExpected::Crc32 via Plan::compute_crc32 to opt into content-level checks.

Errors

Surfaces any crate::ZiPatchError::Io produced while opening or reading an install-tree file, plus crate::ZiPatchError::UnsupportedPlatform if the plan pins Platform::Unknown and the install contains SqPack targets.