Όχι ένας τοίχος με σήματα. Κάθε εγγύηση σε αυτή τη σελίδα είναι ένας μηχανισμός που μπορείτε να ελέγξετε, να δοκιμάσετε και να επιθεωρήσετε μέσα στο ίδιο το Tajo.
Το Tajo είναι ένα agentic σύστημα που δημιουργεί και εκτελεί ενσωματώσεις πάνω στα δεδομένα των πελατών σας. Αυτό ακριβώς το είδος λογισμικού πρέπει να αποδεικνύει ότι συμπεριφέρεται σωστά, γι' αυτό ενσωματώσαμε την απόδειξη στο ίδιο το runtime. Αντί να σας ζητάμε να εμπιστευτείτε μια σελίδα πιστοποιήσεων, το Tajo κάνει τις βασικές του εγγυήσεις επιβλητές και ελέγξιμες μέσα στο προϊόν: οι εγκρίσεις είναι κρυπτογραφικά δεσμευμένες σε αυτό που εγκρίνουν, η εκτέλεση βεβαιώνει τι πραγματικά έτρεξε, το ιστορικό ελέγχου είναι απαραβίαστο, και οτιδήποτε δεν μπορεί να αποδείξει ότι επιτρέπεται να τρέξει, δεν τρέχει.
Όταν ένας άνθρωπος εγκρίνει μια ενσωμάτωση, η έγκριση δεσμεύεται σε ένα κρυπτογραφικό digest της ακριβούς διαμόρφωσης. Το runtime εκτελεί μόνο ό,τι ταιριάζει με αυτό το digest: αυτό που εγκρίνατε είναι, αποδεδειγμένα, αυτό που τρέχει.
Κάθε εκτέλεση βεβαιώνει το δημοσιευμένο digest κάτω από το οποίο έτρεξε. Αν η διαμόρφωση που τρέχει και η εγκεκριμένη διαμόρφωση αποκλίνουν ποτέ, η εκτέλεση σταματά. Δεν υπάρχει «αρκετά κοντά».
Κάθε καταχώριση ελέγχου συνδέεται με το hash της προηγούμενης. Η αφαίρεση ή η επεξεργασία μιας καταχώρισης σπάει την αλυσίδα ορατά. Το ιστορικό του τι έτρεξε, ποιος το ενέκρινε και τι άγγιξε είναι απαραβίαστο εκ κατασκευής.
Ένας συγχρονισμός που δεν μπορεί να αποδείξει συναίνεση για τις εγγραφές που θα μετακινούσε δεν εκτελείται. Όχι «εκτελείται με προειδοποίηση»: δεν εκτελείται. Η συναίνεση είναι προϋπόθεση που επιβάλλει το runtime, όχι ένα πλαίσιο επιλογής σε μια σελίδα ρυθμίσεων.
Όταν ο πράκτορας δειγματίζει τα δεδομένα σας για να σχεδιάσει μια ενσωμάτωση, οι προεπισκοπήσεις δείχνουν τη δομή των εγγραφών: ονόματα και τύπους πεδίων, ποτέ τις τιμές. Τα δεδομένα των πελατών σας δεν είναι υλικό προσχεδίου.
Οι ενέργειες που γράφουν σε εξωτερικά συστήματα βρίσκονται πίσω από πύλες έγκρισης. Κάθε έγκριση είναι μιας χρήσης, δεσμευμένη στις ακριβείς εισόδους για τις οποίες δόθηκε, και λήγει. Μια έγκριση δεν μπορεί να αναπαραχθεί ή να επαναχρησιμοποιηθεί για διαφορετικό φορτίο δεδομένων.
Το κοινό νήμα στον σχεδιασμό του Tajo: όταν το σύστημα δεν μπορεί να αποδείξει ότι μια ενέργεια είναι ασφαλής και εγκεκριμένη, η ενέργεια δεν συμβαίνει.
Κάθε ενσωμάτωση εκτελείται με ρητά όρια προϋπολογισμού. Όταν επιτευχθεί ένα όριο, η εργασία σταματά· δεν συνεχίζει χωρίς μέτρηση.
Όταν ένας έλεγχος ασφάλειας δεν μπορεί να αξιολογηθεί, η συναίνεση δεν αποδεικνύεται, το digest δεν ταιριάζει, η έγκριση έχει λήξει, η προεπιλογή είναι άρνηση. Το σύστημα προτιμά να μην κάνει τίποτα παρά να κάνει κάτι που δεν εγκρίνατε.
Ο πράκτορας συντάσσει και επικυρώνει· δεν δίνει μόνος του άδεια στον εαυτό του. Η δημοσίευση και οι εγγραφές με ρίσκο απαιτούν ανθρώπινη απόφαση, και αυτή η απόφαση είναι δεσμευμένη στο ακριβές περιεχόμενο για το οποίο λαμβάνεται.
Δεν θα βρείτε έναν τοίχο με λογότυπα συμμόρφωσης σε αυτή τη σελίδα. Πιστεύουμε ότι το πιο χρήσιμο είναι να σας δείξουμε τον μηχανισμό: ζητήστε μας να σας παρουσιάσουμε την αλυσίδα digest, τα αρχεία βεβαίωσης ή το αρχείο ελέγχου σε μια συνεδρία early access, και θα το κάνουμε, στον δικό σας χώρο εργασίας, με τα δικά σας μάτια πάνω στα στοιχεία.
Αν πιστεύετε ότι έχετε εντοπίσει ζήτημα ασφάλειας στο Tajo, θέλουμε να μάθουμε γι' αυτό άμεσα και γρήγορα.
Συμμετάσχετε στο early access και θα σας δείξουμε την αλυσίδα εγκρίσεων, τα αρχεία βεβαίωσης και το αρχείο ελέγχου να λειτουργούν πάνω σε μια πραγματική ενσωμάτωση.