用完整盘点程序比较二元减法与原地subtract，保留正负差额，验证零计数、相等比较、累计update及净数抵消口径。