Version du registre et état des publications
Le registre téléchargeable est identifié par sa propre version et sa date. Les événements de publication survenus après son gel ne modifient pas rétrospectivement les états qu’il documente.
Les références actuelles figurent dans Publications et dépôts. Une correction du registre prend la forme d’une nouvelle version accompagnée d’un journal des changements ; l’ancien fichier reste identifié comme archive.
Les 21 événements, 13 sources et 7 revendications du corpus humain–IA sont un instantané distinct. Ils ne remplacent ni le catalogue des fiches ni le registre général du programme.
Registre mathématique
Chaque énoncé du programme, avec son statut, son antériorité et la qualité de sa source. Ce registre applique une règle dure : écrit ≠ vérifié ≠ formalisé ≠ nouveau. Rien n'y est effacé — les entrées réfutées restent visibles avec leur historique.
Base de données brute du Registre (96 claims)
Accédez au jeu de données complet au format tableur (statuts, antériorités, familles, décisions).
📥 Télécharger le registre brut (CSV v0.2)
| ID | Énoncé canonique | Statut |
|---|
Statut E — [D-classique] résultat standard, non revendiqué comme
nôtre · [D-def] définition/normalisation construite · [D-paper] preuve papier
finie · [D-fini] identité finie exacte · [M] mesuré · [H]
heuristique · [C] conditionnel · [O] ouvert · [R] réfuté.
Antériorité N — N0 classique connu · N2 reformulation · N3
candidat nouveau, à auditer. Qualité Q — Q0 à Q3, fiabilité de la source.
Registre Maître v0.2 — 19 août 2026. Principe append-only : une entrée réfutée est conservée avec son état antérieur, jamais écrasée. Une formalisation Lean n'implique pas la nouveauté ; une attestation computationnelle n'est pas une preuve.