Όρια και συμβιβασμοί

Αυτή η σελίδα είναι η ειλικρινής απάντηση στην πιο κοφτερή ένσταση που δέχεται το πρότυπο: αν κάθε Σύμπαν πρέπει να υιοθετήσει ένα κοινό μοντέλο για να συνομοσπονδιοποιηθεί, δεν είναι αυτό συγκεντρωτισμός με άλλο καπέλο; Η σύντομη απάντηση είναι ότι υπάρχει όντως ένα πραγματικό, υποχρεωτικό, κοινό στρώμα. Δεν το κρύβουμε. Εδώ ονομάζεται ακριβώς τι είναι, τι δεν είναι και τι τίμημα πληρώνετε γι' αυτό.

Αν πρόκειται να διαβάσετε μία μόνο σελίδα πριν αποφασίσετε αν εμπιστεύεστε το πρότυπο, διαβάστε αυτήν.

Τι απαιτεί πραγματικά το κοινό στρώμα

Για να συνομοσπονδιοποιηθεί, ένα Σύμπαν ΠΡΕΠΕΙ να αποδεχθεί ένα σταθερό σύνολο δομικών πρωτογενών στοιχείων και καθηκόντων συμπεριφοράς. Αυτή είναι η λεπτή, υποχρεωτική μορφή. Την ορίζει το Σύνταγμα του Μετα-Σύμπαντος (MUC) και είναι το μόνο που δεν είναι προαιρετικό. Το MUC είναι η έγκυρη απαρίθμηση: 21 άρθρα σε έξι κεφάλαια. Δεν είναι σχήμα του κόσμου, αλλά ένα μικρό σύνολο αναλλοίωτων για το πώς μια μονάδα νοήματος διαμορφώνεται, μετακινείται και λογοδοτείται. Τα φέροντα είναι τα εξής.

Πώς διαμορφώνεται και μετακινείται μια μονάδα νοήματος:

• Ταυτότητα. Κάθε μονάδα νοήματος φέρει ένα καθολικά μοναδικό, διαρκές αναγνωριστικό (MUC, άρθρο 2). Οι ετικέτες και οι αναπαραστάσεις μπορεί να αλλάξουν, η ταυτότητα όχι.
• Το αντικείμενο και η προβολή είναι διαφορετικά. Η γνώση περνά ένα όριο ως προβολή, μια όψη υπό συγκεκριμένο πλαίσιο και σκοπό, ποτέ ως αντίγραφο που επαναπροσδιορίζει την πηγή (MUC, άρθρο 5). Αυτό που λαμβάνει το άλλο Σύμπαν είναι Προβολή, όχι μεταβίβαση του πηγαίου αντικειμένου.
• Προέλευση. Κάθε σημαντικό γεγονός δηλώνει από πού προήλθε: η άγνωστη προέλευση σημειώνεται ως άγνωστη, δεν αποκρύπτεται (MUC, άρθρο 7).
• Ιχνηλασιμότητα. Η προέλευση, η ιδιοκτησία, η εξέλιξη και οι εξαρτήσεις ενός γεγονότος παραμένουν προσδιορίσιμες (MUC, άρθρο 8).
• Κοινά σχήματα, όχι κοινό λεξικό. Η διαλειτουργικότητα ξεκινά με τη δημοσίευση από κάθε Σύμπαν του δικού του σχήματος: η δημοσίευση ενός σχήματος ποτέ δεν συνεπάγεται δημοσίευση των δεδομένων πίσω από αυτό (MUC, άρθρο 9).
• Ρητά συμβόλαια. Η γνώση ανταλλάσσεται μόνο μέσω δηλωμένου συμβολαίου που ορίζει σκοπό και εύρος. Τίποτα δεν ρέει σιωπηρά (MUC, άρθρο 11).
• Ρητές αντιστοιχίσεις. Όπου δύο μοντέλα διαφέρουν, η διαφορά δηλώνεται ως ρητή αντιστοίχιση: οι σιωπηρές σημασιολογικές παραδοχές απαγορεύονται (MUC, άρθρο 17).

Τι δεσμεύεστε να κάνετε όταν ανταλλάσσετε:

