/** * `set_user_agent` (batch-14, Apple WIP `Page.overrideUserAgent`). * * Probe-confirmed (2026-05-17) on iOS 26.5.0 + Apple system WKWebView: * - Method exists; `Page.overrideUserAgent({value})` returns `{}` immediately. * - **Override applies on next navigation only** — `navigator.userAgent` and * outgoing request `User-Agent` header keep the OLD value until the page * reloads. Setting + reloading: navigator.userAgent + first xhs fetch * header both showed `wdm-probe/2.0` ✅. * * This tool eliminates the spec §"Future optimization §1" claim that UA * override required a host-side native bridge — Page.overrideUserAgent * is the official upstream answer (no condition / always available, see * `Source/JavaScriptCore/inspector/protocol/Page.json`). * * Semantics: * - `value: ` → set override, default-reload to apply * - `value: ""` or omitted → clear override (default-reload to restore) * - `reload: false` → don't reload; user must reload manually for change * to take effect (rare — useful when chaining several overrides before a * single reload). */ import { z } from 'zod'; export declare const setUserAgentTool: { name: string; description: string; inputSchema: { value: z.ZodOptional; reload: z.ZodOptional; }; handler: ({ value, reload }: { value?: string; reload?: boolean; }) => Promise<{ content: { type: "text"; text: string; }[]; }>; };