Provenance
Από πού προήλθαν τα δεδομένα και πώς μετασχηματίστηκαν.
Provenance
Στο epistemic computing, δεδομένα χωρίς προέλευση είναι δεδομένα χωρίς εμπιστοσύνη. Το επιστημικό μοντέλο του Sounio αντιμετωπίζει το provenance ως μέρος της τιμής, όχι ως εξωτερικό log αρχείο.
Τι Λειτουργεί Σήμερα (Πραγματικότητα του Compiler)
Η γλώσσα επιβάλλει ένα ρητό boundary μεταξύ epistemic και non-epistemic δεδομένων μέσω Knowledge<T>.unwrap(reason). Αυτό είναι το ελάχιστο “audit hook”: πρέπει να δηλώσετε γιατί εξάγετε μια raw τιμή.
Στη Spec / Στο Stdlib Design
Το intended μοντέλο provenance είναι:
- append-only υπό transformations
- διατηρείται υπό pure computations
- mergeable όταν συνδυάζετε πολλαπλές εισόδους
Το επιστημικό module της stdlib ορίζει πλουσιότερες δομές provenance που μπορούν να καταγράφουν sources, transformations και evidence chains.
Πρακτική Καθοδήγηση
- Αντιμετωπίστε το
unwrap(...)ως compliance boundary: κάντε log το reason και το context. - Κρατήστε το provenance άθικτο όταν εξάγετε ενδιάμεσα αποτελέσματα.