2022 年、Alex Smolen が挙げたセキュリティ不変条件の候補リストの先頭は「すべてのソフトウェアサービスがシングルサインオンを使う」でした。4 年後のいま、そのチェックはモデルが数秒で書きます。それを真であり続けさせるもの——エンジン、3 つのファイルからなる種、そして例外の正直な置き場所——こそ、設計する価値のある部分です。
