Journal des versions

Ce qui a changé, et quand

Le programme tient un journal public de son propre état. Comme le ledger des claims, il obéit à une seule règle.

append-only — on ajoute en tête, on ne réécrit jamais le passé. Une version corrigée n'efface pas celle qu'elle corrige ; elle la date.

14 oct. 2026rectificatif doctrinal

Recadrage : « Couret — Reconstruction additive et spectrale » (STROBO & Cayley)

Nouveau cadrage scientifique : rectificatif officiel du 14 octobre substituant à l'ancien ordre centré sur Cayley 10A6 une organisation binaire rigoureuse en deux branches autonomes :
• Branche STROBO (reconstruction additive) : étude des ambiguïtés entre supports de trois éléments via leurs sommes ordonnées avec multiplicité. Résultats structurels formalisés et compilés en Lean 4 et contrôles finis ; dénombrements complémentaires (histogramme des fibres sans neutre) en cours ; PR #25 en brouillon.
• Branche Cayley (reconstruction spectrale) : comparaison de familles de graphes de Cayley selon leur spectre d'adjacence et leur isomorphisme. Preuves internes (10A6, 10C3, 10B1), statut PUBLIC REVIEW 0.1.x, antécédents documentés (Meng, Brown, Mönius) et relecture ouverte.
Axiome d'intégrité épistémique : interdiction formelle de confondre : (1) l'égalité des sommes étiquetées (branche additive), (2) l'égalité du seul multiensemble spectral (branche spectrale), et (3) l'isomorphisme de digraphes. Rappel qu'une CI réussie ne vaut ni validation humaine ni preuve d'originalité.
Mise à jour du site : restructuration complète de la page /recherche-actuelle/ autour de ces deux branches séparées.

