Quest Ladder
TeachFORGE.ai
Quest Ladder / Voorbeeld en verificatie
Voorbeeld, nieuwe voorbeelden en renderverificatie
Zie wat een leerling echt krijgt, meerdere keren, vóór iemand anders dat doet.
Een type dat je niet hebt gesampled is een type dat je niet hebt geschreven.
Voorbeeld en verfijning
De Review -stadium opent op Voorbeeld en AI-verfijning: een echte gegenereerde instantie van je type, gerenderd zoals een leerling die zou zien.
- Voorbeeld verversen rendert het huidige sample opnieuw na een bewerking.
- Nieuwe voorbeelden samplet verse waarden, zodat je een andere versie ziet. Die is gelabeld Voorbeeld 1, Voorbeeld 2 enzovoort.
- Een schakelaar wisselt tussen de getokeniseerde sjabloon en het opgeloste voorbeeld dat overeenkomt met de studentweergave.
Druk Nieuwe voorbeelden minstens vijf keer vóór je iets parametrisch publiceert. Slechte combinaties verbergen zich: de deling die vier keer heel uitkomt en op de vijfde ongemakkelijk, het diagram dat alleen overlapt wanneer twee variabelen beide groot zijn. Eén sample bewijst niets.
Renderverificatie
Renderverificatie controleert dat elk deel van het type echt tekent: de LaTeX compileert, het diagram rendert, de grafiek heeft z'n data, geen blok faalt. De badge rapporteert een van vier staten.
| Badge | Betekent |
|---|---|
| Geverifieerd — schoon | Alles gerenderd. |
| Opnieuw te verifiëren | Die was schoon, toen bewerkte je iets. Voer opnieuw uit. |
| {{count}} renderfouten | Iets tekent niet. De lijst zegt wat. |
| Nog niet geverifieerd | Die is nooit gecontroleerd. |
Dit is een poort, geen waarschuwing. Publiceren wordt geweigerd zolang er fouten blijven, en de bediening zegt waarom: herstel de renderverificatiefouten vóór publiceren.
Wat de fouten meestal zijn
Drie oorzaken verklaren de meeste ervan.
- Een LaTeX- of TikZ-expressie met een syntaxisfout, vaak van een verdwaalde accolade na een bewerking.
- Een token die naar een variabele wijst die sindsdien is hernoemd of verwijderd, zodat niets oplost.
- Een diagram waarvan de coördinaten uit variabelen komen die een ontaard geval kunnen opleveren — een driehoek zonder oppervlakte, een grafiek zonder bereik.
De derde is die om op te letten, omdat die op de meeste samples slaagt. Een verificatierun die meerdere sets waarden samplet is wat die vindt, en precies de mislukking die een leerling eens in de twintig zou ontmoeten.
Als gereed markeren
Als gereed markeren zet de status op gepubliceerd zodra je tevreden bent met het gesamplede voorbeeld. Het is het moment dat het type vermeld en toewijsbaar wordt — zie Publiceren, depubliceren en de compleetheidschips voor wat dat verandert.