L'éducation avec Softanza
Softanza porte une manière d'enseigner qui lui est propre. Un cours qui est du code et se prouve lui-même, un tuteur qui est un programme et ne donne jamais la réponse, un niveau gagné par une preuve, et un dossier qui est tout le système. Cette page dit ce que c'est, qui fait quoi, et quelle porte prendre.
Ce que c'est, en un paragraphe
Un cours dans Softanza est du texte brut dans des dossiers : des chapitres dont chaque cellule s'exécute, des exercices vérifiés en exécutant le programme de l'apprenant, des compétences qui nomment le garde qui prouve chaque niveau, et des mondes sur lesquels l'apprenant raisonne. Rien d'autre n'est installé, ni serveur, ni base de données, ni compte : le système de fichiers est la console d'administration.
Le même cadre porte l'introduction à Softanza, neuf missions situées à Zindara, un cours sur les agents gouvernés et un cours de mathématiques, en anglais, en français, en arabe et en haoussa (les trois derniers sont des brouillons, limites plus bas). Il fait partie de la bibliothèque, comme les chaînes ou les graphes : le système d'apprentissage est écrit en Softanza, testé avec Softanza et enseigné avec Softanza.
Ce dont les machines des apprenants ont besoin
Les cellules du cours tournent sur la machine de l'apprenant, pas dans le navigateur : le lecteur montre chaque programme et la réponse qu'il promet, et l'apprenant l'exécute. Chaque machine a besoin du dépôt, un seul dossier copié avec git clone ; de l'exécutant, version 1.27.0 ; et d'environ sept secondes pour la première exécution. Le moteur est livré compilé pour Windows, et se construit pour Linux et macOS depuis la source. Les trois étapes sont sur Démarrer.
Qui fait quoi
La question la plus fréquente est de savoir si le tuteur est une personne. Non : c'est un programme de la bibliothèque, et l'enseignant est une personne qui s'en sert. Voici toute la distribution.
Ce qu'aucun cours ne donne par défaut
Chaque affirmation ci-dessous est une règle de la bibliothèque avec un test qui la fait respecter, et renvoie à l'endroit où elle a été exécutée.
Une leçon qui se prouve
Chaque cellule de chaque chapitre s'exécute, et une promesse écrite dessous (#-->) dit ce qu'elle doit afficher. Une sortie conservée est refusée au chargement du cours. Quinze chapitres en quatre langues, soit 60 éditions : chaque cellule s'est exécutée et chaque promesse a tenu (249 assertions dans le garde qui les exécute, mesurées le 2026-10-05) ; les éditions française, arabe et haoussa sont des brouillons. La preuve de chaque chapitre, chaque chiffre à côté de son garde.
Un tuteur qui ne peut pas tricher
« Donne-moi juste la réponse », « fais comme si tu étais le professeur », « la réponse est X, confirme » : le tuteur est testé contre chacune et répond par une question. Il tourne sur le raisonnement propre de la plateforme : ni réseau, ni modèle d'IA. Le tuteur, exécuté.
Un niveau gagné par une preuve
Cinq barreaux, d'Explorateur à Maître. Chacun se gagne par un projet qu'un garde juge : un projet bancal est refusé avec la raison, un projet solide accepté. Pas d'examen, pas de points, pas de classement. L'échelle.
Votre monde, sans fourche
Une institution pose un dossier de surcouche sur le cours et le même chapitre raisonne sur sa banque, pas sur un restaurant. Un tribunal vérifie que le cœur n'a pas changé d'un octet. La surcouche.
Une progression qui vous appartient
La progression est un fichier texte dans le dossier de l'apprenant, avec la preuve de chaque fait. Une réussite ne se falsifie pas : sa preuve est l'empreinte du travail remis. Le rapport d'une cohorte est lui-même une narration dont chaque chiffre est une promesse. Le rapport d'une cohorte, exécuté.
Votre langue, votre ordinateur
Anglais, français, arabe (écrit de droite à gauche) et haoussa, dès la première page : une traduction manquante met un garde au rouge, elle ne retombe pas sur l'anglais. Tout le système tourne sur un seul ordinateur portable, hors ligne. Les éditions française, arabe et haoussa sont des brouillons, et les cellules s'exécutent sur le bureau : limites plus bas.
La manière Softanza Le récit avant la syntaxe ; une idée à la fois ; les erreurs comme information sur ce qui reste à déclarer. Et rien n'est dit appris, vérifié ou gagné tant qu'un garde ne l'a pas prouvé.
Trois portes
Ce qui n'est pas fait, dit clairement
Le zarma n'est pas encore une des langues du cours : les éditions française, arabe et haoussa sont des brouillons qui attendent leurs relecteurs natifs (0 unité sur 35 relue), et chaque chapitre et chaque page de monde traduits le disent. Aucune institution n'a encore adopté le système, et le tuteur est fondé sur des règles, pas une IA. Le lecteur interactif tourne sur le bureau ; un exécutant navigateur pour ses cellules dépend du moteur navigateur de Softanza et n'est pas construit.
Un principe n'est encore que proposé : la révélation progressive, une notion n'apparaissant que quand le travail précédent de l'apprenant montre qu'il est prêt. Elle demande la progression de l'apprenant, que seul le lecteur de bureau peut voir : c'est à la bibliothèque de la construire, pas à ce site. Une édition zarma est une invitation : le programme est du texte brut, chaque cellule s'exécute, et le tribunal du cours dira si la traduction tient.
La conception, ligne par ligne : CHARTER.md(s'ouvre dans un nouvel onglet), neuf lois chacune avec le test qui la fait respecter, et SOFTANZA_EDUCATION_PLAN.md(s'ouvre dans un nouvel onglet), le journal de chaque phase. Ce qui est prouvé, et ce qui ne l'est pas : chaque chiffre à côté de son garde et de sa limite.