{
  "created_at": "2026-11-12T07:59:12Z",
  "result": {
    "engine": "parallel_runs",
    "limits": "Reviews the run record. It does not supervise the desktops, prove an edit is correct, or prove the merge preserved semantics. The run is Ed25519-signed; pin the issuer key out of band.",
    "module": "cain_a75_engines/parallelruns/engine.py",
    "profile": "two_desktop_runs",
    "run": {
      "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:12Z",
          "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": "b617f70b3647c408a9bac1b3db22698670cec0f73989a189c7eccfa4199b472a",
          "schema": "cain42.a75.parallel.record.v1",
          "signature_b64": "hP9Umk+GTd/gziYoZf68ivWGVPpaWUjbIbfYqOCQyjdJYthoaLu2PXqVuRM/FmCUJfOQQ8KhjQXOw17WvuvxDA==",
          "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": "cdfd94fdc7285737590e3e5b6574a3f34ad85606ee5825a87954c04a61942a1f",
      "schema": "cain42.a75.parallel.run.v1",
      "sku": "CAIN-A75-038",
      "verdict": "VERIFIED",
      "verdicts": [
        "SOUND"
      ]
    },
    "scenarios": [
      {
        "name": "two_desktop_agent_runs",
        "peak_concurrency": 2,
        "run_hash": "cdfd94fdc7285737590e3e5b6574a3f34ad85606ee5825a87954c04a61942a1f",
        "runs": 2,
        "verdict": "VERIFIED"
      },
      {
        "expected": "SOUND",
        "name": "honest_parallel_runs",
        "verdict": "SOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "concurrency_exceeded",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "shared_workspace",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "same_file_concurrent_write",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "lock_holder_unknown",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "unresolved_merge_conflict",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "merge_conflict_unknown_run",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "missing_merged_hash",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "failed_run_write_merged",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "missing_write_hash",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "over_memory",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "finish_before_start",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "duplicate_run",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "claim_overstates",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "unknown_claim",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "wrong_schema",
        "verdict": "UNSOUND"
      },
      {
        "expected": "UNSOUND",
        "name": "garbage",
        "verdict": "UNSOUND"
      }
    ],
    "summary": "VERIFIED: concurrency, workspace isolation, write conflicts/locks, merge and failed-run leakage recomputed; 17/17 parallel-run-failure cases as expected"
  },
  "schema": "cain42.agentic75.findings.v1",
  "sku": "CAIN-A75-038"
}