銀行エンジニアリング 40：デジタルツイン（事実を凍結し、仮定は別に置く）

Level 1 基礎：模型は、天気予報のようなもの

天気予報は、いまの気圧や気温という『事実』に、大気の動き方という『仮定』を掛けて作ります。予報が外れても、昨日の気温の記録は書き換わりません。

デジタルツインも同じです。銀行の実績（元帳の数字）を、ある時点で凍結して写し取り、そこに『金利が上がったら預金はこれだけ動く』といった仮定を掛けて、将来の数字を試算します。試算は予測であって、実績ではありません。

Level 2 銀行業務：何を凍結し、何を仮定にするか

• 仮定の数字はすべて架空の教育用で、実績から自動で推定した『真実』ではない
• 同じ（ベースライン, シナリオ, モデルの版, シード値）の組み合わせは、1回だけ保存される（冪等）

Level 3 システム：MiniBankでの実装

• twin.collect が実績を1つの SQL 文で読み、twin.capture が入力ハッシュを付けて保存する。呼ぶ関数はすべて STABLE で同じスナップショットを共有し、時間帯も固定するので、同じ状態は同じハッシュになる
• twin.simulate は純粋な関数。凍結した事実・シナリオ・パラメータ・シード値だけを読み、表も時計も読まない。元帳・商品・契約・上限には一切書かず、Banking の命令（Posting など）を呼ばない
• 揺らぎは twin.rand（シード値から作る擬似乱数）で入れる。同じシード値なら同じ結果、別のシード値なら別の経路になる
• twin.recompute は、保存された入力から結果を作り直して、保存された結果のハッシュと比べる。入力（ベースライン）を書き換えると、入力ハッシュも結果も合わなくなる
• 実績は twin.runs.results の actual、予測は forecast と別のキーに置く。画面も別の枠・別の色・別のラベル（『実績（元帳）』／『予測（模型の出力）』）で描く

異常時：同じ条件なのに、結果が前回と違う

Level 4 アーキテクチャ：模型は正本を書き換えない

模型が正本（元帳）を書き換えられると、試算のつもりが実際の帳簿を動かしてしまいます。だから模型の関数は、読むための権限すら持たない純粋な関数にし、実績の読取りは『凍結』の一瞬が中心です（実績との差を見るときだけ、いまの実績をもう一度読みます）。もう一つの守りは、予測と実績を混ぜて表示しないことです。混ぜて見せた瞬間に、予測が事実のように読まれます。

どこを確認すればよいか

• 管理画面『Digital Twin』：ベースライン、シナリオの比較、実行の再計算
• テスト：scripts/banking/v20-twin.test.mjs（同じシード値の再現、元帳の不変、恒等式）