銀行エンジニアリング 01：残高ではなく「記録」を正とする

Level 1 基礎：残高は「結果」、台帳は「理由」

通帳に表示される残高は、それまでのすべての入出金を足し引きした「結果」です。銀行が本当に守っているのは結果の数字ではなく、1件1件の「いつ・なぜ・いくら動いたか」という記録です。この記録の集まりを台帳（Ledger）と呼びます。

記録が正しければ残高はいつでも計算し直せます。逆に残高だけを上書きする仕組みでは、数字が合わなくなったときに原因を説明できません。

Level 1 基礎：借方（Debit）と貸方（Credit）

複式記帳では、1つの出来事を必ず2つ以上の勘定に記録し、借方の合計と貸方の合計を一致させます。借方・貸方は「増える・減る」ではなく、記録する欄の左右です。

銀行にとって顧客の預金は「いつか返さなければならないお金」、つまり負債（Liability）です。負債は貸方に記録すると増え、借方に記録すると減ります。

Level 2 銀行業務：10万円を振り込むと何が起きるか

Aさんが同じMiniBankのBさんへ10万円を振り込むと、銀行の中では「Aさんに返す義務が10万円減り、Bさんに返す義務が10万円増える」という1件の出来事になります。銀行の現金は動きません。

1. 01顧客操作（振込依頼）
2. 02本人確認（ワンタイムコード）
3. 03振込の業務記録（public.transfers）
4. 04会計ルール TRANSFER_STANDARD
5. 05仕訳（借方：Aさんの預金 / 貸方：Bさんの預金）
6. 06各勘定の残高
7. 07残高キャッシュの再計算

Level 3 システム：MiniBankでの実装（正常時）

仕訳はすべて ledger.post_journal_entry() という1つの入口から書き込まれます。この関数は、関係する顧客口座をロックし、借方合計と貸方合計が一致しない仕訳を拒否し、最後に仕訳明細から cached_balance を計算し直します。

仕訳とその明細は追記専用です。UPDATE と DELETE はトリガーで拒否されるため、「残高を直接直す」操作はそもそも存在しません。

-- 顧客預金勘定（負債）の残高 = 貸方合計 − 借方合計
select sum(credit_amount) - sum(debit_amount)
from ledger.journal_lines
where ledger_account_id = :deposit_account;

異常時：残高キャッシュと台帳が食い違ったら

Level 4 アーキテクチャ：System of Record はどちらか

MiniBankでは台帳（仕訳）が System of Record（最終的に正しい記録）で、cached_balance は読み取り性能のための派生データです。両者が食い違ったときにどちらを信じるかを設計時に決めておくことが、障害時の判断を速くします。

派生データを持つ以上、ずれは起こり得るものとして扱い、検出（照合）と止める仕組み（LG018）を最初から組み込んでいます。

どこを確認すればよいか

• 管理画面「会計・Ledger」→ 仕訳帳：1件の仕訳の借方・貸方と適用ルール
• 管理画面「Ledger・Posting」：残高再計算の差異一覧
• 管理画面「会計・Ledger」→ 試算表：全体の借方合計＝貸方合計