Je dirige un programme ou une institution
Une école, une banque, un ministère pose un dossier de surcouche sur le cours. Les mêmes chapitres raisonnent alors sur son monde, dans ses langues, sous ses règles, et le cœur n'a pas changé d'un octet. Les cohortes, la progression et les rapports sont des dossiers que l'institution garde pour toujours.
Ce qu'une institution possède
Tout est un dossier de texte brut : le programme, ses cours, sa surcouche, ses cohortes, le travail et la progression de chaque apprenant. Il n'y a pas de base de données à sauvegarder, pas de serveur à maintenir en marche, pas de compte à renouveler ; copier le dossier copie tout le système d'apprentissage de l'institution, et un système de gestion de versions en lit l'historique. Le système demande la bibliothèque et un ordinateur portable, et il tourne hors ligne.
Une surcouche, jamais une fourche
Vous ne changez pas le cours. Vous posez votre surcouche dessus : un dossier qui donne aux mêmes chapitres votre monde, vos exercices, vos langues, votre nom et vos règles.
Programme de base, le restaurant : Avec la surcouche de la banque posée (un fichier) :
bella-cucina (restaurant) sahel-savings (banque)
[ "margherita", "tiramisu", "lasagna" ] [ "transfer", "loan", "deposit" ]
PROUVÉ la même cellule répond au sujet de la banque
PROUVÉ le fichier du chapitre n'a pas changé d'un octet
exécuté le 2026-09-30, la démonstration d'éducation
Une surcouche peut ajouter un chapitre, un exercice, une compétence ou un monde ; remplacer un monde par son nom, ce qui fait que le même chapitre raisonne sur une banque ; faire correspondre ses compétences à celles du cœur ; ajouter une cinquième langue comme un paquet de données seulement ; et gouverner, avec des règles que les agents d'IA de ses apprenants doivent respecter. Elle ne peut pas modifier ni supprimer un fichier du cœur : elle ne peut qu'en masquer un, et chaque masquage est listé, si bien qu'une institution voit toujours ce qui diffère du cœur.
Les étapes du guide, lequel est lui-même vérifié par un garde qui les suit à la lettre :
- Copiez le gabarit, et donnez-lui un nom court : bank, university, ministry.
- Remplissez les emplacements : le nom, l'institution, le monde, deux choses qu'on y demande.
- Écrivez votre monde : un fichier de faits, trois mots par ligne, ministry-of-education | is-a | ministry, request-1 | requested | transcript. Le chapitre 1 demande à ce monde ce qui a été demandé, compte les répétitions et les retire.
- Ajoutez un exercice à vous si vous le voulez : une tâche dans chaque langue, une promesse, une réponse qui doit échouer et une réponse qui doit passer.
- Lancez le tribunal. Il vous dit, par son nom et en mots, ce qui ne va pas encore : une espace dans un mot d'un monde, un fichier qui remplacerait un chapitre du cœur.
Le guide : OVERLAY_GUIDE.md(s'ouvre dans un nouvel onglet). Deux surcouches de référence, une banque et une université, sont dans education/overlays(s'ouvre dans un nouvel onglet) ; la cinquième loi de la charte (une surcouche ne fait jamais de fourche) est tenue par un garde qui échange deux surcouches sous un même chapitre et vérifie que l'empreinte du cœur n'a pas changé.
Cohortes, rapports, propriété
Une cohorte est un dossier d'apprenants qui suivent un cours sous une surcouche. Son rapport de progression est une narration dont chaque chiffre est une promesse, si bien qu'il dit de lui-même quand il est périmé : la porte de l'enseignant en montre une exécution.
La progression de chaque apprenant est un fichier texte dans son propre dossier, écrit seulement par le vérificateur et portant la preuve de chaque fait ; une réussite ne se falsifie pas, parce que sa preuve est l'empreinte du travail remis. À la fin d'une année l'institution détient, comme fichiers, qui a fait quoi et ce qui a été prouvé.
Les langues
Le cours tourne en anglais, en français, en arabe (écrit de droite à gauche) et en haoussa, dès la première page ; le garde de chaque chapitre s'exécute dans les quatre, et une traduction manquante est un garde en échec, pas un repli sur l'anglais. Les éditions française, arabe et haoussa sont des brouillons, et chaque chapitre et chaque page de monde traduits le disent (limites plus bas). Une cinquième langue est un paquet de données seulement, et les mots propres de l'institution vont dans sa surcouche.
L'IA gouvernée pour les apprenants
L'agent d'IA d'un apprenant propose ; seule une porte valide. Les exercices sur les agents s'exécutent dans un monde sûr : un garde vérifie que l'arbre réel est inchangé après que l'agent d'un étudiant a « tout supprimé ». Le tuteur lui-même n'utilise aucun modèle d'IA et n'a besoin d'aucun réseau.
Une démonstration de quinze minutes pour les décideurs
Le guide du présentateur donne une scène par minute, tourne sur un seul ordinateur portable hors ligne, et calcule chaque scène pendant qu'elle est montrée. Avant une réunion, sa répétition doit se terminer par la ligne DEMO: 20 proved, 0 not proved : si une ligne dit NOT PROVED, la démonstration dit qu'il serait faux de la présenter, et le dirait aussi devant le public.
Le guide du présentateur : demo/DEMO.md(s'ouvre dans un nouvel onglet). Son garde exécute la démonstration deux fois depuis un dossier propre et vérifie que les deux exécutions disent la même chose mot pour mot.
Ce qu'une institution doit savoir avant de commencer
Le lecteur interactif tourne sur le bureau ; un exécutant navigateur pour les cellules n'est pas encore construit, et la page le dit sur chaque cellule. Les éditions française, arabe et haoussa attendent des relecteurs natifs (0 unité sur 35 relue) ; le zarma n'est pas encore une langue du cours.
Aucune institution n'a encore adopté le système : les surcouches de la banque et de l'université dans la bibliothèque sont des références écrites pour montrer ce qu'est une surcouche. Le tuteur est fondé sur des règles, pas une IA. Il n'y a aucun modèle d'IA dans la boucle et aucun n'est requis : on pourra en ajouter un plus tard comme option, jamais comme l'esprit du tuteur.