Co vám nemůže říct

Kontrola je záměrně konzervativní. Vědět, kde se zastaví, je to, co vám umožňuje důvěřovat té části, která se nezastaví.

Čistá zpráva není příslibem vyřešení

Kontrola prokazuje nemožnost. Nemůže prokázat možnost.

Vše, co dokáže dosáhnout, dopadlo dobře. Zda FET poté najde uspořádání a jak dlouho to trvá, je jiná otázka, na kterou odpoví pouze řešení.

Rozvrh může projít každou kontrolou zde a přesto být skutečně obtížný — protože obtížnost spočívá v tom, jak se volby vzájemně ovlivňují napříč tisíci lekcemi, nikoli v tom, že by se jeden počet ukázal jako nedostatečný.

Číslo obtížnosti je indikátor

Zpráva obsahuje skóre obtížnosti a sama o sobě uvádí, že je spíše indikátorem než verdiktem. Berte to jako měření teploty: užitečné pro porovnání vašeho rozvrhu se sebou samým před a po změně, nikoli jako předpověď úspěchu.

Vysoké číslo je důvodem k prozkoumání, kde je tlak, nikoli důvodem k očekávání selhání.

Některé počítání závisí na režimu řešiče

Většina kontrol probíhá ve všech režimech. Kde může lekce legálně začít, co pravidla ponechají, jakmile jsou všechna aplikována, a co to znamená pro lekce s ní spojené — den je den a časový úsek je časový úsek, bez ohledu na režim.

Co se zastaví, je vše, co počítá týden. Hodiny za týden proti časovým úsekům, které týden obsahuje, kolik dní se musí předmět rozprostřít, mezery mezi lekcemi v týdnu. V režimu Termíny není týden jednotkou, jakou se zdá, a počet přečtený napříč celým seznamem dnů by řekl, že máte VÍCE místa, než ve skutečnosti máte. To je jediný směr, ve kterém se důkaz nikdy nesmí mýlit, takže tyto kontroly jsou zadrženy, spíše než aby se hádaly.

Kontroly hygieny — visící reference, pravidla zaměřená na vypnuté činnosti, duplikáty — platí bez ohledu na režim, ve kterém se nacházíte.

Pokud sekce hlásí méně zjištění, než jste očekávali, stojí za to zkontrolovat režim před pravidly. Viz Režimy řešiče.

Některé věci záměrně chybí

Pravidlo, které si FET dodává sám, není hlášeno jako chybějící, protože je přidáno při zápisu souboru. Hlášení by bylo trvalým falešným poplachem o věci, která nikdy není skutečně špatná.

Obecněji: tam, kde kontrola nemůže rozhodnout, neříká nic, spíše než aby hádala. Toto mlčení je záměrná volba a je to důvod, proč lze prokázané-nemožné zjištění důvěřovat bez ověření.

Nekontroluje vaše záměry

Nic zde neví, co vaše škola skutečně potřebuje. Rozvrh může být prokazatelně možný, rychle se vyřešit a přesto umístit každou hodinu vědy na páteční odpoledne.

Kontrola odpovídá na otázku lze to sestavit. Zda by to mělo být, je stále na vás.

Kam dál

• Co dělá předletová kontrola
• Čtyři druhy zjištění
• Přehledy — pro tvar rozvrhu, který již existuje.