AWS Dogwood: Bahasa Pemerintahan Open-Source yang Memberi Memori pada AI Agent

AWS Dogwood menutup celah keamanan kritis dalam tata kelola AI agent: sebuah agent dapat memanggil alat dengan sintaks yang valid dan izin individu yang valid, tetapi urutan panggilan tersebut mungkin masih melanggar aturan bisnis. Misalnya, memproses pembayaran sebelum faktur dibuat adalah salah secara logika, meskipun setiap tindakan diizinkan secara individual . Dogwood adalah bahasa tata kelola open-source yang dirilis oleh AWS pada 6 Agustus 2026, bersama dengan penerjemah referensi, yang dirancang untuk mengesahkan urutan panggilan alat agent lintas waktu, bukan mengevaluasi setiap tindakan secara terisolasi .

Logika Temporal dan Fondasi MFOTL

Dogwood didasarkan pada logika temporal dan Metric First-Order Temporal Logic (MFOTL), cabang matematika formal yang memungkinkan penalaran tentang peristiwa dan hubungannya lintas waktu . MFOTL memperluas logika temporal proposisional dengan kuantifikasi orde-pertama dan batasan metrik (misalnya, "dalam 5 menit terakhir"), memungkinkan pemantauan runtime yang tepat dari urutan peristiwa .

Dalam Dogwood, keputusan kebijakan bergantung pada riwayat tindakan agent dalam suatu sesi, bukan hanya pada permintaan saat ini . Mesin kebijakan menyimpan catatan panggilan alat sebelumnya dan responsnya, lalu mengevaluasi permintaan saat ini terhadap riwayat tersebut sebelum mengizinkan atau menolak panggilan .

Memperluas Cedar dengan Operator Temporal

Dogwood memperluas bahasa kebijakan Cedar (bahasa otorisasi AWS dari tahun 2023) dengan menambahkan blok temporal yang berisi kondisi sadar-sesi . Operator temporal utama meliputi:

Operator-operator ini memungkinkan kebijakan untuk mendefinisikan aturan seperti "larang tindakan pembayaran kecuali tindakan faktur terjadi formerly," atau "larang jika

sum_within(amount, 1h)

temporal { ... }

Penegakan di Lapisan Gateway (Anti-Bypass)

Kebijakan temporal ditegakkan di lapisan Gateway AgentCore, di luar kode agent itu sendiri . Gateway mencegat setiap panggilan alat secara real-time sebelum mencapai alat target, mengevaluasi kebijakan terhadap riwayat peristiwa sesi secara lengkap, lalu mengizinkan atau menolak panggilan tersebut .

Karena keputusan otorisasi terjadi di perimeter — dalam infrastruktur yang tidak dapat dimodifikasi oleh agent — keputusan tersebut tidak dapat di-bypass melalui manipulasi prompt, jailbreaking, atau kode apa pun yang dikendalikan agent . AWS secara eksplisit menyatakan bahwa kebijakan berjalan di "perimeter Gateway AgentCore, di luar kode agent itu sendiri," membuatnya tahan terhadap agent yang menulis ulang instruksinya sendiri . Mesin kebijakan mendukung dua mode: LOG_ONLY (audit tanpa memblokir) dan ENFORCE (secara aktif menolak) .

Integrasi Layanan AWS: Amazon Bedrock AgentCore

Dogwood telah diintegrasikan ke dalam Amazon Bedrock AgentCore sebagai kebijakan temporal, diumumkan bersamaan dengan pembatasan kecepatan gateway pada 6 Agustus 2026 .

Fitur yang saat ini tersedia di Bedrock AgentCore:

• Kebijakan temporal — aturan stateful menggunakan Dogwood yang mengevaluasi setiap panggilan alat terhadap riwayat sesi agent .
• Pembatasan kecepatan gateway — batas throughput token berdasarkan identitas (Basic: 100 RPM, Advanced: 300 RPM) .
• Mesin kebijakan — Anda membuat mesin kebijakan, menyimpan kebijakan (Cedar standar dan Dogwood temporal), dan menghubungkannya dengan agent .
• Anggaran per sesi — misalnya, batas pengeluaran $60.000 per sesi yang ditegakkan melalui sum_within .
• Aturan urutan kerja — misalnya, mewajibkan tindakan persetujuan sebelum tindakan pembayaran .
• Mode hanya-log dan terapkan — jalankan kebijakan temporal dalam mode hanya-log terhadap lalu lintas nyata sebelum beralih ke penegakan .

Bahasa Dogwood dan implementasi referensinya tersedia di GitHub di bawah lisensi Apache 2.0, terpisah dari layanan terkelola Bedrock AgentCore .