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

Resumo Técnico: Substratos Neutros para Registros Compartilhados sob Desacordo Interpretativo Persistente

Configuração do Problema
Registros de responsabilidade compartilhada são frequentemente utilizados por diversas partes (ex: instituições, auditores, reguladores, indivíduos afetados) que podem compartilhar uma referência comum a um evento, entidade ou decisão, mas mantêm desacordos persistentes, potencialmente permanentes, sobre causalidade, responsabilidade, justificativa ou interpretação normativa.

O artigo identifica uma falha de design estrutural em tais registros: um registro compartilhado não pode permanecer neutro se sua camada fundamental faz um "compromisso de nível de objeto no nível do substrato" com uma proposição causal ou normativa contestada. Se o registro afirma uma interpretação específica (ex: "O Evento A causou o Evento B" ou "A Decisão D foi justificada pela Regra R") como um fato do próprio substrato, ele se alinha estruturalmente com um framework interpretativo contra outros. Por outro lado, omitir proposições contestadas inteiramente suprime a informação necessária para a prestação de contas (accountability). O problema central é como preservar reivindicações contestadas sem adotá-las como a verdade da base compartilhada.

Metodologia e Definições
O artigo emprega maquinaria representacional padrão — reificação, atribuição e proveniência — dentro de um framework ontológico formal. Não introduz novos mecanismos lógicos, mas aplica-os para definir uma restrição de design específica.

Definições principais incluem:

• Substrato ($S$): Uma base representacional compartilhada que fornece referência estável (individuação, co-referência, persistência) para entidades e artefatos através de uma classe de frameworks interpretativos admissíveis ($F$).
• Compromisso de Nível de Substrato: Uma proposição $p$ é comprometida pelo substrato se $S \vdash p$ independentemente de qualquer framework.
• Proposição de Atribuição: Uma proposição da forma $Asserts(x, \phi)$, indicando que uma fonte específica $x$ afirma $\phi$. O substrato se compromete com a atribuição, não com o conteúdo $\phi$.
• Proposição Interpretativa de Nível de Objeto: A própria proposição afirmada $\phi$.
• Framework Admissível: Um framework que satisfaz consistência interna, fundamentação de evidências e uma função interpretativa documentada. A admissibilidade não implica acordo; os frameworks podem discordar sobre causalidade ou normas.
• Base Comum Referencial: Uma suposição de que os compromissos referenciais ($S_{ref}$) do substrato são compatíveis com todo e qualquer framework admissível.

A Restrição de Neutralidade
A contribuição central do artigo é uma restrição de design bicondicional, a Restrição 5.2 (Neutralidade), que garante "neutralidade por design" sob duas suposições específicas:

1. Contestabilidade: Proposições causais e normativas não são garantidas como invariantes de framework no momento do design.
2. Base Comum Referencial: Os compromissos referenciais do substrato são compatíveis com todos os frameworks admissíveis.

A Restrição:
Um substrato $S$ é neutro por design (garantindo satisfazer a não-imposição interpretativa e a estabilidade de extensão) se, e somente se, sua camada fundamental for restrita a:

1. Compromissos referenciais ($S_{ref}$): Identificadores, tipos, carimbos de tempo (timestamps), proveniência e relações que fixam o que está sendo referido.
2. Proposições de atribuição permitidas: Asserções da forma $Asserts(x, \phi)$ onde a base de atribuição (fonte, ocorrência, proveniência) é fixada por $S_{ref}$.

Crucialmente, o substrato não deve fazer nenhum compromisso causal ou normativo de nível de objeto. O conteúdo causal e normativo pode existir no registro, mas apenas como o conteúdo de asserções atribuídas (ex: "O Framework F afirma que X causou Y"), e não como a própria asserção do substrato de que X causou Y.

Mecanismo e Resultados
O mecanismo para alcançar a neutralidade é a reificação. Em vez de afirmar uma proposição contestada $\phi$, o substrato afirma $Asserts(x, \phi)$.

• Suficiência: Se a camada fundamental for restrita a compromissos referenciais e atribuições permitidas, o substrato permanece compatível com cada framework admissível (Estabilidade de Extensão) e não se compromete com interpretações disputadas (Não-Imposição Interpretativa).
• Necessidade: Se o substrato se comprometer com qualquer proposição fora dessas classes permitidas (especificamente, uma proposição causal ou normativa de nível de objeto), a neutralidade por design não pode ser garantida porque as suposições não certificam sua compatibilidade com todos os frameworks.

Condições de Contorno
O artigo define explicitamente os limites desta restrição. A neutralidade é indisponível se:

• Os frameworks admissíveis contestarem o regime referencial do substrato (ex: discordarem se dois registros se referem ao mesmo evento ou se uma identidade persiste através de uma fusão).
• Os frameworks admissíveis contestarem a base de atribuição (ex: discordarem sobre quem fez uma asserção, o que foi afirmado ou a proveniência da asserção).
  Nesses casos de contorno, o desacordo reside na própria referência ou atribuição, e não apenas na interpretação, impedindo o estabelecimento de uma base comum neutra.

Significância e Alegações
O artigo afirma fornecer uma condição verificável para a camada fundamental de registros de responsabilidade compartilhada. Sua significância reside em:

1. Formalizar a Neutralidade: Ir além da ideia de que a neutralidade requer a omissão de conteúdo, definindo a neutralidade como a separação entre atribuição e asserção na camada fundamental.
2. Garantia de Tempo de Design: Oferece uma garantia estrutural de que um registro permanecerá utilizável por futuros frameworks desconhecidos, desde que a base comum referencial se mantenha.
3. Preservar a Responsabilidade (Accountability): Permite que os registros capturem "quem disse o quê" e a proveniência das reivindicações sem forçar o sistema compartilhado a adjudicar a verdade dessas reivindicações.

O artigo explicitamente declara que não:

• Propõe um formato de dados específico (aplica-se a relacional, grafos, RDF, etc.).
• Adjudica qual framework é o correto.
• Resolve a responsabilidade geral ou determina a responsabilidade jurídica (liability).
• Alega que a referência é sempre compartilhada (identifica o limite onde a referência é contestada).

O trabalho serve como uma condição estrutural para registros sob desacordo persistente, garantindo que o substrato compartilhado suporte o desacordo sem apagar as reiv been contestadas ou adotar o conteúdo delas como a verdade do sistema.