@aranova/tracking-react 1.13.0 → 1.14.1

package/dist/{bookings-CHpplXU7.d.mts → bookings-DFz3BUiP.d.mts}

@@ -1,4 +1,4 @@
-import { a as FormSubmitMetadata } from './form-submit-CX-CxJjQ.mjs';
+import { p as LeadFormKind, r as LeadFormRole, o as LEAD_FORM_ROLE_SPECS, n as LEAD_FORM_ROLES, J as JsonValue, b as TrackingEnvironment, k as FormSubmitMetadata } from './phone-utils-CYr6AmEP.mjs';
 
 interface ServiceFiring {
     send_to: string;
@@ -308,6 +308,263 @@ declare class TrackingConfigRuntime {
 }
 declare function getTrackingConfigRuntime(ref: TrackingConfigReference, fetchImpl?: typeof fetch): TrackingConfigRuntime;
 
+type BookingProvider = "autoleap";
+/**
+ * An option key the live config offered. Branded so a contract-typed booking accepts it beside the
+ * generated keys: a key newer than the site's generated file still books (reported as behind).
+ */
+type BookingOptionKey = string & {
+    readonly __bookingOptionKey: true;
+};
+/** One service choice on the booking form, by the site's own key. */
+interface BookingOption {
+    key: BookingOptionKey;
+    label: string;
+    /** The shop's service category, for a heading over its choices; null when it has none. */
+    group: string | null;
+    /** Optional helper text to show under the label. */
+    description: string | null;
+}
+/** One heading on the form and the choices under it; `group` null holds the ungrouped ones. */
+interface BookingOptionGroup {
+    group: string | null;
+    options: BookingOption[];
+}
+/** The booking rules in camelCase, all in the shop's wall time. */
+interface BookingRules {
+    minDaysAhead: number;
+    maxDaysAhead: number;
+    /** Start hours per weekday, `monday` … `sunday`; both lists empty = closed. */
+    hours: Record<string, BookingDayWindows>;
+    /** `YYYY-MM-DD` shop dates with no bookings although the weekday is open. */
+    closedDates: string[];
+    /** `YYYY-MM-DD` shop dates whose start hours replace their weekday's. */
+    specialHours: Record<string, BookingDayWindows>;
+    vehicleRequired: boolean;
+    /** The vehicle may come after booking: send it with `bookings.updateBooking`. */
+    vehicleDeferred: boolean;
+    /** `waitForIt` / `dropOff`; empty when the shop hides the question. */
+    dropOffOptions: string[];
+}
+interface BookingIntegration {
+    provider: BookingProvider;
+    /** False: render only the handoff link. Never block the customer on it. */
+    enabled: boolean;
+    /** The shop's own booking page. */
+    fallbackUrl: string;
+    /** True when the site may post a booking: `enabled`, rules captured and options mapped. */
+    acceptsBookings: boolean;
+    /** The shop's IANA timezone; every date and hour here is its wall time. */
+    timezone: string;
+    /** Sent back with each booking; a stale one is refused and the config refetched. */
+    configVersion: number | null;
+    rules: BookingRules | null;
+    options: BookingOption[];
+    /**
+     * Where a booking from this page goes: `live` in production; on a development config `test`
+     * (the shop's test lead source) or `simulated` (never sent). Show a banner when not `live`.
+     */
+    mode: BookingMode;
+}
+/** What the visitor already typed, carried onto the shop's booking page. */
+interface BookingHandoffPrefill {
+    /** A single full-name field; split on the first space when `firstName` is not given. */
+    name?: string | null;
+    firstName?: string | null;
+    lastName?: string | null;
+    /** Any format; sent as national digits (no country code), as the shop's portal stores it. */
+    phone?: string | null;
+    email?: string | null;
+}
+/** The enabled-or-fallback booking provider in a config's integrations, if any. */
+declare function getBookingIntegration(integrations: ConversionIntegrations | null | undefined): BookingIntegration | null;
+/** One bookable day: its start hours split as the shop's portal shows them. */
+interface BookableDay {
+    /** `YYYY-MM-DD`, shop-local. */
+    date: string;
+    /** `monday` … `sunday`. */
+    weekday: string;
+    /** Start hours before noon (8 = 08:00). */
+    morning: number[];
+    /** Start hours from noon on. */
+    afternoon: number[];
+}
+/** Today's date in `timeZone` as `YYYY-MM-DD`; the server judges notice by the same date. */
+declare function shopToday(timeZone: string, now?: Date): string;
+/**
+ * Every day a customer may book, from the minimum notice to the end of the window, with its
+ * start hours. Exactly what the server accepts: closed dates removed, special hours applied.
+ */
+declare function bookableSlots(rules: BookingRules, { timeZone, now }: {
+    timeZone: string;
+    now?: Date;
+}): BookableDay[];
+/**
+ * The handoff URL with the visitor's details prefilled, or null when `fallbackUrl` is not an
+ * https link on the shop's booking host (a config value never becomes an arbitrary redirect).
+ */
+declare function buildBookingHandoffUrl(fallbackUrl: string, prefill?: BookingHandoffPrefill): string | null;
+/**
+ * The options as headed sections, in published order: one per category, choices in order
+ * under it. The API saves them grouped, so a category is never split; this keeps the first run.
+ */
+declare function groupBookingOptions(options: readonly BookingOption[]): BookingOptionGroup[];
+
+/** One required role; `requiredWhen` is the one-level condition (ADR-0024 §3). */
+interface LeadFormRequirementDecl {
+    readonly role: LeadFormRole;
+    readonly requiredWhen: {
+        readonly role: LeadFormRole;
+        readonly anyOf: readonly string[];
+    } | null;
+    /** An operator recorded a waiver: optional in the type, still reported when missing. */
+    readonly waived?: boolean;
+}
+/** What one kind of form must collect, as generated for the site. */
+interface LeadFormKindDecl {
+    /** The published contract hash; null when nothing is bound for the kind. */
+    readonly hash: string | null;
+    readonly requires: readonly LeadFormRequirementDecl[];
+    /** Each group is satisfied by any one of its roles. */
+    readonly requiresAny: readonly (readonly LeadFormRole[])[];
+    /** Live option keys per choice role; deprecated keys are left out. */
+    readonly options: {
+        readonly [role: string]: readonly string[];
+    };
+}
+/** The module `aranova-tracking forms gen` writes: `ARANOVA_LEAD_FORMS`. */
+interface LeadFormContracts {
+    readonly registryVersion: number;
+    readonly siteId: string | null;
+    readonly contracts: {
+        readonly [K in LeadFormKind]?: LeadFormKindDecl;
+    };
+}
+/** `{ start: "HH:MM", end: "HH:MM" | null, label? }`, business-local; pinned to the zod by test. */
+interface LeadFormTimeWindow {
+    start: string;
+    end: string | null;
+    label?: string;
+}
+interface LeadFormAddress {
+    line1: string;
+    line2?: string;
+    city?: string;
+    region?: string;
+    postal_code?: string;
+    country?: string;
+}
+type Specs = typeof LEAD_FORM_ROLE_SPECS;
+type RegistryRole = (typeof LEAD_FORM_ROLES)[number];
+type AddOnRole = `add_on:${string}`;
+type SpecOf<R> = R extends AddOnRole ? Specs["add_on"] : R extends keyof Specs ? Specs[R] : never;
+type PrimitiveOf<R> = SpecOf<R>["primitive"];
+type EmptyKind = {
+    hash: null;
+    requires: readonly [];
+    requiresAny: readonly [];
+    options: Record<string, never>;
+};
+type KindOf<C extends LeadFormContracts, K extends LeadFormKind> = C["contracts"][K] extends LeadFormKindDecl ? C["contracts"][K] : EmptyKind;
+/** The site's live keys for a choice role, else the registry's fixed ones, else any key. */
+type OptionKey<D extends LeadFormKindDecl, R> = R extends keyof D["options"] ? D["options"][R][number] : SpecOf<R> extends {
+    options: readonly {
+        key: infer Key;
+    }[];
+} ? Key : string;
+interface PrimitiveValues {
+    string: string;
+    text: string;
+    phone: string;
+    email: string;
+    date: string;
+    bool: boolean;
+    number: number;
+    time_window: LeadFormTimeWindow;
+    address: LeadFormAddress;
+}
+/** The value a role takes: option keys for a choice role, never labels. */
+type LeadFormValue<D extends LeadFormKindDecl, R> = PrimitiveOf<R> extends "enum" ? OptionKey<D, R> : PrimitiveOf<R> extends "multi_enum" ? readonly OptionKey<D, R>[] : PrimitiveValues[Extract<PrimitiveOf<R>, keyof PrimitiveValues>];
+type Blank = null | undefined;
+type RequiredRoles<D extends LeadFormKindDecl> = Exclude<Extract<D["requires"][number], {
+    readonly requiredWhen: null;
+}>, {
+    readonly waived: true;
+}>["role"];
+/** The roles one kind must always send (unconditional, not waived), per the generated contract. */
+type LeadFormRequiredRole<C extends LeadFormContracts, K extends LeadFormKind> = RequiredRoles<KindOf<C, K>>;
+type AnyOf<D extends LeadFormKindDecl, G extends readonly string[]> = {
+    [R in G[number]]: {
+        [P in R]: LeadFormValue<D, P>;
+    };
+}[G[number]];
+type AllGroups<D extends LeadFormKindDecl, Gs> = Gs extends readonly [
+    infer H extends readonly string[],
+    ...infer T
+] ? AnyOf<D, H> & AllGroups<D, T> : unknown;
+/**
+ * The `fields` of one kind's submit: unconditionally required roles are required keys, each
+ * any-of group needs one of its roles, everything else in the registry is optional (blank is
+ * omitted); a `required_when` role is optional here and checked at runtime.
+ */
+type LeadFormFields<C extends LeadFormContracts, K extends LeadFormKind> = {
+    [R in RequiredRoles<KindOf<C, K>>]: LeadFormValue<KindOf<C, K>, R>;
+} & {
+    [R in Exclude<RegistryRole, RequiredRoles<KindOf<C, K>>>]?: LeadFormValue<KindOf<C, K>, R> | Blank;
+} & {
+    [R in AddOnRole]?: boolean | Blank;
+} & AllGroups<KindOf<C, K>, KindOf<C, K>["requiresAny"]>;
+interface LeadFormExtraField {
+    key: string;
+    label: string;
+    value: JsonValue;
+}
+interface LeadFormSubmitInput<C extends LeadFormContracts, K extends LeadFormKind> {
+    /** The `<form id>`, so `form_start` and `form_submit` line up. */
+    formId: string;
+    kind: K;
+    fields: LeadFormFields<C, K>;
+    /** Questions with no registry role yet: shown beside the contract, never texted. */
+    extra?: LeadFormExtraField[];
+    action?: string | null;
+}
+/** Anything that can send a `form_submit`: `useTracking()` with `form_submit` registered. */
+interface LeadFormTracking {
+    trackEvent(eventType: "form_submit", metadata: FormSubmitMetadata): void;
+}
+interface LeadFormSubmitOptions {
+    /** Defaults to the tracking client's `createTracking({ debug })`. Throws on a violation. */
+    debug?: boolean;
+    /** Defaults to the tracking client's; `development` logs every violation. */
+    environment?: TrackingEnvironment;
+    /** Defaults to the tracking client's; validation and the hash use its live contracts. */
+    trackingConfig?: TrackingConfigReference;
+}
+interface LeadFormSubmitter<C extends LeadFormContracts> {
+    /** Send one typed `form_submit`; returns the metadata sent, violations included. */
+    submit<K extends LeadFormKind>(input: LeadFormSubmitInput<C, K>): FormSubmitMetadata;
+}
+/**
+ * Bind a tracking client to the site's generated contracts (`ARANOVA_LEAD_FORMS`).
+ *
+ * @example
+ * ```ts
+ * const leadForms = createLeadFormSubmit(useTracking(), ARANOVA_LEAD_FORMS);
+ * leadForms.submit({ formId: "booking-form", kind: "booking", fields: { given_name, phone } });
+ * ```
+ */
+declare function createLeadFormSubmit<C extends LeadFormContracts>(tracking: LeadFormTracking, contracts: C, options?: LeadFormSubmitOptions): LeadFormSubmitter<C>;
+/**
+ * A picked slot as `preferred_date` + `preferred_time`, in the business's wall time.
+ * Takes `YYYY-MM-DD[T ]HH:MM` with no offset; a `Z`/`±HH:MM` instant or a `Date` would be re-zoned.
+ */
+declare function slotFields(dateTime: string): {
+    preferred_date: string;
+    preferred_time: LeadFormTimeWindow;
+};
+/** A `time_window` value: `timeWindow("09:00", "12:00", "Morning")`; an exact time has no end. */
+declare function timeWindow(start: string, end?: string | null, label?: string): LeadFormTimeWindow;
+
 /** A UUID v4 from Web Crypto, with a `getRandomValues` (then `Math.random`) fallback. */
 declare function uuidV4(): string;
 
@@ -369,15 +626,11 @@ interface BookingInput {
     /** Mobile number; the shop texts its confirmation to it. */
     phone: string;
     email?: string | null;
-    vehicle?: {
-        year: number;
-        make: string;
-        model: string;
-    } | null;
+    vehicle?: BookingVehicle | null;
     /** Ask only when the rules list drop-off options. */
     dropOff?: BookingDropOff | null;
     /** Option keys from `useBookingIntegration(...).options`. */
-    services: string[];
+    services: readonly string[];
     notes?: string | null;
     /**
      * The customer's own opt-in to marketing texts. Never default it on (CASL). Service texts
@@ -385,6 +638,26 @@ interface BookingInput {
      */
     marketingSmsConsent?: boolean;
 }
+interface BookingVehicle {
+    year: number;
+    make: string;
+    model: string;
+}
+type BookingFields<C extends LeadFormContracts> = LeadFormFields<C, "booking">;
+type Asked<C extends LeadFormContracts, R extends string, P extends string, V> = R extends LeadFormRequiredRole<C, "booking"> ? {
+    [K in P]: V;
+} : {
+    [K in P]?: V | null;
+};
+/** A service key the site's generated `booking` contract names, or one the live config offered. */
+type BookingServiceKey<C extends LeadFormContracts> = NonNullable<BookingFields<C>["service"]>[number] | BookingOptionKey;
+/**
+ * `BookingInput` typed by the site's generated contract (`ARANOVA_LEAD_FORMS`): the drop-off,
+ * vehicle and email the shop's rules require are required here, and services are its keys.
+ */
+type BookingInputFor<C extends LeadFormContracts> = Omit<BookingInput, "services" | "dropOff" | "vehicle" | "email"> & {
+    services: readonly BookingServiceKey<C>[];
+} & Asked<C, "drop_off", "dropOff", BookingDropOff> & Asked<C, "vehicle", "vehicle", BookingVehicle> & Asked<C, "email", "email", string>;
 /** The form's `form_submit`, sent once per booking attempt and tied to this visit. */
 interface BookingFormSubmit {
     /** The site's tracking client (`useTracking()`): the booking takes the visit it reports. */
@@ -400,6 +673,8 @@ interface BookingFormSubmit {
      * reports (`phone`, `email`, ...) is dropped, so lead matching cannot be overridden.
      */
     extraFields?: FormSubmitField[];
+    /** The site's generated `ARANOVA_LEAD_FORMS`: judged before the config loads, and drift flagged. */
+    contracts?: LeadFormContracts;
 }
 /** One field of a `form_submit`. */
 type FormSubmitField = NonNullable<FormSubmitMetadata["form"]["fields"]>[number];
@@ -473,4 +748,4 @@ interface SalesBookingsClient {
 /** A fresh per-submit key. Keep it for retries of the same submit; mint a new one after. */
 declare const newBookingAttemptKey: typeof uuidV4;
 
-export { type BookingDetailsFailure as B, type ConversionConfig as C, type FormSubmitField as F, type SalesBookingsClient as S, type TrackingConfigReference as T, type BookingDetailsInput as a, type BookingDetailsOptions as b, type BookingDetailsOutcome as c, type BookingDetailsStatus as d, type BookingDropOff as e, type BookingFormSubmit as f, type BookingInput as g, type BookingMode as h, type BookingOutcome as i, type BookingSimulation as j, type BookingSubmitOptions as k, type ConversionConfigStore as l, getTrackingConfigRuntime as m, newBookingAttemptKey as n, resolveTrackingConfigUrl as o, type BookingDayWindows as p, type ConversionIntegrations as q, resolveConversionConfig as r, TrackingConfigRuntime as s };
+export { type LeadFormKindDecl as A, type BookableDay as B, type ConversionConfig as C, type LeadFormRequirementDecl as D, type LeadFormSubmitInput as E, type FormSubmitField as F, type LeadFormSubmitOptions as G, type LeadFormSubmitter as H, type LeadFormTimeWindow as I, type LeadFormTracking as J, type LeadFormValue as K, type LeadFormAddress as L, bookableSlots as M, buildBookingHandoffUrl as N, getBookingIntegration as O, getTrackingConfigRuntime as P, groupBookingOptions as Q, newBookingAttemptKey as R, type SalesBookingsClient as S, type TrackingConfigReference as T, resolveConversionConfig as U, resolveTrackingConfigUrl as V, shopToday as W, slotFields as X, timeWindow as Y, createLeadFormSubmit as Z, TrackingConfigRuntime as _, type BookingDetailsFailure as a, type BookingDetailsInput as b, type BookingDetailsOptions as c, type BookingDetailsOutcome as d, type BookingDetailsStatus as e, type BookingDropOff as f, type BookingFormSubmit as g, type BookingHandoffPrefill as h, type BookingInput as i, type BookingInputFor as j, type BookingIntegration as k, type BookingMode as l, type BookingOption as m, type BookingOptionGroup as n, type BookingOptionKey as o, type BookingOutcome as p, type BookingProvider as q, type BookingRules as r, type BookingServiceKey as s, type BookingSimulation as t, type BookingSubmitOptions as u, type BookingVehicle as v, type ConversionConfigStore as w, type LeadFormContracts as x, type LeadFormExtraField as y, type LeadFormFields as z };

package/dist/client.d.mts

@@ -1,10 +1,10 @@
 import * as react from 'react';
 import { ReactNode, CSSProperties, InputHTMLAttributes, ChangeEvent, FocusEvent, AnchorHTMLAttributes } from 'react';
-import { G as GtagEnvironmentMap, M as MetaPixelEnvironmentMap, h as ConsentState, f as ConsentChoiceState, g as ConsentSource, T as TrackingParams, b as TrackingEnvironment, j as PhoneConfig, P as ParsedPhone, k as PhoneDisplayFormat } from './phone-utils-BNiSqeF7.mjs';
-import { T as TrackingConfigReference, C as ConversionConfig, i as BookingOutcome, g as BookingInput, a as BookingDetailsInput, c as BookingDetailsOutcome, S as SalesBookingsClient, f as BookingFormSubmit, j as BookingSimulation } from './bookings-CHpplXU7.mjs';
-import { X as TriggerRegistryConfig, Z as TypedTrackingClient, a as BookingHandoffPrefill, b as BookingIntegration, B as BookableDay } from './ingest-typed-Ckt4R731.mjs';
+import { G as GtagEnvironmentMap, M as MetaPixelEnvironmentMap, h as ConsentState, f as ConsentChoiceState, g as ConsentSource, T as TrackingParams, b as TrackingEnvironment, u as PhoneConfig, P as ParsedPhone, v as PhoneDisplayFormat } from './phone-utils-CYr6AmEP.mjs';
+import { T as TrackingConfigReference, C as ConversionConfig, h as BookingHandoffPrefill, i as BookingInput, p as BookingOutcome, b as BookingDetailsInput, d as BookingDetailsOutcome, k as BookingIntegration, B as BookableDay, x as LeadFormContracts, S as SalesBookingsClient, g as BookingFormSubmit, t as BookingSimulation, j as BookingInputFor } from './bookings-DFz3BUiP.mjs';
+export { Z as createLeadFormSubmit } from './bookings-DFz3BUiP.mjs';
+import { L as TriggerRegistryConfig, O as TypedTrackingClient } from './ingest-typed-BO6Arbw-.mjs';
 import { CountryCode } from 'libphonenumber-js';
-import './form-submit-CX-CxJjQ.mjs';
 import 'zod/mini';
 import 'zod/v4/core';
 
@@ -407,11 +407,11 @@ interface BookedAttempt {
     bookingId: string;
     attemptKey: string;
 }
-interface BookingSubmitState {
+interface BookingSubmitState<I = BookingInput> {
     status: BookingSubmitStatus;
     outcome: BookingOutcome | null;
     /** Send the booking. A retry of an unanswered or refused submit reuses its attempt key. */
-    submit(input: BookingInput): Promise<BookingOutcome>;
+    submit(input: I): Promise<BookingOutcome>;
     /**
      * The recorded booking and the key it was sent with; persist it (e.g. `sessionStorage`) to add
      * details after a reload. Null until the server has the booking.
@@ -430,11 +430,13 @@ interface BookingSubmitState {
  * get wrong: one attempt key per submit (a double-click never books twice), the visit's
  * `form_submit`, the stale-config refetch, and the fallback link on failure. A `pending` answer
  * shows at once (`status: "pending"`) while the final one is polled; the submit stays in flight.
+ * Pass the site's `ARANOVA_LEAD_FORMS` as `contracts` to type the input by the shop's rules.
  */
-declare function useBookingSubmit(bookings: SalesBookingsClient, options?: {
+declare function useBookingSubmit<C extends LeadFormContracts | undefined = undefined>(bookings: SalesBookingsClient, options?: {
     formSubmit?: BookingFormSubmit;
     /** Development only: a simulated create's outcome. The production API ignores it. */
     simulate?: BookingSimulation;
-}): BookingSubmitState;
+    contracts?: C;
+}): BookingSubmitState<C extends LeadFormContracts ? BookingInputFor<C> : BookingInput>;
 
 export { AdPlatformTracking, type AdPlatformTrackingProps, type BookedAttempt, BookingHandoffLink, type BookingHandoffLinkProps, type BookingHandoffOptions, type BookingSubmitState, type BookingSubmitStatus, ConsentBanner, type ConsentBannerProps, type CreateTrackingOptions, type CreateTrackingResult, GoogleAdsTracking, type GoogleAdsTrackingProps, PhoneField, type PhoneFieldApi, type PhoneFieldProps, type PhoneInputProps, type TrackingProviderProps, type UseConsentResult, type UseCookiePreferencesOptions, type UseCookiePreferencesResult, type UsePhoneFieldOptions, createTracking, useBookingHandoffUrl, useBookingIntegration, useBookingSlots, useBookingSubmit, useConsent, useConsentState, useCookiePreferences, useGclid, usePhoneConfig, usePhoneField, useTrackingParams };

package/dist/client.d.ts

@@ -1,10 +1,10 @@
 import * as react from 'react';
 import { ReactNode, CSSProperties, InputHTMLAttributes, ChangeEvent, FocusEvent, AnchorHTMLAttributes } from 'react';
-import { G as GtagEnvironmentMap, M as MetaPixelEnvironmentMap, h as ConsentState, f as ConsentChoiceState, g as ConsentSource, T as TrackingParams, b as TrackingEnvironment, j as PhoneConfig, P as ParsedPhone, k as PhoneDisplayFormat } from './phone-utils-D12FW8tT.js';
-import { T as TrackingConfigReference, C as ConversionConfig, i as BookingOutcome, g as BookingInput, a as BookingDetailsInput, c as BookingDetailsOutcome, S as SalesBookingsClient, f as BookingFormSubmit, j as BookingSimulation } from './bookings-C1HMPjQl.js';
-import { X as TriggerRegistryConfig, Z as TypedTrackingClient, a as BookingHandoffPrefill, b as BookingIntegration, B as BookableDay } from './ingest-typed-sCDoPInT.js';
+import { G as GtagEnvironmentMap, M as MetaPixelEnvironmentMap, h as ConsentState, f as ConsentChoiceState, g as ConsentSource, T as TrackingParams, b as TrackingEnvironment, u as PhoneConfig, P as ParsedPhone, v as PhoneDisplayFormat } from './phone-utils-CYr6AmEP.js';
+import { T as TrackingConfigReference, C as ConversionConfig, h as BookingHandoffPrefill, i as BookingInput, p as BookingOutcome, b as BookingDetailsInput, d as BookingDetailsOutcome, k as BookingIntegration, B as BookableDay, x as LeadFormContracts, S as SalesBookingsClient, g as BookingFormSubmit, t as BookingSimulation, j as BookingInputFor } from './bookings-CkfA5XOM.js';
+export { Z as createLeadFormSubmit } from './bookings-CkfA5XOM.js';
+import { L as TriggerRegistryConfig, O as TypedTrackingClient } from './ingest-typed-D7I4aQ7p.js';
 import { CountryCode } from 'libphonenumber-js';
-import './form-submit-CX-CxJjQ.js';
 import 'zod/mini';
 import 'zod/v4/core';
 
@@ -407,11 +407,11 @@ interface BookedAttempt {
     bookingId: string;
     attemptKey: string;
 }
-interface BookingSubmitState {
+interface BookingSubmitState<I = BookingInput> {
     status: BookingSubmitStatus;
     outcome: BookingOutcome | null;
     /** Send the booking. A retry of an unanswered or refused submit reuses its attempt key. */
-    submit(input: BookingInput): Promise<BookingOutcome>;
+    submit(input: I): Promise<BookingOutcome>;
     /**
      * The recorded booking and the key it was sent with; persist it (e.g. `sessionStorage`) to add
      * details after a reload. Null until the server has the booking.
@@ -430,11 +430,13 @@ interface BookingSubmitState {
  * get wrong: one attempt key per submit (a double-click never books twice), the visit's
  * `form_submit`, the stale-config refetch, and the fallback link on failure. A `pending` answer
  * shows at once (`status: "pending"`) while the final one is polled; the submit stays in flight.
+ * Pass the site's `ARANOVA_LEAD_FORMS` as `contracts` to type the input by the shop's rules.
  */
-declare function useBookingSubmit(bookings: SalesBookingsClient, options?: {
+declare function useBookingSubmit<C extends LeadFormContracts | undefined = undefined>(bookings: SalesBookingsClient, options?: {
     formSubmit?: BookingFormSubmit;
     /** Development only: a simulated create's outcome. The production API ignores it. */
     simulate?: BookingSimulation;
-}): BookingSubmitState;
+    contracts?: C;
+}): BookingSubmitState<C extends LeadFormContracts ? BookingInputFor<C> : BookingInput>;
 
 export { AdPlatformTracking, type AdPlatformTrackingProps, type BookedAttempt, BookingHandoffLink, type BookingHandoffLinkProps, type BookingHandoffOptions, type BookingSubmitState, type BookingSubmitStatus, ConsentBanner, type ConsentBannerProps, type CreateTrackingOptions, type CreateTrackingResult, GoogleAdsTracking, type GoogleAdsTrackingProps, PhoneField, type PhoneFieldApi, type PhoneFieldProps, type PhoneInputProps, type TrackingProviderProps, type UseConsentResult, type UseCookiePreferencesOptions, type UseCookiePreferencesResult, type UsePhoneFieldOptions, createTracking, useBookingHandoffUrl, useBookingIntegration, useBookingSlots, useBookingSubmit, useConsent, useConsentState, useCookiePreferences, useGclid, usePhoneConfig, usePhoneField, useTrackingParams };