[
  {
    "api_error_status": null,
    "duration_api_ms": 17915,
    "duration_ms": 17940,
    "fast_mode_disabled_reason": "sdk_opt_in_required",
    "fast_mode_state": "off",
    "first_content_frame_ms": 1555,
    "is_error": false,
    "modelUsage": {
      "claude-opus-5": {
        "cacheCreationInputTokens": 6581,
        "cacheReadInputTokens": 0,
        "canonicalModel": "claude-opus-5",
        "contextWindow": 1000000,
        "costBasis": "list",
        "costUSD": 0.099695,
        "inputTokens": 2,
        "maxOutputTokens": 64000,
        "outputTokens": 1355,
        "provider": "firstParty",
        "thinkingTokens": 611,
        "webSearchRequests": 0
      }
    },
    "num_turns": 1,
    "permission_denials": [],
    "queued_turn_count": 0,
    "result": "This postcondition quantifies universally over every operation in the output program whose name is `llvm.func` or `func.func`, at any nesting depth, and for each one requires the existence of at least one input operation of those same two names whose `sym_name` attribute string is identical. The compared items are each callable's \"shape slots\": the operations named `llvm.intr.fmuladd` or `math.fma` that are structurally contained in the callable but not contained in any other callable that is itself nested inside it, taken in program order; the output slot list and the input slot list are paired by `zip_exact`, so a length mismatch makes the assert fail outright rather than pass vacuously. Each of the three asserts only inspects a pair when the output-side operation is `math.fma`; pairs whose output-side operation is `llvm.intr.fmuladd` are accepted without any further check. For accepted-by-inspection pairs, the first assert demands that the output `math.fma`'s first result type equal the input operation's first result type, and the second demands that their operand lists zip position-by-position with equal types, so differing operand counts fail. The third assert admits exactly two value sources for fast-math text: if the input-side operation is `llvm.intr.fmuladd`, the pair consisting of its `fastmathFlags` canonical text and the output `math.fma`'s `fastmath` canonical text must appear literally in the seven-entry table declared in `fastmath_spelling`, and if the input-side operation is `math.fma`, the two `fastmath` canonical texts must be string-equal; no other spelling, normalization, or flag-set reasoning is accepted. All attribute reads (`sym_name`, `fastmathFlags`, `fastmath`) are unguarded, so an absent attribute on an inspected operation is an evaluation error rather than a pass or a fail. The postcondition is vacuously satisfied when the output contains no `llvm.func` or `func.func` operations at all; when a callable exists but owns no shape slots, the `zip_exact` conditions hold trivially yet the name-matched input callable must still exist, and when a callable owns only `llvm.intr.fmuladd` slots the three type and fast-math checks are trivially satisfied while the slot-count agreement and the existence of the matching input callable remain enforced.",
    "result_index": 0,
    "session_id": "42197238-e6fb-4cb5-91d0-281a957fe6b9",
    "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": 26,
    "total_cost_usd": 0.099695,
    "ttft_ms": 9330,
    "ttft_stream_ms": 1064,
    "type": "result",
    "usage": {
      "cache_creation": {
        "ephemeral_1h_input_tokens": 6581,
        "ephemeral_5m_input_tokens": 0
      },
      "cache_creation_input_tokens": 6581,
      "cache_read_input_tokens": 0,
      "inference_geo": "not_available",
      "input_tokens": 2,
      "iterations": [],
      "output_tokens": 1355,
      "output_tokens_details": {
        "thinking_tokens": 611
      },
      "server_tool_use": {
        "web_fetch_requests": 0,
        "web_search_requests": 0
      },
      "service_tier": "standard",
      "speed": "standard"
    },
    "uuid": "bbd5b918-739f-42ea-9be1-ea6057cb8428"
  }
]