Dossier technique complet

Ce verdict porte sur l'atteinte de nos objectifs internes, pas sur le fonctionnement du moteur. La position face à l'état de l'art, elle, est tenue et mesurée — voir la cible O4 ci-dessous.

Qualificatif gelé avant mesure, cité verbatim : « a parite, a la resolution pres (|ecart| = 0.0169, seuil de discernabilite 0.02) ».
Règle du comparateur, gelée avant mesure : argmax du F1 bout en bout sur TOUTES les cellules Splink de l'univers commun, sensibilites declarees comprises : la comparaison la plus DURE pour le moteur, choisie en aveugle

Énoncé pré-enregistré, verbatim : Cible O-P1 (marge F1) NON ATTEINTE : ecart signe 0.0850580911930604 face a B4_concordance_3_sur_8/point_2_budget_de_revue_egal, en deca des 0.15 vises. SUR CETTE DONNEE, LA MACHINERIE FELLEGI-SUNTER NE PAIE PAS SON COUT FACE A UNE REGLE SIMPLE. C'est un resultat de mesure, publie tel quel : ce n'est pas un defaut du moteur a corriger, pas une insuffisance de la fixture, pas un reglage a reprendre. Aucune modification du moteur, des seuils, du blocking ou de la donnee n'est demandee ni suggeree par ce constat.

Énoncé pré-enregistré, verbatim : Cible O-P1 (marge rappel) NON ATTEINTE : ecart signe 0.02583025830258301 face a B4_concordance_3_sur_8/point_1_a_priori_declare. SUR CETTE DONNEE, LE MOTEUR NE RATTRAPE PAS SIGNIFICATIVEMENT PLUS DE VRAIES PAIRES QU'UNE REGLE SIMPLE. Publie tel quel. Si la cause est structurelle (plafond de rappel du blocking partage, 9 vraies paires perdues pour tous), elle est nommee et chiffree dans la meme phrase, mais elle n'excuse rien : le chiffre publie reste le chiffre bout en bout.

Énoncé pré-enregistré, verbatim : Cible O-P1 (credibilite face a Splink) ATTEINTE : ecart signe -0.016915668601061973 (McNemar p = 0.052478790283203125). Le moteur se tient dans la tolerance que la these s'etait donnee. Formulation exacte et pas davantage : sur cette fixture, dans cette cellule, contre un Splink configure selon sa documentation et non regle par un expert, le moteur est a parite, a la resolution pres (|ecart| = 0.0169, seuil de discernabilite 0.02). Si l'ecart est sous la resolution, la phrase publiee est « a parite, a la resolution pres » : un ecart favorable trop petit n'est pas transforme en victoire.

Sur 301 paires en zone grise, 6 sont de vraies paires. Chaque paire restituée vaudrait 0,0037 de rappel. Sur 300 paires instruites, le delta mesuré vaut 0,0 en rappel et 0,0 en F1.

C'est PRECISEMENT le cas ici : 300 paires tentees, 0 adjugee. Le verdict CONTRIBUTION_NULLE doit donc etre lu comme << la chaine de revue n'a rien produit sur cette population >>, et NON comme << un adjudicateur a examine la zone grise et n'y a rien trouve >>. La seconde lecture serait fausse et le present bloc existe pour l'empecher.

• nous avantage A1_univers_candidat_maison — dans le bras A, l'ensemble candidat est celui du blocking maison ; Splink y perd les 373 paires que son propre blocking voit en plus Parade : le bras B, obligatoire, lui rend son terrainle chiffre de 373 inscrit dans le texte GELE provient de la reconnaissance en aveugle, qui reimplementait la cle de prefixe en SQL ; la mesure definitive, qui appelle la fonction du moteur, donne un ecart different. Le texte gele n'est PAS reecrit : l'ecart est publie ici (cf. limites).
• indéterminé A2_normalisation_maison — tous les systemes recoivent la normalisation FR ecrite pour le moteur Parade : SENS_1 chiffre Splink sur donnees brutes
• avantage Splink A3_abstention_du_moteur — le moteur peut s'abstenir (3 zones) ; sous la convention stricte ses abstentions comptent comme predit-NEGATIF et penalisent son rappel, la ou un systeme binaire ne paie aucune abstention Parade : SENS_6 rejoue les trois systemes en arbitrage force, couverture 1,0 partout
• avantage Splink A4_seuil_oracle_aux_concurrents — un point a seuil oracle - le meilleur seuil connaissant la verite - est accorde aux concurrents et JAMAIS au moteur Parade : aucune : l'asymetrie est deliberee et joue contre le moteur
• nous avantage A5_auteur_du_banc — le banc est ecrit par l'auteur du moteur : la configuration Splink a recu moins d'attention experte que le moteur, et le nombre d'essais de configuration anterieurs est declare dans l'artefact Parade : L7 exige les constructeurs par defaut de la bibliotheque partout ou leurs niveaux sont entrainables, et la publication verbatim des settings, contestables ligne a ligne
• indéterminé A6_donnee_du_meme_projet — FX_001 V1.2 est produite par le meme projet que le moteur, quoique par une surface distincte et AVEUGLE au resultat Parade : declaree ; le banc ne peut pas la lever, et aucune conclusion ne porte au-dela de cette fixture
• indéterminé A7_f1_pairwise_pessimiste — le F1 pairwise ne compte pas la recuperation par transitivite (unite U-B4, hors perimetre) ; il est pessimiste pour TOUT systeme evalue en chaine complete, moteur compris Parade : declaree ; aucune correction n'est appliquee, aucune n'est estimee
• symétrique A8_em_non_supervise_des_deux_cotes — le moteur et Splink estiment tous deux m/u par EM non supervise Parade : aucune requise
• avantage les baselines A9_baselines_normalisees — les baselines beneficient de la normalisation FR du moteur Parade : concession deliberee : elle rend les baselines plus fortes, donc la cible plus dure
• nous avantage A10_budget_de_revue_maison — le budget de revue de 300 paires est celui qu'a retenu le moteur ; il est offert a Splink mais n'a pas ete choisi avec lui Parade : declare ; le point 1 de chaque systeme est independant de ce budget
• nous avantage A11_splink_sans_expert — Splink est configure selon sa documentation, non regle par un praticien experimente ; tout enonce de comparaison est borne a cette configuration Parade : la formulation du verdict O4 le dit explicitement, dans la phrase elle-meme
• indéterminé A12_une_seule_fixture — un seul jeu de donnees, une seule execution du protocole Parade : declaree ; aucune generalisation n'est publiee