Rolls a ProveReport into one verdict: true only when all five flags hold — conserved,
backed, no overdraft, chain intact, and consistent. The one-line gate for CI and audit
scripts that only need pass/fail; the report itself says which property broke.
Rolls a ProveReport into one verdict: true only when all five flags hold — conserved, backed, no overdraft, chain intact, and consistent. The one-line gate for CI and audit scripts that only need pass/fail; the report itself says which property broke.