> Η μετάφραση παρέχεται για διευκόλυνση. Κανονιστικό είναι το αγγλικό πρωτότυπο.

# Επικύρωση

**Προδιαγραφή του Μετα-Σύμπαντος**

**Αναγνωριστικό εγγράφου:** MU-V2-ARCH-006  
**Τίτλος:** Επικύρωση - επίπεδα σημασιολογικής επαλήθευσης  
**Κατηγορία εγγράφου:** κανονιστικό  
**Έκδοση:** 2.0 (προσχέδιο)  
**Κατάσταση:** προσχέδιο εργασίας  
**Κανονιστικές αναφορές:** MUC, [MMAS-Core](../02-architecture/MMAS-Core.md), [MMAS-Conformance](../02-architecture/MMAS-Conformance.md), [MMAS-Interchange](../02-architecture/MMAS-Interchange.md)  
**Πληροφοριακές αναφορές:** [Certification](../06-ecosystem/Certification.md), [Compatibility-Matrix](../06-ecosystem/Compatibility-Matrix.md), [Ευρετήριο απαιτήσεων](../REQUIREMENTS-INDEX.md)  
**Πνευματικά δικαιώματα:** © Orkestron.AI  
**Άδεια:** Apache-2.0

---

# 1. Σκοπός

Το έγγραφο αυτό ορίζει την **επικύρωση** εντός του Προτύπου αρχιτεκτονικής μετα-μοντέλων (MMAS).

Η επικύρωση είναι η διαδικασία επαλήθευσης ότι ένα μετα-μοντέλο είναι ορθά δομημένο, εσωτερικά συνεπές, συνταγματικά συμμορφούμενο και έτοιμο να συμμετάσχει σε ομοσπονδία. Είναι η γέφυρα ανάμεσα σε μια αρχιτεκτονική προδιαγραφή και σε ένα αξιόπιστο σημασιολογικό μοντέλο.

---

# 2. Πεδίο εφαρμογής

Το έγγραφο αυτό εφαρμόζεται σε:

- την επικύρωση ενός μετα-μοντέλου και των τεχνουργημάτων του,
- την επικύρωση εισαγόμενων εξωτερικών προτύπων,
- τον ρόλο της επικύρωσης σε όλον τον κύκλο ζωής του μετα-μοντέλου,
- τη σχέση της επικύρωσης με τη [Συμμόρφωση](../02-architecture/MMAS-Conformance.md) και την [Πιστοποίηση](../06-ecosystem/Certification.md).

Δεν επιβάλλει συγκεκριμένο εργαλείο ή υλοποίηση επικύρωσης.

---

# 3. Αρχές

- **Η επικύρωση είναι στρωματική.** Διαφορετικές μέριμνες επαληθεύονται σε διαφορετικά επίπεδα.
- **Η επικύρωση είναι συνεχής.** Ένα μοντέλο επικυρώνεται σε όλον τον κύκλο ζωής του, όχι μία φορά.
- **Η επικύρωση είναι εξηγήσιμη.** Κάθε αποτέλεσμα προσδιορίζει τι ελέγχθηκε και γιατί πέρασε ή απέτυχε.
- **Η επικύρωση είναι ανεξάρτητη από την τεχνολογία.** Επαληθεύει σημασιολογία, όχι αποθήκευση ή μεταφορά.

---

# 4. Διαστάσεις της επικύρωσης

Η επικύρωση απαντά σε τέσσερα διαδοχικά βαθύτερα ερωτήματα:

1. Είναι το μοντέλο **ορθά δομημένο**; (σύνταξη και δομή)
2. Είναι το μοντέλο **εσωτερικά συνεπές**; (σημασιολογία)
3. **Τηρεί** το μοντέλο **το Σύνταγμα**; (συνταγματική συμμόρφωση)
4. **Μπορεί** το μοντέλο **να συμμετάσχει σε ομοσπονδία**; (διαλειτουργικότητα)

