pub fn verify_cmd(
provider: &dyn DescriptorProvider,
workspace: Option<PathBuf>,
strict: bool,
) -> ExitCodeExpand description
djogi migrations verify entry point.
Read-only — does not acquire the workspace lock. Reads the live
Postgres catalog via djogi::context::DjogiContext and compares
against the projected schema from the descriptor inventory.
Exit codes: 0 on success (no error-level diagnostics), 1 on runtime
error (config / network / SQL / projection), 2 on refusal
(below PG 18).