Agent Execution Receipts

Inspect signed Codex execution receipts, import provider audit events, and explain whether an action has local evidence, a candidate correlation, or a provider binding.

writer Updated
Cerebro compliance overview showing framework readiness, open work, evidence gaps, and integration health

File contents

Agent Execution Receipts

Use this skill when the user asks who or what ran a command, whether an agent action reached a provider, or which agent-originated changes lack provider attribution.

Procedure

  1. Open the Cerebro Agent Receipts app or read receipts.ndjson from the configured receipt directory.
  2. Verify each receipt signature and the append-only digest chain before using it as evidence.
  3. Import a CloudTrail LookupEvents response when provider observations are available.
  4. Report one of three states without collapsing them:
    • Local evidence only: a signed local receipt exists.
    • Candidate correlation: one provider event has a one-to-one evidence match, but no trusted binding.
    • Provider bound: an authenticated provider event passes the configured account, dedicated role, action ID, action, and time checks.
  5. Start from the provider-event population and identify every provider mutation without a completed one-to-one action match.

Never treat a process name, user agent, startedBy value, local transcript, session-wide identifier, or user-imported JSON as provider-bound attribution.

writer/cerebro/tree/main/plugins/cerebro-agent-receipts/skills/agent-execution-receipts commit c9ed325015

Frequently asked questions

npx skillmds@latest add writer/agent-execution-receipts