Τα ερωτήματα αυτά αντιστοιχούν στα παρακάτω επίπεδα επικύρωσης.

---

# 5. Επίπεδα επικύρωσης

Το Μετα-Σύμπαν ορίζει ένα στρωματικό μοντέλο επικύρωσης. Κάθε επίπεδο προϋποθέτει ότι τα κατώτερα έχουν περάσει.

| Επίπεδο | Όνομα | Τι επαληθεύει |
|-------|------|----------|
| **V0** | Σύνταξη | Τα τεχνουργήματα είναι συντακτικά έγκυρα και αναλύσιμα. |
| **V1** | Δομή | Το μοντέλο συμμορφώνεται με την ιεραρχία σύνθεσης MMAS (Μετα-Μοντέλο → Δέσμες → Στρώματα → Αντικείμενα → Ιδιότητες / Σχέσεις / Γεγονότα / Συμβόλαια / Προβολές → Μανιφέστο). |
| **V2** | Σημασιολογία | Το μοντέλο είναι εσωτερικά συνεπές: οι ταυτότητες είναι μοναδικές, οι αναφορές επιλύονται, οι σχέσεις είναι ορθά τυποποιημένες, η ονοματοδοσία είναι κανονική. |
| **V3** | Συνταγματικότητα | Το μοντέλο διατηρεί κάθε εφαρμοστέο άρθρο του [Συντάγματος](../01-constitution/Meta-Universe-Constitution.md) (ταυτότητα, προέλευση, ιχνηλασιμότητα, διαχωρισμό προβολών, πλαίσιο). |
| **V4** | Ομοσπονδία | Το μοντέλο μπορεί να συμμετάσχει σε ομοσπονδία: εκθέτει δημόσια σχήματα, δηλώνει Σημασιολογικά συμβόλαια, υποστηρίζει ανταλλαγή Προβολών και διαπραγμάτευση εκδόσεων. |
| **V5** | Χρόνος εκτέλεσης *(προαιρετικό)* | Τα ζωντανά στιγμιότυπα του μοντέλου παραμένουν συνεπή με το μοντέλο και η παρατηρούμενη πραγματικότητα δεν αντιφάσκει προς τη δηλωμένη σημασιολογία. |

Τα V0-V3 είναι **υποχρεωτικά** για κάθε μοντέλο που συμμορφώνεται με το MMAS. Το V4 απαιτείται για κάθε μοντέλο που συμμετέχει σε [ομοσπονδία](../03-federation/MUFP.md). Το V5 είναι ΠΡΟΑΙΡΕΤΙΚΟ και αφορά υλοποιήσεις σε λειτουργία.

---

# 5a. Αφηρημένες διαδικασίες δοκιμών

Κάθε επίπεδο επικύρωσης ορίζεται από ένα σύνολο **αφηρημένων διαδικασιών δοκιμών (ATP)** - ελέγχων που ένας συμμορφούμενος επικυρωτής ΟΦΕΙΛΕΙ να εκτελεί. Κάθε έλεγχος έχει σταθερό αναγνωριστικό (`V<επίπεδο>-<nn>`), σοβαρότητα σε περίπτωση αποτυχίας και τις κανονιστικές απαιτήσεις που επιβάλλει (κατά αναγνωριστικό, από το [Ευρετήριο απαιτήσεων](../REQUIREMENTS-INDEX.md)). Οι ATP καθιστούν τη συμμόρφωση αναπαραγώγιμη: δύο επικυρωτές που εφαρμόζουν αυτούς τους ελέγχους στο ίδιο μοντέλο ΟΦΕΙΛΟΥΝ να καταλήξουν στην ίδια ετυμηγορία.

## V0 - Σύνταξη

| Έλεγχος | Τι επαληθεύει | Σε αποτυχία | Τι επιβάλλει |
|-------|----------|---------|----------|
| `V0-01` | Το έγγραφο αναλύεται ως ορθά δομημένο JSON (ή YAML μετατρέψιμο σε αυτό χωρίς απώλειες) σε UTF-8. | Error | `MUIF-R02`, `MUIF-R03` |
| `V0-02` | Το `muif.version` υπάρχει και ισούται με `"1.0"`. | Error | `MUIF-R01` |

