原文
ERC-XXXX: Scope Contestation Registry — permissionless observation-scope completeness contestability — Damonzwicker (2026-06-24)
概要
この標準は、スコープ異議申し立てレジストリのインターフェースを定義します。これは、アクターが観測した座標のセット（その観測スコープ）を外部コミットメントにバインドしてコミットし、任意のパーティが特定の座標がそのコミットされたセットに不在であったことをオンチェーンで証明できる、パーミッションレスなメカニズムです。レジストリはそのような証明を永続的かつ再計算可能に記録します。それは何も裁定しません — 欠落した座標が重要であったかどうかを決定しません。その唯一の保証は、コミットされたスコープからの省略が構造的に不可視ではないということです。すべての省略は指名可能であり、一度指名されれば、公開データから永続的かつ検証可能になります。
動機
検証可能なエージェントシステムは、記録された評決が忠実であること、つまり、その結果が出る前にコミットされ、公開データから再計算可能であり、信頼できる当事者に依存しないことを証明できます。しかし、評決の背後にある観測スコープが完全であったことを証明することはできません。エージェントは、観測した内容から座標を正直に（または意図的に）省略し、完全に有効な署名済みレシートを発行し、すべてのダウンストリーム検証チェックを通過させることができます。この証明は、記録された観測の完全性を保証するものであり、観測セットの完全性を保証するものではありません。
これは構造的な盲点です。システムは提出されたものを記録し、提出されなかったものについては何も言及しません。省略された座標は痕跡を残しません。完全性は事前には証明できません。可能な座標の全空間を事前に列挙することは、まさにこの盲点が妨げることです。提供できるのは**異議申し立て可能性**です。これは、不可視の省略を永続的で、パーミッションレスで、再計算可能な主張に変換するメカニズムです。
具体的な事例：
- 資産回復。 資産を回復するよう委託されたエージェントは、検索する資産セットをコミットします。もし既知の攻撃者のアドレスを省略した場合、そのアドレスを保持する誰もがそれを指名し、エージェントがそれをスコープに含めなかったという永続的なオンチェーン証明を生成できます。
- ガバナンス / 評価。 不完全な観測セットに基づいて下された決定は、欠陥のある入力に基づいているにもかかわらず、すべてのレシートチェックを通過します。指名により、省略された入力は黙殺されるのではなく、異議申し立て可能になります。
完全なドラフトEIPとIScopeContestationインターフェース：
GitHub - damonzwicker/scope-contestation: OCP/8281の完全性異議申し立てレイヤー…
OCP/8281エージェント経済スタックの完全性異議申し立てレイヤー。パーミッションレスなソート済みマークル非包含レジストリ — 観測スコープの省略を指名可能かつ永続的にし、不可視にしない。
参照実装（ライブのSepoliaデプロイ）：
hack-ens-recovery/scope-contestation-demo at main · TMerlini/hack-ens-recovery
GitHubでアカウントを作成して、TMerlini/hack-ens-recoveryの開発に貢献しましょう。
形式的基礎 — 認識可能性の幾何学：
geometry_of_knowability_v0.1.pdf
4件の投稿 - 3人の参加者