@pwngh/economy-lab
    Preparing search index...

    Interface ProveReport

    The result of the integrity check: each flag is one property the ledger is supposed to hold.

    interface ProveReport {
        backed: boolean;
        chainIntact: boolean;
        conserved: boolean;
        consistent: boolean;
        drift: readonly {
            account: AccountRef;
            derived: Amount;
            materialized: Amount;
        }[];
        noOverdraft: boolean;
        shortfall: Amount;
    }
    Index
    backed: boolean

    True when the real USD the platform holds in trust covers every credit it owes back to users: the credits sitting in their spendable balances. Credits are converted to USD at the peg, the fixed CREDIT-to-USD rate.

    chainIntact: boolean

    True when every account's hash chain recomputes to its recorded value, proving no posting was tampered with after the fact.

    conserved: boolean

    True when debits and credits cancel out within each currency, so no money was created or lost.

    consistent: boolean

    True when, for every account, the cached running balance matches the balance re-added from its debit and credit lines (i.e. drift is empty). The lines are the source of truth; the cached figure can be wrong. A diverged cached balance (mis-saved or directly-edited row) shows up here even when the books still balance.

    drift: readonly { account: AccountRef; derived: Amount; materialized: Amount }[]

    Every account whose cached balance disagrees with the balance re-added from its debit and credit lines; empty when consistent is true. Each entry names the account and both figures, so an operator sees the gap's size and direction. Catches both a real account whose cached total drifted and a leftover balance row with no postings (re-added to zero, so any cached figure is wrong).

    noOverdraft: boolean

    True when no user account has gone below zero.

    shortfall: Amount

    How much USD backing is missing; zero when backed is true.