effect-browser 0.2.0-beta.7 → 0.2.0-beta.8

package/dist/PlanData.d.mts

@@ -0,0 +1,3 @@
+import { A as PlanEncoded, B as RunPhase, C as NativePhase, D as PerformedEncoded, E as Performed, F as RecordedAction, G as Step, H as RunTiming, I as RecordedActionEncoded, J as ValueSource, K as StepAttempt, L as RecordedStep, M as Precondition, N as Ran, O as PhaseEvidence, P as RanStep, R as RecordedTarget, S as MotionProfile, T as PerformanceEvidence, U as SettledEvidence, V as RunReceipt, W as SettledOptions, _ as InputValue, a as AttemptSnapshot, b as LivePlanEncoded, c as Condition, d as DescriptorCapture, f as DescriptorEncoded, g as InputName, h as InputBindings, i as AttemptResult, j as Postcondition, k as Plan, l as DefaultMotionProfile, m as FrameDescriptor, n as Action, o as BasicDescriptorEvidence, p as Expectation, q as StepId, r as ActionTarget, s as CaptureIncompleteReason, t as AcknowledgementFact, u as Descriptor, v as Limits, w as Ordinal, x as MatchScope, y as LivePlan, z as ResolveGuard } from "./PlanData-B668RxbQ.mjs";
+export { AcknowledgementFact, Action, ActionTarget, AttemptResult, AttemptSnapshot, BasicDescriptorEvidence, CaptureIncompleteReason, Condition, DefaultMotionProfile, Descriptor, DescriptorCapture, DescriptorEncoded, Expectation, FrameDescriptor, InputBindings, InputName, InputValue, Limits, LivePlan, LivePlanEncoded, MatchScope, MotionProfile, NativePhase, Ordinal, PerformanceEvidence, Performed, PerformedEncoded, PhaseEvidence, Plan, PlanEncoded, Postcondition, Precondition, Ran, RanStep, RecordedAction, RecordedActionEncoded, RecordedStep, RecordedTarget, ResolveGuard, RunPhase, RunReceipt, RunTiming, SettledEvidence, SettledOptions, Step, StepAttempt, StepId, ValueSource };
+export {};

package/dist/PlanData.mjs

