Neutral Substrates: A Design Constraint for Shared Records Under Persistent Interpretive Disagreement

技術的要約：持続的な解釈の不一致下における共有記録のための中立的な基質

問題設定
共有された責任記録（accountability records）は、多様な当事者（例：機関、監査人、規制当局、影響を受けた個人）によって頻繁に利用される。これらの当事者は、ある出来事、実体、または決定に対して共通の参照を持つ場合があるが、因果関係、責任、正当性、または規範的解釈に関して、持続的かつ潜在的に永続的な不一致を抱えている。

本論文は、こうした記録における構造的な設計上の失敗を特定している。すなわち、共有記録は、その基礎層が「対象レベルの基質層へのコミットメント（object-level substrate-layer commitment）」、つまり論争の的となっている因果的または規範的な命題に対して行う場合、中立であり続けることはできない。もし記録が、特定の解釈（例：「事象Aが事象Bを引き起こした」や「決定Dは規則Rによって正当化された」）を基質の事実として断定すれば、それは特定の解釈枠組みに対して構造的に同調することになる。逆に、論争のある主張を完全に排除することは、説明責任に必要な情報の提供を抑制してしまう。核心となる問題は、いかにして、それらの主張を基質自体の真理として採用することなく、論争のある主張を保存するかである。

手法および定義
本論文は、標準的な表現メカニズムである再実体化（reification）、属性付与（attribution）、およびプロベナンス（provenance）を、形式的なオントロジーの枠組みの中で用いる。本論文は新しい論理メカニズムを導入するのではなく、これらを適用して特定の設計制約を定義する。

主な定義は以下の通りである：

• 基質 (Substrate, $S$): 一連の許容可能な解釈枠組み（$F$）にわたって、実体やアーティファクトに対する安定した参照（個体化、共参照、永続性）を提供する、共有された表現基盤。
• 基質層へのコミットメント (Substrate-Layer Commitment): 命題 $p$ が、基質 $S$ によって、任意の枠組みに依存せず独立して $S \vdash p$ とされること。
• 属性付与命題 (Attribution Proposition): 特定のソース $x$ が $\phi$ を主張していることを示す、$Asserts(x, \phi)$ という形式の命題。
• 対象レベルの解釈命題 (Object-Level Interpretive Proposition): 主張されている命題 $\phi$ 自体。
• 許容可能な枠組み (Admissible Framework): 内部の一貫性、証拠に基づく根拠、および文書化された解釈機能を満たす枠組み。許容性は合意を意味しない。枠組み間では、因果関係や規範について相違が生じ得る。
• 参照的共通基盤 (Referential Common Ground): 基質の参照的コミットメント（$S_{ref}$）が、すべての許容可能な枠組みと互換性を持つという仮定。

中立性の制約
本論文の中心的貢献は、二つの特定の仮定の下で「設計による中立性（neutrality by design）」を保証する、二条件的な設計制約である。

1. 論争可能性 (Contestability): 因果的および規範的な命題は、設計時に枠組み間で不変であることが保証されない。
2. 参照的共通基盤 (Referential Common Ground): 基質の参照的コミットメントは、すべての許容可能な枠組みと互換性がある。

制約:
基質 $S$ が、設計による中立性（解釈的非コミットメントおよび拡張の安定性を保証すること）を満たすための必要十分条件は、その基礎層が以下に限定されることである：

1. 参照的コミットメント ($S_{ref}$): 識別子、型、タイムスタンプ、プロベナンス、および何を参照しているかを固定する関係。
2. 許可された属性付与命題: $Asserts(x, \phi)$ という形式の主張であり、その属性付与の根拠（ソース、発生、プロベナンス）が $S_{ref}$ によって固定されているもの。

極めて重要な点として、基質は、対象レベルの因果的または規範的なコミットメントを行ってはならない。 因果的または規範的な内容は記録内に存在し得るが、それはあくまで属性付与された主張の内容（例：「枠組みFは、XがYを引き起こしたと主張している」）としてのみ存在しなければならない。

メカニズムおよび結果
中立性を達成するためのメカニズムは、再実体化 (reification) である。論争のある命題 $\phi$ を直接主張する代わりに、基質は $Asserts(x, \phi)$ を主張する。

• 十分性: 基礎層が参照的コミットメントと許可された属性付与に限定されている場合、基質はすべての許容可能な枠組みと互換性を保ち（拡張の安定性）、解釈的非コミットメントを満たす。
• 必然性: 基質がこれらの許可されたクラス以外の命題（具体的には、対象レベルの因果的または規範的な命題）をコミットする場合、仮定に基づいても設計による中立性は保証されない。

境界条件
本論文は、この制約の限界を明示的に定義している。中立性は、以下の場合には利用不可能となる：

• 許容可能な枠組みが、基質の参照体制 (referential regime) を論争する場合（例：二つの記録が同一の事象を参照しているか、あるいは合併を通じてアイデンティティが維持されているかについて不一致がある場合）。
• 許容可能な枠組みが、属性付与の根拠 (attributional basis) を論争する場合（例：誰が主張を行ったか、何が主張されたか、あるいはその主張のプロベナンスについて不一致がある場合）。
  これらの境界事例においては、不一致は解釈そのものではなく、参照または属性付与自体に存在しており、中立的な共有基盤の確立を妨げている。

意義および主張
本論文は、共有された説明責任記録の基礎層に対する検証可能な条件を提供すると主張している。その意義は以下の点にある：

1. 中立性の形式化: 中立性を「内容を排除すること」とする考えを超え、基礎層における「属性付与」と「断定」の分離として定義したこと。
2. 設計時の保証: 参照的共通基盤が保持される限り、記録が将来の未知の許容可能な枠組みに対しても使用可能であることを、構造的に保証すること。
3. 説明責任の保持: 「誰が何を言ったか」およびそれらの主張のプロベナンスを捉えることを可能にしつつ、共有システムに対してそれらの主張の真偽を裁定することを強いないこと。

本論文は、以下の事項を明確に述べている（これらを行うものではない）：

• 特定のデータ形式の提案（リレーショナル、グラフ、RDFなど、あらゆる形式に適用可能）。
• どの枠組みが正しいかの裁定。
• 一般的な説明責任の解決、または責任の判定。
• 参照が常に共有されるという主張（参照が論争される境界を特定している）。

本研究は、持続的な不一致下における記録のための構造的条件として機能し、共有された基質が、論争のある主張を消去したり、それらをシステムの真理として採用したりすることなく、不一致をサポートできることを保証するものである。