Registre de preuve
Modèle formel de Preuve et d’Auditabilité
Le registre opérationnel documente le niveau de preuve, le protocole de vérification et les bornes de validité pour chaque assertion du projet. Les assertions font l’objet d’un scellement cryptographique des résultats et des artefacts associés.
Nomenclature de conformité
Un résultat n’entre ici qu’après avoir été tranché par une relecture indépendante. Les cinq statuts employés :
Démontré
Borné
Négatif
En cours
Non établi
Ce registre est volontairement en retard d’un ou deux jalons sur le travail réel. Un résultat n’y figure qu’une fois relu indépendamment — ce qui prend du temps. C’est le prix de ne publier que du vérifié, et mieux vaut l’annoncer que le subir.
Registre
| Résultat | Portée | Statut |
|---|---|---|
| Déterminisme bit-exact du substrat ArithSpec Q16.16 / Q32.32 |
C, Python, Rust × x86-64, aarch64, RP2040 physique. Preuve formelle bornée : énumération exhaustive TLC. Certificat R_cert : AUC 0,9954 sur 18 375 configurations, zéro faux positif à 74,17 % de couverture. | Démontré |
| Boucle causale nominale G16C · 2026-08-01 |
Six conditions scellées avant mesure. Onze contrôles mécaniques passés par chaque condition, rapportés séparément. Chemin activable en option — pas le défaut du système. | Borné |
| Continuité après arrêt du processus G16C · 2026-08-01 |
Arrêt forcé réel, reprise bit-exacte, journal d’écriture sans double validation. Borné à une configuration scellée identique. | Borné |
| Organisme incarné longue durée Long-life · 2026-05-28 |
4 h, 4,3 millions de pas de temps, 0 chute critique, 0 valeur non numérique, 1 152/1 152 récupérations, 24 points de reprise bit-exacts, 144 Mo. Échafaudage d’incarnation, pas cognition. | Borné |
| Verrou de saillance G16C · 2026-08-01 |
Le comportement suit la saillance initiale, pas l’apprentissage. Écart nul dans les six conditions, le choix ne bascule jamais. Signature déclarée avant mesure. | Négatif |
| Généralisation compositionnelle G14 · 2026-08-01 |
Sur six mondes scellés, aucun des décodeurs testés, calibrés sur les seules données d’entraînement, ne dépasse le hasard sur les combinaisons non vues. | Négatif |
| Promotion du chemin causal en mode par défaut | Explicitement interdite sur la preuve actuelle par la relecture indépendante. Une dette de continuité doit être soldée d’abord. | Non établi |
| Apprentissage comportemental | Les synapses changent sous conséquence réelle, mais la décision ne bascule pas. Voir la feuille de route. | Non établi |
| Cognition, transfert robotique, généralisation forte | Objectifs du projet. Aucune démonstration. | Non établi |
Le résultat le plus récent, en détail
G16C — robustesse multi-conditions d’une boucle causale
La question. La boucle causale tient-elle sur des configurations réellement distinctes, ou seulement sur une configuration favorable ?
Le protocole. Six conditions scellées avant toute mesure : trois graines d’adaptateur sensoriel {11, 23, 37} — produisant des projections distinctes, vérifiées distinctes — croisées avec deux mondes de récompense fixes. Point décisif : les mondes sont scellés indépendamment de la préférence initiale du système. La récompense est un fait externe, jamais dérivé de la variable de décision. Sans cette précaution, le résultat serait infalsifiable.
Ce qui passe. Les six conditions passent chacune les onze contrôles mécaniques, rapportés séparément et jamais moyennés : exécution depuis le runtime canonique, arbitre externe appelé zéro fois, conséquence réelle déclenchant un changement synaptique non nul, poids relus, ablations non vacantes, mémoire causale cohérente et persistée mais jamais décisionnelle, restauration sémantiquement identique à l’exécution ininterrompue, rejeu bit-exact. Sur deux conditions contrastées, un arrêt réel du processus est suivi d’une reprise bit-exacte.
- L’exactitude comportementale. Conditions favorables : 6/6 du début à la fin. Conditions défavorables : 0/6 du début à la fin. Écart nul partout.
- Le mécanisme fonctionne de bout en bout et la persistance est reproductible — mais la décision reste déterminée par la saillance perceptive, pas par ce qui a été appris.
- Le verrou est représentationnel, en amont de l’apprentissage. Sa résolution n’est pas acquise, et les prochains résultats seront publiés après relecture, négatifs compris.
Vérifier ce résultat
Les sceaux
Deux artefacts ont été scellés par empreinte SHA-256 avant toute mesure :
PREREG_G16C.md 423ef5de2d3a7d26fa3d2d23df4db990904b44dfa835a1227c0bce9791c15024
CONDITION_MANIFEST.json f0d0b3ef385ec774c6c872e791727c6ee307640c67ec7227a36dbcddde55e567Recalculez-les. S’ils ne correspondent pas, la pré-déclaration a été modifiée après coup — et le résultat doit être rejeté.
Un tiers peut vérifier les sceaux, les empreintes, les mesures et le raisonnement. Il ne peut pas, en l’état, réexécuter l’expérience de bout en bout : le substrat complet n’est pas publié. C’est une vérifiabilité partielle, et elle ne doit jamais être présentée comme une reproductibilité complète.
Ce que la relecture indépendante a relevé
La relecture a aussi corrigé, et ces corrections sont publiées :
Formulations que ce site n’emploie pas
Par règle interne, et parce que la preuve actuelle ne les autorise pas :
| Jamais | À la place |
|---|---|
| « ferme la boucle cognitive » | « un chemin activable en option exécute la boucle de bout en bout » |
| « apprend de ses conséquences » | « les conséquences modifient causalement les synapses ; le choix ne bascule pas » |
| « une mémoire qui guide ses décisions » | « mémoire causale enregistrée et persistée ; non décisive dans le protocole testé » |
| « survit à l’interruption » | « reprise bit-exacte, à configuration scellée identique » |
| « connectome biologique » | « topologie candidate dérivée de FlyWire » |
| conscience, vie, AGI, généralisation universelle | — jamais employés |
Attaquer ces résultats
La forme de contribution la plus utile est une réfutation : une erreur de méthode, une métrique circulaire, une référence simple qui bat le système.