Quest Ladder
TeachFORGE.ai
Quest Ladder / Previzualizare și verificare
Previzualizare, exemple noi și verificare de randare
Vezi ce va primi cu adevărat un elev, de mai multe ori, înainte să o facă altcineva.
Un tip pe care nu l-ai eșantionat e un tip pe care nu l-ai scris.
Previzualizare și rafinare
Câmpul Revizuire etapa se deschide pe Previzualizare și rafinare AI: o instanță reală generată a tipului tău, randată cum ar vedea-o un elev.
- Reîmprospătează previzualizarea re-randează muestra curentă după o editare.
- Exemple noi eșantionează valori noi, ca să vezi o versiune diferită. E etichetat Exemplul 1, Exemplul 2 și așa mai departe.
- Un comutator trece între șablonul tokenizat și previzualizarea rezolvată care potrivește vederea elevului.
Apasă Exemple noi cel puțin de cinci ori înainte să publici ceva parametric. Combinațiile rele se ascund: împărțirea care iese întreagă de patru ori și stângace pe a cincea, diagrama care se suprapune doar când două variabile sunt ambele mari. O mostră nu dovedește nimic.
Verificare de randare
Verificarea de randare verifică că fiecare parte a tipului chiar desenează: LaTeX compilează, diagrama se randează, graficul are datele, niciun bloc nu eșuează. Badge-ul raportează una din patru stări.
| Insignă | Înseamnă |
|---|---|
| Verificat — curat | Totul s-a randat. |
| Necesită re-verificare | Era curat, apoi ai editat ceva. Rulează din nou. |
| {{count}} erori de randare | Ceva nu se desenează. Lista spune ce. |
| Încă neverificat | N-a fost verificat niciodată. |
Aceasta e o poartă, nu un avertisment. Publicarea e refuzată cât timp rămân erori, iar controlul spune de ce: repară erorile de verificare de randare înainte de publicare.
Ce sunt de obicei erorile
Trei cauze acoperă majoritatea.
- O expresie LaTeX sau TikZ cu o eroare de sintaxă, adesea de la o acoladă rătăcită după o editare.
- Un token care pointează la o variabilă care de atunci a fost redenumită sau ștearsă, deci nimic nu se rezolvă.
- O diagramă ale cărei coordonate vin din variabile care pot produce un caz degenerat — un triunghi fără arie, un grafic fără interval.
Al treilea e de urmărit, pentru că trece pe majoritatea mostrelor. O rulare de verificare care eșantionează mai multe seturi de valori e ce-l găsește, și e exact eșecul pe care un elev l-ar întâlni o dată din douăzeci.
Marchează gata
Marchează gata setează starea pe publicat odată ce ești mulțumit de previzualizarea eșantionată. E momentul în care tipul devine listat și atribuibil — vezi Publică, anulează publicarea și cipurile de completitudine pentru ce schimbă asta.