pub fn verify(
vault_path: &Path,
pp: &Passphrase,
) -> Result<VerifyReport, CliError>Expand description
FR9: project the ledger → compute the sat-conservation report, partition blockers by severity, and
summarize pending reconciliation + safe-harbor status. The binary maps has_hard_blockers() to a
non-zero exit (a hard blocker gates downstream tax computation, §7.1).
Uses Session::load_events_and_project to load the event log exactly once (avoiding the
double load_all that the old project() + separate load_all(conn) pattern incurred).
Task 8: also reads the CLI config (declared pre2025_method + attestation flag) and passes
it to build_verify so that render_verify can surface them.