Function check 

pub fn check(
    store: &LocalFsStore,
    flags: &OpFlags,
    target: &str,
    state_dir_override: Option<&Path>,
) -> Result<OpOutcome, OpError>

op env migrate-state <env_id> --check. Reports findings without touching state.