Dogwood perustuu ajalliseen logiikkaan ja Metric First-Order Temporal Logic (MFOTL) -logiikkaan, joka on formaalin matematiikan haara. Sen avulla voidaan päätellä tapahtumia ja niiden suhteita ajan yli . MFOTL laajentaa propositio-ajallista logiikkaa ensimmäisen asteen kvantifioinnilla ja metrisillä rajoituksilla (esim. "viimeisen 5 minuutin aikana"), mikä mahdollistaa tarkan reaaliaikaisen tapahtumasarjojen valvonnan .
Dogwoodissa säännön päätös riippuu agentin toimintohistoriasta istunnon aikana, ei pelkästään nykyisestä pyynnöstä . Sääntömoottori ylläpitää tietuetta aiemmista työkalujen kutsuista ja niiden vastauksista, minkä jälkeen se arvioi nykyisen pyynnön tätä historiaa vasten ennen kuin se sallii tai estää kutsun .
Dogwood laajentaa Cedar-sääntökieltä (AWS:n olemassa oleva valtuutuskieli vuodelta 2023) lisäämällä temporal-lohkon, joka sisältää istuntotietoisia ehtoja . Tärkeimmät ajalliset operaattorit ovat:
| Operaattori | Tarkoitus |
|---|---|
formerly | Tarkistaa, oliko ehto totta jossain aiemmassa vaiheessa istuntoa |
count_within | Laskee, kuinka monta kertaa ehto toteutui määritellyn aikaikkunan sisällä |
count_distinct_within | Laskee kentän erillisten arvojen määrän, jotka esiintyivät aikaikkunan sisällä |
sum_within | Summaa numerokentän tapahtumat aikaikkunan sisällä |
since | Tarkistaa ehdon suhteessa viimeisimpään tapahtumaan |
once | Tarkistaa, onko ehto koskaan toteutunut |
Näiden operaattorien avulla sääntö voi määritellä esimerkiksi seuraavaa: "kiellä maksutoimenpide, ellei laskutoimenpidettä ole tapahtunut aiemmin" tai "kiellä, jos sum_within(summa, 1h) ylittää kynnyksen" . Ajallinen sääntö kirjoitetaan tavallisena permit- tai forbid-Cedar-sääntönä, mutta ehdot sijoitetaan temporal { ... }-lohkon sisään .
Ajalliset säännöt valvotaan AgentCore Gateway -tasolla, agentin oman koodin ulkopuolella . Yhdyskäytävä sieppaa jokaisen työkalujen kutsun reaaliajassa ennen kuin se saavuttaa kohdetyökalun, arvioi säännön istunnon koko tapahtumahistorian perusteella ja sallii tai estää kutsun .
Koska valtuutuspäätös tehdään kehällä — infrastruktuurissa, jota agentti ei voi muokata — sitä ei voida ohittaa kehotusmanipuloinnilla, jailbreakingilla tai millään agentin hallitsemalla koodilla . AWS nimenomaisesti toteaa, että säännöt suoritetaan "AgentCore Gateway -kehällä, agentin oman koodin ulkopuolella", mikä tekee niistä resistenttejä sille, että agentti kirjoittaa omia ohjeitaan uudelleen . Sääntömoottori tukee kahta tilaa: LOG_ONLY (tarkastus ilman estoa) ja ENFORCE (aktiivinen esto) .
Dogwood on integroitu Amazon Bedrock AgentCoreen ajallisina sääntöinä (temporal policies), jotka julkistettiin yhdessä yhdyskäytävän nopeusrajoituksen kanssa 6. elokuuta 2026 .
Tällä hetkellä saatavilla olevat ominaisuudet Bedrock AgentCoren:
sum_within-operaattorilla .Dogwood-kieli ja sen viitetoteutus ovat saatavilla GitHubissa Apache 2.0 -lisenssillä, erillään Bedrock AgentCoren hallinnoidusta palvelusta .