@@ -0,0 +1,268 @@
+import { ControlFacts, FillFormOptions, FillRequest, Identifier, KeyStroke, NavigateRequest, ObservedElement, PointerMoveRequest, ScrollRequest, TargetUrl, TypeRequest, Viewport, ViewportRect, WaitForElementRequest, WheelRequest } from "./BrowserData.mjs";
+import { Effect, Schema } from "effect";
+//#region src/PlanData.ts
+/** These bounds limit one authored walk, independently of the owner's remaining allowance. */
+const Limits = {
+	steps: 128,
+	identifierLength: 128,
+	encodedBytes: 1048576,
+	inputBytes: 65536,
+	frameDepth: 8,
+	conditions: 16,
+	fields: 32,
+	options: 64
+};
+const utf8 = new TextEncoder();
+const closed = { parseOptions: { onExcessProperty: "error" } };
+const motionRange = (maximum, minimum = 0) => Schema.Struct({
+	minMillis: Schema.Finite.check(Schema.isBetween({
+		minimum,
+		maximum
+	})),
+	maxMillis: Schema.Finite.check(Schema.isBetween({
+		minimum,
+		maximum
+	}))
+}).check(Schema.makeFilter((value) => value.minMillis <= value.maxMillis, { title: "ordered finite duration bounds" })).annotate(closed);
+/** Chosen bounded presentation policy; these constants are not scientific calibration. */
+const MotionProfile = Schema.Struct({
+	name: Schema.Literal("default"),
+	pointer: Schema.Struct({
+		duration: motionRange(5e3),
+		aimInset: Schema.Finite.check(Schema.isBetween({
+			minimum: 0,
+			maximum: .49
+		})),
+		curvature: Schema.Finite.check(Schema.isBetween({
+			minimum: 0,
+			maximum: .25
+		}))
+	}).annotate(closed),
+	keys: Schema.Struct({
+		interval: motionRange(1e3),
+		hold: motionRange(500)
+	}).annotate(closed),
+	scroll: Schema.Struct({
+		duration: motionRange(5e3),
+		intervalMillis: Schema.Finite.check(Schema.isBetween({
+			minimum: 8,
+			maximum: 250
+		}))
+	}).annotate(closed)
+}).annotate(closed);
+const DefaultMotionProfile = Object.freeze({
+	name: "default",
+	pointer: Object.freeze({
+		duration: Object.freeze({
+			minMillis: 120,
+			maxMillis: 1500
+		}),
+		aimInset: .15,
+		curvature: .08
+	}),
+	keys: Object.freeze({
+		interval: Object.freeze({
+			minMillis: 30,
+			maxMillis: 70
+		}),
+		hold: Object.freeze({
+			minMillis: 10,
+			maxMillis: 30
+		})
+	}),
+	scroll: Object.freeze({
+		duration: Object.freeze({
+			minMillis: 120,
+			maxMillis: 800
+		}),
+		intervalMillis: 20
+	})
+});
+/** Serialized style contains policy data, never callbacks, random services or native authority. */
+const Performed = Schema.Struct({
+	motion: MotionProfile.pipe(Schema.withDecodingDefaultKey(Effect.succeed(DefaultMotionProfile))),
+	seed: Schema.optionalKey(Schema.Int),
+	slips: Schema.Struct({ probability: Schema.Finite.check(Schema.isBetween({
+		minimum: 0,
+		maximum: 1
+	})) }).annotate(closed).pipe(Schema.withDecodingDefaultKey(Effect.succeed({ probability: 0 })))
+}).annotate(closed);
+const StepId = Identifier.check(Schema.isMaxLength(Limits.identifierLength));
+const InputName = Identifier.check(Schema.isMaxLength(256));
+const InputValue = FillRequest.fields.value.check(Schema.makeFilter((value) => utf8.encode(value).byteLength <= Limits.inputBytes, { title: "at most 65,536 UTF-8 input bytes" }));
+const InputBindings = Schema.Record(InputName, InputValue).check(Schema.makeFilter((values) => Object.keys(values).length <= Limits.steps * Limits.fields, { title: "at most 4,096 named inputs" }), Schema.makeFilter((values) => utf8.encode(JSON.stringify(values)).byteLength <= Limits.encodedBytes, { title: "at most 1 MiB of encoded input bindings" })).annotate(closed);
+const MatchScope = Schema.Literals(["document", "viewport"]);
+/** Zero-based index, accepted only after the complete filtered candidate count equals `of`. */
+const Ordinal = Schema.Struct({
+	index: Schema.Natural,
+	of: Schema.Int.check(Schema.isGreaterThan(0))
+}).check(Schema.makeFilter((value) => value.index < value.of, { title: "index less than of" })).annotate(closed);
+/** Each segment is resolved among the exact parent's complete child-frame inventory. */
+const FrameDescriptor = Schema.Struct({ path: Schema.Array(Schema.Struct({
+	name: Schema.NonEmptyString.check(Schema.isMaxLength(256)),
+	url: Schema.String.check(Schema.isMaxLength(8192)),
+	ordinal: Schema.optionalKey(Ordinal)
+}).annotate(closed)).check(Schema.isMinLength(1), Schema.isMaxLength(Limits.frameDepth)) }).annotate(closed);
+/** Full raw label equality; geometry is diagnostic and never chooses a candidate. */
+const Descriptor = Schema.Struct({
+	kind: ControlFacts.fields.kind,
+	label: ControlFacts.fields.label,
+	matchScope: MatchScope.pipe(Schema.withDecodingDefaultKey(Effect.succeed("document"))),
+	destination: Schema.optionalKey(ControlFacts.fields.destination.schema),
+	identity: Schema.optionalKey(Schema.Struct({
+		inputType: ControlFacts.fields.inputType,
+		autocomplete: ControlFacts.fields.autocomplete,
+		formMethod: ControlFacts.fields.formMethod
+	}).annotate(closed)),
+	ordinal: Schema.optionalKey(Ordinal),
+	frame: Schema.optionalKey(FrameDescriptor)
+}).annotate(closed);
+const RecordedTarget = Schema.TaggedStruct("Descriptor", { descriptor: Descriptor }).annotate(closed);
+const ActionTarget = Schema.Union([Schema.TaggedStruct("Ref", { reference: ObservedElement }).annotate(closed), RecordedTarget]);
+const valueSource = (value) => Schema.TaggedUnion({
+	Literal: { value },
+	Input: { name: InputName }
+}).annotate(closed);
+const ValueSource = valueSource(InputValue);
+const TypeValueSource = valueSource(TypeRequest.fields.text);
+const Milliseconds = Schema.Finite.check(Schema.isBetween({
+	minimum: 0,
+	maximum: 6e4
+}));
+const PositiveMilliseconds = Milliseconds.check(Schema.isGreaterThan(0));
+const SettledOptions = Schema.Struct({
+	quietMillis: PositiveMilliseconds,
+	withinMillis: PositiveMilliseconds
+}).check(Schema.makeFilter((value) => value.quietMillis <= value.withinMillis, { title: "quiet interval fits within the original deadline" })).annotate(closed);
+const Origin = TargetUrl.check(Schema.makeFilter((value) => new URL(value).origin === value, { title: "an exact http(s) origin" }));
+/** Conditions are bounded data. No expression, selector, callback or regular expression is accepted. */
+const Precondition = Schema.TaggedUnion({
+	Origin: { value: Origin },
+	Path: { value: Schema.String.check(Schema.isMaxLength(8192), Schema.isPattern(/^\//)) },
+	Text: {
+		value: Schema.String.check(Schema.isMaxLength(131072)),
+		match: Schema.Literals(["equals", "contains"]),
+		scope: MatchScope.pipe(Schema.withDecodingDefaultKey(Effect.succeed("document")))
+	},
+	Viewport: { ...Viewport.fields },
+	Scroll: {
+		x: Schema.Finite,
+		y: Schema.Finite
+	},
+	Geometry: {
+		target: Descriptor,
+		box: ViewportRect
+	}
+}).annotate(closed);
+const Condition = Precondition;
+const Postcondition = Precondition;
+const Conditions = Schema.Array(Precondition).check(Schema.isMinLength(1), Schema.isMaxLength(Limits.conditions));
+const Expectation = Schema.Struct({
+	before: Schema.optionalKey(Conditions),
+	after: Schema.optionalKey(Conditions)
+}).check(Schema.makeFilter((value) => value.before !== void 0 || value.after !== void 0, { title: "at least one precondition or postcondition" })).annotate(closed);
+const ResolveGuard = Schema.TaggedUnion({
+	Strict: {},
+	ViewportContext: { before: Conditions }
+}).annotate(closed);
+/** One variant definition owns both live authority and descriptor-only durable projections. */
+const actionSchema = (target) => {
+	const options = Schema.Array(target).check(Schema.isMinLength(1), Schema.isMaxLength(Limits.options), Schema.makeFilter((values) => new Set(values.map((value) => JSON.stringify(value))).size === values.length, { title: "each option target at most once" }));
+	const fields = Schema.Array(Schema.TaggedUnion({
+		Value: {
+			target,
+			value: ValueSource
+		},
+		Checked: {
+			target,
+			checked: Schema.Boolean
+		},
+		Options: {
+			target,
+			options
+		}
+	}).annotate(closed)).check(Schema.isMinLength(1), Schema.isMaxLength(Limits.fields));
+	return Schema.TaggedUnion({
+		Navigate: { ...NavigateRequest.fields },
+		Click: { target },
+		Hover: { target },
+		Fill: {
+			target,
+			value: ValueSource
+		},
+		Type: {
+			target: Schema.optionalKey(target),
+			text: TypeValueSource
+		},
+		Press: {
+			target: Schema.optionalKey(target),
+			...KeyStroke.fields
+		},
+		Select: {
+			target,
+			options
+		},
+		Scroll: { mode: Schema.TaggedUnion({
+			By: { ...ScrollRequest.fields },
+			To: { target }
+		}).annotate(closed) },
+		PointerMove: { ...PointerMoveRequest.fields },
+		Wheel: { ...WheelRequest.fields },
+		Wait: { mode: Schema.Union([
+			Schema.TaggedStruct("Duration", { milliseconds: Milliseconds }).annotate(closed),
+			Schema.TaggedStruct("Element", {
+				target,
+				state: WaitForElementRequest.fields.state,
+				timeoutMillis: WaitForElementRequest.fields.timeoutMillis
+			}).annotate(closed),
+			Schema.TaggedStruct("Settled", SettledOptions.fields).check(Schema.makeFilter((value) => value.quietMillis <= value.withinMillis)).annotate(closed)
+		]) },
+		FillForm: {
+			fields,
+			submit: Schema.optionalKey(target),
+			options: Schema.optionalKey(FillFormOptions)
+		}
+	}).annotate(closed);
+};
+const Action = actionSchema(ActionTarget);
+const RecordedAction = actionSchema(RecordedTarget);
+const stepSchema = (action) => Schema.Struct({
+	id: StepId,
+	action,
+	expect: Schema.optionalKey(Expectation),
+	resolution: ResolveGuard.pipe(Schema.withDecodingDefaultKey(Effect.succeed({ _tag: "Strict" })))
+}).annotate(closed);
+const Step = stepSchema(Action);
+const RecordedStep = stepSchema(RecordedAction);
+const planSchema = (step) => Schema.Struct({
+	version: Schema.Literal(1),
+	steps: Schema.Array(step).check(Schema.isMinLength(1), Schema.isMaxLength(Limits.steps), Schema.makeFilter((steps) => new Set(steps.map((step) => step.id)).size === steps.length, { title: "unique step identifiers" }))
+}).check(Schema.makeFilter((value) => utf8.encode(JSON.stringify(value)).byteLength <= Limits.encodedBytes, { title: "at most 1 MiB of encoded plan data" })).annotate(closed);
+const LivePlan = planSchema(Step);
+const Plan = planSchema(RecordedStep);
+const CaptureIncompleteReason = Schema.Literals([
+	"FactsUnavailable",
+	"LabelOmitted",
+	"DestinationOmitted",
+	"IdentityOmitted",
+	"FrameUnavailable",
+	"TargetUnavailable",
+	"EvidenceLimit"
+]);
+const BasicDescriptorEvidence = Schema.Struct({
+	path: Schema.Array(Schema.String.check(Schema.isMaxLength(128))).check(Schema.isMaxLength(8)),
+	matchScope: Schema.optionalKey(MatchScope),
+	facts: Schema.optionalKey(ControlFacts)
+}).annotate(closed);
+/** Incomplete contains no executable action member; faithful intent is not a uniqueness promise. */
+const DescriptorCapture = Schema.TaggedUnion({
+	Complete: { action: RecordedAction },
+	Incomplete: {
+		facts: BasicDescriptorEvidence,
+		reason: CaptureIncompleteReason
+	}
+}).annotate(closed);
+//#endregion
+export { Action, ActionTarget, BasicDescriptorEvidence, CaptureIncompleteReason, Condition, DefaultMotionProfile, Descriptor, DescriptorCapture, Expectation, FrameDescriptor, InputBindings, InputName, InputValue, Limits, LivePlan, MatchScope, MotionProfile, Ordinal, Performed, Plan, Postcondition, Precondition, RecordedAction, RecordedStep, RecordedTarget, ResolveGuard, SettledOptions, Step, StepId, ValueSource };
+
+//# sourceMappingURL=PlanData.mjs.map

package/dist/PlanData.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"PlanData.mjs","names":[],"sources":["../src/PlanData.ts"],"sourcesContent":["import { type Cause, Effect, Schema } from \"effect\";\n\nimport {\n  type ActionResult,\n  type Checkpoint,\n  ControlFacts,\n  FillFormOptions,\n  type FillFormResult,\n  FillRequest,\n  Identifier,\n  type InputReceipt,\n  KeyStroke,\n  NavigateRequest,\n  type NavigationResult,\n  ObservedElement,\n  PointerMoveRequest,\n  ScrollRequest,\n  TargetUrl,\n  TypeRequest,\n  Viewport,\n  ViewportRect,\n  WaitForElementRequest,\n  WheelRequest,\n} from \"./BrowserData.ts\";\nimport type { BrowserError, BrowserOutcome, Containment, InitializationError } from \"./Errors.ts\";\n\n/** These bounds limit one authored walk, independently of the owner's remaining allowance. */\nexport const Limits = {\n  steps: 128,\n  identifierLength: 128,\n  encodedBytes: 1024 * 1024,\n  inputBytes: 65536,\n  frameDepth: 8,\n  conditions: 16,\n  fields: 32,\n  options: 64,\n} as const;\n\nconst utf8 = new TextEncoder();\nconst closed = { parseOptions: { onExcessProperty: \"error\" } } as const;\n\nconst motionRange = (maximum: number, minimum = 0) =>\n  Schema.Struct({\n    minMillis: Schema.Finite.check(Schema.isBetween({ minimum, maximum })),\n    maxMillis: Schema.Finite.check(Schema.isBetween({ minimum, maximum })),\n  })\n    .check(\n      Schema.makeFilter((value) => value.minMillis <= value.maxMillis, {\n        title: \"ordered finite duration bounds\",\n      }),\n    )\n    .annotate(closed);\n\n/** Chosen bounded presentation policy; these constants are not scientific calibration. */\nexport const MotionProfile = Schema.Struct({\n  name: Schema.Literal(\"default\"),\n  pointer: Schema.Struct({\n    duration: motionRange(5000),\n    aimInset: Schema.Finite.check(Schema.isBetween({ minimum: 0, maximum: 0.49 })),\n    curvature: Schema.Finite.check(Schema.isBetween({ minimum: 0, maximum: 0.25 })),\n  }).annotate(closed),\n  keys: Schema.Struct({\n    interval: motionRange(1000),\n    hold: motionRange(500),\n  }).annotate(closed),\n  scroll: Schema.Struct({\n    duration: motionRange(5000),\n    intervalMillis: Schema.Finite.check(Schema.isBetween({ minimum: 8, maximum: 250 })),\n  }).annotate(closed),\n}).annotate(closed);\n\nexport type MotionProfile = typeof MotionProfile.Type;\n\nexport const DefaultMotionProfile: MotionProfile = Object.freeze({\n  name: \"default\",\n  pointer: Object.freeze({\n    duration: Object.freeze({ minMillis: 120, maxMillis: 1500 }),\n    aimInset: 0.15,\n    curvature: 0.08,\n  }),\n  keys: Object.freeze({\n    interval: Object.freeze({ minMillis: 30, maxMillis: 70 }),\n    hold: Object.freeze({ minMillis: 10, maxMillis: 30 }),\n  }),\n  scroll: Object.freeze({\n    duration: Object.freeze({ minMillis: 120, maxMillis: 800 }),\n    intervalMillis: 20,\n  }),\n});\n\n/** Serialized style contains policy data, never callbacks, random services or native authority. */\nexport const Performed = Schema.Struct({\n  motion: MotionProfile.pipe(Schema.withDecodingDefaultKey(Effect.succeed(DefaultMotionProfile))),\n  seed: Schema.optionalKey(Schema.Int),\n  slips: Schema.Struct({\n    probability: Schema.Finite.check(Schema.isBetween({ minimum: 0, maximum: 1 })),\n  })\n    .annotate(closed)\n    .pipe(Schema.withDecodingDefaultKey(Effect.succeed({ probability: 0 }))),\n}).annotate(closed);\n\nexport type Performed = typeof Performed.Type;\nexport type PerformedEncoded = typeof Performed.Encoded;\n\nexport const StepId = Identifier.check(Schema.isMaxLength(Limits.identifierLength));\n\nexport type StepId = typeof StepId.Type;\n\nexport const InputName = Identifier.check(Schema.isMaxLength(256));\n\nexport type InputName = typeof InputName.Type;\n\nexport const InputValue = FillRequest.fields.value.check(\n  Schema.makeFilter((value) => utf8.encode(value).byteLength <= Limits.inputBytes, {\n    title: \"at most 65,536 UTF-8 input bytes\",\n  }),\n);\n\nexport type InputValue = typeof InputValue.Type;\n\nexport const InputBindings = Schema.Record(InputName, InputValue)\n  .check(\n    Schema.makeFilter((values) => Object.keys(values).length <= Limits.steps * Limits.fields, {\n      title: \"at most 4,096 named inputs\",\n    }),\n    Schema.makeFilter(\n      (values) => utf8.encode(JSON.stringify(values)).byteLength <= Limits.encodedBytes,\n      {\n        title: \"at most 1 MiB of encoded input bindings\",\n      },\n    ),\n  )\n  .annotate(closed);\n\nexport type InputBindings = typeof InputBindings.Type;\n\nexport const MatchScope = Schema.Literals([\"document\", \"viewport\"]);\n\nexport type MatchScope = typeof MatchScope.Type;\n\n/** Zero-based index, accepted only after the complete filtered candidate count equals `of`. */\nexport const Ordinal = Schema.Struct({\n  index: Schema.Natural,\n  of: Schema.Int.check(Schema.isGreaterThan(0)),\n})\n  .check(Schema.makeFilter((value) => value.index < value.of, { title: \"index less than of\" }))\n  .annotate(closed);\n\nexport type Ordinal = typeof Ordinal.Type;\n\n/** Each segment is resolved among the exact parent's complete child-frame inventory. */\nexport const FrameDescriptor = Schema.Struct({\n  path: Schema.Array(\n    Schema.Struct({\n      name: Schema.NonEmptyString.check(Schema.isMaxLength(256)),\n      url: Schema.String.check(Schema.isMaxLength(8192)),\n      ordinal: Schema.optionalKey(Ordinal),\n    }).annotate(closed),\n  ).check(Schema.isMinLength(1), Schema.isMaxLength(Limits.frameDepth)),\n}).annotate(closed);\n\nexport type FrameDescriptor = typeof FrameDescriptor.Type;\n\n/** Full raw label equality; geometry is diagnostic and never chooses a candidate. */\nexport const Descriptor = Schema.Struct({\n  kind: ControlFacts.fields.kind,\n  label: ControlFacts.fields.label,\n  matchScope: MatchScope.pipe(Schema.withDecodingDefaultKey(Effect.succeed(\"document\"))),\n  destination: Schema.optionalKey(ControlFacts.fields.destination.schema),\n  identity: Schema.optionalKey(\n    Schema.Struct({\n      inputType: ControlFacts.fields.inputType,\n      autocomplete: ControlFacts.fields.autocomplete,\n      formMethod: ControlFacts.fields.formMethod,\n    }).annotate(closed),\n  ),\n  ordinal: Schema.optionalKey(Ordinal),\n  frame: Schema.optionalKey(FrameDescriptor),\n}).annotate(closed);\n\nexport type Descriptor = typeof Descriptor.Type;\nexport type DescriptorEncoded = typeof Descriptor.Encoded;\n\nexport const RecordedTarget = Schema.TaggedStruct(\"Descriptor\", {\n  descriptor: Descriptor,\n}).annotate(closed);\n\nexport type RecordedTarget = typeof RecordedTarget.Type;\n\nexport const ActionTarget = Schema.Union([\n  Schema.TaggedStruct(\"Ref\", { reference: ObservedElement }).annotate(closed),\n  RecordedTarget,\n]);\n\nexport type ActionTarget = typeof ActionTarget.Type;\n\nconst valueSource = <S extends Schema.Constraint>(value: S) =>\n  Schema.TaggedUnion({ Literal: { value }, Input: { name: InputName } }).annotate(closed);\n\nexport const ValueSource = valueSource(InputValue);\n\nexport type ValueSource = typeof ValueSource.Type;\n\nconst TypeValueSource = valueSource(TypeRequest.fields.text);\nconst Milliseconds = Schema.Finite.check(Schema.isBetween({ minimum: 0, maximum: 60000 }));\nconst PositiveMilliseconds = Milliseconds.check(Schema.isGreaterThan(0));\n\nexport const SettledOptions = Schema.Struct({\n  quietMillis: PositiveMilliseconds,\n  withinMillis: PositiveMilliseconds,\n})\n  .check(\n    Schema.makeFilter((value) => value.quietMillis <= value.withinMillis, {\n      title: \"quiet interval fits within the original deadline\",\n    }),\n  )\n  .annotate(closed);\n\nexport type SettledOptions = typeof SettledOptions.Type;\n\nconst Origin = TargetUrl.check(\n  Schema.makeFilter((value) => new URL(value).origin === value, {\n    title: \"an exact http(s) origin\",\n  }),\n);\n\n/** Conditions are bounded data. No expression, selector, callback or regular expression is accepted. */\nexport const Precondition = Schema.TaggedUnion({\n  Origin: { value: Origin },\n  Path: { value: Schema.String.check(Schema.isMaxLength(8192), Schema.isPattern(/^\\//)) },\n  Text: {\n    value: Schema.String.check(Schema.isMaxLength(131072)),\n    match: Schema.Literals([\"equals\", \"contains\"]),\n    scope: MatchScope.pipe(Schema.withDecodingDefaultKey(Effect.succeed(\"document\"))),\n  },\n  Viewport: { ...Viewport.fields },\n  Scroll: { x: Schema.Finite, y: Schema.Finite },\n  Geometry: { target: Descriptor, box: ViewportRect },\n}).annotate(closed);\n\nexport type Precondition = typeof Precondition.Type;\n\nexport const Condition = Precondition;\n\nexport type Condition = typeof Condition.Type;\n\nexport const Postcondition = Precondition;\n\nexport type Postcondition = typeof Postcondition.Type;\n\nconst Conditions = Schema.Array(Precondition).check(\n  Schema.isMinLength(1),\n  Schema.isMaxLength(Limits.conditions),\n);\n\nexport const Expectation = Schema.Struct({\n  before: Schema.optionalKey(Conditions),\n  after: Schema.optionalKey(Conditions),\n})\n  .check(\n    Schema.makeFilter((value) => value.before !== undefined || value.after !== undefined, {\n      title: \"at least one precondition or postcondition\",\n    }),\n  )\n  .annotate(closed);\n\nexport type Expectation = typeof Expectation.Type;\n\nexport const ResolveGuard = Schema.TaggedUnion({\n  Strict: {},\n  ViewportContext: { before: Conditions },\n}).annotate(closed);\n\nexport type ResolveGuard = typeof ResolveGuard.Type;\n\n/** One variant definition owns both live authority and descriptor-only durable projections. */\nconst actionSchema = <T extends Schema.Constraint>(target: T) => {\n  const options = Schema.Array(target).check(\n    Schema.isMinLength(1),\n    Schema.isMaxLength(Limits.options),\n    Schema.makeFilter(\n      (values) => new Set(values.map((value) => JSON.stringify(value))).size === values.length,\n      {\n        title: \"each option target at most once\",\n      },\n    ),\n  );\n\n  const fields = Schema.Array(\n    Schema.TaggedUnion({\n      Value: { target, value: ValueSource },\n      Checked: { target, checked: Schema.Boolean },\n      Options: { target, options },\n    }).annotate(closed),\n  ).check(Schema.isMinLength(1), Schema.isMaxLength(Limits.fields));\n\n  return Schema.TaggedUnion({\n    Navigate: { ...NavigateRequest.fields },\n    Click: { target },\n    Hover: { target },\n    Fill: { target, value: ValueSource },\n    Type: { target: Schema.optionalKey(target), text: TypeValueSource },\n    Press: { target: Schema.optionalKey(target), ...KeyStroke.fields },\n    Select: { target, options },\n    Scroll: {\n      mode: Schema.TaggedUnion({\n        By: { ...ScrollRequest.fields },\n        To: { target },\n      }).annotate(closed),\n    },\n    PointerMove: { ...PointerMoveRequest.fields },\n    Wheel: { ...WheelRequest.fields },\n    Wait: {\n      mode: Schema.Union([\n        Schema.TaggedStruct(\"Duration\", { milliseconds: Milliseconds }).annotate(closed),\n        Schema.TaggedStruct(\"Element\", {\n          target,\n          state: WaitForElementRequest.fields.state,\n          timeoutMillis: WaitForElementRequest.fields.timeoutMillis,\n        }).annotate(closed),\n        Schema.TaggedStruct(\"Settled\", SettledOptions.fields)\n          .check(Schema.makeFilter((value) => value.quietMillis <= value.withinMillis))\n          .annotate(closed),\n      ]),\n    },\n    FillForm: {\n      fields,\n      submit: Schema.optionalKey(target),\n      options: Schema.optionalKey(FillFormOptions),\n    },\n  }).annotate(closed);\n};\n\nexport const Action = actionSchema(ActionTarget);\n\nexport type Action = typeof Action.Type;\n\nexport const RecordedAction = actionSchema(RecordedTarget);\n\nexport type RecordedAction = typeof RecordedAction.Type;\nexport type RecordedActionEncoded = typeof RecordedAction.Encoded;\n\nconst stepSchema = <A extends Schema.Constraint>(action: A) =>\n  Schema.Struct({\n    id: StepId,\n    action,\n    expect: Schema.optionalKey(Expectation),\n    resolution: ResolveGuard.pipe(\n      Schema.withDecodingDefaultKey(Effect.succeed({ _tag: \"Strict\" })),\n    ),\n  }).annotate(closed);\n\nexport const Step = stepSchema(Action);\n\nexport type Step = typeof Step.Type;\n\nexport const RecordedStep = stepSchema(RecordedAction);\n\nexport type RecordedStep = typeof RecordedStep.Type;\n\nconst planSchema = <S extends Schema.Constraint & { readonly Type: { readonly id: string } }>(\n  step: S,\n) =>\n  Schema.Struct({\n    version: Schema.Literal(1),\n    steps: Schema.Array(step).check(\n      Schema.isMinLength(1),\n      Schema.isMaxLength(Limits.steps),\n      Schema.makeFilter((steps) => new Set(steps.map((step) => step.id)).size === steps.length, {\n        title: \"unique step identifiers\",\n      }),\n    ),\n  })\n    .check(\n      Schema.makeFilter(\n        (value) => utf8.encode(JSON.stringify(value)).byteLength <= Limits.encodedBytes,\n        {\n          title: \"at most 1 MiB of encoded plan data\",\n        },\n      ),\n    )\n    .annotate(closed);\n\nexport const LivePlan = planSchema(Step);\n\nexport type LivePlan = typeof LivePlan.Type;\nexport type LivePlanEncoded = typeof LivePlan.Encoded;\n\nexport const Plan = planSchema(RecordedStep);\n\nexport type Plan = typeof Plan.Type;\nexport type PlanEncoded = typeof Plan.Encoded;\n\nexport const CaptureIncompleteReason = Schema.Literals([\n  \"FactsUnavailable\",\n  \"LabelOmitted\",\n  \"DestinationOmitted\",\n  \"IdentityOmitted\",\n  \"FrameUnavailable\",\n  \"TargetUnavailable\",\n  \"EvidenceLimit\",\n]);\n\nexport type CaptureIncompleteReason = typeof CaptureIncompleteReason.Type;\n\nexport const BasicDescriptorEvidence = Schema.Struct({\n  path: Schema.Array(Schema.String.check(Schema.isMaxLength(128))).check(Schema.isMaxLength(8)),\n  matchScope: Schema.optionalKey(MatchScope),\n  facts: Schema.optionalKey(ControlFacts),\n}).annotate(closed);\n\nexport type BasicDescriptorEvidence = typeof BasicDescriptorEvidence.Type;\n\n/** Incomplete contains no executable action member; faithful intent is not a uniqueness promise. */\nexport const DescriptorCapture = Schema.TaggedUnion({\n  Complete: { action: RecordedAction },\n  Incomplete: { facts: BasicDescriptorEvidence, reason: CaptureIncompleteReason },\n}).annotate(closed);\n\nexport type DescriptorCapture = typeof DescriptorCapture.Type;\n\nexport type RunPhase =\n  | \"Preparation\"\n  | \"Resolution\"\n  | \"Precondition\"\n  | \"Input\"\n  | \"Field\"\n  | \"Verification\"\n  | \"Submit\"\n  | \"Postcondition\"\n  | \"Checkpoint\"\n  | \"Settled\"\n  | \"Terminal\";\n\nexport type NativePhase = \"Prepared\" | \"Dispatched\" | \"Acknowledged\" | \"FollowUp\" | \"Terminal\";\n\n/** A preparatory native acknowledgement does not imply completed logical input. */\nexport interface AcknowledgementFact {\n  readonly subphase: \"scroll-into-view\" | \"focus\" | \"key-burst\" | \"scroll-burst\";\n  readonly logicalComplete: boolean;\n}\n\n/** Host-only evidence retains the exact acknowledgement separately from an optional input receipt. */\nexport interface PhaseEvidence {\n  readonly phase: NativePhase | \"InputReceipt\" | \"SubphaseReceipt\";\n  readonly operation?: RunPhase;\n  readonly atMonotonicNanos: bigint;\n  /** A late native reply never repairs an already decided unknown outcome. */\n  readonly late: boolean;\n  readonly input?: InputReceipt;\n  readonly fieldIndex?: number;\n  readonly acknowledgement?: AcknowledgementFact;\n  /** Completed adjacent bursts are summarized; an unresolved dispatch is never folded. */\n  readonly burst?: {\n    readonly subphase: \"key-burst\" | \"scroll-burst\";\n    readonly dispatches: number;\n    readonly acknowledgements: number;\n    readonly firstDispatchedMonotonicNanos: bigint;\n    readonly lastAcknowledgedMonotonicNanos: bigint;\n  };\n  readonly scroll?: {\n    readonly target: {\n      readonly generation: number;\n      readonly pageId: string;\n      readonly frameId: string;\n    };\n    readonly startedMonotonicNanos: bigint;\n    readonly completedMonotonicNanos: bigint;\n    readonly qualification: \"native-call-interval\" | \"exact-node-scroll-into-view\";\n    /** Commanded deltas, when exposed by the original native scroll capability. */\n    readonly delta?: { readonly x: number; readonly y: number };\n  };\n}\n\nexport interface SettledEvidence extends SettledOptions {\n  readonly signals: ReadonlyArray<\"dom-mutation\" | \"scroll\" | \"root-geometry\" | \"viewport\">;\n  readonly observedMillis: number;\n  readonly samples: number;\n  readonly mutations: number;\n  readonly scrollChanges: number;\n  readonly geometryChanges: number;\n  readonly viewportChanges: number;\n  readonly visibility: \"visible\" | \"hidden\";\n}\n\nexport type AttemptResult =\n  | { readonly _tag: \"Refused\"; readonly outcome: \"undispatched\" | \"rejected\" }\n  | { readonly _tag: \"Acknowledged\"; readonly outcome: \"performed\" | \"undispatched\" }\n  | { readonly _tag: \"Unknown\"; readonly outcome: \"unknown\" }\n  | { readonly _tag: \"AcknowledgedWithPostconditionFailure\"; readonly outcome: \"performed\" };\n\n/** Causes stay typed on the host; this value is deliberately not a serialization schema. */\nexport interface StepAttempt<Id extends string = string, E = BrowserError | InitializationError> {\n  readonly id: string;\n  readonly stepId: Id;\n  readonly sourceStep: Step & { readonly id: Id };\n  readonly action: Action[\"_tag\"];\n  readonly phase: RunPhase;\n  readonly phases: ReadonlyArray<PhaseEvidence>;\n  readonly capture?: DescriptorCapture;\n  readonly outcome?: BrowserOutcome;\n  readonly error?: BrowserError | InitializationError;\n  readonly result?: AttemptResult;\n  readonly containment: Containment;\n  readonly completed: boolean;\n  readonly cause?: Cause.Cause<E>;\n  readonly receipt?: RunReceipt;\n  readonly performance?: PerformanceEvidence;\n}\n\n/** Host timing is measured in the original owner's monotonic domain, never a remote clock. */\nexport interface RunTiming {\n  readonly requestedMonotonicNanos: bigint;\n  readonly intendedMonotonicNanos: bigint;\n  readonly startedMonotonicNanos: bigint | null;\n  readonly deadlineMonotonicNanos: bigint;\n  readonly latenessNanos: bigint | null;\n  readonly seed?: number;\n}\n\nexport interface PerformanceEvidence {\n  readonly seed: number;\n  readonly profile: MotionProfile;\n}\n\nexport type RunReceipt =\n  | NavigationResult\n  | ActionResult\n  | InputReceipt\n  | FillFormResult\n  | SettledEvidence\n  | void;\n\nexport interface RanStep<Id extends string = string> {\n  readonly id: Id;\n  readonly sourceStep: Step & { readonly id: Id };\n  readonly receipt: RunReceipt;\n  readonly attempt: StepAttempt<Id>;\n  readonly recorded: DescriptorCapture;\n  readonly expect?: Expectation;\n  readonly resolution: ResolveGuard;\n  readonly checkpoint?: Checkpoint;\n  readonly settled?: SettledEvidence;\n}\n\nexport interface AttemptSnapshot<E = BrowserError | InitializationError> {\n  readonly runId: string;\n  readonly attempts: ReadonlyArray<StepAttempt<string, E>>;\n  readonly completed: ReadonlyArray<RanStep>;\n  readonly terminal: boolean;\n  readonly timing: RunTiming;\n}\n\nexport interface Ran<P extends LivePlan = LivePlan> {\n  readonly runId: string;\n  readonly version: 1;\n  readonly timing: RunTiming;\n  readonly steps: ReadonlyArray<RanStep<P[\"steps\"][number][\"id\"]>>;\n  readonly completion:\n    | { readonly _tag: \"Complete\" }\n    | {\n        readonly _tag: \"Through\";\n        readonly through: string;\n        readonly next: { readonly index: number; readonly stepId: string } | null;\n      };\n}\n"],"mappings":";;;;AA2BA,MAAa,SAAS;CACpB,OAAO;CACP,kBAAkB;CAClB,cAAc;CACd,YAAY;CACZ,YAAY;CACZ,YAAY;CACZ,QAAQ;CACR,SAAS;AACX;AAEA,MAAM,OAAO,IAAI,YAAY;AAC7B,MAAM,SAAS,EAAE,cAAc,EAAE,kBAAkB,QAAQ,EAAE;AAE7D,MAAM,eAAe,SAAiB,UAAU,MAC9C,OAAO,OAAO;CACZ,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU;EAAE;EAAS;CAAQ,CAAC,CAAC;CACrE,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU;EAAE;EAAS;CAAQ,CAAC,CAAC;AACvE,CAAC,CAAC,CACC,MACC,OAAO,YAAY,UAAU,MAAM,aAAa,MAAM,WAAW,EAC/D,OAAO,iCACT,CAAC,CACH,CAAC,CACA,SAAS,MAAM;;AAGpB,MAAa,gBAAgB,OAAO,OAAO;CACzC,MAAM,OAAO,QAAQ,SAAS;CAC9B,SAAS,OAAO,OAAO;EACrB,UAAU,YAAY,GAAI;EAC1B,UAAU,OAAO,OAAO,MAAM,OAAO,UAAU;GAAE,SAAS;GAAG,SAAS;EAAK,CAAC,CAAC;EAC7E,WAAW,OAAO,OAAO,MAAM,OAAO,UAAU;GAAE,SAAS;GAAG,SAAS;EAAK,CAAC,CAAC;CAChF,CAAC,CAAC,CAAC,SAAS,MAAM;CAClB,MAAM,OAAO,OAAO;EAClB,UAAU,YAAY,GAAI;EAC1B,MAAM,YAAY,GAAG;CACvB,CAAC,CAAC,CAAC,SAAS,MAAM;CAClB,QAAQ,OAAO,OAAO;EACpB,UAAU,YAAY,GAAI;EAC1B,gBAAgB,OAAO,OAAO,MAAM,OAAO,UAAU;GAAE,SAAS;GAAG,SAAS;EAAI,CAAC,CAAC;CACpF,CAAC,CAAC,CAAC,SAAS,MAAM;AACpB,CAAC,CAAC,CAAC,SAAS,MAAM;AAIlB,MAAa,uBAAsC,OAAO,OAAO;CAC/D,MAAM;CACN,SAAS,OAAO,OAAO;EACrB,UAAU,OAAO,OAAO;GAAE,WAAW;GAAK,WAAW;EAAK,CAAC;EAC3D,UAAU;EACV,WAAW;CACb,CAAC;CACD,MAAM,OAAO,OAAO;EAClB,UAAU,OAAO,OAAO;GAAE,WAAW;GAAI,WAAW;EAAG,CAAC;EACxD,MAAM,OAAO,OAAO;GAAE,WAAW;GAAI,WAAW;EAAG,CAAC;CACtD,CAAC;CACD,QAAQ,OAAO,OAAO;EACpB,UAAU,OAAO,OAAO;GAAE,WAAW;GAAK,WAAW;EAAI,CAAC;EAC1D,gBAAgB;CAClB,CAAC;AACH,CAAC;;AAGD,MAAa,YAAY,OAAO,OAAO;CACrC,QAAQ,cAAc,KAAK,OAAO,uBAAuB,OAAO,QAAQ,oBAAoB,CAAC,CAAC;CAC9F,MAAM,OAAO,YAAY,OAAO,GAAG;CACnC,OAAO,OAAO,OAAO,EACnB,aAAa,OAAO,OAAO,MAAM,OAAO,UAAU;EAAE,SAAS;EAAG,SAAS;CAAE,CAAC,CAAC,EAC/E,CAAC,CAAC,CACC,SAAS,MAAM,CAAC,CAChB,KAAK,OAAO,uBAAuB,OAAO,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC,CAAC,SAAS,MAAM;AAKlB,MAAa,SAAS,WAAW,MAAM,OAAO,YAAY,OAAO,gBAAgB,CAAC;AAIlF,MAAa,YAAY,WAAW,MAAM,OAAO,YAAY,GAAG,CAAC;AAIjE,MAAa,aAAa,YAAY,OAAO,MAAM,MACjD,OAAO,YAAY,UAAU,KAAK,OAAO,KAAK,CAAC,CAAC,cAAc,OAAO,YAAY,EAC/E,OAAO,mCACT,CAAC,CACH;AAIA,MAAa,gBAAgB,OAAO,OAAO,WAAW,UAAU,CAAC,CAC9D,MACC,OAAO,YAAY,WAAW,OAAO,KAAK,MAAM,CAAC,CAAC,UAAU,OAAO,QAAQ,OAAO,QAAQ,EACxF,OAAO,6BACT,CAAC,GACD,OAAO,YACJ,WAAW,KAAK,OAAO,KAAK,UAAU,MAAM,CAAC,CAAC,CAAC,cAAc,OAAO,cACrE,EACE,OAAO,0CACT,CACF,CACF,CAAC,CACA,SAAS,MAAM;AAIlB,MAAa,aAAa,OAAO,SAAS,CAAC,YAAY,UAAU,CAAC;;AAKlE,MAAa,UAAU,OAAO,OAAO;CACnC,OAAO,OAAO;CACd,IAAI,OAAO,IAAI,MAAM,OAAO,cAAc,CAAC,CAAC;AAC9C,CAAC,CAAC,CACC,MAAM,OAAO,YAAY,UAAU,MAAM,QAAQ,MAAM,IAAI,EAAE,OAAO,qBAAqB,CAAC,CAAC,CAAC,CAC5F,SAAS,MAAM;;AAKlB,MAAa,kBAAkB,OAAO,OAAO,EAC3C,MAAM,OAAO,MACX,OAAO,OAAO;CACZ,MAAM,OAAO,eAAe,MAAM,OAAO,YAAY,GAAG,CAAC;CACzD,KAAK,OAAO,OAAO,MAAM,OAAO,YAAY,IAAI,CAAC;CACjD,SAAS,OAAO,YAAY,OAAO;AACrC,CAAC,CAAC,CAAC,SAAS,MAAM,CACpB,CAAC,CAAC,MAAM,OAAO,YAAY,CAAC,GAAG,OAAO,YAAY,OAAO,UAAU,CAAC,EACtE,CAAC,CAAC,CAAC,SAAS,MAAM;;AAKlB,MAAa,aAAa,OAAO,OAAO;CACtC,MAAM,aAAa,OAAO;CAC1B,OAAO,aAAa,OAAO;CAC3B,YAAY,WAAW,KAAK,OAAO,uBAAuB,OAAO,QAAQ,UAAU,CAAC,CAAC;CACrF,aAAa,OAAO,YAAY,aAAa,OAAO,YAAY,MAAM;CACtE,UAAU,OAAO,YACf,OAAO,OAAO;EACZ,WAAW,aAAa,OAAO;EAC/B,cAAc,aAAa,OAAO;EAClC,YAAY,aAAa,OAAO;CAClC,CAAC,CAAC,CAAC,SAAS,MAAM,CACpB;CACA,SAAS,OAAO,YAAY,OAAO;CACnC,OAAO,OAAO,YAAY,eAAe;AAC3C,CAAC,CAAC,CAAC,SAAS,MAAM;AAKlB,MAAa,iBAAiB,OAAO,aAAa,cAAc,EAC9D,YAAY,WACd,CAAC,CAAC,CAAC,SAAS,MAAM;AAIlB,MAAa,eAAe,OAAO,MAAM,CACvC,OAAO,aAAa,OAAO,EAAE,WAAW,gBAAgB,CAAC,CAAC,CAAC,SAAS,MAAM,GAC1E,cACF,CAAC;AAID,MAAM,eAA4C,UAChD,OAAO,YAAY;CAAE,SAAS,EAAE,MAAM;CAAG,OAAO,EAAE,MAAM,UAAU;AAAE,CAAC,CAAC,CAAC,SAAS,MAAM;AAExF,MAAa,cAAc,YAAY,UAAU;AAIjD,MAAM,kBAAkB,YAAY,YAAY,OAAO,IAAI;AAC3D,MAAM,eAAe,OAAO,OAAO,MAAM,OAAO,UAAU;CAAE,SAAS;CAAG,SAAS;AAAM,CAAC,CAAC;AACzF,MAAM,uBAAuB,aAAa,MAAM,OAAO,cAAc,CAAC,CAAC;AAEvE,MAAa,iBAAiB,OAAO,OAAO;CAC1C,aAAa;CACb,cAAc;AAChB,CAAC,CAAC,CACC,MACC,OAAO,YAAY,UAAU,MAAM,eAAe,MAAM,cAAc,EACpE,OAAO,mDACT,CAAC,CACH,CAAC,CACA,SAAS,MAAM;AAIlB,MAAM,SAAS,UAAU,MACvB,OAAO,YAAY,UAAU,IAAI,IAAI,KAAK,CAAC,CAAC,WAAW,OAAO,EAC5D,OAAO,0BACT,CAAC,CACH;;AAGA,MAAa,eAAe,OAAO,YAAY;CAC7C,QAAQ,EAAE,OAAO,OAAO;CACxB,MAAM,EAAE,OAAO,OAAO,OAAO,MAAM,OAAO,YAAY,IAAI,GAAG,OAAO,UAAU,KAAK,CAAC,EAAE;CACtF,MAAM;EACJ,OAAO,OAAO,OAAO,MAAM,OAAO,YAAY,MAAM,CAAC;EACrD,OAAO,OAAO,SAAS,CAAC,UAAU,UAAU,CAAC;EAC7C,OAAO,WAAW,KAAK,OAAO,uBAAuB,OAAO,QAAQ,UAAU,CAAC,CAAC;CAClF;CACA,UAAU,EAAE,GAAG,SAAS,OAAO;CAC/B,QAAQ;EAAE,GAAG,OAAO;EAAQ,GAAG,OAAO;CAAO;CAC7C,UAAU;EAAE,QAAQ;EAAY,KAAK;CAAa;AACpD,CAAC,CAAC,CAAC,SAAS,MAAM;AAIlB,MAAa,YAAY;AAIzB,MAAa,gBAAgB;AAI7B,MAAM,aAAa,OAAO,MAAM,YAAY,CAAC,CAAC,MAC5C,OAAO,YAAY,CAAC,GACpB,OAAO,YAAY,OAAO,UAAU,CACtC;AAEA,MAAa,cAAc,OAAO,OAAO;CACvC,QAAQ,OAAO,YAAY,UAAU;CACrC,OAAO,OAAO,YAAY,UAAU;AACtC,CAAC,CAAC,CACC,MACC,OAAO,YAAY,UAAU,MAAM,WAAW,KAAA,KAAa,MAAM,UAAU,KAAA,GAAW,EACpF,OAAO,6CACT,CAAC,CACH,CAAC,CACA,SAAS,MAAM;AAIlB,MAAa,eAAe,OAAO,YAAY;CAC7C,QAAQ,CAAC;CACT,iBAAiB,EAAE,QAAQ,WAAW;AACxC,CAAC,CAAC,CAAC,SAAS,MAAM;;AAKlB,MAAM,gBAA6C,WAAc;CAC/D,MAAM,UAAU,OAAO,MAAM,MAAM,CAAC,CAAC,MACnC,OAAO,YAAY,CAAC,GACpB,OAAO,YAAY,OAAO,OAAO,GACjC,OAAO,YACJ,WAAW,IAAI,IAAI,OAAO,KAAK,UAAU,KAAK,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,QAClF,EACE,OAAO,kCACT,CACF,CACF;CAEA,MAAM,SAAS,OAAO,MACpB,OAAO,YAAY;EACjB,OAAO;GAAE;GAAQ,OAAO;EAAY;EACpC,SAAS;GAAE;GAAQ,SAAS,OAAO;EAAQ;EAC3C,SAAS;GAAE;GAAQ;EAAQ;CAC7B,CAAC,CAAC,CAAC,SAAS,MAAM,CACpB,CAAC,CAAC,MAAM,OAAO,YAAY,CAAC,GAAG,OAAO,YAAY,OAAO,MAAM,CAAC;CAEhE,OAAO,OAAO,YAAY;EACxB,UAAU,EAAE,GAAG,gBAAgB,OAAO;EACtC,OAAO,EAAE,OAAO;EAChB,OAAO,EAAE,OAAO;EAChB,MAAM;GAAE;GAAQ,OAAO;EAAY;EACnC,MAAM;GAAE,QAAQ,OAAO,YAAY,MAAM;GAAG,MAAM;EAAgB;EAClE,OAAO;GAAE,QAAQ,OAAO,YAAY,MAAM;GAAG,GAAG,UAAU;EAAO;EACjE,QAAQ;GAAE;GAAQ;EAAQ;EAC1B,QAAQ,EACN,MAAM,OAAO,YAAY;GACvB,IAAI,EAAE,GAAG,cAAc,OAAO;GAC9B,IAAI,EAAE,OAAO;EACf,CAAC,CAAC,CAAC,SAAS,MAAM,EACpB;EACA,aAAa,EAAE,GAAG,mBAAmB,OAAO;EAC5C,OAAO,EAAE,GAAG,aAAa,OAAO;EAChC,MAAM,EACJ,MAAM,OAAO,MAAM;GACjB,OAAO,aAAa,YAAY,EAAE,cAAc,aAAa,CAAC,CAAC,CAAC,SAAS,MAAM;GAC/E,OAAO,aAAa,WAAW;IAC7B;IACA,OAAO,sBAAsB,OAAO;IACpC,eAAe,sBAAsB,OAAO;GAC9C,CAAC,CAAC,CAAC,SAAS,MAAM;GAClB,OAAO,aAAa,WAAW,eAAe,MAAM,CAAC,CAClD,MAAM,OAAO,YAAY,UAAU,MAAM,eAAe,MAAM,YAAY,CAAC,CAAC,CAC5E,SAAS,MAAM;EACpB,CAAC,EACH;EACA,UAAU;GACR;GACA,QAAQ,OAAO,YAAY,MAAM;GACjC,SAAS,OAAO,YAAY,eAAe;EAC7C;CACF,CAAC,CAAC,CAAC,SAAS,MAAM;AACpB;AAEA,MAAa,SAAS,aAAa,YAAY;AAI/C,MAAa,iBAAiB,aAAa,cAAc;AAKzD,MAAM,cAA2C,WAC/C,OAAO,OAAO;CACZ,IAAI;CACJ;CACA,QAAQ,OAAO,YAAY,WAAW;CACtC,YAAY,aAAa,KACvB,OAAO,uBAAuB,OAAO,QAAQ,EAAE,MAAM,SAAS,CAAC,CAAC,CAClE;AACF,CAAC,CAAC,CAAC,SAAS,MAAM;AAEpB,MAAa,OAAO,WAAW,MAAM;AAIrC,MAAa,eAAe,WAAW,cAAc;AAIrD,MAAM,cACJ,SAEA,OAAO,OAAO;CACZ,SAAS,OAAO,QAAQ,CAAC;CACzB,OAAO,OAAO,MAAM,IAAI,CAAC,CAAC,MACxB,OAAO,YAAY,CAAC,GACpB,OAAO,YAAY,OAAO,KAAK,GAC/B,OAAO,YAAY,UAAU,IAAI,IAAI,MAAM,KAAK,SAAS,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,MAAM,QAAQ,EACxF,OAAO,0BACT,CAAC,CACH;AACF,CAAC,CAAC,CACC,MACC,OAAO,YACJ,UAAU,KAAK,OAAO,KAAK,UAAU,KAAK,CAAC,CAAC,CAAC,cAAc,OAAO,cACnE,EACE,OAAO,qCACT,CACF,CACF,CAAC,CACA,SAAS,MAAM;AAEpB,MAAa,WAAW,WAAW,IAAI;AAKvC,MAAa,OAAO,WAAW,YAAY;AAK3C,MAAa,0BAA0B,OAAO,SAAS;CACrD;CACA;CACA;CACA;CACA;CACA;CACA;AACF,CAAC;AAID,MAAa,0BAA0B,OAAO,OAAO;CACnD,MAAM,OAAO,MAAM,OAAO,OAAO,MAAM,OAAO,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,OAAO,YAAY,CAAC,CAAC;CAC5F,YAAY,OAAO,YAAY,UAAU;CACzC,OAAO,OAAO,YAAY,YAAY;AACxC,CAAC,CAAC,CAAC,SAAS,MAAM;;AAKlB,MAAa,oBAAoB,OAAO,YAAY;CAClD,UAAU,EAAE,QAAQ,eAAe;CACnC,YAAY;EAAE,OAAO;EAAyB,QAAQ;CAAwB;AAChF,CAAC,CAAC,CAAC,SAAS,MAAM"}

package/dist/PlanInput-BJcPPncs.mjs

@@ -0,0 +1,75 @@
+import { ObservedElement, ViewportPoint, ViewportRect } from "./BrowserData.mjs";
+import { Limits } from "./PlanData.mjs";
+import { Effect, Predicate, Schema } from "effect";
+//#region src/internal/browser/PlanInput.ts
+const utf8 = new TextEncoder();
+const maximumNodes = 16384;
+const maximumDepth = 16;
+const maximumKeys = 4096;
+const dataPrototypes = /* @__PURE__ */ new Set([
+	null,
+	Object.prototype,
+	ObservedElement.prototype,
+	ViewportPoint.prototype,
+	ViewportRect.prototype
+]);
+/** Cost admission precedes the semantic decoder; refinements alone run after child parsing. */
+const boundedInput = (value) => {
+	let bytes = 0;
+	let nodes = 0;
+	const ancestors = /* @__PURE__ */ new Set();
+	const add = (count) => {
+		bytes += count;
+		return bytes <= Limits.encodedBytes;
+	};
+	const string = (text) => text.length <= Limits.encodedBytes && add(utf8.encode(JSON.stringify(text)).byteLength);
+	const visit = (input, depth) => {
+		if (++nodes > maximumNodes || depth > maximumDepth) return false;
+		if (input === null) return add(4);
+		if (typeof input === "string") return string(input);
+		if (typeof input === "boolean") return add(input ? 4 : 5);
+		if (typeof input === "number") return Number.isFinite(input) && add(JSON.stringify(input).length);
+		if (!Predicate.isObjectKeyword(input) || ancestors.has(input)) return false;
+		ancestors.add(input);
+		if (Array.isArray(input)) {
+			if (input.length > Limits.steps || !add(2 + Math.max(0, input.length - 1))) return false;
+			if (Reflect.ownKeys(input).length !== input.length + 1) return false;
+			for (let index = 0; index < input.length; index++) {
+				const property = Object.getOwnPropertyDescriptor(input, String(index));
+				if (property === void 0 || !("value" in property) || !visit(property.value, depth + 1)) return false;
+			}
+		} else {
+			const prototype = Object.getPrototypeOf(input);
+			if (prototype !== null && !Predicate.isObjectKeyword(prototype) || !dataPrototypes.has(prototype)) return false;
+			const keys = Reflect.ownKeys(input);
+			if (keys.length > maximumKeys || !add(2 + Math.max(0, keys.length - 1))) return false;
+			for (const key of keys) {
+				if (typeof key !== "string") return false;
+				const property = Object.getOwnPropertyDescriptor(input, key);
+				if (property === void 0 || !property.enumerable || !("value" in property) || !string(key) || !add(1) || !visit(property.value, depth + 1)) return false;
+			}
+		}
+		ancestors.delete(input);
+		return true;
+	};
+	try {
+		if (Predicate.isObject(value)) {
+			const steps = Object.getOwnPropertyDescriptor(value, "steps");
+			if (steps !== void 0 && (!("value" in steps) || Array.isArray(steps.value) && steps.value.length > Limits.steps)) return false;
+		}
+		return visit(value, 0);
+	} catch {
+		return false;
+	}
+};
+const CostBound = Schema.Unknown.check(Schema.makeFilter(boundedInput, { title: "bounded finite JSON plan/input data" }));
+/** This shared boundary never traverses an oversized step array in the semantic decoder. */
+const guardedDecode = (schema) => {
+	const admit = Schema.decodeUnknownEffect(CostBound);
+	const decode = Schema.decodeUnknownEffect(schema);
+	return (value, options) => admit(value).pipe(Effect.flatMap((input) => decode(input, options)));
+};
+//#endregion
+export { guardedDecode as t };
+
+//# sourceMappingURL=PlanInput-BJcPPncs.mjs.map

package/dist/PlanInput-BJcPPncs.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"PlanInput-BJcPPncs.mjs","names":[],"sources":["../src/internal/browser/PlanInput.ts"],"sourcesContent":["import { Effect, Predicate, Schema, type SchemaAST } from \"effect\";\n\nimport { ObservedElement, ViewportPoint, ViewportRect } from \"../../BrowserData.ts\";\nimport { Limits } from \"../../PlanData.ts\";\n\nconst utf8 = new TextEncoder();\nconst maximumNodes = 16384;\nconst maximumDepth = 16;\nconst maximumKeys = 4096;\n\nconst dataPrototypes = new Set<object | null>([\n  null,\n  Object.prototype,\n  ObservedElement.prototype,\n  ViewportPoint.prototype,\n  ViewportRect.prototype,\n]);\n\n/** Cost admission precedes the semantic decoder; refinements alone run after child parsing. */\nexport const boundedInput = (value: unknown): boolean => {\n  let bytes = 0;\n  let nodes = 0;\n  const ancestors = new Set<object>();\n\n  const add = (count: number): boolean => {\n    bytes += count;\n\n    return bytes <= Limits.encodedBytes;\n  };\n\n  const string = (text: string): boolean =>\n    text.length <= Limits.encodedBytes && add(utf8.encode(JSON.stringify(text)).byteLength);\n\n  const visit = (input: unknown, depth: number): boolean => {\n    if (++nodes > maximumNodes || depth > maximumDepth) return false;\n    if (input === null) return add(4);\n    if (typeof input === \"string\") return string(input);\n    if (typeof input === \"boolean\") return add(input ? 4 : 5);\n    if (typeof input === \"number\")\n      return Number.isFinite(input) && add(JSON.stringify(input).length);\n    if (!Predicate.isObjectKeyword(input) || ancestors.has(input)) return false;\n    ancestors.add(input);\n\n    if (Array.isArray(input)) {\n      if (input.length > Limits.steps || !add(2 + Math.max(0, input.length - 1))) return false;\n      const keys = Reflect.ownKeys(input);\n\n      // Dense JSON arrays have precisely their indices and the intrinsic length member.\n      if (keys.length !== input.length + 1) return false;\n      for (let index = 0; index < input.length; index++) {\n        const property = Object.getOwnPropertyDescriptor(input, String(index));\n\n        if (property === undefined || !(\"value\" in property) || !visit(property.value, depth + 1))\n          return false;\n      }\n    } else {\n      const prototype: unknown = Object.getPrototypeOf(input);\n\n      if (\n        (prototype !== null && !Predicate.isObjectKeyword(prototype)) ||\n        !dataPrototypes.has(prototype)\n      )\n        return false;\n      const keys = Reflect.ownKeys(input);\n\n      if (keys.length > maximumKeys || !add(2 + Math.max(0, keys.length - 1))) return false;\n      for (const key of keys) {\n        if (typeof key !== \"string\") return false;\n        const property = Object.getOwnPropertyDescriptor(input, key);\n\n        if (\n          property === undefined ||\n          !property.enumerable ||\n          !(\"value\" in property) ||\n          !string(key) ||\n          !add(1) ||\n          !visit(property.value, depth + 1)\n        )\n          return false;\n      }\n    }\n    ancestors.delete(input);\n\n    return true;\n  };\n\n  try {\n    if (Predicate.isObject(value)) {\n      const steps = Object.getOwnPropertyDescriptor(value, \"steps\");\n\n      if (\n        steps !== undefined &&\n        (!(\"value\" in steps) || (Array.isArray(steps.value) && steps.value.length > Limits.steps))\n      )\n        return false;\n    }\n\n    return visit(value, 0);\n  } catch {\n    return false;\n  }\n};\n\nconst CostBound = Schema.Unknown.check(\n  Schema.makeFilter(boundedInput, { title: \"bounded finite JSON plan/input data\" }),\n);\n\n/** This shared boundary never traverses an oversized step array in the semantic decoder. */\nexport const guardedDecode = <S extends Schema.Constraint>(schema: S) => {\n  const admit = Schema.decodeUnknownEffect(CostBound);\n  const decode = Schema.decodeUnknownEffect(schema);\n\n  return (value: unknown, options?: SchemaAST.ParseOptions) =>\n    admit(value).pipe(Effect.flatMap((input) => decode(input, options)));\n};\n"],"mappings":";;;;AAKA,MAAM,OAAO,IAAI,YAAY;AAC7B,MAAM,eAAe;AACrB,MAAM,eAAe;AACrB,MAAM,cAAc;AAEpB,MAAM,iCAAiB,IAAI,IAAmB;CAC5C;CACA,OAAO;CACP,gBAAgB;CAChB,cAAc;CACd,aAAa;AACf,CAAC;;AAGD,MAAa,gBAAgB,UAA4B;CACvD,IAAI,QAAQ;CACZ,IAAI,QAAQ;CACZ,MAAM,4BAAY,IAAI,IAAY;CAElC,MAAM,OAAO,UAA2B;EACtC,SAAS;EAET,OAAO,SAAS,OAAO;CACzB;CAEA,MAAM,UAAU,SACd,KAAK,UAAU,OAAO,gBAAgB,IAAI,KAAK,OAAO,KAAK,UAAU,IAAI,CAAC,CAAC,CAAC,UAAU;CAExF,MAAM,SAAS,OAAgB,UAA2B;EACxD,IAAI,EAAE,QAAQ,gBAAgB,QAAQ,cAAc,OAAO;EAC3D,IAAI,UAAU,MAAM,OAAO,IAAI,CAAC;EAChC,IAAI,OAAO,UAAU,UAAU,OAAO,OAAO,KAAK;EAClD,IAAI,OAAO,UAAU,WAAW,OAAO,IAAI,QAAQ,IAAI,CAAC;EACxD,IAAI,OAAO,UAAU,UACnB,OAAO,OAAO,SAAS,KAAK,KAAK,IAAI,KAAK,UAAU,KAAK,CAAC,CAAC,MAAM;EACnE,IAAI,CAAC,UAAU,gBAAgB,KAAK,KAAK,UAAU,IAAI,KAAK,GAAG,OAAO;EACtE,UAAU,IAAI,KAAK;EAEnB,IAAI,MAAM,QAAQ,KAAK,GAAG;GACxB,IAAI,MAAM,SAAS,OAAO,SAAS,CAAC,IAAI,IAAI,KAAK,IAAI,GAAG,MAAM,SAAS,CAAC,CAAC,GAAG,OAAO;GAInF,IAHa,QAAQ,QAAQ,KAGtB,CAAC,CAAC,WAAW,MAAM,SAAS,GAAG,OAAO;GAC7C,KAAK,IAAI,QAAQ,GAAG,QAAQ,MAAM,QAAQ,SAAS;IACjD,MAAM,WAAW,OAAO,yBAAyB,OAAO,OAAO,KAAK,CAAC;IAErE,IAAI,aAAa,KAAA,KAAa,EAAE,WAAW,aAAa,CAAC,MAAM,SAAS,OAAO,QAAQ,CAAC,GACtF,OAAO;GACX;EACF,OAAO;GACL,MAAM,YAAqB,OAAO,eAAe,KAAK;GAEtD,IACG,cAAc,QAAQ,CAAC,UAAU,gBAAgB,SAAS,KAC3D,CAAC,eAAe,IAAI,SAAS,GAE7B,OAAO;GACT,MAAM,OAAO,QAAQ,QAAQ,KAAK;GAElC,IAAI,KAAK,SAAS,eAAe,CAAC,IAAI,IAAI,KAAK,IAAI,GAAG,KAAK,SAAS,CAAC,CAAC,GAAG,OAAO;GAChF,KAAK,MAAM,OAAO,MAAM;IACtB,IAAI,OAAO,QAAQ,UAAU,OAAO;IACpC,MAAM,WAAW,OAAO,yBAAyB,OAAO,GAAG;IAE3D,IACE,aAAa,KAAA,KACb,CAAC,SAAS,cACV,EAAE,WAAW,aACb,CAAC,OAAO,GAAG,KACX,CAAC,IAAI,CAAC,KACN,CAAC,MAAM,SAAS,OAAO,QAAQ,CAAC,GAEhC,OAAO;GACX;EACF;EACA,UAAU,OAAO,KAAK;EAEtB,OAAO;CACT;CAEA,IAAI;EACF,IAAI,UAAU,SAAS,KAAK,GAAG;GAC7B,MAAM,QAAQ,OAAO,yBAAyB,OAAO,OAAO;GAE5D,IACE,UAAU,KAAA,MACT,EAAE,WAAW,UAAW,MAAM,QAAQ,MAAM,KAAK,KAAK,MAAM,MAAM,SAAS,OAAO,QAEnF,OAAO;EACX;EAEA,OAAO,MAAM,OAAO,CAAC;CACvB,QAAQ;EACN,OAAO;CACT;AACF;AAEA,MAAM,YAAY,OAAO,QAAQ,MAC/B,OAAO,WAAW,cAAc,EAAE,OAAO,sCAAsC,CAAC,CAClF;;AAGA,MAAa,iBAA8C,WAAc;CACvE,MAAM,QAAQ,OAAO,oBAAoB,SAAS;CAClD,MAAM,SAAS,OAAO,oBAAoB,MAAM;CAEhD,QAAQ,OAAgB,YACtB,MAAM,KAAK,CAAC,CAAC,KAAK,OAAO,SAAS,UAAU,OAAO,OAAO,OAAO,CAAC,CAAC;AACvE"}