# Επικύρωση και εξέλιξη

*Κατασκευή μετα-μοντέλου · ενότητα 6 από 6 · ~15 λεπτά*

## Τι θα μάθετε

Πώς ένα μοντέλο αποδεικνύει ότι είναι σωστό (επίπεδα επικύρωσης V0-V5), πώς αποδεικνύει ότι είναι ο εαυτός του (αποτυπώματα, πακέτα), και πώς αλλάζει χωρίς να σπάει τους καταναλωτές του.

## Έξι επίπεδα του "έγκυρου"

Η επικύρωση είναι στρωματωμένη· κάθε επίπεδο θέτει διαφορετικό ερώτημα:

| Επίπεδο | Ερώτημα |
|-------|----------|
| V0 Σύνταξη | Τα αρχεία αναλύονται; |
| V1 Δομικό | Είναι σωστή η μορφή: manifests παρόντα, αναφορές επιλύονται, **ο έλεγχος κάλυψης περνά (μηδέν ορφανά)**; |
| V2 Σημασιολογικό | Βγάζει νόημα το περιεχόμενο: είδη συνεπή, κάτοπτρα με προέλευση και φρεσκάδα, ροές κυριότητας σύμφωνες με τους κυρίους; |
| V3 Συνταγματικό | Υπακούει το μοντέλο στο MUC (κυριαρχία, ταυτότητα, κανόνες συμβάντων); |
| V4 Ομοσπονδία | Μπορεί να ομοσπονδιοποιηθεί: αντιστοιχίσεις ορθές, συμβόλαια καλοσχηματισμένα, έγγραφο ανακάλυψης έγκυρο; |
| V5 Εκτέλεση (προαιρετικό) | Ταιριάζει η ζωντανή συμπεριφορά με τις δηλώσεις: τρέχουν όντως οι ρυθμοί, τηρούνται τα όρια παλαίωσης; |

Ο πρακτικός ρυθμός: V0-V1 σε κάθε αλλαγή (φθηνό, αυτοματοποιήσιμο, ο διασχιστής είναι το μισό του V1), V2-V3 στην κυκλοφορία, V4 πριν από την ομοσπονδιοποίηση, V5 συνεχώς αν λειτουργείτε αγωγούς. Τα επίπεδα συνοδεύονται από αφηρημένες διαδικασίες δοκιμής, και το αποθετήριο παρέχει ένα σετ δοκιμών αναφοράς που παραμένει πράσινο.

## Ταυτότητα: το Σημασιολογικό αποτύπωμα

Η ταυτότητα ενός μοντέλου δεν είναι τα byte του: το **Σημασιολογικό αποτύπωμα** είναι ένα αναπαραγώγιμο hash πάνω στην κανονικοποιημένη σημασιολογική δομή, ταυτόσημο ανάμεσα σε σειριοποιήσεις. Τα αποτυπώματα τροφοδοτούν την απαλοιφή διπλότυπων στα μητρώα, την αυτοεπαλήθευση των πακέτων και την ανίχνευση απόκλισης ανάμεσα σε κύριο και αντίγραφα. Αν δύο μέρη υπολογίσουν διαφορετικά αποτυπώματα για "το ίδιο" μοντέλο, δεν έχουν το ίδιο μοντέλο, και τώρα το ξέρουν.

## Αποστολή: το Σημασιολογικό Πακέτο Διανομής

Ένα μοντέλο ταξιδεύει ως **SDP**: ένα υπογεγραμμένο, αυτοτελές τεκμήριο που φέρει τα πακέτα, το manifest, τα εισαγόμενα πακέτα και τις αντιστοιχίσεις, το αποτύπωμα και μια δήλωση συμμόρφωσης. Ο καταναλωτής επαληθεύει πριν εμπιστευτεί: ξαναϋπολογίζει το αποτύπωμα, ελέγχει την υπογραφή, διαβάζει το δηλωμένο επίπεδο συμμόρφωσης. Σκεφτείτε ένα τεκμήριο npm, αλλά για το νόημα, και με αυτοεπαλήθευση.

