1만 원 이체를 장부 전체의 변화로 읽기

1. 거래 전 두 계좌의 합은 50,000원입니다. 이체 TP는 요청자의 출금 권한, 양수 금액, 충분한 잔액과 대상 계좌를 검사합니다. 입력된 금액 문자열을 장부 값으로 곧바로 덮어쓰지 않습니다.

2. 허용된 거래는 A를 20,000원, B를 30,000원으로 함께 바꾸고 거래 기록을 남깁니다. 중간에 실패하면 한쪽만 바뀐 결과를 완료로 인정하지 않습니다. 합계 보존은 이 예의 불변 조건입니다.

3. TP를 검토·인증하는 사람과 일상 거래를 실행하는 권한을 분리합니다. 한 사용자가 자기 권한을 바꾸고 자기 이체를 승인할 수 있으면 절차는 겉모양만 남습니다.

4. IVP는 장부의 불변 조건과 일관성 등을 확인합니다. 합계가 맞는다고 모든 이체가 정당한 것은 아니므로 사용자 권한·승인 증거·감사 기록도 함께 보아야 합니다.

깨달음무결성은 파일이 바뀌지 않았다는 뜻만이 아닙니다. 허용된 사람이 올바른 절차로 일관된 상태 변화를 만들었다는 보장이 필요합니다.