~ Recadrage 14 oct. + Branche STROBO (Lean 4, PR #25) + Branche Cayley (0.1.x) ~ Triple distinction épistémique
12 oct. 2026déploiement v8.0

Diffusion ouverte Zenodo (7 dépôts Open Access), Page Recherche actuelle & Clarification K# / Kp

Dépôts Zenodo Open Access (7 archives avec DOIs) : publication en accès libre sans embargo sous licences libres (MIT pour le code, CC BY 4.0 pour les textes, CC0 1.0 pour les données) de 7 archives finies de recherche : CU-LOG-SPEC-02 (10.5281/zenodo.23325015), CU-MOD-OBS-05 (10.5281/zenodo.23325017), G30 (10.5281/zenodo.23325020), MOD-OBS-02 (10.5281/zenodo.23325025), STROBO / MOD-OBS (10.5281/zenodo.23325029), NTK-OBS-01 (10.5281/zenodo.23325031), NTK-OBS-02 (10.5281/zenodo.23325035). Mention visible obligatoire : UNREVIEWED RESEARCH ARCHIVE / NOT PEER REVIEWED.
Nouvelle page « Recherche actuelle » : mise en ligne de la page dédiée /recherche-actuelle/ présentant l'état contemporain des travaux (conservation/perte d'information, statut Cayley 0.1.x en Public Review sans DOI, PR #8 candidate STROBO-C3, certificat borné HOL-01, vérifications finies et journal de contradiction humain–IA).
Mise à jour de « Publications & dépôts » : intégration des 7 fiches avec liens vers DOIs pérennes, PRs GitHub et empreintes SHA-256 (registre public porté à 10 dépôts actifs).
Clarification doctrinale Voie K# vs Kp : distinction formelle sur /voie-kp/ entre la Voie K# fermée par le théorème C-031 (disjonction des supports de Dirichlet, no-go démontré) et la Voie Kp ouverte sous verrous.
Assainissement technique en production : élimination complète des avertissements PHP $main_class sur l'ensemble des 57 pages du site en production (0 warning).

+ 7 DOIs Zenodo + Page Recherche actuelle ~ Voie K# / Kp clarifiée = 0 warning PHP
9 oct. 2026consolidation

Pack Intégral Unique — Guide opérationnel du 9 octobre 2026

Erratum F-001 (Priorité Haute) : rectification officielle de la proportion des premiers dans {1, 11, 29} mod 30 : à x = 10⁹, la valeur recalculée vaut 0,3749982 (proche de 3/8 classique), l'ancienne valeur ~0,378 étant réfutée. Interdiction formelle du terme « température des premiers ».
Cadrage Cayley & CONT : maintien strict en Public Review 0.1.x sans prétention de théorème certifié ni de nouveauté acquise (antériorité Meng 1998, Brown, Mönius ouverte ; aucun DOI stable ni validation extérieure acquise).
Embargo FCI : maintien absolu de la protection sur les matériaux sensibles (aucun modèle d'autorité divulgué).
Restructuration Publications : séparation stricte des trois régimes (dépôts archivés avec DOIs pérennes, recherche publique en relecture libre avec encart Open Review, archives et registre des falsifications).
Identité d'accueil : consolidation officielle COURET — Art · Mathématiques · Mémoire.

− Erratum F-001~ Pack 9 oct.~ Publications+ Open Review
6 oct. 2026relecture publique

Ouverture de Cayley et CONT en Public Review — Pack V7

Cayley (0.1.3-review) : ouverture du dépôt alexcour/cayley-prime-translation-cospectrality en relecture publique (PUBLIC REVIEW) avec activation des Issues, sans tag ni release stable.
CONT (0.1.0-review) : mise en ligne de la sélection générale alexcour/couret-continuation-public-review (notes théoriques, démonstrateur HTTP contrôlé et modèles heuristiques des nombres premiers v0.11).
Embargo FCI : maintien strict de l'embargo sur les modèles d'autorité et traces sensibles.
Gouvernance & Grille : intégration de la grille épistémique à 9 axes et actualisation des limites scientifiques (Barning-Hall, HOL2, portées Lean et Lambda).

+ Cayley 0.1.3+ CONT 0.1.0~ Public Review~ Grille V7
1er oct. 2026synchronisation

Réconciliation des références — état du 1er octobre 2026

26 septembre : publication GitHub des vérifications finies v1.0.0 et de HOL-01 v1.1.1.
1er octobre : publication GitHub du paquet humain–IA v1.1.0, associé au manuscrit v1.1.1 et au jeu de données v1.1.2.
Les textes actuels distinguent les versions des objets, les dates de préparation et de diffusion, les licences et les périmètres scientifiques.
Les tags déjà publiés et leurs identifiants sont conservés. Les corrections documentaires postérieures sont portées par des commits ou de nouvelles versions distinctes.

+ réconciliation~ statuts documentaires
2026-08-21audit croisé

Le facteur 6 déplacé — premier relèvement 210 → 30

Un audit entre le dépôt actuel, ses archives et d'anciens documents établit que la « fibre de caractères » de cardinal 6 était mal située : sous la définition employée, le pullback est unique. Le 6 est celui du noyau de la projection, et la structure correcte est 6 = 1 + 5 — un canal transmis, cinq transverses. L'ancien code archivé enregistrait déjà la contradiction.

− falsifié~ corrigé
2026-08-15refonte publique

Gel amélioré du site

Refonte de l'accueil (hero + trois portes), page Les mathématiques du programme, benchmark 2026, travaux voisins, page Bernard (fonds et provenance). Repositionnement : retrait des revendications de nouveauté sur mod 30.

+ pages~ positionnement
v38.5.14dépôt Lean

Noyau public et compilable

lake build ✓ (3569 jobs). Couche figée 0 sorry · couches actives 11 sorry documentés, sur 6 fichiers. Le lien GitHub devient porteur.

gel+ dépôt public
2026-07mise en ligne

Nouvelle navigation

Publication de la Carte, du Livre Économie de la réponse, du Registre F0, des pages méthode. Harmonisation du décompte de sorry à 11 partout. Page Bernard dédoublonnée.

+ nav~ harmonisation
v54.5registre · 2026-06-09

Registre des claims

37 claims + 9 falsifications, par catégorie. Classification SG mod 30 créditée à Agoh (2025). Identité det₂ = G·ξ maintenue [O], jamais [P].

+ registre
v38.5.2gel · 2026-06-01

Gel du noyau

Socle fini certifié, verrou central F3 isolé et nommé.

gel
v28Lean · 2026-04-07

Vague de corrections

Falsifié : Parseval/φ = 3 tombe à 2 en L5 (11 | 2310) ; la dérive ∆(q) prédisait −46,8, on mesure −309,9 (84,9 % d'erreur) ; l'opérateur sinc éliminé.

− falsifié~ corrigé
v18Lean

Correction de l'auto-adjonction

Le test de Schur échoue pour σ ≤ 1 (V ∉ S₂). Remplacé par la norme de Hilbert–Schmidt : ‖M‖_HS ≤ P(3/2) ≈ 0,8495 < 1. Le résultat survit, mieux fondé.

~ corrigé
2025origine

Phase visionnaire — mise en quarantaine depuis

La « Cathédrale Cognitive » (λ constante cosmique, géométrie sacrée). Conservée comme origine, réfutée comme science : elle n'a laissé que les objets finis qui survivent aux tests.

− réfuté

Ce journal n'est pas un communiqué : c'est un registre. Sa valeur tient à ce qu'il n'oublie pas — surtout ce qui est tombé.