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

package/dist/Browser-BF9_sORP.d.mts

@@ -0,0 +1,388 @@
+import { f as Plan, g as ReadinessOutcome, s as Bootstrap_d_exports, t as BindingDiagnostics } from "./Bootstrap-B9UUXsvF.mjs";
+import { BrowserError, BrowserOperation, Containment, InitializationError } from "./Errors.mjs";
+import { $ as Target, A as NavigationResult, B as PressRequest, D as KeyStroke, G as ScreenshotResult, I as PageInfo, K as ScrollRequest, M as ObservationOptions, P as ObservedElement, Q as StartNavigationRequest, R as PointerMoveRequest, V as ReadTextRequest, W as ScreenshotRequest, Z as SessionStatus, a as BrowserDiagnostics, b as HoverRequest, c as CheckpointOptions, ct as WaitForElementRequest, f as FillFormOptions, h as FillRequest, it as Viewport, j as Observation, k as NavigateRequest, l as ClickRequest, lt as WheelRequest, m as FillFormResult, p as FillFormRequest, q as SelectOptions, rt as TypeRequest, s as Checkpoint, t as ActionResult, tt as TextResult, u as ControlFacts, w as InputReceipt, y as FrameInfo } from "./BrowserData-CPIIIHol.mjs";
+import { A as PlanEncoded, D as PerformedEncoded, K as StepAttempt, N as Ran, P as RanStep, U as SettledEvidence, a as AttemptSnapshot, b as LivePlanEncoded, f as DescriptorEncoded, h as InputBindings, k as Plan$1, y as LivePlan, z as ResolveGuard } from "./PlanData-B668RxbQ.mjs";
+import { R as TimelineError, y as PageEvent } from "./TimelineData-BsOn-YGZ.mjs";
+import { t as Timeline } from "./Timeline-fV22Xk-S.mjs";
+import { Duration, Effect, Schema, Scope, Stream } from "effect";
+//#region src/Plan.d.ts
+/** All execution stays on the issued Page/Frame and its original scoped owner. */
+interface RunOptions extends OperationOptions {
+  readonly style?: "plain" | PerformedEncoded;
+  /** Intended boundary in this owner's original monotonic runtime, measured when executed. */
+  readonly startAt?: bigint;
+  readonly within?: Duration.Input;
+  readonly through?: string;
+  readonly inputs?: InputBindings;
+  readonly policy?: ElementAdmission;
+  readonly checkpoint?: CheckpointOptions;
+}
+/**
+ * Check and normalize host run options exactly as `page.start` and `page.run` will, without
+ * exposing private deadline/queue accounting fields. A caller that builds options from untrusted
+ * configuration can fail early with the same `Configuration` refusal.
+ */
+declare const checkRunOptions: (value: unknown) => Effect.Effect<RunOptions, BrowserError>;
+interface StepFailure {
+  readonly stage: "PreparationFailed" | "AttemptFailed";
+  readonly stepId?: string;
+  readonly completed: ReadonlyArray<RanStep>;
+  readonly attempt?: StepAttempt;
+  readonly error: BrowserError;
+}
+declare const StepFailed_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+  readonly _tag: "StepFailed";
+} & Readonly<A>;
+/**
+ * Live host failure evidence is not a durable plan or a serialization schema. Its message names
+ * only the stage, step and reason; the evidence fields can retain authored literal values, so
+ * log the message rather than the whole value.
+ */
+declare class StepFailed extends StepFailed_base<StepFailure & {
+  readonly message: string;
+}> {
+  constructor(failure: StepFailure);
+}
+declare const RecordingIncomplete_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+  readonly _tag: "RecordingIncomplete";
+} & Readonly<A>;
+declare class RecordingIncomplete extends RecordingIncomplete_base<{
+  readonly stepId?: string;
+  readonly reason: "InvalidThrough" | "NoCompletedSteps" | "IncompleteCapture" | "Unacknowledged";
+}> {}
+/** A retained value keeps its evidence after interruption; joining never submits another walk. */
+interface RunOperation {
+  readonly id: string;
+  readonly attempts: Effect.Effect<AttemptSnapshot>;
+  readonly completed: Effect.Effect<Ran, StepFailed>;
+  readonly cancel: Effect.Effect<void>;
+}
+interface PlanOperations {
+  readonly start: (plan: LivePlanEncoded | PlanEncoded, options?: RunOptions) => Effect.Effect<RunOperation, StepFailed, Scope.Scope>;
+  readonly run: (plan: LivePlanEncoded | PlanEncoded, options?: RunOptions) => Effect.Effect<Ran, StepFailed>;
+}
+/** Validate and normalize authored data, including explicit document/Strict defaults. */
+declare const make: (value: LivePlanEncoded) => Effect.Effect<LivePlan, Schema.SchemaError>;
+/** Descriptor-only ingress for stored intent; it never decodes a live Ref. */
+declare const decode: (value: unknown) => Effect.Effect<Plan$1, Schema.SchemaError>;
+/** The normalized scope and guards are always included in encoded durable intent. */
+declare const encode: (value: Plan$1) => Effect.Effect<PlanEncoded, Schema.SchemaError>;
+/** A named input a plan reads: the step and action path that read it, and how it is used. */
+interface InputSlot {
+  readonly name: string;
+  readonly stepId: string;
+  readonly path: ReadonlyArray<string>;
+  /** `text` is typed key by key into focus; `value` replaces a field's whole contents. */
+  readonly kind: "text" | "value";
+}
+/**
+ * The named inputs a stored or live plan reads, in step order. A recorded plan's literal fill and
+ * type values are such slots; bind each `name` in `inputs` to replay it.
+ */
+declare const inputSlots: (plan: Plan$1 | LivePlan) => ReadonlyArray<InputSlot>;
+/**
+ * Project only acknowledged, faithfully captured intent. An explicitly chosen completed prefix
+ * can be retained after a later failure by passing the operation's host snapshot and `through`.
+ * Literal input values are replaced during capture with deterministic named input slots.
+ */
+declare const recorded: (value: Ran | AttemptSnapshot, options?: {
+  readonly through?: string;
+}) => Effect.Effect<Plan$1, RecordingIncomplete>;
+/**
+ * Project one `startNavigation` operation, such as an agent-browser `Navigation` receipt's, as a
+ * plan of one `Navigate` step named `id` ("navigate" by default). It joins `completed`, which
+ * stops nothing: only a navigation that reached DOMContentLoaded is acknowledged, and one that
+ * failed, was stopped or interrupted, or whose outcome is unknown is refused `Unacknowledged`.
+ * The step repeats the request, not the address a redirect reached, as a recorded run's
+ * Navigate step does. An `id` that is not a step identifier fails `IncompleteCapture`.
+ */
+declare const recordedNavigation: (operation: NavigationOperation, options?: {
+  readonly id?: string;
+}) => Effect.Effect<Plan$1, RecordingIncomplete>;
+//#endregion
+//#region src/Browser.d.ts
+/**
+ * Host-only ordinary admission. Omission or zero fails immediately; positive finite duration
+ * queues FIFO. Page closure uses reserved fail-fast admission and a deadline-bounded shared close.
+ */
+interface AdmissionOptions {
+  readonly queue?: Duration.Input;
+}
+/** Explicit host options, separate from request data and exact-element admission callbacks. */
+interface OperationOptions {
+  readonly timeoutMillis?: number;
+  readonly admission?: AdmissionOptions;
+}
+/** Explicit descriptor guard and ordinary host admission; no selector or geometry fallback. */
+interface ResolveOptions extends OperationOptions {
+  readonly guard?: typeof ResolveGuard.Encoded;
+}
+/** Named native quiet signals within the original positive finite deadline. */
+interface SettledRequest {
+  readonly quiet: Duration.Input;
+  readonly within: Duration.Input;
+}
+/** A bounded host-memory snapshot; it grants no priority or native authority. */
+interface AdmissionStatus {
+  readonly active: BrowserOperation | null;
+  readonly waiting: number;
+  readonly maximum: number;
+  readonly oldestWaitMillis: number | null;
+  readonly nativePending: number;
+  readonly nativeWaitPending: boolean;
+  readonly stopSetupPending: boolean;
+}
+interface SessionAdmissionStatus {
+  readonly waiting: number;
+  readonly maximum: number;
+  readonly nativePending: number;
+  readonly nativeMaximum: number;
+  readonly nativeWaits: number;
+  readonly stopSetups: number;
+  readonly registry: AdmissionStatus;
+}
+/** Terminal facts remain readable after this page loses live authority. */
+interface PageStatus {
+  readonly identity: Target;
+  readonly phase: "open" | "paused" | "closing" | "closed" | "stale";
+  readonly containment: Containment;
+  readonly admission: AdmissionStatus;
+}
+interface PageOperations {
+  readonly navigate: (request: NavigateRequest, options?: OperationOptions) => Effect.Effect<NavigationResult, BrowserError>;
+  /** `navigate`, left in flight: the same single dispatch, completed by the caller. */
+  readonly startNavigation: (request: StartNavigationRequest, options?: OperationOptions) => Effect.Effect<NavigationOperation, BrowserError, Scope.Scope>;
+  readonly readText: (request: ReadTextRequest, options?: OperationOptions) => Effect.Effect<TextResult, BrowserError>;
+  readonly click: (request: ClickRequest, options?: OperationOptions) => Effect.Effect<ActionResult, BrowserError>;
+  readonly fill: (request: FillRequest, options?: OperationOptions) => Effect.Effect<ActionResult, BrowserError>;
+  /** Script in the page: instantaneous, and it raises no wheel event. */
+  readonly scroll: (request: ScrollRequest, options?: OperationOptions) => Effect.Effect<ActionResult, BrowserError>;
+  /** One real pointer move, in main-frame viewport pixels. */
+  readonly pointerMove: (request: PointerMoveRequest, options?: OperationOptions) => Effect.Effect<InputReceipt, BrowserError>;
+  /** Places the pointer on one exact element where it is, or fails `not-visible` unsent. */
+  readonly hover: (request: HoverRequest, options?: OperationOptions) => Effect.Effect<InputReceipt, BrowserError>;
+  /** One real wheel event; the browser decides what under the pointer scrolls. */
+  readonly wheel: (request: WheelRequest, options?: OperationOptions) => Effect.Effect<InputReceipt, BrowserError>;
+  /** One real key stroke to whatever has focus, or fails `not-focused` unsent if `into` lacks it. */
+  readonly press: (request: PressRequest, options?: OperationOptions) => Effect.Effect<InputReceipt, BrowserError>;
+  /** Text as the real key strokes that produce it, under the same focus rule as `press`. */
+  readonly type: (request: TypeRequest, options?: OperationOptions) => Effect.Effect<InputReceipt, BrowserError>;
+  readonly screenshot: (request: ScreenshotRequest, options?: OperationOptions) => Effect.Effect<ScreenshotResult, BrowserError>;
+  /**
+   * The one observation whose nodes later actions may name. `scope: "viewport"` keeps only text
+   * and controls that are on screen and reachable, plus bounded choices of visible native
+   * selects; the default reads the whole document. It carries no destination, form or field value.
+   */
+  readonly observe: (options?: ObservationOptions, operationOptions?: OperationOptions) => Effect.Effect<Observation, BrowserError>;
+  /**
+   * Passive evidence for a recorder, with a picture when asked. It issues no references and
+   * leaves the observation above exactly as it was. Host-only: it carries control facts.
+   */
+  readonly checkpoint: (options?: CheckpointOptions, operationOptions?: OperationOptions) => Effect.Effect<Checkpoint, BrowserError>;
+  /** Host-only facts about one observed control, read from that exact node just now. */
+  readonly controlFacts: (reference: ObservedElement, options?: OperationOptions) => Effect.Effect<ControlFacts, BrowserError>;
+  /**
+   * After a page hold, nothing observed on that page may be acted on unchecked. This checks one
+   * reference: still attached, and still the control that was inspected. It never searches by
+   * selector or label for a substitute, and it sends nothing.
+   */
+  readonly revalidateElement: (reference: ObservedElement, options?: OperationOptions) => Effect.Effect<ObservedElement, BrowserError>;
+  readonly clickElement: (reference: ObservedElement, admission?: ElementAdmission, options?: OperationOptions) => Effect.Effect<ActionResult, BrowserError>;
+  readonly fillElement: (reference: ObservedElement, value: string, admission?: ElementAdmission, options?: OperationOptions) => Effect.Effect<ActionResult, BrowserError>;
+  /** One selection using this exact select and its issued option element IDs, with fresh checks. */
+  readonly selectOption: (reference: ObservedElement, options: SelectOptions, admission?: ElementAdmission, operationOptions?: OperationOptions) => Effect.Effect<ActionResult, BrowserError>;
+  readonly hoverElement: (reference: ObservedElement, admission?: ElementAdmission, options?: OperationOptions) => Effect.Effect<InputReceipt, BrowserError>;
+  /** A key stroke sent only if the exact node an observation named already has focus. */
+  readonly pressElement: (reference: ObservedElement, stroke: KeyStroke, admission?: ElementAdmission, options?: OperationOptions) => Effect.Effect<InputReceipt, BrowserError>;
+  /** Real typing with `fillElement`'s exactness: that node must already have focus. */
+  readonly typeElement: (reference: ObservedElement, text: string, admission?: ElementAdmission, options?: OperationOptions) => Effect.Effect<InputReceipt, BrowserError>;
+  /**
+   * Set several controls of one observation in order, then optionally click one submit control.
+   * Every step acts on the exact observed node after the same fresh checks as `fillElement`,
+   * except that a control may have become enabled since it was observed, and each is admitted
+   * and charged as its own action. The observation stays usable for this form's own steps only;
+   * anything else that changes the page still retires it, and the form retires it when it ends.
+   * The first refused or uncertain step ends the form. Submit is sent only after every field
+   * succeeded and, unless `verify` is false, still holds what its step left there. Fields set
+   * before a stop stay set. It fails only when its first step does; otherwise `stopped` says
+   * where it ended and why.
+   */
+  readonly fillForm: (request: FillFormRequest, admission?: ElementAdmission, options?: FillFormOptions, operationOptions?: OperationOptions) => Effect.Effect<FillFormResult, BrowserError>;
+  /**
+   * Wait on the original observed node within the host deadline. Hidden includes its detachment;
+   * document replacement is stale. Success observes a condition, without authorizing later input.
+   */
+  readonly waitForElement: (request: WaitForElementRequest, options?: OperationOptions) => Effect.Effect<void, BrowserError>;
+  readonly waitFor: (request: {
+    readonly selector: string;
+    readonly state: "visible" | "hidden" | "attached" | "detached";
+  }, options?: OperationOptions) => Effect.Effect<void, BrowserError>;
+  /** Navigation observation is registered before the single click dispatch. */
+  readonly clickAndWait: (request: ClickRequest, options?: OperationOptions) => Effect.Effect<ActionResult, BrowserError>;
+  /**
+   * Readiness of the current document only. Dependent operations wait for it themselves;
+   * this reports it without charging an action, so a caller can decide what to do about a
+   * document that predates the registrations.
+   */
+  readonly ready: (options?: OperationOptions) => Effect.Effect<ReadinessOutcome, InitializationError>;
+}
+/**
+ * Issued live authority for one native frame; navigation keeps the frame and retires its references.
+ *
+ * Pass the issued object itself. Capture, page control, provider transfers, agent tools and
+ * `checkPage` authenticate it by identity, so a spread copy, wrapper or Proxy is refused
+ * `UnregisteredSession` even though its copied methods still run. Observe work through the
+ * timeline and run receipts rather than by wrapping methods.
+ */
+interface Frame extends PageOperations, PlanOperations {
+  readonly identity: Target;
+  readonly status: Effect.Effect<PageStatus>;
+  /**
+   * The original owner's host monotonic clock, the same one `session.monotonicTimeNanos` reads,
+   * so a host bound to this Page or Frame can compute a plan's `startAt` without the session.
+   */
+  readonly monotonicTimeNanos: Effect.Effect<bigint>;
+  /** Resolve full descriptor intent against the complete current native candidate inventory. */
+  readonly resolve: (descriptor: DescriptorEncoded, options?: ResolveOptions) => Effect.Effect<ObservedElement, BrowserError>;
+  /**
+   * Quiet DOM mutation, scroll, root geometry and viewport signals in one pinned document.
+   * This does not establish network, animation or business completion.
+   */
+  readonly settled: (request: SettledRequest, options?: OperationOptions) => Effect.Effect<SettledEvidence, BrowserError>;
+}
+/** Issued live authority for one native page on its original connection; pass it as issued, see `Frame`. */
+interface Page extends Frame {
+  /** Evidence for this issued Page's original domain; navigation does not change its journal. */
+  readonly timeline: Timeline;
+  /**
+   * Read this page's address and title. Like `listFrames`, it is a read of the page and shares
+   * its permit; pass `admission.queue` to wait behind work already running there.
+   */
+  readonly describe: (options?: OperationOptions) => Effect.Effect<PageInfo, BrowserError>;
+  readonly listFrames: (options?: OperationOptions) => Effect.Effect<ReadonlyArray<FrameInfo>, BrowserError>;
+  /** Issue a child Frame. Like `session.page`, issuing takes the registry permit, not this page's. */
+  readonly frame: (info: FrameInfo, options?: OperationOptions) => Effect.Effect<Frame, BrowserError>;
+  readonly resizeViewport: (viewport: Viewport, options?: OperationOptions) => Effect.Effect<void, BrowserError>;
+  /** Reserved fail-fast admission; timeoutMillis bounds joining a close, not admission.queue. */
+  readonly close: (options?: OperationOptions) => Effect.Effect<void, BrowserError>;
+}
+/**
+ * A host's decision about one control, made on facts read from the exact node immediately
+ * before input. Returning anything but `true`, or throwing, sends nothing and fails `denied`.
+ * It is a plain synchronous function on purpose: it runs while the owner's permit is held, where
+ * waiting on a model or a network call would stall other ordinary operations on that Page. It is not an atomic
+ * check-and-input transaction, because page script can still run before the native input lands.
+ */
+interface ElementAdmission {
+  readonly admit: (facts: ControlFacts) => boolean;
+}
+/**
+ * A navigation the browser is still performing. The owner's permit was released when it was
+ * dispatched, so while it loads a host may read, `checkpoint`, hold and resume this page, and
+ * use any other page. Anything that would change this page fails `busy` until it settles.
+ *
+ * Leaving its scope unsettled revokes and attempts to close its exact page. Positive closure
+ * preserves healthy peers; unconfirmed closure fences the session. Its outcome remains unknown
+ * because nothing then knows what the browser did. It is never replayed.
+ */
+interface NavigationOperation {
+  /** What was navigated, read before dispatch. */
+  readonly target: Target;
+  /**
+   * What was asked for, as checked before dispatch. `Plan.recordedNavigation` records this
+   * request, not the address `completed` reports after any redirect.
+   */
+  readonly request: StartNavigationRequest;
+  /**
+   * The document reached DOMContentLoaded. It belongs to this one navigation: a successor that
+   * reaches the same URL fails it instead. Interrupting a waiter stops nothing in the browser.
+   */
+  readonly completed: Effect.Effect<NavigationResult, BrowserError>;
+  /**
+   * Asks the browser to stop loading and waits for this navigation to settle, after which
+   * `completed` fails `interrupted`. Success is a known outcome and the session stays usable:
+   * the page holds whatever had loaded. It does not undo anything the page already did.
+   * An already-completed navigation cannot stop a successor. Concurrent callers share their
+   * active attempt. Before dispatch, cancellation or a busy refusal permits a later request
+   * once native setup has retired. A dispatched attempt's outcome, including failure or
+   * interruption, is retained permanently; an uncertain stop is never replayed.
+   */
+  readonly stop: Effect.Effect<void, BrowserError>;
+}
+/**
+ * Host control over one owned browser. This is not a serializable model value: copying a
+ * session object cannot copy its capture, page-control or connection authority.
+ *
+ * Browser operations belong to issued Page and Frame objects. Display selection and owner
+ * lifecycle are separate from those exact capabilities.
+ */
+interface BrowserSession<E = never> {
+  /** The original owner's host clock, for same-runtime absolute cue scheduling. */
+  readonly monotonicTimeNanos: Effect.Effect<bigint>;
+  /** Stable facade: each snapshot/stream captures the current journal when it executes. */
+  readonly timeline: Timeline;
+  /** Atomic cached Inventory baseline followed by lifecycle evidence on its pinned journal. */
+  readonly pages: Stream.Stream<PageEvent, TimelineError>;
+  /** The page acquired on the initial connection, independent of later display selection. */
+  readonly initialPage: Page;
+  /**
+   * Authenticate `info` against the live native page and return its canonical issued Page. This
+   * takes the registry permit, not the page's own: it never waits for, or fails `busy` on, work
+   * already running on that page.
+   */
+  readonly page: (info: PageInfo, options?: OperationOptions) => Effect.Effect<Page, BrowserError>;
+  readonly listPages: (options?: OperationOptions) => Effect.Effect<ReadonlyArray<PageInfo>, BrowserError>;
+  /** The implementation which owns this live connection. */
+  readonly implementation: string;
+  /** Copied host-only state, readable without admission in every lifecycle phase. */
+  readonly status: Effect.Effect<SessionStatus>;
+  /** Bounded native/policy diagnostics. Typed callback causes remain in bindingDiagnostics. */
+  readonly diagnostics: Effect.Effect<BrowserDiagnostics>;
+  readonly admission: Effect.Effect<SessionAdmissionStatus>;
+  /** Close this scope and require its own ownership-specific cleanup evidence. */
+  readonly closeChecked: Effect.Effect<void, BrowserError>;
+  /** First fail-session callback cause, preserving the consumer's error type on the host. */
+  readonly failure: Effect.Effect<never, E | InitializationError>;
+  /** Bounded host-only evidence; consumer causes are never projected into a page reply. */
+  readonly bindingDiagnostics: Effect.Effect<BindingDiagnostics<E>>;
+  /**
+   * Choose the displayed page, which is also the page `detach` records and `reconnect` resumes on.
+   * Nothing else: it never retargets a Page or Frame operation, which keep their own exact
+   * authority. Pass a Page this session issued; a closed or stale one is refused unsent.
+   */
+  readonly selectPage: (page: Page, options?: OperationOptions) => Effect.Effect<void, BrowserError>;
+  /**
+   * Open a page in its own window, sized like the others, without selecting it, and return the
+   * Page issued for it. Chromium paints every window, so any page can be pictured and read at
+   * speed, not only the one in front. Registry admission fails immediately by default; pass a
+   * positive finite admission.queue to wait FIFO within the operation deadline.
+   */
+  readonly createPage: (options?: OperationOptions) => Effect.Effect<Page, BrowserError>;
+}
+/** Helpers that do not supervise callback failures accept any live browser session. */
+type AnySession = BrowserSession<unknown>;
+/**
+ * Check that `page` is a Page or Frame this session issued, by identity, and that its authority
+ * is still current: a foreign or copied object fails `UnregisteredSession`, a closed, stale or
+ * detached one fails with the same refusal its own operations would report. Adapters such as
+ * agent-browser hosts call it once when they bind, so a wrong target fails before any work.
+ */
+declare const checkPage: (session: AnySession, page: Page | Frame) => Effect.Effect<void, BrowserError>;
+/** Dependencies are captured at acquisition, not erased into an environment-free service Layer. */
+interface OpenOptions<E = never, R = never> {
+  readonly bootstrap?: Plan<E, R>;
+}
+/**
+ * Acquire, supervise and close one browser in a fresh scope. The callback keeps the concrete
+ * Chromium or provider session type. Its scoped work is joined before checked browser cleanup,
+ * and cleanup failures remain typed even when the callback has already failed or was cancelled.
+ * Acquisition is evaluated once; an uncertain result is never retried.
+ */
+declare const scoped: {
+  <S extends BrowserSession<unknown>, A, E2, R2>(f: (session: S) => Effect.Effect<A, E2, R2>): <E, AE, AR>(open: Effect.Effect<S & BrowserSession<E>, AE, AR>) => Effect.Effect<A, AE | E | E2 | InitializationError | BrowserError, Exclude<AR | R2, Scope.Scope>>;
+  <S, E, AE, AR, A, E2, R2>(open: Effect.Effect<S & BrowserSession<E>, AE, AR>, f: (session: S & BrowserSession<E>) => Effect.Effect<A, E2, R2>): Effect.Effect<A, AE | E | E2 | InitializationError | BrowserError, Exclude<AR | R2, Scope.Scope>>;
+};
+//#endregion
+export { recordedNavigation as A, StepFailed as C, inputSlots as D, encode as E, make as O, RunOptions as S, decode as T, scoped as _, ElementAdmission as a, RecordingIncomplete as b, OpenOptions as c, PageOperations as d, PageStatus as f, checkPage as g, SettledRequest as h, BrowserSession as i, recorded as k, OperationOptions as l, SessionAdmissionStatus as m, AdmissionStatus as n, Frame as o, ResolveOptions as p, AnySession as r, NavigationOperation as s, AdmissionOptions as t, Page as u, InputSlot as v, checkRunOptions as w, RunOperation as x, PlanOperations as y };
+export {};
+//# sourceMappingURL=Browser-BF9_sORP.d.mts.map