• Ελάχιστη γνώση. Ο συμμετέχων λαμβάνει μόνο το ελάχιστο που απαιτείται για τον συμφωνημένο σκοπό: οι προβολές προτιμώνται από τα ολόκληρα αντικείμενα (MUC, άρθρο 12).
• Δηλωμένος σκοπός. Κάθε αίτημα δηλώνει τον σκοπό του, και ο σκοπός συμμετέχει στην απόφαση εξουσιοδότησης (MUC, άρθρο 13).
• Η εμπιστοσύνη δεν θεωρείται ποτέ δεδομένη. Θεμελιώνεται μέσω επαληθεύσιμης ταυτότητας, προέλευσης, τεκμηρίων ή συμφωνίας (MUC, άρθρο 14).
• Η ασφάλεια είναι ανεξάρτητη από την εμπιστοσύνη. Η θεμελίωση εμπιστοσύνης δεν αίρει την υποχρέωση προστασίας της ακεραιότητας, της γνησιότητας και της εμπιστευτικότητας όσων αποκαλύπτετε (MUC, άρθρο 15).

Αυτός είναι ένας πραγματικός, υποχρεωτικός πυρήνας, και είναι μεγαλύτερος από ένα σύνθημα: καθορίζει πώς το νόημα ταυτοποιείται, προβάλλεται, ιχνηλατείται και συμβολαιοποιείται, και σας δεσμεύει σε καθήκοντα συμπεριφοράς όταν ανταλλάσσετε. Είναι ένα γνήσιο σημείο κεντρικής συμφωνίας, κοινό για κάθε συμμετέχοντα, και δεν διαπραγματεύεται ανά κόμβο. Το να προσποιούμαστε ότι είναι μόνο μια χούφτα αθώων σχημάτων θα υποτιμούσε το τίμημα, και η υποτίμηση του τιμήματος είναι ακριβώς η αποτυχία που αυτή η σελίδα υπάρχει για να αποτρέψει. Το πλήρες κείμενο, άρθρο προς άρθρο, είναι το Σύνταγμα του Μετα-Σύμπαντος: διαβάστε το αν θέλετε ολόκληρο τον λογαριασμό.

Μια σημείωση για το λεξιλόγιο: η αρχική σελίδα παρουσιάζει το μοντέλο μέσα από ένα λεξιλόγιο παρουσίασης (Διάσταση, Χώρος ονομάτων, Αντικείμενο, Προβολή). Αυτά είναι τα επιφανειακά ονόματα των ίδιων αναλλοίωτων που το MUC διατυπώνει κανονιστικά. Τα άρθρα του MUC είναι η έγκυρη απαρίθμηση της υποχρεωτικής μορφής: οι όροι της αρχικής αντιστοιχούν σε αυτά, δεν προσθέτουν ξεχωριστό τίμημα.

Τι ΔΕΝ απαιτεί το κοινό στρώμα

Η μορφή δεν λέει τίποτα για το τι είναι το νόημά σας. Το νόημα του τομέα σας μένει εξ ολοκλήρου τοπικό:

• Τι σημαίνει "πελάτης", τι είναι ένα "εξάρτημα", τι μετρά ως "σύμβαση" στην επιχείρησή σας: δικό σας, ορισμένο από εσάς, ποτέ επιβεβλημένο.
• Το λεξιλόγιό σας, τα όρια των οντοτήτων σας, οι κανόνες σας, η αλήθεια σας: μένουν σπίτι.
• Δεν υπάρχει ένα κύριο σχήμα στο οποίο πρέπει να αντιστοιχιστούν όλοι, ούτε ανώτατη αρχή που κατέχει τους ορισμούς. Οι αντιστοιχίσεις μεταξύ μοντέλων είναι ρητές και διμερείς (MUC, άρθρο 17), όχι υποταγή σε ένα κεντρικό λεξικό όρων του τομέα.

Προσαρμόζετε τα μοντέλα σας σε μια δομική μορφή. Ποτέ δεν παραδίδετε το περιεχόμενό τους. Δύο Σύμπαντα μπορούν να συνομοσπονδιοποιηθούν ενώ διαφωνούν πλήρως για το τι είναι "προϊόν", επειδή το πρότυπο καθορίζει το δοχείο, όχι το φορτίο.

Η συμφωνία, χωρίς περιστροφές

Κάθε λειτουργικό πρότυπο διαλειτουργικότητας κάνει την ίδια ανταλλαγή, και κανένα δεν θεωρείται συγκεντρωτισμός με την επιλήψιμη έννοια:

