Quest Ladder
TeachFORGE.ai
Quest Ladder / Förhandsvisning och verifiering
Förhandsvisning, nya exempel och render-verifiering
Se vad en elev faktiskt får, flera gånger, innan någon annan gör det.
En typ du inte har provat är en typ du inte har skrivit.
Förhandsvisning och finputs
Fältet Granskning -steget öppnar på Förhandsvisning och AI-finputs: en riktig genererad instans av din typ, renderad så som en elev skulle se den.
- Uppdatera förhandsvisning renderar om det aktuella provet efter en redigering.
- Nya exempel tar nya värden, så du ser en annan version. Den är märkt Exempel 1, Exempel 2 och så vidare.
- En brytare växlar mellan den tokeniserade mallen och den lösta förhandsvisningen som matchar elevvyn.
Tryck Nya exempel minst fem gånger innan du publicerar något parametriskt. Dåliga kombinationer gömmer sig: divisionen som går jämnt fyra gånger och blir konstig på den femte, diagrammet som bara överlappar när två variabler båda är stora. Ett prov bevisar ingenting.
Render-verifiering
Render-verifiering kontrollerar att varje del av typen faktiskt ritas: LaTeX kompilerar, diagrammet renderas, diagrammet har sina data, inget block misslyckas. Märket rapporterar ett av fyra tillstånd.
| Märke | Betyder |
|---|---|
| Verifierad — ren | Allt renderat. |
| Behöver ny verifiering | Den var ren, sedan redigerade du något. Kör den igen. |
| {{count}} render-fel | Något ritas inte. Listan säger vad. |
| Inte verifierad ännu | Den har aldrig kontrollerats. |
Detta är en port, inte en varning. Publicering nekas medan fel återstår, och kontrollen säger varför: fixa render-verifieringsfelen före publicering.
Vad felen vanligtvis är
Tre orsaker står för de flesta av dem.
- Ett LaTeX- eller TikZ-uttryck med ett syntaxfel, ofta från en lös klammerparentes efter en redigering.
- En token som pekar på en variabel som sedan har bytt namn eller raderats, så ingenting löses.
- Ett diagram vars koordinater kommer från variabler som kan producera ett degenererat fall — en triangel utan area, ett diagram utan spann.
Den tredje är den att se upp för, eftersom den klarar på de flesta prover. En verifieringskörning som samplar flera uppsättningar värden är det som hittar den, och det är precis felet en elev skulle mött en av tjugo.
Märk klar
Märk klar ställer in statusen till publicerad när du är nöjd med den samplade förhandsvisningen. Det är ögonblicket typen blir listad och tilldelningsbar — se Publicera, avpublicera och fullständighetsmärkena för vad det ändrar.