Function proveEconomy

proveEconomy(ports: ProvePorts, options?: CallOptions): Promise<ProveReport>
The thorough prover, reads only: it recomputes the entire hash chain to catch any altered entry, unlike the lighter economy.read.health. An independent audit, not the enforcer — the DB enforces these invariants (see db/*-schema.sql); this re-derives them from the legs to catch a bug in the enforcement itself.
Parameters
- ports: ProvePorts
- Optionaloptions: CallOptions
Returns Promise<ProveReport>
See
The proof for how the prover re-derives every invariant.
Example
```
const report = await proveEconomy({
  store: ports.store, rates: ports.rates, digest: ports.digest, signer: ports.signer,
});
if (!allInvariantsHold(report)) {
  throw new Error('ledger integrity check failed'); // report says which property broke
}
```
- Defined in src/integrity.ts:95