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

Sintesi Tecnica: Substrati Neutrali per Registri Condivisi sotto Disaccordo Interpretativo Persistente

Configurazione del Problema
I registri di responsabilità condivisa sono frequentemente utilizzati da parti diverse (ad esempio, istituzioni, auditor, regolatori, individui interessati) che possono condividere un riferimento comune a un evento, un'entità o una decisione, ma che mantengono disaccordi persistenti, potenzialmente permanenti, riguardanti la causalità, la responsabilità, la giustificazione o l'interpretazione normativa.

Il documento identifica un fallimento strutturale nel design di tali registri: un registro condiviso non può rimanere neutrale se il suo strato fondante compie un "impegno a livello di oggetto rispetto allo strato del substrato" (object-level substrate-layer commitment) verso una proposizione causale o normativa contestata. Se il registro afferma una specifica interpretazione (ad esempio, "l'Evento A ha causato l'Evento B" o "la Decisione D era giustificata dalla Regola R") come un fatto del substrato stesso, esso si allinea strutturalmente con un framework interpretativo a scapito di altri. Al contrario, l'omissione totale delle pretese contestate sopprime l'informazione necessaria per la responsabilità (accountability). Il problema centrale è come preservare le pretese contestate senza adottarle come verità del base condiviso.

Metodologia e Definizioni
Il documento impiega la strumentazione rappresentazionale standard — reificazione, attribuzione e provenienza — all'interno di un framework ontologico formale. Non introduce nuovi meccanismi logici, ma li applica per definire un vincolo di design specifico.

Definizioni chiave includono:

• Substrato ($S$): Una base rappresentazionale condivisa che fornisce un riferimento stabile (individuazione, co-riferimento, persistenza) per entità e artefatti attraverso una classe di framework interpretativi ammissibili ($F$).
• Impegno dello Strato del Substrato (Substrate-Layer Commitment): Una proposizione $p$ è impegnata dal substrato se $S \vdash p$ indipendentemente da qualsiasi framework.
• Proposizione di Attribuzione: Una proposizione della forma $Asserts(x, \phi)$, che indica che una specifica fonte $x$ afferma $\phi$. Il substrato si impegna sull'attribuzione, non sul contenuto $\phi$.
• Proposizione Interpretativa a Livello di Oggetto: La proposizione asserita $\phi$ stessa.
• Framework Ammissibile: Un framework che soddisfi coerenza interna, fondamento probatorio e una funzione interpretativa documentata. L'ammissibilità non implica l'accordo; i framework possono dissentire su causalità o norme.
• Base Comune Referenziale (Referential Common Ground): Un'assunzione che gli impegni referenziali ($S_{ref}$) del substrato siano compatibili con ogni framework ammissibile.

Il Vincolo di Neutralità
Il contributo centrale del documento è un vincolo di design bicondizionale, il Vincolo 5.2 (Neutralità), che garantisce la "neutralità per design" sotto due assunzioni specifiche:

1. Contestabilità: Le proposizioni causali e normative non sono garantite come invarianti rispetto al framework al momento del design.
2. Base Comune Referenziale: I legami referenziali del substrato sono compatibili con tutti i framework ammissibili.

Il Vincolo:
Un substrato $S$ è neutrale per design (garantendo l'impegno interpretativo non assunto e la stabilità dell'estensione) se e solo se il suo strato fondante è limitato a:

1. Impegni referenziali ($S_{ref}$): Identificatori, tipi, timestamp, provenienza e relazioni che fissano ciò a cui si sta facendo riferimento.
2. Proposizioni di attribuzione permesse: Asserzioni della forma $Asserts(x, \phi)$ dove la base attribuzionale (fonte, occorrenza, provenienza) è fissata da $S_{ref}$.

Crucialmente, il substrato non deve compiere alcun impegno causale o normativo a livello di oggetto. Il contenuto causale o normativo può esistere nel registro, ma solo come contenuto di asserzioni attribuite (ad esempio, "Il Framework F afferma che X ha causato Y"), non come l'asserzione del substrato stesso che X ha causato Y.

Meccanismo e Risultati
Il meccanismo per raggiungere la neutralità è la reificazione. Inveve di asserire una proposizione contestata $\phi$, il substrato asserisce $Asserts(x, \phi)$.

• Sufficienza: Se lo strato fondante è limitato agli impegni referenziali e alle attribuzioni permesse, il substrato rimane compatibile con ogni framework ammissibile (Stabilità dell'Estensione) e non si impegna su interpretazioni disputate (Non-impegno Interpretativo).
• Necessità: Se il substrato si impegna in qualsiasi proposizione al di fuori di queste classi permesse (specificamente, una proposizione causale o normativa a livello di oggetto), la neutralità per design non può essere garantita perché le assunzioni non certificano la sua compatibilità con tutti i framework.

Condizioni di Confine
Il documento definisce esplicitamente i limiti di questo vincolo. La neutralità è non disponibile se:

• I framework ammissibili contestano il regime referenziale del substrato (ad esempio, dissentire sul fatto che due record si riferiscano allo stesso evento o se un'identità persista attraverso una fusione).
• I framework ammissibili contestano la base attribuzionale (ad esempio, dissentire su chi abbia fatto un'asserzione, cosa sia stato asserito o la provenienza dell'asserzione).
  In questi casi limite, il disaccordo risiede nel riferimento o nell'attribuzione stessa, non solo nell'interpretazione, impedendo l'instaurazione di una base comune neutrale.

Significato e Rivendicazioni
Il documento sostiene di fornire una condizione verificabile per lo strato fondante dei registri di responsabilità condivisa. Il suo significato risiede in:

1. Formalizzare la Neutralità: Andare oltre l'idea che la neutralità richieda l'omissione di contenuti, definendo la neutralità come la separazione tra attribuzione e asserzione allo strato fondante.
2. Garanzia al Momento del Design: Offre una garanzia strutturale che un registro rimarrà utilizzabile da futuri framework ammissibili e ignoti, a condizione che la base comune referenziale sussista.
3. Preservare la Responsabilità (Accountability): Permette ai registri di catturare "chi ha detto cosa" e la provenienza delle pretese senza costringere il sistema condiviso ad adjudicare la verità di tali pretese.

Il documento dichiara esplicitamente di non:

• Proporre un formato di dati specifico (si applica a relazionale, grafi, RDF, ecc.).
• Giudicare quale framework sia corretto.
• Risolvere la responsabilità generale o determinare la responsabilità giuridica (liability).
• Dichiarare che il riferimento sia sempre condiviso (identifica il confine in cui il riferimento è contestato).

Il lavoro funge da condizione strutturale per i registri sotto disaccordo persistente, assicurando che il substrato condiviso supporti il disaccordo senza cancellare le pretese contestate o adottarle come verità del sistema.