The zero-sum invariant of double-entry bookkeeping requires that the sum of debits strictly equals the sum of credits for every transaction; otherwise the transaction structure is invalid and must be rejected before being written to the database.