Function verify 

pub fn verify(manifest_path: &Path, migrations_dir: &Path) -> VerifyOutcome

fz verify: diffs the recorded deployment against the manifest and reports every drift as a coded failure in the doctor’s shape — composition, config, environment, and (when nothing narrower explains it) the recorded digest no longer matching a recomputed plan.

Panics

Never; every problem is a coded failure in the report.