証明 · 実行結果

証拠が先、主張は後。

決定論は機能ではなく、安全性の性質である。以下は主張の一覧ではなく、実際の実行から得られた成果物である。監査人に見せられる形で。

01再現

決定論

500回の反復を独立に2回実行し、イベントストリームはバイト単位で同一。

リプレイは記録済みカセットで駆動されるため、モデル呼び出しも決定論保証の対象であり、例外ではない。

02代数

すべての代数法則をCIで検証。法則が破れればビルドは失敗する — 警告では済まさない。

内部資料では23件と記載されていたが、実際の実行結果は20件。実行結果の数値を公開する。

03等価

等価性スイートにおいて、当社コンパイラの標準出力は JDK 17 とバイト単位で同一。

「ほぼ同じ」を合格とみなしたことは一度もない。

04防御

危険な操作はプロンプト上の配慮ではなく、規則によって拒否される。

E_NO_CLONING は operator clone : Qubit → (Qubit, Qubit) をコンパイル時に拒否する。物理法則がそう定めているため。

「動く」ことは誰でも示せる。「毎回まったく同じように動き、その証明がある」ことは、規制産業でしか価値が理解されない — そしてそこでは、それ以外に選択肢がない。銀行はCOBOLの基幹システムを推測するツールに任せられない。すべての変換が領収書を残すツールには任せられる。