Ce qui est prouvé, et ce qui ne l'est pas
Chaque chiffre sur le système d'apprentissage de ce site vient d'un garde de la bibliothèque, nommé à côté, et chaque affirmation a sa limite à côté. Les traductions sont des brouillons, les cellules s'exécutent sur le bureau, et aucune institution ne l'a adopté. Cette page dit chacun de ces points d'abord, puis les chiffres, puis deux outils exécutés pour vous.
Trois limites, dites d'abord
Les traductions sont des brouillons
Aucun locuteur natif ne les a encore relues : 0 unité sur 35 en français, en arabe et en haoussa (l'exécution plus bas l'affiche). L'anglais est l'original. Chaque chapitre et chaque page de monde traduits s'ouvrent par une note dans leur langue (en français : Traduction provisoire : pas encore relue par un locuteur natif), jusqu'à ce qu'une validation soit enregistrée pour eux ; la page nomme alors qui l'a signée. Donc « quatre langues », ici et sur les autres pages, veut dire quatre éditions, dont trois pas encore lues par un locuteur natif.
Les cellules s'exécutent sur le bureau
Le lecteur est une page qui s'ouvre dans n'importe quel navigateur, mais ses cellules s'exécutent sur le bureau, et la page le dit sur chaque cellule. Les exécuter dans le navigateur dépend du moteur navigateur de Softanza et n'est pas construit. Chaque chiffre ci-dessous a été mesuré sur le bureau.
Aucune institution ne l'a adopté
Une banque et une université existent dans la bibliothèque comme deux surcouches de référence, écrites pour montrer ce qu'est une surcouche. Ce ne sont pas des clients, et ce site ne nomme aucune institution comme telle. L'auteur n'a pas choisi de première institution.
Deux choses encore, en mots simples. Le tuteur est fondé sur des règles : il n'utilise aucun modèle d'IA, et ce site ne l'appelle pas IA. Et la licence est celle du dépôt, MIT, décidée le 2026-10-05 sur délégation de l'auteur (section 8 de la charte) : l'auteur peut la remplacer avant la livraison d'une première institution.
Les chiffres, chacun à côté de son garde et de sa limite
Mesurés par les auteurs du module le 2026-10-05, dans une copie neuve de la bibliothèque au commit 4a184e6f0. Un garde est un fichier de la bibliothèque qui s'exécute et affiche combien de ses assertions ont tenu. Ce site n'a pas rejoué les quatorze gardes, qui prennent une vingtaine de minutes ensemble ; il a rejoué deux outils, le bureau de l'apprenant et la fiche du relecteur, montrés plus bas.
slice_narrated, ci-dessus, et desk_narrated(s'ouvre dans un nouvel onglet), 24. À côté : le vérificateur s'exécute sur le bureau.build_reader.ring, garde desk_narrated. À côté : la page s'ouvre partout, ses cellules s'exécutent sur le bureau, et chaque brouillon le dit.Le bureau de l'apprenant, exécuté pour de vrai
Le bureau de l'apprenant est une commande de la bibliothèque, lancée depuis son dossier avec le dossier d'un apprenant et un verbe. Tout ce qui suit a été exécuté par ce site, sur la bibliothèque au commit 4a184e6f0, dans un dossier d'apprenant temporaire qui n'est pas celui de la bibliothèque.
Un apprenant qui vient de commencer est au chapitre 1 et n'a rien réussi. Le bureau dit où il en est, et ce que le premier niveau demande encore : quatre exercices et un projet, puis les niveaux suivants.
learn.ring ada status
LEARNER ada (en, world: workplace) ON chapter 1: find-then-apply -- Find, then apply PASSED 0 of 23 exercises LEVEL s0: missing 5 -- ex-01-01, ex-02-01, ex-03-01, ex-04-01, project-s0 LEVEL s1: missing 9 LEVEL s2: missing 14 LEVEL s3: missing 21 LEVEL s4: missing 24
exécuté le 2026-10-05 21:34 dans la bibliothèque au commit 4a184e6f0
Une mauvaise réponse à l'exercice 1.1 est refusée. Le vérificateur a exécuté le fichier dans un processus neuf et dit ce qu'il a affiché ; il ne dit pas ce qu'il aurait dû afficher.
# wrong.ring # Selects the object, and stops there: nothing was applied. o1 = new stzList([ "tea", "rice", "tea", "fish", "rice", "tea" ]) ? @@( o1.Content() ) learn.ring ada submit ex-01-01 wrong.ring
REFUSED ex-01-01: Your program ran, but what it printed is not yet what the task asks. It printed: ["tea","rice","tea","fish","rice","tea"]
exécuté le 2026-10-05 21:34 dans la bibliothèque au commit 4a184e6f0
Une bonne réponse passe. Le verdict est celui du vérificateur : il a exécuté le fichier, et personne ne l'a lu. L'apprenant est maintenant au chapitre 2 et un exercice plus près du premier niveau, avec quatre manquants au lieu de cinq.
# right.ring # The dedicated word for the whole move. ? @@( StzListQ([ "tea", "rice", "tea", "fish", "rice", "tea" ]).DuplicatesRemoved() ) learn.ring ada submit ex-01-01 right.ring
PASSED ex-01-01: Every promise of the exercise was kept when your program ran.
exécuté le 2026-10-05 21:34 dans la bibliothèque au commit 4a184e6f0
learn.ring ada status
LEARNER ada (en, world: workplace) ON chapter 2: a-first-sentence -- A first sentence PASSED 1 of 23 exercises: ex-01-01 LEVEL s0: missing 4 -- ex-02-01, ex-03-01, ex-04-01, project-s0 LEVEL s1: missing 8 LEVEL s2: missing 13 LEVEL s3: missing 20 LEVEL s4: missing 23
exécuté le 2026-10-05 21:34 dans la bibliothèque au commit 4a184e6f0
Au chapitre 2, l'apprenant demande quelque chose qu'il n'a pas atteint. Le tuteur nomme le chapitre à venir, n'en explique rien, et interroge sur l'exercice en cours. Il est fondé sur des règles : ni modèle d'IA, ni réseau.
learn.ring ada ask ex-02-01 "How do I use KnowRelation to teach a world?"
That belongs to chapter 12, 'Teach a world'. You are on chapter 2, and the later chapter stands on what this one teaches, so I will not explain it yet. Which step of your current exercise is still open?
exécuté le 2026-10-05 21:34 dans la bibliothèque au commit 4a184e6f0
Interrogé en français, en arabe ou en haoussa, le tuteur répond dans cette langue, et ces réponses sont des brouillons comme les chapitres. Combien d'unités un locuteur natif a relues est un nombre que la bibliothèque affiche, et aujourd'hui il est nul :
review_sheet.ring sheet.md --lang fr review_sheet.ring sheet.md --lang ar review_sheet.ring sheet.md --lang ha
REVIEW SHEET fr: 0 of 35 units reviewed REVIEW SHEET ar: 0 of 35 units reviewed REVIEW SHEET ha: 0 of 35 units reviewed
exécuté le 2026-10-05 21:34 dans la bibliothèque au commit 4a184e6f0
Comment un brouillon cesse d'en être un
La définition d'une unité par la bibliothèque elle-même : un chapitre avec ses exercices, une page de monde, les compétences, ou les textes du tuteur. Le français, l'arabe et le haoussa en ont chacun 35. Une unité cesse d'être un brouillon quand la validation d'un locuteur natif est enregistrée pour elle dans un fichier nommé d'après la langue ; la page retire alors l'avis et nomme qui l'a signée.
Le relecteur n'a pas besoin de connaître Softanza ni Git : la fiche est un seul fichier texte avec tout ce qu'il faut lire, et dit ce qu'il faut juger (la formulation) et ce qu'il ne faut pas toucher (le code des cellules, et chaque ligne qui commence par #-->, qu'un garde vérifie en l'exécutant).
Si vous lisez le français, l'arabe ou le haoussa comme votre propre langue et voulez relire une unité, ouvrez une issue sur le dépôt de la bibliothèque et demandez la fiche. Le zarma n'est pas une langue du cours ; une édition zarma est une invitation, comme le dit la page Éducation.
Ce que cette page n'affirme pas
Que le cours soit disponible en quatre langues relues ; qu'il tourne dans le navigateur ; qu'une institution l'utilise ; que le tuteur soit une IA ; que les chiffres ci-dessus aient été re-mesurés par ce site, hormis ce que les deux outils ci-dessus ont affiché. Là où le site dit « quatre langues » ailleurs, lisez-le avec la première limite de cette page à côté.
La conception et son journal, ligne par ligne : CHARTER.md(s'ouvre dans un nouvel onglet) (neuf lois, chacune avec le test qui la fait respecter), SOFTANZA_EDUCATION_PLAN.md(s'ouvre dans un nouvel onglet) (chaque phase et ce qu'elle n'affirme pas), OVERLAY_GUIDE.md(s'ouvre dans un nouvel onglet). Retour à Éducation.