effect-browser 0.2.0-beta.8 → 0.3.0-beta.5

package/dist/Plan-CNNOU1Tx.d.mts

@@ -0,0 +1,112 @@
+import { t as BrowserError } from "./BrowserError-DXXIA6Rk.mjs";
+import { b as Subject, i as BrowserEvent } from "./BrowserEvent-DzdNdvoh.mjs";
+import { m as ReadyOptions, o as Found, u as Page } from "./Page-DYTdVhYa.mjs";
+import { Effect, Schema } from "effect";
+//#region src/internal/reading/choose.d.ts
+declare const Missing_base: Schema.Class<Missing, Schema.TaggedStruct<"Missing", {}>, import("effect/Cause").YieldableError>;
+/** Nothing on the page has the step's role and name. */
+declare class Missing extends Missing_base {
+  get message(): string;
+}
+declare const Ambiguous_base: Schema.Class<Ambiguous, Schema.TaggedStruct<"Ambiguous", {
+  readonly count: Schema.Int;
+}>, import("effect/Cause").YieldableError>;
+/** Several elements match the step's subject equally well, and nothing tells them apart. */
+declare class Ambiguous extends Ambiguous_base {
+  get message(): string;
+}
+declare const Drifted_base: Schema.Class<Drifted, Schema.TaggedStruct<"Drifted", {
+  readonly detail: Schema.String;
+}>, import("effect/Cause").YieldableError>;
+/** The page is not where the recording was: another site, or no element with its context. */
+declare class Drifted extends Drifted_base {
+  get message(): string;
+}
+declare namespace Plan_d_exports {
+  export { Ambiguous, Drifted, Missing, Plan, ReplayError, ReplayOptions, Step, StepAction, fromEvents, locate, replay };
+}
+declare const StepAction: Schema.Literals<readonly ["navigate", "back", "reload", "click", "hover", "drag", "type", "press", "scroll", "select"]>;
+type StepAction = typeof StepAction.Type;
+declare const Step_base: Schema.Class<Step, Schema.Struct<{
+  readonly action: Schema.Literals<readonly ["navigate", "back", "reload", "click", "hover", "drag", "type", "press", "scroll", "select"]>;
+  /** Where the page was once the step was done, as recorded; empty when unknown. */
+  readonly url: Schema.String;
+  /** A navigation's requested address, or the keys a press pressed. */
+  readonly target: Schema.optional<Schema.String>;
+  readonly subject: Schema.optional<typeof Subject>;
+  /** Where a drag ended. */
+  readonly to: Schema.optional<typeof Subject>;
+  /** The viewport point a step aimed at, when it aimed at a point, and a drag's end point. */
+  readonly point: Schema.optional<Schema.Struct<{
+    readonly x: Schema.Finite;
+    readonly y: Schema.Finite;
+  }>>;
+  readonly toPoint: Schema.optional<Schema.Struct<{
+    readonly x: Schema.Finite;
+    readonly y: Schema.Finite;
+  }>>;
+  /** The box of what a step aimed at by point found there, so replay aims at the same place in it. */
+  readonly box: Schema.optional<Schema.Struct<{
+    readonly x: Schema.Finite;
+    readonly y: Schema.Finite;
+    readonly width: Schema.Finite;
+    readonly height: Schema.Finite;
+  }>>;
+  /**
+   * The input slot whose text a `type` step types, or whose address a `navigate` step goes to, as
+   * its recorded address had a credential withheld.
+   */
+  readonly input: Schema.optional<Schema.String>;
+  /** The slot's text went into a secret field, so replay types it into nothing else. */
+  readonly secret: Schema.optional<Schema.Literal<true>>;
+  readonly options: Schema.optional<Schema.Struct<{
+    readonly button: Schema.optional<Schema.Literals<readonly ["left", "right", "middle"]>>;
+    readonly clickCount: Schema.optional<Schema.Finite>;
+    readonly holdMillis: Schema.optional<Schema.Finite>;
+    readonly replace: Schema.optional<Schema.Boolean>;
+    readonly submit: Schema.optional<Schema.Boolean>;
+    readonly times: Schema.optional<Schema.Finite>;
+    readonly dx: Schema.optional<Schema.Finite>;
+    readonly dy: Schema.optional<Schema.Finite>;
+    readonly values: Schema.optional<Schema.$Array<Schema.String>>;
+  }>>;
+}>, {}>;
+/** One recorded step: the action, what it acted on, and what else it was asked. */
+declare class Step extends Step_base {}
+declare const Plan_base: Schema.Class<Plan, Schema.Struct<{
+  readonly version: Schema.Literal<1>;
+  readonly steps: Schema.$Array<typeof Step>;
+}>, {}>;
+declare class Plan extends Plan_base {
+  /** The input slots its steps type, in order; replay needs text for each. */
+  get inputs(): ReadonlyArray<string>;
+}
+declare const ReplayError_base: Schema.Class<ReplayError, Schema.TaggedStruct<"ReplayError", {
+  readonly step: Schema.Int;
+  readonly reason: Schema.Union<readonly [typeof Missing, typeof Ambiguous, typeof Drifted, typeof BrowserError]>;
+}>, import("effect/Cause").YieldableError>;
+/** Where replay stopped, counting steps from 0, and why. */
+declare class ReplayError extends ReplayError_base {
+  get message(): string;
+}
+/**
+ * The walk one page's events record: the completed actions of the page that acted first, in
+ * order. `page.recentEvents` gives them, or `browser.events()` read until the walk ends.
+ */
+declare const fromEvents: (events: Iterable<BrowserEvent>) => Plan;
+/**
+ * The one element on the page that a subject names, by role, name and context (see `Plan`),
+ * looking again for two seconds while the page may still be drawing it.
+ */
+declare const locate: (page: Page, subject: Subject) => Effect.Effect<Found, Ambiguous | BrowserError | Drifted | Missing, never>;
+interface ReplayOptions {
+  /** How each step waits for the page first, as `Page.ready` takes it, or false not to wait. */
+  readonly settle?: ReadyOptions | false | undefined;
+  /** The text for each of the plan's input slots. */
+  readonly inputs?: Readonly<Record<string, string>> | undefined;
+}
+/** Take a plan's steps on a page, in order, stopping at the first that cannot be taken. */
+declare const replay: (page: Page, plan: Plan, options?: ReplayOptions) => Effect.Effect<undefined, ReplayError, never>;
+//#endregion
+export { Step as a, locate as c, Drifted as d, Missing as f, ReplayOptions as i, replay as l, Plan_d_exports as n, StepAction as o, ReplayError as r, fromEvents as s, Plan as t, Ambiguous as u };
+//# sourceMappingURL=Plan-CNNOU1Tx.d.mts.map

package/dist/Plan-Dtrb-8im.mjs

