STATIC RECEIPT DECLARATION RESULT
AWS MCP
2 detected dangerous operation(s) in the documented tool surface; 2 omit a required receipt declaration and 0 declare one.
MISSING REQUIRED EVIDENCE DECLARATIONS
✗ attach_user_policy — permission_change
Add EMILIA Gate — @emilia-protocol/gate/adapters/aws (or gateMcpTool) requiring a quorum receipt.
✗ delete_user — data_destruction
Add EMILIA Gate — @emilia-protocol/gate/adapters/supabase (or gateMcpTool) requiring a class_a receipt.
Is this your project? Declare evidence, then test the runtime.
Add a structurally required receipt input, wrap the handler with @emilia-protocol/gate, and rerun the static scanner. Runtime EG-1 remains a separate negative/concurrency conformance test.
Static assessment of the publicly documented schema, not a live scan, vulnerability report, safety ranking, or certification. A declaration does not prove enforcement.