Proof of Scientific Contribution: Eligibility-Gated Scoring and Reserve-Aware Compensation for Human Biological Data

Technische Samenvatting: Proof of Scientific Contribution (PoSC)

Probleemstelling
Het artikel behandelt het specificatieprobleem in onderzoekgeoriënteerde datamarkten, specifiek met betrekking tot menselijke biologische data. Huidige kaders verwarren vaak verschillende beslissingslagen: het bepalen van toestemming (geschiktheid), het beoordelen van taakgerelateerd nut (scoring), het vaststellen van de marktprijs (waardering) en het verdelen van de opbrengsten (compensatie). De auteurs stellen dat de beschikbaarheid van een record niet automatisch toestemming garandeert voor alle onderzoeksdoeleinden, noch een hoge kwaliteitsscore een transactieprijs of een specifieke rechtmatige betaling garandeert. Er is behoefte aan een kader dat deze functies expliciet scheidt, de rekenkunde van compensatie definieert zonder aanspraak te maken op het oplossen van marktwaardering of het garanderen van economisch welzijn, en auditeerbare regels biedt voor hoe de opbrengsten aan bijdragers worden toegewezen.

Methodologie
De studie is een deductieve analyse van een geparametriseerd kader genaamd Proof of Scientific Contribution (PoSC). Er wordt geen gebruik gemaakt van biologische datasets, er worden geen marktexperimenten uitgevoerd en er wordt geen gedrag van deelnemers geanalyseerd. In plaats daarvan vertrouwt het op:

1. Wiskundige Definities: Expliciete definities van geschiktheidspoorten, factor-gebaseerde scoring en toewijzingsregels.
2. Analytische Afleidingen: Bewijzen met betrekking tot de eigenschappen van de toewijzingsvergelijkingen (bijv. begrenzing, uniciteit, invariantie).
3. Deterministische Verificatie: Een onafhankelijke referentie-implementatie in Python (met gebruik van exacte rationale rekenkunde) die is getest tegen een volledig geënumereerde grid van 11.304 toewijzingsconfiguraties en 125 scoringconfiguraties.

Kader-specificatie
Het PoSC-kader werkt via vier afzonderlijke fasen:

1. Eligibility-Gated Scoring (Geschiktheid-gegateerde scoring):

   • Eligibility Gate ($E_{i\ell}$): Een binaire poort ($0$ of $1$) die toestemming, herkomst en acquisitiecontroles vertegenwoordigt. Bij falen wordt een eenheid uit de verzameling geschikte eenheden ($J_\ell$) uitgesloten, ongeacht de kwaliteit.
   • Weighted-Product Score ($S_{i\ell}$): Voor geschikte eenheden wordt een score berekend als een gewogen product van vijf verklaarde factoren: Kwaliteit ($Q$), Verificatie ($V$), Zeldzaamheid ($R$), Longitudinale Volledigheid ($L$) en Cohort Relevantie ($K$).
   • Formule: $S_{i\ell} = E_{i\ell} \cdot b_m(i) \cdot \prod_{d \in A} x_{id\ell}^{w_d}$.
   • De score is een beleidsindex, geen directe maatstaf voor wetenschappelijk nut of marktprijs.

2. Toewijzingsbeleid:

   • Usage Weight ($U_{i\ell}$): Een vooraf gespecificeerd gewicht dat de toewijzing beïnvloedt, maar niet de onderliggende score.
   • Effective Weight ($a_{i\ell}$): Gedefinieerd als $S_{i\ell} \cdot U_{i\ell}$.
   • Reserve-bewuste Toewijzing: Het kader introduceert een "reserve-eerst" regel. Bijdragers hebben overeengekomen reserves ($F_{i\ell}$).
   • Als de netto opbrengsten ($P_\ell$) voldoende zijn om de totale reserves ($B_\ell$) te dekken, is de betaling:
     $$Pay_{i\ell} = F_{i\ell} + (P_\ell - B_\ell) \frac{a_{i\ell}}{D_\ell}$$
     waarbij $D_\ell$ de som is van de effectieve gewichten.
   • Als $P_\ell < B_\ell$, wordt de afwikkeling afgewezen onder de reservegarantie.

