[
  {
    "api_error_status": null,
    "duration_api_ms": 14776,
    "duration_ms": 14806,
    "fast_mode_disabled_reason": "sdk_opt_in_required",
    "fast_mode_state": "off",
    "first_content_frame_ms": 2119,
    "is_error": false,
    "modelUsage": {
      "claude-opus-5": {
        "cacheCreationInputTokens": 5559,
        "cacheReadInputTokens": 0,
        "canonicalModel": "claude-opus-5",
        "contextWindow": 1000000,
        "costBasis": "list",
        "costUSD": 0.081125,
        "inputTokens": 2,
        "maxOutputTokens": 64000,
        "outputTokens": 1021,
        "provider": "firstParty",
        "thinkingTokens": 373,
        "webSearchRequests": 0
      }
    },
    "num_turns": 1,
    "permission_denials": [],
    "queued_turn_count": 0,
    "result": "This postcondition quantifies universally over `graphs`, the sequence of every operation in the output program whose name is exactly `\"dataflow.graph\"`, gathered from `output.operations` and therefore including graphs at any nesting depth; the input program is never consulted, so nothing relates output to input. For each such graph it makes three negative assertions and no existence claim, so a graph satisfies it only by lacking the listed constructs. The first assertion rejects the graph if any strict descendant operation has a name exactly matching one of eight literals \u2014 `scf.parallel`, `scf.forall`, `scf.forall.in_parallel`, `scf.reduce`, `scf.reduce.return`, `scf.parallel_insert_slice`, `dataflow.parallel`, or `dataflow.reduce`; any other name, including other `scf.*` operations, is accepted, and the graph operation itself is not tested against this list because `mlir::descendants` excludes its argument. The second assertion rejects the graph if any strict descendant has an entry keyed `\"mapping\"`, `\"loom.parallel_schedule\"`, or `\"loom.parallel_group\"` in its attributes-and-properties map; only key presence is tested, and the attribute values, kinds, and texts are never read. The third assertion applies the same three key-presence tests to the graph operation itself, rejecting it if any of the three keys is present. The only value sources are operation names compared to string literals and attribute-key membership tests, both of which are total; no typed projections, operands, results, regions, types, or symbol resolutions are used, so no evaluation errors can arise. Behavior is vacuously accepting whenever the output contains no `dataflow.graph` operation, and the two `none` assertions are additionally vacuously true for a graph with no descendant operations, in which case only the third assertion carries force. Operations bearing the listed names or the listed attribute keys elsewhere in the module, outside every `dataflow.graph`, are accepted without comment.",
    "result_index": 0,
    "session_id": "94652efc-3c8d-4db7-b2bf-79f77eaccd4f",
    "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.081125,
    "ttft_ms": 6842,
    "ttft_stream_ms": 1591,
    "type": "result",
    "usage": {
      "cache_creation": {
        "ephemeral_1h_input_tokens": 5559,
        "ephemeral_5m_input_tokens": 0
      },
      "cache_creation_input_tokens": 5559,
      "cache_read_input_tokens": 0,
      "inference_geo": "not_available",
      "input_tokens": 2,
      "iterations": [],
      "output_tokens": 1021,
      "output_tokens_details": {
        "thinking_tokens": 373
      },
      "server_tool_use": {
        "web_fetch_requests": 0,
        "web_search_requests": 0
      },
      "service_tier": "standard",
      "speed": "standard"
    },
    "uuid": "1573a491-3972-4cb1-928c-32a35fc2930e"
  }
]