개요

잔액 불변성(Balance Invariance)은 거래 전후 시스템 전체 잔액이 변하지 않음을 보장합니다. A가 B에게 100을 보내면, A는 -100, B는 +100이 되어 총합은 0입니다.

거래 전
A: 1000 + B: 500 = 1500
→ 송금 100 →
거래 후
A: 900 + B: 600 = 1500

테스트 목록