2022 年、Alex Smolen が挙げたセキュリティ不変条件の候補リストの先頭は「すべてのソフトウェアサービスがシングルサインオンを使う」でした。4 年後のいま、そのチェックはモデルが数秒で書きます。それを真であり続けさせるもの——エンジン、3 つのファイルからなる種、そして例外の正直な置き場所——こそ、設計する価値のある部分です。
私がレビューする脅威モデルには、必ず「レピュテーション毀損」という行があり、必ず High と採点されています。しかしその行が前提にしている連鎖は、最初のリンクで切れていました。解約率の低さが測っているのは、顧客の寛容さではなくスイッチングコストだったのです。ではコストはどこか別の場所へ移ったのか。調べてみると、移っていませんでした。
