@mostra/protocol 0.0.0-stage → 0.1.0

package/dist/serializer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.js","names":[],"sources":["../src/serializer.ts"],"sourcesContent":["/**\n * The serializer of server-function arguments and results (D19 seam 2, D54): exactly the type set\n * React documents for Server Functions, plus `AsyncIterable` results, in one JSON wire form the\n * browser, the gateway and the worker share. It has no I/O and no Node built-ins.\n *\n * A value is written as a series of **batches**, each a JSON array of {@link Frame}s. The first\n * batch holds the value's root (chunk 0); a promise or an async iterable in it is a reference whose\n * settlement or items arrive in later batches, so a result streams as it settles. Shared objects\n * and cycles are kept: an object met twice is written once, in a chunk of its own.\n *\n * ```ts\n * const batches: Frame[][] = [];\n * const writer = new ValueWriter({ mode: \"result\", onBatch: (batch) => batches.push(batch) });\n * await writer.write({ when: new Date(), items: new Map([[\"a\", 1]]) });\n * await writer.done;\n * const reader = new ValueReader();\n * for (const batch of batches) reader.push(batch);\n * const value = await reader.root;\n * ```\n *\n * What it accepts (react.dev, `'use server'`, \"Serializable arguments and return values\"):\n * strings, numbers (`NaN`, infinities and `-0` too), bigints, booleans, `undefined`, `null`,\n * symbols registered with `Symbol.for`, arrays, `Map`, `Set`, typed arrays, `DataView`,\n * `ArrayBuffer`, `Date`, `FormData` (with string and file values), plain objects, Server Functions\n * and promises; results may also be async iterables. Anything else (class instances, objects with\n * a null prototype, other functions, unregistered symbols, React elements) is refused with a\n * {@link SerializationError} naming where it is.\n */\n\n/** One step of a written value. */\nexport type Frame =\n  /** An outlined chunk: chunk 0 is the root; others hold shared objects, maps, sets and bytes. */\n  | { readonly c: number; readonly v: unknown }\n  /** A promise settled: with its value, or rejected with an error. */\n  | { readonly p: number; readonly v: unknown }\n  | { readonly p: number; readonly e: WireError }\n  /** An async iterable's item, its end, or its failure. */\n  | { readonly i: number; readonly v: unknown }\n  | { readonly i: number; readonly end: true }\n  | { readonly i: number; readonly e: WireError };\n\n/** A frame about a promise or an async iterable. */\ntype AsyncFrame = Exclude<Frame, { readonly c: number }>;\n\n/** An error as the wire carries it: a rejected promise, a failed iteration. */\nexport interface WireError {\n  /** The error's message. */\n  readonly message: string;\n  /** Its diagnostic code, when it carried one (`MOSTRA_SECRET_MISSING`, say). */\n  readonly code?: string;\n}\n\n/** Any function: a Server Function as the serializer sees it. */\nexport type AnyFunction = (...args: never) => unknown;\n\n/** Whether a value is written as a call's arguments or as its result. */\nexport type SerializeMode = \"argument\" | \"result\";\n\n/**\n * The most digits a bigint argument may have. A page's arguments are decoded before the action\n * runs, and parsing a bigint takes time that grows faster than its length: 16 M digits held a\n * worker's event loop for seconds. Results aren't limited; server code writes them.\n */\nexport const ARGUMENT_BIGINT_DIGITS_MAX = 10_000;\n\n/** The diagnostic code of a value outside the type set (INTERFACES §2.4). */\nexport const UNSERIALIZABLE_CODE = \"MOSTRA_ACTION_UNSERIALIZABLE\";\n\n/** A value outside the type set, or a malformed written value. */\nexport class SerializationError extends Error {\n  /** Always `MOSTRA_ACTION_UNSERIALIZABLE`. */\n  readonly code: string = UNSERIALIZABLE_CODE;\n  /** Where in the value: `.items[2].when`, or empty for the value itself. */\n  readonly path: string;\n  constructor(message: string, path = \"\") {\n    super(path === \"\" ? message : `${where(path)} ${message}`);\n    this.name = \"SerializationError\";\n    this.path = path;\n  }\n}\n\n/** A path as people read it: `[1].when` is \"argument 2's .when\". */\nfunction where(path: string): string {\n  const argument = /^\\[(\\d+)\\](.*)$/.exec(path);\n  if (argument) {\n    const rest = argument[2] ?? \"\";\n    return `Argument ${Number(argument[1]) + 1}${rest === \"\" ? \"\" : ` at ${rest}`}`;\n  }\n  return path.startsWith(\"result\") ? `The ${path}` : `The value at ${path}`;\n}\n\n/** The error a rejected promise or a failed iteration carries on the wire. */\nexport function wireError(error: unknown): WireError {\n  if (error instanceof Error) {\n    const code = (error as Error & { code?: unknown }).code;\n    return { message: error.message, ...(typeof code === \"string\" ? { code } : {}) };\n  }\n  return { message: String(error) };\n}\n\n/** An error read back from the wire, as the reader's promises and iterables reject with it. */\nexport class RemoteError extends Error {\n  /** The diagnostic code the error carried, if any. */\n  readonly code: string | undefined;\n  constructor(error: WireError) {\n    super(error.message);\n    this.name = \"RemoteError\";\n    this.code = error.code;\n  }\n}\n\n// ── Base64, without Node's Buffer ──────────────────────────────────────────────────────────\n\nconst ALPHABET = \"ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789+/\";\nconst LOOKUP = new Int16Array(128).fill(-1);\nfor (let index = 0; index < ALPHABET.length; index += 1) LOOKUP[ALPHABET.charCodeAt(index)] = index;\n\n/** Standard base64 of `bytes`, with padding. */\nexport function toBase64(bytes: Uint8Array): string {\n  let out = \"\";\n  let index = 0;\n  for (; index + 2 < bytes.length; index += 3) {\n    const n =\n      ((bytes[index] ?? 0) << 16) | ((bytes[index + 1] ?? 0) << 8) | (bytes[index + 2] ?? 0);\n    out +=\n      ALPHABET.charAt((n >> 18) & 63) +\n      ALPHABET.charAt((n >> 12) & 63) +\n      ALPHABET.charAt((n >> 6) & 63) +\n      ALPHABET.charAt(n & 63);\n  }\n  const rest = bytes.length - index;\n  if (rest === 1) {\n    const n = (bytes[index] ?? 0) << 16;\n    out += `${ALPHABET[(n >> 18) & 63]}${ALPHABET[(n >> 12) & 63]}==`;\n  } else if (rest === 2) {\n    const n = ((bytes[index] ?? 0) << 16) | ((bytes[index + 1] ?? 0) << 8);\n    out += `${ALPHABET[(n >> 18) & 63]}${ALPHABET[(n >> 12) & 63]}${ALPHABET[(n >> 6) & 63]}=`;\n  }\n  return out;\n}\n\n/** The bytes of standard base64 text; throws a {@link SerializationError} on anything else. */\nexport function fromBase64(text: string): Uint8Array {\n  if (text.length % 4 !== 0) throw new SerializationError(\"Malformed base64 bytes.\");\n  const padding = text.endsWith(\"==\") ? 2 : text.endsWith(\"=\") ? 1 : 0;\n  const out = new Uint8Array((text.length / 4) * 3 - padding);\n  let at = 0;\n  for (let index = 0; index < text.length; index += 4) {\n    const quad = [0, 1, 2, 3].map((offset) => {\n      const char = text.charCodeAt(index + offset);\n      if (char === 61 && index + offset >= text.length - padding) return 0;\n      const value = char < 128 ? (LOOKUP[char] ?? -1) : -1;\n      if (value < 0) throw new SerializationError(\"Malformed base64 bytes.\");\n      return value;\n    });\n    const n =\n      ((quad[0] ?? 0) << 18) | ((quad[1] ?? 0) << 12) | ((quad[2] ?? 0) << 6) | (quad[3] ?? 0);\n    if (at < out.length) out[at++] = (n >> 16) & 255;\n    if (at < out.length) out[at++] = (n >> 8) & 255;\n    if (at < out.length) out[at++] = n & 255;\n  }\n  return out;\n}\n\n// ── Kinds ──────────────────────────────────────────────────────────────────────────────────\n\n/** The typed-array kinds, by the tag the wire uses. */\nconst TYPED_ARRAYS = {\n  Int8Array: \"i8\",\n  Uint8Array: \"u8\",\n  Uint8ClampedArray: \"u8c\",\n  Int16Array: \"i16\",\n  Uint16Array: \"u16\",\n  Int32Array: \"i32\",\n  Uint32Array: \"u32\",\n  Float32Array: \"f32\",\n  Float64Array: \"f64\",\n  BigInt64Array: \"i64\",\n  BigUint64Array: \"u64\",\n  DataView: \"dv\",\n} as const;\n\ntype TypedKind = (typeof TYPED_ARRAYS)[keyof typeof TYPED_ARRAYS];\n\nconst TYPED_CONSTRUCTORS: Readonly<Record<TypedKind, (buffer: ArrayBuffer) => ArrayBufferView>> = {\n  i8: (b) => new Int8Array(b),\n  u8: (b) => new Uint8Array(b),\n  u8c: (b) => new Uint8ClampedArray(b),\n  i16: (b) => new Int16Array(b),\n  u16: (b) => new Uint16Array(b),\n  i32: (b) => new Int32Array(b),\n  u32: (b) => new Uint32Array(b),\n  f32: (b) => new Float32Array(b),\n  f64: (b) => new Float64Array(b),\n  i64: (b) => new BigInt64Array(b),\n  u64: (b) => new BigUint64Array(b),\n  dv: (b) => new DataView(b),\n};\n\n/**\n * The wire tag of a typed array or `DataView`, or `undefined` for anything else. A subclass is\n * its built-in base (Node's `Buffer` is a `Uint8Array`), found along the prototype chain, so\n * what Node's file and crypto APIs return crosses as the bytes it holds.\n */\nfunction typedKind(value: object): TypedKind | undefined {\n  if (!ArrayBuffer.isView(value)) return undefined;\n  for (\n    let proto = Object.getPrototypeOf(value) as { constructor?: { name?: string } } | null;\n    proto !== null;\n    proto = Object.getPrototypeOf(proto) as { constructor?: { name?: string } } | null\n  ) {\n    const name = Object.hasOwn(proto, \"constructor\") ? proto.constructor?.name : undefined;\n    if (name !== undefined && name in TYPED_ARRAYS) {\n      return TYPED_ARRAYS[name as keyof typeof TYPED_ARRAYS];\n    }\n  }\n  return undefined;\n}\n\nconst isPlainObject = (value: object): boolean => Object.getPrototypeOf(value) === Object.prototype;\n\nconst isBlob = (value: unknown): value is Blob =>\n  typeof Blob !== \"undefined\" && value instanceof Blob;\n\nconst isFormData = (value: unknown): value is FormData =>\n  typeof FormData !== \"undefined\" && value instanceof FormData;\n\nconst isPromiseLike = (value: object): value is PromiseLike<unknown> =>\n  value instanceof Promise ||\n  (typeof (value as { then?: unknown }).then === \"function\" && !isPlainObject(value));\n\nconst isAsyncIterable = (value: object): value is AsyncIterable<unknown> =>\n  typeof (value as { [Symbol.asyncIterator]?: unknown })[Symbol.asyncIterator] === \"function\";\n\n/** React's element marker: elements are refused (they belong to the `rsc` mode, D19). */\nconst REACT_ELEMENT = Symbol.for(\"react.transitional.element\");\nconst REACT_LEGACY_ELEMENT = Symbol.for(\"react.element\");\n\nfunction describe(value: object): string {\n  const proto = Object.getPrototypeOf(value) as { constructor?: { name?: string } } | null;\n  if (proto === null) return \"an object with a null prototype\";\n  const name = proto.constructor?.name;\n  return name ? `an instance of ${name}` : \"an object that isn't plain\";\n}\n\nconst pathKey = (key: string): string =>\n  /^[A-Za-z_$][A-Za-z0-9_$]*$/.test(key) ? `.${key}` : `[${JSON.stringify(key)}]`;\n\n// ── Writing ────────────────────────────────────────────────────────────────────────────────\n\n/** Options for {@link ValueWriter}. */\nexport interface ValueWriterOptions {\n  /** `argument`: no async iterables. `result`: everything. */\n  readonly mode: SerializeMode;\n  /** Receives each batch, in order. */\n  readonly onBatch: (batch: Frame[]) => void;\n  /**\n   * The ID of a function that is a Server Function, or `undefined` for any other function. The\n   * client's stubs carry their ID; the worker knows its registry.\n   */\n  readonly serverFunctionId?: (fn: AnyFunction) => string | undefined;\n}\n\n/**\n * Writes one value as batches. `write` throws a {@link SerializationError} when the value, or\n * anything it holds synchronously, is outside the type set; a promise that later settles with such\n * a value is written as rejected with that error. `done` settles once every promise and iterable\n * in the value has settled or ended; `abort` stops iterables early (the reader went away).\n */\nexport class ValueWriter {\n  readonly #options: ValueWriterOptions;\n  #nextId = 1;\n  #pending = 0;\n  #aborted = false;\n  #cutShort = false;\n  #wroteRoot = false;\n  readonly #rootPath: string;\n  #queue: Promise<void> = Promise.resolve();\n  readonly #iterators = new Set<AsyncIterator<unknown>>();\n  #resolveDone!: () => void;\n  #rejectDone!: (error: unknown) => void;\n  /** Settles once every async part of the value has been written. */\n  readonly done: Promise<void>;\n\n  constructor(options: ValueWriterOptions) {\n    this.#options = options;\n    this.#rootPath = options.mode === \"result\" ? \"result\" : \"\";\n    this.done = new Promise((resolve, reject) => {\n      this.#resolveDone = resolve;\n      this.#rejectDone = reject;\n    });\n    // `done` may be awaited by nobody when `write` fails.\n    this.done.catch(() => {});\n  }\n\n  /** Writes the value's first batch; async parts follow in later batches. */\n  async write(value: unknown): Promise<void> {\n    if (this.#wroteRoot) throw new Error(\"A ValueWriter writes one value.\");\n    this.#wroteRoot = true;\n    // The root goes first: batches of promises that settle while it is still being encoded (it\n    // may read files) queue behind it.\n    this.#pending += 1;\n    const root = this.#encodeBatch(value, this.#rootPath, (json, frames) => {\n      frames.unshift({ c: 0, v: json });\n    });\n    this.#queue = root.then(\n      (batch) => this.#emit(batch),\n      () => {},\n    );\n    try {\n      await root;\n    } catch (error) {\n      this.#aborted = true;\n      this.#rejectDone(error);\n      throw error;\n    } finally {\n      this.#pending -= 1;\n    }\n    await this.#queue;\n    this.#settleIfIdle();\n  }\n\n  /**\n   * Whether {@link ValueWriter.abort} stopped the value before all of it was written: a promise\n   * still unsettled, an iterable not yet ended.\n   */\n  get cutShort(): boolean {\n    return this.#cutShort;\n  }\n\n  /** Stops every iterable still being read, and settles `done`. */\n  abort(): void {\n    if (this.#aborted) return;\n    this.#cutShort = this.#pending > 0;\n    this.#aborted = true;\n    for (const iterator of this.#iterators) void iterator.return?.()?.catch?.(() => {});\n    this.#iterators.clear();\n    this.#resolveDone();\n  }\n\n  #emit(batch: Frame[]): void {\n    if (this.#aborted) return;\n    this.#options.onBatch(batch);\n  }\n\n  #settleIfIdle(): void {\n    if (this.#pending === 0) this.#resolveDone();\n  }\n\n  /** Runs batch production one at a time, so batches leave in the order they were started. */\n  #serial(task: () => Promise<Frame[] | undefined>): void {\n    this.#pending += 1;\n    this.#queue = this.#queue\n      .then(async () => {\n        const batch = await task();\n        if (batch) this.#emit(batch);\n      })\n      .catch((error: unknown) => {\n        this.#aborted = true;\n        this.#rejectDone(error);\n      })\n      .finally(() => {\n        this.#pending -= 1;\n        this.#settleIfIdle();\n      });\n  }\n\n  /**\n   * Encodes `value` into a batch: `place` puts the encoded root into the batch, whose other\n   * frames are the chunks it needs.\n   */\n  async #encodeBatch(\n    value: unknown,\n    path: string,\n    place: (json: unknown, frames: Frame[]) => void,\n  ): Promise<Frame[]> {\n    const frames: Frame[] = [];\n    const shared = countShared(value);\n    const outlined = new Map<object, number>();\n    const blobs: { id: number; blob: Blob }[] = [];\n    const encode = (item: unknown, at: string, depth: number): unknown => {\n      if (depth > MAX_DEPTH) throw new SerializationError(\"The value nests too deeply.\", at);\n      switch (typeof item) {\n        case \"string\":\n          return item.startsWith(\"$\") ? `$${item}` : item;\n        case \"number\":\n          if (Number.isNaN(item)) return \"$NaN\";\n          if (item === Number.POSITIVE_INFINITY) return \"$Infinity\";\n          if (item === Number.NEGATIVE_INFINITY) return \"$-Infinity\";\n          if (Object.is(item, -0)) return \"$-0\";\n          return item;\n        case \"boolean\":\n          return item;\n        case \"undefined\":\n          return \"$undefined\";\n        case \"bigint\": {\n          const digits = item.toString();\n          if (\n            this.#options.mode === \"argument\" &&\n            digits.replace(\"-\", \"\").length > ARGUMENT_BIGINT_DIGITS_MAX\n          ) {\n            throw new SerializationError(\n              `is a bigint of more than ${ARGUMENT_BIGINT_DIGITS_MAX} digits; send a larger number as a string.`,\n              at,\n            );\n          }\n          return `$n${digits}`;\n        }\n        case \"symbol\": {\n          if (this.#options.mode === \"argument\") {\n            // React 19.3's reply codec refuses symbols in arguments too (VERIFIED_FACTS, WP-08):\n            // a registered symbol lives as long as the process, so a page could fill the\n            // worker's memory with them.\n            throw new SerializationError(\n              \"is a symbol; an argument can't be one, only a result can (a registered symbol).\",\n              at,\n            );\n          }\n          const key = Symbol.keyFor(item);\n          if (key === undefined) {\n            throw new SerializationError(\n              \"is a symbol not registered with Symbol.for; only registered symbols can be sent.\",\n              at,\n            );\n          }\n          return `$S${key}`;\n        }\n        case \"function\": {\n          const id = this.#options.serverFunctionId?.(item as AnyFunction);\n          if (id === undefined) {\n            throw new SerializationError(\n              \"is a function that isn't a Server Function; only Server Functions can be sent.\",\n              at,\n            );\n          }\n          return `$h${id}`;\n        }\n        case \"object\":\n          break;\n      }\n      if (item === null) return null;\n      const object = item as object;\n      const known = outlined.get(object);\n      if (known !== undefined) return `$${known}`;\n      if (\n        (object as { $$typeof?: unknown }).$$typeof === REACT_ELEMENT ||\n        (object as { $$typeof?: unknown }).$$typeof === REACT_LEGACY_ELEMENT\n      ) {\n        throw new SerializationError(\n          \"is a React element; JSX can't cross a server call in the SPA render mode.\",\n          at,\n        );\n      }\n      if (object instanceof Date) {\n        return Number.isNaN(object.getTime()) ? \"$DInvalid\" : `$D${object.toISOString()}`;\n      }\n      if (isPromiseLike(object)) {\n        const id = this.#nextId++;\n        this.#watchPromise(id, object, `${at}.then`);\n        return `$@${id}`;\n      }\n      if (isFormData(object)) {\n        const id = this.#nextId++;\n        const entries: unknown[] = [];\n        for (const [name, entry] of object.entries()) {\n          if (typeof entry === \"string\") entries.push([name, encode(entry, at, depth + 1)]);\n          else {\n            const blobId = this.#nextId++;\n            blobs.push({ id: blobId, blob: entry });\n            entries.push([name, `$B${blobId}`]);\n          }\n        }\n        frames.push({ c: id, v: entries });\n        return `$K${id}`;\n      }\n      if (object instanceof ArrayBuffer) {\n        const id = this.#nextId++;\n        frames.push({ c: id, v: toBase64(new Uint8Array(object)) });\n        return `$A${id}`;\n      }\n      const typed = typedKind(object);\n      if (typed !== undefined) {\n        const view = object as ArrayBufferView;\n        const id = this.#nextId++;\n        const bytes = new Uint8Array(view.buffer, view.byteOffset, view.byteLength);\n        frames.push({ c: id, v: [typed, toBase64(bytes)] });\n        return `$T${id}`;\n      }\n      const outline = (encoded: () => unknown, tag: string): string => {\n        const id = this.#nextId++;\n        outlined.set(object, id);\n        const frame: { c: number; v: unknown } = { c: id, v: null };\n        frames.push(frame);\n        frame.v = encoded();\n        return `${tag}${id}`;\n      };\n      if (object instanceof Map) {\n        return outline(\n          () =>\n            [...object.entries()].map(([key, entry], index) => [\n              encode(key, `${at}.<map key ${index}>`, depth + 1),\n              encode(entry, `${at}.<map value ${index}>`, depth + 1),\n            ]),\n          \"$Q\",\n        );\n      }\n      if (object instanceof Set) {\n        return outline(\n          () =>\n            [...object].map((entry, index) =>\n              encode(entry, `${at}.<set item ${index}>`, depth + 1),\n            ),\n          \"$W\",\n        );\n      }\n      if (Array.isArray(object)) {\n        const build = (): unknown[] => {\n          const out: unknown[] = [];\n          for (let index = 0; index < object.length; index += 1) {\n            out.push(encode(object[index], `${at}[${index}]`, depth + 1));\n          }\n          return out;\n        };\n        return shared.has(object) ? outline(build, \"$\") : build();\n      }\n      if (this.#options.mode === \"result\" && isAsyncIterable(object)) {\n        const id = this.#nextId++;\n        this.#watchIterable(id, object, at);\n        return `$x${id}`;\n      }\n      if (isBlob(object)) {\n        throw new SerializationError(\n          \"is a Blob or File; send files inside a FormData, as React's Server Functions take them.\",\n          at,\n        );\n      }\n      if (!isPlainObject(object)) {\n        if (isAsyncIterable(object)) {\n          throw new SerializationError(\n            \"is an async iterable; only a result may be one, never an argument.\",\n            at,\n          );\n        }\n        throw new SerializationError(\n          `is ${describe(object)}; only plain objects and the built-ins React's Server Functions accept can be sent.`,\n          at,\n        );\n      }\n      const build = (): Record<string, unknown> => {\n        const out: Record<string, unknown> = {};\n        for (const key of Object.keys(object)) {\n          const encoded = encode(\n            (object as Record<string, unknown>)[key],\n            `${at}${pathKey(key)}`,\n            depth + 1,\n          );\n          Object.defineProperty(out, key, {\n            value: encoded,\n            enumerable: true,\n            writable: true,\n            configurable: true,\n          });\n        }\n        return out;\n      };\n      return shared.has(object) ? outline(build, \"$\") : build();\n    };\n    const root = encode(value, path, 0);\n    for (const { id, blob } of blobs) {\n      const bytes = new Uint8Array(await blob.arrayBuffer());\n      const file = blob as Blob & { name?: unknown; lastModified?: unknown };\n      frames.push({\n        c: id,\n        v: {\n          type: blob.type,\n          data: toBase64(bytes),\n          ...(typeof file.name === \"string\" ? { name: file.name } : {}),\n          ...(typeof file.lastModified === \"number\" ? { lastModified: file.lastModified } : {}),\n        },\n      });\n    }\n    place(root, frames);\n    return frames;\n  }\n\n  #watchPromise(id: number, promise: PromiseLike<unknown>, path: string): void {\n    this.#pending += 1;\n    Promise.resolve(promise).then(\n      (settled) => {\n        this.#serial(() =>\n          this.#encodeBatch(settled, path, (json, frames) => frames.push({ p: id, v: json })).catch(\n            (error: unknown) => [{ p: id, e: wireError(error) }],\n          ),\n        );\n        this.#pending -= 1;\n      },\n      (error: unknown) => {\n        // React's `encodeReply` fails the call when an argument's promise rejects; only a result\n        // carries a rejection to the other side.\n        if (this.#options.mode === \"argument\") {\n          this.#serial(async () => {\n            throw error;\n          });\n        } else this.#serial(async () => [{ p: id, e: wireError(error) }]);\n        this.#pending -= 1;\n      },\n    );\n  }\n\n  #watchIterable(id: number, iterable: AsyncIterable<unknown>, path: string): void {\n    let iterator: AsyncIterator<unknown>;\n    try {\n      iterator = iterable[Symbol.asyncIterator]();\n    } catch (error) {\n      this.#serial(async () => [{ i: id, e: wireError(error) }]);\n      return;\n    }\n    this.#iterators.add(iterator);\n    this.#pending += 1;\n    const step = async (): Promise<void> => {\n      for (let index = 0; ; index += 1) {\n        if (this.#aborted) return;\n        let next: IteratorResult<unknown>;\n        try {\n          next = await iterator.next();\n        } catch (error) {\n          this.#serial(async () => [{ i: id, e: wireError(error) }]);\n          return;\n        }\n        if (next.done) {\n          this.#serial(async () => [{ i: id, end: true }]);\n          return;\n        }\n        const item = next.value;\n        const at = `${path}<item ${index}>`;\n        let failed = false;\n        this.#serial(() =>\n          this.#encodeBatch(item, at, (json, frames) => frames.push({ i: id, v: json })).catch(\n            (error: unknown) => {\n              failed = true;\n              return [{ i: id, e: wireError(error) }];\n            },\n          ),\n        );\n        // Wait for the item to be written before pulling the next, so a slow reader paces it.\n        await this.#queue;\n        if (failed) {\n          void iterator.return?.()?.catch?.(() => {});\n          return;\n        }\n      }\n    };\n    void step().finally(() => {\n      this.#iterators.delete(iterator);\n      this.#pending -= 1;\n      this.#settleIfIdle();\n    });\n  }\n}\n\n/** The deepest nesting a value may have, so a hostile value can't exhaust the stack. */\nconst MAX_DEPTH = 512;\n\n/** The objects and arrays `value` reaches more than once (shared, or part of a cycle). */\nfunction countShared(value: unknown): Set<object> {\n  const seen = new Set<object>();\n  const shared = new Set<object>();\n  const stack: unknown[] = [value];\n  while (stack.length > 0) {\n    const item = stack.pop();\n    if (typeof item !== \"object\" || item === null) continue;\n    if (seen.has(item)) {\n      shared.add(item);\n      continue;\n    }\n    seen.add(item);\n    if (Array.isArray(item)) {\n      for (const entry of item) stack.push(entry);\n    } else if (item instanceof Map) {\n      for (const [key, entry] of item) stack.push(key, entry);\n    } else if (item instanceof Set) {\n      for (const entry of item) stack.push(entry);\n    } else if (Object.getPrototypeOf(item) === Object.prototype) {\n      for (const key of Object.keys(item)) stack.push((item as Record<string, unknown>)[key]);\n    }\n  }\n  return shared;\n}\n\n/**\n * Writes `value` completely: every promise settled, so the batches can be sent at once. For\n * arguments, which a browser sends in one request.\n */\nexport async function serializeAll(\n  value: unknown,\n  options: Omit<ValueWriterOptions, \"onBatch\">,\n): Promise<Frame[][]> {\n  const batches: Frame[][] = [];\n  const writer = new ValueWriter({ ...options, onBatch: (batch) => batches.push(batch) });\n  await writer.write(value);\n  await writer.done;\n  return batches;\n}\n\n// ── Reading ────────────────────────────────────────────────────────────────────────────────\n\n/** Options for {@link ValueReader}. */\nexport interface ValueReaderOptions {\n  /** The function a Server Function ID stands for; absent: a reference is refused. */\n  readonly serverFunction?: (id: string) => AnyFunction;\n  /**\n   * `argument`: what a page sent, read where server code runs: no symbols, no async iterables,\n   * bigints of at most {@link ARGUMENT_BIGINT_DIGITS_MAX} digits, the writer's own limits. Default\n   * `result`: everything the writer writes.\n   */\n  readonly mode?: SerializeMode;\n}\n\ninterface Deferred {\n  promise: Promise<unknown>;\n  resolve(value: unknown): void;\n  reject(error: unknown): void;\n  settled: boolean;\n}\n\nfunction deferred(): Deferred {\n  let resolve!: (value: unknown) => void;\n  let reject!: (error: unknown) => void;\n  const promise = new Promise<unknown>((res, rej) => {\n    resolve = res;\n    reject = rej;\n  });\n  promise.catch(() => {});\n  const entry: Deferred = {\n    promise,\n    resolve: (value) => {\n      entry.settled = true;\n      resolve(value);\n    },\n    reject: (error) => {\n      entry.settled = true;\n      reject(error);\n    },\n    settled: false,\n  };\n  return entry;\n}\n\n/** An async iterable fed by frames: one reader, items buffered until taken. */\nclass FedIterable implements AsyncIterable<unknown> {\n  readonly #items: unknown[] = [];\n  #ended = false;\n  #error: unknown;\n  #wake: (() => void) | undefined;\n  #taken = false;\n\n  push(value: unknown): void {\n    this.#items.push(value);\n    this.#wake?.();\n  }\n  end(): void {\n    this.#ended = true;\n    this.#wake?.();\n  }\n  fail(error: unknown): void {\n    if (this.#ended) return;\n    this.#error = error;\n    this.#ended = true;\n    this.#wake?.();\n  }\n  get ended(): boolean {\n    return this.#ended;\n  }\n\n  [Symbol.asyncIterator](): AsyncIterator<unknown> {\n    if (this.#taken) throw new Error(\"This async iterable can be read once.\");\n    this.#taken = true;\n    return {\n      next: async (): Promise<IteratorResult<unknown>> => {\n        for (;;) {\n          if (this.#items.length > 0) return { done: false, value: this.#items.shift() };\n          if (this.#ended) {\n            if (this.#error !== undefined) throw this.#error;\n            return { done: true, value: undefined };\n          }\n          await new Promise<void>((resolve) => {\n            this.#wake = resolve;\n          });\n          this.#wake = undefined;\n        }\n      },\n      return: async (): Promise<IteratorResult<unknown>> => {\n        this.#ended = true;\n        this.#items.length = 0;\n        return { done: true, value: undefined };\n      },\n    };\n  }\n}\n\nconst malformed = (what: string): SerializationError =>\n  new SerializationError(`The written value is malformed: ${what}.`);\n\nconst isRecord = (value: unknown): value is Record<string, unknown> =>\n  typeof value === \"object\" && value !== null && !Array.isArray(value);\n\n/**\n * Reads batches back into a value. `root` resolves once the first batch arrived; promises and\n * async iterables in it settle and yield as later batches arrive. A malformed batch throws a\n * {@link SerializationError} from `push`; `fail` rejects everything still open, for a stream that\n * broke before its end.\n */\nexport class ValueReader {\n  readonly #options: ValueReaderOptions;\n  /** Raw chunks by ID, and what each became. */\n  readonly #raw = new Map<number, unknown>();\n  readonly #decoded = new Map<number, unknown>();\n  readonly #promises = new Map<number, Deferred>();\n  readonly #iterables = new Map<number, FedIterable>();\n  /** Frames for promises or iterables not referenced yet. */\n  readonly #early: AsyncFrame[] = [];\n  readonly #root = deferred();\n  #hasRoot = false;\n  /** The value, once the first batch arrived. */\n  readonly root: Promise<unknown> = this.#root.promise;\n\n  constructor(options: ValueReaderOptions = {}) {\n    this.#options = options;\n  }\n\n  /** Whether every promise and iterable read so far has settled or ended. */\n  get complete(): boolean {\n    return (\n      this.#hasRoot &&\n      [...this.#promises.values()].every((entry) => entry.settled) &&\n      [...this.#iterables.values()].every((entry) => entry.ended)\n    );\n  }\n\n  /** Takes one batch. */\n  push(batch: unknown): void {\n    if (!Array.isArray(batch)) throw malformed(\"a batch isn't an array\");\n    const ordered: AsyncFrame[] = [];\n    for (const frame of batch) {\n      if (!isRecord(frame)) throw malformed(\"a frame isn't an object\");\n      if (typeof frame[\"c\"] === \"number\") {\n        if (!Number.isSafeInteger(frame[\"c\"]) || frame[\"c\"] < 0) throw malformed(\"a chunk ID\");\n        if (this.#raw.has(frame[\"c\"])) throw malformed(`chunk ${frame[\"c\"]} was written twice`);\n        this.#raw.set(frame[\"c\"], frame[\"v\"]);\n      } else if (typeof frame[\"p\"] === \"number\" || typeof frame[\"i\"] === \"number\") {\n        ordered.push(frame as unknown as AsyncFrame);\n      } else {\n        throw malformed(\"a frame has no chunk, promise or iterable ID\");\n      }\n    }\n    if (!this.#hasRoot && this.#raw.has(0)) {\n      this.#hasRoot = true;\n      try {\n        this.#root.resolve(this.#decode(this.#raw.get(0), 0));\n      } catch (error) {\n        this.#root.reject(error);\n        throw error;\n      }\n    }\n    for (const frame of ordered) this.#apply(frame);\n  }\n\n  /**\n   * Ends the value: every frame taken so far is applied, and the value must be complete. Throws a\n   * {@link SerializationError} when a promise or iterable it holds is still open or a frame names\n   * one the value never refers to, so a reader that has all the batches (a page's arguments)\n   * never hands on a promise that can't settle.\n   */\n  finish(): void {\n    if (!this.#hasRoot) throw malformed(\"the value has no root\");\n    for (;;) {\n      const before = this.#early.length;\n      if (before === 0) break;\n      this.#flush();\n      if (this.#early.length === before) break;\n    }\n    if (this.#early.length > 0) throw malformed(\"a frame names a promise the value doesn't hold\");\n    if (!this.complete) throw malformed(\"the value ended before its promises settled\");\n  }\n\n  /** Rejects every promise and iterable still open: the stream broke. */\n  fail(error: unknown): void {\n    if (!this.#hasRoot) this.#root.reject(error);\n    for (const entry of this.#promises.values()) if (!entry.settled) entry.reject(error);\n    for (const entry of this.#iterables.values()) entry.fail(error);\n  }\n\n  #apply(frame: AsyncFrame): void {\n    if (\"p\" in frame) {\n      const entry = this.#promises.get(frame.p);\n      if (!entry) {\n        this.#early.push(frame);\n        return;\n      }\n      if (entry.settled) throw malformed(`promise ${frame.p} settled twice`);\n      if (\"e\" in frame) entry.reject(new RemoteError(readError(frame.e)));\n      else entry.resolve(this.#decode(frame.v, 0));\n      return;\n    }\n    const entry = this.#iterables.get(frame.i);\n    if (!entry) {\n      this.#early.push(frame);\n      return;\n    }\n    if (\"e\" in frame) entry.fail(new RemoteError(readError(frame.e)));\n    else if (\"end\" in frame) entry.end();\n    else entry.push(this.#decode(frame.v, 0));\n  }\n\n  #chunk(id: number): unknown {\n    if (!this.#raw.has(id)) throw malformed(`chunk ${id} is missing`);\n    return this.#raw.get(id);\n  }\n\n  #take(id: number, build: (raw: unknown) => unknown): unknown {\n    if (this.#decoded.has(id)) return this.#decoded.get(id);\n    const value = build(this.#chunk(id));\n    if (!this.#decoded.has(id)) this.#decoded.set(id, value);\n    return value;\n  }\n\n  #flush(): void {\n    const early = this.#early.splice(0);\n    for (const frame of early) this.#apply(frame);\n  }\n\n  #decode(json: unknown, depth: number): unknown {\n    if (depth > MAX_DEPTH) throw malformed(\"the value nests too deeply\");\n    if (json === null || typeof json === \"boolean\") return json;\n    if (typeof json === \"number\") {\n      if (!Number.isFinite(json)) throw malformed(\"a number isn't finite\");\n      return json;\n    }\n    if (typeof json === \"string\") return this.#string(json, depth);\n    if (Array.isArray(json)) return json.map((item) => this.#decode(item, depth + 1));\n    if (isRecord(json)) {\n      const out: Record<string, unknown> = {};\n      for (const key of Object.keys(json)) {\n        Object.defineProperty(out, key, {\n          value: this.#decode(json[key], depth + 1),\n          enumerable: true,\n          writable: true,\n          configurable: true,\n        });\n      }\n      return out;\n    }\n    throw malformed(\"a value isn't JSON\");\n  }\n\n  #id(text: string, at: number): number {\n    const id = Number(text.slice(at));\n    if (!/^[0-9]+$/.test(text.slice(at)) || !Number.isSafeInteger(id)) {\n      throw malformed(`the reference ${JSON.stringify(text.slice(0, 40))}`);\n    }\n    return id;\n  }\n\n  #string(text: string, depth: number): unknown {\n    if (!text.startsWith(\"$\")) return text;\n    if (text.startsWith(\"$$\")) return text.slice(1);\n    switch (text) {\n      case \"$undefined\":\n        return undefined;\n      case \"$NaN\":\n        return Number.NaN;\n      case \"$Infinity\":\n        return Number.POSITIVE_INFINITY;\n      case \"$-Infinity\":\n        return Number.NEGATIVE_INFINITY;\n      case \"$-0\":\n        return -0;\n      case \"$DInvalid\":\n        return new Date(Number.NaN);\n    }\n    const tag = text[1];\n    switch (tag) {\n      case \"n\":\n        if (!/^-?[0-9]+$/.test(text.slice(2))) throw malformed(\"a bigint\");\n        if (\n          this.#options.mode === \"argument\" &&\n          text.replace(\"-\", \"\").length - 2 > ARGUMENT_BIGINT_DIGITS_MAX\n        ) {\n          throw malformed(`a bigint argument has more than ${ARGUMENT_BIGINT_DIGITS_MAX} digits`);\n        }\n        return BigInt(text.slice(2));\n      case \"S\":\n        // Symbol.for keeps every name it is given for the life of the process.\n        if (this.#options.mode === \"argument\") throw malformed(\"an argument is a symbol\");\n        return Symbol.for(text.slice(2));\n      case \"D\": {\n        const date = new Date(text.slice(2));\n        if (Number.isNaN(date.getTime())) throw malformed(\"a date\");\n        return date;\n      }\n      case \"h\": {\n        const id = text.slice(2);\n        if (!this.#options.serverFunction) throw malformed(`a Server Function reference ${id}`);\n        return this.#options.serverFunction(id);\n      }\n      case \"@\": {\n        const id = this.#id(text, 2);\n        let entry = this.#promises.get(id);\n        if (!entry) {\n          entry = deferred();\n          this.#promises.set(id, entry);\n          queueMicrotask(() => this.#flushSafely());\n        }\n        return entry.promise;\n      }\n      case \"x\": {\n        if (this.#options.mode === \"argument\") throw malformed(\"an argument is an async iterable\");\n        const id = this.#id(text, 2);\n        let entry = this.#iterables.get(id);\n        if (!entry) {\n          entry = new FedIterable();\n          this.#iterables.set(id, entry);\n          queueMicrotask(() => this.#flushSafely());\n        }\n        return entry;\n      }\n      case \"Q\": {\n        const id = this.#id(text, 2);\n        if (this.#decoded.has(id)) return this.#decoded.get(id);\n        const map = new Map<unknown, unknown>();\n        this.#decoded.set(id, map);\n        const raw = this.#chunk(id);\n        if (!Array.isArray(raw)) throw malformed(\"a map\");\n        for (const pair of raw) {\n          if (!Array.isArray(pair) || pair.length !== 2) throw malformed(\"a map entry\");\n          map.set(this.#decode(pair[0], depth + 1), this.#decode(pair[1], depth + 1));\n        }\n        return map;\n      }\n      case \"W\": {\n        const id = this.#id(text, 2);\n        if (this.#decoded.has(id)) return this.#decoded.get(id);\n        const set = new Set<unknown>();\n        this.#decoded.set(id, set);\n        const raw = this.#chunk(id);\n        if (!Array.isArray(raw)) throw malformed(\"a set\");\n        for (const item of raw) set.add(this.#decode(item, depth + 1));\n        return set;\n      }\n      case \"A\":\n        return this.#take(this.#id(text, 2), (raw) => {\n          if (typeof raw !== \"string\") throw malformed(\"an ArrayBuffer\");\n          const bytes = fromBase64(raw);\n          return bytes.buffer.slice(bytes.byteOffset, bytes.byteOffset + bytes.byteLength);\n        });\n      case \"T\":\n        return this.#take(this.#id(text, 2), (raw) => {\n          if (!Array.isArray(raw) || typeof raw[1] !== \"string\") throw malformed(\"a typed array\");\n          const make = TYPED_CONSTRUCTORS[raw[0] as TypedKind];\n          if (!make) throw malformed(\"a typed array's kind\");\n          const bytes = fromBase64(raw[1]);\n          const buffer = bytes.buffer.slice(bytes.byteOffset, bytes.byteOffset + bytes.byteLength);\n          try {\n            return make(buffer as ArrayBuffer);\n          } catch {\n            throw malformed(\"a typed array's length\");\n          }\n        });\n      case \"B\":\n        return this.#take(this.#id(text, 2), (raw) => {\n          if (\n            !isRecord(raw) ||\n            typeof raw[\"data\"] !== \"string\" ||\n            typeof raw[\"type\"] !== \"string\"\n          ) {\n            throw malformed(\"a file\");\n          }\n          const bytes = fromBase64(raw[\"data\"]);\n          const parts = [bytes as Uint8Array<ArrayBuffer>];\n          if (typeof raw[\"name\"] === \"string\" && typeof File !== \"undefined\") {\n            return new File(parts, raw[\"name\"], {\n              type: raw[\"type\"],\n              ...(typeof raw[\"lastModified\"] === \"number\"\n                ? { lastModified: raw[\"lastModified\"] }\n                : {}),\n            });\n          }\n          return new Blob(parts, { type: raw[\"type\"] });\n        });\n      case \"K\":\n        return this.#take(this.#id(text, 2), (raw) => {\n          if (!Array.isArray(raw)) throw malformed(\"a FormData\");\n          const form = new FormData();\n          for (const entry of raw) {\n            if (!Array.isArray(entry) || typeof entry[0] !== \"string\")\n              throw malformed(\"a FormData entry\");\n            const value = this.#decode(entry[1], depth + 1);\n            if (typeof value === \"string\") form.append(entry[0], value);\n            else if (isBlob(value)) form.append(entry[0], value);\n            else throw malformed(\"a FormData value\");\n          }\n          return form;\n        });\n      default: {\n        // `$<id>`: a shared object or array, outlined.\n        const id = this.#id(text, 1);\n        if (this.#decoded.has(id)) return this.#decoded.get(id);\n        const raw = this.#chunk(id);\n        if (Array.isArray(raw)) {\n          const array: unknown[] = [];\n          this.#decoded.set(id, array);\n          for (const item of raw) array.push(this.#decode(item, depth + 1));\n          return array;\n        }\n        if (!isRecord(raw)) throw malformed(\"a shared object\");\n        const object: Record<string, unknown> = {};\n        this.#decoded.set(id, object);\n        for (const key of Object.keys(raw)) {\n          Object.defineProperty(object, key, {\n            value: this.#decode(raw[key], depth + 1),\n            enumerable: true,\n            writable: true,\n            configurable: true,\n          });\n        }\n        return object;\n      }\n    }\n  }\n\n  #flushSafely(): void {\n    try {\n      this.#flush();\n    } catch (error) {\n      this.fail(error);\n    }\n  }\n}\n\nfunction readError(value: unknown): WireError {\n  if (!isRecord(value) || typeof value[\"message\"] !== \"string\") throw malformed(\"an error\");\n  return {\n    message: value[\"message\"],\n    ...(typeof value[\"code\"] === \"string\" ? { code: value[\"code\"] } : {}),\n  };\n}\n\n/**\n * Reads complete batches back into a value: every promise in it settled from the batches, every\n * async iterable replaying its items. For arguments and stored results.\n */\nexport async function deserializeAll(\n  batches: readonly unknown[],\n  options: ValueReaderOptions = {},\n): Promise<unknown> {\n  const reader = new ValueReader(options);\n  for (const batch of batches) reader.push(batch);\n  // Arguments arrive whole: one that can't be finished is refused before anything runs.\n  if (options.mode === \"argument\") reader.finish();\n  if (!reader.complete) {\n    // Settle whatever the batches never settled: nothing more will come.\n    queueMicrotask(() => reader.fail(new SerializationError(\"The written value ended early.\")));\n  }\n  return reader.root;\n}\n\n/**\n * Checks a page's argument batches without decoding them, before they reach server code: no\n * symbol (`$S`), no async iterable (`$x`), no bigint of more than\n * {@link ARGUMENT_BIGINT_DIGITS_MAX} digits. The supervisor runs it so such arguments are refused\n * before any worker sees them (Opus review 1); the worker's reader refuses them again.\n *\n * @throws SerializationError naming what was found.\n */\nexport function checkArgumentFrames(batches: readonly unknown[]): void {\n  const check = (text: string): void => {\n    if (text.length < 2 || text[0] !== \"$\" || text[1] === \"$\") return;\n    if (text[1] === \"S\") throw malformed(\"an argument is a symbol\");\n    if (text[1] === \"x\") throw malformed(\"an argument is an async iterable\");\n    if (text[1] === \"n\" && text.replace(\"-\", \"\").length - 2 > ARGUMENT_BIGINT_DIGITS_MAX) {\n      throw malformed(`a bigint argument has more than ${ARGUMENT_BIGINT_DIGITS_MAX} digits`);\n    }\n  };\n  const scan = (value: unknown, visit: (text: string) => void): void => {\n    const stack: unknown[] = [value];\n    while (stack.length > 0) {\n      const item = stack.pop();\n      if (typeof item === \"string\") visit(item);\n      else if (Array.isArray(item)) for (const entry of item) stack.push(entry);\n      else if (item !== null && typeof item === \"object\") {\n        for (const entry of Object.values(item)) stack.push(entry);\n      }\n    }\n  };\n  // A FormData chunk's entry names are written as they are, never escaped: only its values are\n  // encoded strings, so those chunks are checked value by value.\n  const forms = new Set<number>();\n  scan(batches, (text) => {\n    const match = /^\\$K([0-9]+)$/.exec(text);\n    if (match) forms.add(Number(match[1]));\n  });\n  for (const batch of batches) {\n    if (!Array.isArray(batch)) continue;\n    for (const frame of batch) {\n      const record = frame as { c?: unknown; v?: unknown } | null;\n      if (\n        record !== null &&\n        typeof record === \"object\" &&\n        typeof record.c === \"number\" &&\n        forms.has(record.c) &&\n        Array.isArray(record.v)\n      ) {\n        for (const entry of record.v) scan(Array.isArray(entry) ? entry[1] : entry, check);\n      } else scan(frame, check);\n    }\n  }\n}\n"],"mappings":";;;;;;AA+DA,MAAa,6BAA6B;;AAG1C,MAAa,sBAAsB;;AAGnC,IAAa,qBAAb,cAAwC,MAAM;;CAE5C,OAAwB;;CAExB;CACA,YAAY,SAAiB,OAAO,IAAI;EACtC,MAAM,SAAS,KAAK,UAAU,GAAG,MAAM,IAAI,EAAE,GAAG,SAAS;EACzD,KAAK,OAAO;EACZ,KAAK,OAAO;CACd;AACF;;AAGA,SAAS,MAAM,MAAsB;CACnC,MAAM,WAAW,kBAAkB,KAAK,IAAI;CAC5C,IAAI,UAAU;EACZ,MAAM,OAAO,SAAS,MAAM;EAC5B,OAAO,YAAY,OAAO,SAAS,EAAE,IAAI,IAAI,SAAS,KAAK,KAAK,OAAO;CACzE;CACA,OAAO,KAAK,WAAW,QAAQ,IAAI,OAAO,SAAS,gBAAgB;AACrE;;AAGA,SAAgB,UAAU,OAA2B;CACnD,IAAI,iBAAiB,OAAO;EAC1B,MAAM,OAAQ,MAAqC;EACnD,OAAO;GAAE,SAAS,MAAM;GAAS,GAAI,OAAO,SAAS,WAAW,EAAE,KAAK,IAAI,CAAC;EAAG;CACjF;CACA,OAAO,EAAE,SAAS,OAAO,KAAK,EAAE;AAClC;;AAGA,IAAa,cAAb,cAAiC,MAAM;;CAErC;CACA,YAAY,OAAkB;EAC5B,MAAM,MAAM,OAAO;EACnB,KAAK,OAAO;EACZ,KAAK,OAAO,MAAM;CACpB;AACF;AAIA,MAAM,WAAW;AACjB,MAAM,0BAAS,IAAI,WAAW,GAAG,EAAA,CAAE,KAAK,EAAE;AAC1C,KAAK,IAAI,QAAQ,GAAG,QAAQ,IAAiB,SAAS,GAAG,OAAO,SAAS,WAAW,KAAK,KAAK;;AAG9F,SAAgB,SAAS,OAA2B;CAClD,IAAI,MAAM;CACV,IAAI,QAAQ;CACZ,OAAO,QAAQ,IAAI,MAAM,QAAQ,SAAS,GAAG;EAC3C,MAAM,KACF,MAAM,UAAU,MAAM,MAAQ,MAAM,QAAQ,MAAM,MAAM,KAAM,MAAM,QAAQ,MAAM;EACtF,OACE,SAAS,OAAQ,KAAK,KAAM,EAAE,IAC9B,SAAS,OAAQ,KAAK,KAAM,EAAE,IAC9B,SAAS,OAAQ,KAAK,IAAK,EAAE,IAC7B,SAAS,OAAO,IAAI,EAAE;CAC1B;CACA,MAAM,OAAO,MAAM,SAAS;CAC5B,IAAI,SAAS,GAAG;EACd,MAAM,KAAK,MAAM,UAAU,MAAM;EACjC,OAAO,GAAG,SAAU,KAAK,KAAM,MAAM,SAAU,KAAK,KAAM,IAAI;CAChE,OAAO,IAAI,SAAS,GAAG;EACrB,MAAM,KAAM,MAAM,UAAU,MAAM,MAAQ,MAAM,QAAQ,MAAM,MAAM;EACpE,OAAO,GAAG,SAAU,KAAK,KAAM,MAAM,SAAU,KAAK,KAAM,MAAM,SAAU,KAAK,IAAK,IAAI;CAC1F;CACA,OAAO;AACT;;AAGA,SAAgB,WAAW,MAA0B;CACnD,IAAI,KAAK,SAAS,MAAM,GAAG,MAAM,IAAI,mBAAmB,yBAAyB;CACjF,MAAM,UAAU,KAAK,SAAS,IAAI,IAAI,IAAI,KAAK,SAAS,GAAG,IAAI,IAAI;CACnE,MAAM,MAAM,IAAI,WAAY,KAAK,SAAS,IAAK,IAAI,OAAO;CAC1D,IAAI,KAAK;CACT,KAAK,IAAI,QAAQ,GAAG,QAAQ,KAAK,QAAQ,SAAS,GAAG;EACnD,MAAM,OAAO;GAAC;GAAG;GAAG;GAAG;EAAC,CAAC,CAAC,KAAK,WAAW;GACxC,MAAM,OAAO,KAAK,WAAW,QAAQ,MAAM;GAC3C,IAAI,SAAS,MAAM,QAAQ,UAAU,KAAK,SAAS,SAAS,OAAO;GACnE,MAAM,QAAQ,OAAO,MAAO,OAAO,SAAS,KAAM;GAClD,IAAI,QAAQ,GAAG,MAAM,IAAI,mBAAmB,yBAAyB;GACrE,OAAO;EACT,CAAC;EACD,MAAM,KACF,KAAK,MAAM,MAAM,MAAQ,KAAK,MAAM,MAAM,MAAQ,KAAK,MAAM,MAAM,KAAM,KAAK,MAAM;EACxF,IAAI,KAAK,IAAI,QAAQ,IAAI,QAAS,KAAK,KAAM;EAC7C,IAAI,KAAK,IAAI,QAAQ,IAAI,QAAS,KAAK,IAAK;EAC5C,IAAI,KAAK,IAAI,QAAQ,IAAI,QAAQ,IAAI;CACvC;CACA,OAAO;AACT;;AAKA,MAAM,eAAe;CACnB,WAAW;CACX,YAAY;CACZ,mBAAmB;CACnB,YAAY;CACZ,aAAa;CACb,YAAY;CACZ,aAAa;CACb,cAAc;CACd,cAAc;CACd,eAAe;CACf,gBAAgB;CAChB,UAAU;AACZ;AAIA,MAAM,qBAA4F;CAChG,KAAK,MAAM,IAAI,UAAU,CAAC;CAC1B,KAAK,MAAM,IAAI,WAAW,CAAC;CAC3B,MAAM,MAAM,IAAI,kBAAkB,CAAC;CACnC,MAAM,MAAM,IAAI,WAAW,CAAC;CAC5B,MAAM,MAAM,IAAI,YAAY,CAAC;CAC7B,MAAM,MAAM,IAAI,WAAW,CAAC;CAC5B,MAAM,MAAM,IAAI,YAAY,CAAC;CAC7B,MAAM,MAAM,IAAI,aAAa,CAAC;CAC9B,MAAM,MAAM,IAAI,aAAa,CAAC;CAC9B,MAAM,MAAM,IAAI,cAAc,CAAC;CAC/B,MAAM,MAAM,IAAI,eAAe,CAAC;CAChC,KAAK,MAAM,IAAI,SAAS,CAAC;AAC3B;;;;;;AAOA,SAAS,UAAU,OAAsC;CACvD,IAAI,CAAC,YAAY,OAAO,KAAK,GAAG,OAAO,KAAA;CACvC,KACE,IAAI,QAAQ,OAAO,eAAe,KAAK,GACvC,UAAU,MACV,QAAQ,OAAO,eAAe,KAAK,GACnC;EACA,MAAM,OAAO,OAAO,OAAO,OAAO,aAAa,IAAI,MAAM,aAAa,OAAO,KAAA;EAC7E,IAAI,SAAS,KAAA,KAAa,QAAQ,cAChC,OAAO,aAAa;CAExB;AAEF;AAEA,MAAM,iBAAiB,UAA2B,OAAO,eAAe,KAAK,MAAM,OAAO;AAE1F,MAAM,UAAU,UACd,OAAO,SAAS,eAAe,iBAAiB;AAElD,MAAM,cAAc,UAClB,OAAO,aAAa,eAAe,iBAAiB;AAEtD,MAAM,iBAAiB,UACrB,iBAAiB,WAChB,OAAQ,MAA6B,SAAS,cAAc,CAAC,cAAc,KAAK;AAEnF,MAAM,mBAAmB,UACvB,OAAQ,MAA+C,OAAO,mBAAmB;;AAGnF,MAAM,gBAAgB,OAAO,IAAI,4BAA4B;AAC7D,MAAM,uBAAuB,OAAO,IAAI,eAAe;AAEvD,SAAS,SAAS,OAAuB;CACvC,MAAM,QAAQ,OAAO,eAAe,KAAK;CACzC,IAAI,UAAU,MAAM,OAAO;CAC3B,MAAM,OAAO,MAAM,aAAa;CAChC,OAAO,OAAO,kBAAkB,SAAS;AAC3C;AAEA,MAAM,WAAW,QACf,6BAA6B,KAAK,GAAG,IAAI,IAAI,QAAQ,IAAI,KAAK,UAAU,GAAG,EAAE;;;;;;;AAuB/E,IAAa,cAAb,MAAyB;CACvB;CACA,UAAU;CACV,WAAW;CACX,WAAW;CACX,YAAY;CACZ,aAAa;CACb;CACA,SAAwB,QAAQ,QAAQ;CACxC,6BAAsB,IAAI,IAA4B;CACtD;CACA;;CAEA;CAEA,YAAY,SAA6B;EACvC,KAAK,WAAW;EAChB,KAAK,YAAY,QAAQ,SAAS,WAAW,WAAW;EACxD,KAAK,OAAO,IAAI,SAAS,SAAS,WAAW;GAC3C,KAAK,eAAe;GACpB,KAAK,cAAc;EACrB,CAAC;EAED,KAAK,KAAK,YAAY,CAAC,CAAC;CAC1B;;CAGA,MAAM,MAAM,OAA+B;EACzC,IAAI,KAAK,YAAY,MAAM,IAAI,MAAM,iCAAiC;EACtE,KAAK,aAAa;EAGlB,KAAK,YAAY;EACjB,MAAM,OAAO,KAAK,aAAa,OAAO,KAAK,YAAY,MAAM,WAAW;GACtE,OAAO,QAAQ;IAAE,GAAG;IAAG,GAAG;GAAK,CAAC;EAClC,CAAC;EACD,KAAK,SAAS,KAAK,MAChB,UAAU,KAAK,MAAM,KAAK,SACrB,CAAC,CACT;EACA,IAAI;GACF,MAAM;EACR,SAAS,OAAO;GACd,KAAK,WAAW;GAChB,KAAK,YAAY,KAAK;GACtB,MAAM;EACR,UAAU;GACR,KAAK,YAAY;EACnB;EACA,MAAM,KAAK;EACX,KAAK,cAAc;CACrB;;;;;CAMA,IAAI,WAAoB;EACtB,OAAO,KAAK;CACd;;CAGA,QAAc;EACZ,IAAI,KAAK,UAAU;EACnB,KAAK,YAAY,KAAK,WAAW;EACjC,KAAK,WAAW;EAChB,KAAK,MAAM,YAAY,KAAK,YAAY,SAAc,SAAS,CAAC,EAAE,cAAc,CAAC,CAAC;EAClF,KAAK,WAAW,MAAM;EACtB,KAAK,aAAa;CACpB;CAEA,MAAM,OAAsB;EAC1B,IAAI,KAAK,UAAU;EACnB,KAAK,SAAS,QAAQ,KAAK;CAC7B;CAEA,gBAAsB;EACpB,IAAI,KAAK,aAAa,GAAG,KAAK,aAAa;CAC7C;;CAGA,QAAQ,MAAgD;EACtD,KAAK,YAAY;EACjB,KAAK,SAAS,KAAK,OAChB,KAAK,YAAY;GAChB,MAAM,QAAQ,MAAM,KAAK;GACzB,IAAI,OAAO,KAAK,MAAM,KAAK;EAC7B,CAAC,CAAC,CACD,OAAO,UAAmB;GACzB,KAAK,WAAW;GAChB,KAAK,YAAY,KAAK;EACxB,CAAC,CAAC,CACD,cAAc;GACb,KAAK,YAAY;GACjB,KAAK,cAAc;EACrB,CAAC;CACL;;;;;CAMA,MAAM,aACJ,OACA,MACA,OACkB;EAClB,MAAM,SAAkB,CAAC;EACzB,MAAM,SAAS,YAAY,KAAK;EAChC,MAAM,2BAAW,IAAI,IAAoB;EACzC,MAAM,QAAsC,CAAC;EAC7C,MAAM,UAAU,MAAe,IAAY,UAA2B;GACpE,IAAI,QAAQ,WAAW,MAAM,IAAI,mBAAmB,+BAA+B,EAAE;GACrF,QAAQ,OAAO,MAAf;IACE,KAAK,UACH,OAAO,KAAK,WAAW,GAAG,IAAI,IAAI,SAAS;IAC7C,KAAK;KACH,IAAI,OAAO,MAAM,IAAI,GAAG,OAAO;KAC/B,IAAI,SAAS,OAAO,mBAAmB,OAAO;KAC9C,IAAI,SAAS,OAAO,mBAAmB,OAAO;KAC9C,IAAI,OAAO,GAAG,MAAM,EAAE,GAAG,OAAO;KAChC,OAAO;IACT,KAAK,WACH,OAAO;IACT,KAAK,aACH,OAAO;IACT,KAAK,UAAU;KACb,MAAM,SAAS,KAAK,SAAS;KAC7B,IACE,KAAK,SAAS,SAAS,cACvB,OAAO,QAAQ,KAAK,EAAE,CAAC,CAAC,SAAA,KAExB,MAAM,IAAI,mBACR,4BAA4B,2BAA2B,6CACvD,EACF;KAEF,OAAO,KAAK;IACd;IACA,KAAK,UAAU;KACb,IAAI,KAAK,SAAS,SAAS,YAIzB,MAAM,IAAI,mBACR,mFACA,EACF;KAEF,MAAM,MAAM,OAAO,OAAO,IAAI;KAC9B,IAAI,QAAQ,KAAA,GACV,MAAM,IAAI,mBACR,oFACA,EACF;KAEF,OAAO,KAAK;IACd;IACA,KAAK,YAAY;KACf,MAAM,KAAK,KAAK,SAAS,mBAAmB,IAAmB;KAC/D,IAAI,OAAO,KAAA,GACT,MAAM,IAAI,mBACR,kFACA,EACF;KAEF,OAAO,KAAK;IACd;GAGF;GACA,IAAI,SAAS,MAAM,OAAO;GAC1B,MAAM,SAAS;GACf,MAAM,QAAQ,SAAS,IAAI,MAAM;GACjC,IAAI,UAAU,KAAA,GAAW,OAAO,IAAI;GACpC,IACG,OAAkC,aAAa,iBAC/C,OAAkC,aAAa,sBAEhD,MAAM,IAAI,mBACR,6EACA,EACF;GAEF,IAAI,kBAAkB,MACpB,OAAO,OAAO,MAAM,OAAO,QAAQ,CAAC,IAAI,cAAc,KAAK,OAAO,YAAY;GAEhF,IAAI,cAAc,MAAM,GAAG;IACzB,MAAM,KAAK,KAAK;IAChB,KAAK,cAAc,IAAI,QAAQ,GAAG,GAAG,MAAM;IAC3C,OAAO,KAAK;GACd;GACA,IAAI,WAAW,MAAM,GAAG;IACtB,MAAM,KAAK,KAAK;IAChB,MAAM,UAAqB,CAAC;IAC5B,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,GACzC,IAAI,OAAO,UAAU,UAAU,QAAQ,KAAK,CAAC,MAAM,OAAO,OAAO,IAAI,QAAQ,CAAC,CAAC,CAAC;SAC3E;KACH,MAAM,SAAS,KAAK;KACpB,MAAM,KAAK;MAAE,IAAI;MAAQ,MAAM;KAAM,CAAC;KACtC,QAAQ,KAAK,CAAC,MAAM,KAAK,QAAQ,CAAC;IACpC;IAEF,OAAO,KAAK;KAAE,GAAG;KAAI,GAAG;IAAQ,CAAC;IACjC,OAAO,KAAK;GACd;GACA,IAAI,kBAAkB,aAAa;IACjC,MAAM,KAAK,KAAK;IAChB,OAAO,KAAK;KAAE,GAAG;KAAI,GAAG,SAAS,IAAI,WAAW,MAAM,CAAC;IAAE,CAAC;IAC1D,OAAO,KAAK;GACd;GACA,MAAM,QAAQ,UAAU,MAAM;GAC9B,IAAI,UAAU,KAAA,GAAW;IACvB,MAAM,OAAO;IACb,MAAM,KAAK,KAAK;IAChB,MAAM,QAAQ,IAAI,WAAW,KAAK,QAAQ,KAAK,YAAY,KAAK,UAAU;IAC1E,OAAO,KAAK;KAAE,GAAG;KAAI,GAAG,CAAC,OAAO,SAAS,KAAK,CAAC;IAAE,CAAC;IAClD,OAAO,KAAK;GACd;GACA,MAAM,WAAW,SAAwB,QAAwB;IAC/D,MAAM,KAAK,KAAK;IAChB,SAAS,IAAI,QAAQ,EAAE;IACvB,MAAM,QAAmC;KAAE,GAAG;KAAI,GAAG;IAAK;IAC1D,OAAO,KAAK,KAAK;IACjB,MAAM,IAAI,QAAQ;IAClB,OAAO,GAAG,MAAM;GAClB;GACA,IAAI,kBAAkB,KACpB,OAAO,cAEH,CAAC,GAAG,OAAO,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,QAAQ,UAAU,CACjD,OAAO,KAAK,GAAG,GAAG,YAAY,MAAM,IAAI,QAAQ,CAAC,GACjD,OAAO,OAAO,GAAG,GAAG,cAAc,MAAM,IAAI,QAAQ,CAAC,CACvD,CAAC,GACH,IACF;GAEF,IAAI,kBAAkB,KACpB,OAAO,cAEH,CAAC,GAAG,MAAM,CAAC,CAAC,KAAK,OAAO,UACtB,OAAO,OAAO,GAAG,GAAG,aAAa,MAAM,IAAI,QAAQ,CAAC,CACtD,GACF,IACF;GAEF,IAAI,MAAM,QAAQ,MAAM,GAAG;IACzB,MAAM,cAAyB;KAC7B,MAAM,MAAiB,CAAC;KACxB,KAAK,IAAI,QAAQ,GAAG,QAAQ,OAAO,QAAQ,SAAS,GAClD,IAAI,KAAK,OAAO,OAAO,QAAQ,GAAG,GAAG,GAAG,MAAM,IAAI,QAAQ,CAAC,CAAC;KAE9D,OAAO;IACT;IACA,OAAO,OAAO,IAAI,MAAM,IAAI,QAAQ,OAAO,GAAG,IAAI,MAAM;GAC1D;GACA,IAAI,KAAK,SAAS,SAAS,YAAY,gBAAgB,MAAM,GAAG;IAC9D,MAAM,KAAK,KAAK;IAChB,KAAK,eAAe,IAAI,QAAQ,EAAE;IAClC,OAAO,KAAK;GACd;GACA,IAAI,OAAO,MAAM,GACf,MAAM,IAAI,mBACR,2FACA,EACF;GAEF,IAAI,CAAC,cAAc,MAAM,GAAG;IAC1B,IAAI,gBAAgB,MAAM,GACxB,MAAM,IAAI,mBACR,sEACA,EACF;IAEF,MAAM,IAAI,mBACR,MAAM,SAAS,MAAM,EAAE,sFACvB,EACF;GACF;GACA,MAAM,cAAuC;IAC3C,MAAM,MAA+B,CAAC;IACtC,KAAK,MAAM,OAAO,OAAO,KAAK,MAAM,GAAG;KACrC,MAAM,UAAU,OACb,OAAmC,MACpC,GAAG,KAAK,QAAQ,GAAG,KACnB,QAAQ,CACV;KACA,OAAO,eAAe,KAAK,KAAK;MAC9B,OAAO;MACP,YAAY;MACZ,UAAU;MACV,cAAc;KAChB,CAAC;IACH;IACA,OAAO;GACT;GACA,OAAO,OAAO,IAAI,MAAM,IAAI,QAAQ,OAAO,GAAG,IAAI,MAAM;EAC1D;EACA,MAAM,OAAO,OAAO,OAAO,MAAM,CAAC;EAClC,KAAK,MAAM,EAAE,IAAI,UAAU,OAAO;GAChC,MAAM,QAAQ,IAAI,WAAW,MAAM,KAAK,YAAY,CAAC;GACrD,MAAM,OAAO;GACb,OAAO,KAAK;IACV,GAAG;IACH,GAAG;KACD,MAAM,KAAK;KACX,MAAM,SAAS,KAAK;KACpB,GAAI,OAAO,KAAK,SAAS,WAAW,EAAE,MAAM,KAAK,KAAK,IAAI,CAAC;KAC3D,GAAI,OAAO,KAAK,iBAAiB,WAAW,EAAE,cAAc,KAAK,aAAa,IAAI,CAAC;IACrF;GACF,CAAC;EACH;EACA,MAAM,MAAM,MAAM;EAClB,OAAO;CACT;CAEA,cAAc,IAAY,SAA+B,MAAoB;EAC3E,KAAK,YAAY;EACjB,QAAQ,QAAQ,OAAO,CAAC,CAAC,MACtB,YAAY;GACX,KAAK,cACH,KAAK,aAAa,SAAS,OAAO,MAAM,WAAW,OAAO,KAAK;IAAE,GAAG;IAAI,GAAG;GAAK,CAAC,CAAC,CAAC,CAAC,OACjF,UAAmB,CAAC;IAAE,GAAG;IAAI,GAAG,UAAU,KAAK;GAAE,CAAC,CACrD,CACF;GACA,KAAK,YAAY;EACnB,IACC,UAAmB;GAGlB,IAAI,KAAK,SAAS,SAAS,YACzB,KAAK,QAAQ,YAAY;IACvB,MAAM;GACR,CAAC;QACI,KAAK,QAAQ,YAAY,CAAC;IAAE,GAAG;IAAI,GAAG,UAAU,KAAK;GAAE,CAAC,CAAC;GAChE,KAAK,YAAY;EACnB,CACF;CACF;CAEA,eAAe,IAAY,UAAkC,MAAoB;EAC/E,IAAI;EACJ,IAAI;GACF,WAAW,SAAS,OAAO,cAAc,CAAC;EAC5C,SAAS,OAAO;GACd,KAAK,QAAQ,YAAY,CAAC;IAAE,GAAG;IAAI,GAAG,UAAU,KAAK;GAAE,CAAC,CAAC;GACzD;EACF;EACA,KAAK,WAAW,IAAI,QAAQ;EAC5B,KAAK,YAAY;EACjB,MAAM,OAAO,YAA2B;GACtC,KAAK,IAAI,QAAQ,IAAK,SAAS,GAAG;IAChC,IAAI,KAAK,UAAU;IACnB,IAAI;IACJ,IAAI;KACF,OAAO,MAAM,SAAS,KAAK;IAC7B,SAAS,OAAO;KACd,KAAK,QAAQ,YAAY,CAAC;MAAE,GAAG;MAAI,GAAG,UAAU,KAAK;KAAE,CAAC,CAAC;KACzD;IACF;IACA,IAAI,KAAK,MAAM;KACb,KAAK,QAAQ,YAAY,CAAC;MAAE,GAAG;MAAI,KAAK;KAAK,CAAC,CAAC;KAC/C;IACF;IACA,MAAM,OAAO,KAAK;IAClB,MAAM,KAAK,GAAG,KAAK,QAAQ,MAAM;IACjC,IAAI,SAAS;IACb,KAAK,cACH,KAAK,aAAa,MAAM,KAAK,MAAM,WAAW,OAAO,KAAK;KAAE,GAAG;KAAI,GAAG;IAAK,CAAC,CAAC,CAAC,CAAC,OAC5E,UAAmB;KAClB,SAAS;KACT,OAAO,CAAC;MAAE,GAAG;MAAI,GAAG,UAAU,KAAK;KAAE,CAAC;IACxC,CACF,CACF;IAEA,MAAM,KAAK;IACX,IAAI,QAAQ;KACV,SAAc,SAAS,CAAC,EAAE,cAAc,CAAC,CAAC;KAC1C;IACF;GACF;EACF;EACA,KAAU,CAAC,CAAC,cAAc;GACxB,KAAK,WAAW,OAAO,QAAQ;GAC/B,KAAK,YAAY;GACjB,KAAK,cAAc;EACrB,CAAC;CACH;AACF;;AAGA,MAAM,YAAY;;AAGlB,SAAS,YAAY,OAA6B;CAChD,MAAM,uBAAO,IAAI,IAAY;CAC7B,MAAM,yBAAS,IAAI,IAAY;CAC/B,MAAM,QAAmB,CAAC,KAAK;CAC/B,OAAO,MAAM,SAAS,GAAG;EACvB,MAAM,OAAO,MAAM,IAAI;EACvB,IAAI,OAAO,SAAS,YAAY,SAAS,MAAM;EAC/C,IAAI,KAAK,IAAI,IAAI,GAAG;GAClB,OAAO,IAAI,IAAI;GACf;EACF;EACA,KAAK,IAAI,IAAI;EACb,IAAI,MAAM,QAAQ,IAAI,GACpB,KAAK,MAAM,SAAS,MAAM,MAAM,KAAK,KAAK;OACrC,IAAI,gBAAgB,KACzB,KAAK,MAAM,CAAC,KAAK,UAAU,MAAM,MAAM,KAAK,KAAK,KAAK;OACjD,IAAI,gBAAgB,KACzB,KAAK,MAAM,SAAS,MAAM,MAAM,KAAK,KAAK;OACrC,IAAI,OAAO,eAAe,IAAI,MAAM,OAAO,WAChD,KAAK,MAAM,OAAO,OAAO,KAAK,IAAI,GAAG,MAAM,KAAM,KAAiC,IAAI;CAE1F;CACA,OAAO;AACT;;;;;AAMA,eAAsB,aACpB,OACA,SACoB;CACpB,MAAM,UAAqB,CAAC;CAC5B,MAAM,SAAS,IAAI,YAAY;EAAE,GAAG;EAAS,UAAU,UAAU,QAAQ,KAAK,KAAK;CAAE,CAAC;CACtF,MAAM,OAAO,MAAM,KAAK;CACxB,MAAM,OAAO;CACb,OAAO;AACT;AAuBA,SAAS,WAAqB;CAC5B,IAAI;CACJ,IAAI;CACJ,MAAM,UAAU,IAAI,SAAkB,KAAK,QAAQ;EACjD,UAAU;EACV,SAAS;CACX,CAAC;CACD,QAAQ,YAAY,CAAC,CAAC;CACtB,MAAM,QAAkB;EACtB;EACA,UAAU,UAAU;GAClB,MAAM,UAAU;GAChB,QAAQ,KAAK;EACf;EACA,SAAS,UAAU;GACjB,MAAM,UAAU;GAChB,OAAO,KAAK;EACd;EACA,SAAS;CACX;CACA,OAAO;AACT;;AAGA,IAAM,cAAN,MAAoD;CAClD,SAA6B,CAAC;CAC9B,SAAS;CACT;CACA;CACA,SAAS;CAET,KAAK,OAAsB;EACzB,KAAK,OAAO,KAAK,KAAK;EACtB,KAAK,QAAQ;CACf;CACA,MAAY;EACV,KAAK,SAAS;EACd,KAAK,QAAQ;CACf;CACA,KAAK,OAAsB;EACzB,IAAI,KAAK,QAAQ;EACjB,KAAK,SAAS;EACd,KAAK,SAAS;EACd,KAAK,QAAQ;CACf;CACA,IAAI,QAAiB;EACnB,OAAO,KAAK;CACd;CAEA,CAAC,OAAO,iBAAyC;EAC/C,IAAI,KAAK,QAAQ,MAAM,IAAI,MAAM,uCAAuC;EACxE,KAAK,SAAS;EACd,OAAO;GACL,MAAM,YAA8C;IAClD,SAAS;KACP,IAAI,KAAK,OAAO,SAAS,GAAG,OAAO;MAAE,MAAM;MAAO,OAAO,KAAK,OAAO,MAAM;KAAE;KAC7E,IAAI,KAAK,QAAQ;MACf,IAAI,KAAK,WAAW,KAAA,GAAW,MAAM,KAAK;MAC1C,OAAO;OAAE,MAAM;OAAM,OAAO,KAAA;MAAU;KACxC;KACA,MAAM,IAAI,SAAe,YAAY;MACnC,KAAK,QAAQ;KACf,CAAC;KACD,KAAK,QAAQ,KAAA;IACf;GACF;GACA,QAAQ,YAA8C;IACpD,KAAK,SAAS;IACd,KAAK,OAAO,SAAS;IACrB,OAAO;KAAE,MAAM;KAAM,OAAO,KAAA;IAAU;GACxC;EACF;CACF;AACF;AAEA,MAAM,aAAa,SACjB,IAAI,mBAAmB,mCAAmC,KAAK,EAAE;AAEnE,MAAM,YAAY,UAChB,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,KAAK;;;;;;;AAQrE,IAAa,cAAb,MAAyB;CACvB;;CAEA,uBAAgB,IAAI,IAAqB;CACzC,2BAAoB,IAAI,IAAqB;CAC7C,4BAAqB,IAAI,IAAsB;CAC/C,6BAAsB,IAAI,IAAyB;;CAEnD,SAAgC,CAAC;CACjC,QAAiB,SAAS;CAC1B,WAAW;;CAEX,OAAkC,KAAK,MAAM;CAE7C,YAAY,UAA8B,CAAC,GAAG;EAC5C,KAAK,WAAW;CAClB;;CAGA,IAAI,WAAoB;EACtB,OACE,KAAK,YACL,CAAC,GAAG,KAAK,UAAU,OAAO,CAAC,CAAC,CAAC,OAAO,UAAU,MAAM,OAAO,KAC3D,CAAC,GAAG,KAAK,WAAW,OAAO,CAAC,CAAC,CAAC,OAAO,UAAU,MAAM,KAAK;CAE9D;;CAGA,KAAK,OAAsB;EACzB,IAAI,CAAC,MAAM,QAAQ,KAAK,GAAG,MAAM,UAAU,wBAAwB;EACnE,MAAM,UAAwB,CAAC;EAC/B,KAAK,MAAM,SAAS,OAAO;GACzB,IAAI,CAAC,SAAS,KAAK,GAAG,MAAM,UAAU,yBAAyB;GAC/D,IAAI,OAAO,MAAM,SAAS,UAAU;IAClC,IAAI,CAAC,OAAO,cAAc,MAAM,IAAI,KAAK,MAAM,OAAO,GAAG,MAAM,UAAU,YAAY;IACrF,IAAI,KAAK,KAAK,IAAI,MAAM,IAAI,GAAG,MAAM,UAAU,SAAS,MAAM,KAAK,mBAAmB;IACtF,KAAK,KAAK,IAAI,MAAM,MAAM,MAAM,IAAI;GACtC,OAAO,IAAI,OAAO,MAAM,SAAS,YAAY,OAAO,MAAM,SAAS,UACjE,QAAQ,KAAK,KAA8B;QAE3C,MAAM,UAAU,8CAA8C;EAElE;EACA,IAAI,CAAC,KAAK,YAAY,KAAK,KAAK,IAAI,CAAC,GAAG;GACtC,KAAK,WAAW;GAChB,IAAI;IACF,KAAK,MAAM,QAAQ,KAAK,QAAQ,KAAK,KAAK,IAAI,CAAC,GAAG,CAAC,CAAC;GACtD,SAAS,OAAO;IACd,KAAK,MAAM,OAAO,KAAK;IACvB,MAAM;GACR;EACF;EACA,KAAK,MAAM,SAAS,SAAS,KAAK,OAAO,KAAK;CAChD;;;;;;;CAQA,SAAe;EACb,IAAI,CAAC,KAAK,UAAU,MAAM,UAAU,uBAAuB;EAC3D,SAAS;GACP,MAAM,SAAS,KAAK,OAAO;GAC3B,IAAI,WAAW,GAAG;GAClB,KAAK,OAAO;GACZ,IAAI,KAAK,OAAO,WAAW,QAAQ;EACrC;EACA,IAAI,KAAK,OAAO,SAAS,GAAG,MAAM,UAAU,gDAAgD;EAC5F,IAAI,CAAC,KAAK,UAAU,MAAM,UAAU,6CAA6C;CACnF;;CAGA,KAAK,OAAsB;EACzB,IAAI,CAAC,KAAK,UAAU,KAAK,MAAM,OAAO,KAAK;EAC3C,KAAK,MAAM,SAAS,KAAK,UAAU,OAAO,GAAG,IAAI,CAAC,MAAM,SAAS,MAAM,OAAO,KAAK;EACnF,KAAK,MAAM,SAAS,KAAK,WAAW,OAAO,GAAG,MAAM,KAAK,KAAK;CAChE;CAEA,OAAO,OAAyB;EAC9B,IAAI,OAAO,OAAO;GAChB,MAAM,QAAQ,KAAK,UAAU,IAAI,MAAM,CAAC;GACxC,IAAI,CAAC,OAAO;IACV,KAAK,OAAO,KAAK,KAAK;IACtB;GACF;GACA,IAAI,MAAM,SAAS,MAAM,UAAU,WAAW,MAAM,EAAE,eAAe;GACrE,IAAI,OAAO,OAAO,MAAM,OAAO,IAAI,YAAY,UAAU,MAAM,CAAC,CAAC,CAAC;QAC7D,MAAM,QAAQ,KAAK,QAAQ,MAAM,GAAG,CAAC,CAAC;GAC3C;EACF;EACA,MAAM,QAAQ,KAAK,WAAW,IAAI,MAAM,CAAC;EACzC,IAAI,CAAC,OAAO;GACV,KAAK,OAAO,KAAK,KAAK;GACtB;EACF;EACA,IAAI,OAAO,OAAO,MAAM,KAAK,IAAI,YAAY,UAAU,MAAM,CAAC,CAAC,CAAC;OAC3D,IAAI,SAAS,OAAO,MAAM,IAAI;OAC9B,MAAM,KAAK,KAAK,QAAQ,MAAM,GAAG,CAAC,CAAC;CAC1C;CAEA,OAAO,IAAqB;EAC1B,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,GAAG,MAAM,UAAU,SAAS,GAAG,YAAY;EAChE,OAAO,KAAK,KAAK,IAAI,EAAE;CACzB;CAEA,MAAM,IAAY,OAA2C;EAC3D,IAAI,KAAK,SAAS,IAAI,EAAE,GAAG,OAAO,KAAK,SAAS,IAAI,EAAE;EACtD,MAAM,QAAQ,MAAM,KAAK,OAAO,EAAE,CAAC;EACnC,IAAI,CAAC,KAAK,SAAS,IAAI,EAAE,GAAG,KAAK,SAAS,IAAI,IAAI,KAAK;EACvD,OAAO;CACT;CAEA,SAAe;EACb,MAAM,QAAQ,KAAK,OAAO,OAAO,CAAC;EAClC,KAAK,MAAM,SAAS,OAAO,KAAK,OAAO,KAAK;CAC9C;CAEA,QAAQ,MAAe,OAAwB;EAC7C,IAAI,QAAQ,WAAW,MAAM,UAAU,4BAA4B;EACnE,IAAI,SAAS,QAAQ,OAAO,SAAS,WAAW,OAAO;EACvD,IAAI,OAAO,SAAS,UAAU;GAC5B,IAAI,CAAC,OAAO,SAAS,IAAI,GAAG,MAAM,UAAU,uBAAuB;GACnE,OAAO;EACT;EACA,IAAI,OAAO,SAAS,UAAU,OAAO,KAAK,QAAQ,MAAM,KAAK;EAC7D,IAAI,MAAM,QAAQ,IAAI,GAAG,OAAO,KAAK,KAAK,SAAS,KAAK,QAAQ,MAAM,QAAQ,CAAC,CAAC;EAChF,IAAI,SAAS,IAAI,GAAG;GAClB,MAAM,MAA+B,CAAC;GACtC,KAAK,MAAM,OAAO,OAAO,KAAK,IAAI,GAChC,OAAO,eAAe,KAAK,KAAK;IAC9B,OAAO,KAAK,QAAQ,KAAK,MAAM,QAAQ,CAAC;IACxC,YAAY;IACZ,UAAU;IACV,cAAc;GAChB,CAAC;GAEH,OAAO;EACT;EACA,MAAM,UAAU,oBAAoB;CACtC;CAEA,IAAI,MAAc,IAAoB;EACpC,MAAM,KAAK,OAAO,KAAK,MAAM,EAAE,CAAC;EAChC,IAAI,CAAC,WAAW,KAAK,KAAK,MAAM,EAAE,CAAC,KAAK,CAAC,OAAO,cAAc,EAAE,GAC9D,MAAM,UAAU,iBAAiB,KAAK,UAAU,KAAK,MAAM,GAAG,EAAE,CAAC,GAAG;EAEtE,OAAO;CACT;CAEA,QAAQ,MAAc,OAAwB;EAC5C,IAAI,CAAC,KAAK,WAAW,GAAG,GAAG,OAAO;EAClC,IAAI,KAAK,WAAW,IAAI,GAAG,OAAO,KAAK,MAAM,CAAC;EAC9C,QAAQ,MAAR;GACE,KAAK,cACH;GACF,KAAK,QACH,OAAO;GACT,KAAK,aACH,OAAO,OAAO;GAChB,KAAK,cACH,OAAO,OAAO;GAChB,KAAK,OACH,OAAO;GACT,KAAK,aACH,uBAAO,IAAI,KAAK,GAAU;EAC9B;EAEA,QADY,KAAK,IACjB;GACE,KAAK;IACH,IAAI,CAAC,aAAa,KAAK,KAAK,MAAM,CAAC,CAAC,GAAG,MAAM,UAAU,UAAU;IACjE,IACE,KAAK,SAAS,SAAS,cACvB,KAAK,QAAQ,KAAK,EAAE,CAAC,CAAC,SAAS,IAAA,KAE/B,MAAM,UAAU,mCAAmC,2BAA2B,QAAQ;IAExF,OAAO,OAAO,KAAK,MAAM,CAAC,CAAC;GAC7B,KAAK;IAEH,IAAI,KAAK,SAAS,SAAS,YAAY,MAAM,UAAU,yBAAyB;IAChF,OAAO,OAAO,IAAI,KAAK,MAAM,CAAC,CAAC;GACjC,KAAK,KAAK;IACR,MAAM,OAAO,IAAI,KAAK,KAAK,MAAM,CAAC,CAAC;IACnC,IAAI,OAAO,MAAM,KAAK,QAAQ,CAAC,GAAG,MAAM,UAAU,QAAQ;IAC1D,OAAO;GACT;GACA,KAAK,KAAK;IACR,MAAM,KAAK,KAAK,MAAM,CAAC;IACvB,IAAI,CAAC,KAAK,SAAS,gBAAgB,MAAM,UAAU,+BAA+B,IAAI;IACtF,OAAO,KAAK,SAAS,eAAe,EAAE;GACxC;GACA,KAAK,KAAK;IACR,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC;IAC3B,IAAI,QAAQ,KAAK,UAAU,IAAI,EAAE;IACjC,IAAI,CAAC,OAAO;KACV,QAAQ,SAAS;KACjB,KAAK,UAAU,IAAI,IAAI,KAAK;KAC5B,qBAAqB,KAAK,aAAa,CAAC;IAC1C;IACA,OAAO,MAAM;GACf;GACA,KAAK,KAAK;IACR,IAAI,KAAK,SAAS,SAAS,YAAY,MAAM,UAAU,kCAAkC;IACzF,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC;IAC3B,IAAI,QAAQ,KAAK,WAAW,IAAI,EAAE;IAClC,IAAI,CAAC,OAAO;KACV,QAAQ,IAAI,YAAY;KACxB,KAAK,WAAW,IAAI,IAAI,KAAK;KAC7B,qBAAqB,KAAK,aAAa,CAAC;IAC1C;IACA,OAAO;GACT;GACA,KAAK,KAAK;IACR,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC;IAC3B,IAAI,KAAK,SAAS,IAAI,EAAE,GAAG,OAAO,KAAK,SAAS,IAAI,EAAE;IACtD,MAAM,sBAAM,IAAI,IAAsB;IACtC,KAAK,SAAS,IAAI,IAAI,GAAG;IACzB,MAAM,MAAM,KAAK,OAAO,EAAE;IAC1B,IAAI,CAAC,MAAM,QAAQ,GAAG,GAAG,MAAM,UAAU,OAAO;IAChD,KAAK,MAAM,QAAQ,KAAK;KACtB,IAAI,CAAC,MAAM,QAAQ,IAAI,KAAK,KAAK,WAAW,GAAG,MAAM,UAAU,aAAa;KAC5E,IAAI,IAAI,KAAK,QAAQ,KAAK,IAAI,QAAQ,CAAC,GAAG,KAAK,QAAQ,KAAK,IAAI,QAAQ,CAAC,CAAC;IAC5E;IACA,OAAO;GACT;GACA,KAAK,KAAK;IACR,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC;IAC3B,IAAI,KAAK,SAAS,IAAI,EAAE,GAAG,OAAO,KAAK,SAAS,IAAI,EAAE;IACtD,MAAM,sBAAM,IAAI,IAAa;IAC7B,KAAK,SAAS,IAAI,IAAI,GAAG;IACzB,MAAM,MAAM,KAAK,OAAO,EAAE;IAC1B,IAAI,CAAC,MAAM,QAAQ,GAAG,GAAG,MAAM,UAAU,OAAO;IAChD,KAAK,MAAM,QAAQ,KAAK,IAAI,IAAI,KAAK,QAAQ,MAAM,QAAQ,CAAC,CAAC;IAC7D,OAAO;GACT;GACA,KAAK,KACH,OAAO,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,QAAQ;IAC5C,IAAI,OAAO,QAAQ,UAAU,MAAM,UAAU,gBAAgB;IAC7D,MAAM,QAAQ,WAAW,GAAG;IAC5B,OAAO,MAAM,OAAO,MAAM,MAAM,YAAY,MAAM,aAAa,MAAM,UAAU;GACjF,CAAC;GACH,KAAK,KACH,OAAO,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,QAAQ;IAC5C,IAAI,CAAC,MAAM,QAAQ,GAAG,KAAK,OAAO,IAAI,OAAO,UAAU,MAAM,UAAU,eAAe;IACtF,MAAM,OAAO,mBAAmB,IAAI;IACpC,IAAI,CAAC,MAAM,MAAM,UAAU,sBAAsB;IACjD,MAAM,QAAQ,WAAW,IAAI,EAAE;IAC/B,MAAM,SAAS,MAAM,OAAO,MAAM,MAAM,YAAY,MAAM,aAAa,MAAM,UAAU;IACvF,IAAI;KACF,OAAO,KAAK,MAAqB;IACnC,QAAQ;KACN,MAAM,UAAU,wBAAwB;IAC1C;GACF,CAAC;GACH,KAAK,KACH,OAAO,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,QAAQ;IAC5C,IACE,CAAC,SAAS,GAAG,KACb,OAAO,IAAI,YAAY,YACvB,OAAO,IAAI,YAAY,UAEvB,MAAM,UAAU,QAAQ;IAG1B,MAAM,QAAQ,CADA,WAAW,IAAI,OACV,CAA4B;IAC/C,IAAI,OAAO,IAAI,YAAY,YAAY,OAAO,SAAS,aACrD,OAAO,IAAI,KAAK,OAAO,IAAI,SAAS;KAClC,MAAM,IAAI;KACV,GAAI,OAAO,IAAI,oBAAoB,WAC/B,EAAE,cAAc,IAAI,gBAAgB,IACpC,CAAC;IACP,CAAC;IAEH,OAAO,IAAI,KAAK,OAAO,EAAE,MAAM,IAAI,QAAQ,CAAC;GAC9C,CAAC;GACH,KAAK,KACH,OAAO,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,IAAI,QAAQ;IAC5C,IAAI,CAAC,MAAM,QAAQ,GAAG,GAAG,MAAM,UAAU,YAAY;IACrD,MAAM,OAAO,IAAI,SAAS;IAC1B,KAAK,MAAM,SAAS,KAAK;KACvB,IAAI,CAAC,MAAM,QAAQ,KAAK,KAAK,OAAO,MAAM,OAAO,UAC/C,MAAM,UAAU,kBAAkB;KACpC,MAAM,QAAQ,KAAK,QAAQ,MAAM,IAAI,QAAQ,CAAC;KAC9C,IAAI,OAAO,UAAU,UAAU,KAAK,OAAO,MAAM,IAAI,KAAK;UACrD,IAAI,OAAO,KAAK,GAAG,KAAK,OAAO,MAAM,IAAI,KAAK;UAC9C,MAAM,UAAU,kBAAkB;IACzC;IACA,OAAO;GACT,CAAC;GACH,SAAS;IAEP,MAAM,KAAK,KAAK,IAAI,MAAM,CAAC;IAC3B,IAAI,KAAK,SAAS,IAAI,EAAE,GAAG,OAAO,KAAK,SAAS,IAAI,EAAE;IACtD,MAAM,MAAM,KAAK,OAAO,EAAE;IAC1B,IAAI,MAAM,QAAQ,GAAG,GAAG;KACtB,MAAM,QAAmB,CAAC;KAC1B,KAAK,SAAS,IAAI,IAAI,KAAK;KAC3B,KAAK,MAAM,QAAQ,KAAK,MAAM,KAAK,KAAK,QAAQ,MAAM,QAAQ,CAAC,CAAC;KAChE,OAAO;IACT;IACA,IAAI,CAAC,SAAS,GAAG,GAAG,MAAM,UAAU,iBAAiB;IACrD,MAAM,SAAkC,CAAC;IACzC,KAAK,SAAS,IAAI,IAAI,MAAM;IAC5B,KAAK,MAAM,OAAO,OAAO,KAAK,GAAG,GAC/B,OAAO,eAAe,QAAQ,KAAK;KACjC,OAAO,KAAK,QAAQ,IAAI,MAAM,QAAQ,CAAC;KACvC,YAAY;KACZ,UAAU;KACV,cAAc;IAChB,CAAC;IAEH,OAAO;GACT;EACF;CACF;CAEA,eAAqB;EACnB,IAAI;GACF,KAAK,OAAO;EACd,SAAS,OAAO;GACd,KAAK,KAAK,KAAK;EACjB;CACF;AACF;AAEA,SAAS,UAAU,OAA2B;CAC5C,IAAI,CAAC,SAAS,KAAK,KAAK,OAAO,MAAM,eAAe,UAAU,MAAM,UAAU,UAAU;CACxF,OAAO;EACL,SAAS,MAAM;EACf,GAAI,OAAO,MAAM,YAAY,WAAW,EAAE,MAAM,MAAM,QAAQ,IAAI,CAAC;CACrE;AACF;;;;;AAMA,eAAsB,eACpB,SACA,UAA8B,CAAC,GACb;CAClB,MAAM,SAAS,IAAI,YAAY,OAAO;CACtC,KAAK,MAAM,SAAS,SAAS,OAAO,KAAK,KAAK;CAE9C,IAAI,QAAQ,SAAS,YAAY,OAAO,OAAO;CAC/C,IAAI,CAAC,OAAO,UAEV,qBAAqB,OAAO,KAAK,IAAI,mBAAmB,gCAAgC,CAAC,CAAC;CAE5F,OAAO,OAAO;AAChB;;;;;;;;;AAUA,SAAgB,oBAAoB,SAAmC;CACrE,MAAM,SAAS,SAAuB;EACpC,IAAI,KAAK,SAAS,KAAK,KAAK,OAAO,OAAO,KAAK,OAAO,KAAK;EAC3D,IAAI,KAAK,OAAO,KAAK,MAAM,UAAU,yBAAyB;EAC9D,IAAI,KAAK,OAAO,KAAK,MAAM,UAAU,kCAAkC;EACvE,IAAI,KAAK,OAAO,OAAO,KAAK,QAAQ,KAAK,EAAE,CAAC,CAAC,SAAS,IAAA,KACpD,MAAM,UAAU,mCAAmC,2BAA2B,QAAQ;CAE1F;CACA,MAAM,QAAQ,OAAgB,UAAwC;EACpE,MAAM,QAAmB,CAAC,KAAK;EAC/B,OAAO,MAAM,SAAS,GAAG;GACvB,MAAM,OAAO,MAAM,IAAI;GACvB,IAAI,OAAO,SAAS,UAAU,MAAM,IAAI;QACnC,IAAI,MAAM,QAAQ,IAAI,GAAG,KAAK,MAAM,SAAS,MAAM,MAAM,KAAK,KAAK;QACnE,IAAI,SAAS,QAAQ,OAAO,SAAS,UACxC,KAAK,MAAM,SAAS,OAAO,OAAO,IAAI,GAAG,MAAM,KAAK,KAAK;EAE7D;CACF;CAGA,MAAM,wBAAQ,IAAI,IAAY;CAC9B,KAAK,UAAU,SAAS;EACtB,MAAM,QAAQ,gBAAgB,KAAK,IAAI;EACvC,IAAI,OAAO,MAAM,IAAI,OAAO,MAAM,EAAE,CAAC;CACvC,CAAC;CACD,KAAK,MAAM,SAAS,SAAS;EAC3B,IAAI,CAAC,MAAM,QAAQ,KAAK,GAAG;EAC3B,KAAK,MAAM,SAAS,OAAO;GACzB,MAAM,SAAS;GACf,IACE,WAAW,QACX,OAAO,WAAW,YAClB,OAAO,OAAO,MAAM,YACpB,MAAM,IAAI,OAAO,CAAC,KAClB,MAAM,QAAQ,OAAO,CAAC,GAEtB,KAAK,MAAM,SAAS,OAAO,GAAG,KAAK,MAAM,QAAQ,KAAK,IAAI,MAAM,KAAK,OAAO,KAAK;QAC5E,KAAK,OAAO,KAAK;EAC1B;CACF;AACF"}

