sygnal 6.5.0 → 7.0.0

package/dist/index.d.ts

@@ -2041,9 +2041,23 @@ type DiagnosticSeverity$1 = 'error' | 'warn' | 'info'
 
 /** How an action is dispatched. */
 /** 'agent' (static, PLAN-6 K-1): only the component's `agent` declaration dispatches it */
-type InspectActionTrigger = 'intent' | 'next' | 'reply' | 'builtin' | 'agent' | 'unknown'
+/**
+ * 'behavior' (static, PLAN-10 A-8): a `uses` entry's action nothing else triggers that the behavior
+ * may dispatch itself where the checker can't list it (a package behavior, an open model, ...)
+ */
+type InspectActionTrigger = 'intent' | 'next' | 'reply' | 'builtin' | 'agent' | 'behavior' | 'unknown'
 
-interface InspectAction {
+/**
+ * PLAN-10 A-4 (static only): a source position, 1-based. `file` (relative to the working
+ * directory) only when it isn't the component's file.
+ */
+interface InspectLocation {
+  line: number
+  column: number
+  file?: string
+}
+
+interface InspectAction extends Partial<InspectLocation> {
   name: string
   /**
    * 'intent': returned by the component's intent. 'builtin': BOOTSTRAP,
@@ -2057,18 +2071,56 @@ interface InspectAction {
   trigger: InspectActionTrigger
   /** sinks of the model entry (STATE, EVENTS, EFFECT, PARENT, custom drivers); [] without a model entry */
   sinks: string[]
+  /** the `uses` key of the behavior that owns it ('pager' for 'pager.NEXT') */
+  behavior?: string
+  /** static, PLAN-10 A-4: the model entry (line/column on the action: the intent property, else this) */
+  modelAt?: InspectLocation
+  /**
+   * static, PLAN-10 A-7 (actions with a STATE sink only): the top-level state keys the STATE
+   * reducer(s) may write (a behavior's: its slice); [] when it never changes state; null when unknown
+   */
+  writes?: string[] | null
+  /** static, PLAN-10 A-7: a STATE reducer may return undefined (removes a Collection item) */
+  removes?: true
 }
 
-interface InspectChild {
+interface InspectChild extends Partial<InspectLocation> {
   name: string
-  via: 'tag' | 'collection' | 'switchable' | 'slot'
+  /**
+   * 'layout' (static, PLAN-10 A-9): Vike's shell, a +Wrapper / +Layout rendering the next +Layout in
+   * or a +Page it applies to (Wrapper(s) > Layout(s) > Page); no location (no JSX site)
+   */
+  via: 'tag' | 'collection' | 'switchable' | 'slot' | 'layout'
   /** Collection: the `from` state field, when known */
   from?: string | null
   /** runtime: number of live instances behind this entry (e.g. Collection items) */
   count?: number
+  /** runtime, PLAN-10 D522: the ids of those instances */
+  ids?: string[]
+  /**
+   * static, PLAN-10 A-3: the id of the component it renders (resolved through the import); null when
+   * it isn't in the graph (a package, a widget, a file not scanned, a dynamic value)
+   */
+  id?: string | null
+  /** static, PLAN-10 A-1: a literal `state` lens (`<Greeting state="host" />`) */
+  state?: string
+  /** static, PLAN-10 A-2: the package the tag is imported from ('sygnal/ui') */
+  external?: string
+  /** static, PLAN-10 A-2: a widget tag (defineWidget, fromZag, fromReact, the sygnal/ui Zag parts) */
+  widget?: true
+}
+
+/** PLAN-10 A-5 (static): a CHILD.select(Child) call in an intent */
+interface InspectChildSelect extends InspectLocation {
+  /** the selected component's name as written */
+  child: string | null
+  /** its id; null when it isn't in the graph */
+  id: string | null
+  /** the intent actions whose stream contains the call (the receivers of the child's PARENT sink) */
+  actions: string[]
 }
 
-interface InspectSelector {
+interface InspectSelector extends Partial<InspectLocation> {
   /** CSS selector passed to DOM.select() (chained selects joined with a space) */
   selector: string
   /** event types listened to; null when unknown (runtime, real DOM) */
@@ -2084,10 +2136,12 @@ interface InspectSelector {
   isolationHit: string | null
   /** PLAN-4 CT-1: the control this selector is (its key), when it is `[data-control="<Key>"]` */
   control?: string
+  /** the `uses` key of the behavior that listens to it */
+  behavior?: string
 }
 
 /** PLAN-4 CT-1: a control (controls()) a component renders */
-interface InspectControl {
+interface InspectControl extends Partial<InspectLocation> {
   /** the control's key (rendered as data-control="<name>") */
   name: string
   /** the intrinsic tag of a tag spec; null for a spec object */
@@ -2102,10 +2156,14 @@ interface InspectDiagnostic {
   code: string
   severity: DiagnosticSeverity$1
   component?: string
+  /** static, PLAN-10 A-3: the id of the component it is attached to */
+  componentId?: string
   message: string
   fix?: string
   docsUrl?: string
   data?: any
+  /** runtime only: when it was reported (ms since the epoch; each is reported once per process) */
+  timestamp?: number
   /** static only */
   file?: string
   line?: number
@@ -2160,6 +2218,12 @@ interface InspectComponent {
   name: string
   /** runtime: instance number (as a string); static: 'file:line' of the definition */
   id: string
+  /**
+   * static, PLAN-10 D521: 'file#name', stable when lines move (hosts key selection and positions by it);
+   * a second component of the same name in one file gets 'file#name#2', and so on. Runtime (PLAN-10 P-2,
+   * D544): the same key when sygnal/vite's dev server stamped the component function, else absent
+   */
+  key?: string
   /** runtime: the parent instance's id; static: null (see the parents' `children`) */
   parentId: string | null
   /** static only: source file, relative to the working directory */
@@ -2169,6 +2233,32 @@ interface InspectComponent {
    * component renders it, else how it is first rendered
    */
   kind: 'root' | 'child' | 'collection-item' | 'switchable'
+  /** PLAN-10 A-1 / D522: rendered as a component (or started as an entry) but has no statics */
+  viewOnly?: true
+  /**
+   * static, PLAN-10 A-6: started by run(), defineElement() or a Vike +Page / +Layout / +Wrapper; 'unknown' on the
+   * other roots when an entry call's component can't be resolved (picked at run time).
+   * runtime (D522): true on an app's root instance
+   */
+  entry?: true | 'unknown'
+  /**
+   * static, Vike only (PLAN-10 A-9): on a +Page's component its route ('/orders/@id': from the
+   * filesystem, or the literal string a +route file / the config's `route` sets); null for a Route
+   * Function or a route the checker can't read (with `routeDynamic`) and for _error/+Page. On a
+   * +Layout's / +Wrapper's: the URL prefix of the directory it applies to
+   */
+  route?: string | null
+  /**
+   * static, Vike only (PLAN-10 A-9): every route of a component several +Page files export (`route` is
+   * the first, in path order; null for a dynamic one or the error page); omitted otherwise
+   */
+  routes?: (string | null)[]
+  /** static, Vike only (PLAN-10 A-9): the route is a Route Function or can't be read (route: null) */
+  routeDynamic?: true
+  /** runtime, PLAN-10 D522: the app (run()) it belongs to: its root's index among the live roots, oldest first */
+  app?: number
+  /** runtime, PLAN-10 D522: false on a hidden Switchable page and below it; omitted when shown */
+  shown?: false
   actions: InspectAction[]
   /** state keys (runtime: current state; static: initialState) */
   stateKeys: string[]
@@ -2176,14 +2266,27 @@ interface InspectComponent {
   calculated: string[]
   /** context fields this component provides (Component.context) */
   contextProvides: string[]
-  /** context fields its view reads (static only; null at runtime) */
+  /** context fields its view reads (static: the view source; runtime, D530: what its latest render read) */
   contextConsumes?: string[] | null
+  /**
+   * static, PLAN-10 A-7: top-level state keys the view (and its child lenses, calculated and
+   * context functions) reads literally; omitted when none
+   */
+  stateReads?: string[]
+  /** static, PLAN-10 A-7: stateReads may be incomplete (the state used whole somewhere) */
+  stateReadsPartial?: true
   /** EVENTS types this component emits */
   eventsEmitted: string[]
   /** EVENTS types this component selects ('*' = EVENTS.select() without a type) */
   eventsSelected: string[]
   children: InspectChild[]
   selectors: InspectSelector[]
+  /** static, PLAN-10 A-4: where the `context` static's entries are */
+  contextEntries?: Array<InspectLocation & { name: string }>
+  /** static, PLAN-10 A-4: the EVENTS emit and select sites of its intent and model */
+  eventSites?: Array<InspectLocation & { type: string; role: 'emit' | 'select' }>
+  /** static, PLAN-10 A-5: CHILD.select(Child) in its intent */
+  childSelects?: InspectChildSelect[]
   /** PLAN-4 CT-1: the controls it renders (runtime: seen in its renders); omitted when none */
   controls?: InspectControl[]
   /** static only, PLAN-4 GS-2 (G-224): the element commands (ELEMENT sink) its model sends; omitted when none */
@@ -2198,7 +2301,7 @@ interface InspectComponent {
 }
 
 /** PLAN-4 GS-2: an element command a model entry sends (static inspect, sygnal-check --graph) */
-interface InspectCommand {
+interface InspectCommand extends Partial<InspectLocation> {
   /** the model entry that sends it */
   action: string
   /** the command's method (its first key) */
@@ -2220,13 +2323,15 @@ interface InspectAgent {
   description: string | null
   /** the declaration has a read projection */
   read: boolean
-  actions: Array<{ name: string; consequential: boolean; input: boolean }>
+  actions: Array<{ name: string; consequential: boolean; input: boolean } & Partial<InspectLocation>>
+  /** the read-only `agent.queries` tools; omitted when none */
+  queries?: Array<{ name: string; input: boolean } & Partial<InspectLocation>>
   /** spreads: what is listed may be incomplete */
   partial?: true
 }
 
 /** PLAN-4 GS-7: a literal timer spec of a `timers` static (static inspect, sygnal-check --graph) */
-interface InspectTimer {
+interface InspectTimer extends Partial<InspectLocation> {
   name: string
   every?: number | null
   after?: number | null
@@ -2261,8 +2366,12 @@ interface InspectGraph {
   /** which implementation produced the graph */
   source?: 'runtime' | 'static'
   components: InspectComponent[]
-  /** EVENTS bus: type -> names of the components that emit / select it */
-  events: Record<string, { emitters: string[]; selectors: string[] }>
+  /**
+   * EVENTS bus: type -> names of the components that emit / select it (each name once); emitterIds /
+   * selectorIds (PLAN-10 A-3, D522, D528): the id of every such component (static) or instance
+   * (runtime), not parallel to the names
+   */
+  events: Record<string, { emitters: string[]; selectors: string[]; emitterIds?: string[]; selectorIds?: string[] }>
   /** diagnostics not tied to a listed component */
   diagnostics: InspectDiagnostic[]
   /** runtime, PLAN-3 5-3: makeFetchDriver cache entries, by sink name (empty when no cache) */
@@ -2392,9 +2501,12 @@ type ComponentProps<STATE, PROPS, CONTEXT> = (
  */
 type UidFunction = (name?: string) => string
 
-/** The first argument of a component's view: its props plus `state`, `context`, `children`, `slots` and `uid`. */
+/**
+ * The first argument of a component's view: its props plus `state`, `context`, `children`, `slots` and `uid`.
+ * PLAN-11 Q-1: PROPS = `any` is read as "any other props" (`any & X` would make `state` `any` too).
+ */
 type ViewProps<STATE = any, PROPS = {}, CONTEXT = {}> =
-  PROPS & { state: STATE; context: CONTEXT; children?: JSX.Element | JSX.Element[]; slots?: Record<string, JSX.Element[]>; uid: UidFunction }
+  (0 extends (1 & PROPS) ? { [prop: string]: any } : PROPS) & { state: STATE; context: CONTEXT; children?: JSX.Element | JSX.Element[]; slots?: Record<string, JSX.Element[]>; uid: UidFunction }
 
 /**
  * The `state` prop a parent passes to a sub-component in JSX: the name of a field of the
@@ -2429,13 +2541,19 @@ type NextFunction<ACTIONS = any> = ACTIONS extends object
     ) => void
   : (action: string, data?: any, delay?: number) => void
 
-type ReducerExtras<PROPS, CONTEXT> = PROPS & { context: CONTEXT; children?: JSX.Element | JSX.Element[]; slots?: Record<string, JSX.Element[]>; uid: UidFunction }
+
+/**
+ * A reducer's 4th argument. 7.0: STATE runs first; every other sink gets the committed state as
+ * `state` (and as its 1st argument), with the state from before the action as `previousState`
+ * (in a STATE reducer both are the old state)
+ */
+type ReducerExtras<PROPS, CONTEXT, STATE = any> = PROPS & { state: STATE; previousState: STATE; context: CONTEXT; children?: JSX.Element | JSX.Element[]; slots?: Record<string, JSX.Element[]>; uid: UidFunction }
 
 type Reducer<STATE, PROPS, ACTIONS = any, DATA = any, RETURN = any, CONTEXT = {}> = (
   state: STATE,
   args: DATA,
   next: NextFunction<ACTIONS>,
-  props: ReducerExtras<PROPS, CONTEXT>
+  props: ReducerExtras<PROPS, CONTEXT, STATE>
 ) => RETURN | ABORT | undefined
 
 type ExactShape<EXPECTED, ACTUAL extends EXPECTED> = ACTUAL &
@@ -2571,7 +2689,7 @@ type AnySinkConstant =
  * `props.signal` aborts on DISPOSE (undefined where AbortController is missing).
  */
 type EffectReducer<STATE, PROPS, ACTIONS, DATA, CALCULATED, CONTEXT = {}> =
-  | ((state: STATE & CALCULATED, args: DATA, next: NextFunction<ACTIONS>, props: ReducerExtras<PROPS, CONTEXT> & { signal?: AbortSignal }) => void)
+  | ((state: STATE & CALCULATED, args: DATA, next: NextFunction<ACTIONS>, props: ReducerExtras<PROPS, CONTEXT, STATE & CALCULATED> & { signal?: AbortSignal }) => void)
 
 type DefaultSinks<STATE, PROPS, ACTIONS, DATA, CALCULATED, SINK_RETURNS extends NonStateSinkReturns = {}, CONTEXT = {}> = {
   STATE?: SinkValue<STATE, PROPS, ACTIONS, DATA, STATE, CALCULATED, CONTEXT>;
@@ -3241,10 +3359,11 @@ declare function pager(options?: PagerOptions): Behavior<PagerState, PagerAction
 type FieldErrors = Record<string, string>
 
 /** One field of a `form` slice: `state.form.fields.email`, `state.form.fields['addresses.7.city']`. */
-interface FormField {
+interface FormField<T = any> {
   /** The field name, for `name={f.name}` (the path in `values`; rows of an array by id) */
   name: string;
-  value: any;
+  /** The field's value: typed for a top-level field of a typed form (`fields.email.value: string`) */
+  value: T;
   /** What to show: a server or check error at once, a schema error once the field is touched (per `show`) or after a submit; '' when none */
   error: string;
   /** `!!error`, for `aria-invalid={f.email.invalid}` */
@@ -3281,12 +3400,36 @@ interface FormState<V = any> {
   validating: boolean;
   /** The schema has answered at least once since the start (or the last `form.RESET`) */
   validated: boolean;
+  /**
+   * PLAN-11 (6.7): the submit request's last progress step, when it is sent with
+   * `progress: 'form.PROGRESS'`; null otherwise and after `form.DONE` / `form.ERRORS` / `form.RESET`
+   */
+  progress: { phase: 'upload' | 'download'; loaded: number; total: number | null; fraction: number | null } | null;
+  /**
+   * PLAN-11 (6.7): how many times the form started over (`form.RESET`, `resetOnShow`). A file
+   * input can't be cleared through state: key it with this, `key={'avatar' + state.form.resets}`
+   */
+  resets: number;
 }
 
+type FormIsAny<T> = 0 extends (1 & T) ? true : false
+
+/**
+ * A form's `fields` (PLAN-11 F-1): the top-level fields of `values` by name, typed
+ * (`fields.email.value: string`), and nested paths ('addresses.7.city', 'addresses.7') with any
+ * value. A top-level name that isn't in `values` is a type error (a typo). Untyped values (any):
+ * `Record<string, FormField>`.
+ */
+type FormFields<V = any> = FormIsAny<V> extends true
+  ? Record<string, FormField>
+  : V extends object
+    ? { [K in keyof V & string]-?: FormField<V[K]> } & { [path: `${string}.${string}`]: FormField }
+    : Record<string, FormField>
+
 /** A `form` slice's calculated fields. */
-interface FormCalculated {
+interface FormCalculated<V = any> {
   /** Every field of `values` by name (leaves, arrays, and array rows' fields by row id) */
-  fields: Record<string, FormField>;
+  fields: FormFields<V>;
   /** No schema error and no failed check, as of the schema's last answer (false until its first; an async re-validation keeps the previous value) */
   valid: boolean;
   dirty: boolean;
@@ -3302,15 +3445,38 @@ interface FormFieldCheck {
   error?: (body: any) => string | false | null | undefined;
 }
 
-interface FormOptions<V = any> {
+/** Types only: the key of `FormOptions`' phantom output type (not exported, never set) */
+declare const formOutput: unique symbol
+
+/** PLAN-11: the `request` option of form(): a request without reply actions (the form names them), or a function of the submit data and the host state */
+type FormRequestObject = Exclude<FetchRequest, string> & { url: string; ok?: never; error?: never }
+type FormRequest<OUT = any> =
+  | FormRequestObject
+  | ((data: OUT, state: any) => FormRequestObject | typeof ABORT | null | undefined | false)
+
+interface FormOptions<V = any, OUT = any> {
+  /** Phantom, types only: the schema's output (`FormOutput<typeof uses.form>`); never set */
+  readonly [formOutput]?: OUT;
   /**
    * The start values; field names are paths in it (rows of an array of objects need an `id`, SYG236).
    * Or a function of the host component's state, for start values that come from state (a default
    * from the settings): called when the form starts, and each time it starts over (`resetOnShow`)
    */
   values: V | ((state: any) => V);
-  /** The host action a valid submit dispatches with the schema's output (SYG234 when it has no model entry). With an `http` sink in its entry the submit is pending until `form.DONE` / `form.ERRORS`; otherwise it is done at once */
-  submit: string;
+  /**
+   * The host action a valid submit dispatches with the schema's output (SYG234 when it has no model entry). With an `http` sink in its entry the submit is pending until `form.DONE` / `form.ERRORS`; otherwise it is done at once.
+   * Optional with `request` (then dispatched too, for state; its entry should send no request)
+   */
+  submit?: string;
+  /**
+   * PLAN-11 (6.7): the form sends a valid submit itself on the `http` sink: a request, or a
+   * function of the schema's output and the host's state (`(data, state) => ({ url: '/api/items/' + state.id, method: 'PUT' })`;
+   * `ABORT` / falsy sends nothing and leaves the submit pending). The form adds the body
+   * (`multipart: data` when a top-level value is a File or files, else `json: data`, unless the
+   * request sets `json`, `multipart` or `body`), `progress: 'form.PROGRESS'` (unless set) and its own
+   * `ok: 'form.DONE'`, `error: 'form.ERRORS'`
+   */
+  request?: FormRequest<OUT>;
   /** Async checks by field name: run on blur and before a submit, which waits for them */
   check?: Record<string, FormFieldCheck>;
   /** When a schema error shows: after the field's blur (default), on input, or only after a submit */
@@ -3340,9 +3506,19 @@ interface FormOptions<V = any> {
   tool?: FormToolHandle;
 }
 
-interface FormActions {
-  /** A field changed (the form element's input events): `{ name, value }`; a checkbox gives `checked` as `value` and its own value as `item` (on an array field: added or removed) */
-  CHANGE: { name: string; value: any; item?: any };
+/**
+ * What `form.ERRORS` takes (the runtime's `replyErrors`): an error reply (a driver's
+ * `{ error, status?, body?, request }` or `{ status, body }`, the body `{ errors }` or the map
+ * itself), a map `{ name: message | messages }`, or a list of issues `[{ path, message }]`
+ */
+type FormServerErrors =
+  | Record<string, string | ReadonlyArray<string>>
+  | ReadonlyArray<{ message: string; path?: ReadonlyArray<any> }>
+  | { status?: number; body?: any; error?: any; request?: any }
+
+interface FormActions<V = any> {
+  /** A field changed (the form element's input events): `{ name, value }`; a checkbox gives `checked` as `value` and its own value as `item` (on an array field: added or removed); a file input its File (`multiple`: File[]; none: null) */
+  CHANGE: { name: string; value: any; item?: any; file?: boolean };
   /**
    * Several fields at once, by field name (`{ values: { name: 'Dana', 'addresses.7.city': 'Hilo' } }`),
    * as if typed: one validation, `touched` as for CHANGE, their server errors and check results
@@ -3351,20 +3527,49 @@ interface FormActions {
   SET: { values: Record<string, any> };
   /** A field lost focus (focusout): its name */
   BLUR: string;
-  /** The form element's submit (default prevented) */
-  SUBMIT: any;
+  /** The form element's submit (default prevented); its data is ignored (a host may dispatch it from a button) */
+  SUBMIT: unknown;
   /** Adds a row to an array field (with the next id): `{ field: 'addresses', value: { street: '' } }` */
   ADD: { field: string; value?: Record<string, any> };
   /** Removes a row by id: `{ field: 'addresses', id }` */
   REMOVE: { field: string; id: any };
-  /** Server errors: an error reply (`{ status, body: { errors } }`) or a map `{ name: message }`; focuses the first */
-  ERRORS: any;
-  /** The submit was saved: `initial` becomes `values` */
-  DONE: any;
-  /** Back to `initial` (or to the values given) */
-  RESET: any;
+  /** Server errors: an error reply (`{ status, body: { errors } }`), a map `{ name: message }` or a list of issues; focuses the first */
+  ERRORS: FormServerErrors;
+  /** The submit was saved: `initial` becomes `values`. Its data (the reply) is ignored */
+  DONE: unknown;
+  /** PLAN-11: a progress step of the submit request (`progress: 'form.PROGRESS'` on it): kept as `progress` while submitting */
+  PROGRESS: FetchProgress;
+  /** Back to `initial`, or to the values given (whole values, not merged; anything but a plain object, such as a click event, means `initial`) */
+  RESET: V | null | undefined;
 }
 
+/**
+ * The schema's input type (Standard Schema `~standard.types.input`; zod, valibot and arktype declare
+ * it); `any` for a schema that doesn't declare `types`
+ */
+type SchemaInput<S> = S extends { readonly '~standard': { readonly types?: infer T } }
+  ? [NonNullable<T>] extends [{ readonly input: infer I }] ? I : any
+  : any
+
+type FormSchemaOutput<S> = S extends { readonly '~standard': { readonly types?: infer T } }
+  ? [NonNullable<T>] extends [{ readonly output: infer O }] ? O : any
+  : any
+
+/** The values type of `form(schema, { values })`: the schema's input when it declares one, else what `values` gives */
+type FormValuesOf<V, S> = FormIsAny<SchemaInput<S>> extends true ? V : SchemaInput<S>
+
+/** What `form()` returns: a behavior whose types carry the values (V) and the schema's output (OUT, the submit payload) */
+type FormBehavior<V = any, OUT = any> = Behavior<FormState<V>, FormActions<V>, FormCalculated<V>, FormOptions<V, OUT>>
+
+/**
+ * The data the host's submit action gets (the schema's output) from a `form()` use:
+ * `SIGN_UP: { HTTP: (state, data: FormOutput<typeof uses.form>) => ... }`. Or from the schema:
+ * `SchemaOutput<typeof signupSchema>`. `any` for a schema that doesn't declare `types`.
+ */
+type FormOutput<F> = F extends Behavior<any, any, any, infer OPTIONS>
+  ? OPTIONS extends { readonly [formOutput]?: infer O } ? (unknown extends O ? any : O) : any
+  : any
+
 /**
  * A form with validation (PLAN-5 F-1), any Standard Schema validator (zod, valibot, arktype, a
  * hand-written object):
@@ -3379,7 +3584,11 @@ interface FormActions {
  * that sends nothing (STATE, PARENT, EVENTS) is done at once. Throws SYG231 when
  * `schema` isn't a Standard Schema.
  */
-declare function form<V = any>(schema: StandardSchemaLike, options: FormOptions<V>): Behavior<FormState<V>, FormActions, FormCalculated, FormOptions<V>>
+declare function form<V = any, S extends StandardSchemaLike = StandardSchemaLike>(
+  schema: S,
+  options: FormOptions<V, FormSchemaOutput<S>> & { values: FormIsAny<SchemaInput<S>> extends true ? unknown : SchemaInput<S> | ((state: any) => SchemaInput<S>) }
+    & ({ submit: string } | { request: FormRequest<FormSchemaOutput<S>> })
+): FormBehavior<FormValuesOf<V, S>, FormSchemaOutput<S>>
 
 /** A Standard Schema's result for `values`: errors by field name, and the output when there are none. A Promise for an async schema. */
 declare function checkForm(schema: StandardSchemaLike, values: any): { errors: FieldErrors; value: any } | Promise<{ errors: FieldErrors; value: any }>
@@ -4614,6 +4823,9 @@ type FetchInit = {
  * descendants'): two instances, or Collection items, using the same category never see or
  * cancel each other's requests. The root component sees every reply.
  */
+/** PLAN-11: one value of a request's `multipart` body */
+type MultipartValue = Blob | string | number | boolean | null | undefined | Record<string, any>
+
 type FetchRequest = string | {
   /** Request URL (prefixed with the driver's `baseUrl`) */
   url: string;
@@ -4639,8 +4851,24 @@ type FetchRequest = string | {
   query?: Record<string, string | number | boolean | null | undefined | Array<string | number | boolean | null | undefined>>;
   /** Sent as JSON.stringify(json), with `Content-Type: application/json` unless set */
   json?: any;
+  /**
+   * PLAN-11 (6.7): a multipart/form-data body, written as data: `{ file: state.file, title: state.title }`.
+   * A File or Blob is a file part, an array repeats the name (`files: [a, b]`), null/undefined are
+   * skipped, an object is sent as JSON text, anything else as a string. The browser sets the
+   * content-type (with its boundary); a `content-type` header is dropped. POST by default
+   */
+  multipart?: Record<string, MultipartValue | ReadonlyArray<MultipartValue>>;
   /** Raw body (string, FormData, Blob, ...) */
   body?: any;
+  /**
+   * PLAN-11 (6.7): report upload and download progress. An action name: each step arrives as that
+   * action of the sending instance (`UPLOADING: (state, { phase, fraction }) => ...`); `true`: on
+   * `HTTP.progress(category?)`. Data: FetchProgress. The request then goes over XMLHttpRequest
+   * (the only way to see upload progress in every browser); fetch-only `init` options
+   * (`keepalive`, `priority`, `cache`, `redirect`, `integrity`, `mode`, `referrerPolicy`) don't
+   * apply (SYG636). Not for resources or `batch`. Without XMLHttpRequest (Node): no steps
+   */
+  progress?: string | true;
   /**
    * Latest only: sending this request aborts this component's requests still in flight in the
    * same category; their responses and errors are never delivered. Default: the driver's `latest`
@@ -4755,10 +4983,15 @@ type FetchRetry = SocketReconnect & {
   count?: number;
 }
 
-/** Any Standard Schema (https://standardschema.dev): an object with `~standard.validate` */
-type StandardSchemaLike = {
+/**
+ * Any Standard Schema (https://standardschema.dev): an object with `~standard.validate`. `IN` / `OUT`
+ * are its declared `~standard.types` (input / output; zod, valibot, arktype declare them), read by
+ * `form()`, `SchemaInput` and `SchemaOutput`; a schema without `types` is `StandardSchemaLike<any>`.
+ */
+type StandardSchemaLike<IN = any, OUT = IN> = {
   readonly '~standard': {
     validate: (value: unknown) => {value?: any; issues?: ReadonlyArray<{message: string; path?: ReadonlyArray<any>}>} | Promise<{value?: any; issues?: ReadonlyArray<{message: string; path?: ReadonlyArray<any>}>}>;
+    readonly types?: { readonly input: IN; readonly output: OUT } | undefined;
     [key: string]: any;
   };
 }
@@ -4885,11 +5118,30 @@ type FetchError<REQUEST = any> = {
   body?: any;
 }
 
+/**
+ * PLAN-11 (6.7): one progress step of a request sent with `progress`. Steps come at most every
+ * 50 ms per phase, always including the first and the last (`fraction: 1`). A request with a
+ * body reports 'upload' then 'download'; a GET only 'download'. A retry starts again at 0.
+ */
+type FetchProgress<REQUEST = any> = {
+  phase: 'upload' | 'download';
+  /** Bytes sent ('upload') or received ('download') so far */
+  loaded: number;
+  /** Total bytes, or null when unknown (a download without Content-Length) */
+  total: number | null;
+  /** loaded / total (0..1), or null when the total is unknown */
+  fraction: number | null;
+  category: string | undefined;
+  request: REQUEST;
+}
+
 type FetchSource<VALUE = any> = {
   /** 2xx responses: all of them, one category, or those a predicate accepts */
   select: (category?: string | ((response: FetchResponse<VALUE>) => boolean)) => Stream<FetchResponse<VALUE>>
   /** Failures. Filters like select(). While nothing listens, failures are console.error'd */
   errors: (category?: string | ((failure: FetchError) => boolean)) => Stream<FetchError>
+  /** PLAN-11: progress steps of requests sent with `progress: true`. Filters like select() */
+  progress: (category?: string | ((step: FetchProgress) => boolean)) => Stream<FetchProgress>
 }
 
 type FetchDriverOptions = {
@@ -4908,8 +5160,10 @@ type FetchDriverOptions = {
   timeoutMs?: number;
   /** Default `parse` for every request. Default 'auto' */
   parse?: 'auto' | 'json' | 'text' | 'response' | ((response: Response) => any);
-  /** The fetch implementation. Default: `globalThis.fetch`, read at each request (so test stubs apply) */
+  /** The fetch implementation. Default: `globalThis.fetch`, read at each request (so test stubs apply). Not used for `progress` requests */
   fetch?: (input: string, init?: any) => Promise<any>;
+  /** PLAN-11: the XMLHttpRequest class for `progress` requests. Default: the global one, read at each request */
+  XMLHttpRequest?: any;
   /**
    * PLAN-3 D88: the query cache, off by default: `cache: queryCache({ staleTime })`. On:
    * resources' GET/HEAD replies are cached (stale-while-revalidate: cached data shows at once,
@@ -4992,6 +5246,12 @@ type SseConnection = SocketActions & {
   /** URL (after `baseUrl`) */
   sse: string;
   withCredentials?: boolean;
+  /**
+   * PLAN-11 (6.7): request headers, e.g. `{ authorization: 'Bearer ' + state.token }`. The native
+   * EventSource can't send headers, so a connection with them is read with `fetch` (same events,
+   * reconnects with `Last-Event-ID`). A changed header (a new token in state) reconnects
+   */
+  headers?: Record<string, string>;
   /** Named events → actions: `{ 'price-update': 'PRICE' }` (data JSON-parsed when it parses) */
   events?: Record<string, string>;
 }
@@ -5044,8 +5304,10 @@ type SocketDriverOptions = {
   queueLimit?: number;
   /** The WebSocket class. Default: `globalThis.WebSocket`, read at connect time (so test stubs apply) */
   WebSocket?: any;
-  /** The EventSource class. Default: `globalThis.EventSource`, read at connect time */
+  /** The EventSource class. Default: `globalThis.EventSource`, read at connect time (an `sse` connection with `headers`: a fetch-based one, unless this is given) */
   EventSource?: any;
+  /** PLAN-11: the fetch for `sse` connections with `headers`. Default: `globalThis.fetch` */
+  fetch?: (input: string, init?: any) => Promise<any>;
 }
 
 /**
@@ -5469,6 +5731,12 @@ type FakeCacheEntry = {
 }
 
 interface RenderOptions {
+  /**
+   * 7.0 timing audit (SYG257, info): report each output sink that reads a top-level state field
+   * its action's STATE changed (it gets the new value since 7.0; 6.x gave it the old one). For
+   * migrating 6.x code; default off (configureTimingAudit() from 'sygnal/diagnostics' sets it for all)
+   */
+  timingAudit?: boolean;
   /** Override initial state (defaults to component's .initialState) */
   initialState?: any;
   /**
@@ -5794,6 +6062,14 @@ interface RenderResult<STATE = any> {
    * throws (the driver would only log it, SYG678).
    */
   fail: (sinkName: string, error: any, target?: string | FakeReplyOptions | Record<string, any> | ((request: any) => boolean)) => Promise<void>;
+  /**
+   * PLAN-11 (6.7): one progress step of a pending request sent with `progress` (chosen as in
+   * respond; `'UPLOADING'` matches its progress action too): `t.progress('HTTP', { loaded: 50, total: 100 }, 'UPLOADING')`.
+   * The component gets FetchProgress (`fraction: 0.5`) as that action, or on `HTTP.progress()`
+   * for `progress: true`. `phase` defaults to 'upload' for a request with a body, else
+   * 'download'. The request stays pending until respond()/fail(). Resolves once reduced and rendered.
+   */
+  progress: (sinkName: string, step: { loaded: number; total?: number; phase?: 'upload' | 'download' }, target?: string | FakeReplyOptions | Record<string, any> | ((request: any) => boolean)) => Promise<void>;
   /**
    * PLAN-6 L-4: stream into a pending request of the LLM fake (the sink named by `llmSink`,
    * default 'LLM': the real makeChatDriver over an in-memory transport). Chunks: strings (text),
@@ -5925,13 +6201,13 @@ interface RenderResult<STATE = any> {
    * `await t.next(pred)` / `waitForState` / `settle()` / `ready()` it shows the state the wait resolved with.
    */
   query: {
-    (selector: string): Element | null;
+    <E extends Element = Element>(selector: string): E | null;
     /** A control's element (`t.query(Draft)` is an HTMLInputElement for an 'input' control), or null */
     <CONTROL extends AnyControl>(control: CONTROL): ControlElementOf<CONTROL> | null;
   };
   /** Every element matching a selector (or a control) in the rendered tree (Portals included), as query() */
   queryAll: {
-    (selector: string): Element[];
+    <E extends Element = Element>(selector: string): E[];
     <CONTROL extends AnyControl>(control: CONTROL): Array<ControlElementOf<CONTROL>>;
   };
   /**
@@ -6098,4 +6374,4 @@ declare global {
  */
 declare function byId<T = any, S = any>(field: string, id: unknown, idKey?: string): { get(state: S): T | undefined; set(state: S, value: T): S }
 
-export { ABORT, type ActionCause, type ActionsOf, type ActiveTimer, type AgentAction, type AgentConfirm, type AgentConfirmInfo, type AgentDeclaration, type AgentIssue, type AgentQuery, type AgentQueryResult, type AgentResult, type AgentSchema, type AgentTool, type AgentToolSet, type AgentToolsOptions, type AguiOptions, type AnswerPick, type AnswerPicks, type AnthropicMessagesOptions, type AnyComponentModule, type AnyControl, type AppErrorHook, type AppErrorInfo, type AppErrorPhase, type ArrayKeysOf, type ArrayPathsOf, type AsyncDriverError, type AsyncDriverFromFunction, type AsyncRequest, type Behavior, type BehaviorDefinition, type BehaviorFactory, type BehaviorHandler, type BehaviorModelEntry, type BehaviorProps, type BehaviorSources, type BehaviorState, type BehaviorTarget, type BrowserCommand, type BrowserFake, type BrowserFakeOptions, type BrowserIntersection, type BrowserPosition, type BrowserResize, type BrowserSource, type BrowserSources, type BrowserSpec, type Catalog, type CatalogContainer, type CatalogContainerDecl, type CatalogDecl, type CatalogOption, type CatalogParam, type CatalogParamValue, type CatalogParamsOf, type CatalogPart, type CatalogPartDecl, type CatalogRecord, type CatalogTree, type CatalogTreeNode, type ChatAbort, type ChatActions, type ChatAskOptions, type ChatCall, type ChatCard, type ChatCardStatus, type ChatClientTool, type ChatCompletionsOptions, type ChatDelta, type ChatDone, type ChatDriverOptions, type ChatError, type ChatEvent, type ChatOk, type ChatOptions, type ChatOutputOf, type ChatOutputSchema, type ChatRequest, type ChatSource, type ChatState, type ChatStatus, type ChatTool, type ChatToolCall, type ChatToolPart, type ChatTransport, type ChatUsage, type ChromePromptOptions, type ChromePromptStatus, type ChromePromptTransport, type ClassesType, Collection, type CollectionFrom, type CollectionProps, type Command, type CommandBarActions, type CommandBarOptions, type CommandBarResult, type CommandBarState, type CommandBarStatus, type CommandBarUnsure, type CommandSource, type Component, type ComposeActions, type ComposeAnswer, type ComposeBackend, type ComposeNames, type ComposeOptions, type ComposeRenderOptions, type ComposeRenderable, type ComposeState, type ComposeStatus, type ComposeTree, Composed, type ComposedProps, type Connections, type ContainerView, type Control, type ControlCommonProps, type ControlDOMSource, type ControlElementOf, type ControlEvent, type ControlH, type ControlPropsOf, type ControlSpec, type ControlSpecObject, type ControlsOf, type ConvertedSchema, type CycleDOMEvent, type CycleDriver, type DOMDriverOptions, type DOMEventShorthand, type DOMEventShorthands, type DOMSource, type DefaultDrivers, type DefineComponentOptions, type DevToolsActionCause, type DevToolsCopyAsTestOptions, type DevToolsSessionRecording, type Diagnostic, type DiagnosticCode, type DiagnosticSeverity, type DiagnosticsMode, type DiagnosticsOptions, type DragDriverCategory, type DragDriverRegistration, type DragDriverSource, type DragSource, type DragStartPayload, type DriverFactories, type DriverFromAsyncOptions, type DriverSpec, type DriverSpecs, type DropPayload, type ElementCommand, type ElementCommandRegistry, type ElementCommands, type ElementProps, type ElementTarget, type EmittedEvent, type EnrichedEventStream, type Event$1 as Event, type EventName, type EventPayload, type EventPayloadFunction, type EventSink, type EventsFnOptions, type EventsSource, type ExactShape, type ExplainedAction, type ExposeWebMcpOptions, type FakeCacheEntry, type FakeChatChunk, type FakeConnection, type FakeConnectionTarget, type FakeReplyOptions, type FetchCacheOptions, type FetchDriverOptions, type FetchError, type FetchFailure, type FetchInit, type FetchInvalidate, type FetchRequest, type FetchResponse, type FetchRetry, type FetchSource, type FieldErrors, type Filter, type FixDrivers, type FormActions, type FormCalculated, type FormData, type FormField, type FormFieldCheck, type FormOptions, type FormSource, type FormState, type FormTool, type FormToolHandle, type FormToolResult, type FromAISDKOptions, type HeadValue, type HotModuleAPI, type HttpTransportOptions, type InspectAction, type InspectActionTrigger, type InspectChild, type InspectCommand, type InspectComponent, type InspectDiagnostic, type InspectFix, type InspectGraph, type InspectRecentAction, type InspectRelatedLocation, type InspectSelector, type InspectTextEdit, type InspectTimer, type InstallPrompt, type IntentSources, type IntrinsicControlProps, type JsonSchemaObject, type Layout, type LayoutNode, type LazyComponent, type LazyOptions, type Lens, type Lense, MainDOMSource, type McpAppDisplayMode, type McpAppDriverOptions, type McpAppError, type McpAppRequest, type McpAppSource, type McpContentBlock, type McpDownloadItem, type McpHostContext, type McpHostInfo, type McpLogLevel, type McpResourceContents, type McpSamplingRequest, type McpToolResult, type MockConfig, MockedDOMSource, type NonStateSinkReturns, type OpenResponsesEvent, type OpenResponsesOptions, type PagerActions, type PagerCalculated, type PagerOptions, type PagerState, type ParamNames, type ParentPayloadOf, type Persist, type PersistOptions, type PersistOptionsFor, type PersistStorage, type PersistedEntry, Portal, type PortalProps, type ProcessFormOptions, type QueryCache, type QueryCacheSnapshot, type QueryCacheSnapshotEntry, type Ref, type Ref$, type RegisteredEvent, type RenderOptions, type RenderResult, type RenderToStringOptions, type RenderableComponent, type ReplyRequest, type Resource, type ResourceRequest, type RootComponent, type Route, type RouteName, type RouteParamsArg, type RouteQuery, type Router, type RouterBlocked, type RouterCommand, type RouterOptions, type RouterSource, type RunOptions, type SchemaOutput, type ScrollToAlign, type SelectedDOMSource, type SelectionActions, type SelectionCalculated, type SelectionOptions, type SelectionState, type ServiceWorkerCommand, type ServiceWorkerOptions, type ServiceWorkerSource, type SimulatedEventInit, Slot, type SlotProps, type SocketActions, type SocketClose, type SocketConnection, type SocketDriverOptions, type SocketError, type SocketEvent, type SocketOpen, type SocketReconnect, type SocketRequest, type SocketSource, type SortFunction, type SortObject, type SortSpec, type SortableActions, type SortableDropped, type SortableOptions, type SortableState, type SseConnection, type StandardSchemaLike, type StateProp, type StrictDialect, type StrictSchemas, Suspense, type SuspenseProps, Switchable, type SwitchableProps, type SygnalApp, type SygnalBodyDOMSource, type SygnalDOMSource, type SygnalDevTools, type SygnalDocumentDOMSource, type SygnalEvents, type SygnalSinks, type TestAction, type Thunk, type ThunkData, type TimerAfter, type TimerFrame, type TimerSpec, type TimerTick, type Timers, Transition, type TransitionProps, type UIMessageStreamOptions, type UidFunction, type UndoBehaviorOptions, type UndoHistory, type UndoOptions, type UsesActions, type UsesState, type ViewProps, VirtualCollection, type VirtualCollectionProps, type WebMcpHandle, type Widget, type WidgetDefinition, type WidgetDispatch, type WidgetElementOf, type WidgetEmit, type WidgetHandle, type WidgetHostProps, type WithinTarget, abort, agentTools, agui, answers, anthropicMessages, askCard, byId, chat, chatCompletions, checkForm, choice, chromePrompt, classes, clearDiagnostics, clipboardSource, commandBar, compose, composeWith, controls, createCommand, createInstallPrompt, createRef, createRef$, decide, defineBehavior, defineCatalog, defineComponent, defineWidget, driverFromAsync, emit, enableHMR, encodeOpenResponses, event, exactState, experimentalExposeWebMcp, fieldName, fieldNames, focusInvalid, focusWithin, form, formErrors, formTool, fromAISDK, fromTree, geolocationSource, getDevTools, getDiagnostics, getField, hasField, intersectionSource, isSelected, jsonSchema, lazy, makeBrowserDriver, makeBrowserDriverWith, makeChatDriver, makeDOMDriver, makeDragDriver, makeFetchDriver, makeHeadDriver, makeMcpAppDriver, makeRouter, makeRouterDriver, makeServiceWorkerDriver, makeSocketDriver, makeTimerDriver, makeViewTransitionDOMDriver, mediaSource, messageText, mockDOMSource, noul, onDiagnostic, onlineSource, onlineStatus$, openResponses, openToolCalls, outputJsonSchema, pager, parseInput, persist, portal, processDrag, processForm, queryCache, removeNode, renderComponent, renderHead, renderToString, replyErrors, resizeSource, run, score, selection, set, setField, sortable, storageSource, strictSchemas, thunk, toJsonSchema, toTree, toggle, uiMessageStream, undo, undoable, visibilitySource, withToolResults, xs };
+export { ABORT, type ActionCause, type ActionsOf, type ActiveTimer, type AgentAction, type AgentConfirm, type AgentConfirmInfo, type AgentDeclaration, type AgentIssue, type AgentQuery, type AgentQueryResult, type AgentResult, type AgentSchema, type AgentTool, type AgentToolSet, type AgentToolsOptions, type AguiOptions, type AnswerPick, type AnswerPicks, type AnthropicMessagesOptions, type AnyComponentModule, type AnyControl, type AppErrorHook, type AppErrorInfo, type AppErrorPhase, type ArrayKeysOf, type ArrayPathsOf, type AsyncDriverError, type AsyncDriverFromFunction, type AsyncRequest, type Behavior, type BehaviorDefinition, type BehaviorFactory, type BehaviorHandler, type BehaviorModelEntry, type BehaviorProps, type BehaviorSources, type BehaviorState, type BehaviorTarget, type BrowserCommand, type BrowserFake, type BrowserFakeOptions, type BrowserIntersection, type BrowserPosition, type BrowserResize, type BrowserSource, type BrowserSources, type BrowserSpec, type Catalog, type CatalogContainer, type CatalogContainerDecl, type CatalogDecl, type CatalogOption, type CatalogParam, type CatalogParamValue, type CatalogParamsOf, type CatalogPart, type CatalogPartDecl, type CatalogRecord, type CatalogTree, type CatalogTreeNode, type ChatAbort, type ChatActions, type ChatAskOptions, type ChatCall, type ChatCard, type ChatCardStatus, type ChatClientTool, type ChatCompletionsOptions, type ChatDelta, type ChatDone, type ChatDriverOptions, type ChatError, type ChatEvent, type ChatOk, type ChatOptions, type ChatOutputOf, type ChatOutputSchema, type ChatRequest, type ChatSource, type ChatState, type ChatStatus, type ChatTool, type ChatToolCall, type ChatToolPart, type ChatTransport, type ChatUsage, type ChromePromptOptions, type ChromePromptStatus, type ChromePromptTransport, type ClassesType, Collection, type CollectionFrom, type CollectionProps, type Command, type CommandBarActions, type CommandBarOptions, type CommandBarResult, type CommandBarState, type CommandBarStatus, type CommandBarUnsure, type CommandSource, type Component, type ComposeActions, type ComposeAnswer, type ComposeBackend, type ComposeNames, type ComposeOptions, type ComposeRenderOptions, type ComposeRenderable, type ComposeState, type ComposeStatus, type ComposeTree, Composed, type ComposedProps, type Connections, type ContainerView, type Control, type ControlCommonProps, type ControlDOMSource, type ControlElementOf, type ControlEvent, type ControlH, type ControlPropsOf, type ControlSpec, type ControlSpecObject, type ControlsOf, type ConvertedSchema, type CycleDOMEvent, type CycleDriver, type DOMDriverOptions, type DOMEventShorthand, type DOMEventShorthands, type DOMSource, type DefaultDrivers, type DefineComponentOptions, type DevToolsActionCause, type DevToolsCopyAsTestOptions, type DevToolsSessionRecording, type Diagnostic, type DiagnosticCode, type DiagnosticSeverity, type DiagnosticsMode, type DiagnosticsOptions, type DragDriverCategory, type DragDriverRegistration, type DragDriverSource, type DragSource, type DragStartPayload, type DriverFactories, type DriverFromAsyncOptions, type DriverSpec, type DriverSpecs, type DropPayload, type ElementCommand, type ElementCommandRegistry, type ElementCommands, type ElementProps, type ElementTarget, type EmittedEvent, type EnrichedEventStream, type Event$1 as Event, type EventName, type EventPayload, type EventPayloadFunction, type EventSink, type EventsFnOptions, type EventsSource, type ExactShape, type ExplainedAction, type ExposeWebMcpOptions, type FakeCacheEntry, type FakeChatChunk, type FakeConnection, type FakeConnectionTarget, type FakeReplyOptions, type FetchCacheOptions, type FetchDriverOptions, type FetchError, type FetchFailure, type FetchInit, type FetchInvalidate, type FetchProgress, type FetchRequest, type FetchResponse, type FetchRetry, type FetchSource, type FieldErrors, type Filter, type FixDrivers, type FormActions, type FormBehavior, type FormCalculated, type FormData, type FormField, type FormFieldCheck, type FormFields, type FormOptions, type FormOutput, type FormRequest, type FormServerErrors, type FormSource, type FormState, type FormTool, type FormToolHandle, type FormToolResult, type FromAISDKOptions, type HeadValue, type HotModuleAPI, type HttpTransportOptions, type InspectAction, type InspectActionTrigger, type InspectChild, type InspectChildSelect, type InspectCommand, type InspectComponent, type InspectDiagnostic, type InspectFix, type InspectGraph, type InspectLocation, type InspectRecentAction, type InspectRelatedLocation, type InspectSelector, type InspectTextEdit, type InspectTimer, type InstallPrompt, type IntentSources, type IntrinsicControlProps, type JsonSchemaObject, type Layout, type LayoutNode, type LazyComponent, type LazyOptions, type Lens, type Lense, MainDOMSource, type McpAppDisplayMode, type McpAppDriverOptions, type McpAppError, type McpAppRequest, type McpAppSource, type McpContentBlock, type McpDownloadItem, type McpHostContext, type McpHostInfo, type McpLogLevel, type McpResourceContents, type McpSamplingRequest, type McpToolResult, type MockConfig, MockedDOMSource, type MultipartValue, type NonStateSinkReturns, type OpenResponsesEvent, type OpenResponsesOptions, type PagerActions, type PagerCalculated, type PagerOptions, type PagerState, type ParamNames, type ParentPayloadOf, type Persist, type PersistOptions, type PersistOptionsFor, type PersistStorage, type PersistedEntry, Portal, type PortalProps, type ProcessFormOptions, type QueryCache, type QueryCacheSnapshot, type QueryCacheSnapshotEntry, type Ref, type Ref$, type RegisteredEvent, type RenderOptions, type RenderResult, type RenderToStringOptions, type RenderableComponent, type ReplyRequest, type Resource, type ResourceRequest, type RootComponent, type Route, type RouteName, type RouteParamsArg, type RouteQuery, type Router, type RouterBlocked, type RouterCommand, type RouterOptions, type RouterSource, type RunOptions, type SchemaInput, type SchemaOutput, type ScrollToAlign, type SelectedDOMSource, type SelectionActions, type SelectionCalculated, type SelectionOptions, type SelectionState, type ServiceWorkerCommand, type ServiceWorkerOptions, type ServiceWorkerSource, type SimulatedEventInit, Slot, type SlotProps, type SocketActions, type SocketClose, type SocketConnection, type SocketDriverOptions, type SocketError, type SocketEvent, type SocketOpen, type SocketReconnect, type SocketRequest, type SocketSource, type SortFunction, type SortObject, type SortSpec, type SortableActions, type SortableDropped, type SortableOptions, type SortableState, type SseConnection, type StandardSchemaLike, type StateProp, type StrictDialect, type StrictSchemas, Suspense, type SuspenseProps, Switchable, type SwitchableProps, type SygnalApp, type SygnalBodyDOMSource, type SygnalDOMSource, type SygnalDevTools, type SygnalDocumentDOMSource, type SygnalEvents, type SygnalSinks, type TestAction, type Thunk, type ThunkData, type TimerAfter, type TimerFrame, type TimerSpec, type TimerTick, type Timers, Transition, type TransitionProps, type UIMessageStreamOptions, type UidFunction, type UndoBehaviorOptions, type UndoHistory, type UndoOptions, type UsesActions, type UsesState, type ViewProps, VirtualCollection, type VirtualCollectionProps, type WebMcpHandle, type Widget, type WidgetDefinition, type WidgetDispatch, type WidgetElementOf, type WidgetEmit, type WidgetHandle, type WidgetHostProps, type WithinTarget, abort, agentTools, agui, answers, anthropicMessages, askCard, byId, chat, chatCompletions, checkForm, choice, chromePrompt, classes, clearDiagnostics, clipboardSource, commandBar, compose, composeWith, controls, createCommand, createInstallPrompt, createRef, createRef$, decide, defineBehavior, defineCatalog, defineComponent, defineWidget, driverFromAsync, emit, enableHMR, encodeOpenResponses, event, exactState, experimentalExposeWebMcp, fieldName, fieldNames, focusInvalid, focusWithin, form, formErrors, formTool, fromAISDK, fromTree, geolocationSource, getDevTools, getDiagnostics, getField, hasField, intersectionSource, isSelected, jsonSchema, lazy, makeBrowserDriver, makeBrowserDriverWith, makeChatDriver, makeDOMDriver, makeDragDriver, makeFetchDriver, makeHeadDriver, makeMcpAppDriver, makeRouter, makeRouterDriver, makeServiceWorkerDriver, makeSocketDriver, makeTimerDriver, makeViewTransitionDOMDriver, mediaSource, messageText, mockDOMSource, noul, onDiagnostic, onlineSource, onlineStatus$, openResponses, openToolCalls, outputJsonSchema, pager, parseInput, persist, portal, processDrag, processForm, queryCache, removeNode, renderComponent, renderHead, renderToString, replyErrors, resizeSource, run, score, selection, set, setField, sortable, storageSource, strictSchemas, thunk, toJsonSchema, toTree, toggle, uiMessageStream, undo, undoable, visibilitySource, withToolResults, xs };