La bibliothèque se documente elle-même · Le Système d'apprentissage
stzLearner
18 méthodes propres · 0 formes avec extensions, rangées sous leur méthode
la source: base/education/stzLearner.ring(s'ouvre dans un nouvel onglet) · Toutes les classes
Sous chaque méthode, ses extensions (Q CS XT Z ZZ IB W U) : en gras et cochée, elle existe ; barrée, elle n'existe pas. Les extensions et leur sens
Exemples : 0 viennent des tests de la bibliothèque ; 4 ont été composés à partir de la signature de chaque méthode et exécutés pour cette page, sur un objet neuf, par exemple cL = "t_edu_levels/zara" o1 = StzLearnerQ(cL). 14 méthodes n'en ont pas encore. Exemples exécutés le 2026-10-03 20:23 dans la bibliothèque au commit 0e72e2e2c.
Méthode
Explication, telle que la source la porte
init
(sans commentaire dans la source : le nom se lit comme une phrase) initaucune extension
Id
(sans commentaire dans la source : le nom se lit comme une phrase) idaucune extension
exemple composé
cL = "t_edu_levels/zara" o1 = StzLearnerQ(cL) ? o1.Id() #--> zaracomposé à partir de la signature, exécuté pour cette page
Folder
(sans commentaire dans la source : le nom se lit comme une phrase) folderaucune extension
ProgressFile
(sans commentaire dans la source : le nom se lit comme une phrase) progress fileaucune extension
WorkFile
(sans commentaire dans la source : le nom se lit comme une phrase) work fileaucune extension
Facts
(sans commentaire dans la source : le nom se lit comme une phrase) factsaucune extension
Submit
the one writer of progress: a check that RAN THE FACT SHAPE. The knowledge graph keeps ONE edge per pair of nodes, so `ali | tried | ex` and `ali | passed | ex` cannot both exist -- found by this plane's guard, 2026-09-23. Every fact about an attempt therefore hangs off its own subject, and each carries a distinct object (the prefixes keep two equal hashes from being one node): ali | worked-on | ex-01-01 ex-01-01-by-ali | verdict | passed (passed | diverged | error) ex-01-01-by-ali | last-attempt | attempt:<sha256> ex-01-01-by-ali | evidence | sha256:<sha256> (only when passed) ex-01-01-by-ali | checked-at-ms | <epoch ms, UTC> (only when passed)aucune extension
SubmitFile
(sans commentaire dans la source : le nom se lit comme une phrase) submit fileaucune extension
HasTried
(sans commentaire dans la source : le nom se lit comme une phrase) has triedaucune extension
exemple composé
cL = "t_edu_levels/zara"
o1 = StzLearnerQ(cL)
? o1.HasTried("a")
#--> 0composé à partir de la signature, exécuté pour cette pageLastVerdict
(sans commentaire dans la source : le nom se lit comme une phrase) last verdictaucune extension
HasPassed
Passed means: the checker said so AND its evidence still matches the work file. A verdict typed by hand carries no evidence and is refused.aucune extension
exemple composé
cL = "t_edu_levels/zara"
o1 = StzLearnerQ(cL)
? o1.HasPassed("a")
#--> 0composé à partir de la signature, exécuté pour cette pageChapterOn
where the learner is The first chapter, in course order, with an exercise not yet passed (with evidence); "" once every chapter is. This is what the tutor's rule 2 means by "where the learner is".aucune extension
ProjectFolder
projects and levelsaucune extension
SubmitProject
The learner's own project folder, judged by the project's guard. As with an exercise, the checker is the only writer of the verdict, and the evidence is the hash of the whole folder.aucune extension
HasPassedProject
(sans commentaire dans la source : le nom se lit comme une phrase) has passed projectaucune extension
exemple composé
cL = "t_edu_levels/zara"
o1 = StzLearnerQ(cL)
? o1.HasPassedProject("a")
#--> 0composé à partir de la signature, exécuté pour cette pageHasEarned
A level is earned when EVERY exercise of the chapters it needs has been passed AND its project has passed -- each with evidence that still matches. Nothing else earns it: not a score, not a teacher.aucune extension
MissingFor
What still stands between the learner and a level, by name.aucune extension
Reload
Reloads the facts from disk -- what another object, or a person, wrote.aucune extension