Start from consequences
Map what the agent can change, disclose, transact, or operate—not only which prompts it can answer.
Select attack paths
Use injection, revoked authority, exfiltration, approval bypass, stale state, sandbox escape, and replay scenarios where they apply.
Challenge fail-closed behavior
Verify that policy denial happens before the effect, that partial failure does not create orphaned state, and that revocation propagates.
Minimize and publish
Reduce a failure to the smallest reproducing trace, redact protected values, and publish it as a regression with an owner.
Attacks enter through user, retrieval, and tool-response channels
Unauthorized effects are blocked before execution
Revocation is tested across memory, tokens, and queued work
A finding can be replayed without private values