@@ -0,0 +1,311 @@
+import { t as __exportAll } from "./rolldown-runtime-D7D4PA-g.mjs";
+import { ActionOptions, Box, Subject } from "./BrowserEvent.mjs";
+import { BrowserError, InvalidRequest } from "./BrowserError.mjs";
+import { s as undispatched } from "./context-DAYjATgC.mjs";
+import { p as redacted } from "./Page-D4281dIi.mjs";
+import { t as match } from "./match.inpage-xOe9LNO0.mjs";
+import { Duration, Effect, Schedule, Schema } from "effect";
+//#region src/internal/reading/choose.ts
+/**
+* Choosing the one element a recorded subject names, among those `find` gives for its role and
+* name. Context tells them apart, and an element that does not repeat every part of the recorded
+* context is another subject, so a sole element left once its own has gone, such as Alice's
+* "Remove" after Bob has left, drifts rather than stands in:
+*
+* - a row is read whole: a row named "Wrapped BTC" is not the row "BTC". Laid out again without
+*   rows, as cards, one of the element's fields must start with the row's words;
+* - a column counts where the element is under one;
+* - a label or heading must read the same, or its words appear, whole and in order, in one of the
+*   element's fields, as `near` reads them.
+*
+* The rest are ranked by how much of the recorded context they read the same. There is no
+* ordinal, so a tie stays a tie.
+*/
+/** Nothing on the page has the step's role and name. */
+var Missing = class extends Schema.TaggedError()("Missing", {}) {
+	get message() {
+		return "nothing on the page has the recorded role and name";
+	}
+};
+/** Several elements match the step's subject equally well, and nothing tells them apart. */
+var Ambiguous = class extends Schema.TaggedError()("Ambiguous", { count: Schema.Int }) {
+	get message() {
+		return `${this.count} elements match the recorded subject equally well`;
+	}
+};
+/** The page is not where the recording was: another site, or no element with its context. */
+var Drifted = class extends Schema.TaggedError()("Drifted", { detail: Schema.String }) {
+	get message() {
+		return this.detail;
+	}
+};
+const { holds, normalize } = match();
+const fields = [
+	"row",
+	"column",
+	"label",
+	"heading"
+];
+const said = (context) => Object.values(context).filter((value) => typeof value === "string");
+/** How an element repeats one recorded field: 2 read the same, 1 found as words, 0 not at all. */
+const repeats = (field, value, context) => {
+	const own = context[field];
+	if (own !== void 0 && normalize(own) === normalize(value)) return 2;
+	if (field === "column") return own === void 0 ? 1 : 0;
+	if (field === "row") return own === void 0 && said(context).some((other) => `${normalize(other)} `.startsWith(`${normalize(value)} `)) ? 1 : 0;
+	return said(context).some((other) => holds(other, value)) ? 1 : 0;
+};
+const choose = (subject, found) => {
+	const named = found.filter((one) => subject.role !== null || one.subject.role === null);
+	const kept = named.flatMap((one) => {
+		let score = 0;
+		for (const field of fields) {
+			const value = subject.context[field];
+			const repeated = value === void 0 ? 0 : repeats(field, value, one.subject.context);
+			if (value !== void 0 && repeated === 0) return [];
+			score += repeated;
+		}
+		return [{
+			one,
+			score
+		}];
+	});
+	const best = Math.max(...kept.map(({ score }) => score));
+	const top = kept.filter(({ score }) => score === best);
+	const [only] = top;
+	if (named.length === 0) return Effect.fail(new Missing());
+	if (kept.length === 0) return Effect.fail(new Drifted({ detail: "no element named so repeats the recorded context" }));
+	return top.length === 1 && only !== void 0 ? Effect.succeed(only.one) : Effect.fail(new Ambiguous({ count: top.length }));
+};
+//#endregion
+//#region src/Plan.ts
+/**
+* A walk recorded once from a page's events and replayed later, on a fresh page, with no model
+* call.
+*
+* `fromEvents` keeps one page's completed actions with their subjects and the options they were
+* given, its navigations with both the address asked for and the one reached, and what was typed
+* as a named input slot, never the text itself. A navigation to an address whose credentials the
+* events withheld is an input slot too, so replay goes where the caller says, or nowhere, and
+* never to the address without them. `replay` takes the steps in turn. Before a step
+* that acts on the page, it waits for `Page.ready`; then it finds the one element the step's
+* subject names, by role and name among those that repeat all its recorded context, and acts on
+* it. Text typed into focus was typed into the focused field, which replay finds the same way, and
+* text typed into a secret field goes into nothing else. An element step never falls back to
+* coordinates, and a step recorded at a point acts there only while the element found for it still
+* covers that point. Replay stops at the first step it cannot take and says why: `Missing`,
+* `Ambiguous`, `Drifted`, or the step's own `BrowserError`. Nothing is replayed automatically, and
+* a plan of another version, such as one 0.2 stored, does not decode.
+*
+* @since 0.3.0
+*/
+var Plan_exports = /* @__PURE__ */ __exportAll({
+	Ambiguous: () => Ambiguous,
+	Drifted: () => Drifted,
+	Missing: () => Missing,
+	Plan: () => Plan,
+	ReplayError: () => ReplayError,
+	Step: () => Step,
+	StepAction: () => StepAction,
+	fromEvents: () => fromEvents,
+	locate: () => locate,
+	replay: () => replay
+});
+const ViewportPoint = Schema.Struct({
+	x: Schema.Finite,
+	y: Schema.Finite
+});
+const StepAction = Schema.Literals([
+	"navigate",
+	"back",
+	"reload",
+	"click",
+	"hover",
+	"drag",
+	"type",
+	"press",
+	"scroll",
+	"select"
+]);
+/** One recorded step: the action, what it acted on, and what else it was asked. */
+var Step = class extends Schema.Class("effect-browser/Plan/Step")({
+	action: StepAction,
+	/** Where the page was once the step was done, as recorded; empty when unknown. */
+	url: Schema.String,
+	/** A navigation's requested address, or the keys a press pressed. */
+	target: Schema.optional(Schema.String),
+	subject: Schema.optional(Subject),
+	/** Where a drag ended. */
+	to: Schema.optional(Subject),
+	/** The viewport point a step aimed at, when it aimed at a point, and a drag's end point. */
+	point: Schema.optional(ViewportPoint),
+	toPoint: Schema.optional(ViewportPoint),
+	/** The box of what a step aimed at by point found there, so replay aims at the same place in it. */
+	box: Schema.optional(Box),
+	/**
+	* The input slot whose text a `type` step types, or whose address a `navigate` step goes to, as
+	* its recorded address had a credential withheld.
+	*/
+	input: Schema.optional(Schema.String),
+	/** The slot's text went into a secret field, so replay types it into nothing else. */
+	secret: Schema.optional(Schema.Literal(true)),
+	options: Schema.optional(ActionOptions)
+}) {};
+var Plan = class extends Schema.Class("effect-browser/Plan")({
+	version: Schema.Literal(1),
+	steps: Schema.Array(Step)
+}) {
+	/** The input slots its steps type, in order; replay needs text for each. */
+	get inputs() {
+		return this.steps.flatMap((step) => step.input === void 0 ? [] : [step.input]);
+	}
+};
+/** Where replay stopped, counting steps from 0, and why. */
+var ReplayError = class extends Schema.TaggedError()("ReplayError", {
+	step: Schema.Int,
+	reason: Schema.Union([
+		Missing,
+		Ambiguous,
+		Drifted,
+		BrowserError
+	])
+}) {
+	get message() {
+		return `step ${this.step} failed: ${this.reason.message}`;
+	}
+};
+const isStep = (event) => event._tag === "Action" && event.ok && StepAction.literals.includes(event.name);
+const pointIn = (target) => {
+	const parsed = /^\{?(?:"x":)?(-?[\d.]+),(?:"y":)?(-?[\d.]+)\}?$/.exec(target ?? "");
+	return parsed === null ? void 0 : {
+		x: Number(parsed[1]),
+		y: Number(parsed[2])
+	};
+};
+/** A slot named for the field it fills, such as `email`, unique within the plan. */
+const slotFor = (taken, field) => {
+	const base = field?.toLowerCase().match(/[\p{L}\p{N}]+/gu)?.join("-") ?? "input";
+	let slot = base;
+	for (let count = 2; taken.has(slot); count++) slot = `${base}-${count}`;
+	taken.add(slot);
+	return slot;
+};
+/**
+* The walk one page's events record: the completed actions of the page that acted first, in
+* order. `page.recentEvents` gives them, or `browser.events()` read until the walk ends.
+*/
+const fromEvents = (events) => {
+	const all = Array.from(events);
+	const page = all.find((event) => event._tag === "Action")?.page;
+	const mine = all.filter((event) => "page" in event && event.page === page);
+	const steps = mine.filter(isStep);
+	const opened = mine.find((event) => event._tag === "PageOpened")?.url ?? "";
+	const moves = mine.filter((event) => event._tag === "Navigated");
+	const taken = /* @__PURE__ */ new Set();
+	const before = (time) => moves.findLast((move) => move.at <= time)?.url ?? opened;
+	return new Plan({
+		version: 1,
+		steps: steps.map((action, index) => {
+			const drag = action.name === "drag" ? (action.target ?? "").split(" -> ") : void 0;
+			const point = pointIn(drag === void 0 ? action.target : drag[0]);
+			return new Step({
+				action: action.name,
+				url: before(steps[index + 1]?.startedAt ?? Number.POSITIVE_INFINITY),
+				target: action.name === "navigate" || action.name === "press" ? action.target : void 0,
+				subject: action.subject,
+				to: action.to,
+				point,
+				toPoint: pointIn(drag?.[1]),
+				box: point === void 0 ? void 0 : action.box,
+				input: action.name === "type" ? slotFor(taken, action.subject?.name) : action.name === "navigate" && action.target?.includes(redacted) === true ? slotFor(taken, "address") : void 0,
+				secret: action.name === "type" && action.text === redacted ? true : void 0,
+				options: action.options
+			});
+		})
+	});
+};
+/**
+* The one element on the page that a subject names, by role, name and context (see `Plan`),
+* looking again for two seconds while the page may still be drawing it.
+*/
+const locate = (page, subject) => page.find({
+	name: subject.name,
+	scope: "document",
+	...subject.role === null ? {} : { role: subject.role }
+}).pipe(Effect.flatMap((found) => choose(subject, found)), Effect.retry({
+	schedule: Schedule.spaced(Duration.millis(250)),
+	times: 8,
+	while: (error) => error._tag !== "BrowserError"
+}), Effect.withSpan("Plan.locate", { attributes: { role: subject.role ?? "" } }));
+const invalid = (detail) => undispatched("replay", new InvalidRequest({ detail }));
+/**
+* Where the step acts: the element its subject names, or, for a step recorded at a point, the same
+* place within that element, as long as a press there reaches that element and not one over it.
+* An element out of view is first brought into it, by hovering it, as a press by ref would be.
+*/
+const aim = (page, subject, point, recorded) => {
+	if (subject === void 0) return Effect.fail(invalid("the step names no element"));
+	if (point === void 0) return Effect.map(locate(page, subject), ({ ref }) => ref);
+	const reach = ({ ref, box }) => {
+		const at = recorded === void 0 || recorded.width <= 0 || recorded.height <= 0 ? point : {
+			x: box.x + (point.x - recorded.x) / recorded.width * box.width,
+			y: box.y + (point.y - recorded.y) / recorded.height * box.height
+		};
+		return Effect.map(page.find({ at }), ([reached]) => reached?.ref === ref ? at : void 0);
+	};
+	const missed = new Drifted({ detail: "a press at the subject's point reaches another element" });
+	return locate(page, subject).pipe(Effect.flatMap((found) => Effect.flatMap(reach(found), (at) => at !== void 0 ? Effect.succeed(at) : page.hover(found.ref).pipe(Effect.andThen(locate(page, subject)), Effect.flatMap(reach), Effect.flatMap((again) => again === void 0 ? Effect.fail(missed) : Effect.succeed(again))))));
+};
+const take = (page, step, text) => {
+	const options = step.options ?? {};
+	switch (step.action) {
+		case "navigate": return page.goto(step.input === void 0 ? step.target ?? step.url : text);
+		case "back": return page.back;
+		case "reload": return page.reload;
+		case "press": return page.press(step.target ?? "", options);
+		case "click": return aim(page, step.subject, step.point, step.box).pipe(Effect.flatMap((at) => page.click(at, options)), Effect.asVoid);
+		case "hover": return Effect.flatMap(aim(page, step.subject, step.point, step.box), page.hover);
+		case "drag": return Effect.all([aim(page, step.subject, step.point), aim(page, step.to, step.toPoint)]).pipe(Effect.flatMap(([from, to]) => page.drag(from, to)));
+		case "select": return aim(page, step.subject).pipe(Effect.flatMap((at) => page.select(typeof at === "string" ? at : "", options.values ?? [])), Effect.asVoid);
+		case "scroll": return step.subject === void 0 ? page.scroll(options) : Effect.flatMap(aim(page, step.subject, step.point, step.box), (at) => page.scroll({
+			...options,
+			at
+		}));
+		case "type": return step.subject === void 0 ? page.type(text, {
+			...options,
+			secret: step.secret
+		}) : Effect.flatMap(aim(page, step.subject), (into) => page.type(text, {
+			...options,
+			into: typeof into === "string" ? into : void 0,
+			secret: step.secret
+		}));
+	}
+};
+/** Take a plan's steps on a page, in order, stopping at the first that cannot be taken. */
+const replay = (page, plan, options = {}) => Effect.gen(function* () {
+	const inputs = options.inputs ?? {};
+	const settle = options.settle === false ? Effect.void : page.ready(options.settle);
+	const at = (step) => (effect) => effect.pipe(Effect.mapError((reason) => new ReplayError({
+		step,
+		reason
+	})));
+	const arrived = (index) => {
+		const recorded = plan.steps[index]?.url ?? "";
+		return page.url.pipe(Effect.flatMap((url) => recorded === "" || URL.parse(url)?.origin === URL.parse(recorded)?.origin ? Effect.void : Effect.fail(new Drifted({ detail: `the page is at ${url}, not on ${recorded}'s site` }))), at(index));
+	};
+	const unfilled = plan.steps.findIndex((step) => step.input !== void 0 && inputs[step.input] === void 0);
+	if (unfilled !== -1) return yield* at(unfilled)(Effect.fail(invalid(`no text for the input "${plan.steps[unfilled]?.input ?? ""}"`)));
+	for (const [index, step] of plan.steps.entries()) {
+		if (step.action !== "navigate" && step.action !== "back" && step.action !== "reload") yield* at(index)(settle);
+		if (index > 0) yield* arrived(index - 1);
+		yield* at(index)(take(page, step, step.input === void 0 ? "" : inputs[step.input] ?? ""));
+	}
+	if (plan.steps.length > 0) {
+		yield* at(plan.steps.length - 1)(settle);
+		yield* arrived(plan.steps.length - 1);
+	}
+}).pipe(Effect.withSpan("Plan.replay", { attributes: { steps: plan.steps.length } }));
+//#endregion
+export { StepAction as a, replay as c, Missing as d, Step as i, Ambiguous as l, Plan_exports as n, fromEvents as o, ReplayError as r, locate as s, Plan as t, Drifted as u };
+
+//# sourceMappingURL=Plan-Dtrb-8im.mjs.map