package/dist/Browser.d.mts

@@ -1,200 +1,3 @@
-import { f as Plan, g as ReadinessOutcome, s as Bootstrap_d_exports, t as BindingDiagnostics } from "./Bootstrap-B9UUXsvF.mjs";
-import { BrowserError, InitializationError } from "./Errors.mjs";
-import { $ as TypeRequest, D as NavigationResult, E as NavigateRequest, F as PointerMoveRequest, H as ScreenshotResult, J as SessionStatus, L as PressRequest, N as PageInfo, O as Observation, Q as TextResult, R as ReadTextRequest, S as InputReceipt, U as ScrollRequest, V as ScreenshotRequest, W as SelectOptions, X as Target, Y as StartNavigationRequest, _ as FrameInfo, at as WheelRequest, c as ClickRequest, d as FillFormRequest, et as Viewport, f as FillFormResult, i as BrowserDiagnostics, it as WaitForElementRequest, j as ObservedElement, k as ObservationOptions, l as ControlFacts, o as Checkpoint, p as FillRequest, s as CheckpointOptions, t as ActionResult, u as FillFormOptions, v as HoverRequest, w as KeyStroke } from "./BrowserData-KHk4o__c.mjs";
-import { Effect, Scope } from "effect";
-//#region src/Browser.d.ts
-/**
- * A host's decision about one control, made on facts read from the exact node immediately
- * before input. Returning anything but `true`, or throwing, sends nothing and fails `denied`.
- * It is a plain synchronous function on purpose: it runs while the owner's permit is held, where
- * waiting on a model or a network call would stall every other operation. It is not an atomic
- * check-and-input transaction, because page script can still run before the native input lands.
- */
-export interface ElementAdmission {
-  readonly admit: (facts: ControlFacts) => boolean;
-}
-/**
- * A navigation the browser is still performing. The owner's permit was released when it was
- * dispatched, so while it loads a host may read, `checkpoint`, hold and resume this page, and
- * use any other page. Anything that would change this page fails `busy` until it settles.
- *
- * Leaving its scope unsettled fences the session, exactly as an interrupted mutation does,
- * because nothing then knows what the browser did. It is never replayed.
- */
-export interface NavigationOperation {
-  /** What was navigated, read before dispatch. */
-  readonly target: Target;
-  /**
-   * The document reached DOMContentLoaded. It belongs to this one navigation: a successor that
-   * reaches the same URL fails it instead. Interrupting a waiter stops nothing in the browser.
-   */
-  readonly completed: Effect.Effect<NavigationResult, BrowserError>;
-  /**
-   * Asks the browser to stop loading and waits for this navigation to settle, after which
-   * `completed` fails `interrupted`. Success is a known outcome and the session stays usable:
-   * the page holds whatever had loaded. It does not undo anything the page already did.
-   * An already-completed navigation cannot stop a successor. Concurrent callers share their
-   * active attempt. Before dispatch, cancellation or a busy refusal permits a later request
-   * once native setup has retired. A dispatched attempt's outcome, including failure or
-   * interruption, is retained permanently; an uncertain stop is never replayed.
-   */
-  readonly stop: Effect.Effect<void, BrowserError>;
-}
-/** Common operations. Direct, retained and pinned views choose their target at different times. */
-export interface TargetOperations {
-  readonly navigate: (request: NavigateRequest) => Effect.Effect<NavigationResult, BrowserError>;
-  /** `navigate`, left in flight: the same single dispatch, completed by the caller. */
-  readonly startNavigation: (request: StartNavigationRequest) => Effect.Effect<NavigationOperation, BrowserError, Scope.Scope>;
-  readonly readText: (request: ReadTextRequest) => Effect.Effect<TextResult, BrowserError>;
-  readonly click: (request: ClickRequest) => Effect.Effect<ActionResult, BrowserError>;
-  readonly fill: (request: FillRequest) => Effect.Effect<ActionResult, BrowserError>;
-  /** Script in the page: instantaneous, and it raises no wheel event. */
-  readonly scroll: (request: ScrollRequest) => Effect.Effect<ActionResult, BrowserError>;
-  /** One real pointer move, in main-frame viewport pixels. */
-  readonly pointerMove: (request: PointerMoveRequest) => Effect.Effect<InputReceipt, BrowserError>;
-  /** Places the pointer on one exact element where it is, or fails `not-visible` unsent. */
-  readonly hover: (request: HoverRequest) => Effect.Effect<InputReceipt, BrowserError>;
-  /** One real wheel event; the browser decides what under the pointer scrolls. */
-  readonly wheel: (request: WheelRequest) => Effect.Effect<InputReceipt, BrowserError>;
-  /** One real key stroke to whatever has focus, or fails `not-focused` unsent if `into` lacks it. */
-  readonly press: (request: PressRequest) => Effect.Effect<InputReceipt, BrowserError>;
-  /** Text as the real key strokes that produce it, under the same focus rule as `press`. */
-  readonly type: (request: TypeRequest) => Effect.Effect<InputReceipt, BrowserError>;
-  readonly screenshot: (request: ScreenshotRequest) => Effect.Effect<ScreenshotResult, BrowserError>;
-}
-/**
- * One explicit page/frame target. Selection may move independently; each operation re-resolves
- * this identity inside the same owner and connection. Closing/detaching it or reconnecting makes
- * the handle stale before dispatch.
- */
-export interface PinnedTarget extends TargetOperations {
-  readonly target: Target;
-}
-/** A checked selection retained at acquisition; moving selection away and back makes it stale. */
-export interface RetainedTarget extends TargetOperations {}
-/**
- * Host control over one owned browser. This is not a serializable model value: copying a
- * session object cannot copy its capture, page-control or connection authority.
- *
- * The inherited target operations resolve the selected page/frame when their Effect executes.
- * Use `retain` to retain the current selection with stale-on-selection-change semantics, or
- * `pinPage` / `pinFrame` when work must stay on an explicit target while selection moves.
- */
-export interface BrowserSession<E = never> extends TargetOperations {
-  /** The implementation which owns this live connection. */
-  readonly implementation: string;
-  /** Copied host-only state, readable without admission in every lifecycle phase. */
-  readonly status: Effect.Effect<SessionStatus>;
-  /** Bounded native/policy diagnostics. Typed callback causes remain in bindingDiagnostics. */
-  readonly diagnostics: Effect.Effect<BrowserDiagnostics>;
-  /** Close this scope and require its own ownership-specific cleanup evidence. */
-  readonly closeChecked: Effect.Effect<void, BrowserError>;
-  /** First fail-session callback cause, preserving the consumer's error type on the host. */
-  readonly failure: Effect.Effect<never, E | InitializationError>;
-  /** Bounded host-only evidence; consumer causes are never projected into a page reply. */
-  readonly bindingDiagnostics: Effect.Effect<BindingDiagnostics<E>>;
-  /** Resolve, validate and retain the selection under owner admission. */
-  readonly retain: Effect.Effect<RetainedTarget, BrowserError>;
-  readonly target: Effect.Effect<Target, BrowserError>;
-  /**
-   * The one observation whose nodes later actions may name. `scope: "viewport"` keeps only text
-   * and controls that are on screen and reachable, plus bounded choices of visible native
-   * selects; the default reads the whole document. It carries no destination, form or field value.
-   */
-  readonly observe: (options?: ObservationOptions) => Effect.Effect<Observation, BrowserError>;
-  /**
-   * Passive evidence for a recorder, with a picture when asked. It issues no references and
-   * leaves the observation above exactly as it was. Host-only: it carries control facts.
-   */
-  readonly checkpoint: (options?: CheckpointOptions) => Effect.Effect<Checkpoint, BrowserError>;
-  /** Host-only facts about one observed control, read from that exact node just now. */
-  readonly controlFacts: (reference: ObservedElement) => Effect.Effect<ControlFacts, BrowserError>;
-  /**
-   * After a page hold, nothing observed on that page may be acted on unchecked. This checks one
-   * reference: still attached, and still the control that was inspected. It never searches by
-   * selector or label for a substitute, and it sends nothing.
-   */
-  readonly revalidateElement: (reference: ObservedElement) => Effect.Effect<ObservedElement, BrowserError>;
-  readonly clickElement: (reference: ObservedElement, admission?: ElementAdmission) => Effect.Effect<ActionResult, BrowserError>;
-  readonly fillElement: (reference: ObservedElement, value: string, admission?: ElementAdmission) => Effect.Effect<ActionResult, BrowserError>;
-  /** One selection using this exact select and its issued option element IDs, with fresh checks. */
-  readonly selectOption: (reference: ObservedElement, options: SelectOptions, admission?: ElementAdmission) => Effect.Effect<ActionResult, BrowserError>;
-  readonly hoverElement: (reference: ObservedElement, admission?: ElementAdmission) => Effect.Effect<InputReceipt, BrowserError>;
-  /** A key stroke sent only if the exact node an observation named already has focus. */
-  readonly pressElement: (reference: ObservedElement, stroke: KeyStroke, admission?: ElementAdmission) => Effect.Effect<InputReceipt, BrowserError>;
-  /** Real typing with `fillElement`'s exactness: that node must already have focus. */
-  readonly typeElement: (reference: ObservedElement, text: string, admission?: ElementAdmission) => Effect.Effect<InputReceipt, BrowserError>;
-  /**
-   * Set several controls of one observation in order, then optionally click one submit control.
-   * Every step acts on the exact observed node after the same fresh checks as `fillElement`,
-   * except that a control may have become enabled since it was observed, and each is admitted
-   * and charged as its own action. The observation stays usable for this form's own steps only;
-   * anything else that changes the page still retires it, and the form retires it when it ends.
-   * The first refused or uncertain step ends the form. Submit is sent only after every field
-   * succeeded and, unless `verify` is false, still holds what its step left there. Fields set
-   * before a stop stay set. It fails only when its first step does; otherwise `stopped` says
-   * where it ended and why.
-   */
-  readonly fillForm: (request: FillFormRequest, admission?: ElementAdmission, options?: FillFormOptions) => Effect.Effect<FillFormResult, BrowserError>;
-  readonly pages: Effect.Effect<ReadonlyArray<PageInfo>, BrowserError>;
-  /**
-   * One exact page's address and title as they are now, and whether it is selected, without
-   * reading every other page as `pages` does. An identity that no longer names an open page
-   * fails undispatched.
-   */
-  readonly describePage: (page: PageInfo) => Effect.Effect<PageInfo, BrowserError>;
-  readonly frames: Effect.Effect<ReadonlyArray<FrameInfo>, BrowserError>;
-  /** List frames on one exact page without selecting it. */
-  readonly framesOf: (page: PageInfo) => Effect.Effect<ReadonlyArray<FrameInfo>, BrowserError>;
-  /** Pin the page's main frame without changing the session selection. */
-  readonly pinPage: (page: PageInfo) => Effect.Effect<PinnedTarget, BrowserError>;
-  /** Pin one frame that currently belongs to the exact page, without changing selection. */
-  readonly pinFrame: (page: PageInfo, frame: FrameInfo) => Effect.Effect<PinnedTarget, BrowserError>;
-  readonly selectPage: (page: PageInfo) => Effect.Effect<void, BrowserError>;
-  readonly selectFrame: (frameId: string) => Effect.Effect<void, BrowserError>;
-  /**
-   * Open a page in its own window, sized like the others, without selecting it, and return that
-   * exact page's checked identity. Chromium paints every window, so any page can be pictured
-   * and read at speed, not only the one in front. It waits its turn behind other operations,
-   * within its action timeout, rather than failing `busy`.
-   */
-  readonly createPage: Effect.Effect<PageInfo, BrowserError>;
-  readonly closePage: (page: PageInfo) => Effect.Effect<void, BrowserError>;
-  readonly resizeViewport: (viewport: Viewport) => Effect.Effect<void, BrowserError>;
-  /**
-   * Wait on the original observed node within the host deadline. Hidden includes its detachment;
-   * document replacement is stale. Success observes a condition, without authorizing later input.
-   */
-  readonly waitForElement: (request: WaitForElementRequest) => Effect.Effect<void, BrowserError>;
-  readonly waitFor: (request: {
-    readonly selector: string;
-    readonly state: "visible" | "hidden" | "attached" | "detached";
-  }) => Effect.Effect<void, BrowserError>;
-  /** Navigation observation is registered before the single click dispatch. */
-  readonly clickAndWait: (request: ClickRequest) => Effect.Effect<ActionResult, BrowserError>;
-  /**
-   * Readiness of the current document only. Dependent operations wait for it themselves;
-   * this reports it without charging an action, so a caller can decide what to do about a
-   * document that predates the registrations.
-   */
-  readonly ready: Effect.Effect<ReadinessOutcome, InitializationError>;
-}
-/** Helpers that do not supervise callback failures accept any live browser session. */
-export type AnySession = BrowserSession<unknown>;
-/** Dependencies are captured at acquisition, not erased into an environment-free service Layer. */
-export interface OpenOptions<E = never, R = never> {
-  readonly bootstrap?: Plan<E, R>;
-}
-/**
- * Acquire, supervise and close one browser in a fresh scope. The callback keeps the concrete
- * Chromium or provider session type. Its scoped work is joined before checked browser cleanup,
- * and cleanup failures remain typed even when the callback has already failed or was cancelled.
- * Acquisition is evaluated once; an uncertain result is never retried.
- */
-export declare const scoped: {
-  <S extends BrowserSession<unknown>, A, E2, R2>(f: (session: S) => Effect.Effect<A, E2, R2>): <E, AE, AR>(open: Effect.Effect<S & BrowserSession<E>, AE, AR>) => Effect.Effect<A, AE | E | E2 | InitializationError | BrowserError, Exclude<AR | R2, Scope.Scope>>;
-  <S, E, AE, AR, A, E2, R2>(open: Effect.Effect<S & BrowserSession<E>, AE, AR>, f: (session: S & BrowserSession<E>) => Effect.Effect<A, E2, R2>): Effect.Effect<A, AE | E | E2 | InitializationError | BrowserError, Exclude<AR | R2, Scope.Scope>>;
-};
-//#endregion
-export {};
-//# sourceMappingURL=Browser.d.mts.map
+import { _ as scoped, a as ElementAdmission, c as OpenOptions, d as PageOperations, f as PageStatus, g as checkPage, h as SettledRequest, i as BrowserSession, l as OperationOptions, m as SessionAdmissionStatus, n as AdmissionStatus, o as Frame, p as ResolveOptions, r as AnySession, s as NavigationOperation, t as AdmissionOptions, u as Page } from "./Browser-BF9_sORP.mjs";
+export { AdmissionOptions, AdmissionStatus, AnySession, BrowserSession, ElementAdmission, Frame, NavigationOperation, OpenOptions, OperationOptions, Page, PageOperations, PageStatus, ResolveOptions, SessionAdmissionStatus, SettledRequest, checkPage, scoped };
+export {};

