> Η μετάφραση παρέχεται για διευκόλυνση. Κανονιστικό είναι το αγγλικό πρωτότυπο. # Συνέπεια πολιτικών **Προδιαγραφή του Μετα-Σύμπαντος** **Αναγνωριστικό εγγράφου:** MU-V2-ARCH-014 **Τίτλος:** Συνέπεια πολιτικών, προτεραιότητα και χειρισμός αδιεξόδων **Κατηγορία εγγράφου:** κανονιστικό **Έκδοση:** 2.0 (προσχέδιο) **Κατάσταση:** προσχέδιο εργασίας **Κανονιστικές αναφορές:** MUC, [Validation](../02-architecture/Validation.md), [Change-Process](../01-constitution/Change-Process.md), [Contract](../04-core-concepts/Contract.md) **Πληροφοριακές αναφορές:** [Conflict-Resolution](../03-federation/Conflict-Resolution.md), [AI-Agent-Guide](../07-guides/AI-Agent-Guide.md), [Traceability](../02-architecture/Traceability.md) **Πνευματικά δικαιώματα:** © Orkestron.AI **Άδεια:** Apache-2.0 --- # 1. Σκοπός Όταν ένα μετα-μοντέλο αντιμετωπίζει τους κανονιστικούς κανόνες ως δεσμευτικό δίκαιο, γίνονται δυνατές δύο αστοχίες που τα συνήθη εργαλεία δεν πιάνουν: 1. Δύο αλλαγές περνούν η καθεμιά μια συγχώνευση σε επίπεδο γραμμών και ωστόσο αφήνουν το σύνολο κανόνων **λογικά αντιφατικό** (το `git merge` καταλαβαίνει γραμμές, όχι λογική). 2. Τη στιγμή της απόφασης, **ο Κανόνας A απαιτεί το X ενώ ο Κανόνας B το απαγορεύει** - ένα αδιέξοδο πολιτικής που στέλνει έναν αυστηρό πράκτορα σε ατέρμονο βρόχο ή σε άρνηση δράσης. Το έγγραφο αυτό ορίζει πώς διατηρείται εσωτερικά συνεπές ένα σώμα κανονιστικών κανόνων: **έλεγχος συνέπειας πολιτικών πριν από τη συγχώνευση**, ρητή **προτεραιότητα κανόνων** και υποχρεωτικός **χειρισμός αδιεξόδων με κλιμάκωση σε άνθρωπο**. Διακρίνεται από το [Conflict-Resolution](../03-federation/Conflict-Resolution.md): εκείνο διέπει *αποκλίνουσες ερμηνείες ανάμεσα σε κυρίαρχα σύμπαντα*· τούτο διέπει *λογική αντίφαση εντός των κανονιστικών κανόνων ενός μοντέλου*. --- # 2. Οι κανονιστικοί κανόνες ως πλήρεις οντότητες **Κανονιστικός κανόνας** είναι δεσμευτική διατύπωση (`SHALL` / `SHALL NOT`) με σταθερή ταυτότητα. Κάθε κανόνας ΟΦΕΙΛΕΙ να δηλώνει: - σταθερό αναγνωριστικό κανόνα, - την **εμβέλειά** του (τα αντικείμενα και πλαίσια που περιορίζει), - την **προτεραιότητά** του (ρητό βάρος ή τάξη - βλ. Ενότητα 4), - την προέλευση και τον κύκλο ζωής του. Οι κανόνες εκδίδονται και ιχνηλατούνται όπως κάθε άλλο σημασιολογικό τεχνούργημα. --- # 3. Έλεγχος συνέπειας πολιτικών Πριν μια αλλαγή στην κανονιστική βάση εισέλθει στον [κανόνα του μοντέλου](../05-reference-architecture/Reference-Repository.md), ΟΦΕΙΛΕΙ να εκτελείται **έλεγχος συνέπειας πολιτικών**. Αξιολογεί αν το προκύπτον σύνολο κανόνων είναι **ικανοποιήσιμο** - αν υπάρχει κατάσταση που να ικανοποιεί όλους τους κανόνες ταυτόχρονα. - Αλλαγή που καθιστά το σύνολο κανόνων μη ικανοποιήσιμο ΟΦΕΙΛΕΙ να απορρίπτεται ως **αστοχία συνταγματικού επιπέδου (V3)** στο [Validation](../02-architecture/Validation.md)· οι αντιφατικοί κανόνες ΟΦΕΙΛΟΥΝ να αναφέρονται κατά αναγνωριστικό. - Ο έλεγχος ΟΦΕΙΛΕΙ να λειτουργεί στο επίπεδο της σημασιολογίας των κανόνων (κατηγορήματα πάνω στο μοντέλο), όχι του κειμένου. Μια υλοποίηση ΜΠΟΡΕΙ να χρησιμοποιεί λογικό επιλυτή ή επικυρωτικό συλλογιστικό πράκτορα· η απαίτηση είναι η ετυμηγορία να είναι **αναπαραγώγιμη και εξηγήσιμη**. - Ο έλεγχος αποτελεί πύλη στη [Διαδικασία αλλαγών](../01-constitution/Change-Process.md): καμία κανονιστική αλλαγή δεν συγχωνεύεται πριν τον περάσει. Αυτή είναι η συγκεκριμένη, άμεσα εφικτή μορφή του σκέλους «επικύρωση συλλογισμού τεχνητής νοημοσύνης» του μελλοντικού Πλαισίου σημασιολογικής επικύρωσης (βλ. [Validation](../02-architecture/Validation.md)). --- # 4. Προτεραιότητα κανόνων Όπου δύο κανόνες *θα μπορούσαν* να συγκρουστούν σε κάποιες καταστάσεις αλλά υπάρχει σαφής σειρά κύρους, η **προτεραιότητα** το επιλύει ντετερμινιστικά: - Οι κανόνες υψηλότερης προτεραιότητας υπερισχύουν των χαμηλότερων· η επίλυση ΟΦΕΙΛΕΙ να καταγράφεται ως [ιχνηλάσιμη](../02-architecture/Traceability.md) απόφαση και όχι να εφαρμόζεται σιωπηλά. - Οι συνταγματικοί κανόνες ([MUC](../01-constitution/Meta-Universe-Constitution.md)) ΟΦΕΙΛΟΥΝ να έχουν την ύψιστη προτεραιότητα· κανένας υποδεέστερος κανόνας δεν μπορεί να υπερισχύσει συνταγματικού άρθρου. - Η προτεραιότητα επιλύει *ιεραρχήσιμες* συγκρούσεις. ΔΕΝ ΠΡΕΠΕΙ να χρησιμοποιείται για να καλύψει γνήσια λογική αντίφαση που καμία διάταξη δεν μπορεί να ικανοποιήσει - αυτό είναι αστοχία της Ενότητας 3. --- # 5. Εντοπισμός αδιεξόδων και χειρισμός εξαιρέσεων **Αδιέξοδο πολιτικής** είναι κατάσταση κατά την εκτέλεση στην οποία οι εφαρμοστέοι κανόνες δεν μπορούν να ικανοποιηθούν όλοι και η προτεραιότητα δεν τους επιλύει (ο Κανόνας A απαιτεί το X, ο ισότιμος Κανόνας B το απαγορεύει). Μια υλοποίηση ΟΦΕΙΛΕΙ: 1. Να **εντοπίσει** το αδιέξοδο αντί να βρεθεί σε βρόχο - ένας συλλογιστικός πράκτορας ΟΦΕΙΛΕΙ να οριοθετεί τις προσπάθειές του και να αναγνωρίζει την αμοιβαία εμπλοκή. 2. Να **καταγράψει** το αδιέξοδο ως αμετάβλητο [Γεγονός](../04-core-concepts/Event.md) (γεγονός `Conflict`) κατονομάζοντας τους κανόνες που μπλοκάρουν. 3. Να **κλιμακώσει** αμέσως σε άνθρωπο (human-in-the-loop). Ο πράκτορας ΔΕΝ ΠΡΕΠΕΙ να διαλέγει σιωπηλά πλευρά, να επινοεί επίλυση ή να μένει επ' αόριστον στάσιμος. 4. Να **σταματήσει** την επηρεαζόμενη ενέργεια μέχρι να επιλυθεί η κλιμάκωση· άλλη, μη επηρεαζόμενη εργασία ΜΠΟΡΕΙ να συνεχιστεί. Η ίδια η επίλυση (αλλαγή προτεραιότητας, τροποποίηση κανόνα ή εφάπαξ εξαίρεση) ΟΦΕΙΛΕΙ να περάσει τον έλεγχο συνέπειας πολιτικών πριν τεθεί σε ισχύ. --- # 6. Σημεία σύνδεσης με την επικύρωση - Το `V3` (συνταγματικό) επεκτείνεται με έλεγχο **συνέπειας πολιτικών**: το σύνολο κανονιστικών κανόνων ΟΦΕΙΛΕΙ να είναι ικανοποιήσιμο. - Μοντέλο που δεν μπορεί να αποδείξει την ικανοποιησιμότητα των δηλωμένων κανόνων του ΔΕΝ ΠΡΕΠΕΙ να διεκδικεί συμμόρφωση V3. Βλ. [Validation](../02-architecture/Validation.md) για τους ορισμούς επιπέδων. --- # 7. Αρχιτεκτονικά αναλλοίωτα - Το σύνολο κανονιστικών κανόνων ΟΦΕΙΛΕΙ να είναι ικανοποιήσιμο· οι αντιφάσεις ΟΦΕΙΛΟΥΝ να απορρίπτονται πριν από τη συγχώνευση. - Οι συνταγματικοί κανόνες ΟΦΕΙΛΟΥΝ να έχουν την ύψιστη προτεραιότητα. - Οι επιλύσεις κατά προτεραιότητα ΟΦΕΙΛΟΥΝ να καταγράφονται, ποτέ να είναι σιωπηλές. - Το αδιέξοδο πολιτικής ΟΦΕΙΛΕΙ να πυροδοτεί εντοπισμό, Γεγονός και κλιμάκωση σε άνθρωπο - ποτέ ατέρμονο βρόχο ή σιωπηλή επιλογή. --- # Μελλοντικές κατευθύνσεις - Τυπικό **λεξιλόγιο κατηγορημάτων** για την έκφραση της σημασιολογίας κανόνων, ώστε οι επιλυτές να διαλειτουργούν. - **Τεχνουργήματα απόδειξης** προσαρτημένα σε επιτυχή έλεγχο συνέπειας, ώστε ο καταναλωτής να μπορεί να επαναεπαληθεύσει την ικανοποιησιμότητα χωρίς να ξανατρέξει τον επιλυτή. - Ενσωμάτωση με τις [προβολές προσομοιωμένου δοκιμαστηρίου](../02-architecture/Simulation-Sandbox.md), ώστε μια αλλαγή κανόνα να δοκιμάζεται για αδιέξοδα πριν προταθεί. --- # Τελική δήλωση > Κανόνες που αντιφάσκουν μεταξύ τους είναι χειρότεροι από την απουσία κανόνων: παγώνουν ακριβώς τους πράκτορες που υποτίθεται ότι θα δράσουν βάσει αυτών. Η συνέπεια πολιτικών κρατά τον νόμο ικανοποιήσιμο - και όταν δεν μπορεί, παραδίδει τη δύσκολη περίπτωση σε άνθρωπο αντί να γυρίζει σε βρόχο για πάντα.