• Το TCP/IP καθορίζει το πακέτο, όχι την κίνηση. Κάθε μηχάνημα στο διαδίκτυο συμφωνεί στη μορφή του πακέτου. Κανένα δεν αποφασίζει τι επιτρέπεται να πείτε μέσα του.
• Το εμπορευματοκιβώτιο καθορίζει τις διαστάσεις, όχι το φορτίο. Όλος ο κόσμος τυποποίησε τις γωνιακές υποδοχές και το εξωτερικό κιβώτιο. Κανείς δεν τυποποίησε τι μεταφέρετε μέσα.
• Η HTML καθορίζει τη σήμανση, όχι το κείμενο. Κάθε φυλλομετρητής συμφωνεί στο τι σημαίνει μια ετικέτα παραγράφου. Κανένας οργανισμός προτύπων δεν εγκρίνει τον λόγο σας.

Σε κάθε περίπτωση το κοινό στρώμα είναι λεπτό, υποχρεωτικό και σκόπιμα τυφλό ως προς το περιεχόμενο. Αυτό το κάνει ασφαλές να υιοθετηθεί. Το Vercy είναι η ίδια συμφωνία εφαρμοσμένη στο νόημα: η μορφή είναι κοινή ώστε το περιεχόμενο να μη χρειάζεται να είναι.

Ο ειλικρινής ισχυρισμός

Δεν ισχυριζόμαστε "καθόλου συγκεντρωτισμό". Θα ήταν ψευδές, και ένας σκεπτικιστής θα το έπιανε με μία ανάγνωση.

Ο ειλικρινής ισχυρισμός είναι στενότερος και υπερασπίσιμος:

Ο συγκεντρωτισμός εδώ είναι ελάχιστος, περιορισμένος στη μορφή και υπόλογος.

• Ελάχιστος: ένα μικρό σύνολο συνταγματικών αναλλοίωτων, όχι σχήμα του κόσμου.
• Περιορισμένος στη μορφή: περιορίζει πώς διαμορφώνεται και ανταλλάσσεται μια μονάδα νοήματος, ποτέ τι σημαίνει.
• Υπόλογος: όποιος διοικεί τη μορφή διοικείται και ο ίδιος, ανοιχτά, από δημοσιευμένη διαδικασία (δείτε παρακάτω).

Αν κάποιο από αυτά τα τρία πάψει να ισχύει, η ένσταση έχει δίκιο και το πρότυπο απέτυχε. Είναι δεσμεύσεις, όχι διακόσμηση.

Το δύσκολο ερώτημα, απαντημένο

Με απλά λόγια, η ένσταση είναι αυτή:

Αν η συμμετοχή απαιτεί υιοθέτηση κοινού συνταγματικού μοντέλου, και οι όροι συμμετοχής δεν είναι προαιρετικοί, τότε η κυριαρχία επί του περιεχομένου είναι πραγματική ή ο συγκεντρωτισμός απλώς ανέβηκε έναν όροφο;

Είναι το σωστό ερώτημα, και το μισό πετυχαίνει τον στόχο. Ναι, οι όροι δεν είναι προαιρετικοί: για να συνομοσπονδιοποιηθείτε, συμμορφώνεστε με τη μορφή. Το να το ονομάζουμε "καθόλου συγκεντρωτισμό" είναι ωραιοποίηση. Άρα η κυριαρχία δεν μπορεί να σημαίνει "καθόλου κοινούς κανόνες", γιατί με αυτόν τον ορισμό κανένα πρότυπο διαλειτουργικότητας στην ιστορία δεν θα ήταν συμβατό με την κυριαρχία, και προφανώς δεν έτσι χρησιμοποιείται η λέξη.

Αυτός είναι ο λειτουργικός ορισμός που υιοθετούν αυτές οι σελίδες και προς τον οποίο ευθυγραμμίζεται το πρότυπο σε όλες τις κανονικές πηγές του:

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

Αυτή η ευθυγράμμιση δεν έχει ολοκληρωθεί σε κάθε σελίδα. Ορισμένα κανονικά έγγραφα φέρουν ακόμη παλαιότερη απόλυτη διατύπωση (για παράδειγμα οι "παραθέσιμες πεποιθήσεις" του Οράματος και η Τελική Αρχή του MUC), και η συμφιλίωσή τους με τον παραπάνω ορισμό είναι ανοιχτή, καταγεγραμμένη εργασία, όχι ολοκληρωμένος ισχυρισμός. Προτιμούμε να το πούμε εδώ ευθέως παρά να προσποιηθούμε ότι όλο το σώμα κειμένων μιλά ήδη με μία φωνή.

Απέναντι σε αυτόν τον ορισμό, η ένσταση ανάγεται σε έναν μόνο γνήσιο κίνδυνο και στην απάντησή του.