## V1 - Δομή

| Έλεγχος | Τι επαληθεύει | Σε αποτυχία | Τι επιβάλλει |
|-------|----------|---------|----------|
| `V1-01` | Το έγγραφο επικυρώνεται έναντι του `manifest.schema.json` και των σχημάτων πρωτογενών στοιχείων στα οποία παραπέμπει. | Error | `MUIF-R01` |
| `V1-02` | Κάθε πρωτογενές στοιχείο δηλώνει το `muifType` του και όλα τα υποχρεωτικά πεδία. | Error | `MUIF-R01` |
| `V1-03` | Η Ιεραρχία σύνθεσης υπάρχει (ένα `metaModel` και τουλάχιστον μία δέσμη ή ένα αντικείμενο). | Warning | σύνθεση `MMAS-CORE` |

## V2 - Σημασιολογία

| Έλεγχος | Τι επαληθεύει | Σε αποτυχία | Τι επιβάλλει |
|-------|----------|---------|----------|
| `V2-01` | Όλες οι τιμές `id` είναι μοναδικές εντός του εγγράφου. | Error | `MUC-R03` |
| `V2-02` | Κάθε εσωτερική αναφορά (`relationship.source`/`target`, `event.subject`, `projection.subject`/`contract`) επιλύεται σε δηλωμένο `id` ή σε ρητά δηλωμένη ομοσπονδιακή ταυτότητα. | Error | `MUC-R15` |
| `V2-03` | Κάθε CSN ταιριάζει με το κανονικό μοτίβο και κάθε χώρος ονομάτων που χρησιμοποιείται είναι δηλωμένος. | Error | `NAME` (CSN) |
| `V2-04` | Κάθε `relationship.kind` είναι δηλωμένη ή γνωστή κατηγορία Προφίλ Σχέσης. | Warning | `REL` (προφίλ) |
| `V2-05` | Ένα αυτοδηλωμένο `metaModel.fingerprint`, εφόσον υπάρχει, ισούται με το αποτύπωμα που υπολογίζεται κατά το [MMAS-Interchange](../02-architecture/MMAS-Interchange.md). | Error | `MUIF-R12`, `MUIF-R18` |

## V3 - Συνταγματικότητα

| Έλεγχος | Τι επαληθεύει | Σε αποτυχία | Τι επιβάλλει |
|-------|----------|---------|----------|
| `V3-01` | Κάθε Αντικείμενο έχει μοναδική, μόνιμη ταυτότητα. | Error | `MUC-R03`, `MUC-R04` |
| `V3-02` | Κάθε ουσιώδες δεδομένο δηλώνει ιδιοκτήτη και προέλευση. | Error | `MUC-R12`, `MUC-R13`, `MUC-R14` |
| `V3-03` | Καμία Προβολή δεν επαναπροσδιορίζει την ταυτότητα του υποκειμένου της. | Error | `MUC-R11` |
| `V3-04` | Κάθε εξωτερικά εκτιθέμενη Προβολή διέπεται από Συμβόλαιο και δηλώνει σκοπό. | Error | `MUC-R21`, `MUC-R22`, `MUC-R25` |
| `V3-05` | Κάθε σημασιολογικό δεδομένο υπάρχει εντός ρητού πλαισίου. | Warning | `MUC-R08`, `MUC-R10` |
| `V3-06` | Η προέλευση, η ιδιοκτησία, η εξέλιξη και οι εξαρτήσεις είναι προσδιορίσιμες. | Warning | `MUC-R15`, `MUC-R16` |

## V4 - Ομοσπονδία

