[
  {
    "api_error_status": null,
    "duration_api_ms": 19373,
    "duration_ms": 19405,
    "fast_mode_disabled_reason": "sdk_opt_in_required",
    "fast_mode_state": "off",
    "first_content_frame_ms": 1594,
    "is_error": false,
    "modelUsage": {
      "claude-opus-5": {
        "cacheCreationInputTokens": 5914,
        "cacheReadInputTokens": 0,
        "canonicalModel": "claude-opus-5",
        "contextWindow": 1000000,
        "costBasis": "list",
        "costUSD": 0.0912,
        "inputTokens": 2,
        "maxOutputTokens": 64000,
        "outputTokens": 1282,
        "provider": "firstParty",
        "thinkingTokens": 582,
        "webSearchRequests": 0
      }
    },
    "num_turns": 1,
    "permission_denials": [],
    "queued_turn_count": 0,
    "result": "This postcondition looks only at operations selected by name and dialect from the full pre-order operation lists of the two artifact roots: `callables` is every `llvm.func` in `output` at any depth, and `recovered` is every operation in `output` whose dialect prefix is `scf`. The first assertion is universally quantified over those callables but filtered to the ones with no \"local obstacle\" \u2014 that is, no transitive descendant that either carries a `branch_weights` attribute key or is named `llvm.indirectbr`, `llvm.blocktag`, or `cf.switch`; for each such obstacle-free callable it rejects the program unless that callable has zero transitive descendants in the `cf` dialect, and it says nothing at all about callables that do contain an obstacle. The second assertion is universally quantified over every `scf` operation `s`, and inside it over every transitive descendant `d` of `s`, every result `r` of `d`, and every use `u` of `r`, requiring that the using operation `u.owner` be structurally contained in `s`; it therefore rejects any value defined strictly inside a recovered structured operation that is consumed by an operation outside it, while placing no requirement on the results of `s` itself or on its block arguments. The third assertion is a single unquantified comparison of two string sets: the `sym_name` attribute strings (read via the `.string` projection, guarded by an `in` presence test) of all `llvm.func` operations in `output` must equal the same set computed over `input`, so a renamed, added, or removed symbol name is rejected while duplicate names and any change in count, order, ordering, or body are invisible to it. The only value sources are attribute presence and string projections, operation names and dialect prefixes, results and use lists, and the vocabulary's `descendants` and `contains` helpers \u2014 no operand segments, types, or symbol resolution are consulted. The first two assertions are vacuously satisfied when their selections are empty or when every callable carries an obstacle and when no `scf` operation has result-producing descendants with uses; the third is non-vacuous always, and is trivially satisfied when neither program contains any named `llvm.func` (both sets empty).",
    "result_index": 0,
    "session_id": "5ea230fe-b075-48fe-a75e-d442e9feac4d",
    "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": 30,
    "total_cost_usd": 0.0912,
    "ttft_ms": 10187,
    "ttft_stream_ms": 1161,
    "type": "result",
    "usage": {
      "cache_creation": {
        "ephemeral_1h_input_tokens": 5914,
        "ephemeral_5m_input_tokens": 0
      },
      "cache_creation_input_tokens": 5914,
      "cache_read_input_tokens": 0,
      "inference_geo": "not_available",
      "input_tokens": 2,
      "iterations": [],
      "output_tokens": 1282,
      "output_tokens_details": {
        "thinking_tokens": 582
      },
      "server_tool_use": {
        "web_fetch_requests": 0,
        "web_search_requests": 0
      },
      "service_tier": "standard",
      "speed": "standard"
    },
    "uuid": "b6ebfd49-1f71-4c98-a2d7-6427ba36ad09"
  }
]