第8話 型の契約、結ばれて

沈黙は三秒続いた。田中が最初に口を開いた。

「段階的移行というのは、開発スケジュールに余裕がいるということですか」

「はい。ただ、鈴木さんのデータでは、バグ削減による後工程の効率化で、トータルではペイできる可能性がある」佐藤は慎重に言葉を選んだ。「まずは金額計算ロジックの周辺からです。ここなら影響範囲も限定的です」

鈴木が資料を共有した。赤い点の分布図が、モニターに映った。

「テストケースの追加工数は、これくらい。修正バグの削減が相殺できるなら」と、田中は数字を見ながら考えた。「一ヶ月のパイロット期間をとってみるか」

会議が終わったあと、佐藤は鈴木に声をかけた。

「経営層の判断はどうなったんですか」

「認可がおりた。『試す価値がある』という結論でね」鈴木は淡々と答えた。「だが佐藤、ここからが本当の勝負だ。データと決定は、実装で証明されなければ、ただの予測に終わる」

一ヶ月後、パイロット期間の成果が集計された。バグ報告率は二八パーセント削減。テストケース追加の工数は、事前の見積もりより十五パーセント少なかった。

拡大実装が決まった。佐藤は他のレガシーコード領域への対応計画を立てた。型定義の標準を整備し、段階的に適用していく道筋。新人にも分かりやすい設計ガイドライン。

三ヶ月後、金融システム全体の型安全性指標は大きく改善していた。

そのとき、佐藤は気づいていた。型の契約とは、単なる技術的な厳密性ではない。データと根拠を積み重ね、組織が一緒に判断できる状態をつくること。そして、その判断の責任を、実装で果たすこと。

彼は目の前のコードを眺めた。型による制約が、かつての厄介さから、今では確実さに見えていた。

「次は何ですか」と、後輩が聞いた。

佐藤は画面を指した。「ここだ。一緒に考えよう」