Interface-Variant Dynamics in Software Ecosystems: Resolver-Induced Selection and Adoption in Package Graphs

Technische Samenvatting: Interface-variant Dynamiek in Software-ecosystemen

Probleemstelling
Het artikel adresseert een gat in compatibiliteitsonderzoek, dat interfacewijzigingen doorgaans behandelt als lokale beslissingen tussen één schrijver (provider) en lezer (consumer). In gedistribueerde softwarestacks zijn deze beslissingen echter populatiestructuur-afhankelijk. Wanneer een provider een contractvariant introduceert (bijv. een gewijzigde protobuf, IDL of JSON-schema), is de uitkomst niet binair, maar wordt deze gemedieerd over een complexe graaf van consumenten, transitieve afhankelijkheden en package-manager resolver-regels. De centrale engineeringvraag is of een lokaal geïntroduceerde variant kan propageren door een client-provider package-graaf onder de specifieke update-regels van het ecosysteem, of dat deze wordt onderdrukt door resolver-conflicten. De auteurs kaderen dit als een probleem van evolutionaire graaftheorie, waarbij pakketadoptie een imitatieproces is op een eindige graaf, maar zij benadrukken de noodzaak van een "identificeerbaarheidsdiscipline" om te waarborgen dat selectie-estimators niet louter de data herlabelen die ze gevraagd worden te bewijzen.

Methodologie
De studie hanteert een meerfasige audit over vier belangrijke ecosystemen: npm, Maven Central, PyPI en crates.io.

1. Kalibratie en Instrumentatie: De auteurs stellen eerst een betrouwbaar lokaal compatibiliteitsinstrument vast. Ze kalibreren tegen drie onafhankelijke referenties: geobserveerde OpenTelemetry protobuf-transities (gecontroleerd met buf), synthetische Buf-WIRE conformiteitscasussen, en ROS 2 IDL-transities (geëvalueerd met een DDS-XTypes-stijl checker). Dit zorgt ervoor dat "accept" en "reject" labels een hoge voorspellende waarde hebben voordat ze worden gebruikt in populatieclaims.
2. Resolver Probes en Selectie-estimatie ($s$): De kernmetriek is een ecosysteem-specifieke selectiecoëfficiënt, $s_e$. De auteurs voeren meer dan 2.100 package-manager resolver-probes uit op "latest-reject" edges (waar een consumentenrestrictie de nieuwste release van de provider afwijst). Ze meten de waarschijnlijkheid dat een schone reject-probe nog steeds succesvol wordt opgelost ($\hat{r}^-$) versus een checker-geaccepteerde probe ($\hat{r}^+$). De selectiecoëfficiënt wordt berekend als $s_e = \log(\hat{r}^- / \hat{r}^+)$. Dit meet de log-relatieve levensvatbaarheid van een grenskant onder de resolver van het ecosysteem.
3. Forward Fixation Evaluatie: Gebruikmakend van de gemeten $s_e$ draaien de auteurs Monte Carlo-simulaties van een pairwise-comparison absorbing proces op de geobserveerde pakketgrafen. Ze berekenen de fixatiekans $\rho(s_e, G_e)$ en vergelijken deze met een neutraal benchmark ($1/N$). Dit wordt expliciet behandeld als een forward evaluatie van de gemeten $s$, en niet als onafhankelijk bewijs.
4. Adoptie Validatie: Om te testen of het populatiemodel standhoudt tegen de historische realiteit, minen de auteurs tijdgestempelde registry-historieën (2.995 consumer-release observaties). Ze maken onderscheid tussen:
   • Checker-proximale diagnostiek: Testen of de richting van de toewijsbaarheid (provider vs. consument gefavoriseerd) adoptiekloven voorspelt.
   • Checker-vrije temporele voorspelling: Testen of resolver-channel features (leeftijd, resolver uitkomst, ecosysteem-penalty) toekomstige "blocked-to-admitted" flips voorspellen zonder de checker-state opnieuw te gebruiken als antwoord.

Belangrijkste Bijdragen

