Audit balances that are derived rather than stored — shares times a multiplier, principal times an interest index, rebasing supply. Checks round-trip asymmetry when a lazily-updated accrual moves mid-transaction, mutating functions that forget the index basis, multipliers that can reach an absorbing zero and wipe every balance at once, index updates gated on a flag that must exactly track a numeric condition, accrual parameters changed without settling first, and one-shot guards keyed on a value that is legitimately resettable. Use when auditing rebasing or multiplier tokens, interest-bearing receipt tokens, vault shares, or any balanceOf computed from a global scalar.
