[
  {
    "api_error_status": null,
    "duration_api_ms": 15703,
    "duration_ms": 15730,
    "fast_mode_disabled_reason": "sdk_opt_in_required",
    "fast_mode_state": "off",
    "first_content_frame_ms": 1529,
    "is_error": false,
    "modelUsage": {
      "claude-opus-5": {
        "cacheCreationInputTokens": 5536,
        "cacheReadInputTokens": 0,
        "canonicalModel": "claude-opus-5",
        "contextWindow": 1000000,
        "costBasis": "list",
        "costUSD": 0.083045,
        "inputTokens": 2,
        "maxOutputTokens": 64000,
        "outputTokens": 1107,
        "provider": "firstParty",
        "thinkingTokens": 359,
        "webSearchRequests": 0
      }
    },
    "num_turns": 1,
    "permission_denials": [],
    "queued_turn_count": 0,
    "result": "This postcondition examines only the `output` program \u2014 the `input` root is never referenced \u2014 and it scans `output.operations`, so every operation at every nesting depth is in scope. It builds two selections by exact name: `threads` (ops named `dataflow.thread`) and `launches` (ops named `dataflow.thread.launch`); ops of any other name, including other `dataflow.*` ops, are ignored entirely. Universally over each thread, it rejects unless the `function_type` attribute's function type has exactly zero declared results, the operation itself has exactly zero SSA results, and every declared input type in that same `function_type` has a `canonical_text` different from the literal string `!dataflow.thread_token` \u2014 so a thread whose signature declares any result, or which produces any SSA value, or which takes a parameter whose canonical text is exactly that token string, is rejected. Universally over each launch, it resolves the launch's `callee` symbol attribute against the output program and, for each resolved target whose name is `dataflow.thread`, requires that the callee's declared `function_type` inputs correspond position by position with the types of the values in operand segment 0 of the launch (the segment decoded from the launch's `operandSegmentSizes`); each zipped pair must be equal as types, and a length mismatch between the two sequences makes that assert fail with both lengths reported. Allowed value sources are thus exclusively the output's operation names, SSA result lists, `function_type` attribute projections, type canonical text and type equality, symbol resolution, and segment-0 operand types; nothing is compared against the input and no counts relate the two programs. The check is vacuously satisfied when the output contains no `dataflow.thread` ops and no `dataflow.thread.launch` ops, and each launch's inner claim is likewise vacuous when its `callee` resolves to no operations or to no operation named `dataflow.thread`; a thread with an empty input-type list also passes the token assertion vacuously. No assertion demands that any thread or launch exist, so an output with none of these ops is accepted. Conversely, the postcondition does not pass but errs where a selected thread or a resolved callee lacks a `function_type` attribute, where that attribute is not a function type, or where a launch carries no `operandSegmentSizes` property to decode segment 0.",
    "result_index": 0,
    "session_id": "e6c12c44-c2b2-4342-8e30-d8b9fa5b996a",
    "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": 27,
    "total_cost_usd": 0.083045,
    "ttft_ms": 5837,
    "ttft_stream_ms": 1078,
    "type": "result",
    "usage": {
      "cache_creation": {
        "ephemeral_1h_input_tokens": 5536,
        "ephemeral_5m_input_tokens": 0
      },
      "cache_creation_input_tokens": 5536,
      "cache_read_input_tokens": 0,
      "inference_geo": "not_available",
      "input_tokens": 2,
      "iterations": [],
      "output_tokens": 1107,
      "output_tokens_details": {
        "thinking_tokens": 359
      },
      "server_tool_use": {
        "web_fetch_requests": 0,
        "web_search_requests": 0
      },
      "service_tier": "standard",
      "speed": "standard"
    },
    "uuid": "62e3250c-ff41-42c7-a398-9133079cd289"
  }
]