Provenance

Το provenance κατανοείται ακόμη καλύτερα ως πειθαρχία ρητού boundary: αυτό που ο compiler επιβάλλει πιο καθαρά σήμερα είναι το σκόπιμο unwrap step.

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

• Το unwrap(reason) είναι σήμερα το πιο καθαρά επιβεβλημένο provenance boundary.
• Το Knowledge<T> εξακολουθεί να απαιτεί ρητά unwrap boundaries αντί για σιωπηλή εξαγωγή.
• Αντιμετωπίστε τα tests και τα gate artifacts ως ισχυρότερη απόδειξη από aspirational prose ή ονόματα directories.

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

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