package/dist/Plan-Dtrb-8im.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"Plan-Dtrb-8im.mjs","names":[],"sources":["../src/internal/reading/choose.ts","../src/Plan.ts"],"sourcesContent":["/**\n * Choosing the one element a recorded subject names, among those `find` gives for its role and\n * name. Context tells them apart, and an element that does not repeat every part of the recorded\n * context is another subject, so a sole element left once its own has gone, such as Alice's\n * \"Remove\" after Bob has left, drifts rather than stands in:\n *\n * - a row is read whole: a row named \"Wrapped BTC\" is not the row \"BTC\". Laid out again without\n *   rows, as cards, one of the element's fields must start with the row's words;\n * - a column counts where the element is under one;\n * - a label or heading must read the same, or its words appear, whole and in order, in one of the\n *   element's fields, as `near` reads them.\n *\n * The rest are ranked by how much of the recorded context they read the same. There is no\n * ordinal, so a tie stays a tie.\n */\nimport { Effect, Schema } from \"effect\";\n\nimport type { Subject, SubjectContext } from \"../../BrowserEvent.ts\";\nimport type { Found } from \"../../Page.ts\";\nimport { match } from \"./match.inpage.ts\";\n\n/** Nothing on the page has the step's role and name. */\nexport class Missing extends Schema.TaggedError<Missing>()(\"Missing\", {}) {\n  override get message() {\n    return \"nothing on the page has the recorded role and name\";\n  }\n}\n\n/** Several elements match the step's subject equally well, and nothing tells them apart. */\nexport class Ambiguous extends Schema.TaggedError<Ambiguous>()(\"Ambiguous\", {\n  count: Schema.Int,\n}) {\n  override get message() {\n    return `${this.count} elements match the recorded subject equally well`;\n  }\n}\n\n/** The page is not where the recording was: another site, or no element with its context. */\nexport class Drifted extends Schema.TaggedError<Drifted>()(\"Drifted\", {\n  detail: Schema.String,\n}) {\n  override get message() {\n    return this.detail;\n  }\n}\n\nconst { holds, normalize } = match();\nconst fields = [\"row\", \"column\", \"label\", \"heading\"] as const;\n\nconst said = (context: SubjectContext) =>\n  Object.values(context).filter((value) => typeof value === \"string\");\n\n/** How an element repeats one recorded field: 2 read the same, 1 found as words, 0 not at all. */\nconst repeats = (field: (typeof fields)[number], value: string, context: SubjectContext) => {\n  const own = context[field];\n\n  if (own !== undefined && normalize(own) === normalize(value)) return 2;\n  if (field === \"column\") return own === undefined ? 1 : 0;\n  if (field === \"row\")\n    return own === undefined &&\n      said(context).some((other) => `${normalize(other)} `.startsWith(`${normalize(value)} `))\n      ? 1\n      : 0;\n\n  return said(context).some((other) => holds(other, value)) ? 1 : 0;\n};\n\nexport const choose = (\n  subject: Subject,\n  found: ReadonlyArray<Found>,\n): Effect.Effect<Found, Missing | Ambiguous | Drifted> => {\n  // `find` matched the role; a subject without one only matches elements without one.\n  const named = found.filter((one) => subject.role !== null || one.subject.role === null);\n\n  const kept = named.flatMap((one) => {\n    let score = 0;\n\n    for (const field of fields) {\n      const value = subject.context[field];\n      const repeated = value === undefined ? 0 : repeats(field, value, one.subject.context);\n\n      if (value !== undefined && repeated === 0) return [];\n      score += repeated;\n    }\n\n    return [{ one, score }];\n  });\n\n  const best = Math.max(...kept.map(({ score }) => score));\n  const top = kept.filter(({ score }) => score === best);\n  const [only] = top;\n\n  if (named.length === 0) return Effect.fail(new Missing());\n  if (kept.length === 0)\n    return Effect.fail(new Drifted({ detail: \"no element named so repeats the recorded context\" }));\n\n  return top.length === 1 && only !== undefined\n    ? Effect.succeed(only.one)\n    : Effect.fail(new Ambiguous({ count: top.length }));\n};\n","/**\n * A walk recorded once from a page's events and replayed later, on a fresh page, with no model\n * call.\n *\n * `fromEvents` keeps one page's completed actions with their subjects and the options they were\n * given, its navigations with both the address asked for and the one reached, and what was typed\n * as a named input slot, never the text itself. A navigation to an address whose credentials the\n * events withheld is an input slot too, so replay goes where the caller says, or nowhere, and\n * never to the address without them. `replay` takes the steps in turn. Before a step\n * that acts on the page, it waits for `Page.ready`; then it finds the one element the step's\n * subject names, by role and name among those that repeat all its recorded context, and acts on\n * it. Text typed into focus was typed into the focused field, which replay finds the same way, and\n * text typed into a secret field goes into nothing else. An element step never falls back to\n * coordinates, and a step recorded at a point acts there only while the element found for it still\n * covers that point. Replay stops at the first step it cannot take and says why: `Missing`,\n * `Ambiguous`, `Drifted`, or the step's own `BrowserError`. Nothing is replayed automatically, and\n * a plan of another version, such as one 0.2 stored, does not decode.\n *\n * @since 0.3.0\n */\nimport { Duration, Effect, Schedule, Schema } from \"effect\";\n\nimport { BrowserError, InvalidRequest } from \"./BrowserError.ts\";\nimport {\n  type Action,\n  ActionOptions,\n  Box,\n  type BrowserEvent,\n  type Navigated,\n  Subject,\n} from \"./BrowserEvent.ts\";\nimport { undispatched } from \"./internal/page/context.ts\";\nimport { Ambiguous, choose, Drifted, Missing } from \"./internal/reading/choose.ts\";\nimport {\n  type Found,\n  type Page,\n  type Point,\n  type ReadyOptions,\n  redacted,\n  type Target,\n} from \"./Page.ts\";\n\nexport { Ambiguous, Drifted, Missing } from \"./internal/reading/choose.ts\";\n\nconst ViewportPoint = Schema.Struct({ x: Schema.Finite, y: Schema.Finite });\n\nexport const StepAction = Schema.Literals([\n  \"navigate\",\n  \"back\",\n  \"reload\",\n  \"click\",\n  \"hover\",\n  \"drag\",\n  \"type\",\n  \"press\",\n  \"scroll\",\n  \"select\",\n]);\n\nexport type StepAction = typeof StepAction.Type;\n\n/** One recorded step: the action, what it acted on, and what else it was asked. */\nexport class Step extends Schema.Class<Step>(\"effect-browser/Plan/Step\")({\n  action: StepAction,\n  /** Where the page was once the step was done, as recorded; empty when unknown. */\n  url: Schema.String,\n  /** A navigation's requested address, or the keys a press pressed. */\n  target: Schema.optional(Schema.String),\n  subject: Schema.optional(Subject),\n  /** Where a drag ended. */\n  to: Schema.optional(Subject),\n  /** The viewport point a step aimed at, when it aimed at a point, and a drag's end point. */\n  point: Schema.optional(ViewportPoint),\n  toPoint: Schema.optional(ViewportPoint),\n  /** The box of what a step aimed at by point found there, so replay aims at the same place in it. */\n  box: Schema.optional(Box),\n  /**\n   * The input slot whose text a `type` step types, or whose address a `navigate` step goes to, as\n   * its recorded address had a credential withheld.\n   */\n  input: Schema.optional(Schema.String),\n  /** The slot's text went into a secret field, so replay types it into nothing else. */\n  secret: Schema.optional(Schema.Literal(true)),\n  options: Schema.optional(ActionOptions),\n}) {}\n\nexport class Plan extends Schema.Class<Plan>(\"effect-browser/Plan\")({\n  version: Schema.Literal(1),\n  steps: Schema.Array(Step),\n}) {\n  /** The input slots its steps type, in order; replay needs text for each. */\n  get inputs(): ReadonlyArray<string> {\n    return this.steps.flatMap((step) => (step.input === undefined ? [] : [step.input]));\n  }\n}\n\n/** Where replay stopped, counting steps from 0, and why. */\nexport class ReplayError extends Schema.TaggedError<ReplayError>()(\"ReplayError\", {\n  step: Schema.Int,\n  reason: Schema.Union([Missing, Ambiguous, Drifted, BrowserError]),\n}) {\n  override get message() {\n    return `step ${this.step} failed: ${this.reason.message}`;\n  }\n}\n\nconst isStep = (event: BrowserEvent): event is Action & { readonly name: StepAction } =>\n  event._tag === \"Action\" &&\n  event.ok &&\n  (StepAction.literals as ReadonlyArray<string>).includes(event.name);\n\n// A point target reads `x,y`, as `{\"x\":…,\"y\":…}` inside a drag's; a ref reads like e12.\nconst pointIn = (target: string | undefined): Point | undefined => {\n  const parsed = /^\\{?(?:\"x\":)?(-?[\\d.]+),(?:\"y\":)?(-?[\\d.]+)\\}?$/.exec(target ?? \"\");\n\n  return parsed === null ? undefined : { x: Number(parsed[1]), y: Number(parsed[2]) };\n};\n\n/** A slot named for the field it fills, such as `email`, unique within the plan. */\nconst slotFor = (taken: Set<string>, field: string | undefined) => {\n  const base =\n    field\n      ?.toLowerCase()\n      .match(/[\\p{L}\\p{N}]+/gu)\n      ?.join(\"-\") ?? \"input\";\n\n  let slot = base;\n\n  for (let count = 2; taken.has(slot); count++) slot = `${base}-${count}`;\n  taken.add(slot);\n\n  return slot;\n};\n\n/**\n * The walk one page's events record: the completed actions of the page that acted first, in\n * order. `page.recentEvents` gives them, or `browser.events()` read until the walk ends.\n */\nexport const fromEvents = (events: Iterable<BrowserEvent>): Plan => {\n  const all = Array.from(events);\n  const page = all.find((event) => event._tag === \"Action\")?.page;\n  const mine = all.filter((event) => \"page\" in event && event.page === page);\n  const steps = mine.filter(isStep);\n  const opened = mine.find((event) => event._tag === \"PageOpened\")?.url ?? \"\";\n  const moves = mine.filter((event): event is Navigated => event._tag === \"Navigated\");\n  const taken = new Set<string>();\n\n  // Where the page was just before a time: the last address it reached by then.\n  const before = (time: number) => moves.findLast((move) => move.at <= time)?.url ?? opened;\n\n  return new Plan({\n    version: 1,\n    steps: steps.map((action, index) => {\n      const drag = action.name === \"drag\" ? (action.target ?? \"\").split(\" -> \") : undefined;\n      const point = pointIn(drag === undefined ? action.target : drag[0]);\n\n      // Only a navigation and a press keep their target: an address, or keys.\n      return new Step({\n        action: action.name,\n        url: before(steps[index + 1]?.startedAt ?? Number.POSITIVE_INFINITY),\n        target: action.name === \"navigate\" || action.name === \"press\" ? action.target : undefined,\n        subject: action.subject,\n        to: action.to,\n        point,\n        toPoint: pointIn(drag?.[1]),\n        box: point === undefined ? undefined : action.box,\n        input:\n          action.name === \"type\"\n            ? slotFor(taken, action.subject?.name)\n            : action.name === \"navigate\" && action.target?.includes(redacted) === true\n              ? slotFor(taken, \"address\")\n              : undefined,\n        secret: action.name === \"type\" && action.text === redacted ? true : undefined,\n        options: action.options,\n      });\n    }),\n  });\n};\n\n/**\n * The one element on the page that a subject names, by role, name and context (see `Plan`),\n * looking again for two seconds while the page may still be drawing it.\n */\nexport const locate = (page: Page, subject: Subject) =>\n  page\n    .find({\n      name: subject.name,\n      scope: \"document\",\n      ...(subject.role === null ? {} : { role: subject.role }),\n    })\n    .pipe(\n      Effect.flatMap((found) => choose(subject, found)),\n      Effect.retry({\n        schedule: Schedule.spaced(Duration.millis(250)),\n        times: 8,\n        while: (error) => error._tag !== \"BrowserError\",\n      }),\n      Effect.withSpan(\"Plan.locate\", { attributes: { role: subject.role ?? \"\" } }),\n    );\n\nconst invalid = (detail: string) => undispatched(\"replay\", new InvalidRequest({ detail }));\n\n/**\n * Where the step acts: the element its subject names, or, for a step recorded at a point, the same\n * place within that element, as long as a press there reaches that element and not one over it.\n * An element out of view is first brought into it, by hovering it, as a press by ref would be.\n */\nconst aim = (page: Page, subject: Subject | undefined, point?: Point, recorded?: Box) => {\n  if (subject === undefined) return Effect.fail(invalid(\"the step names no element\"));\n  if (point === undefined) return Effect.map(locate(page, subject), ({ ref }): Target => ref);\n\n  const reach = ({ ref, box }: Found) => {\n    const at =\n      recorded === undefined || recorded.width <= 0 || recorded.height <= 0\n        ? point\n        : {\n            x: box.x + ((point.x - recorded.x) / recorded.width) * box.width,\n            y: box.y + ((point.y - recorded.y) / recorded.height) * box.height,\n          };\n\n    return Effect.map(page.find({ at }), ([reached]) => (reached?.ref === ref ? at : undefined));\n  };\n\n  const missed = new Drifted({ detail: \"a press at the subject's point reaches another element\" });\n\n  return locate(page, subject).pipe(\n    Effect.flatMap((found) =>\n      Effect.flatMap(reach(found), (at) =>\n        at !== undefined\n          ? Effect.succeed<Target>(at)\n          : page.hover(found.ref).pipe(\n              Effect.andThen(locate(page, subject)),\n              Effect.flatMap(reach),\n              Effect.flatMap((again) =>\n                again === undefined ? Effect.fail(missed) : Effect.succeed<Target>(again),\n              ),\n            ),\n      ),\n    ),\n  );\n};\n\nconst take = (\n  page: Page,\n  step: Step,\n  text: string,\n): Effect.Effect<void, Missing | Ambiguous | Drifted | BrowserError> => {\n  const options = step.options ?? {};\n\n  switch (step.action) {\n    case \"navigate\":\n      return page.goto(step.input === undefined ? (step.target ?? step.url) : text);\n    case \"back\":\n      return page.back;\n    case \"reload\":\n      return page.reload;\n    case \"press\":\n      return page.press(step.target ?? \"\", options);\n    case \"click\":\n      return aim(page, step.subject, step.point, step.box).pipe(\n        Effect.flatMap((at) => page.click(at, options)),\n        Effect.asVoid,\n      );\n    case \"hover\":\n      return Effect.flatMap(aim(page, step.subject, step.point, step.box), page.hover);\n    case \"drag\":\n      return Effect.all([\n        aim(page, step.subject, step.point),\n        aim(page, step.to, step.toPoint),\n      ]).pipe(Effect.flatMap(([from, to]) => page.drag(from, to)));\n    case \"select\":\n      return aim(page, step.subject).pipe(\n        Effect.flatMap((at) => page.select(typeof at === \"string\" ? at : \"\", options.values ?? [])),\n        Effect.asVoid,\n      );\n    // A scroll or a typing step may name no element: the page, or whatever has focus.\n    case \"scroll\":\n      return step.subject === undefined\n        ? page.scroll(options)\n        : Effect.flatMap(aim(page, step.subject, step.point, step.box), (at) =>\n            page.scroll({ ...options, at }),\n          );\n    case \"type\":\n      return step.subject === undefined\n        ? page.type(text, { ...options, secret: step.secret })\n        : Effect.flatMap(aim(page, step.subject), (into) =>\n            page.type(text, {\n              ...options,\n              into: typeof into === \"string\" ? into : undefined,\n              secret: step.secret,\n            }),\n          );\n  }\n};\n\nexport interface ReplayOptions {\n  /** How each step waits for the page first, as `Page.ready` takes it, or false not to wait. */\n  readonly settle?: ReadyOptions | false | undefined;\n  /** The text for each of the plan's input slots. */\n  readonly inputs?: Readonly<Record<string, string>> | undefined;\n}\n\n/** Take a plan's steps on a page, in order, stopping at the first that cannot be taken. */\nexport const replay = (page: Page, plan: Plan, options: ReplayOptions = {}) =>\n  Effect.gen(function* () {\n    const inputs = options.inputs ?? {};\n    const settle = options.settle === false ? Effect.void : page.ready(options.settle);\n\n    const at =\n      (step: number) =>\n      <A>(effect: Effect.Effect<A, Missing | Ambiguous | Drifted | BrowserError>) =>\n        effect.pipe(Effect.mapError((reason) => new ReplayError({ step, reason })));\n\n    // A step arrived where the recording did, on the same site; a moved path is not drift.\n    const arrived = (index: number) => {\n      const recorded = plan.steps[index]?.url ?? \"\";\n\n      return page.url.pipe(\n        Effect.flatMap((url) =>\n          recorded === \"\" || URL.parse(url)?.origin === URL.parse(recorded)?.origin\n            ? Effect.void\n            : Effect.fail(\n                new Drifted({ detail: `the page is at ${url}, not on ${recorded}'s site` }),\n              ),\n        ),\n        at(index),\n      );\n    };\n\n    const unfilled = plan.steps.findIndex(\n      (step) => step.input !== undefined && inputs[step.input] === undefined,\n    );\n\n    if (unfilled !== -1)\n      return yield* at(unfilled)(\n        Effect.fail(invalid(`no text for the input \"${plan.steps[unfilled]?.input ?? \"\"}\"`)),\n      );\n    for (const [index, step] of plan.steps.entries()) {\n      if (step.action !== \"navigate\" && step.action !== \"back\" && step.action !== \"reload\")\n        yield* at(index)(settle);\n      if (index > 0) yield* arrived(index - 1);\n      yield* at(index)(\n        take(page, step, step.input === undefined ? \"\" : (inputs[step.input] ?? \"\")),\n      );\n    }\n    if (plan.steps.length > 0) {\n      yield* at(plan.steps.length - 1)(settle);\n      yield* arrived(plan.steps.length - 1);\n    }\n  }).pipe(Effect.withSpan(\"Plan.replay\", { attributes: { steps: plan.steps.length } }));\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;AAsBA,IAAa,UAAb,cAA6B,OAAO,YAAqB,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;CACxE,IAAa,UAAU;EACrB,OAAO;CACT;AACF;;AAGA,IAAa,YAAb,cAA+B,OAAO,YAAuB,CAAC,CAAC,aAAa,EAC1E,OAAO,OAAO,IAChB,CAAC,CAAC,CAAC;CACD,IAAa,UAAU;EACrB,OAAO,GAAG,KAAK,MAAM;CACvB;AACF;;AAGA,IAAa,UAAb,cAA6B,OAAO,YAAqB,CAAC,CAAC,WAAW,EACpE,QAAQ,OAAO,OACjB,CAAC,CAAC,CAAC;CACD,IAAa,UAAU;EACrB,OAAO,KAAK;CACd;AACF;AAEA,MAAM,EAAE,OAAO,cAAc,MAAM;AACnC,MAAM,SAAS;CAAC;CAAO;CAAU;CAAS;AAAS;AAEnD,MAAM,QAAQ,YACZ,OAAO,OAAO,OAAO,CAAC,CAAC,QAAQ,UAAU,OAAO,UAAU,QAAQ;;AAGpE,MAAM,WAAW,OAAgC,OAAe,YAA4B;CAC1F,MAAM,MAAM,QAAQ;CAEpB,IAAI,QAAQ,KAAA,KAAa,UAAU,GAAG,MAAM,UAAU,KAAK,GAAG,OAAO;CACrE,IAAI,UAAU,UAAU,OAAO,QAAQ,KAAA,IAAY,IAAI;CACvD,IAAI,UAAU,OACZ,OAAO,QAAQ,KAAA,KACb,KAAK,OAAO,CAAC,CAAC,MAAM,UAAU,GAAG,UAAU,KAAK,EAAE,GAAG,WAAW,GAAG,UAAU,KAAK,EAAE,EAAE,CAAC,IACrF,IACA;CAEN,OAAO,KAAK,OAAO,CAAC,CAAC,MAAM,UAAU,MAAM,OAAO,KAAK,CAAC,IAAI,IAAI;AAClE;AAEA,MAAa,UACX,SACA,UACwD;CAExD,MAAM,QAAQ,MAAM,QAAQ,QAAQ,QAAQ,SAAS,QAAQ,IAAI,QAAQ,SAAS,IAAI;CAEtF,MAAM,OAAO,MAAM,SAAS,QAAQ;EAClC,IAAI,QAAQ;EAEZ,KAAK,MAAM,SAAS,QAAQ;GAC1B,MAAM,QAAQ,QAAQ,QAAQ;GAC9B,MAAM,WAAW,UAAU,KAAA,IAAY,IAAI,QAAQ,OAAO,OAAO,IAAI,QAAQ,OAAO;GAEpF,IAAI,UAAU,KAAA,KAAa,aAAa,GAAG,OAAO,CAAC;GACnD,SAAS;EACX;EAEA,OAAO,CAAC;GAAE;GAAK;EAAM,CAAC;CACxB,CAAC;CAED,MAAM,OAAO,KAAK,IAAI,GAAG,KAAK,KAAK,EAAE,YAAY,KAAK,CAAC;CACvD,MAAM,MAAM,KAAK,QAAQ,EAAE,YAAY,UAAU,IAAI;CACrD,MAAM,CAAC,QAAQ;CAEf,IAAI,MAAM,WAAW,GAAG,OAAO,OAAO,KAAK,IAAI,QAAQ,CAAC;CACxD,IAAI,KAAK,WAAW,GAClB,OAAO,OAAO,KAAK,IAAI,QAAQ,EAAE,QAAQ,mDAAmD,CAAC,CAAC;CAEhG,OAAO,IAAI,WAAW,KAAK,SAAS,KAAA,IAChC,OAAO,QAAQ,KAAK,GAAG,IACvB,OAAO,KAAK,IAAI,UAAU,EAAE,OAAO,IAAI,OAAO,CAAC,CAAC;AACtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ACvDA,MAAM,gBAAgB,OAAO,OAAO;CAAE,GAAG,OAAO;CAAQ,GAAG,OAAO;AAAO,CAAC;AAE1E,MAAa,aAAa,OAAO,SAAS;CACxC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;;AAKD,IAAa,OAAb,cAA0B,OAAO,MAAY,0BAA0B,CAAC,CAAC;CACvE,QAAQ;;CAER,KAAK,OAAO;;CAEZ,QAAQ,OAAO,SAAS,OAAO,MAAM;CACrC,SAAS,OAAO,SAAS,OAAO;;CAEhC,IAAI,OAAO,SAAS,OAAO;;CAE3B,OAAO,OAAO,SAAS,aAAa;CACpC,SAAS,OAAO,SAAS,aAAa;;CAEtC,KAAK,OAAO,SAAS,GAAG;;;;;CAKxB,OAAO,OAAO,SAAS,OAAO,MAAM;;CAEpC,QAAQ,OAAO,SAAS,OAAO,QAAQ,IAAI,CAAC;CAC5C,SAAS,OAAO,SAAS,aAAa;AACxC,CAAC,CAAC,CAAC,CAAC;AAEJ,IAAa,OAAb,cAA0B,OAAO,MAAY,qBAAqB,CAAC,CAAC;CAClE,SAAS,OAAO,QAAQ,CAAC;CACzB,OAAO,OAAO,MAAM,IAAI;AAC1B,CAAC,CAAC,CAAC;;CAED,IAAI,SAAgC;EAClC,OAAO,KAAK,MAAM,SAAS,SAAU,KAAK,UAAU,KAAA,IAAY,CAAC,IAAI,CAAC,KAAK,KAAK,CAAE;CACpF;AACF;;AAGA,IAAa,cAAb,cAAiC,OAAO,YAAyB,CAAC,CAAC,eAAe;CAChF,MAAM,OAAO;CACb,QAAQ,OAAO,MAAM;EAAC;EAAS;EAAW;EAAS;CAAY,CAAC;AAClE,CAAC,CAAC,CAAC;CACD,IAAa,UAAU;EACrB,OAAO,QAAQ,KAAK,KAAK,WAAW,KAAK,OAAO;CAClD;AACF;AAEA,MAAM,UAAU,UACd,MAAM,SAAS,YACf,MAAM,MACL,WAAW,SAAmC,SAAS,MAAM,IAAI;AAGpE,MAAM,WAAW,WAAkD;CACjE,MAAM,SAAS,kDAAkD,KAAK,UAAU,EAAE;CAElF,OAAO,WAAW,OAAO,KAAA,IAAY;EAAE,GAAG,OAAO,OAAO,EAAE;EAAG,GAAG,OAAO,OAAO,EAAE;CAAE;AACpF;;AAGA,MAAM,WAAW,OAAoB,UAA8B;CACjE,MAAM,OACJ,OACI,YAAY,CAAC,CACd,MAAM,iBAAiB,CAAC,EACvB,KAAK,GAAG,KAAK;CAEnB,IAAI,OAAO;CAEX,KAAK,IAAI,QAAQ,GAAG,MAAM,IAAI,IAAI,GAAG,SAAS,OAAO,GAAG,KAAK,GAAG;CAChE,MAAM,IAAI,IAAI;CAEd,OAAO;AACT;;;;;AAMA,MAAa,cAAc,WAAyC;CAClE,MAAM,MAAM,MAAM,KAAK,MAAM;CAC7B,MAAM,OAAO,IAAI,MAAM,UAAU,MAAM,SAAS,QAAQ,CAAC,EAAE;CAC3D,MAAM,OAAO,IAAI,QAAQ,UAAU,UAAU,SAAS,MAAM,SAAS,IAAI;CACzE,MAAM,QAAQ,KAAK,OAAO,MAAM;CAChC,MAAM,SAAS,KAAK,MAAM,UAAU,MAAM,SAAS,YAAY,CAAC,EAAE,OAAO;CACzE,MAAM,QAAQ,KAAK,QAAQ,UAA8B,MAAM,SAAS,WAAW;CACnF,MAAM,wBAAQ,IAAI,IAAY;CAG9B,MAAM,UAAU,SAAiB,MAAM,UAAU,SAAS,KAAK,MAAM,IAAI,CAAC,EAAE,OAAO;CAEnF,OAAO,IAAI,KAAK;EACd,SAAS;EACT,OAAO,MAAM,KAAK,QAAQ,UAAU;GAClC,MAAM,OAAO,OAAO,SAAS,UAAU,OAAO,UAAU,GAAA,CAAI,MAAM,MAAM,IAAI,KAAA;GAC5E,MAAM,QAAQ,QAAQ,SAAS,KAAA,IAAY,OAAO,SAAS,KAAK,EAAE;GAGlE,OAAO,IAAI,KAAK;IACd,QAAQ,OAAO;IACf,KAAK,OAAO,MAAM,QAAQ,EAAE,EAAE,aAAa,OAAO,iBAAiB;IACnE,QAAQ,OAAO,SAAS,cAAc,OAAO,SAAS,UAAU,OAAO,SAAS,KAAA;IAChF,SAAS,OAAO;IAChB,IAAI,OAAO;IACX;IACA,SAAS,QAAQ,OAAO,EAAE;IAC1B,KAAK,UAAU,KAAA,IAAY,KAAA,IAAY,OAAO;IAC9C,OACE,OAAO,SAAS,SACZ,QAAQ,OAAO,OAAO,SAAS,IAAI,IACnC,OAAO,SAAS,cAAc,OAAO,QAAQ,SAAS,QAAQ,MAAM,OAClE,QAAQ,OAAO,SAAS,IACxB,KAAA;IACR,QAAQ,OAAO,SAAS,UAAU,OAAO,SAAS,WAAW,OAAO,KAAA;IACpE,SAAS,OAAO;GAClB,CAAC;EACH,CAAC;CACH,CAAC;AACH;;;;;AAMA,MAAa,UAAU,MAAY,YACjC,KACG,KAAK;CACJ,MAAM,QAAQ;CACd,OAAO;CACP,GAAI,QAAQ,SAAS,OAAO,CAAC,IAAI,EAAE,MAAM,QAAQ,KAAK;AACxD,CAAC,CAAC,CACD,KACC,OAAO,SAAS,UAAU,OAAO,SAAS,KAAK,CAAC,GAChD,OAAO,MAAM;CACX,UAAU,SAAS,OAAO,SAAS,OAAO,GAAG,CAAC;CAC9C,OAAO;CACP,QAAQ,UAAU,MAAM,SAAS;AACnC,CAAC,GACD,OAAO,SAAS,eAAe,EAAE,YAAY,EAAE,MAAM,QAAQ,QAAQ,GAAG,EAAE,CAAC,CAC7E;AAEJ,MAAM,WAAW,WAAmB,aAAa,UAAU,IAAI,eAAe,EAAE,OAAO,CAAC,CAAC;;;;;;AAOzF,MAAM,OAAO,MAAY,SAA8B,OAAe,aAAmB;CACvF,IAAI,YAAY,KAAA,GAAW,OAAO,OAAO,KAAK,QAAQ,2BAA2B,CAAC;CAClF,IAAI,UAAU,KAAA,GAAW,OAAO,OAAO,IAAI,OAAO,MAAM,OAAO,IAAI,EAAE,UAAkB,GAAG;CAE1F,MAAM,SAAS,EAAE,KAAK,UAAiB;EACrC,MAAM,KACJ,aAAa,KAAA,KAAa,SAAS,SAAS,KAAK,SAAS,UAAU,IAChE,QACA;GACE,GAAG,IAAI,KAAM,MAAM,IAAI,SAAS,KAAK,SAAS,QAAS,IAAI;GAC3D,GAAG,IAAI,KAAM,MAAM,IAAI,SAAS,KAAK,SAAS,SAAU,IAAI;EAC9D;EAEN,OAAO,OAAO,IAAI,KAAK,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,aAAc,SAAS,QAAQ,MAAM,KAAK,KAAA,CAAU;CAC7F;CAEA,MAAM,SAAS,IAAI,QAAQ,EAAE,QAAQ,yDAAyD,CAAC;CAE/F,OAAO,OAAO,MAAM,OAAO,CAAC,CAAC,KAC3B,OAAO,SAAS,UACd,OAAO,QAAQ,MAAM,KAAK,IAAI,OAC5B,OAAO,KAAA,IACH,OAAO,QAAgB,EAAE,IACzB,KAAK,MAAM,MAAM,GAAG,CAAC,CAAC,KACpB,OAAO,QAAQ,OAAO,MAAM,OAAO,CAAC,GACpC,OAAO,QAAQ,KAAK,GACpB,OAAO,SAAS,UACd,UAAU,KAAA,IAAY,OAAO,KAAK,MAAM,IAAI,OAAO,QAAgB,KAAK,CAC1E,CACF,CACN,CACF,CACF;AACF;AAEA,MAAM,QACJ,MACA,MACA,SACsE;CACtE,MAAM,UAAU,KAAK,WAAW,CAAC;CAEjC,QAAQ,KAAK,QAAb;EACE,KAAK,YACH,OAAO,KAAK,KAAK,KAAK,UAAU,KAAA,IAAa,KAAK,UAAU,KAAK,MAAO,IAAI;EAC9E,KAAK,QACH,OAAO,KAAK;EACd,KAAK,UACH,OAAO,KAAK;EACd,KAAK,SACH,OAAO,KAAK,MAAM,KAAK,UAAU,IAAI,OAAO;EAC9C,KAAK,SACH,OAAO,IAAI,MAAM,KAAK,SAAS,KAAK,OAAO,KAAK,GAAG,CAAC,CAAC,KACnD,OAAO,SAAS,OAAO,KAAK,MAAM,IAAI,OAAO,CAAC,GAC9C,OAAO,MACT;EACF,KAAK,SACH,OAAO,OAAO,QAAQ,IAAI,MAAM,KAAK,SAAS,KAAK,OAAO,KAAK,GAAG,GAAG,KAAK,KAAK;EACjF,KAAK,QACH,OAAO,OAAO,IAAI,CAChB,IAAI,MAAM,KAAK,SAAS,KAAK,KAAK,GAClC,IAAI,MAAM,KAAK,IAAI,KAAK,OAAO,CACjC,CAAC,CAAC,CAAC,KAAK,OAAO,SAAS,CAAC,MAAM,QAAQ,KAAK,KAAK,MAAM,EAAE,CAAC,CAAC;EAC7D,KAAK,UACH,OAAO,IAAI,MAAM,KAAK,OAAO,CAAC,CAAC,KAC7B,OAAO,SAAS,OAAO,KAAK,OAAO,OAAO,OAAO,WAAW,KAAK,IAAI,QAAQ,UAAU,CAAC,CAAC,CAAC,GAC1F,OAAO,MACT;EAEF,KAAK,UACH,OAAO,KAAK,YAAY,KAAA,IACpB,KAAK,OAAO,OAAO,IACnB,OAAO,QAAQ,IAAI,MAAM,KAAK,SAAS,KAAK,OAAO,KAAK,GAAG,IAAI,OAC7D,KAAK,OAAO;GAAE,GAAG;GAAS;EAAG,CAAC,CAChC;EACN,KAAK,QACH,OAAO,KAAK,YAAY,KAAA,IACpB,KAAK,KAAK,MAAM;GAAE,GAAG;GAAS,QAAQ,KAAK;EAAO,CAAC,IACnD,OAAO,QAAQ,IAAI,MAAM,KAAK,OAAO,IAAI,SACvC,KAAK,KAAK,MAAM;GACd,GAAG;GACH,MAAM,OAAO,SAAS,WAAW,OAAO,KAAA;GACxC,QAAQ,KAAK;EACf,CAAC,CACH;CACR;AACF;;AAUA,MAAa,UAAU,MAAY,MAAY,UAAyB,CAAC,MACvE,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,QAAQ,UAAU,CAAC;CAClC,MAAM,SAAS,QAAQ,WAAW,QAAQ,OAAO,OAAO,KAAK,MAAM,QAAQ,MAAM;CAEjF,MAAM,MACH,UACG,WACF,OAAO,KAAK,OAAO,UAAU,WAAW,IAAI,YAAY;EAAE;EAAM;CAAO,CAAC,CAAC,CAAC;CAG9E,MAAM,WAAW,UAAkB;EACjC,MAAM,WAAW,KAAK,MAAM,MAAM,EAAE,OAAO;EAE3C,OAAO,KAAK,IAAI,KACd,OAAO,SAAS,QACd,aAAa,MAAM,IAAI,MAAM,GAAG,CAAC,EAAE,WAAW,IAAI,MAAM,QAAQ,CAAC,EAAE,SAC/D,OAAO,OACP,OAAO,KACL,IAAI,QAAQ,EAAE,QAAQ,kBAAkB,IAAI,WAAW,SAAS,SAAS,CAAC,CAC5E,CACN,GACA,GAAG,KAAK,CACV;CACF;CAEA,MAAM,WAAW,KAAK,MAAM,WACzB,SAAS,KAAK,UAAU,KAAA,KAAa,OAAO,KAAK,WAAW,KAAA,CAC/D;CAEA,IAAI,aAAa,IACf,OAAO,OAAO,GAAG,QAAQ,CAAC,CACxB,OAAO,KAAK,QAAQ,0BAA0B,KAAK,MAAM,SAAS,EAAE,SAAS,GAAG,EAAE,CAAC,CACrF;CACF,KAAK,MAAM,CAAC,OAAO,SAAS,KAAK,MAAM,QAAQ,GAAG;EAChD,IAAI,KAAK,WAAW,cAAc,KAAK,WAAW,UAAU,KAAK,WAAW,UAC1E,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM;EACzB,IAAI,QAAQ,GAAG,OAAO,QAAQ,QAAQ,CAAC;EACvC,OAAO,GAAG,KAAK,CAAC,CACd,KAAK,MAAM,MAAM,KAAK,UAAU,KAAA,IAAY,KAAM,OAAO,KAAK,UAAU,EAAG,CAC7E;CACF;CACA,IAAI,KAAK,MAAM,SAAS,GAAG;EACzB,OAAO,GAAG,KAAK,MAAM,SAAS,CAAC,CAAC,CAAC,MAAM;EACvC,OAAO,QAAQ,KAAK,MAAM,SAAS,CAAC;CACtC;AACF,CAAC,CAAC,CAAC,KAAK,OAAO,SAAS,eAAe,EAAE,YAAY,EAAE,OAAO,KAAK,MAAM,OAAO,EAAE,CAAC,CAAC"}