package/dist/verify.d.ts

@@ -0,0 +1,254 @@
+import { Diagnostic } from "./diagnostics/diagnostic.js";
+import * as z from "zod";
+//#region src/verify.d.ts
+/** When a verdict's screenshots are handed to the caller (AX-05): images cost tokens. */
+export type ScreenshotPolicy = "on-failure" | "always" | "never";
+/** The Zod schema of the `ScreenshotPolicy` type. */
+export declare const ScreenshotPolicy: z.ZodType<ScreenshotPolicy, string>;
+/** One viewport verify renders at device pixel ratio 1. */
+export interface VerifyViewport {
+  /** Its name in the verdict: `desktop`, `mobile`, `tablet`, or `<width>x<height>`. */
+  readonly name: string;
+  /** Its width in CSS pixels, which at DPR 1 are the screenshot's pixels. */
+  readonly width: number;
+  /** Its height in CSS pixels. */
+  readonly height: number;
+}
+/** The viewports verify renders when the manifest names none (ROUND-3 §9): desktop and mobile. */
+export declare const DEFAULT_VIEWPORTS: readonly VerifyViewport[];
+/**
+ * The viewports a manifest's `verify.viewports` names (`desktop`, `mobile`, `tablet`, or
+ * `<width>x<height>` from 200 to 4000 px), in its order and without repeats; the defaults when it
+ * names none. Returns the names it couldn't read beside them.
+ */
+export declare function viewportsFor(names: readonly string[] | undefined): {
+  readonly viewports: readonly VerifyViewport[];
+  readonly unknown: readonly string[];
+};
+/** What one image costs each model family to read (D138 item 9). */
+export interface TokenEstimate {
+  /** Claude's high-resolution tier (Claude 4.7 and later). */
+  readonly claude: number;
+  /** GPT at `detail: "high"` (gpt-5.5, gpt-5.6, gpt-6-astra). */
+  readonly gpt: number;
+  /** Gemini 3 and 4 at the default media resolution. */
+  readonly gemini: number;
+}
+/**
+ * What an image of `width` × `height` pixels costs Claude, GPT and Gemini to read, by each
+ * provider's published rule as verified on 2026-10-17 (VERIFIED_FACTS, WP-09). Estimates: harnesses
+ * use them to budget, and each provider may round differently by a token.
+ */
+export declare function estimateImageTokens(width: number, height: number): TokenEstimate;
+/** One screenshot in a verdict (AX-05). */
+export interface VerdictScreenshot {
+  /** The viewport's name. */
+  readonly viewport: string;
+  /** The PNG, at device pixel ratio 1. */
+  readonly path: string;
+  /** The image's width in pixels. */
+  readonly width: number;
+  /** The image's height in pixels. */
+  readonly height: number;
+  /** What reading the image costs each model family ({@link estimateImageTokens}). */
+  readonly tokensEstimate: TokenEstimate;
+  /** Whether the caller is handed the image: on failure, or when asked (`screenshots`). */
+  readonly returned: boolean;
+}
+/** One ARIA snapshot in a verdict: the text-only picture of what a viewport shows. */
+export interface VerdictAria {
+  /** The viewport's name. */
+  readonly viewport: string;
+  /** The snapshot's YAML. */
+  readonly path: string;
+  /** A one-line count of what it holds: headings, controls, landmarks. */
+  readonly summary: string;
+}
+/** The verdict of one `verify` run (INTERFACES §13). `status` is `fail` exactly when an error exists. */
+export interface VerifyVerdict {
+  /** `fail` when any diagnostic is an error, else `pass`. */
+  readonly status: "pass" | "fail";
+  /** What was verified. */
+  readonly artifact: {
+    /** The artifact, when it has one already: a manifest `id` or a published path. */
+    readonly id?: string;
+    /** The source path as the request named it. */
+    readonly path: string;
+    /** The snapshot's digest (DATA_MODEL §2); empty when verify couldn't read the source. */
+    readonly sourceDigest: string;
+    /** The environment's digest, `lockDigest` included (DATA_MODEL §2); empty likewise. */
+    readonly envDigest: string;
+    /** The version this source would publish as, when the artifact is known (D89). */
+    readonly versionId?: string;
+  };
+  /** Every finding, errors first, identical ones folded with a `count`. */
+  readonly diagnostics: readonly Diagnostic[];
+  /** One per viewport rendered. */
+  readonly screenshots: readonly VerdictScreenshot[];
+  /** One per viewport rendered. */
+  readonly aria: readonly VerdictAria[];
+  /** What the smoke test did. */
+  readonly smoke: {
+    /** Controls the smoke test used. */
+    readonly interactions: number;
+    /** Server functions that don't check `dryRun()` and were refused instead of run (D55). */
+    readonly skippedActions: readonly string[];
+    /** Field writes the interactions caused. */
+    readonly stateChanges: number;
+  };
+  /** What changed since the last passing version; empty when there is none. */
+  readonly regressions: {
+    /**
+     * The last passing version: the newest whose recorded verdict passed (D138 item 4). When it is
+     * this very source, nothing needed comparing.
+     */
+    readonly against?: string;
+    /** Controls and landmarks the baseline had and this source doesn't, in brief. */
+    readonly aria?: string;
+    /** The share of pixels that differ from the baseline, per viewport. */
+    readonly pixels?: readonly {
+      readonly viewport: string;
+      readonly ratio: number;
+    }[];
+    /** Contracts the baseline had that this source drops: fields, actions, live sources, pages. */
+    readonly contracts?: readonly string[];
+  };
+  /** How long each stage took, in milliseconds, and `total`. */
+  readonly timingsMs: Readonly<Record<string, number>>;
+}
+/** The Zod schema of the `VerifyVerdict` type. */
+export declare const VerifyVerdict: z.ZodType<VerifyVerdict>;
+/** The notification `artifact/verify` sends while it runs, when the client accepts it. */
+export declare const ARTIFACT_PROGRESS = "artifact/progress";
+/** `artifact/progress`: one stage of a long request started or ended. */
+export interface ArtifactProgressParams {
+  /** The `progressToken` the request carried. */
+  readonly progressToken: string;
+  /** The stage that started: `prepare`, `compile`, `boot`, `render`, `smoke`, `regression`. */
+  readonly stage: string;
+  /** How much of the request is done, from 0 to 1, when known. */
+  readonly fraction?: number;
+}
+/** The Zod schema of the `ArtifactProgressParams` type. */
+export declare const ArtifactProgressParams: z.ZodType<ArtifactProgressParams>;
+/**
+ * The global the verify runner's recorder installs in every frame of a render: a page in the
+ * `verify` target reports errors its React error boundaries caught through it, with their
+ * `cause` chains, so the runner judges each by its cause (D138 items 2 and 3, Opus review finding
+ * 3). Viewers' pages never have it.
+ */
+export declare const VERIFY_REPORT = "__mostraVerifyReport";
+/**
+ * What a verify run's page tells the runner about its fields (D138 item 3), on
+ * `globalThis[VERIFY_PROBE]` in the `verify` target only: every field it mounted, how, and with
+ * which initial value's type; internal to Mostra.
+ */
+export declare const VERIFY_PROBE = "__mostraVerify";
+/** One mounted field, as the probe reports it; internal to Mostra. */
+export interface ProbedField {
+  /** The field ID. */
+  readonly id: string;
+  /** Its scope, as first mounted. */
+  readonly scope: "viewer" | "artifact";
+  /** The hook that named it: `useField`, `useChoice`, `useForm` or `storage`. */
+  readonly hook: string;
+  /** `typeof` its initial value, `array` or `null`. */
+  readonly initialType: string;
+  /** How many components have it mounted now. */
+  readonly mounts: number;
+  /** Other hook kinds, scopes or initial types it was mounted with, if any. */
+  readonly conflicts: readonly string[];
+}
+/** The verify runner's methods (ARCHITECTURE §1): the supervisor asks, the runner answers; internal to Mostra. */
+export declare const VERIFY_RUNNER_METHODS: {
+  /** Opens one capability link in a fresh browser context and reports what the page did. */
+  readonly render: "verify/render";
+  /** Compares two screenshots and writes their difference. */
+  readonly compare: "verify/compare";
+};
+/** `verify/render`'s params; internal to Mostra. */
+export interface RenderRequest {
+  /** The capability link to open, as a viewer would (D138 item 1). */
+  readonly url: string;
+  /** The viewport to render at, DPR 1. */
+  readonly viewport: VerifyViewport;
+  /** The fixed time `Date` reports, in ms since the epoch: the same for every render of a run. */
+  readonly clockMs: number;
+  /** Where the screenshot and the ARIA snapshot are written, named after `name`. */
+  readonly outDir: string;
+  /** The render's name: its files are `<name>.png` and `<name>.aria.yml`. */
+  readonly name: string;
+  /** What to collect besides readiness and the page's own errors. */
+  readonly collect: {
+    /** A screenshot of the viewport. */
+    readonly screenshot: boolean;
+    /** The ARIA snapshot. */
+    readonly aria: boolean;
+    /** axe-core's violations. */
+    readonly axe: boolean;
+    /** The page's mounted fields, from the field probe. */
+    readonly fields: boolean;
+    /** Run the smoke test after rendering, within this budget. */
+    readonly smoke?: {
+      readonly maxInteractions: number;
+      readonly maxMs: number;
+    };
+  };
+  /** When this render must have ended, in ms since the epoch. */
+  readonly deadline: number;
+}
+/** `verify/render`'s answer; internal to Mostra. */
+export interface RenderResult {
+  /** Whether the page reported `mostra/ready`. */
+  readonly ready: boolean;
+  /** What the runner found: page errors, console output, failed requests, axe, smoke, blank. */
+  readonly findings: readonly Diagnostic[];
+  /** The screenshot written, when asked for. */
+  readonly screenshot?: {
+    readonly path: string;
+    readonly width: number;
+    readonly height: number;
+  };
+  /** The ARIA snapshot written, and its text, when asked for. */
+  readonly aria?: {
+    readonly path: string;
+    readonly text: string;
+  };
+  /** The mounted fields the probe reported, when asked for. */
+  readonly fields?: readonly ProbedField[];
+  /** What the smoke test did, when asked for. */
+  readonly smoke?: {
+    /** Controls used. */
+    readonly interactions: number;
+    /** Field writes they caused. */
+    readonly stateChanges: number;
+    /** Server functions the sandbox refused during the smoke test. */
+    readonly skipped: readonly string[];
+    /** Whether it stopped at its budget. */
+    readonly budget: boolean;
+  };
+  /** Whether the render ran past its deadline and stopped where it was. */
+  readonly timedOut: boolean;
+  /** When each step ended, in ms after the render started. */
+  readonly timingsMs: Readonly<Record<string, number>>;
+}
+/** `verify/compare`'s params; internal to Mostra. */
+export interface CompareRequest {
+  /** The baseline's screenshot. */
+  readonly a: string;
+  /** The source's screenshot. */
+  readonly b: string;
+  /** Where to write the difference image. */
+  readonly diff: string;
+}
+/** `verify/compare`'s answer; internal to Mostra. */
+export interface CompareResult {
+  /** The share of pixels that differ beyond pixelmatch's perceptual threshold. */
+  readonly ratio: number;
+  /** Whether the two images had different sizes (then `ratio` is 1). */
+  readonly sizeChanged: boolean;
+}
+/** A one-line count of an ARIA snapshot: headings, controls and landmarks. */
+export declare function ariaSummary(text: string): string;
+//#endregion
+//# sourceMappingURL=verify.d.ts.map

