Ce qu'il ne peut pas vous dire

La vérification est délibérément conservatrice. Savoir où elle s'arrête est ce qui vous permet de faire confiance à la partie qui ne s'arrête pas.

Un rapport propre n'est pas une promesse de résolution

La vérification prouve l'impossibilité. Elle ne peut pas prouver la possibilité.

Tout ce qu'elle peut atteindre s'est avéré correct. Que FET trouve ensuite un arrangement, et combien de temps cela prend, est une question différente à laquelle seule la résolution répond.

Un planning peut passer toutes les vérifications ici et rester réellement difficile — parce que la difficulté concerne la façon dont les choix interagissent à travers des milliers d'activités, et non un seul compte qui serait insuffisant.

Le nombre de difficulté est un indicateur

Le rapport contient un score de difficulté, et il indique clairement qu'il s'agit d'un indicateur plutôt que d'un verdict. Traitez-le comme une lecture de température : utile pour comparer votre planning avec lui-même avant et après un changement, et non comme une prédiction de succès.

Un nombre élevé est une raison d'examiner où se trouve la pression, pas une raison de s'attendre à un échec.

Certains comptages dépendent de votre mode de résolution

La plupart des vérifications s'exécutent dans tous les modes. Où une activité peut légalement commencer, ce que les règles laissent une fois qu'elles sont toutes appliquées, et ce que cela implique pour les activités qui y sont liées — un jour est un jour et une période est une période, quel que soit le mode.

Ce qui s'arrête, c'est tout ce qui compte une semaine. Les heures par semaine par rapport aux périodes qu'une semaine contient, le nombre de jours sur lesquels une matière doit s'étendre, les écarts entre les activités dans une semaine. En mode Termes, une semaine n'est pas l'unité qu'elle semble être, et un compte lu sur toute la liste des jours dirait que vous avez PLUS d'espace que vous n'en avez. C'est la seule direction dans laquelle une preuve ne doit jamais être fausse, donc ces vérifications sont retenues plutôt que devinées.

Les vérifications d'hygiène — références orphelines, règles visant des activités désactivées, doublons — s'appliquent quel que soit le mode dans lequel vous vous trouvez.

Si une section rapporte moins de résultats que prévu, le mode mérite d'être vérifié avant les règles. Voir Modes de résolution.

Certaines choses sont absentes volontairement

Une règle que FET fournit pour lui-même n'est pas signalée comme manquante, car elle est ajoutée lorsque le fichier est écrit. La signaler serait une fausse alarme permanente concernant une chose qui n'est jamais réellement fausse.

Plus généralement : lorsque la vérification ne peut pas décider, elle ne dit rien plutôt que de deviner. Ce silence est un choix délibéré, et c'est la raison pour laquelle une conclusion prouvée impossible peut être fiable sans vérification.

Elle ne vérifie pas vos intentions

Rien ici ne sait ce dont votre école a réellement besoin. Un planning peut être prouvé possible, se résoudre rapidement, et pourtant placer chaque activité scientifique un vendredi après-midi.

La vérification répond : cela peut-il être construit. La décision de savoir si cela devrait l'être vous appartient toujours.

Où aller ensuite

• Ce que fait la vérification pré-vol
• Les quatre types de résultats
• Aperçus — pour la forme d'un planning qui existe déjà.