package/dist/Plan.d.mts

@@ -1,3 +1,2 @@
-import { C as StepFailed, D as inputSlots, E as encode, O as make, S as RunOptions, T as decode, b as RecordingIncomplete, k as recorded, v as InputSlot, w as checkRunOptions, x as RunOperation, y as PlanOperations } from "./Browser-n-bKgBNN.mjs";
-export { InputSlot, PlanOperations, RecordingIncomplete, RunOperation, RunOptions, StepFailed, checkRunOptions, decode, encode, inputSlots, make, recorded };
-export {};
+import { a as Step, c as locate, d as Drifted, f as Missing, i as ReplayOptions, l as replay, o as StepAction, r as ReplayError, s as fromEvents, t as Plan, u as Ambiguous } from "./Plan-CNNOU1Tx.mjs";
+export { Ambiguous, Drifted, Missing, Plan, ReplayError, ReplayOptions, Step, StepAction, fromEvents, locate, replay };

package/dist/Plan.mjs

@@ -1,2 +1,2 @@
-import { a as encode, c as recorded, i as decode, n as StepFailed, o as inputSlots, r as checkRunOptions, s as make, t as RecordingIncomplete } from "./Plan-D8qQ48Ic.mjs";
-export { RecordingIncomplete, StepFailed, checkRunOptions, decode, encode, inputSlots, make, recorded };
+import { a as StepAction, c as replay, d as Missing, i as Step, l as Ambiguous, o as fromEvents, r as ReplayError, s as locate, t as Plan, u as Drifted } from "./Plan-Dtrb-8im.mjs";
+export { Ambiguous, Drifted, Missing, Plan, ReplayError, Step, StepAction, fromEvents, locate, replay };

