How funds are held
Every contract is a double-entry ledger: money that enters escrow is recorded against a dedicated escrow account, and release or refund posts matching entries on both sides. Balances are never a single mutable number; every movement leaves a paired trail that must balance.