Dogwood מבוססת על לוגיקה טמפורלית ועל Metric First-Order Temporal Logic (MFOTL), ענף של מתמטיקה פורמלית המאפשר נימוק לגבי אירועים ויחסיהם לאורך זמן . MFOTL מרחיבה את הלוגיקה הטמפורלית הפרופוזיציונלית עם קוונטיפיקציה מסדר ראשון ואילוצים מטריים (למשל, "בתוך 5 הדקות האחרונות"), מה שמאפשר ניטור בזמן אמת של רצפי אירועים .
ב-Dogwood, ההחלטה על מדיניות תלויה בהיסטוריית הפעולות של הסוכן בתוך סשן, ולא רק בבקשה הנוכחית . מנוע המדיניות שומר תיעוד של קריאות קודמות לכלים ותגובותיהן, ואז מעריך את הבקשה הנוכחית מול ההיסטוריה הזו לפני שהוא מאפשר או דוחה את הקריאה .
Dogwood מרחיבה את שפת המדיניות Cedar (שפת ההרשאות הקיימת של AWS מ-2023) על ידי הוספת בלוק temporal עם תנאים המודעים לסשן . האופרטורים הטמפורליים העיקריים כוללים:
| אופרטור | מטרה |
|---|---|
formerly | בודק האם תנאי התקיים בנקודה מוקדמת יותר בסשן |
count_within | סופר כמה פעמים תנאי התרחש בתוך חלון זמן מוגדר |
count_distinct_within | סופר ערכים ייחודיים של שדה שהופיעו בתוך חלון זמן |
sum_within | מסכם שדה מספרי על פני אירועים בתוך חלון זמן |
since | בודק תנאי ביחס להתרחשות האחרונה של אירוע |
once | בודק האם תנאי אי פעם התרחש |
אופרטורים אלה מאפשרים למדיניות להגדיר כללים כמו "אסור פעולת תשלום אלא אם פעולת חשבונית התרחשה לפנים", או "אסור אם sum_within(amount, 1h) חורג מסף כלשהו" . מדיניות טמפורלית נכתבת ככלל Cedar רגיל מסוג permit או forbid, אך עם תנאים המוצבים בתוך בלוק temporal { ... } .
מדיניות טמפורלית נאכפת בשכבת AgentCore Gateway, מחוץ לקוד של הסוכן עצמו . הגייטוויי מיירט כל קריאה לכלי בזמן אמת לפני שהיא מגיעה לכלי היעד, מעריך את המדיניות מול היסטוריית האירועים המלאה של הסשן, ואז מאפשר או דוחה את הקריאה .
מכיוון שהחלטת ההרשאה מתקבלת בהיקף (Perimeter) — בתשתית שהסוכן אינו יכול לשנות — לא ניתן לעקוף אותה על ידי מניפולציה של הפרומפט, Jailbreaking, או כל קוד שהסוכן שולט בו . AWS מצהירה במפורש שהמדיניות רצה ב"היקף Gateway של AgentCore, מחוץ לקוד של הסוכן עצמו", מה שהופך אותן לעמידות בפני ניסיונות של הסוכן לשכתב את ההוראות שלו . מנוע המדיניות תומך בשני מצבים: LOG_ONLY (ביקורת ללא חסימה) ו-ENFORCE (דחייה פעילה) .
Dogwood שולבה ב-Amazon Bedrock AgentCore בתור מדיניות טמפורלית, שהוכרזה לצד הגבלת קצב (Rate Limiting) בגייטוויי ב-6 באוגוסט 2026 .
תכונות זמינות כעת ב-Bedrock AgentCore:
sum_within .שפת Dogwood ומימוש הייחוס שלה זמינים ב-GitHub תחת רישיון Apache 2.0, בנפרד משירות ה-Bedrock AgentCore המנוהל .