[
  {
    "api_error_status": null,
    "duration_api_ms": 14264,
    "duration_ms": 14291,
    "fast_mode_disabled_reason": "sdk_opt_in_required",
    "fast_mode_state": "off",
    "first_content_frame_ms": 1626,
    "is_error": false,
    "modelUsage": {
      "claude-opus-5": {
        "cacheCreationInputTokens": 5709,
        "cacheReadInputTokens": 0,
        "canonicalModel": "claude-opus-5",
        "contextWindow": 1000000,
        "costBasis": "list",
        "costUSD": 0.0804,
        "inputTokens": 2,
        "maxOutputTokens": 64000,
        "outputTokens": 932,
        "provider": "firstParty",
        "thinkingTokens": 362,
        "webSearchRequests": 0
      }
    },
    "num_turns": 1,
    "permission_denials": [],
    "queued_turn_count": 0,
    "result": "This postcondition looks only at the subject's output program; the `input` root is never mentioned, so nothing is compared across the two programs. From `output.operations` \u2014 which enumerates every operation at every depth, including the root `builtin.module` \u2014 it selects four groups by name: `dataflow.thread` ops, `dataflow.graph` ops, `dataflow.graph.launch` ops, and callables whose name is exactly `llvm.func` or `func.func`. Three separate universally quantified blocks require that every selected callable, every thread, and every graph have a parent operation that exists and is named `builtin.module`, so any such op nested inside a function body, a graph body, a thread body, or any other region is rejected, as is one with no parent at all. For each graph it additionally requires that among all transitive descendants of that graph there is no operation whose dialect (the text before the first dot in its name) is `scf`, which rejects any `scf.*` op at any nesting depth inside the graph, including inside nested ops and nested regions. A fourth block requires, for every `dataflow.graph.launch` op anywhere in the output, that there exists at least one selected thread that structurally and transitively contains that launch; a launch sitting in a module, a plain function, or a graph body with no enclosing `dataflow.thread` fails. All value sources are the output program's own structure \u2014 operation names, dialects, parent links, and containment \u2014 with no attributes, types, operands, results, symbol resolution, or counts consulted. Each of the four blocks is vacuously satisfied when its selected sequence is empty, so an output containing none of these four op kinds passes everything, and an output with launches but zero `dataflow.thread` ops fails the containment assert for every launch. The postcondition never demands that any of these operations exist.",
    "result_index": 0,
    "session_id": "dbf5a01d-7469-4879-9655-44c0283715fb",
    "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.0804,
    "ttft_ms": 6803,
    "ttft_stream_ms": 1131,
    "type": "result",
    "usage": {
      "cache_creation": {
        "ephemeral_1h_input_tokens": 5709,
        "ephemeral_5m_input_tokens": 0
      },
      "cache_creation_input_tokens": 5709,
      "cache_read_input_tokens": 0,
      "inference_geo": "not_available",
      "input_tokens": 2,
      "iterations": [],
      "output_tokens": 932,
      "output_tokens_details": {
        "thinking_tokens": 362
      },
      "server_tool_use": {
        "web_fetch_requests": 0,
        "web_search_requests": 0
      },
      "service_tier": "standard",
      "speed": "standard"
    },
    "uuid": "1bb7481d-9a76-40d2-be48-4416856ab743"
  }
]