[
  {
    "api_error_status": null,
    "duration_api_ms": 8448,
    "duration_ms": 8475,
    "fast_mode_disabled_reason": "sdk_opt_in_required",
    "fast_mode_state": "off",
    "first_content_frame_ms": 1220,
    "is_error": false,
    "modelUsage": {
      "claude-opus-5": {
        "cacheCreationInputTokens": 5343,
        "cacheReadInputTokens": 0,
        "canonicalModel": "claude-opus-5",
        "contextWindow": 1000000,
        "costBasis": "list",
        "costUSD": 0.067165,
        "inputTokens": 2,
        "maxOutputTokens": 64000,
        "outputTokens": 549,
        "provider": "firstParty",
        "thinkingTokens": 14,
        "webSearchRequests": 0
      }
    },
    "num_turns": 1,
    "permission_denials": [],
    "queued_turn_count": 0,
    "result": "This postcondition looks only at the subject's output program, never at the input. It first selects two sets of operations from every depth of the output: `graphs`, all operations whose name is exactly `dataflow.graph`, and `launches`, all operations whose name is exactly `dataflow.graph.launch`. The single assertion is universally quantified over `graphs`, and for each such graph it requires that there exists at least one launch operation in the output whose `callee` symbol reference resolves \u2014 via the vocabulary's symbol resolution over the whole output program \u2014 to at least one target operation that is both named `dataflow.graph` and is the very same entity as the graph under consideration. Identity here is entity identity within the one output program, so a launch pointing at a different graph with the same name does not satisfy the obligation for this graph.\n\nIt therefore rejects any output containing a `dataflow.graph` operation for which no `dataflow.graph.launch` resolves its `callee` back to that exact operation, including cases where the `callee` attribute is missing or unresolvable (resolution simply yields no target, and the `exists` fails). It accepts outputs where every selected graph has at least one such matching launch; launches whose callee resolves elsewhere, resolves to a non-`dataflow.graph` operation, or resolves to nothing are permitted so long as each graph is covered by some launch, and a single launch may cover only the one graph it names. The check is vacuously true \u2014 and so passes \u2014 on any output containing no `dataflow.graph` operations at all, regardless of how many launches are present. No values, types, attributes, operands, results, regions, or counts other than the name-based selection and symbol resolution are consulted.",
    "result_index": 0,
    "session_id": "640378b4-f403-43d3-91c7-064b72a647c0",
    "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.067165,
    "ttft_ms": 1262,
    "ttft_stream_ms": 1088,
    "type": "result",
    "usage": {
      "cache_creation": {
        "ephemeral_1h_input_tokens": 5343,
        "ephemeral_5m_input_tokens": 0
      },
      "cache_creation_input_tokens": 5343,
      "cache_read_input_tokens": 0,
      "inference_geo": "not_available",
      "input_tokens": 2,
      "iterations": [],
      "output_tokens": 549,
      "output_tokens_details": {
        "thinking_tokens": 14
      },
      "server_tool_use": {
        "web_fetch_requests": 0,
        "web_search_requests": 0
      },
      "service_tier": "standard",
      "speed": "standard"
    },
    "uuid": "4c448d6a-66b6-4b44-a9b1-f9f138fd80f0"
  }
]