La nouvelle séparation d’autorité
- La rubrique versionnée définit des éléments atomiques, exemples, contre-exemples et règles.
- Un chercheur propose des extraits exacts de la réponse.
- Un falsificateur indépendant cherche une contradiction ou une preuve insuffisante.
- LearnX valide les spans et calcule le niveau par règles.
- Le feedback vient de templates authorés et n’écrit jamais la progression.
Un premier test révélateur
Deux appels sur quatre ont été exécutés avant arrêt : le cas positif retrouve 9 éléments sur 9 ; le cas négatif 7 sur 9. Le désaccord venait en partie d’un oracle qui ne distinguait pas une absence d’une réfutation explicite.
Accord atomique du gate partiel
Gate interrompu après deux appels ; cette mesure ne vaut pas promotion.
La promesse que cela autorise
« Feedback formatif autonome, critériel et appuyé sur les preuves présentes dans la réponse de l’apprenant. » Jamais correction certifiée ni validation de maîtrise par l’IA.