Endpoint Sufficiency Behavioral Quotients

Technische Samenvatting: Wanneer is het vergeten van herkomst (provenance) wettig?

Probleemstelling
Generatieve systemen produceren vaak objecten die op meerdere abstractieniveaus kunnen worden gerepresenteerd. Eén representatie legt alleen het "zichtbare eindpunt" vast (het uiteindelijke object), terwijl een andere de volledige "herkomst" (afstamming, samenvoegingsgebeurtenissen, afhankelijkheidsstructuren) behoudt. Hoewel eindpunt-representaties kleiner zijn, lopen ze het risico foutieve staatbeschrijvingen te zijn als de admissibiliteitswetten van het systeem afhankelijk zijn van de lineage. Het kernprobleem dat wordt geadresseerd is het bepalen van de exacte conditie waaronder herkomstinformatie veilig kan worden vergeten zonder het wettige toekomstige gedrag van het systeem te wijzigen. Specifiek vraagt het artikel: wanneer behoudt een eindpuntprojectie voldoende informatie om wettige transities te bepalen, en wat is de maximale hoeveelheid herkomst die kan worden weggegooid?

Het artikel daagt de informele aanname uit dat "eindpunt-toereikendheid" een enkel, uniform concept is. Het demonstreert dat dit begrip varieert afhankelijk van het observatieniveau: of men alleen geïnteresseerd is in direct geactiveerde regels, eindige sequenties van regellabels (traces), of de volledige vertakkende structuur van toekomstige mogelijkheden.

Methodologie
De auteur formaliseert het probleem met behulp van Lawful Generative Transition Systems (LGTS). Een LGTS wordt gedefinieerd als een tupel $T = (S, \Sigma, \to, U, X, \cong_X)$, waarbij:

• $S$ een verzameling van met herkomst gedecoreerde voorkomens (occurrences) is.
• $\Sigma$ een verzameling regellabels is.
• $\to$ de wettige gelabelde transitierelatie is.
• $U: S \to X$ een eindpuntprojectie is die voorkomens mapt naar zichtbare objecten.
• $\cong_X$ een equivalentierelatie is op zichtbare objecten.

De studie analyseert de relatie tussen de eindpunt-equivalentierelatie ($\equiv_U$, waarbij $s \equiv_U t \iff U(s) \cong_X U(t)$) en diverse gedragsequivalenties. De analyse verloopt via drie verschillende observatieniveaus:

1. Enabled Sufficiency (Geactiveerde Toereikendheid): Het behouden van de verzameling direct beschikbare regellabels.
2. Trace Sufficiency (Trace Toereikendheid): Het behouden van de verzameling van alle eindige regel-label traces.
3. Quotient (Branching) Sufficiency (Quotiënt/Vertakkende Toereikendheid): Het behouden van de vertakkende transitiestructuur modulo eindpunt-equivalentie.

Het artikel maakt gebruik van standaard processemantische instrumenten, inclusief trace-equivalentie, sterke bisimulatie, co inductie en partitie-verfijning, specifiek toegepast op de grens tussen eindpunt en herkomst.

Belangrijkste Bijdragen en Resultaten

1. Een strikte driedelige hiërarchie
Het artikel stelt vast dat de drie niveaus van toereikendheid verschillend zijn en een strikte hiërarchie vormen:
$$\text{Quotient Sufficiëntie} \implies \text{Trace Sufficiëntie} \implies \text{Enabled Sufficiëntie}$$

• Enabled Sufficiency is de zwakste; het vereist alleen dat equivalente eindpunten dezelfde verzameling geactiveerde volgende stappen hebben.
• Trace Sufficiency vereist dat equivalente eindpunten dezelfde verzameling eindige regel-label sequenties genereren.
• Quotient Sufficiency is de sterkste; het vereist dat de verzameling bereikbare eindpuntklassen voor een gegeven label alleen afhangt van de huidige eindpuntklasse, en niet van de specifieke herkomstgeschiedenis.

2. Exacte criteria voor toereikendheid
Het artikel biedt precieze wiskundige criteria voor wanneer een eindpuntprojectie toereikend is op elk niveau:

• Trace-niveau: De projectie is trace-toereikend indien en slechts indien de eindpunt-equivalentie een deelverzameling is van de trace-equivalentie ($\equiv_U \subseteq \equiv_{tr}$).
• Vertakkingsniveau: De projectie is quotient-toereikend indien en slechts indien de eindpunt-equivalentie een sterke bisimulatie-equivalentie is. Dit betekent dat voor twee eindpunt-equivalente staten elke transitie vanuit de ene staat kan worden gematcht door een transitie vanuit de andere staat naar een staat die ook eindpunt-equivalent is.

