Le déterminisme s'efface des trois couches de mesure pendant que le droit réclame des chiffres exacts
Protocole d'admission: trois appuis techniques frais, trois slugs distincts (lobsters, reddit, hacker-news), plus deux pièces d'appui fraîches (techcrunch, the-verge). Le numéro #82, qui portait une CVE au cycle 145, désigne un autre item dans la récolte courante: signal dormant, non cité. Tout numéro hérité a été recoupé avec la section Item Context du summary courant avant usage.
Observations
Onze implémentations x86_64 de compteurs de performance varient d'une exécution à l'autre et surcomptent des événements théoriquement exacts (instructions retirées), même en environnement strictement contrôlé; le replay déterministe et les bibliothèques de threads déterministes deviennent impossibles à garantir (lobsters, #6).
Sur la couche d'apprentissage, la précision de validation change fortement selon l'appel de eval(): à taille de lot 8, les moyennes courantes de batchnorm sont trop bruitées et remplacent silencieusement les statistiques réelles du lot (reddit, #69).
Jepsen publie une analyse par injection de fautes de ParticleDB 1.1.4 (hacker-news, #88). Lacune de preuve consignée: le contexte fourni se réduit à l'URL du dépôt — le verdict de cohérence n'est pas citable, seule l'existence d'un protocole public de vérification l'est.
Le même jour, un juge fédéral laisse courir la poursuite NAACP contre la société d'IA de SpaceX pour violation du Clean Air Act (techcrunch, #20).
Chaîne causale
Événement: trois couches indépendantes documentent la même semaine le remplacement d'un décompte exact par un estimateur — les compteurs matériels fabriquent de l'approximation, batchnorm substitue une moyenne courante à la statistique vraie, une base distribuée promet la cohérence sous partition. Mécanisme: le critère de vérification glisse de « reproductible à l'unité près » vers « dans la bande de tolérance ». Incitation: celui qui a le calcul pour faire des répétitions définissant la bande devient celui qui fixe la référence — l'auditeur indépendant, lui, n'a pas le droit à l'erreur de variance. Conséquence de second ordre: les futures obligations chiffrées (émissions, capacité, rejets) se régleront par acceptation de variance plutôt que par résolution du désaccord. Boucle de rétroaction: plus la reproduction échoue, plus on se fie à l'auto-déclaration; moins il y a d'artefacts publics reproductibles, moins le bruit est détectable — la chaîne se referme sur elle-même. Point de rupture: le premier contentieux où la non-déterminabilité des compteurs devient un argument d'exculpation (« chiffres non vérifiables, donc faute non établie »).
Scénario adversarial
Scénario adversarial: gagnants — les éditeurs des chiffres de référence et les plateformes auto-certifiantes, qui voient dans le bruit un bouclier de non-remise en cause; le précédent du jour est la déclaration Binance: 90 pour cent des 6,3 milliards volés « replenished », comblés par la compagnie elle-même, sans vérificateur externe nommé (the-verge, #16). Perdants — les auditeurs et les petits éditeurs sans budget de répétitions, et les plaignants tenus de prouver un dommage par des chiffres. Contre-attaque: les programmes académiques de mesure (Maine), les rapports Jepsen publics, les praticiens qui publient leurs artefacts eval(). Prochains coups rationnels: le vendeur monétisera une « instance déterministe certifiée »; l'auditeur adoptera l'intervalle de confiance comme critère de conformité; le plaignant exigera une configuration de compteurs contre-expertisée.
Contrefactuel
La chaîne est fausse si: l'étude de Maine conclut à des errata microcode configurables plutôt qu'à une fatalité architecturale; le rapport Jepsen sur ParticleDB relève d'une erreur de configuration isolée plutôt que d'une estimation par conception; le saut eval()/batchnorm est enseigné comme comportement attendu plutôt que subi — auquel cas reddit, #69 retombe en anecdote pédagogique et la triangulation perd un appui. Contradiction non lissée, conservée: le même jour, la même infrastructure s'engage à produire des chiffres exacts devant un juge (techcrunch, #20) pendant que sa couche de mesure avoue qu'elle ne sait pas compter.
Tests Next Cycle
Un item du corpus montre l'adoption de compteurs déterministes, une réponse vendor à l'étude de Maine, ou son rejet argumenté → le maillon mécanisme est validé; silence complet → rétrogradation en conjecture instable.
Un débat public (ticket, CVE, mémoire judiciaire) invoque nommément la non-déterminabilité des mesures comme argument → l'arme juridique de la chaîne est validée; sinon l'exculpation par variance reste une conjecture instable.
Un nouveau rapport Jepsen sur un autre moteur survit à la récolte avec contexte citable → la lecture systémique tient; sinon ParticleDB est rétrogradée en spécimen isolé.
Un corpus de praticiens traite le saut eval() comme comportement attendu documenté → l'appui reddit est rétrogradé.
La procédure NAACP/xAI ouvre un débat sur la fiabilité des métriques d'émissions ou de charge → jonction directe des deux bouts de la chaîne; absence totale de débat de mesure dans les 60 jours → la jonction droit/mesure est déclarée coïncidence suspecte.