Technologie
L’architecture, et ce qu’elle ne dit pas
Les principes et la structure sont décrits ici. Les lois de plasticité, les paramètres critiques et les heuristiques de sélection ne le sont pas — et cette page dit exactement où passe la frontière.
- Le principe fondateur
- La chaîne de traitement
- Les quatre propriétés visées
- Sur la topologie FlyWire
- Ce qui n’est pas publié
Le principe fondateur
Tout repose sur un choix : aucune opération flottante nulle part. Le substrat arithmétique est entier, en virgule fixe, avec saturation et arrondi déterministes. La conséquence est qu’une même entrée produit exactement la même sortie, au bit près, quel que soit le langage, le compilateur ou l’architecture du processeur.
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, et les deux exécutions ont divergé pour de bon.
En entiers, il n’y a pas d’écart du tout — et non pas un écart jugé négligeable. C’est ce qui rend possible de rejouer une décision, de comparer deux futurs, et de prouver à un auditeur que le système embarqué s’est comporté comme la version validée.
À retenir
Ce n’est pas un détail de mise en œuvre : c’est ce qui rend possible de rejouer, de comparer, de restaurer et de contrôler après coup. Tout le reste du projet en découle.
La chaîne de traitement
1 · Percevoir
Capture d’entrée, encodage entier, ordonnanceur épars.
2 · Propager
Topologie candidate dérivée de FlyWire, dynamique du circuit.
3 · Apprendre
Plasticité locale et mémoire causale.
4 · Arbitrer
Choix de l’action, puis veto de sûreté.
5 · Agir
Action finale, conséquence dans le monde, crédit et rejeu.
Les quatre propriétés visées
L’architecture entière existe en mémoire comme un espace directement adressable ; seule la partie pertinente s’active à chaque pas de temps. C’est la condition d’une exécution embarquable.
Borné
Rejeu exact, comparaison causale entre deux futurs, récupération après arrêt, identité d’instance préservée. Ici le déterminisme sert d’instrument de travail, pas seulement de propriété à vérifier.
Démontré
Une évolution est testée en bac à sable, ses conséquences comparées à la trajectoire de référence, puis acceptée ou rejetée. Aucun réentraînement global.
Non établi
Point de sauvegarde complet, vérification, reprise. Prouvé par arrêt forcé réel du processus et reprise bit-exacte — à configuration scellée identique.
Borné
Sur la topologie dérivée de FlyWire
Une topologie candidate est dérivée de données de connectomique publiques sur la drosophile. Deux précisions qui comptent :
- C’est un banc d’essai, pas la définition du projet — le travail ne porte pas sur la drosophile.
- Seule la structure de connexion en est dérivée. Les poids, la dynamique et les règles d’apprentissage sont ceux du projet.
- Rien ici n’est une simulation biologiquement fidèle, et le terme « connectome biologique » n’est pas employé.
La page dédiée détaille ce banc d’essai, y compris la correction de typage qui a conduit à retirer une affirmation antérieure.
Ce qui n’est pas publié
Le projet suit une matrice de divulgation à quatre niveaux :
Un tiers peut vérifier les résultats publiés — sceaux, empreintes, mesures, raisonnement — mais ne peut pas les réexécuter intégralement. C’est une vérifiabilité partielle, et elle n’est jamais présentée comme autre chose.
Ce qui est prouvé, et jusqu’où
Chaque propriété listée ici renvoie à un protocole, des ablations et un statut de preuve explicite.