3. Canonieke reparaties en maximale vergetelheid
Wanneer de ruwe eindpunt-equivalentie faalt om toereikend te zijn, stelt het artikel twee "canonieke reparaties" voor die de grofste mogelijke verfijning van staten identificeren die het gewenste gedrag behouden terwijl de zichtbare eindpunten worden gerespecteerd:

• Voor Lineaire Tijd (Traces): De relatie $E^U_{tr} = \equiv_U \cap \equiv_{tr}$ is de grootste equivalentierelatie die eindpunten respecteert en eindige traces behoudt. Het identificeert exact die eindpunt-equivalente voorkomens wiens toekomst ononderscheidbaar is als regel-label traces.
• Voor Vertakkende Tijd (Exacte Quotiënten): De relatie $\approx_U$, gedefinieerd als de unie van alle eindpunt-respecterende sterke bisimulaties, is de grootste eindpunt-respecterende sterke bisimulatie. Het quotientsysteem $T / \approx_U$ is de maximaal grove exacte vertakkende quotient.
  • Universele eigenschap: Elke andere exacte eindpunt-respecterende quotient verfijnt deze canonieke quotient. Hiermee is $\approx_U$ de maximale hoeveelheid herkomst die kan worden vergeten terwijl een exacte vertakkende semantiek behouden blijft.

4. Algoritmische berekening
Voor eindige systemen beschrijft het artikel een terminerende partitie-verfijningsprocedure om $\approx_U$ te berekenen. Het algoritme initialiseert met de partitie van de eindpunt-equivalentieklassen en verfijnt deze iteratief op basis van de "signaturen" van opvolger-blokken (de verzamelingen bereikbare blokken voor elk label). De procedure stabiliseert bij de partitie die overeenkomt met $\approx_U$.

5. Toepassing op Nested Recursive-Recombinant Generation (NRRG)
Het artikel past deze resultaten toe op een specifiek kader van met herkomst gedecoreerde NRRG. Het presenteert een getuige waarbij twee voorkomens ($e_G$ en $e_H$) dezelfde zichtbare graaf-eindpunt ($I \to A \to B$) delen, maar verschillen in hun recombinant-afstamming.

• In $e_G$ staat de afstamming een rewrite-regel die de grens raakt ($R_B$) toe.
• In $e_H$ verbiedt de afstamming $R_B$.
• Resultaat: De partitie-verfijningsprocedure scheidt $e_G$ en $e_H$ in de eerste ronde omdat hun verzamelingen geactiveerde opvolgers verschillen. Dit demonstreert dat eindpunt-isomorfisme niet impliceert dat er sprake is van gedragsequivalentie, zelfs niet op het niveau van de geactiveerde status, en dat de voorgestelde verfijningsprocedure het noodzakelijke onderscheid correct identificeert.

Betekenis en Claims
Het artikel claimt de "alles-of-niets"-eis te vervangen, waarbij men ofwel alle herkomst moet behouden of het geheel moet weggooien, door een exact criterium voor wettelijke vergetelheid.

• Operationeel residu: Het verschil tussen de ruwe eindpuntklassen en de verfijnde klassen ($\approx_U$ of $E^U_{tr}$) vormt het "operationele residu" van de herkomst—historische informatie die actief blijft in de toekomstige transitieruimte.
• Abstractie-exactheid: Het werk herkadert het probleem van abstractie niet louter als soundheid (overbenadering), maar als exactheid voor een gekozen semantiek. Een ruwe quotient die staten samenvoegt zonder bisimulatie te controleren, kan gedragingen creëren (inflatie) die niet wettig zijn voor specifieke voorkomens.
• Domein-agnosticisme: De resultaten worden gepresenteerd als formele criteria die toepasbaar zijn op elk systeem waar admissibiliteit afhangt van lineage (bijv. softwarestaten, juridische instrumenten, wetenschappelijke claims), mits het systeem als een labeled transition system met een eindpuntprojectie kan worden gemodelleerd.

Het artikel concludeert dat herkomst precies kan worden gewist over die voorkomens-onderscheidingen die de gekozen wettige toekomstige semantiek niet veranderen. Wat overblijft na maximale veilige erosie is niet historische decoratie, maar de ware generatieve staat.