Specification

Η specification παραμένει σημαντική, αλλά τα δημόσια docs την παρουσιάζουν πλέον ως υλικό πρόθεσης και αναφοράς που πρέπει να διασταυρώνεται με τα τρέχοντα tests και artifacts.

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

• Η γλωσσική προδιαγραφή μπορεί να προηγείται από αυτά που εφαρμόζει το τρέχον δημόσιο artifact.
• Αντιμετωπίστε τα tests και τα gate artifacts ως ισχυρότερη απόδειξη από aspirational prose ή ονόματα directories.
• Backends όπως LLVM, GPU και LSP πρέπει να επιβεβαιώνονται ανά artifact και όχι να συμπεραίνονται από το source tree.

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

• Η συμπεριφορά εξαρτάται από το ακριβές binary souc, όχι μόνο από τα αρχεία που υπάρχουν στο αποθετήριο.
• Η σύνταξη units και quantity υπάρχει, αλλά η end-to-end επιβολή παραμένει μερική.