1. Gekalibreerd Directional-Assignability Instrument: Een tool voor gegenereerde interfaces die gebruikmaakt van accept-side gates in plaats van ongeteste compatibiliteitslabels, gevalideerd tegen meerdere externe standaarden.
2. Ecosysteem-specifieke Resolver Selection Estimator: Een kwantitatieve maat ($s$) afgeleid direct van echte package-manager executie-waarschijnlijkheden, in plaats van toegewezen via vocabulaire.
3. Forward Fixation en Topologie Diagnostiek: Een analyse van registry-schaal grafen waarbij fixatie en topologie-effecten ($\Delta\rho$) worden gerapporteerd als gekalibreerde consequenties van de gemeten $s$, waarbij ze worden onderscheiden van onafhankelijke validatie.
4. Held-Out Adoptie Audit: Een rigoureuze audit van registry-historieën inclusief richting-permutatietests, checker-vrije temporele flip-voorspellingen en hiërarchische consistentiteitscontroles tussen resolver-penalties en adoptiekloven.

Resultaten

• Resolver Selection: De studie vindt significante negatieve selectie (onderdrukking) in Maven ($s \approx -1.29$), PyPI ($s \approx -2.19$) en npm ($s \approx -0.13$), wat aangeeft dat gemengde versie-grenzen succesvolle resolutie scherp verminderen. Cargo wordt als bijna-neutraal gevonden ($s \approx -0.007$).
• Fixation: De forward evaluatie laat zien dat zodra $s$ is gemeten, de afwijking van de neutrale $1/N$ benchmark een mechanisch gevolg is van het niet-neutrale proces. De resultaten plaatsen resolver-penalties op de registry-graaf schaal, maar bewijzen het populatiehypothese niet onafhankelijk.
• Checker-Derived Signal: Er is een sterk signaal in de checker-afgeleide richting. Modellen die de checker-richting gebruiken, verminderen de Mean Absolute Error (MAE) in het voorspellen van adoptiekloven aanzienlijk (0.07 vs. 0.43 voor de null-mediaan, $p=0.002$).
• Checker-Free Prediction: De strengere test—het voorspellen van toekomstige admission flips zonder de checker-state te gebruiken—laat niet zien dat resolver-channel features onafhankelijk toekomstige adoptie voorspellen. Het resolver-channel model (Brier 0.28, AUC 0.51) presteert niet beter dan een age-only baseline (Brier 0.24, AUC 0.54).
• Consistentie: Een hiërarchisch model laat een positieve koppelingshelling zien tussen resolver-penalties en checker-direction adoptie-schattingen, maar resterende heterogeniteit blijft groot. Factoren zoals onderhouds-recentheid (actieve vs. verouderde providers) verstoren de adoptiefrequenties aanzienlijk.

Significantie en Claims
Het artikel claimt niet onafhankelijk te hebben gevalideerd dat software-adoptiegeschiedenissen een specifiek evolutionair selectiekanaal volgen. In plaats daarvan presenteert het een reproduceerbare estimator audit. De significantie ligt in:

• Definiëren van de grens van identificeerbaarheid: Het demonstreert expliciet waar resolver-bewijs overgaat in populatie-input en waar de huidige registry-data de loop niet kunnen sluiten.
• Onderscheid tussen Signaal en Herlabeling: Het scheidt "fixatie" (een forward evaluatie van een gemeten parameter) van "bewijs" (onafhankelijke validatie), om de verwarring tussen beide te voorkomen.
• Diagnostische Nut: Het bevestigt dat de checker-afgeleide richting een reëel adoptie-signaal draagt, maar identificeert ook het "faalpunt": de resolver-naar-adoptie loop is meetbaar en diagnoseerbaar, maar nog niet gesloten door de huidige snapshot van data. Het werk transformeert interface-evolutie van een beschrijvende herlabelingsoefening naar een falsifieerbare estimator-pipeline, terwijl het eerlijk rapporteert over de beperkingen van de huidige data bij het voorspellen van toekomstige adoptie enkel vanuit resolver-mechanica.