Mathematical ledger-reconstruction and sanity analyzer comparing raw ledger movements against materialized balances.