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

Technische Samenvatting: Neutrale Substraten voor Gedeelde Dossiers onder Persistente Interpretatieve Onenigheid

Probleemstelling
Gedeelde verantwoordelijkheidsdossiers worden frequent gebruikt door diverse partijen (bijv. instellingen, auditors, toezichthouders, betrokken individuen) die weliswaar een gemeenschappelijke referentie delen naar een gebeurtenis, entiteit of besluit, maar die hardnekkige, potentieel permanente meningsverschillen koesteren over causaliteit, verantwoordelijkheid, rechtvaardiging of normatieve interpretatie.

Het artikel identificeert een structureel ontwerpfout in dergelijke dossiers: een gedeeld dossier kan niet neutraal blijven als de fundamentele laag een "object-niveau substraat-laag verbintenis" aangaat met een betwiste causale of normatieve propositie. Als het dossier een specifieke interpretatie (bijv. "Gebeurtenis A veroorzaakte Gebeurtenis B" of "Besluit D werd gerechtvaardigd door Regel R") als een feit van het substraat zelf presenteert, stemt het structureel af met één interpretatief kader ten koste van andere. Omgekeerd zal het volledig weglaten van betwiste claims de informatie die nodig is voor verantwoording onderdrukken. Het kernprobleem is hoe men betwiste claims kan behouden zonder ze als de waarheid van de gedeelde basis te adopteren.

Methodologie en Definities
Het artikel maakt gebruik van standaard representatiemechanismen—reificatie, attributie en provenance—binnen een formeel ontologisch kader. Het introduceert geen nieuwe logische mechanismen, maar past deze toe om een specifieke ontwerpbeperking te definiëren.

Kerndefinities zijn:

• Substraat ($S$): Een gedeelde representatieve basis die stabiele referentie (individuatie, co-referentie, persistentie) biedt voor entiteiten en artefacten over een klasse van toelaatbare interpretatieve kaders ($F$).
• Substraat-laag Verbintenis: Een propositie $p$ wordt door het substraat verbintenis aangegaan als $S \vdash p$ onafhankelijk van elk kader.
• Attributie-propositie: Een propositie van de vorm $Asserts(x, \phi)$, wat aangeeft dat een specifieke bron $x$ $\phi$ beweert. Het substraat verbindt zich tot de attributie, niet tot de inhoud $\phi$.
• Object-niveau Interpretatieve Propositie: De bewered propositie $\phi$ zelf.
• Toelaatbaar Kader: Een kader dat interne consistentie, bewijskracht en een gedocumenteerde interpretatieve functie voldoet. Toelaatbaarheid impliceert geen overeenstemming; kaders kunnen van mening verschillen over causaliteit of normen.
• Referentiële Gemeenschappelijke Grond: Een aanname dat de referentiële verbintenissen ($S_{ref}$) van het substraat compatibel zijn met elk toelaatbaar kader.

De Neutraliteitsbeperking
De centrale bijdrage van het artikel is een biconditionele ontwerpbescherming, Constraint 5.2 (Neutraliteit), die "neutraliteit door ontwerp" garandeert onder twee specifieke aannames:

1. Betwistbaarheid: Causale en normatieve proposities zijn op het moment van ontwerp niet gegarandeerd framework-invariant.
2. Referentiële Gemeenschappelijke Grond: De referentiële verbintenissen van het substraat zijn compatibel met alle toelaatbare kaders.

De Beperking:
Een substraat $S$ is neutraal door ontwerp (gegarandeerd voldoende aan interpretatieve niet-verbintenis en extensiestabiliteit) indien en slechts indien de fundamentele laag beperkt is tot:

1. Referentiële verbintenissen ($S_{ref}$): Identificatoren, typen, tijdstempels, provenance en relaties die vastleggen waar naar verwezen wordt.
2. Toegestane attributie-proposities: Beweringen van de vorm $Asserts(x, \phi)$ waarbij de attributionele basis (bron, gebeurtenis, provenance) wordt vastgesteld door $S_{ref}$.

Cruciaal is dat het substraat geen enkele object-niveau causale of normatieve verbintenis mag aangaan. Causale en normatieve inhoud mag wel in het dossier aanwezig zijn, maar uitsluitend als de inhoud van geattribueerde beweringen (bijv. "Raamwerk F stelt dat X de oorzaak was van Y"), en niet als de eigen bewering van het substraat dat X de oorzaak was van Y.

Mechanisme en Resultaten
Het mechanisme om neutraliteit te bereiken is reificatie. In plaats van een betwiste propositie $\phi$ te beweren, beweert het substraat $Asserts(x, \phi)$.

• Voldoende Voorwaarde: Indien de fundamentele laag is beperkt tot referentiële verbintenissen en toegestane attributies, blijft het substraat compatibel met elk toelaatbaar kader (Extensiestabiliteit) en verbindt het zich niet aan betwiste interpretaties (Interpretatieve Niet-Verbintenis).
• Noodzakelijke Voorwaarde: Indien het substraat zich verbindt tot enige propositie buiten deze toegestane klassen (specifiek een object-niveau causale of normatieve propositie), kan neutraliteit door ontwerp niet worden gegarandeerd omdat de aannames de compatibiliteit met alle kaders niet certificeren.

Grensvoorwaarden
Het artikel definieert expliciet de grenzen van deze beperking. Neutraliteit is niet beschikbaar indien:

• Toelaatbare kaders het referentiële regime van het substraat betwisten (bijv. het oneens zijn over de vraag of twee records naar dezelfde gebeurtenis verwijzen of of een identiteit persisteert tijdens een fusie).
• Toelaatbare kaders de attributionele basis betwisten (bijv. het oneens zijn over wie een bewering heeft gedaan, wat er is beweerd, of de provenance van de bewering).
  In deze grensgevallen ligt de onenigheid in de referentie of de attributie zelf, en niet enkel in de interpretatie, wat de vestiging van een neutrale gedeelde basis verhindert.

Significantie en Claims
Het artikel claimt een controleerbare conditie te bieden voor de fundamentele laag van gedeelde verantwoordelijkheidsdossiers. De significantie ligt in:

1. Formalisering van Neutraliteit: Verder gaan dan het idee dat neutraliteit vereist dat inhoud wordt weggelaten; het definieert neutraliteit als de scheiding van attributie en bewering op de fundamentele laag.
2. Ontwerpgarantie: Het biedt een structurele garantie dat een dossier bruikbaar blijft voor toekomstige, onbekende toelaatbare kaders, mits de referentiële gemeenschappelijke grond standhoudt.
3. Behoud van Verantwoording: Het stelt dossiers in staat om vast te leggen "wie wat zei" en de provenance van claims, zonder dat het gedeelde systeem de waarheid van die claims hoeft te beoordelen.

Het artikel stelt expliciet dat het:

• Geen specifiek dataformaat voorstelt (het is toepasbaar op relationele, graaf-, RDF-, etc. structuren).
• Niet beoordeelt welk kader correct is.
• Geen algemene verantwoording of aansprakelijkheid oplost.
• Niet claimt dat referentie altijd gedeeld is (het identificeert de grens waar referentie betwist wordt).

Het werk dient als een structurele voorwaarde voor dossiers onder persistente onenigheid, waarbij wordt gewaarborgd dat het gedeelde substraat onenigheid ondersteunt zonder betwiste claims uit te wissen of ze als de waarheid van het systeem te adopteren.