| Έλεγχος | Τι επαληθεύει | Σε αποτυχία | Τι επιβάλλει |
|-------|----------|---------|----------|
| `V4-01` | Το δημόσιο σχήμα είναι ανακαλύψιμο χωρίς έκθεση των υποκείμενων δεδομένων. | Error | `MUC-R17`, `MUC-R18`, `MUC-R19`, `MUC-R20` |
| `V4-02` | Δηλώνεται Σημασιολογικό συμβόλαιο για κάθε Προβολή που ανταλλάσσεται εξωτερικά. | Error | `MUC-R21` |
| `V4-03` | Δημοσιεύονται έκδοση και Σημασιολογικό αποτύπωμα για τη διαπραγμάτευση. | Error | `MUIF-R12` |
| `V4-04` | Υπάρχουν Σημασιολογικές αντιστοιχίσεις για κάθε εισαγόμενο εξωτερικό πρότυπο. | Warning | `EXT` (Σημασιολογικό πακέτο) |

## V5 - Χρόνος εκτέλεσης *(προαιρετικό)*

| Έλεγχος | Τι επαληθεύει | Σε αποτυχία | Τι επιβάλλει |
|-------|----------|---------|----------|
| `V5-01` | Τα ζωντανά στιγμιότυπα συμμορφώνονται με το δηλωμένο μοντέλο. | Info | - |
| `V5-02` | Δεν υπάρχει σημασιολογική απόκλιση ανάμεσα στο δηλωμένο μοντέλο και την παρατηρούμενη πραγματικότητα. | Info | - |

Ένας επικυρωτής ΜΠΟΡΕΙ να προσθέτει ελέγχους, αλλά ΟΦΕΙΛΕΙ να υλοποιεί τουλάχιστον τους ελέγχους σοβαρότητας Error κάθε επιπέδου που δηλώνει ότι επαληθεύει.

---

# 6. Ταξινόμηση σοβαρότητας

Ένα αποτέλεσμα επικύρωσης ΟΦΕΙΛΕΙ να ταξινομεί κάθε εύρημα κατά σοβαρότητα:

- **Error** - παράβαση που εμποδίζει τη συμμόρφωση στο αντίστοιχο επίπεδο.
- **Warning** - ζήτημα που δεν εμποδίζει τη συμμόρφωση αλλά ΟΦΕΙΛΕΙ να αντιμετωπιστεί.
- **Info** - παρατήρηση ή σύσταση.

Ένα μοντέλο περνά ένα επίπεδο μόνο όταν δεν απομένει κανένα ανεπίλυτο **Error** στο επίπεδο αυτό.

---

# 7. Αναφορά επικύρωσης

Μια εκτέλεση επικύρωσης ΟΦΕΙΛΕΙ να παράγει **αναφορά επικύρωσης** που περιλαμβάνει:

- την ταυτότητα και την έκδοση του μοντέλου (με το [σημασιολογικό αποτύπωμά](../02-architecture/Versioning.md) του),
- το ανώτατο επίπεδο επικύρωσης που επιτεύχθηκε,
- κάθε εύρημα, με σοβαρότητα, θέση και εξήγηση,
- την ταυτότητα του επικυρωτή και τη χρονοσήμανση της επικύρωσης.

Για κάθε επίπεδο που επιχειρήθηκε, η αναφορά ΟΦΕΙΛΕΙ να καταγράφει την κατάσταση κάθε ελέγχου ATP (Ενότητα 5a) κατά αναγνωριστικό ελέγχου. Η μηχανικά αναγνώσιμη δομή ορίζεται από το [`schemas/validation-report.schema.json`](../schemas/validation-report.schema.json)· λυμένο παράδειγμα είναι το [`examples/minimal-person/validation-report.json`](../examples/minimal-person/validation-report.json), που αναφέρει το μοντέλο minimal-person να περνά τα V0-V4 και καταγράφει το επαληθευμένο Σημασιολογικό αποτύπωμά του.

Η αναφορά είναι η ίδια ιχνηλάσιμο τεχνούργημα και ΜΠΟΡΕΙ να αναφέρεται από μια [Δήλωση συμμόρφωσης](../02-architecture/MMAS-Conformance.md) ή ένα [Πιστοποιητικό](../06-ecosystem/Certification.md).

