{
  "file": "F12-runtime-and-credentials.md",
  "bullet": "Runtime of an unloaded conversation (`F12.runtime-cold`).",
  "ids": [
    "F12.runtime-cold"
  ],
  "line": 289,
  "script": "control-agent-server api GET \"<redacted:session-cookie>/$N/runtime\" --expect 200 --check runtime_status eq available --save F12.runtime-cold/after-pause\ncontrol-agent-server api POST \"<redacted:session-cookie>/$R/runtime/reprovision\" --expect 200 --check runtime_status eq available\ncontrol-agent-server state ls 'server/workspace/conversations/*/owner_lease.json' --expect-count 0\ncontrol-agent-server restart\ncontrol-agent-server api GET \"<redacted:session-cookie>/$R/runtime\" --expect 200 --check runtime_status eq available --check can_resume eq true --save F12.runtime-cold/after-restart\ncontrol-agent-server state ls 'server/workspace/conversations/*/owner_lease.json' --expect-count 0\n",
  "exit_code": 0,
  "elapsed_ms": 66866,
  "failed_line": null,
  "failed_command": null,
  "stdout": "{\n  \"ok\": true,\n  \"status\": 200,\n  \"request\": {\n    \"method\": \"GET\",\n    \"path\": \"<redacted:session-cookie>/0b7e0c88-b9cf-4b87-acad-573c54ad594b/runtime\",\n    \"query\": [],\n    \"auth\": \"header\",\n    \"body\": null,\n    \"files\": []\n  },\n  \"response\": {\n    \"status\": 200,\n    \"headers\": {\n      \"content-length\": \"69\",\n      \"content-type\": \"application/json\"\n    },\n    \"body\": {\n      \"runtime_status\": \"available\",\n      \"can_resume\": true,\n      \"runtime_error\": null\n    },\n    \"truncated\": false\n  },\n  \"elapsed_ms\": 416,\n  \"checks\": [\n    {\n      \"check\": \"runtime_status eq available\",\n      \"ok\": true,\n      \"actual\": \"available\"\n    }\n  ],\n  \"saved\": \"/workspace/verification-artifacts/runs/20261013-022033-bf39-map-f12/evidence/F12.runtime-cold/after-pause.json\"\n}\n{\n  \"ok\": true,\n  \"status\": 200,\n  \"request\": {\n    \"method\": \"POST\",\n    \"path\": \"<redacted:session-cookie>/9c34bb23-558c-48e9-9835-e1aa9b872a3e/runtime/reprovision\",\n    \"query\": [],\n    \"auth\": \"header\",\n    \"body\": null,\n    \"files\": []\n  },\n  \"response\": {\n    \"status\": 200,\n    \"headers\": {\n      \"content-length\": \"69\",\n      \"content-type\": \"application/json\"\n    },\n    \"body\": {\n      \"runtime_status\": \"available\",\n      \"can_resume\": true,\n      \"runtime_error\": null\n    },\n    \"truncated\": false\n  },\n  \"elapsed_ms\": 418,\n  \"checks\": [\n    {\n      \"check\": \"runtime_status eq available\",\n      \"ok\": true,\n      \"actual\": \"available\"\n    }\n  ]\n}\n{\n  \"ok\": true,\n  \"pattern\": \"server/workspace/conversations/*/owner_lease.json\",\n  \"count\": 0,\n  \"files\": []\n}\n{\n  \"ok\": true,\n  \"run\": \"/workspace/verification-artifacts/runs/20261013-022033-bf39-map-f12\",\n  \"url\": \"http://127.0.0.1:46069\",\n  \"rotated_key\": false,\n  \"hard\": false,\n  \"rotated_secret_key\": false,\n  \"ready_ms\": 37224,\n  \"ready_path\": \"/ready\"\n}\n{\n  \"ok\": true,\n  \"status\": 200,\n  \"request\": {\n    \"method\": \"GET\",\n    \"path\": \"<redacted:session-cookie>/9c34bb23-558c-48e9-9835-e1aa9b872a3e/runtime\",\n    \"query\": [],\n    \"auth\": \"header\",\n    \"body\": null,\n    \"files\": []\n  },\n  \"response\": {\n    \"status\": 200,\n    \"headers\": {\n      \"content-length\": \"69\",\n      \"content-type\": \"application/json\"\n    },\n    \"body\": {\n      \"runtime_status\": \"available\",\n      \"can_resume\": true,\n      \"runtime_error\": null\n    },\n    \"truncated\": false\n  },\n  \"elapsed_ms\": 440,\n  \"checks\": [\n    {\n      \"check\": \"runtime_status eq available\",\n      \"ok\": true,\n      \"actual\": \"available\"\n    },\n    {\n      \"check\": \"can_resume eq true\",\n      \"ok\": true,\n      \"actual\": \"true\"\n    }\n  ],\n  \"saved\": \"/workspace/verification-artifacts/runs/20261013-022033-bf39-map-f12/evidence/F12.runtime-cold/after-restart.json\"\n}\n{\n  \"ok\": true,\n  \"pattern\": \"server/workspace/conversations/*/owner_lease.json\",\n  \"count\": 0,\n  \"files\": []\n}\n",
  "stderr": ""
}