3. Valuta Kwantisatie:

   • Het kader bevat een discrete extensie waarbij reserves worden afgerond naar de dichtstbijzijnde valuta-kwantum ($q$). Het surplus wordt verdeeld onder de grootste fractionele restanten, terwijl het totale beschikbare budget strikt wordt gerespecteerd en de afgeronde reservevloeren worden gehaald.

Belangrijkste Resultaten en Analytische Eigenschappen
Het artikel leidt verschillende wiskundige eigenschappen en beperkingen van het voorgestelde systeem af:

• Begrenzing en Monotoniciteit: De score is begrensd door het modaliteitsreferentiegewicht en is monotoon stijgend ten opzichte van actieve factoren. Het verhogen van een factor leidt echter niet noodzakelijkerwijs tot een verbetering van de taakutiliteit; het is een beleidsbeslissing.
• Budgetbehoud vs. Reservegaranties: De reserve-bewuste regel is de unieke toewijzing die exacte budgetbehoud, betaling van alle reserves en nul surplus voor eenheden met een gewicht van nul waarborgt. Echter, als de opbrengsten lager zijn dan de som van de reserves, kan geen enkel budget-conserverend toewijzingsmechanisme aan alle reservegaranties voldoen.
• Ranking Invariance Failure (Falen van rangschikkingsinvariantie): Het artikel bewijst dat het behoud van de rangorde van scores onvoldoende is om de betalingsaandelen te behouden. Equivalent rangordes kunnen verschillende toewijzingen produceren als de scoretransformatie geen gemeenschappelijke herschaling is.
• Duplicaatgevoeligheid: Eenvoudige normalisatie voorkomt niet dat men profiteert van geaccepteerde duplicaten. Als een indiener een bijdrage opsplitst of duplicaten indient die als afzonderlijke eenheden worden geaccepteerd, neemt hun proportionele aandeel toe, zelfs als het totale budget behouden blijft.
• Valuta Invariantie: Het converteren van opbrengsten en reserves met hetzelfde positieve tarief laat de haalbaarheid ongewijzigd, maar dit houdt geen rekening met liquiditeitskosten of denominatie-specifieke afrondingen.

Referentie-implementatie en Verificatie
De auteurs bieden een referentie-implementatie die 29 deterministische tests heeft doorstaan. Deze tests verifieerden:

• Niet-negatieve betalingen die optellen tot de netto opbrengst.
• Voldoen aan de reservevloeren wanneer haalbaar.
• Correcte afhandeling van eenheden met een gewicht van nul en scenario's met nul surplus.
• Partitie-behoud (het opsplitsen van een eenheid zonder het totale gewicht/reserve te veranderen, behoudt de geaggregeerde betaling).
• Afwijzing van toewijzingen waarbij afgeronde reserves de beschikbare opbrengsten overstijgen.

Betekenis en Claims
Het artikel kadert zijn bijdrage expliciet als een methodologisch en boekhoudkundig kader, niet als een algemene theorie van datawaarde of een garantie voor marktsucces.

• Scheiding van Belangen: De primaire bijdrage is de expliciete scheiding van geschiktheid, scoring, opbrengsten en compensatie, wat voorkomt dat een dimensieloze score wordt verward met een marktprijs.
• Auditeerbare Rekenkunde: Het biedt een transparante, uitvoerbare specificatie voor voorwaardelijke compensatieregels, inclus_ief expliciete foutgrenzen (bijv. wanneer reserves niet kunnen worden gedekt).
• Beperkte Omvang: De auteurs stellen dat PoSC niet bepaalt wat de marktklarerende prijzen zijn, geen prikkels (incentives) creëert en de verkoop van onverkochte bijdragen niet garandeert of de biologische utiliteit van de data valideert.
• Validatievereisten: Het artikel stelt dat empirische validatie (met betrekking tot biologische utiliteit, operationele beveiliging en marktprestaties) aparte, specifieke studies vereist en niet wordt geboden door deze wiskundige analyse.

Samenvattend biedt PoSC een rigoureuze, wiskundig consistente methode voor het verdelen van opbrengsten op basis van overeengekomen geschiktheids- en scoringbeleid, terwijl het duidelijk afbakent wat het kader wel en niet oplost met betrekking tot datawaardering en marktdynamiek.