复式记账的零和不变量要求每笔交易的借方总和严格等于贷方总和，否则交易结构无效，必须在写入数据库前拒绝。