## Εξέλιξη χωρίς προδοσία

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

- **Η έκδοση είναι σημασιολογική**: οι ασύμβατες σημασιολογικές αλλαγές ανεβάζουν τον κύριο αριθμό· η αλλαγή του αποτυπώματος λέει την αλήθεια ανεξάρτητα από το τι ισχυρίζεται η συμβολοσειρά έκδοσης.
- **Οι μεταβάσεις είναι πρώτης τάξης**: το πρότυπο σημασιολογικής μετάβασης περιγράφει τις αλλαγές ως μετασχηματισμούς με προέλευση, όχι ως diff για να τα κοιτάς με το μάτι.
- **Η ιστορία είναι μόνο προσθήκης**: οι αντικατεστημένες εγγραφές σημαίνονται, δεν διαγράφονται ποτέ· η γραμμή χρόνου (ενότητα 4 των Θεμελίων) κρατά κάθε παρελθούσα κατάσταση ανασυγκροτήσιμη.
- **Και η δομική αλλαγή εκδίδεται**: αν η διάταξη του αποθετηρίου εξελιχθεί, το manifest τεκμηριώνει την αντιστοίχιση ώστε οι παλιοί διασχιστές να μη διαβάσουν σιωπηλά λάθος τις νέες μορφές.

## Η σκάλα της συμμόρφωσης

Η συμμόρφωση δηλώνεται, δεν διαισθάνεται: το MMAS ορίζει επίπεδα, και το **Βασικό Προφίλ** ορίζει τον ελάχιστο βιώσιμο ισχυρισμό (για νεαρά μοντέλα που δεν μπορούν ακόμη τα πάντα). Τα μοντέλα παραγωγής αυτού του οικοσυστήματος ξεκίνησαν από τη βασική εγκυρότητα μπλοκ και ανεβαίνουν προς τον πλήρη γράφο ιχνηλασιμότητας και τη διακυβέρνηση επιπέδου πράκτορα. Το να δηλώνεις ένα μετριοπαθές αληθινό επίπεδο είναι καλύτερο από το να ισχυρίζεσαι ένα κολακευτικό ψεύτικο: οι καταναλωτές μπορούν να ελέγξουν.

## Είστε πλέον κατασκευαστής

Ξέρετε τη μορφή (ανατομία), το περιεχόμενο (εγγραφές), τις εγγυήσεις (διαδρομή), την αρμοδιότητα (κυριότητα), τον μοχλό (επαναχρησιμοποίηση) και τον κύκλο ζωής (αυτή η ενότητα). Το έντιμο επόμενο βήμα είναι να χτίσετε: πάρτε το πρότυπο, μοντελοποιήστε κάτι μικρό που πραγματικά σας ανήκει, τρέξτε τον διασχιστή μέχρι να γίνει πράσινος, και καταγράψτε την αλήθεια στο `sources.yaml`. Το [μάθημα για πράκτορες](../03-agents/01-reading.md) δείχνει πώς οι μελλοντικοί συνεργάτες σας, ανθρώπινοι και τεχνητοί, θα καταναλώσουν αυτό που χτίσατε.

## Πηγαίνετε βαθύτερα

- [Επικύρωση V0-V5](/spec/#02-architecture/Validation.md) · [Συμμόρφωση MMAS](/spec/#02-architecture/MMAS-Conformance.md) · [Βασικό προφίλ](/spec/#02-architecture/Core-Profile.md)
- [Εκδόσεις και αποτυπώματα](/spec/#02-architecture/Versioning.md) · [Σημασιολογική μετάβαση](/spec/#02-architecture/Semantic-Migration.md)
- [MMAS-Package §13: το SDP](/spec/#02-architecture/MMAS-Package.md)