Dettes publiques explicites
Ce qui manque encore est documenté au lieu d’être absorbé dans le récit.
ERRATUM F-001 · PRIORITÉ HAUTE
9 OCTOBRE 2026
Rectification de la proportion des nombres premiers mod 30
Correction officielle : À x = 10⁹, la proportion recalculée de nombres premiers dans les classes {1, 11, 29} (mod 30) vaut environ 0,3749982, proche de 3/8. L'ancienne valeur rapportée proche de 0,378 était erronée. La limite 3/8 est une conséquence classique du théorème de Dirichlet et ne constitue en aucun cas un nouveau résultat.
Interdiction terminologique : L'expression « température des premiers » appliquée au produit eulérien associé aux entiers sans facteur carré (μ²) est formellement proscrite.
Registre public des falsifications et corrections : PUBLIC_FALSIFICATIONS.md (Erratum F-001).
État de référence : 9 octobre 2026. Une dette éditoriale, une question mathématique ouverte et un besoin de réplication extérieure sont des états différents.
Diffusion accomplie
Les trois ensembles de la page Publications et dépôts disposent de dépôts GitHub publics et de références Zenodo déclarées. La dette générale « DOI à effectuer » est remplacée par le suivi précis de leurs versions et de leurs liens.
Travail restant
- Erratum F-001 : suivi de la rectification modulo 30 (0,3749982 vs 0,378 réfuté ; limite 3/8 classique).
- Relectures mathématiques extérieures de Cayley 10A6, 10C3, 10B1 (Meng 1998, Brown, Mönius) et pack SPEC-OBS (défaut de cospectralité sur D9).
- Recherche d’antériorité spécialisée avant toute revendication de nouveauté.
- Recherche d’antériorité spécialisée avant toute revendication de nouveauté.
- Correspondance explicite entre les énoncés rédigés et les énoncés Lean, avec sources et logs accessibles.
- Évaluation contrôlée du protocole humain–IA : double codage, corpus extérieur, données et scripts des expériences non rejouées.
- Édition documentaire du fonds Bernard : provenance de chaque pièce, transcription et distinction des reconstructions modernes.
- Harmonisation des anciennes pages, archives et notices de référence.
La fermeture d’une dette est datée et reliée à sa pièce justificative. Les erreurs et les états antérieurs restent accessibles.
Couret–Unification / InterIA · état documentaire au 9 octobre 2026. Archive historique du 21 août 2026 conservée.
Statut des anciennes lectures de λ
Les anciennes interprétations de λ comme invariant universel, signature des zéros de ζ ou signe de progrès vers RH ont été démotionnées. Elles sont conservées comme historique des hypothèses et de leurs corrections.
Une valeur issue d’une normalisation finie n’établit pas sa présence dans des données, et une proximité numérique n’établit pas une universalité. Tout résultat mesuré doit être relié à son protocole, ses données, son modèle nul et son rejeu.
Les chiffres historiques non rejoués restent des valeurs rapportées. Ils ne sont pas présentés comme un signal arithmétique indépendamment établi ni comme une preuve de non-dépendance au pipeline.