{
  "kind": "scripted local MCP transport probe, not an agent evaluation",
  "started_at_utc": "2026-10-03T09:57:00.084805+00:00",
  "command": [
    "proof",
    "mcp",
    "--transport",
    "stdio"
  ],
  "proof_version": "proof 0.1.0-teaching-b845ff313bac\ncommit: b845ff313bacb887c4e9fb78145c681a15f6b3f0",
  "proof_binary_sha256": "939db50a2227aae1506c27648bf01866222fdda78ec978ee0d78ae19ae4690c2",
  "bundle_sha256": "fc5a726684e6ee88a13c4f323eafed6835e6dccf1461b7592d6815a9cf32500f",
  "setup_commands": [
    "git clone <local-fixture.bundle> <temporary-directory>",
    "git remote remove origin",
    "git checkout C"
  ],
  "identity": "A scripted client named retained-obligation-scripted-transport-probe. No agent or human approver identity was supplied.",
  "fixture_commit": "08721dd7cda04dc5a52519d2c18ae5e8f45f0c26",
  "remotes": "",
  "tracked_status_before": "",
  "query_payload": {
    "count": 1,
    "requirements": [
      {
        "id": "SW-REQ-241",
        "spec": "specs/software",
        "component": "reservation_store",
        "status": "draft",
        "req_type": "",
        "assurance_level": "E",
        "fretish": "",
        "description": "A retry using the same key before 24 elapsed hours shall return the original reservation and shall not create another reservation.",
        "file_path": "specs/software/requirements/SW-REQ-241.req.yaml",
        "parse_status": ""
      }
    ]
  },
  "discovered_id": "SW-REQ-241",
  "approved_filter_payload": {
    "count": 0,
    "requirements": []
  },
  "task_phrase_payload": {
    "count": 0,
    "requirements": []
  },
  "trace_payload": {
    "graph": {
      "root": "SW-REQ-241",
      "entries": null
    }
  },
  "requirement_detail_uri": "reqproof://requirements/SW-REQ-241",
  "requirement_detail": {
    "id": "SW-REQ-241",
    "version": 1,
    "status": "draft",
    "priority": "shall",
    "category": "functional",
    "req_type": "",
    "fretish": "",
    "description": "A retry using the same key before 24 elapsed hours shall return the original reservation and shall not create another reservation.",
    "formalization_strategy": "",
    "informal_verification": {
      "method": "",
      "evidence": "",
      "verified": false
    },
    "component": "reservation_store",
    "rationale": "A client can lose the first response and retry later.",
    "tags": null,
    "variables": null,
    "traces": {},
    "verification": {
      "assurance_level": "E",
      "formalization_status": "",
      "review": {
        "status": "",
        "reviewer": "",
        "reviewed_at": "",
        "ai_generated": false
      }
    },
    "history": {
      "created_by": "",
      "created_at": "",
      "last_modified_by": "",
      "last_modified_at": ""
    },
    "assumption": {},
    "stakeholder": {},
    "interface": {},
    "lifecycle": {},
    "_computed": {
      "file_hash": "sha256:9d6d80120c8b85721930e6317c798e596d5fcd9ccc9205d69fe3a6fff28a33ae"
    }
  },
  "initialize_result": {
    "capabilities": {
      "resources": {
        "listChanged": false,
        "subscribe": false
      },
      "tools": {
        "listChanged": false
      }
    },
    "protocolVersion": "2024-11-05",
    "serverInfo": {
      "name": "reqproof",
      "version": "0.1.0"
    }
  },
  "advertised_tool_count": 22,
  "outcome": "retrieval_completed_with_protocol_errors",
  "server_exit_code": 0,
  "tracked_status_after": "",
  "protocol_errors": [
    {
      "jsonrpc": "2.0",
      "error": {
        "code": -32601,
        "message": "method not found: notifications/initialized"
      }
    }
  ],
  "finished_at_utc": "2026-10-03T09:57:00.635726+00:00",
  "transcript_sha256": {
    "requests.jsonl": "5a90fbf13de4180dbb51095c0c511f447630db24bd6c42a50bfa3f7c0766396c",
    "responses.jsonl": "aa67f897c46746e63db14980571213d057c36240b2b6b71400c26e1624d3c2bd",
    "stderr.txt": "63f5fe1570dbe508407fd74006d8241a62e06675ac879ed101696c687ccc049f"
  }
}