package/dist/Policy.d.mts

@@ -0,0 +1,76 @@
+import { c as InputGuard, i as Fact, l as InputRequest } from "./Page-DYTdVhYa.mjs";
+import { Context, Duration, Effect, Schema } from "effect";
+import { AiError, DecisionModel, LanguageModel } from "effect/ai";
+declare namespace Policy_d_exports {
+  export { Judge, Judgement, Options, Risk, Task, decider, escalate, make, reviewer };
+}
+/** What an input means. Only a judge reading the evidence can recognise these. */
+export declare const Risk: Schema.Literals<readonly ["financial", "account", "access", "deletion", "communication", "secret"]>;
+export type Risk = typeof Risk.Type;
+declare const Judgement_base: Schema.Class<Judgement, Schema.Struct<{
+  /** For each risk, the probability that the input does it. */
+  readonly risks: Schema.Struct<{
+    readonly financial: Schema.Finite;
+    readonly account: Schema.Finite;
+    readonly access: Schema.Finite;
+    readonly deletion: Schema.Finite;
+    readonly communication: Schema.Finite;
+    readonly secret: Schema.Finite;
+  }>;
+  /** The probability that the user's task asks for what the input does; absent without a task. */
+  readonly requested: Schema.optional<Schema.Finite>;
+  /** Why, in a sentence, when the judge says. */
+  readonly reason: Schema.optional<Schema.String>;
+}>, {}>;
+/** A judge's reading of one input. */
+export declare class Judgement extends Judgement_base {}
+/**
+ * The user's task: what authorizes a risky input. `Agent.run` provides its task to every input it
+ * makes; provide one around other calls with `Effect.provideService`.
+ */
+export declare const Task: Context.Reference<string | undefined>;
+/** Reads what an input means, with the user's task from `Task`. */
+export type Judge = (request: InputRequest) => Effect.Effect<Judgement, AiError.AiError>;
+/**
+ * A judge that asks the `LanguageModel` in context for a structured review. `rules` adds the
+ * user's own policy in plain words, such as "Purchases under $20 are fine".
+ */
+export declare const reviewer: (options?: {
+  readonly rules?: string | undefined;
+} | undefined) => Effect.Effect<(request: InputRequest) => Effect.Effect<Judgement, AiError.AiError, never>, never, LanguageModel.LanguageModel>;
+/**
+ * A judge that answers one probability per risk from the `DecisionModel` in context, all in one
+ * call. Jev is one: `TypeSafeDecisionModel.layer({ model: "jev-1.13.0" })` from
+ * `@effect/ai-typesafe` provides it.
+ */
+export declare const decider: Effect.Effect<Judge, never, DecisionModel.DecisionModel>;
+/**
+ * `first`'s judgement, or `second`'s when `first` is unsure: a risk between 0.2 and 0.8, or a
+ * likely risk whose request is. A confident mistake by `first` stands.
+ */
+export declare const escalate: (first: Judge, second: Judge) => Judge;
+export interface Options {
+  /** Reads what an input means. Without one, only origins and facts decide. */
+  readonly judge?: Judge | undefined;
+  /** Risks an input may carry only when the task asks for them. Defaults to all of them. */
+  readonly risks?: ReadonlyArray<Risk> | undefined;
+  /** Facts that deny an input whatever the task, such as `["upload"]`. Defaults to none. */
+  readonly deny?: ReadonlyArray<Fact> | undefined;
+  /** Origins input may act on and go to, such as `"https://shop.example"`. Defaults to any. */
+  readonly origins?: ReadonlyArray<string> | undefined;
+  /** The probability from which a judge's reading counts. Defaults to 0.5. */
+  readonly threshold?: number | undefined;
+  /** How long the judge may take before the input counts as unjudged. Defaults to 30 seconds. */
+  readonly timeout?: Duration.Input | undefined;
+}
+/**
+ * A guard for a browser with nobody to ask. It allows hovering and scrolling. Otherwise it denies
+ * input on a page or towards a destination outside `origins`, input with a fact in `deny`, and,
+ * when a judge finds a risk, input the task does not ask for. An input the judge could not judge
+ * in time is denied when it has any fact, with the judge's failure as the denial's cause, and
+ * allowed when structure shows nothing.
+ */
+export declare const make: (options?: Options) => InputGuard;
+//#endregion
+export { Policy_d_exports as t };
+//# sourceMappingURL=Policy.d.mts.map