Quest Ladder
TeachFORGE.ai
Quest Ladder / Forhåndsvisning og verifisering
Forhåndsvisning, nye eksempler og render-verifisering
Se hva en elev faktisk får, flere ganger, før noen andre gjør det.
En type du ikke har prøvd er en type du ikke har skrevet.
Forhåndsvisning og finpuss
Feltet Gjennomgang -steget åpner på Forhåndsvisning og AI-finpuss: en ekte generert forekomst av typen din, rendret slik en elev ville sett den.
- Oppdater forhåndsvisning renderer den gjeldende prøven på nytt etter en redigering.
- Nye eksempler tar nye verdier, så du ser en annen versjon. Den er merket Eksempel 1, Eksempel 2 og så videre.
- En bryter bytter mellom den tokeniserte malen og den løste forhåndsvisningen som matcher elevvisningen.
Trykk Nye eksempler minst fem ganger før du publiserer noe parametrisk. Dårlige kombinasjoner gjemmer seg: divisjonen som går opp fire ganger og blir rar på den femte, diagrammet som bare overlapper når to variabler begge er store. Én prøve beviser ingenting.
Render-verifisering
Render-verifisering sjekker at hver del av typen faktisk tegnes: LaTeX kompilerer, diagrammet rendres, diagrammet har dataene sine, ingen blokk feiler. Merket rapporterer én av fire tilstander.
| Merke | Betyr |
|---|---|
| Verifisert — rent | Alt rendret. |
| Trenger ny verifisering | Den var ren, så redigerte du noe. Kjør den igjen. |
| {{count}} render-feil | Noe tegnes ikke. Listen sier hva. |
| Ikke verifisert ennå | Den har aldri blitt sjekket. |
Dette er en port, ikke en advarsel. Publisering nektes mens feil gjenstår, og kontrollen sier hvorfor: fiks render-verifiseringsfeilene før publisering.
Hva feilene vanligvis er
Tre årsaker står for de fleste av dem.
- Et LaTeX- eller TikZ-uttrykk med en syntaksfeil, ofte fra en løs klammeparentes etter en redigering.
- En token som peker på en variabel som siden er omdøpt eller slettet, så ingenting løses.
- Et diagram hvis koordinater kommer fra variabler som kan produsere et degenerert tilfelle — en trekant uten areal, et diagram uten område.
Den tredje er den å passe på, fordi den består på de fleste prøver. En verifiseringskjøring som sampler flere sett verdier er det som finner den, og det er akkurat feilen en elev ville møtt én av tjue.
Merk klar
Merk klar setter statusen til publisert når du er fornøyd med den samplede forhåndsvisningen. Det er øyeblikket typen blir listet og tildelbar — se Publiser, avpubliser og fullstendighetsmerkene for hva det endrer.