ÉTAT COURANT — 21 août 2026

Cinq objets à examiner sans lire le récit

Une entrée volontairement sèche pour un lecteur qui veut seulement tester des pièces et des séparations.

  1. Laboratoire fini modulo 30. Un résultat fini explicite, sans conséquence globale automatique.
  2. T_C après correction. Caractérisation par neutralité + double admissibilité affine ; ancienne justification spectrale conservée comme route fermée.
  3. Reconstruction. Graphe de conflit / non-récupération : ce qui n'a pas été distingué ne réapparaît pas par post-traitement seul.
  4. Reach / UReach. Témoin fini séparant réparabilité pointwise et plan uniforme.
  5. Résultat négatif. Un claim initial, son test, l'échec, la démotion et la règle anti-récidive qui en découle.
Ces cinq objets ne résument pas le programme. Ils sont choisis parce qu'ils peuvent être examinés sans accepter sa philosophie, son récit ou ses horizons prospectifs.

Couret–Unification / InterIA · état documentaire du 21 août 2026. Une page scientifique ne doit jamais être plus affirmative que la pièce qui la soutient.

Appel

Nous cherchons des contradicteurs

Ce programme manque cruellement de critique extérieure. À ce jour, aucun relecteur indépendant n'a examiné nos résultats. Ce n'est pas faute d'avoir sollicité — c'est le sort ordinaire d'un travail mené hors institution, filtré avant d'être lu.

Nous ne tirons de ce silence aucune conclusion : il ne dit rien de la justesse du travail, ni dans un sens ni dans l'autre. Mais une discipline qui ne se laisse pas juger par ce qui n'est pas elle finit par se canoniser toute seule. Il nous manque un dehors.
Une démarche est en cours, et nous la mentionnons avec son statut exact : en août 2026, une revue contradictoire et un pilote borné ont été formellement sollicités auprès de l'ANSSI, sur le volet appliqué du programme — la détection précoce de l'érosion des capacités de reprise. La note précise à l'avance les trois issues qu'elle juge acceptables, y compris celle où l'information se révélerait redondante. À ce jour, sans retour. Cette sollicitation ne constitue ni certification, ni validation, ni caution d'aucune sorte.

Ce sur quoi nous demandons à être attaqués

Des questions étroites plutôt qu'une relecture d'ensemble : chacune se tranche sans avoir à évaluer tout le programme.

Le verrou central est-il une équivalence déjà connue ?

Nous présentons un unique point ouvert comme équivalent à l'hypothèse de Riemann. Recoupe-t-il un critère classique — Nyman–Beurling, Riesz, positivité de Weil, critère de Li ? Les deux réponses nous vont : ce serait une reformulation propre, ou autre chose. Le silence, non.

théorie analytique des nombres

Nos énoncés Lean disent-ils ce que notre prose annonce ?

C'est le maillon que nous jugeons nous-mêmes le plus faible : non la cohérence logique, mais la traduction. Le code est public et se compile ; un lecteur de Mathlib verrait en quelques minutes ce que nous ne voyons pas.

Lean 4 · Mathlib

Notre résultat le plus fragile, que nous désignons nous-mêmes

La classification spectrale finie : sa preuve machine est encore un échafaudage non compilé. Nous l'affichons comme provisoire. Démolissez-la, ou dites-nous ce qui manque.

combinatoire · vérification formelle

La preuve d'impossibilité tient-elle ?

Une voie candidate vers ζ, fermée négativement, par un argument court d'unicité de la factorisation. C'est notre résultat le plus autonome — et le plus facile à réfuter s'il est faux.

arithmétique élémentaire

La méthode change-t-elle quelque chose, mesurablement ?

Nous ne le savons pas. Il faudrait un protocole à deux bras — avec et sans l'appareil de statuts — mesurant le taux de surpromotion, et répliqué par un tiers. Nous n'avons pas conduit cette expérience.

méthodologie · IA

La provenance est-elle ce que nous en disons ?

Les manuscrits de Bernard Couret sont consultables. Celle-là se juge sans aucune expertise : il suffit de regarder.

ouvert à tous

Ce que nous nous engageons à faire de votre critique

La publier — y compris si elle nous démolit. Notre registre est tenu en append-only : une erreur trouvée y est inscrite avec sa date, son motif et son auteur, et l'état antérieur n'est jamais effacé.

Vous n'avez pas à nous ménager, ni à motiver votre verdict au-delà de ce qui vous intéresse. Une objection en trois lignes vaut mieux que rien, et nous la traiterons comme un résultat.

Nous écrire — objection, faille, désaccord

Le code se clone et se compile sans nous demander la permission ; le registre et les manuscrits sont en ligne. Tout ce qu'il faut pour nous contredire est déjà public. Il ne manque que quelqu'un pour le faire.