dala

defmodule Dala.Test do
  @moduledoc """
  Remote inspection and interaction helpers for connected Dala apps.

  All functions accept a `node` atom and operate on the running screen via
  Erlang distribution. Connect first with `mix dala.connect`, then use these
  from IEx or from an agent via `:rpc.call/4`.

  ## Quick reference

      node = :"my_app_ios@127.0.0.1"

      # Inspection
      Dala.Test.screen(node)               #=> MyApp.HomeScreen
      Dala.Test.assigns(node)              #=> %{count: 3, ...}
      Dala.Test.tree(node)                 #=> %{type: :column, ...}
      Dala.Test.find(node, "Save")         #=> [{[0, 2], %{...}}]
      Dala.Test.inspect(node)              #=> %{screen: ..., assigns: ..., tree: ...}

      # Interaction
      Dala.Test.tap(node, :increment)      # tap a button by tag
      Dala.Test.back(node)                 # system back gesture
      Dala.Test.pop(node)                  # pop to previous screen (synchronous)
      Dala.Test.navigate(node, MyApp.DetailScreen, %{id: 42})
      Dala.Test.pop_to(node, MyApp.HomeScreen)
      Dala.Test.pop_to_root(node)

      # Lists
      Dala.Test.select(node, :my_list, 0)  # select first row

      # Device API simulation
      Dala.Test.send_message(node, {:permission, :camera, :granted})
      Dala.Test.send_message(node, {:camera, :photo, %{path: "/tmp/photo.jpg", width: 1920, height: 1080}})
      Dala.Test.send_message(node, {:location, %{lat: 43.65, lon: -79.38, accuracy: 10.0, altitude: 80.0}})
      Dala.Test.send_message(node, {:notification, %{id: "n1", title: "Hi", body: "Hey", data: %{}, source: :push}})

  ## Tap vs send_message

  `tap/2` is for UI interactions that go through `handle_event/3` via the native
  tap registry. `send_message/2` delivers any term directly to `handle_info/2`.
  Use `send_message/2` to simulate async results from device APIs (camera, location,
  notifications, etc.) without having to trigger the actual hardware.

  ## Synchronous vs fire-and-forget

  Navigation functions (`pop`, `navigate`, `pop_to`, `pop_to_root`) are synchronous —
  they block until the navigation and re-render complete. This makes them safe to
  follow immediately with `screen/1` or `assigns/1` to verify the result.

  `back/1` and `send_message/2` are fire-and-forget (they send a message to the
  screen process and return immediately). Use `:sys.get_state/1` as a sync point
  if you need to wait before reading state:

      Dala.Test.send_message(node, {:permission, :camera, :granted})
      :rpc.call(node, :sys, :get_state, [:dala_screen])  # flush mailbox
      Dala.Test.assigns(node)

  ## Two layers of inspection: render tree vs native UI

  `Dala.Test` exposes two complementary views of what the app is showing:

  | API                           | Source                              | When to use |
  |-------------------------------|-------------------------------------|-------------|
  | `tree/1`, `find/2`            | Dala render tree (logical components) | Dala apps you control. Fast, exact, has `on_tap` tags, no AX activation needed. |
  | `view_tree/1`, `find_view/2`  | Native view hierarchy via NIF       | Native pixel frames; works for any app on iOS UIKit; shallow on SwiftUI/Compose. |
  | `ui_tree/1`                   | OS accessibility tree               | What sighted users read; works on any app *if* AX is active (iOS: VoiceOver). Strict superset of `view_tree` for UIKit; the only path to semantics inside SwiftUI/Compose. |

  Choose render tree first if your app is Dala-rendered. Reach for `view_tree`
  when you want native frames or geometry. Reach for `ui_tree` when you need
  to inspect non-Dala content (alerts, system overlays, third-party SDK UI),
  or to verify the *rendered* state matches the logical render.

  ## Driving controls beyond plain taps

  - **Buttons / nav items** — `tap/2` (by tag, fastest), or
    `dala_nif:tap/1` (by accessibility label), or `tap_xy/3` (by coordinate).
  - **Sliders, steppers, pickers** — `adjust_slider/4` and the underlying
    `ax_action/3` / `ax_action_at_xy/4` use `accessibilityIncrement` /
    `accessibilityDecrement`. Synthetic drag gestures don't fire SwiftUI's
    `DragGesture` reliably; AX actions do.
  - **Switches / toggles** — `toggle/2` finds the switch by nearby label and
    activates it via the AX path (sends `accessibilityActivate`).
  - **Modals / alerts / sheets** — `dismiss_alert/2` uses
    `accessibilityActivate` on the named button; `ax_action/3` with
    `:escape` sends `accessibilityPerformEscape`.
  - **Scroll views** — `ax_action/3` with `:scroll_up`/`:scroll_down`/
    `:scroll_left`/`:scroll_right` sends `accessibilityScroll:`.
  - **System back** — `back/1` (Dala screens, framework-level) or — for
    sidecar mode against arbitrary apps — synthetic edge-pan via `swipe/5`
    from `x=0`, but iOS owns that gesture above the app process and the
    synthetic pan won't fire. Use `back/1` for Dala, document the limitation
    for sidecar.

  ## Platform support matrix

  | Helper                       | iOS sim       | iOS device    | Android         |
  |------------------------------|---------------|---------------|-----------------|
  | `screen/1`, `assigns/1`      | ✅            | ✅            | ✅              |
  | `tap/2` (by tag)             | ✅            | ✅            | ✅              |
  | `back/1`, `pop/1`, `navigate`| ✅            | ✅            | ✅              |
  | `send_message/2`             | ✅            | ✅            | ✅              |
  | `screen_info/1`              | ✅            | ✅            | ✅              |
  | `view_tree/1`                | ✅ (shallow†) | ✅ (shallow†) | ✅ (root only‡) |
  | `find_view/2`                | ✅            | ✅            | ✅              |
  | `ui_tree/1` (legacy AX)      | ⚠️ AX active§ | ⚠️ AX active§ | ❌ not_loaded   |
  | `ax_action/3`                | ⚠️ AX active§ | ⚠️ AX active§ | ❌ not_supported |
  | `ax_action_at_xy/4`          | ⚠️ AX active§ | ⚠️ AX active§ | ❌ not_supported |
  | `toggle/2`                   | ⚠️ AX active§ | ⚠️ AX active§ | ❌ ui_tree_unavailable |
  | `dismiss_alert/2`            | ⚠️ AX active§ | ⚠️ AX active§ | ❌ ui_tree_unavailable |
  | `adjust_slider/4`            | ⚠️ AX active§ | ⚠️ AX active§ | ❌ ui_tree_unavailable |
  | `tap_xy/3`                   | ✅ (AX path)  | ✅ (HID inj.) | n/a             |
  | `swipe/5`                    | ⚠️ scroll only| ✅ (HID inj.) | n/a             |

  - **†** SwiftUI doesn't expose its content as separate UIView instances —
    `view_tree` reaches the SwiftUI hosting view's container and stops.
    For semantic content on Dala screens use `tree/1` (render tree); for any
    other SwiftUI-based content use `ui_tree/1`.
  - **‡** Android's Dala renderer is Compose. The View walk stops at the
    `AndroidComposeView` host. The eventual fix is `Modifier.onGloballyPositioned`
    in Dala's components writing to a registry the NIF reads (planned).
    See `issues.md` #11.
  - **§** "AX active" means an iOS accessibility client is asking for the
    AX tree so SwiftUI materializes it. Today: VoiceOver toggle. Production:
    `XCAXClient_iOS` activation, debug-only — see WireTap stretch goals in
    `future_developments.md`.

  Helpers that depend on AX return clear error tuples on Android instead of
  raising. Callers should match on `{:error, :not_supported_on_android}` and
  `{:error, :ui_tree_unavailable}` and either skip or fall back to
  `send_message/2` for state mutations.

  ## Known limitations affecting AX automation

  Even on iOS with AX active, three Dala component defects keep the natural
  paths from working today. Workarounds in each helper's docstring:

  - **Slider** — `accessibilityIncrement`/`Decrement` are no-ops because
    Dala's iOS Slider doesn't attach `.accessibilityAdjustableAction`.
    See `issues.md` #7.
  - **Toggle** — the `label:` prop doesn't reach the AX tree; `toggle/2`
    can't find the switch by label name. Use `ax_action_at_xy/4` with
    coordinates for now. See `issues.md` #8.
  - **Alert OK button** — `accessibilityActivate` on the AX-tree button
    doesn't fire the underlying `UIAlertAction`. Use Dala `Alert` with
    `action:` atoms and `send_message/2` to dismiss programmatically.
    See `issues.md` #9.

  System-level gestures iOS owns *above* the app process (edge-pan back,
  swipe-up app switcher, pull-down notification center) are out of reach
  for in-process synthetic touches on physical devices. Use `back/1` for
  Dala screens; for sidecar mode against arbitrary apps, document the
  limitation rather than promising the gesture.
  """

  # ── Inspection ────────────────────────────────────────────────────────────────

  @doc "Return the current screen module."
  @spec screen(node()) :: module()
  def screen(node), do: rpc(node, :get_current_module)

  @doc "Return the current screen's assigns map."
  @spec assigns(node()) :: map()
  def assigns(node), do: rpc(node, :get_socket).assigns

  @doc """
  Return a map with `:screen`, `:assigns`, `:nav_history`, and `:tree`
  (the raw render tree from calling `render/1` on the current screen).
  """
  @spec inspect(node()) :: map()
  def inspect(node), do: rpc(node, :inspect)

  @doc "Return the current rendered tree (calls render/1 on the live assigns)."
  @spec tree(node()) :: map()
  def tree(node), do: rpc(node, :inspect).tree

  @doc """
  Find all nodes in the current tree whose text contains `substring`.
  Returns a list of `{path, node}` tuples where `path` is a list of
  indices from the root.

      Dala.Test.find(node, "Device APIs")
      #=> [{[0, 1, 8], %{"type" => "button", "props" => %{"text" => "Device APIs →", ...}}}]
  """
  @spec find(node(), String.t()) :: [{list(), map()}]
  def find(node, substring) do
    search(tree(node), substring, [])
  end

  # ── Tap ───────────────────────────────────────────────────────────────────────

  @doc """
  Send a tap event to the current screen by tag atom.

  The tag comes from `on_tap: {self(), :tag_atom}` in the screen's `render/1`.
  Check the screen's render function to find available tags.

  Fire-and-forget — does not wait for the screen to finish processing.

      Dala.Test.tap(node, :save)
      Dala.Test.tap(node, :open_detail)
  """
  @spec tap(node(), atom()) :: :ok
  def tap(node, tag) do
    :rpc.call(node, Process, :send, [:dala_screen, {:tap, tag}, []])
    :ok
  end

  # ── System gestures ───────────────────────────────────────────────────────────

  @doc """
  Simulate the system back gesture (Android hardware back / iOS edge-pan).

  Fire-and-forget. The framework pops the navigation stack; if already at the
  root, it exits the app. Prefer `pop/1` when you need to know that navigation
  has finished before reading state.
  """
  @spec back(node()) :: :ok
  def back(node) do
    :rpc.call(node, Process, :send, [:dala_screen, {:dala, :back}, []])
    :ok
  end

  # ── Navigation (synchronous) ──────────────────────────────────────────────────

  @doc """
  Pop the current screen and return to the previous one. Synchronous.

  Returns `:ok` once the navigation and re-render are complete, so it is safe
  to call `screen/1` or `assigns/1` immediately after.

  No-op (returns `:ok`) if already at the root of the stack.
  """
  @spec pop(node()) :: :ok
  def pop(node), do: nav(node, {:pop})

  @doc """
  Push a new screen onto the navigation stack. Synchronous.

  `dest` is a screen module or a registered name atom (from `navigation/1`).
  `params` are passed to the new screen's `mount/3`.

      Dala.Test.navigate(node, MyApp.DetailScreen, %{id: 42})
      Dala.Test.navigate(node, :detail, %{id: 42})
      Dala.Test.navigate(node, MyApp.SettingsScreen)
  """
  @spec navigate(node(), module() | atom(), map()) :: :ok
  def navigate(node, dest, params \\ %{}), do: nav(node, {:push, dest, params})

  @doc """
  Pop the stack until `dest` is at the top. Synchronous.

  `dest` is a screen module or registered name atom. No-op if not in history.
  """
  @spec pop_to(node(), module() | atom()) :: :ok
  def pop_to(node, dest), do: nav(node, {:pop_to, dest})

  @doc """
  Pop all screens back to the root of the current stack. Synchronous.
  """
  @spec pop_to_root(node()) :: :ok
  def pop_to_root(node), do: nav(node, {:pop_to_root})

  @doc """
  Replace the entire navigation stack with a new root screen. Synchronous.

  Use this to simulate auth transitions (e.g. login → home with no back button).
  """
  @spec reset_to(node(), module() | atom(), map()) :: :ok
  def reset_to(node, dest, params \\ %{}), do: nav(node, {:reset, dest, params})

  # ── Lists ─────────────────────────────────────────────────────────────────────

  @doc """
  Select a row in a `:list` component by index.

  `list_id` must match the `:id` prop on the `type: :list` node. `index` is
  zero-based. Delivers `{:select, list_id, index}` to `handle_info/2`.

  Fire-and-forget.

      Dala.Test.select(node, :my_list, 0)   # first row
  """
  @spec select(node(), atom(), non_neg_integer()) :: :ok
  def select(node, list_id, index) when is_atom(list_id) and is_integer(index) do
    :rpc.call(node, Process, :send, [:dala_screen, {:select, list_id, index}, []])
    :ok
  end

  # ── send_message ──────────────────────────────────────────────────────────────

  @doc """
  Send an arbitrary message to the screen's `handle_info/2`. Fire-and-forget.

  Use this to simulate results from device APIs without triggering real hardware:

      # Permissions
      Dala.Test.send_message(node, {:permission, :camera, :granted})
      Dala.Test.send_message(node, {:permission, :notifications, :denied})

      # Camera
      Dala.Test.send_message(node, {:camera, :photo, %{path: "/tmp/photo.jpg", width: 1920, height: 1080}})
      Dala.Test.send_message(node, {:camera, :cancelled})

      # Location
      Dala.Test.send_message(node, {:location, %{lat: 43.6532, lon: -79.3832, accuracy: 10.0, altitude: 80.0}})
      Dala.Test.send_message(node, {:location, :error, :denied})

      # Photos / Files
      Dala.Test.send_message(node, {:photos, :picked, [%{path: "/tmp/photo.jpg", width: 800, height: 600}]})
      Dala.Test.send_message(node, {:files, :picked, [%{path: "/tmp/doc.pdf", name: "doc.pdf", size: 4096}]})

      # Audio / Motion / Scanner
      Dala.Test.send_message(node, {:audio, :recorded, %{path: "/tmp/audio.aac", duration: 12}})
      Dala.Test.send_message(node, {:motion, %{ax: 0.1, ay: 9.8, az: 0.0, gx: 0.0, gy: 0.0, gz: 0.0}})
      Dala.Test.send_message(node, {:scan, :result, %{type: :qr, value: "https://example.com"}})

      # Notifications
      Dala.Test.send_message(node, {:notification, %{id: "n1", title: "Hi", body: "Hello", data: %{}, source: :push}})
      Dala.Test.send_message(node, {:push_token, :ios, "abc123def456"})

      # Biometric
      Dala.Test.send_message(node, {:biometric, :success})
      Dala.Test.send_message(node, {:biometric, :failure, :user_cancel})

      # Custom
      Dala.Test.send_message(node, {:my_event, %{key: "value"}})
  """
  @spec send_message(node(), term()) :: :ok
  def send_message(node, message) do
    :rpc.call(node, Process, :send, [:dala_screen, message, []])
    :ok
  end

  # ── Native UI — unmodified app test harness ─────────────────────────────────
  #
  # These functions drive the native UI of any app — not just Dala-rendered ones.
  # They call dala_nif directly via RPC and do not require a dala screen process.

  @doc """
  Return the live accessibility tree from the running native app.

  Each element is a tuple: `{type, label, value, {x, y, w, h}}`

      Dala.Test.ui_tree(node)
      #=> [{:button, "Increment", "", {164.0, 400.0, 54.0, 54.0}}, ...]
  """
  @spec ui_tree(node()) :: list()
  def ui_tree(node) do
    :rpc.call(node, Dala.Native, :ui_tree, [])
  end

  @doc """
  Return the live UI tree as a nested map, walking native views directly.

  Unlike `ui_tree/1` (which uses the accessibility subsystem and requires
  VoiceOver activation on iOS), this walks UIView/View hierarchies directly:
  no AX activation needed.

  ## Coverage caveat

  - **UIKit apps (sidecar mode)**: full UIView hierarchy with labels and frames.
  - **SwiftUI apps (current Dala)**: shallow — SwiftUI doesn't expose its content
    as separate UIView instances under the hosting view. You'll see containers
    and scroll views but not individual buttons/text. For Dala apps, prefer
    `Dala.Test.tree/1` (the logical render tree, which has all the semantic info)
    or `Dala.Test.ui_tree/1` (AX walk, requires VoiceOver activation).
  - **Android (planned)**: a registry populated via `onGloballyPositioned` in
    Dala's Compose components — see `future_developments.md` "WireTap" section.

  Returns a nested map:

      %{
        type: :root, label: nil, value: nil,
        frame: {0.0, 0.0, 393.0, 852.0},
        children: [
          %{type: :window, ..., children: [
            %{type: :scroll, ..., children: [
              %{type: :button, label: "Roll Dice",
                frame: {24.0, 416.0, 327.0, 53.5}, children: []}
            ]}
          ]}
        ]
      }

  On Android, the JSON returned by `dala_nif:ui_view_tree/0` is decoded here.
  """
  @spec view_tree(node()) :: map() | {:error, term()}
  def view_tree(node) do
    case :rpc.call(node, Dala.Native, :ui_view_tree, []) do
      bin when is_binary(bin) -> :json.decode(bin) |> normalize_tree()
      %{} = m -> m
      other -> other
    end
  end

  # JSON decode produces string keys; the iOS NIF returns atom keys directly.
  # Normalize to atom keys so the API is uniform across platforms.
  defp normalize_tree(%{"type" => _} = node) do
    %{
      type: normalize_atom(node["type"]),
      label: node["label"],
      value: node["value"],
      frame:
        case node["frame"] do
          [x, y, w, h] -> {x * 1.0, y * 1.0, w * 1.0, h * 1.0}
          other -> other
        end,
      children: Enum.map(node["children"] || [], &normalize_tree/1)
    }
  end

  defp normalize_tree(other), do: other

  defp normalize_atom(s) when is_binary(s), do: String.to_atom(s)
  defp normalize_atom(a) when is_atom(a), do: a

  @doc """
  Return the view tree flattened to a list of `{path, node}` tuples.

  `path` is the list of child indices from the root — e.g. `[0, 2, 1]` is
  "the second child of the third child of the first child of the root."

  Useful for filter/find — see `find_view/2`.

      Dala.Test.view_tree_flat(node)
      #=> [
      #     {[], %{type: :root, ...}},
      #     {[0], %{type: :window, ...}},
      #     {[0, 0], %{type: :scroll, ...}},
      #     ...
      #   ]
  """
  @spec view_tree_flat(node()) :: [{[non_neg_integer()], map()}]
  def view_tree_flat(node) when is_atom(node), do: flatten_tree(view_tree(node))

  @doc """
  Flatten an already-fetched view tree. Pure function — useful for tests
  and for inspecting a captured tree without re-fetching.

      tree = Dala.Test.view_tree(node)
      flat = Dala.Test.flatten_tree(tree)
  """
  @spec flatten_tree(map()) :: [{[non_neg_integer()], map()}]
  def flatten_tree(%{} = tree), do: do_flatten(tree, []) |> Enum.reverse()
  def flatten_tree(other), do: other

  defp do_flatten(%{children: children} = node, path) do
    self_entry = [{path, Map.delete(node, :children)}]

    children
    |> Enum.with_index()
    |> Enum.reduce(self_entry, fn {child, i}, acc ->
      do_flatten(child, path ++ [i]) ++ acc
    end)
  end

  defp do_flatten(other, path), do: [{path, other}]

  @doc """
  Find nodes in the view tree whose label or value contains `text`.

  Returns `[{path, node}]` for each match. Faster and more accurate than
  `find_native/2` (no AX dependency, sees all views).

      Dala.Test.find_view(node, "Roll Dice")
      #=> [{[0, 0, 0, 4], %{type: :button, label: "Roll Dice", ...}}]
  """
  @spec find_view(node(), String.t()) :: [{[non_neg_integer()], map()}]
  def find_view(node, text) do
    node
    |> view_tree_flat()
    |> Enum.filter(fn {_path, %{} = n} ->
      String.contains?(to_string(n[:label] || ""), text) or
        String.contains?(to_string(n[:value] || ""), text)
    end)
  end

  @doc """
  Invoke an accessibility action on the first AX element matching `match`.

  ## Platform support

  - **iOS**: works once AX is active (today: VoiceOver on; future:
    `XCAXClient_iOS` activation, see `future_developments.md`).
  - **Android**: returns `{:error, :not_supported_on_android}`. The Compose
    semantics walker is queued under WireTap (issues.md #11).

  Used for controls where synthetic touches don't reach the gesture recognizer
  (sliders, scrolls, modal dismissal).

  `match` is a string searched in both label and value. `action` is one of:
  `:increment`, `:decrement`, `:activate`, `:escape`, `:scroll_up`,
  `:scroll_down`, `:scroll_left`, `:scroll_right`.

      Dala.Test.ax_action(node, "Volume", :decrement)
      Dala.Test.ax_action(node, "Cancel", :activate)
  """
  @spec ax_action(node(), String.t(), atom()) :: :ok | {:error, atom()}
  def ax_action(node, match, action) do
    :rpc.call(node, Dala.Native, :ax_action, [match, action])
  end

  @doc """
  Invoke an AX action on whatever element occupies the given screen coordinates.

  Useful when label/value substring matching is ambiguous (e.g. multiple
  sliders that all read "50%", a toggle whose accessibility label is empty).
  Caller picks coordinates from `ui_tree/1` and points at the exact element.

      Dala.Test.ax_action_at_xy(node, 187.0, 296.0, :increment)

  ## Platform support

  - **iOS**: works once AX is active (VoiceOver on, today).
  - **Android**: returns `{:error, :not_supported_on_android}` — see
    `ax_action/3`.
  """
  @spec ax_action_at_xy(node(), number(), number(), atom()) :: :ok | {:error, atom()}
  def ax_action_at_xy(node, x, y, action) do
    :rpc.call(node, Dala.Native, :ax_action_at_xy, [x * 1.0, y * 1.0, action])
  end

  @doc """
  Toggle a switch by a label substring. SwiftUI exposes `Toggle` as a button
  with an empty accessibility label and value `"0"` or `"1"` — so we find the
  Text element matching `label_match`, then activate the next button below it.

      Dala.Test.toggle(node, "Notifications")

  ## Known limitation (issues.md #8)

  Dala's iOS Toggle component does not currently surface its `label:` prop as
  a separate `:text` AX element, so `find_label_y/2` returns
  `{:error, :label_not_found}`. Workaround: use `ax_action_at_xy/4` directly
  with the toggle's frame from `ui_tree/1` (filter for `:button` with value
  `"0"` or `"1"`). Once issue #8 lands, this helper works as documented.
  """
  @spec toggle(node(), String.t()) :: :ok | {:error, atom()}
  def toggle(node, label_match) do
    with {:ok, label_y} <- find_label_y(node, label_match),
         {:ok, {x, y, w, h}} <-
           find_actionable_below(node, label_y, fn {_t, l, v, _f} ->
             is_binary(v) and v in ["0", "1"] and to_string(l) == ""
           end) do
      ax_action_at_xy(node, x + w / 2, y + h / 2, :activate)
    end
  end

  @doc """
  Dismiss a modal/alert overlay by tapping its first button labelled with
  `button_label` (e.g. "OK", "Cancel"). Mirrors what a user does when an
  alert pops up.

      Dala.Test.dismiss_alert(node, "OK")

  ## Known limitation (issues.md #9)

  UIAlertController exposes its buttons twice in the AX tree (visual view +
  action target). Activating the visual view doesn't fire the action. This
  helper currently reports `:ok` while the alert stays on screen. Workaround:
  define alerts with `action: :tag_atom` and dismiss via
  `Dala.Test.send_message(node, {:alert, :tag_atom})`.
  """
  @spec dismiss_alert(node(), String.t()) :: :ok | {:error, atom()}
  def dismiss_alert(node, button_label) do
    with {:ok, tree} <- safe_ui_tree(node) do
      case Enum.find(tree, fn {t, l, _v, _f} ->
             t == :button and to_string(l) == button_label
           end) do
        {_, _, _, {x, y, w, h}} ->
          ax_action_at_xy(node, x + w / 2, y + h / 2, :activate)

        _ ->
          {:error, :button_not_found}
      end
    end
  end

  defp find_label_y(node, match) do
    with {:ok, tree} <- safe_ui_tree(node) do
      case Enum.find(tree, fn {t, l, _v, _f} ->
             t == :text and is_binary(l) and String.contains?(l, match)
           end) do
        {_, _, _, {_x, y, _w, h}} -> {:ok, y + h}
        _ -> {:error, :label_not_found}
      end
    end
  end

  defp find_actionable_below(node, threshold_y, predicate) do
    with {:ok, tree} <- safe_ui_tree(node) do
      case tree
           |> Enum.filter(fn {_t, _l, _v, {_x, y, _w, _h}} -> y >= threshold_y end)
           |> Enum.sort_by(fn {_t, _l, _v, {_x, y, _w, _h}} -> y end)
           |> Enum.find(predicate) do
        {_, _, _, frame} -> {:ok, frame}
        _ -> {:error, :no_actionable_below}
      end
    end
  end

  # Returns {:ok, list} when AX tree is available; {:error, :ui_tree_unavailable}
  # otherwise. Lets callers degrade cleanly on Android (no AX walker yet) and on
  # iOS when VoiceOver isn't activated.
  defp safe_ui_tree(node) do
    case ui_tree(node) do
      list when is_list(list) -> {:ok, list}
      _ -> {:error, :ui_tree_unavailable}
    end
  end

  @doc """
  Step a slider toward a target percentage (0.0..1.0) using accessibility
  increment/decrement actions. Reliable when synthetic-drag won't fire
  (SwiftUI Slider's DragGesture ignores in-process touches on iOS).

  `match` is a substring of the slider's label or value (e.g. `"Volume"`).
  `target` is a fraction 0.0..1.0. `max_steps` caps the increment loop
  (default 30) so a wrong match can't spin forever.

  Returns `{:ok, final_pct}` or `{:error, reason}`.

      Dala.Test.adjust_slider(node, "Volume", 0.30)
      #=> {:ok, 0.30}

  Implementation note: each AX increment/decrement on a SwiftUI slider moves
  by the slider's `.step` value (default 0.10 of the range). The function
  re-reads the slider value after each step to converge.

  ## Known limitation (issues.md #7)

  Dala's iOS Slider component does not currently attach
  `.accessibilityAdjustableAction { … }`, so `accessibilityIncrement` and
  `accessibilityDecrement` are silently dropped by SwiftUI even though the
  NIF returns `:ok`. This helper currently returns `{:error,
  :max_steps_exhausted}` against an unfixed slider. Until issue #7 lands,
  drive sliders via `Dala.Test.send_message(node, {:change, :slider_tag, value})`.
  """
  @spec adjust_slider(node(), String.t(), float(), keyword()) ::
          {:ok, float()} | {:error, term()}
  def adjust_slider(node, match, target, opts \\ []) when target >= 0.0 and target <= 1.0 do
    max_steps = Keyword.get(opts, :max_steps, 30)
    do_adjust_slider(node, match, target, max_steps)
  end

  defp do_adjust_slider(_node, _match, _target, 0), do: {:error, :max_steps_exhausted}

  defp do_adjust_slider(node, match, target, steps_left) do
    with {:ok, label_y} <- find_label_y(node, match),
         {:ok, {x, y, w, h} = frame} <- find_actionable_below(node, label_y, &slider_predicate/1),
         {:ok, pct} <- pct_from_frame(node, frame) do
      cx = x + w / 2
      cy = y + h / 2

      cond do
        abs(pct - target) < 0.05 ->
          {:ok, pct}

        pct < target ->
          ax_action_at_xy(node, cx, cy, :increment)
          Process.sleep(80)
          do_adjust_slider(node, match, target, steps_left - 1)

        true ->
          ax_action_at_xy(node, cx, cy, :decrement)
          Process.sleep(80)
          do_adjust_slider(node, match, target, steps_left - 1)
      end
    end
  end

  defp slider_predicate({_t, _l, v, _f}),
    do: is_binary(v) and String.contains?(v, "%")

  defp slider_predicate(_), do: false

  defp pct_from_frame(node, target_frame) do
    case Enum.find(ui_tree(node), fn {_t, _l, _v, f} -> f == target_frame end) do
      {_, _, value_str, _} when is_binary(value_str) ->
        case value_str |> String.trim_trailing("%") |> Float.parse() do
          {n, _} -> {:ok, n / 100.0}
          :error -> {:error, :unparseable_value}
        end

      _ ->
        {:error, :slider_not_found}
    end
  end

  @doc """
  Return screen geometry in logical units (points on iOS, dp on Android).

      Dala.Test.screen_info(node)
      #=> %{
      #     width: 393.0, height: 852.0, scale: 3.0,
      #     safe_area: %{top: 59.0, bottom: 34.0, left: 0.0, right: 0.0}
      #   }

  `:scale` is the device-pixel ratio (UIScreen.scale on iOS, displayMetrics.density
  on Android). All other values are already in logical units; no further conversion
  needed in the agent.
  """
  @spec screen_info(node()) :: map()
  def screen_info(node) do
    :rpc.call(node, Dala.Native, :screen_info, [])
  end

  @doc """
  Tap at screen coordinates on the native app. On simulator uses accessibility
  activation; on real device synthesises a UITouch via IOHIDEvent.

      Dala.Test.tap_xy(node, 289.7, 518.8)
  """
  @spec tap_xy(node(), number(), number()) :: :ok | {:error, atom()}
  def tap_xy(node, x, y) do
    :rpc.call(node, Dala.Native, :tap_xy, [x * 1.0, y * 1.0])
  end

  @doc """
  Type text into the currently focused text field.

  Tap the field first to give it focus, then call this function.

      Dala.Test.tap_xy(node, 195.0, 300.0)
      Process.sleep(100)
      Dala.Test.type_text(node, "hello@example.com")
  """
  @spec type_text(node(), String.t()) :: :ok | {:error, atom()}
  def type_text(node, text) do
    :rpc.call(node, Dala.Native, :type_text, [text])
  end

  @doc "Delete one character behind the cursor (backspace)."
  @spec delete_backward(node()) :: :ok | {:error, atom()}
  def delete_backward(node) do
    :rpc.call(node, Dala.Native, :delete_backward, [])
  end

  @doc """
  Press a special key on the focused text input.

  Keys: `:return` | `:tab` | `:escape` | `:space`

      Dala.Test.key_press(node, :return)
      Dala.Test.key_press(node, :escape)
  """
  @spec key_press(node(), atom()) :: :ok | {:error, atom()}
  def key_press(node, key) when key in [:return, :tab, :escape, :space] do
    :rpc.call(node, Dala.Native, :key_press, [key])
  end

  @doc "Clear all text in the focused input (select-all + delete)."
  @spec clear_text(node()) :: :ok | {:error, atom()}
  def clear_text(node) do
    :rpc.call(node, Dala.Native, :clear_text, [])
  end

  @doc """
  Long-press at screen coordinates for `duration_ms` milliseconds (default 800ms).

      Dala.Test.long_press_xy(node, 195.0, 400.0)
      Dala.Test.long_press_xy(node, 195.0, 400.0, 1200)
  """
  @spec long_press_xy(node(), number(), number(), non_neg_integer()) :: :ok | {:error, atom()}
  def long_press_xy(node, x, y, duration_ms \\ 800) do
    :rpc.call(node, Dala.Native, :long_press_xy, [x * 1.0, y * 1.0, duration_ms])
  end

  @doc """
  Swipe from (x1, y1) to (x2, y2). Drives UIScrollView contentOffset on
  simulator; synthesises a drag gesture on real device.

      Dala.Test.swipe(node, 195.0, 500.0, 195.0, 100.0)   # scroll down
  """
  @spec swipe(node(), number(), number(), number(), number()) :: :ok | {:error, atom()}
  def swipe(node, x1, y1, x2, y2) do
    :rpc.call(node, Dala.Native, :swipe_xy, [x1 * 1.0, y1 * 1.0, x2 * 1.0, y2 * 1.0])
  end

  @doc """
  Find elements in the native accessibility tree whose label or value contains `text`.

      Dala.Test.find_native(node, "Increment")
      #=> [{:button, "Increment", "", {164.0, 400.0, 54.0, 54.0}}]
  """
  @spec find_native(node(), String.t()) :: list()
  def find_native(node, text) do
    node
    |> ui_tree()
    |> Enum.filter(fn {_type, label, value, _frame} ->
      String.contains?(to_string(label), text) or
        String.contains?(to_string(value), text)
    end)
  end

  @doc """
  Wait until `predicate` returns true when called with the current `ui_tree`,
  polling every `interval_ms` until `timeout_ms` elapses.

      Dala.Test.wait_for(node, fn tree ->
        Enum.any?(tree, fn {_, label, _, _} -> label == "Success" end)
      end)
  """
  @spec wait_for(node(), (list() -> boolean()), keyword()) :: :ok | {:error, :timeout}
  def wait_for(node, predicate, opts \\ []) do
    timeout_ms = Keyword.get(opts, :timeout_ms, 5000)
    interval_ms = Keyword.get(opts, :interval_ms, 200)
    deadline = System.monotonic_time(:millisecond) + timeout_ms
    do_wait_for(node, predicate, deadline, interval_ms)
  end

  @doc """
  Wait until an element whose label or value contains `text` appears in the
  accessibility tree.

      Dala.Test.wait_for_text(node, "Welcome")
      Dala.Test.wait_for_text(node, "Error", timeout_ms: 2000)
  """
  @spec wait_for_text(node(), String.t(), keyword()) :: :ok | {:error, :timeout}
  def wait_for_text(node, text, opts \\ []) do
    wait_for(
      node,
      fn tree ->
        Enum.any?(tree, fn {_type, label, value, _frame} ->
          String.contains?(to_string(label), text) or
            String.contains?(to_string(value), text)
        end)
      end,
      opts
    )
  end

  defp do_wait_for(node, predicate, deadline, interval_ms) do
    tree = ui_tree(node)

    if predicate.(tree) do
      :ok
    else
      remaining = deadline - System.monotonic_time(:millisecond)

      if remaining <= 0 do
        {:error, :timeout}
      else
        Process.sleep(min(interval_ms, remaining))
        do_wait_for(node, predicate, deadline, interval_ms)
      end
    end
  end

  # ── Native UI (requires MCP tools) ───────────────────────────────────────────

  @doc """
  Locate an element and tap it via the simulator's native UI mechanism.

  Requires `idb` (iOS) to be installed. Exercises the full native gesture path
  rather than sending a BEAM message — useful for testing gesture recognizers
  or verifying that the native layer wired up the tap handler correctly.

  Prefer `tap/2` for testing Elixir logic; use `tap_native/1` when you need
  the native path.

      Dala.Test.tap_native("Save")      # by visible text
      Dala.Test.tap_native(:save)       # by accessibility_id (= tag atom name)
  """
  @spec tap_native(atom() | String.t()) :: :ok | {:error, term()}
  def tap_native(tag_or_label) do
    case locate(tag_or_label) do
      {:ok, %{x: x, y: y, width: w, height: h}} ->
        cx = trunc(x + w / 2)
        cy = trunc(y + h / 2)

        case System.cmd("idb", ["ui", "tap", "#{cx}", "#{cy}"]) do
          {_, 0} -> :ok
          {out, code} -> {:error, {code, out}}
        end

      {:error, _} = err ->
        err
    end
  end

  @doc """
  Locate an element by visible label text or accessibility ID (tag atom name).
  Returns the element's screen frame.

  Requires `idb` (iOS) to be installed.

      Dala.Test.locate(:save)
      #=> {:ok, %{x: 0.0, y: 412.0, width: 402.0, height: 44.0}}

      Dala.Test.locate("Save")
      #=> {:ok, %{x: 0.0, y: 412.0, width: 402.0, height: 44.0}}
  """
  @spec locate(atom() | String.t()) :: {:ok, map()} | {:error, :not_found}
  def locate(tag_or_label) do
    search_str = if is_atom(tag_or_label), do: Atom.to_string(tag_or_label), else: tag_or_label

    case accessibility_tree() do
      {:ok, elements} ->
        match =
          Enum.find(elements, fn el ->
            label = if is_binary(el[:label]), do: el[:label], else: ""
            id = if is_binary(el[:id]), do: el[:id], else: ""
            String.contains?(label, search_str) or String.contains?(id, search_str)
          end)

        case match do
          nil -> {:error, :not_found}
          el -> {:ok, el[:frame]}
        end

      {:error, _} = err ->
        err
    end
  end

  # ── WebView ─────────────────────────────────────────────────────────────
  #
  # These functions drive the WebView component programmatically.
  # They call Dala.WebView.interact/2 via RPC.

  @doc """
  Evaluate JavaScript in the WebView and return the result.

  Result arrives asynchronously via:

      handle_info({:webview, :eval_result, result}, socket)

  Fire-and-forget.
  """
  @spec webview_eval(node(), String.t()) :: :ok
  def webview_eval(node, code) when is_binary(code) do
    :rpc.call(node, Dala.WebView, :eval_js, [code])
    :ok
  end

  @doc """
  Send a message to the WebView page via window.dala._dispatch().

  Fire-and-forget.
  """
  @spec webview_post_message(node(), term()) :: :ok
  def webview_post_message(node, data) do
    :rpc.call(node, Dala.WebView, :post_message, [data])
    :ok
  end

  @doc """
  Navigate the WebView to a new URL.
  """
  @spec webview_navigate(node(), String.t()) :: :ok
  def webview_navigate(node, url) when is_binary(url) do
    :rpc.call(node, Dala.WebView, :navigate, [url])
    :ok
  end

  @doc """
  Reload the current WebView page.
  """
  @spec webview_reload(node()) :: :ok
  def webview_reload(node) do
    :rpc.call(node, Dala.WebView, :reload, [])
    :ok
  end

  @doc """
  Stop loading the current WebView page.
  """
  @spec webview_stop_loading(node()) :: :ok
  def webview_stop_loading(node) do
    :rpc.call(node, Dala.WebView, :stop_loading, [])
    :ok
  end

  @doc """
  Go forward in the WebView history.
  """
  @spec webview_go_forward(node()) :: :ok
  def webview_go_forward(node) do
    :rpc.call(node, Dala.WebView, :go_forward, [])
    :ok
  end

  @doc """
  Tap an element in the WebView by CSS selector.

  Result arrives via:

      handle_info({:webview, :interact_result, %{"action" => "tap", "success" => ...}}, socket)
  """
  @spec webview_tap(node(), String.t()) :: :ok
  def webview_tap(node, selector) when is_binary(selector) do
    :rpc.call(node, Dala.WebView, :interact, [{:tap, selector}])
    :ok
  end

  @doc """
  Type text into a WebView input element by CSS selector.
  """
  @spec webview_type(node(), String.t(), String.t()) :: :ok
  def webview_type(node, selector, text) when is_binary(selector) and is_binary(text) do
    :rpc.call(node, Dala.WebView, :interact, [{:type, selector, text}])
    :ok
  end

  @doc """
  Clear a WebView input element by CSS selector.
  """
  @spec webview_clear(node(), String.t()) :: :ok
  def webview_clear(node, selector) when is_binary(selector) do
    :rpc.call(node, Dala.WebView, :interact, [{:clear, selector}])
    :ok
  end

  @doc """
  Take a screenshot of the WebView content.

  Result arrives via:

      handle_info({:webview, :screenshot, png_data}, socket)
  """
  @spec webview_screenshot(node()) :: :ok
  def webview_screenshot(node) do
    :rpc.call(node, Dala.WebView, :screenshot, [])
    :ok
  end

  # ── Internals ─────────────────────────────────────────────────────────

  defp nav(node, action) do
    :rpc.call(node, GenServer, :call, [:dala_screen, {:navigate, action}])
    :ok
  end

  defp rpc(node, call) do
    :rpc.call(node, GenServer, :call, [:dala_screen, call])
  end

  # Query the iOS simulator accessibility tree via idb.
  # NOTE: intended to run on the dev machine (not via RPC on-device).
  defp accessibility_tree do
    case System.cmd("idb", ["ui", "describe-all", "--json"], stderr_to_stdout: true) do
      {output, 0} ->
        try do
          list = :json.decode(String.trim(output))

          elements =
            Enum.map(list, fn el ->
              frame = el["frame"] || %{}

              %{
                label: el["AXLabel"],
                id: el["AXUniqueId"],
                frame: %{
                  x: frame["x"] || 0.0,
                  y: frame["y"] || 0.0,
                  width: frame["width"] || 0.0,
                  height: frame["height"] || 0.0
                }
              }
            end)

          {:ok, elements}
        rescue
          _ -> {:error, :parse_error}
        end

      {reason, _code} ->
        {:error, reason}
    end
  end

  defp search(%{type: _, props: _, children: _} = node, sub, path) do
    text = get_in(node, [:props, :text]) || ""
    own = if String.contains?(to_string(text), sub), do: [{path, node}], else: []

    children_results =
      node
      |> Map.get(:children, [])
      |> Enum.with_index()
      |> Enum.flat_map(fn {child, i} -> search(child, sub, path ++ [i]) end)

    own ++ children_results
  end

  defp search(_, _sub, _path), do: []
end