「検証済み」は算出されるもの。宣言されるものではない
これらの数値は、このページに同梱されたエンジンからその場で読み取っています。チェックバッテリー、モデル資産台帳、名指しの負債 — スライドではなく、マニフェストです。
プログラムを、その場で
このページのエンジンから、たった今読み取り
実行可能なチェック
20
対象エンジン
15
検証済みモデルファミリー
20
証明なしで参照
0
名指しの負債 — ゼロを維持
なぜ重要か
すべてのチェックはエンジンのバージョンごとに再実行されます。バージョンが上がれば過去の検証はすべて陳腐化します — この規律はエンジン自身にも適用されます。
なぜ検証プログラムが存在するのか
誤ったリスクエンジンは静かに失敗します。数値はもっともらしく見え、ダッシュボードは緑のまま、誤りは意思決定に複利で積み上がります。唯一の防御は、エンジンが答えを迫られる数学です — 閉形式、手計算した規制上の算術、1セント単位で成立すべき恒等式。このウォークスルーでは、その規律が私たち自身のエンジンから見つけた10件の欠陥のうち4件を示し、最後に全バッテリーをあなた自身に実行していただきます。
明示された限界
プログラム全体で10件の実バグが発見・修正されました — すべて数値を良く見せる方向の誤りでした。ここで示す4件は最も示唆的なもので、コミット履歴には10件すべてが残っています。10件目は、まさにこれらのウォークスルーを構築する中で — 対偶実行が標準誤差をどう報告するかの中に — 見つかりました。