Αβεβαιότητα

Η αβεβαιότητα παραμένει κεντρική στην ιστορία της γλώσσας, αλλά το checked artifact την εκθέτει ακόμη μέσω μικρότερης επιφάνειας από το πλήρες spec-level μοντέλο.

Επαληθευμένο σήμερα

• Compile-fail fixtures με confidence bounds αποτελούν μέρος του επαληθευμένου συμβολαίου.
• Το Knowledge<T> εξακολουθεί να απαιτεί ρητά unwrap boundaries αντί για σιωπηλή εξαγωγή.
• Αντιμετωπίστε τα tests και τα gate artifacts ως ισχυρότερη απόδειξη από aspirational prose ή ονόματα directories.

Τρέχουσες επιφυλάξεις

• Το πλήρες μοντέλο αβεβαιότητας και provenance είναι πλουσιότερο στη spec και στη stdlib από ό,τι στο σημερινό checked artifact.
• Η συμπεριφορά εξαρτάται από το ακριβές binary souc, όχι μόνο από τα αρχεία που υπάρχουν στο αποθετήριο.