# Reproduce AgentTX proof atx_20261019_131301_3cf7

Run from the repository root at base commit `91f538de7400b1026c36969a070afa0a12487be7`.

```text
"agenttx" "proof" "--" "resilireplay" "mcp" "demo" "--output" ".resilireplay/demo" "--json"
```

Exact argv boundaries:

```json
[
  "resilireplay",
  "mcp",
  "demo",
  "--output",
  ".resilireplay/demo",
  "--json"
]
```

Verify the copied proof offline:

```text
agenttx verify-proof proof.json
```

Arguments containing recognized credentials are redacted and must be supplied again locally. External side effects are outside the rollback guarantee.

Limitations:
- AgentTX isolates Git-visible repository changes; it is not an operating-system sandbox.
- Remote pushes, messages, API calls, database writes, and other external side effects cannot be rolled back by this receipt.
- Ignored files and unrelated external state are outside the recorded workspace-state digest.
- The receipt provides unsigned, recomputable integrity, not authentication of the producer.