• Le principe fondateur
• Les quatre couches
• La chaîne de traitement
• À qui sert le socle
• Sur la topologie
• Politique de divulgation

Le principe fondateur

Tout repose sur un choix : aucune opération flottante dans le chemin de calcul normé. Le substrat arithmétique est entier, en virgule fixe, avec saturation et arrondi déterministes. Une même entrée produit exactement la même sortie, quel que soit le langage, le compilateur ou le processeur : c’est ce que la spécification impose, et ce que vérifient trois implémentations indépendantes, en C, en Python et en Rust, qui produisent la même empreinte de conformité sur des processeurs x86-64 et ARM.

En virgule flottante, deux machines qui calculent la même chose obtiennent des résultats légèrement différents. Sur un neurone au bord de son seuil, cet écart suffit à faire décharger l’un et pas l’autre ; un pas de temps plus tard, les deux exécutions ont divergé pour de bon. En arithmétique entière, il n’y a pas d’écart du tout. C’est ce qui rend possible de rejouer une décision, de comparer deux trajectoires, et d’établir qu’un système embarqué s’est comporté comme la version validée.

Le déterminisme sert ici d’instrument de travail, pas seulement de propriété finale : cartographier un état interne à un instant donné, rejouer une trajectoire depuis une sauvegarde, ouvrir des branches conditionnelles, comparer causalement deux variantes issues du même point, localiser une erreur, reprendre après une interruption.

Les quatre couches

Le programme est structuré comme un système d’exploitation : un contrat entre le matériel et ce qui s’exécute dessus. Chaque couche s’appuie sur la précédente, et chacune reste utilisable sans celles du dessus.

Les cinq documents déposés portent sur les couches 0 à 2 ; la couche 3 est le front de recherche, au stade du prototype. Un industriel qui a besoin de rejouer une décision à l’identique peut s’arrêter à la couche 1 et n’a besoin de rien d’autre.

Cette page décrit l’architecture technique, qui est publique. La méthode de recherche par laquelle je mets mes hypothèses à l’épreuve est autre chose : dans ma méthode, des outils d’IA me servent d’assistants ; elle ne retient que ce qu’un certificat prouve et reste confidentielle.

La chaîne de traitement

Le système entier existe en mémoire comme un espace directement adressable ; il est conçu pour que seule la partie pertinente s’active à chaque pas de temps. C’est la condition d’une exécution embarquable ; le gain en temps de calcul et en énergie reste à mesurer. Le système est conçu pour qu’une évolution interne soit d’abord testée à part, ses conséquences comparées à la trajectoire de référence, puis acceptée ou rejetée, sans réentraînement global. Après une interruption, un point de sauvegarde complet permet une reprise exacte (vérifiée sur un cas test : le même état final, au bit près).

À qui sert le socle

Certification de logiciel embarqué

Aéronautique, automobile, médical, ferroviaire : la reproductibilité y est une exigence normative, obtenue aujourd’hui en figeant matériel et compilateur, parfois pour vingt ans. Le contrat la fournit par sa définition même, y compris après un portage — vérifié entre les niveaux d’optimisation -O0 et -O2, sur deux architectures (x86-64 et aarch64). Il ne constitue pas à lui seul une certification : il en fournit une pièce, la preuve que le calcul reste identique.

Portage et migration matérielle

Prouver qu’un changement de processeur ne modifie pas le comportement d’un système déployé est un poste de coût récurrent et mal outillé. Le contrat le ramène à une comparaison d’empreintes.

Reproductibilité scientifique

La difficulté à reproduire un résultat numérique touche toute la simulation, bien au-delà des réseaux de neurones. Un substrat où deux laboratoires obtiennent exactement le même résultat est un outil transversal, indépendant du domaine.

Sur la topologie à grande échelle

Certaines expériences utilisent une topologie candidate dérivée de données de connectomique publiques, comme banc d’essai de recherche. Seule la structure de connexion en est issue : les poids, la dynamique et les règles d’apprentissage sont propres au projet, et rien ici n’est une simulation biologiquement fidèle. La page dédiée décrit ce banc d’essai.

Politique de divulgation

Le programme suit une matrice de divulgation à quatre niveaux, appliquée systématiquement :

Les résultats publiés sont accompagnés de leurs sceaux, empreintes et protocoles ; les éléments réservés relèvent des niveaux 3 et 4. Cette frontière est déclarée, stable, et identique pour tous.