Files
Jakub Piasecki 8062da77a5 fix(flow): settle before gestures that resolve no selector (#779)
A selector target settles inside `waitForFrame`, but a target that
resolves nothing skipped the settle altogether: a coordinate
`tap`/`long-press` and a centre-anchored `pinch`/`rotate` dispatched
into whatever motion was in flight, so they could land mid-fling, which
is the exact race the settle exists to close. Every input directive now
settles first, however it is addressed.

The settle is best-effort here, unlike on the selector path: these
gestures read no frame out of the tree, so an outage must not fail them,
which would break the escape hatch coordinates exist to be (an element
the tree cannot see). This is the allowance `snapshot` already makes
before a capture that reads pixels rather than nodes.

Best-effort is not free, though, and the run pays it per gesture. A tree
the run can never read is not only the disconnect mid-run:
`fetchFlowTree` serves no tree at all on `ios-remote`, and an app that
cannot load the instrumentation fails every read off an in-memory list,
an Apple system app being the case in point, which flows drive by
coordinates for exactly that reason, so every step of such a flow is one
of these gestures. Measured against the real fetch on an `ios-remote`
device, a coordinate tap went from 0ms to 3022ms, once per gesture, for
a settle that was never going to arrive.

So a settle that spends its whole window without one successful read
records the outage on the run, against the device that proved it, and a
later gesture rethrows that instead of buying the same verdict again.
Not a shorter budget: any threshold low enough to spare a source that
serves no tree would also abandon the mid-navigation blip the settle's
retry exists for. But the record is a prediction, not a proof of
repetition. One window mints it and nothing re-tests it, and on iOS that
window can be a single stalled read, since the deadline is only tested
after a read returns and `ViewHierarchy.getFullHierarchy` sits on a 15s
RPC tier behind a serial 5s `Application.getState` probe. Being wrong
therefore costs a settle rather than a step, and it is not silent: a
gesture that spends the record warns its step report that it dispatched
unsettled, quoting the source's own reason, so a run whose prediction
was wrong says which of its greens mean the gesture was sent rather than
that it landed.

Every tree read a directive makes now goes through one helper so that a
read which comes back clears the record whichever directive asked for
it. `await`/`assert` and `idle` never settle, and a run that reads the
tree successfully must not keep skipping. A relaunch clears it too,
whether written as a `launch:` directive or as one of the raw `tool:`
steps that perform the same operation, since a relaunch is the repair
the commonest of these errors asks for by name. Two more reads route
through the same helper for uniformity but can never be the clearing
one: `rotate`'s aspect read skips itself while a record stands, and the
`type` focus wait runs only behind a `waitForFrame` whose own settle
already cleared it.

What it costs, in two directions. An outage that lasted a full window,
in a run that then never reads the tree again and never relaunches,
leaves later gestures unsettled even once it clears: a flow of nothing
but coordinate gestures giving up a best-effort settle it never had
before this change, against every one of those gestures otherwise paying
the window for a settle that is not coming. And on a screen that never
holds still, a spinner, a video, a ticking clock, nothing converges, so
every one of these gestures pays the whole window, measured at about
3.05s each. The record buys no relief there by design, because a window
that read the tree proves no outage, and the fingerprint cannot be
narrowed the way `scrollToVisible` narrows its own: a scroll knows the
motion it waits on is its own, inside the containers under its anchor,
while a gesture waits on motion of unknown origin that can move what
sits under the point without touching it. It is the same window every
selector directive already paid on such a screen; what changed is that
coordinate targets pay it too.

Two smaller pieces ride along. A centre-anchored `rotate` skips its
screen-aspect read on a recorded outage as well, degrading to the same
legacy orbit a failed read gives it, so the record actually takes the
window off that directive instead of handing back a 15s-tier RPC. And
the settle's tree read now takes the run's abort signal, so a cancelled
run reports its skip immediately rather than once the source finally
answers. It deliberately takes no time budget: one cut to what is left
of the window would fail the cold start #778 raised that tier to ride
out.
2026-08-17 11:15:47 +02:00

269 lines
10 KiB
TypeScript
Raw Permalink Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
import { afterEach, beforeEach, describe, expect, it, vi } from "vitest";
import * as fs from "node:fs/promises";
import * as os from "node:os";
import * as path from "node:path";
import type { Registry } from "@argent/registry";
import type { DescribeNode, DescribeTreeData } from "../../src/tools/describe/contract";
// Serve the flow tree directly: flows resolve selectors against the platform's
// full-hierarchy source and hard-fail rather than degrade to the AX tree, so
// these unit tests stub the tree fetch itself.
let currentTree: () => DescribeNode;
vi.mock("../../src/tools/flows/flow-tree", async (importOriginal) => ({
...(await importOriginal<typeof import("../../src/tools/flows/flow-tree")>()),
fetchFlowTree: vi.fn(
async (): Promise<DescribeTreeData> => ({
tree: currentTree(),
source: "native-devtools",
})
),
}));
import { createRunFlowTool, type FlowRunResult } from "../../src/tools/flows/flow-run";
import { serializeFlow, parseFlow } from "../../src/tools/flows/flow-utils";
const DEVICE = "00000000-0000-0000-0000-0000000000ab"; // iOS UDID shape
let tmpDir: string;
function n(partial: Partial<DescribeNode> & { frame: DescribeNode["frame"] }): DescribeNode {
return { role: "AXOther", children: [], ...partial };
}
function screen(children: DescribeNode[]): DescribeNode {
return n({ role: "AXWindow", frame: { x: 0, y: 0, width: 1, height: 1 }, children });
}
/** Registry that records every gesture tool invocation's args. */
function mockRegistry(calls: Array<{ tool: string; args: Record<string, unknown> }>): Registry {
return {
invokeTool: vi.fn(async (id: string, args: Record<string, unknown>) => {
if (id === "list-devices") return { devices: [] };
calls.push({ tool: id, args });
return { ok: true };
}),
getTool: vi.fn(() => ({ inputSchema: { properties: { udid: {} } } })),
} as unknown as Registry;
}
async function writeFlow(name: string, yaml: Parameters<typeof serializeFlow>[0]): Promise<void> {
const dir = path.join(tmpDir, ".argent", "flows");
await fs.mkdir(dir, { recursive: true });
await fs.writeFile(path.join(dir, `${name}.yaml`), serializeFlow(yaml), "utf8");
}
function asRun(r: FlowRunResult | { notice: string }): FlowRunResult {
if (!("steps" in r)) throw new Error(`expected a run result, got notice: ${r.notice}`);
return r;
}
async function run(
name: string
): Promise<FlowRunResult & { calls: Array<{ tool: string; args: Record<string, unknown> }> }> {
const calls: Array<{ tool: string; args: Record<string, unknown> }> = [];
const tool = createRunFlowTool(mockRegistry(calls));
const result = asRun(await tool.execute({}, { name, project_root: tmpDir, device: DEVICE }));
return Object.assign(result, { calls });
}
beforeEach(async () => {
tmpDir = await fs.mkdtemp(path.join(os.tmpdir(), "flow-gestures-"));
currentTree = () => screen([]);
});
afterEach(async () => {
await fs.rm(tmpDir, { recursive: true, force: true });
});
describe("tap times: parse/serialize", () => {
it("round-trips the options form and the coordinate form", () => {
const flow = {
executionPrerequisite: "",
steps: [
{ kind: "tap" as const, selector: { text: "Photo", loose: true }, times: 2 },
{ kind: "tap" as const, selector: { identifier: "map" }, times: 3 },
{ kind: "tap" as const, x: 0.5, y: 0.5, times: 2 },
{ kind: "tap" as const, selector: { text: "Plain", loose: true } },
],
};
expect(parseFlow(serializeFlow(flow)).steps).toEqual(flow.steps);
});
it("serializes the canonical minimal spelling", () => {
const yaml = serializeFlow({
executionPrerequisite: "",
steps: [
{ kind: "tap", selector: { text: "Photo", loose: true }, times: 2 },
{ kind: "tap", selector: { text: "Plain", loose: true } },
],
});
// Options form only when an option is present; plain taps stay bare.
expect(yaml).toContain("on: Photo");
expect(yaml).toContain("times: 2");
expect(yaml).toContain("- tap: Plain");
});
it("parses `on` with the usual selector sugar; a bare on-form canonicalizes away", () => {
const steps = parseFlow(
"steps:\n" +
' - tap: { on: "Photo", times: 2 }\n' + // bare inside on = loose
" - tap: { on: { text: Photo }, times: 2 }\n" + // map inside on = strict
' - tap: { on: "Photo" }\n' // no options — plain loose tap
).steps;
expect(steps).toEqual([
{ kind: "tap", selector: { text: "Photo", loose: true }, times: 2 },
{ kind: "tap", selector: { text: "Photo" }, times: 2 },
{ kind: "tap", selector: { text: "Photo", loose: true } },
]);
});
it("normalizes times: 1 to absent (round-trip stays inverse)", () => {
const steps = parseFlow('steps:\n - tap: { on: "Photo", times: 1 }\n').steps;
expect(steps).toEqual([{ kind: "tap", selector: { text: "Photo", loose: true } }]);
expect(serializeFlow({ executionPrerequisite: "", steps })).toContain("- tap: Photo");
});
it("rejects a text selector with no visible characters, both at parse and at serialize", () => {
// The 0.15.0 QA repro: an icon-font tab bar exposed its Private Use Area
// glyph (U+E163) as the accessibility label; the recorder wrote
// `tap: { text: <PUA> }` — YAML that DISPLAYS as `text:` (empty) — and
// replay green-lit against it. Such selectors must be refused loudly.
expect(() => parseFlow('steps:\n - tap: { text: "\\uE163" }\n')).toThrow(/visible character/i);
// Zero-width-only text is the same class; plain-empty already fails min(1).
expect(() => parseFlow('steps:\n - tap: { text: "\\u200B" }\n')).toThrow(/visible character/i);
expect(() => parseFlow('steps:\n - tap: { text: "" }\n')).toThrow();
// Serialization boundary guards the strict map spelling too — a hand-built
// selector can't write a flow file whose selector displays as empty.
expect(() =>
serializeFlow({
executionPrerequisite: "",
steps: [{ kind: "tap", selector: { text: "\uE163" } }],
})
).toThrow(/visible character/i);
// Text that merely contains an icon glyph next to real text stays valid.
expect(parseFlow('steps:\n - tap: { text: "\\uE163 Explore" }\n').steps).toEqual([
{ kind: "tap", selector: { text: "\uE163 Explore" } },
]);
});
it("rejects selector fields alongside times with the nested-selector hint", () => {
// zod would silently STRIP times from a selector map — this must be loud.
expect(() => parseFlow('steps:\n - tap: { text: "Test", times: 2 }\n')).toThrow(
/options form takes a nested selector/i
);
});
it("rejects malformed options forms", () => {
expect(() => parseFlow("steps:\n - tap: { times: 2 }\n")).toThrow(/needs a target/i);
expect(() => parseFlow("steps:\n - tap: { on: A, foo: 1 }\n")).toThrow(
/accepts only \{ on, times \}/i
);
// Coordinates never sit next to option keys — the old mixed spelling and
// stray x/y both get the nested-point hint.
for (const mixed of ["{ on: A, x: 0.5, y: 0.5 }", "{ x: 0.5, y: 0.5, times: 2 }"]) {
expect(() => parseFlow(`steps:\n - tap: ${mixed}\n`)).toThrow(
/options form takes a nested point/i
);
}
});
it("validates the times value on both target kinds", () => {
for (const bad of ["0", "11", "1.5", '"2"']) {
expect(() => parseFlow(`steps:\n - tap: { on: A, times: ${bad} }\n`)).toThrow(
/times must be an integer between 1 and 10/i
);
}
expect(() => parseFlow("steps:\n - tap: { on: { x: 0.5, y: 0.5 }, times: 0 }\n")).toThrow(
/times must be an integer between 1 and 10/i
);
});
});
describe("tap targets: raw points", () => {
it("parses a point bare and under `on`", () => {
const steps = parseFlow(
"steps:\n" +
" - tap: { x: 0.5, y: 0.6 }\n" +
" - tap: { on: { x: 0.5, y: 0.6 }, times: 2 }\n"
).steps;
expect(steps).toEqual([
{ kind: "tap", x: 0.5, y: 0.6 },
{ kind: "tap", x: 0.5, y: 0.6, times: 2 },
]);
});
it("rejects a target mixing selector fields with coordinates", () => {
expect(() => parseFlow('steps:\n - tap: { on: { text: "Row", x: 0.5, y: 0.5 } }\n')).toThrow(
/selector or x\/y coordinates, not both/i
);
});
it("rejects malformed points", () => {
expect(() => parseFlow('steps:\n - tap: { x: "0.5", y: 0.5 }\n')).toThrow(
/needs numeric x and y/i
);
expect(() => parseFlow("steps:\n - tap: { x: 0.5 }\n")).toThrow(/needs numeric x and y/i);
expect(() => parseFlow("steps:\n - tap: { x: 0.5, y: 0.5, z: 1 }\n")).toThrow(
/takes only \{ x, y \}/i
);
});
it("rejects out-of-range coordinates", () => {
for (const bad of [
"{ x: 250, y: 0.5 }",
"{ x: 0.5, y: -0.1 }",
"{ x: .nan, y: 0.5 }",
"{ x: 0.5, y: .inf }",
]) {
expect(() => parseFlow(`steps:\n - tap: ${bad}\n`)).toThrow(/normalized 0–1 fractions/i);
}
expect(parseFlow("steps:\n - tap: { x: 0, y: 1 }\n").steps).toEqual([
{ kind: "tap", x: 0, y: 1 },
]);
});
});
describe("tap times: execution", () => {
it("resolves the selector once and dispatches one multi-tap gesture", async () => {
currentTree = () =>
screen([n({ label: "Photo", frame: { x: 0.4, y: 0.4, width: 0.2, height: 0.2 } })]);
await writeFlow("double", {
executionPrerequisite: "",
steps: [{ kind: "tap", selector: { text: "Photo", loose: true }, times: 2 }],
});
const result = await run("double");
expect(result.ok).toBe(true);
expect(result.calls).toEqual([
{ tool: "gesture-tap", args: { udid: DEVICE, x: 0.5, y: 0.5, clickCount: 2 } },
]);
});
it("sends no clickCount for a plain tap", async () => {
currentTree = () =>
screen([n({ label: "Photo", frame: { x: 0.4, y: 0.4, width: 0.2, height: 0.2 } })]);
await writeFlow("single", {
executionPrerequisite: "",
steps: [{ kind: "tap", selector: { text: "Photo", loose: true } }],
});
const result = await run("single");
expect(result.ok).toBe(true);
expect(result.calls[0]!.args).not.toHaveProperty("clickCount");
});
it("dispatches clickCount on a coordinate multi-tap", async () => {
await writeFlow("coord", {
executionPrerequisite: "",
steps: [{ kind: "tap", x: 0.3, y: 0.7, times: 3 }],
});
const result = await run("coord");
expect(result.ok).toBe(true);
expect(result.calls).toEqual([
{ tool: "gesture-tap", args: { udid: DEVICE, x: 0.3, y: 0.7, clickCount: 3 } },
]);
});
});