---

# 8. Επικύρωση εισαγόμενων προτύπων

Όταν ένα μετα-μοντέλο εισάγει ένα εξωτερικό πρότυπο ως [Σημασιολογικό πακέτο](../02-architecture/Extension-Model.md), το εισαγόμενο πακέτο ΟΦΕΙΛΕΙ να επικυρώνεται:

- οι δηλωμένοι χώροι ονομάτων και τα επιλεγμένα αντικείμενα επιλύονται,
- οι τοπικές επεκτάσεις δεν τροποποιούν το εισαγόμενο μοντέλο με απαγορευμένους τρόπους,
- οι σημασιολογικές αντιστοιχίσεις είναι ορθά δομημένες,
- η εισαγόμενη έκδοση εμπίπτει στο δηλωμένο εύρος συμβατότητας.

---

# 9. Συνεχής επικύρωση

Η επικύρωση ΟΦΕΙΛΕΙ να εφαρμόζεται σε όλον τον κύκλο ζωής του μετα-μοντέλου:

- κατά τη δημιουργία, πριν από τη δημοσίευση,
- σε κάθε αλλαγή, στο πλαίσιο της [Διαδικασίας αλλαγών](../01-constitution/Change-Process.md),
- κατά την εισαγωγή εξωτερικού προτύπου ή άλλου μοντέλου,
- πριν από τη θεμελίωση ή τροποποίηση μιας [ομοσπονδίας](../03-federation/Federation-Lifecycle.md).

Μια αλλαγή που υποβιβάζει το επιτευχθέν επίπεδο επικύρωσης ενός μοντέλου ΟΦΕΙΛΕΙ να αντιμετωπίζεται ως ουσιώδης αλλαγή στο πλαίσιο της Διαδικασίας αλλαγών.

---

# 9a. Εντοπισμός απόκλισης αποτελέσματος

Τα επίπεδα V0-V4 επαληθεύουν ότι ένα μοντέλο είναι *ορθό*. Δεν επαληθεύουν ότι εξακολουθεί να *επιτυγχάνει τον σκοπό του*. Ένα μοντέλο μπορεί να είναι απολύτως έγκυρο, με όλους τους ελέγχους πράσινους, ενώ η πραγματικότητα που περιγράφει απομακρύνεται από την πρόθεση για την οποία χτίστηκε.

**Απόκλιση αποτελέσματος** είναι η απόσταση ανάμεσα σε έναν δηλωμένο σκοπό ή μια υπόθεση (που κρατείται στο μοντέλο, π.χ. η δηλωμένη πρόθεση ενός Αντικειμένου ή μια επιχειρησιακή υπόθεση) και στο παρατηρούμενο αποτέλεσμα (ένα [θερμό περιγραφικό γεγονός](../04-core-concepts/Virtual-Projection.md) που διαβάζεται μέσω Εικονικής προβολής). Εντοπίζεται από έναν έλεγχο παρασκηνίου - έναν «φάντασμα» ελεγκτή - που συγκρίνει συνεχώς τα δύο:

> *Ο κώδικας είναι έγκυρος, οι δοκιμές πράσινες, αλλά η μετρική που η αλλαγή έγινε για να βελτιώσει πέφτει.* → σήκωσε σήμα απόκλισης αποτελέσματος: τεχνικά συμμορφούμενο, σκοπός ανεκπλήρωτος· η υπόθεση του μοντέλου ΟΦΕΙΛΕΙ να επανεξεταστεί.

