Τι δεν μπορεί να σας πει

Ο έλεγχος είναι σκόπιμα συντηρητικός. Το να γνωρίζετε πού σταματάει είναι αυτό που σας επιτρέπει να εμπιστεύεστε το μέρος που δεν σταματάει.

Μια καθαρή αναφορά δεν είναι υπόσχεση επίλυσης

Ο έλεγχος αποδεικνύει την αδυναμία. Δεν μπορεί να αποδείξει τη δυνατότητα.

Ό,τι μπόρεσε να ελέγξει βρέθηκε εντάξει. Το αν το FET θα βρει στη συνέχεια μια διάταξη, και πόσο χρόνο θα χρειαστεί, είναι ένα διαφορετικό ερώτημα που απαντάται μόνο με την επίλυση.

Ένα Ωρολόγιο μπορεί να περάσει κάθε έλεγχο εδώ και να είναι ακόμα πραγματικά δύσκολο — επειδή η δυσκολία αφορά το πώς αλληλεπιδρούν οι επιλογές σε χιλιάδες μαθήματα, όχι το να βρεθεί κάποιος μεμονωμένος αριθμός ανεπαρκής.

Ο αριθμός δυσκολίας είναι ένας δείκτης

Η αναφορά φέρει μια βαθμολογία δυσκολίας, και αναφέρει ρητά ότι είναι ένας δείκτης και όχι μια ετυμηγορία. Αντιμετωπίστε το ως μια μέτρηση θερμοκρασίας: χρήσιμο για να συγκρίνετε το Ωρολόγιό σας με τον εαυτό του πριν και μετά από μια αλλαγή, όχι μια πρόβλεψη επιτυχίας.

Ένας υψηλός αριθμός είναι ένας λόγος να εξετάσετε πού υπάρχει πίεση, όχι ένας λόγος να περιμένετε αποτυχία.

Ορισμένες μετρήσεις εξαρτώνται από τη λειτουργία επίλυσης

Οι περισσότεροι έλεγχοι εκτελούνται σε κάθε λειτουργία. Το πού μπορεί νόμιμα να ξεκινήσει ένα μάθημα, τι αφήνουν οι κανόνες μόλις εφαρμοστούν όλοι, και τι συνεπάγεται αυτό για τα μαθήματα που συνδέονται με αυτό — μια Ημέρα είναι μια Ημέρα και μια χρονική θέση είναι μια χρονική θέση, ανεξάρτητα από τη λειτουργία.

Αυτό που σταματάει είναι οτιδήποτε μετράει μια εβδομάδα. Ώρες ανά εβδομάδα έναντι των χρονικών θέσεων που περιέχει μια εβδομάδα, πόσες Ημέρες πρέπει να απλωθεί ένα Αντικείμενο, τα κενά μεταξύ των μαθημάτων σε μια εβδομάδα. Στη λειτουργία Όρων, μια εβδομάδα δεν είναι η μονάδα που φαίνεται, και μια μέτρηση που διαβάζεται σε ολόκληρη τη λίστα Ημερών θα έλεγε ότι έχετε ΠΕΡΙΣΣΟΤΕΡΟ χώρο από ό,τι έχετε. Αυτή είναι η μία κατεύθυνση στην οποία μια απόδειξη δεν πρέπει ποτέ να είναι λανθασμένη, οπότε αυτοί οι έλεγχοι παρακρατούνται αντί να μαντεύονται.

Οι έλεγχοι υγιεινής — εκκρεμείς αναφορές, κανόνες που στοχεύουν σε απενεργοποιημένες Δραστηριότητες, διπλότυπα — εφαρμόζονται ανεξάρτητα από τη λειτουργία στην οποία βρίσκεστε.

Εάν μια ενότητα αναφέρει λιγότερα ευρήματα από όσα περιμένατε, αξίζει να ελέγξετε τη λειτουργία πριν από τους κανόνες. Δείτε Λειτουργίες επίλυσης.

Ορισμένα πράγματα απουσιάζουν σκόπιμα

Ένας κανόνας που παρέχει το FET για τον εαυτό του δεν αναφέρεται ως ελλιπής, επειδή προστίθεται όταν γράφεται το αρχείο. Η αναφορά του θα ήταν ένας μόνιμος ψευδής συναγερμός για κάτι που δεν είναι ποτέ πραγματικά λάθος.

Γενικότερα: όπου ο έλεγχος δεν μπορεί να αποφασίσει, δεν λέει τίποτα αντί να μαντεύει. Αυτή η σιωπή είναι μια σκόπιμη επιλογή, και είναι ο λόγος που ένα αποδεδειγμένα αδύνατο εύρημα μπορεί να εμπιστευτεί κανείς χωρίς επαλήθευση.

Δεν ελέγχει τις προθέσεις σας

Τίποτα εδώ δεν γνωρίζει τι χρειάζεται πραγματικά το σχολείο σας. Ένα Ωρολόγιο μπορεί να είναι αποδεδειγμένα εφικτό, να επιλυθεί γρήγορα, και παρόλα αυτά να τοποθετήσει κάθε μάθημα επιστήμης σε ένα απόγευμα Παρασκευής.

Ο έλεγχος απαντά μπορεί να κατασκευαστεί αυτό. Το αν πρέπει να κατασκευαστεί είναι ακόμα δική σας απόφαση.

Πού να πάτε στη συνέχεια

• Τι κάνει ο προ-πτητικός έλεγχος
• Τα τέσσερα είδη ευρημάτων
• Insights — για τη μορφή ενός Ωρολογίου που υπάρχει ήδη.