Editorial Ilmu Komputer & AI
Pencabutan Otorisasi untuk Agen AI Berjalan Lama: Kuisensi Berlingkup Akar di Bawah Delegasi dan Eksekusi Asinkron
Masalah inti
Agen AI berjalan lama tidak berhenti ketika proses yang memulainya keluar. Mereka bertahan melalui kredensial, tugas yang didelegasikan, antrean, callback, reservasi, dan operasi di sisi penyedia. Ini menciptakan masalah pencabutan yang tidak dipecahkan oleh mekanisme konvensional: pembatalan, keluarnya proses, dan pencabutan kredensial tidak menutup setiap pembawa pra-potong maupun membedakan pekerjaan bersama yang diotorisasi secara independen dari pekerjaan yang bergantung pada otoritas yang telah dipensiunkan.
Makalah ini mengidentifikasi celah antara *menghentikan* agen dan *mengkuieskan* akar otorisasi yang menopangnya. Sebuah akar dapat dipensiunkan, namun kredensial yang sudah diterbitkan, pesan yang diantrekan, callback yang dijadwalkan, dan reservasi di sisi penyedia masih dapat menerima efek setelah potong. Karena itu penulis mendefinisikan **kuisensi otorisasi berlingkup akar**: untuk setiap sink yang termanifestasi, sebuah sertifikat harus memperhitungkan setiap penerimaan yang relevan dengan potong di bawah atom root-epoch yang dipensiunkan yang mendahului fence lokalnya, dan harus mengecualikan penerimaan yang dilindungi di bawah atom tersebut setelah fence, sambil
Inovasi
Di bawah asumsi yang dinyatakan, penulis membuktikan enam properti: non-ekspansi penerbit pasca-potong, proyeksi yang sound terhadap dukungan, kesoundan komposisional di bawah konservasi kanal yang eksak, pelestarian dukungan independen, independensi urutan penggabungan, dan stabilitas crash/replay.
**Non-ekspansi penerbit pasca-potong** berarti bahwa setelah potong akar, akar yang dipensiunkan tidak dapat menerbitkan otoritas baru yang mencapai sink yang dilindungi. **Proyeksi yang sound terhadap dukungan** berarti bahwa setiap efek yang diterima dapat diproyeksikan ke dukungan terkini yang cukup secara independen. **Kesoundan komposisional di bawah konservasi kanal yang eksak** berarti bahwa sertifikat provider-frontier dapat dikomposisikan tanpa kehilangan akuntansi, asalkan token kanal dikonservasi secara eksak. **Pelestarian dukungan independen** berarti bahwa pekerjaan yang diotorisasi oleh akar terkini yang cukup secara independen tidak dibatalkan oleh pensiunnya . **Independensi urutan penggabungan** berarti bahwa hasil sertifikat tidak bergantung pada urutan penggabungan bukti independen. **Stabilitas crash/replay** berarti bahwa crash dan replay tidak men
Mengapa penting
Kontribusi makalah ini adalah pergeseran dari *pencabutan sebagai penghapusan* ke *pencabutan sebagai akuntansi*. Dalam sistem konvensional, mencabut kredensial diperlakukan sebagai menghapus kapabilitas. Bagi agen AI berjalan lama, itu tidak cukup karena kapabilitas tersebut mungkin sudah termanifestasi dalam antrean, callback, reservasi, dan operasi di sisi penyedia. Protokol kuisensi berlingkup akar justru mensyaratkan sertifikat yang memperhitungkan setiap penerimaan yang relevan dengan potong di bawah atom root-epoch yang dipensiunkan, dan mengecualikan penerimaan yang dilindungi setelah fence.
Representasi antichain untuk otoritas adalah pilihan desain yang kunci. Dengan merepresentasikan otoritas alternatif dan konjungtif sebagai antichain dari himpunan akar minimal yang cukup, protokol dapat membedakan pekerjaan bersama yang diotorisasi secara independen dari pekerjaan yang bergantung pada akar yang dipensiunkan. Inilah yang memungkinkan pelestarian dukungan independen: dukungan terkini yang cukup secara independen dapat di-rebind secara tepat, tanpa dibatalkan oleh pensiunnya .
Komposisi provider-frontier adalah pilihan kunci lainnya. Karena agen AI sering bergantung pada penyedia pihak ketiga, protokol tidak dapat mengasumsikan kendali langsung atas keadaan di sisi penyedia. Sebagai gantinya, protokol mengomposisikan sertifikat provider-frontier menjadi cutset atas jalur akar lama yang terdaftar. Akuntansi token kanal yang eksak merekonsiliasi transfer, dan bukti yang hilang atau bertentangan tetap bersifat indeterminate. Ini membuat protokol tangguh terhadap visibilitas parsial, tetapi juga berarti bahwa kuisensi dibatasi oleh manifes dan konfigurasi.
Batasan-batasannya eksplisit. Sertifikat tersebut tidak menetapkan kelambanan global, rollback, atau penyelesaian bisnis. Sertifikat itu menetapkan kuisensi otorisasi yang relatif terhadap akar dalam manifes dan konfigurasi yang terikat. Bagi praktisi, ini berarti protokol tersebut adalah blok pembangun untuk pencabutan dalam sistem AI yang asinkron, didelegasikan, dan dimediasi penyedia, bukan solusi lengkap untuk mematikan agen. Verifikasi jejak 17/17 dan penolakan regresi 44/44 menunjukkan bahwa pemeriksa tersebut adalah alat praktis untuk memvalidasi klaim kuisensi, tetapi rangkaian uji tanpa penyedia meninggalkan pertanyaan terbuka tentang bagaimana protokol berperilaku di bawah operasi nyata di sisi penyedia dengan bukti yang tidak lengkap.
Siapa yang sebaiknya membaca
Membuka konten member…