package/dist/Browser.mjs

@@ -1,7 +1,15 @@
+import { l as resolveTargetControlsForSession } from "./PageRegistry-B3q9DS3g.mjs";
 import { Effect } from "effect";
 import { dual } from "effect/Function";
 //#region src/Browser.ts
 /**
+* Check that `page` is a Page or Frame this session issued, by identity, and that its authority
+* is still current: a foreign or copied object fails `UnregisteredSession`, a closed, stale or
+* detached one fails with the same refusal its own operations would report. Adapters such as
+* agent-browser hosts call it once when they bind, so a wrong target fails before any work.
+*/
+const checkPage = (session, page) => resolveTargetControlsForSession(session, page).pipe(Effect.asVoid);
+/**
 * Acquire, supervise and close one browser in a fresh scope. The callback keeps the concrete
 * Chromium or provider session type. Its scoped work is joined before checked browser cleanup,
 * and cleanup failures remain typed even when the callback has already failed or was cancelled.
@@ -9,6 +17,6 @@ import { dual } from "effect/Function";
 */
 const scoped = dual(2, (open, f) => Effect.scoped(Effect.flatMap(open, (session) => Effect.scoped(Effect.raceFirst(session.failure, Effect.suspend(() => f(session)))).pipe(Effect.onExit(() => session.closeChecked)))));
 //#endregion
-export { scoped };
+export { checkPage, scoped };
 
 //# sourceMappingURL=Browser.mjs.map