Ο γνήσιος κίνδυνος: ποιος διοικεί το σύνταγμα; Αν ένας διαχειριστής μπορεί να αλλάξει την υποχρεωτική μορφή κατά βούληση, τότε η κυριαρχία σας επί του περιεχομένου εξαρτάται από την καλή του συμπεριφορά. Ο δομικός διαχωρισμός μορφής και περιεχομένου δεν το λύνει αυτό. Μόνο η διακυβέρνηση το λύνει. Κλείνει με τρία πράγματα, και τα δύο πρώτα ισχύουν ήδη σήμερα:

1. Δικαίωμα εξόδου. Τα τεκμήρια είναι απλά αρχεία υπό ανοιχτή άδεια (Apache-2.0). Η αποχώρηση σας κοστίζει τη συνομοσπονδία, αλλά ποτέ τα μοντέλα σας. Φεύγετε με ό,τι δημιουργήσατε, σε μορφή που κανείς δεν μπορεί να ανακαλέσει.
2. Δικαίωμα διακλάδωσης. Το πρότυπο διακλαδώνεται όπως κάθε ανοιχτό πρότυπο. Αν ο διαχειριστής παρεκκλίνει, η κοινότητα μπορεί να πάρει την τελευταία καλή έκδοση και να συνεχίσει. Αυτό κάνει ελέγξιμη τη συμπεριφορά του: η απειλή διακλάδωσης είναι πραγματική, άρα το κίνητρο είναι να κρατά τη μορφή λεπτή και τη διαδικασία ανοιχτή.
3. Δικαίωμα συμμετοχής στην αλλαγή. Οι αλλαγές της μορφής περνούν από δημόσια, τεκμηριωμένη διαδικασία, όχι από ιδιωτική απόφαση ιδιοκτήτη. Κάθε ενδιαφερόμενο μέρος ΜΠΟΡΕΙ να προτείνει αλλαγή: κάθε αλλαγή εκδίδεται, ελέγχεται και είναι ελέγξιμη. Δείτε Διακυβέρνηση, εν συντομία για τη σύντομη απάντηση, και τα πλήρη έγγραφα Διακυβέρνηση και Διαδικασία αλλαγών για τη μηχανική.

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

Άρα: είναι πραγματική η κυριαρχία; Υπό τον ειλικρινή ορισμό, ναι, επειδή μπορείτε να φύγετε, να διακλαδώσετε και να συμμετέχετε στη διακυβέρνηση. Αυτό που ένας σκεπτικιστής πρέπει να συνεχίσει να παρακολουθεί δεν είναι η έξοδος ή η διακλάδωση, που ήδη ισχύουν, αλλά το αν η διαδικασία αλλαγών παραμένει γνήσια ανοιχτή στην πράξη. Αυτό είναι το σωστό σημείο για να ζητά κανείς λογαριασμό από το πρότυπο, και ακριβώς εκεί σας δείχνουμε να κοιτάξετε.

Τι δίνετε και τι παίρνετε

Τι δίνετε

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

Τι παίρνετε

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

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

Όχι μόνο λόγια: η μορφή μπορεί να απορρίψει

Μια μορφή που δεν μπορεί να απορρίψει τίποτα δεν είναι πρότυπο, είναι γλωσσάρι. Αυτή απορρίπτει. Οι έλεγχοι συμμόρφωσης του μητρώου είναι εκτελέσιμοι: ένα άκυρο μοντέλο, μια εξαγωγή που λείπει, μια σπασμένη ακμή στον γράφο, μια ημερομηνία ξεχασμένη σε όνομα αρχείου ή ένα ευρετήριο εκτός συγχρονισμού παράγουν το καθένα μη μηδενική αποτυχία που παραθέτει τον συγκεκριμένο κανονιστικό κανόνα που παραβιάστηκε. Η συμμόρφωση είναι κάτι που ένα μοντέλο μπορεί να μην περάσει, και μόνο τέτοια συμμόρφωση αξίζει να τη διεκδικεί κανείς.

Πού να πάτε στη συνέχεια

• Ποιος διοικεί τη μορφή και τι γίνεται αν διαφωνείτε: Διακυβέρνηση, εν συντομία, και μετά τα πλήρη έγγραφα Διακυβέρνηση και Διαδικασία αλλαγών.
• Η ίδια η υποχρεωτική μορφή, άρθρο προς άρθρο: Σύνταγμα του Μετα-Σύμπαντος.
• Ολόκληρο το πρότυπο σε μία συνεχή ανάγνωση: Επισκόπηση.