package/dist/verify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.d.ts","names":[],"sources":["../src/verify.ts"],"mappings":";;;;YAUY;;qBAGC,kBAAkB,EAAE,QAAQ;;iBAQxB;;WAEN;;WAEA;;WAEA;;;qBAIE,4BAA4B;;;;;;wBAgBzB,aAAa;WAClB,oBAAoB;WACpB;;;iBA4BM;;WAEN;;WAEA;;WAEA;;;;;;;wBAkEK,oBAAoB,eAAe,iBAAiB;;iBAMnD;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA,gBAAgB;;WAEhB;;;iBAIM;;WAEN;;WAEA;;WAEA;;;iBAIM;;WAEN;;WAEA;;aAEE;;aAEA;;aAEA;;aAEA;;aAEA;;;WAGF,sBAAsB;;WAEtB,sBAAsB;;WAEtB,eAAe;;WAEf;;aAEE;;aAEA;;aAEA;;;WAGF;;;;;aAKE;;aAEA;;aAEA;eAA6B;eAA2B;;;aAExD;;;WAGF,WAAW,SAAS;;;qBAUlB,eAAe,EAAE,QAAQ;;qBAiDzB;;iBAGI;;WAEN;;WAEA;;WAEA;;;qBAIE,wBAAwB,EAAE,QAAQ;;;;;;;qBAiBlC;;;;;;qBAOA;;iBAGI;;WAEN;;WAEA;;WAEA;;WAEA;;WAEA;;WAEA;;;qBAIE;;WAEX;;WAEA;;;iBAIe;;WAEN;;WAEA,UAAU;;WAEV;;WAEA;;WAEA;;WAEA;;aAEE;;aAEA;;aAEA;;aAEA;;aAEA;eAAmB;eAAkC;;;;WAGvD;;;iBAIM;;WAEN;;WAEA,mBAAmB;;WAEnB;aAAwB;aAAuB;aAAwB;;;WAEvE;aAAkB;aAAuB;;;WAEzC,kBAAkB;;WAElB;;aAEE;;aAEA;;aAEA;;aAEA;;;WAGF;;WAEA,WAAW,SAAS;;;iBAId;;WAEN;;WAEA;;WAEA;;;iBAIM;;WAEN;;WAEA;;;wBAIK,YAAY"}