{
  "label": "Recomputes parallel agent runs: concurrency, workspace isolation, same-path writes and locks, resources, merge conflicts, failed-run leakage and claim honesty. It does not supervise the desktops.",
  "public_key_b64": "hL0EhTIKmxLU46dagxdeqvV22abD4U1/lwpLDdr6Xrg=",
  "records": [
    {
      "checks": [
        {
          "detail": "status 'completed'",
          "id": "R1.status",
          "ok": true
        },
        {
          "detail": "finish is after start",
          "id": "R1.window",
          "ok": true
        },
        {
          "detail": "workspace '/work/a'",
          "id": "R1.workspace",
          "ok": true
        },
        {
          "detail": "CPU within 100%",
          "id": "R1.cpu",
          "ok": true
        },
        {
          "detail": "memory within the policy",
          "id": "R1.memory",
          "ok": true
        },
        {
          "detail": "a write carries its content hash",
          "id": "R1.write./work/a/src/x.py",
          "ok": true
        },
        {
          "detail": "status 'completed'",
          "id": "R2.status",
          "ok": true
        },
        {
          "detail": "finish is after start",
          "id": "R2.window",
          "ok": true
        },
        {
          "detail": "workspace '/work/b'",
          "id": "R2.workspace",
          "ok": true
        },
        {
          "detail": "CPU within 100%",
          "id": "R2.cpu",
          "ok": true
        },
        {
          "detail": "memory within the policy",
          "id": "R2.memory",
          "ok": true
        },
        {
          "detail": "a write carries its content hash",
          "id": "R2.write./work/b/src/y.py",
          "ok": true
        },
        {
          "detail": "peak 2 <= 4",
          "id": "concurrency.limit",
          "ok": true
        },
        {
          "detail": "workspaces ['/work/a', '/work/b']",
          "id": "workspaces.isolated",
          "ok": true
        },
        {
          "detail": "no overlapping writes",
          "id": "writes.no_concurrent_same_path",
          "ok": true
        },
        {
          "detail": "holder 'R1'",
          "id": "lock.shared/schema.sql.holder_exists",
          "ok": true
        },
        {
          "detail": "the merged artifact is hashed",
          "id": "merge.artifact_hash",
          "ok": true
        },
        {
          "detail": "no failed-run write merged",
          "id": "outcomes.failed_not_merged",
          "ok": true
        },
        {
          "detail": "claimed True, computed True",
          "id": "claims.isolated_workspaces",
          "ok": true
        },
        {
          "detail": "claimed True, computed True",
          "id": "claims.merge_resolved",
          "ok": true
        },
        {
          "detail": "claimed True, computed True",
          "id": "claims.within_concurrency",
          "ok": true
        }
      ],
      "created_at": "2026-11-12T07:59:18Z",
      "engine": "a75-038/1.0.0",
      "extra": {
        "computed": {
          "isolated_workspaces": true,
          "merge_resolved": true,
          "within_concurrency": true
        },
        "conflicts": [],
        "peak_concurrency": 2,
        "runs": {
          "R1": {
            "finished_at": 200.0,
            "started_at": 100.0,
            "status": "completed",
            "workspace": "/work/a",
            "writes": [
              "/work/a/src/x.py"
            ]
          },
          "R2": {
            "finished_at": 210.0,
            "started_at": 110.0,
            "status": "completed",
            "workspace": "/work/b",
            "writes": [
              "/work/b/src/y.py"
            ]
          }
        }
      },
      "failed": [],
      "label": "Recomputes parallel agent runs: concurrency, workspace isolation, same-path writes and locks, resources, merge conflicts, failed-run leakage and claim honesty. It does not supervise the desktops.",
      "prev_record_hash": "63bb9f07c1dcc693178a1e003c833de95ab4e44aa6fd6b074b384d9eab28a37e",
      "public_key_b64": "hL0EhTIKmxLU46dagxdeqvV22abD4U1/lwpLDdr6Xrg=",
      "record_hash": "b9cb2b7b009011b95794d5ffe39deb7a165f75845aa12a9d70a02ab15d55abed",
      "schema": "cain42.a75.parallel.record.v1",
      "signature_b64": "R5wtl2xLzXED3QBcU/KkmJB6wF/JtPwLsQpKaJ6qrBXW4ijbJ8tk6oejcptdlkp4/bezH/nQLAMqNHmIYuByCg==",
      "sku": "CAIN-A75-038",
      "subject": {
        "claims": {
          "isolated_workspaces": true,
          "merge_resolved": true,
          "within_concurrency": true
        },
        "locks": [
          {
            "expires_at": 300.0,
            "holder": "R1",
            "resource": "shared/schema.sql"
          }
        ],
        "merge": {
          "conflicts": [],
          "merged_sha256": "bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb",
          "paths": [
            "/work/a/src/x.py",
            "/work/b/src/y.py"
          ],
          "strategy": "three-way"
        },
        "policy": {
          "forbid_same_file_writes": true,
          "max_concurrency": 4,
          "max_memory_mb": 2048,
          "require_isolated_workspaces": true
        },
        "runs": [
          {
            "agent": "agent:a",
            "cpu_pct": 40.0,
            "finished_at": 200.0,
            "id": "R1",
            "memory_mb": 512.0,
            "started_at": 100.0,
            "status": "completed",
            "task": "edit /work/a",
            "workspace": "/work/a",
            "writes": [
              {
                "path": "/work/a/src/x.py",
                "sha256": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
              }
            ]
          },
          {
            "agent": "agent:b",
            "cpu_pct": 40.0,
            "finished_at": 210.0,
            "id": "R2",
            "memory_mb": 512.0,
            "started_at": 110.0,
            "status": "completed",
            "task": "edit /work/b",
            "workspace": "/work/b",
            "writes": [
              {
                "path": "/work/b/src/y.py",
                "sha256": "aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"
              }
            ]
          }
        ],
        "schema": "cain42.a75.parallel.runs.v1",
        "supervisor": {
          "id": "SUP-1",
          "max_concurrency": 4,
          "principal": "human:dana"
        }
      },
      "subject_sha256": "c5718fce33d45e4a6d541159d5765efb649bf6793fb4aff63272d4b1b7187efa",
      "verdict": "SOUND"
    }
  ],
  "run_hash": "0923bb2e1410f4664a6ecd3629d58f2a2df0c8793f9d86246e9283b26b6ee17a",
  "schema": "cain42.a75.parallel.run.v1",
  "sku": "CAIN-A75-038",
  "verdict": "VERIFIED",
  "verdicts": [
    "SOUND"
  ]
}