比較不変ベンチマークスイート v1.0 は、標準的なコヒーレンス忠実度レイヤー (SCFL) プログラム内の凍結された研究者グレードのアーティファクトです。その目的は、提案された不変性、演算子、または組織原則が、制御された比較シナリオにおいて測定可能な安定性、漂流、または失敗を示すかを評価するための中立的で再現可能なテストベッドを提供することです。このスイートでは以下を定義しています: SCFL の Tier‑1、Tier‑2、Tier‑3 測定クラスから抽出された標準的な不変のセット 変形、動き、不安定性のサインを明らかにするために設計された比較テストの構造化されたバッテリー 同一で再生可能な条件下で全ての比較が行われることを保証するシーム定義実行プロトコル ストレス、摂動、またはドメイン間転送の下でコヒーレンスを維持できない不変を排除するための偽造優先姿勢 結果を機関間で集約、複製、アーカイブできるようにする標準化された要約行出力フォーマット このベンチマークスイートはドメインに依存せず、機関、金融、インフラ、または合成環境に適用可能です。これは、不変がより広範な採用または SCFL のより高いティア測定アーキテクチャへの統合が検討される前に、早期段階の科学的検証を支援するように設計されています。このアーティファクトは v1.0 として凍結されており、事前に全てのパラメータがロックされており、事後の調整を防ぎます。将来のバージョンでは、不変ライブラリを拡充し、追加の比較レジームを取り入れ、Tier‑0.5 デモケースからの結果を統合する予定です。
ロナルド・ブログドン（火曜日）はこの問題を研究しました。