Ο εντοπισμός απόκλισης αποτελέσματος αποτελεί μέρος της προαιρετικής επικύρωσης **V5 (χρόνος εκτέλεσης)**. ΔΕΝ ΠΡΕΠΕΙ να εμποδίζει τη δομική συμμόρφωση (ένα μοντέλο που αποκλίνει παραμένει έγκυρο), αλλά μια εντοπισμένη απόκλιση ΟΦΕΙΛΕΙ να καταγράφεται ως [Γεγονός](../04-core-concepts/Event.md) και να γνωστοποιείται στον ιδιοκτήτη. Συνδέει τον [Γράφο προέλευσης](../02-architecture/Provenance-Graph.md) (*ποια πρόθεση εξυπηρετεί αυτό;*) με τα ζωντανά αποτελέσματα (*εκπληρώνεται αυτή η πρόθεση;*).

---

# 10. Σχέση με τη συμμόρφωση και την πιστοποίηση

Επικύρωση, συμμόρφωση και πιστοποίηση είναι διακριτά:

- Η **επικύρωση** ελέγχει το μοντέλο έναντι των επιπέδων που ορίζονται εδώ.
- Η **[συμμόρφωση](../02-architecture/MMAS-Conformance.md)** δηλώνει ποια πρότυπα και ποια επίπεδα ωριμότητας διεκδικεί το μοντέλο (ειδικότερα, το επίπεδο MMAS **A4 Επικυρωμένο** απαιτεί επιτυχία στα V0-V3, και στο V4 όπου ισχύει η ομοσπονδία).
- Η **[πιστοποίηση](../06-ecosystem/Certification.md)** είναι η ανεξάρτητη επιβεβαίωση αυτών των δηλώσεων.

---

# 11. Αρχιτεκτονικά αναλλοίωτα

- Η επικύρωση ΟΦΕΙΛΕΙ να είναι στρωματική (από V0 έως V5).
- Ένα ανώτερο επίπεδο ΟΦΕΙΛΕΙ να προϋποθέτει ότι τα κατώτερα έχουν περάσει.
- Ένα μοντέλο ΔΕΝ ΠΡΕΠΕΙ να δηλώνει επίπεδο επικύρωσης που δεν έχει επιτύχει.
- Κάθε αποτέλεσμα επικύρωσης ΟΦΕΙΛΕΙ να είναι εξηγήσιμο και ιχνηλάσιμο.

---

# Μελλοντικές κατευθύνσεις

Το μοντέλο επικύρωσης που ορίζεται εδώ επαληθεύει ένα μόνο μετα-μοντέλο. Αναμένονται αρκετές ευρύτερες μορφές επαλήθευσης, οι οποίες θα συγκροτούσαν ένα αυτοτελές **Πλαίσιο σημασιολογικής επικύρωσης (SVF)**:

- **επικύρωση μεταξύ μοντέλων** - συνέπεια ανάμεσα σε πολλά μετα-μοντέλα (π.χ. ΜΜ Εργαζομένου ↔ ΜΜ Τμήματος ↔ ΜΜ Έργου),
- **επικύρωση μεταξύ συμπάντων** - συνέπεια μιας ομοσπονδίας ανάμεσα σε ανεξάρτητα Σύμπαντα,
- **εντοπισμός απόκλισης κατά την εκτέλεση** - απόσταση ανάμεσα σε δηλωμένο μοντέλο και πραγματική κατάσταση του κόσμου,
- **επικύρωση συλλογισμού τεχνητής νοημοσύνης** - επαλήθευση ότι τα συμπεράσματα ενός πράκτορα δεν αντιφάσκουν προς τους περιορισμούς και τη σημασιολογία του μοντέλου.

Αυτά υπερβαίνουν τη βασική επικύρωση MMAS και καταγράφονται εδώ ως υποψήφια μελλοντικά πρότυπα (βλ. [Roadmap](../06-ecosystem/Roadmap.md)).

---

# Τελική δήλωση

> Η επικύρωση είναι ο τρόπος με τον οποίο ένα μετα-μοντέλο κερδίζει την εμπιστοσύνη: όχι με δήλωση, αλλά περνώντας, επίπεδο με επίπεδο, τους ελέγχους που αποδεικνύουν ότι είναι ορθά δομημένο, συνεπές, νόμιμο και έτοιμο να ομοσπονδοποιηθεί.