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.
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.
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).
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.
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).
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.
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.
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.
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.
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.
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].
Gel du noyau
Socle fini certifié, verrou central F3 isolé et nommé.
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é.
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é.
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.
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é.