{
  "proof": {
    "schemaVersion": "agenttx.proof.v1",
    "agenttxVersion": "0.3.0",
    "producer": {
      "repository": "https://github.com/aliengineering-byte/agenttx",
      "capability": "proof-carrying-repository-transaction"
    },
    "repository": {
      "source": null,
      "baseCommit": "91f538de7400b1026c36969a070afa0a12487be7",
      "beforeStateSha256": "11edc0ed63201880d893d4bb961ded60f81b15a0526a2a0d3c7bae6c8183cd81",
      "afterStateSha256": "0e8a515615036eb7b40449058d86c80495292619a9ca9a9dd9f277bd50d511e2"
    },
    "transaction": {
      "id": "atx_20261019_131301_3cf7",
      "state": "COMMITTED",
      "accepted": true,
      "verdict": "PASS",
      "reason": "The command and every required gate passed; the change was accepted.",
      "commitApplied": true,
      "rollbackCompleted": false,
      "unrelatedWorkspacePreserved": null
    },
    "execution": {
      "command": {
        "command": "resilireplay",
        "args": [
          "mcp",
          "demo",
          "--output",
          ".resilireplay/demo",
          "--json"
        ]
      },
      "exitCode": 0,
      "signal": null,
      "terminationReason": "exit",
      "startedAt": "2026-10-19T13:13:01.406Z",
      "completedAt": "2026-10-19T13:13:01.711Z",
      "durationMs": 305,
      "shell": false,
      "externalSideEffectsAuthorized": true,
      "output": {
        "stdoutBytes": 507,
        "stderrBytes": 0,
        "stdoutSha256": "b7be6b26e02327f157771958f84164cf1265f0f2d3db65b0520ecadf543a963e",
        "stderrSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
        "truncated": false,
        "preview": [
          "{\"cleanControl\":\"PASS\",\"cleanupComplete\":true,\"duplicateEffects\":0,\"durationMs\":155,\"evidenceSha256\":\"c30263c8778a7729ad4c5966803710ea97c53f131a07443892c7d9b60f6cb1ab\",\"faultObserved\":true,\"nextCommand\":\"npx --yes resilireplay@latest mcp test --config ./mcp.json --server my-server --tool echo --safety inert --dry-run\",\"outputDirectory\":\".resilireplay/demo\",\"productVersion\":\"0.7.1\",\"recoveryAttempts\":1,\"regressionExecuted\":true,\"regressionGenerated\":true,\"result\":\"PASS\",\"schemaVersion\":\"1.0\",\"seed\":42}"
        ]
      }
    },
    "bounds": {
      "timeoutMs": 120000,
      "maxOutputBytes": 1048576,
      "maxEvidenceBytes": 16777216,
      "maxNesting": 1
    },
    "changes": {
      "filesChanged": 9,
      "additions": 58,
      "deletions": 0,
      "binaryFiles": 0,
      "pathsIncluded": true,
      "files": [
        {
          "path": ".resilireplay/demo/evidence.json",
          "kind": "added"
        },
        {
          "path": ".resilireplay/demo/evidence/clean-control.jsonl",
          "kind": "added"
        },
        {
          "path": ".resilireplay/demo/evidence/controlled-failure.jsonl",
          "kind": "added"
        },
        {
          "path": ".resilireplay/demo/evidence/recovered-failure.jsonl",
          "kind": "added"
        },
        {
          "path": ".resilireplay/demo/manifest.json",
          "kind": "added"
        },
        {
          "path": ".resilireplay/demo/regression/manifest.json",
          "kind": "added"
        },
        {
          "path": ".resilireplay/demo/regression/regression.test.mjs",
          "kind": "added"
        },
        {
          "path": ".resilireplay/demo/regression/replay.fixture.jsonl",
          "kind": "added"
        },
        {
          "path": ".resilireplay/demo/regression/scenario.yaml",
          "kind": "added"
        }
      ]
    },
    "validators": [],
    "relatedEvidence": [
      {
        "producer": "io.github.aliengineering-byte/resilireplay",
        "producerVersion": "0.7.1",
        "capability": "bounded-mcp-retry-without-duplicate-effect",
        "artifactPath": "related/01-evidence.json",
        "artifactSha256": "51bc8f305bd28183ba0d7bbd6b33c59a89a0e0c83744d2e021dacd21b43620fa",
        "verificationCommand": {
          "command": "resilireplay",
          "args": [
            "mcp",
            "verify-evidence",
            "{evidence}",
            "--json"
          ]
        },
        "verificationStatus": "passed",
        "required": true
      }
    ],
    "claims": {
      "commandSucceeded": true,
      "requiredValidatorsPassed": true,
      "requiredEvidenceVerified": true,
      "derivedVerdict": true
    },
    "timestamps": {
      "startedAt": "2026-10-19T13:13:01.406Z",
      "completedAt": "2026-10-19T13:13:01.887Z"
    },
    "privacy": {
      "mode": "paths",
      "environmentCaptured": false,
      "promptsCaptured": false,
      "secrets": "redacted"
    },
    "reproduction": {
      "argv": [
        "resilireplay",
        "mcp",
        "demo",
        "--output",
        ".resilireplay/demo",
        "--json"
      ],
      "workingDirectory": "repository-root",
      "note": "Arguments containing recognized credentials are redacted and must be supplied again locally. External side effects are outside the rollback guarantee."
    },
    "verificationCommand": "agenttx verify-proof proof.json",
    "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."
    ]
  },
  "integrity": {
    "algorithm": "sha256",
    "canonicalization": "agenttx-canonical-json-v1",
    "scope": "proof",
    "authentication": "none",
    "digest": "31bbbedcf7435cf5d8029efd95beeae5d82a29bd1247671bb73d793cfde1f9b5"
  }
}