[
  {
    "api_error_status": null,
    "duration_api_ms": 15939,
    "duration_ms": 15968,
    "fast_mode_disabled_reason": "sdk_opt_in_required",
    "fast_mode_state": "off",
    "first_content_frame_ms": 2250,
    "is_error": false,
    "modelUsage": {
      "claude-opus-5": {
        "cacheCreationInputTokens": 6024,
        "cacheReadInputTokens": 0,
        "canonicalModel": "claude-opus-5",
        "contextWindow": 1000000,
        "costBasis": "list",
        "costUSD": 0.084925,
        "inputTokens": 2,
        "maxOutputTokens": 64000,
        "outputTokens": 987,
        "provider": "firstParty",
        "thinkingTokens": 436,
        "webSearchRequests": 0
      }
    },
    "num_turns": 1,
    "permission_denials": [],
    "queued_turn_count": 0,
    "result": "This postcondition looks only at the `output` program; the `input` program is never consulted, and no value source outside `output.operations` is used. It selects two flat sequences from every operation at any depth: all ops named `dataflow.thread` and all ops named `dataflow.graph.launch`, then universally quantifies over the launches, so a program containing no `dataflow.graph.launch` operation passes every assert vacuously, and the `dataflow.thread` sequence matters only as a container pool. For each launch it demands that some thread op structurally contains it, and that resolving the launch's `callee` symbol attribute against the output yields at least one operation whose name is `dataflow.graph`; zero resolutions, or resolutions that are all named something else, reject.\n\nIt then decodes the launch's `operandSegmentSizes` into five segments and its `resultSegmentSizes` into three, which requires those properties to be present on the op. Operand segment 0 must contain only values of the `none` type, and operand segments 2 and 4 must contain only values whose type kind is exactly `\"!dataflow.channel\"`; segments 1 and 3 are unconstrained in type, and any of these per-value checks passes trivially when its segment is empty. The five operand segment sizes must sum exactly to the launch's operand count, and the three result segment sizes must sum exactly to its result count, so hidden or double-counted positions reject. Result segment 2 must hold exactly one value, that value must have type `none`, and it must equal the value obtained by dropping all but the final entry of the launch's result list, so a `none`-typed single done result placed anywhere other than last rejects; result segments 0 and 1 are checked only through the total-count sum.",
    "result_index": 0,
    "session_id": "2ba82cbd-18d4-4845-adf2-c03e485293f3",
    "stop_reason": "end_turn",
    "subagent_stats": {
      "by_type": {},
      "completed": 0,
      "failed": 0,
      "killed": {
        "parent": 0,
        "system": 0,
        "user": 0
      },
      "max_depth": 0,
      "refused": {
        "budget": 0,
        "concurrency_limit": 0,
        "depth_limit": 0
      },
      "requested": {
        "background": 0,
        "foreground": 0,
        "unset": 0
      },
      "spawned": 0,
      "spawned_by_subagents": 0,
      "started_in_background": 0
    },
    "subtype": "success",
    "terminal_reason": "completed",
    "time_to_request_ms": 29,
    "total_cost_usd": 0.084925,
    "ttft_ms": 8436,
    "ttft_stream_ms": 1707,
    "type": "result",
    "usage": {
      "cache_creation": {
        "ephemeral_1h_input_tokens": 6024,
        "ephemeral_5m_input_tokens": 0
      },
      "cache_creation_input_tokens": 6024,
      "cache_read_input_tokens": 0,
      "inference_geo": "not_available",
      "input_tokens": 2,
      "iterations": [],
      "output_tokens": 987,
      "output_tokens_details": {
        "thinking_tokens": 436
      },
      "server_tool_use": {
        "web_fetch_requests": 0,
        "web_search_requests": 0
      },
      "service_tier": "standard",
      "speed": "standard"
    },
    "uuid": "2bba40bb-ef37-47a7-a057-6b457bd7c73e"
  }
]