{
  "file": "F07-session-socket.md",
  "bullet": "State snapshot (`F07.snapshot-transient`).",
  "ids": [
    "F07.snapshot-transient"
  ],
  "line": 126,
  "script": "control-agent-server ws listen \"/sockets/session/$CID\" --count 2 --save \"F07.snapshot-transient/live-$CID\"\ncontrol-agent-server state cat \"evidence/F07.snapshot-transient/live-$CID.json\" \\\n  --check frames.2.frame.type eq transient --check frames.2.frame.seq missing \\\n  --check frames.2.frame.event.kind eq ConversationStateUpdateEvent \\\n  --check frames.2.frame.event.key eq full_state --check frames.2.frame.event.value.id eq \"$CID\"\ncontrol-agent-server api GET \"<redacted:session-cookie>/$CID/events/count\" --check . eq 5\n",
  "exit_code": 0,
  "elapsed_ms": 4265,
  "failed_line": null,
  "failed_command": null,
  "stdout": "{\n  \"ok\": true,\n  \"path\": \"/sockets/session/c7e754eb-3ed6-43e2-aa98-e4a010314b36\",\n  \"opened\": true,\n  \"frames\": 2,\n  \"kinds\": {\n    \"sync\": 1,\n    \"transient:ConversationStateUpdateEvent\": 1\n  },\n  \"stopped\": \"count 2\",\n  \"close\": null,\n  \"saved\": \"/workspace/verification-artifacts/runs/20261013-024935-e05c-map-f07/evidence/F07.snapshot-transient/live-c7e754eb-3ed6-43e2-aa98-e4a010314b36.json\",\n  \"first_frames\": [\n    {\n      \"kind\": \"sync\",\n      \"frame\": {\n        \"type\": \"sync\",\n        \"through_seq\": 4\n      }\n    },\n    {\n      \"kind\": \"transient:ConversationStateUpdateEvent\",\n      \"frame\": \"{\\\"type\\\": \\\"transient\\\", \\\"event\\\": {\\\"id\\\": \\\"ba7c9d0e-6bb9-4788-8383-f491b7e5df80\\\", \\\"timestamp\\\": \\\"2026-10-13T02:50:08.982809\\\", \\\"source\\\": \\\"environment\\\", \\\"key\\\": \\\"full_state\\\", \\\"value\\\": {\\\"id\\\": \\\"c7e754eb-3ed6-43e2-aa98-e4a010314b36\\\", \\\"agent\\\": {\\\"llm\\\": {\\\"model\\\": \\\"deepseek/deepseek-flash\\\", \\\"api_key\\\": \\\"<redacted:api_key>\\\", \\\"auth_type\\\": \\\"api_key\\\", \\\"openrouter_site_url\\\": \\\"https://docs.all-hands.dev/\\\", \\\"openrouter_app_name\\u2026\"\n    }\n  ]\n}\n{\n  \"ok\": true,\n  \"path\": \"evidence/F07.snapshot-transient/live-c7e754eb-3ed6-43e2-aa98-e4a010314b36.json\",\n  \"bytes\": 7647,\n  \"mode\": \"0o600\",\n  \"content\": {\n    \"summary\": {\n      \"opened\": true,\n      \"frames\": 2,\n      \"kinds\": {\n        \"sync\": 1,\n        \"transient:ConversationStateUpdateEvent\": 1\n      },\n      \"stopped\": \"count 2\",\n      \"close\": null\n    },\n    \"frames\": [\n      {\n        \"direction\": \"opened\",\n        \"at\": \"2026-10-13T02:50:08Z\"\n      },\n      {\n        \"direction\": \"received\",\n        \"at\": \"2026-10-13T02:50:09Z\",\n        \"kind\": \"sync\",\n        \"frame\": {\n          \"type\": \"sync\",\n          \"through_seq\": 4\n        }\n      },\n      {\n        \"direction\": \"received\",\n        \"at\": \"2026-10-13T02:50:09Z\",\n        \"kind\": \"transient:ConversationStateUpdateEvent\",\n        \"frame\": {\n          \"type\": \"transient\",\n          \"event\": {\n            \"id\": \"ba7c9d0e-6bb9-4788-8383-f491b7e5df80\",\n            \"timestamp\": \"2026-10-13T02:50:08.982809\",\n            \"source\": \"environment\",\n            \"key\": \"full_state\",\n            \"value\": {\n              \"id\": \"c7e754eb-3ed6-43e2-aa98-e4a010314b36\",\n              \"agent\": {\n                \"llm\": {\n                  \"model\": \"deepseek/deepseek-flash\",\n                  \"api_key\": \"<redacted:api_key>\",\n                  \"auth_type\": \"api_key\",\n                  \"openrouter_site_url\": \"https://docs.all-hands.dev/\",\n                  \"openrouter_app_name\": \"OpenHands\",\n                  \"num_retries\": 5,\n                  \"retry_multiplier\": 8.0,\n                  \"retry_min_wait\": 8,\n                  \"retry_max_wait\": 64,\n                  \"timeout\": 300,\n                  \"stream_idle_timeout\": 300.0,\n                  \"max_message_chars\": 30000,\n                  \"api_mode\": \"auto\",\n                  \"capability_overrides\": {},\n                  \"stream\": false,\n                  \"drop_params\": true,\n                  \"disable_stop_word\": false,\n                  \"caching_prompt\": true,\n                  \"log_completions\": false,\n                  \"log_completions_folder\": \"logs/completions\",\n                  \"native_tool_calling\": true,\n                  \"reasoning_effort\": \"high\",\n                  \"enable_encrypted_reasoning\": true,\n                  \"prompt_cache_retention\": \"24h\",\n                  \"extended_thinking_budget\": 200000,\n                  \"usage_id\": \"default\",\n                  \"litellm_extra_body\": {},\n                  \"is_subscription\": false\n                },\n                \"tools\": [],\n                \"mcp_config\": {},\n                \"include_default_tools\": [\n                  \"FinishTool\",\n                  \"ThinkTool\"\n                ],\n                \"agent_context\": {\n                  \"skills\": [],\n                  \"load_user_skills\": false,\n                  \"load_public_skills\": false,\n                  \"marketplace_path\": \"marketplaces/default.json\",\n                  \"registered_marketplaces\": [],\n                  \"load_project_skills\": false,\n                  \"load_memory\": false,\n                  \"disabled_skills\": [],\n                  \"current_datetime\": \"2026-10-13T02:49:55.243686Z\"\n                },\n                \"system_prompt_filename\": \"system_prompt.j2\",\n                \"security_policy_filename\": \"security_policy.j2\",\n                \"system_prompt_kwargs\": {\n                  \"llm_security_analyzer\": true\n                },\n                \"condenser\": {\n                  \"llm\": {\n                    \"model\": \"deepseek/deepseek-flash\",\n                    \"api_key\": \"<redacted:api_key>\",\n                    \"auth_type\": \"api_key\",\n                    \"openrouter_site_url\": \"https://docs.all-hands.dev/\",\n                    \"openrouter_app_name\": \"OpenHands\",\n                    \"num_retries\": 5,\n                    \"retry_multiplier\": 8.0,\n                    \"retry_min_wait\": 8,\n                    \"retry_max_wait\": 64,\n                    \"timeout\": 300,\n                    \"stream_idle_timeout\": 300.0,\n                    \"max_message_chars\": 30000,\n                    \"api_mode\": \"auto\",\n                    \"capability_overrides\": {},\n                    \"stream\": false,\n                    \"drop_params\": true,\n                    \"disable_stop_word\": false,\n                    \"caching_prompt\": true,\n                    \"log_completions\": false,\n                    \"log_completions_folder\": \"logs/completions\",\n                    \"native_tool_calling\": true,\n                    \"reasoning_effort\": \"high\",\n                    \"enable_encrypted_reasoning\": true,\n                    \"prompt_cache_retention\": \"24h\",\n                    \"extended_thinking_budget\": 200000,\n                    \"usage_id\": \"condenser\",\n                    \"litellm_extra_body\": {},\n                    \"is_subscription\": false\n                  },\n                  \"max_size\": 240,\n                  \"keep_first\": 2,\n                  \"minimum_progress\": 0.1,\n                  \"hard_context_reset_max_retries\": 5,\n                  \"hard_context_reset_context_scaling\": 0.8,\n                  \"kind\": \"LLMSummarizingCondenser\"\n                },\n                \"tool_concurrency_limit\": 1,\n                \"kind\": \"Agent\"\n              },\n              \"workspace\": {\n                \"working_dir\": \"/workspace/verification-artifacts/runs/20261013-024935-e05c-map-f07/fixtures/workspaces/024955-215521\",\n                \"kind\": \"LocalWorkspace\"\n              },\n              \"persistence_dir\": \"/workspace/verification-artifacts/runs/20261013-024935-e05c-map-f07/server/workspace/conversations/c7e754eb3ed643e2aa98e4a010314b36\",\n              \"max_iterations\": 500,\n              \"stuck_detection\": true,\n              \"execution_status\": \"idle\",\n              \"confirmation_policy\": {\n                \"kind\": \"NeverConfirm\"\n              },\n              \"activated_knowledge_skills\": [],\n              \"activated_path_rules\": [],\n              \"invoked_skills\": [],\n              \"blocked_actions\": {},\n              \"blocked_messages\": {},\n              \"last_user_message_id\": \"d777e5a2-cd64-4486-ac38-7c028509abac\",\n              \"leaf_event_id\": \"d777e5a2-cd64-4486-ac38-7c028509abac\",\n              \"head_is_empty\": false,\n              \"stats\": {\n                \"usage_to_metrics\": {\n                  \"default\": {\n                    \"model_name\": \"deepseek/deepseek-flash\",\n                    \"accumulated_cost\": 0.0,\n                    \"accumulated_token_usage\": {\n                      \"model\": \"deepseek/deepseek-flash\",\n                      \"prompt_tokens\": 0,\n                      \"completion_tokens\": 0,\n                      \"cache_read_tokens\": 0,\n                      \"cache_write_tokens\": 0,\n                      \"reasoning_tokens\": 0,\n                      \"context_window\": 0,\n                      \"per_turn_token\": 0,\n                      \"response_id\": \"\"\n                    },\n                    \"costs\": [],\n                    \"response_latencies\": [],\n                    \"token_usages\": []\n                  },\n                  \"condenser\": {\n                    \"model_name\": \"deepseek/deepseek-flash\",\n                    \"accumulated_cost\": 0.0,\n                    \"accumulated_token_usage\": {\n                      \"model\": \"deepseek/deepseek-flash\",\n                      \"prompt_tokens\": 0,\n                      \"completion_tokens\": 0,\n                      \"cache_read_tokens\": 0,\n                      \"cache_write_tokens\": 0,\n                      \"reasoning_tokens\": 0,\n                      \"context_window\": 0,\n                      \"per_turn_token\": 0,\n                      \"response_id\": \"\"\n                    },\n                    \"costs\": [],\n                    \"response_latencies\": [],\n                    \"token_usages\": []\n                  }\n                }\n              },\n              \"secret_registry\": {\n                \"secret_sources\": {}\n              },\n              \"tags\": {},\n              \"agent_state\": {}\n            },\n            \"kind\": \"ConversationStateUpdateEvent\"\n          }\n        }\n      },\n      {\n        \"direction\": \"ended\",\n        \"at\": \"2026-10-13T02:50:09Z\",\n        \"stopped\": \"count 2\",\n        \"close\": null\n      }\n    ]\n  },\n  \"checks\": [\n    {\n      \"check\": \"frames.2.frame.type eq transient\",\n      \"ok\": true,\n      \"actual\": \"transient\"\n    },\n    {\n      \"check\": \"frames.2.frame.seq missing\",\n      \"ok\": true,\n      \"actual\": \"null\"\n    },\n    {\n      \"check\": \"frames.2.frame.event.kind eq ConversationStateUpdateEvent\",\n      \"ok\": true,\n      \"actual\": \"ConversationStateUpdateEvent\"\n    },\n    {\n      \"check\": \"frames.2.frame.event.key eq full_state\",\n      \"ok\": true,\n      \"actual\": \"full_state\"\n    },\n    {\n      \"check\": \"frames.2.frame.event.value.id eq c7e754eb-3ed6-43e2-aa98-e4a010314b36\",\n      \"ok\": true,\n      \"actual\": \"c7e754eb-3ed6-43e2-aa98-e4a010314b36\"\n    }\n  ]\n}\n{\n  \"ok\": true,\n  \"status\": 200,\n  \"request\": {\n    \"method\": \"GET\",\n    \"path\": \"<redacted:session-cookie>/c7e754eb-3ed6-43e2-aa98-e4a010314b36/events/count\",\n    \"query\": [],\n    \"auth\": \"header\",\n    \"body\": null,\n    \"files\": []\n  },\n  \"response\": {\n    \"status\": 200,\n    \"headers\": {\n      \"content-length\": \"1\",\n      \"content-type\": \"application/json\"\n    },\n    \"body\": 5,\n    \"truncated\": false\n  },\n  \"elapsed_ms\": 99,\n  \"checks\": [\n    {\n      \"check\": \". eq 5\",\n      \"ok\": true,\n      \"actual\": \"5\"\n    }\n  ]\n}\n",
  "stderr": ""
}