Quest Ladder
TeachFORGE.ai
Quest Ladder / Podgląd i weryfikacja
Podgląd, nowe przykłady i weryfikacja renderowania
Zobacz, co uczeń faktycznie dostanie, kilka razy, zanim ktokolwiek inny to zobaczy.
Typ, którego nie spróbowałeś, to typ, którego nie napisałeś.
Podgląd i dopracowanie
Przegląd etap otwiera się na Podgląd i dopracowanie AI: prawdziwa wygenerowana instancja twojego typu, wyrenderowana tak, jak zobaczy ją uczeń.
- Odśwież podgląd ponownie renderuje bieżącą próbkę po edycji.
- Nowe przykłady próbkuje świeże wartości, więc widzisz inną wersję. Jest oznaczone Przykład 1, Przykład 2 i tak dalej.
- Przełącznik przełącza między szablonem z tokenami a rozstrzygniętym podglądem zgodnym z widokiem ucznia.
Naciśnij Nowe przykłady przynajmniej pięć razy, zanim opublikujesz cokolwiek parametrycznego. Złe kombinacje się ukrywają: dzielenie, które wychodzi całkowite cztery razy i niezręczne za piątym, diagram, który nakłada się tylko, gdy obie zmienne są duże. Jedna próbka niczego nie dowodzi.
Weryfikacja renderowania
Weryfikacja renderowania sprawdza, że każda część typu faktycznie się rysuje: LaTeX się kompiluje, diagram się renderuje, wykres ma dane, żaden blok nie zawodzi. Odznaka zgłasza jeden z czterech stanów.
| Odznaka | Znaczy |
|---|---|
| Zweryfikowane — czyste | Wszystko się wyrenderowało. |
| Wymaga ponownej weryfikacji | Było czyste, potem coś edytowałeś. Uruchom ponownie. |
| {{count}} błędów renderowania | Coś się nie rysuje. Lista mówi, co. |
| Jeszcze nie zweryfikowane | Nigdy nie było sprawdzane. |
To brama, nie ostrzeżenie. Publikacja jest odmawiana, dopóki zostają błędy, a sterowanie mówi dlaczego: napraw błędy weryfikacji renderowania przed publikacją.
Czym zwykle są błędy
Trzy przyczyny odpowiadają za większość z nich.
- Wyrażenie LaTeX lub TikZ z błędem składni, często od zbłąkanego nawiasu po edycji.
- Token wskazujący zmienną, która została później przemianowana lub usunięta, więc nic się nie rozstrzyga.
- Diagram, którego współrzędne pochodzą ze zmiennych, które mogą dać zdegenerowany przypadek — trójkąt bez pola, wykres bez zakresu.
Trzeci to ten do obserwowania, bo przechodzi na większości próbek. Przebieg weryfikacji, który próbkuje kilka zestawów wartości, to to, co go znajduje — i to dokładnie porażka, którą uczeń spotka raz na dwadzieścia.
Oznacz jako gotowe
Oznacz jako gotowe ustawia status na opublikowany, gdy jesteś zadowolony z próbkowanego podglądu. To moment, w którym typ staje się wymieniony i do przypisania — zobacz Publikuj, cofnij publikację i chipy kompletności dla tego, co to zmienia.