@forklaunch/core 1.0.8 → 1.0.10

package/lib/{apiDefinition.types-Br0fDuBQ.d.mts → contractDetails.types-BgnK-dCg.d.mts}

@@ -1,7 +1,7 @@
-import { UnionToIntersection, TypeSafeFunction, StringWithoutSlash, Prettify, SanitizePathSlashes, MakePropertyOptionalIfChildrenOptional } from '@forklaunch/common';
+import { Prettify, SanitizePathSlashes, MakePropertyOptionalIfChildrenOptional, UnionToIntersection, TypeSafeFunction, StringWithoutSlash } from '@forklaunch/common';
 import { AnySchemaValidator, UnboxedObjectSchema, IdiomaticSchema, Schema } from '@forklaunch/validator';
-import { Counter, Gauge, Histogram, UpDownCounter, ObservableCounter, ObservableGauge, ObservableUpDownCounter, Span } from '@opentelemetry/api';
 import { JWTPayload, JWK } from 'jose';
+import { Counter, Gauge, Histogram, UpDownCounter, ObservableCounter, ObservableGauge, ObservableUpDownCounter, Span } from '@opentelemetry/api';
 import { ParsedQs } from 'qs';
 import { Readable } from 'stream';
 import { LevelWithSilentOrString, LevelWithSilent } from 'pino';
@@ -57,1075 +57,1075 @@ declare const httpServerDurationHistogram: Histogram<{
     "http.response.status_code": number;
 }>;
 
-/**
- * Dictionary type for URL parameters.
- */
-type ParamsDictionary = {
-    [key: string]: string;
+type DocsConfiguration = ({
+    type: 'scalar';
+} & Partial<Omit<ApiReferenceConfiguration, 'spec'>>) | {
+    type: 'swagger';
 };
+
 /**
- * Type representing an object with only string keys.
- *
- * @template SV - A type that extends AnySchemaValidator.
- */
-type StringOnlyObject<SV extends AnySchemaValidator> = Omit<UnboxedObjectSchema<SV>, number | symbol>;
-/**
- * Type representing an object with only number keys.
- *
- * @template SV - A type that extends AnySchemaValidator.
- */
-type NumberOnlyObject<SV extends AnySchemaValidator> = Omit<UnboxedObjectSchema<SV>, string | symbol>;
-/**
- * Type representing the body object in a request.
- *
- * @template SV - A type that extends AnySchemaValidator.
- */
-type BodyObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
-/**
- * Type representing the parameters object in a request.
- *
- * @template SV - A type that extends AnySchemaValidator.
- */
-type ParamsObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
-/**
- * Type representing the query object in a request.
- *
- * @template SV - A type that extends AnySchemaValidator.
+ * Default subscription data structure.
+ * Applications can override this with their own subscription type.
  */
-type QueryObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
+type DefaultSubscriptionData = {
+    subscriptionId: string;
+    planId: string;
+    planName: string;
+    status: string;
+    currentPeriodEnd: Date;
+} | null;
 /**
- * Type representing the headers object in a request.
+ * Options for global authentication in Express-like applications.
  *
- * @template SV - A type that extends AnySchemaValidator.
- */
-type HeadersObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
-type RawTypedResponseBody<SV extends AnySchemaValidator> = TextBody<SV> | JsonBody<SV> | FileBody<SV> | ServerSentEventBody<SV> | UnknownResponseBody<SV>;
-type ExclusiveResponseBodyBase<SV extends AnySchemaValidator> = {
-    [K in keyof UnionToIntersection<RawTypedResponseBody<SV>>]?: undefined;
-};
-type ExclusiveSchemaCatchall<SV extends AnySchemaValidator> = {
-    [K in keyof SV['_SchemaCatchall'] as string extends K ? never : number extends K ? never : symbol extends K ? never : K]?: undefined;
-};
-type TypedResponseBody<SV extends AnySchemaValidator> = {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof TextBody<SV> ? TextBody<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof JsonBody<SV> ? JsonBody<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof FileBody<SV> ? FileBody<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof ServerSentEventBody<SV> ? ServerSentEventBody<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof UnknownResponseBody<SV> ? UnknownResponseBody<SV>[K] : undefined;
-};
-type ResponseBody<SV extends AnySchemaValidator> = TypedResponseBody<SV> | (ExclusiveResponseBodyBase<SV> & SV['_ValidSchemaObject']) | (ExclusiveResponseBodyBase<SV> & UnboxedObjectSchema<SV>) | (ExclusiveResponseBodyBase<SV> & SV['string']) | (ExclusiveResponseBodyBase<SV> & SV['number']) | (ExclusiveResponseBodyBase<SV> & SV['boolean']) | (ExclusiveResponseBodyBase<SV> & SV['date']) | (ExclusiveResponseBodyBase<SV> & SV['array']) | (ExclusiveResponseBodyBase<SV> & SV['file']);
-/**
- * Type representing the responses object in a request.
+ * @template SV - The schema validator type.
+ * @template SessionSchema - The session schema type.
+ * @template SubscriptionData - The subscription data type (defaults to DefaultSubscriptionData, must extend Record<string, unknown> | null).
  *
- * @template SV - A type that extends AnySchemaValidator.
+ * Can be `false` to disable authentication, or an object specifying session schema and
+ * functions to surface scopes, permissions, roles, subscription, and features from the JWT/session.
  */
-type ResponsesObject<SV extends AnySchemaValidator> = {
-    [K: number]: ResponseBody<SV>;
-};
-type JsonBody<SV extends AnySchemaValidator> = {
-    contentType?: 'application/json' | string;
-    json: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
+type ExpressLikeGlobalAuthOptions<SV extends AnySchemaValidator, SessionSchema extends Record<string, unknown>, SubscriptionData extends Record<string, unknown> | null = DefaultSubscriptionData> = false | {
+    /**
+     * Optional session schema for the authentication context.
+     */
+    sessionSchema?: SessionSchema;
+    /**
+     * Optional array describing the scope hierarchy for authorization.
+     */
+    scopeHeirarchy?: string[];
+    /**
+     * Function to extract a set of scopes from the JWT payload and request.
+     */
+    surfaceScopes?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => Set<string> | Promise<Set<string>>;
+    /**
+     * Function to extract a set of permissions from the JWT payload and request.
+     */
+    surfacePermissions?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => Set<string> | Promise<Set<string>>;
+    /**
+     * Function to extract a set of roles from the JWT payload and request.
+     */
+    surfaceRoles?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => Set<string> | Promise<Set<string>>;
+    /**
+     * Function to extract subscription data from the JWT payload and request.
+     * Returns subscription information (status, plan, etc.) or null if no subscription.
+     */
+    surfaceSubscription?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => SubscriptionData | Promise<SubscriptionData>;
+    /**
+     * Function to extract a set of feature flags from the JWT payload and request.
+     * Returns features available to the organization based on their billing plan.
+     */
+    surfaceFeatures?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => Set<string> | Promise<Set<string>>;
 };
 /**
- * Type representing the body in a request.
+ * Schema-aware version of ExpressLikeGlobalAuthOptions.
  *
- * @template SV - A type that extends AnySchemaValidator.
+ * @template SV - The schema validator type.
+ * @template SessionSchema - The session object type.
+ * @template SubscriptionData - The subscription data type.
  */
-type TextBody<SV extends AnySchemaValidator> = {
-    contentType?: 'application/xml' | 'text/plain' | 'text/html' | 'text/css' | 'text/javascript' | 'text/csv' | 'text/markdown' | 'text/xml' | 'text/rtf' | 'text/x-yaml' | 'text/yaml' | string;
-    text: SV['string'];
-};
-type FileBody<SV extends AnySchemaValidator> = {
-    contentType?: 'application/octet-stream' | 'application/pdf' | 'application/vnd.ms-excel' | 'application/vnd.openxmlformats-officedocument.spreadsheetml.sheet' | 'application/msword' | 'application/vnd.openxmlformats-officedocument.wordprocessingml.document' | 'application/zip' | 'image/jpeg' | 'image/png' | 'image/gif' | 'audio/mpeg' | 'audio/wav' | 'video/mp4' | string;
-    file: SV['file'];
-};
+type ExpressLikeSchemaGlobalAuthOptions<SV extends AnySchemaValidator, SessionSchema extends SessionObject<SV>, SubscriptionData extends Record<string, unknown> | null = DefaultSubscriptionData> = ExpressLikeGlobalAuthOptions<SV, MapSessionSchema<SV, SessionSchema>, SubscriptionData>;
 /**
- * Type representing the body in a request.
+ * Options for configuring an Express-like router.
  *
- * @template SV - A type that extends AnySchemaValidator.
+ * @template SV - The schema validator type.
+ * @template SessionSchema - The session object type.
+ * @template SubscriptionData - The subscription data type.
  */
-type MultipartForm<SV extends AnySchemaValidator> = {
-    contentType?: 'multipart/form-data' | 'multipart/mixed' | 'multipart/alternative' | 'multipart/related' | 'multipart/signed' | 'multipart/encrypted' | string;
-    multipartForm: BodyObject<SV>;
+type ExpressLikeRouterOptions<SV extends AnySchemaValidator, SessionSchema extends SessionObject<SV>, SubscriptionData extends Record<string, unknown> | null = DefaultSubscriptionData> = {
+    /**
+     * Authentication options for the router.
+     */
+    auth?: ExpressLikeSchemaGlobalAuthOptions<SV, SessionSchema, SubscriptionData>;
+    /**
+     * Validation options for request and response.
+     * Can be `false` to disable validation, or an object to configure request/response validation levels.
+     */
+    validation?: false | {
+        /**
+         * Request validation mode: 'none', 'warning', or 'error'.
+         */
+        request?: 'none' | 'warning' | 'error';
+        /**
+         * Response validation mode: 'none', 'warning', or 'error'.
+         */
+        response?: 'none' | 'warning' | 'error';
+    };
+    /**
+     * OpenAPI documentation options.
+     */
+    openapi?: boolean;
+    /**
+     * MCP options.
+     */
+    mcp?: boolean;
 };
 /**
- * Type representing the body in a request.
+ * Options for configuring an Express-like application.
  *
- * @template SV - A type that extends AnySchemaValidator.
+ * @template SV - The schema validator type.
+ * @template SessionSchema - The session object type.
+ * @template SubscriptionData - The subscription data type.
  */
-type UrlEncodedForm<SV extends AnySchemaValidator> = {
-    contentType?: 'application/x-www-form-urlencoded' | 'application/x-url-encoded' | 'application/x-www-url-encoded' | 'application/x-urlencode' | string;
-    urlEncodedForm: BodyObject<SV>;
-};
-type ServerSentEventBody<SV extends AnySchemaValidator> = {
-    contentType?: 'text/event-stream' | string;
-    event: {
-        id: SV['string'];
-        data: SV['string'] | BodyObject<SV>;
-    };
-};
-type UnknownBody<SV extends AnySchemaValidator> = {
-    contentType?: string;
-    schema: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
-};
-type UnknownResponseBody<SV extends AnySchemaValidator> = {
-    contentType?: string;
-    schema: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
-};
-type ExclusiveRequestBodyBase<SV extends AnySchemaValidator> = {
-    [K in keyof UnionToIntersection<TypedBody<SV>>]?: undefined;
-};
-type TypedRequestBody<SV extends AnySchemaValidator> = {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof TextBody<SV> ? TextBody<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof JsonBody<SV> ? JsonBody<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof FileBody<SV> ? FileBody<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof MultipartForm<SV> ? MultipartForm<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof UrlEncodedForm<SV> ? UrlEncodedForm<SV>[K] : undefined;
-} | {
-    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof UnknownBody<SV> ? UnknownBody<SV>[K] : undefined;
-};
-type TypedBody<SV extends AnySchemaValidator> = JsonBody<SV> | TextBody<SV> | FileBody<SV> | MultipartForm<SV> | UrlEncodedForm<SV> | UnknownBody<SV>;
-type Body<SV extends AnySchemaValidator> = TypedRequestBody<SV> | (ExclusiveRequestBodyBase<SV> & SV['_ValidSchemaObject']) | (ExclusiveRequestBodyBase<SV> & UnboxedObjectSchema<SV>) | (ExclusiveRequestBodyBase<SV> & SV['string']) | (ExclusiveRequestBodyBase<SV> & SV['number']) | (ExclusiveRequestBodyBase<SV> & SV['boolean']) | (ExclusiveRequestBodyBase<SV> & SV['date']) | (ExclusiveRequestBodyBase<SV> & SV['array']) | (ExclusiveRequestBodyBase<SV> & SV['file']) | (ExclusiveRequestBodyBase<SV> & SV['any']) | (ExclusiveRequestBodyBase<SV> & SV['unknown']) | (ExclusiveRequestBodyBase<SV> & SV['binary']) | (ExclusiveRequestBodyBase<SV> & (SV['type'] extends TypeSafeFunction ? ReturnType<SV['type']> : never));
-type SessionObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
-type BasicAuthMethods = {
-    readonly basic: {
-        readonly login: (username: string, password: string) => boolean;
+type ExpressLikeApplicationOptions<SV extends AnySchemaValidator, SessionSchema extends SessionObject<SV>, SubscriptionData extends Record<string, unknown> | null = DefaultSubscriptionData> = Omit<ExpressLikeRouterOptions<SV, SessionSchema, SubscriptionData>, 'openapi' | 'mcp'> & {
+    /**
+     * Documentation configuration.
+     */
+    docs?: DocsConfiguration;
+    /**
+     * Hosting/server options.
+     */
+    hosting?: {
+        /**
+         * SSL configuration or boolean to enable/disable SSL.
+         */
+        ssl?: {
+            /**
+             * SSL certificate as a string.
+             */
+            certFile: string;
+            /**
+             * SSL key as a string.
+             */
+            keyFile: string;
+            /**
+             * SSL CA as a string.
+             */
+            caFile: string;
+        };
+        /**
+         * Number of worker processes to spawn.
+         */
+        workerCount?: number;
+        /**
+         * Routing strategy to use.
+         */
+        routingStrategy?: 'round-robin' | 'sticky' | 'random';
     };
-    readonly jwt?: never;
-    readonly hmac?: never;
-};
-type JwtAuthMethods = {
-    jwt: {
-        readonly jwksPublicKey: JWK;
-    } | {
-        readonly jwksPublicKeyUrl: string;
-    } | {
-        readonly signatureKey: string;
+    /**
+     * FastMCP (management/control plane) options.
+     * Can be `false` to disable, or an object to configure.
+     */
+    mcp?: false | {
+        /**
+         * Port for the MCP server.
+         */
+        port?: number;
+        /**
+         * Endpoint for the MCP server.
+         */
+        path?: `/${string}`;
+        /**
+         * Additional options for FastMCP.
+         */
+        options?: ConstructorParameters<typeof FastMCP>[0];
+        /**
+         * Optional authentication callback for validating MCP requests.
+         * Called by FastMCP for each request to verify the session token.
+         * Return user info object if authenticated, undefined otherwise.
+         * Example: { email: 'user@example.com', name: 'User' }
+         */
+        authenticate?: (request: http.IncomingMessage) => Promise<Record<string, unknown> | undefined>;
+        /**
+         * Additional tools to register with the MCP server.
+         */
+        additionalTools?: (mcpServer: FastMCP) => void;
+        /**
+         * Content type mapping for the MCP server.
+         */
+        contentTypeMapping?: Record<string, string>;
+        /**
+         * Version of the MCP server.
+         */
+        version?: `${number}.${number}.${number}`;
     };
-    readonly basic?: never;
-    readonly hmac?: never;
-};
-type HmacMethods = {
-    readonly hmac: {
-        readonly secretKeys: Record<string, string>;
+    /**
+     * OpenAPI documentation options.
+     * Can be `false` to disable, or an object to configure.
+     */
+    openapi?: false | {
+        /**
+         * Path to serve the OpenAPI docs (e.g., '/openapi').
+         */
+        path?: `/${string}`;
+        /**
+         * Title for the OpenAPI documentation.
+         */
+        title?: string;
+        /**
+         * Description for the OpenAPI documentation.
+         */
+        description?: string;
+        /**
+         * Contact information for the API.
+         */
+        contact?: {
+            /**
+             * Contact name.
+             */
+            name?: string;
+            /**
+             * Contact email.
+             */
+            email?: string;
+        };
+        /**
+         * Whether to enable discrete versioning for OpenAPI docs.
+         */
+        discreteVersions?: boolean;
     };
-    readonly sessionSchema?: never;
-    readonly basic?: never;
-    readonly jwt?: never;
-};
-type TokenOptions = {
-    readonly tokenPrefix?: string;
-    readonly headerName?: string;
-};
-type DecodeResource = (token: string) => JWTPayload | Promise<JWTPayload>;
-type AuthMethodsBase = TokenOptions & (HmacMethods | ({
-    readonly decodeResource?: DecodeResource;
-} & (PermissionSet | RoleSet) & (BasicAuthMethods | JwtAuthMethods)));
-type PermissionSet = {
-    readonly allowedPermissions: Set<string>;
-} | {
-    readonly forbiddenPermissions: Set<string>;
-};
-type RoleSet = {
-    readonly allowedRoles: Set<string>;
-} | {
-    readonly forbiddenRoles: Set<string>;
-};
-/**
- * Route access level — determines authentication and authorization requirements.
- *
- * - `'public'` — No authentication required. `auth` must not be provided.
- * - `'authenticated'` — JWT or Basic auth required, any valid user. RBAC optional.
- * - `'protected'` — JWT or Basic auth required. Must declare roles, permissions, or scope.
- * - `'internal'` — HMAC auth required (inter-service communication).
- */
-type AccessLevel = 'public' | 'authenticated' | 'protected' | 'internal';
-/**
- * Discriminated union that narrows the `auth` type based on the `access` level.
- * - `public`: auth not allowed
- * - `authenticated`: auth optional (JWT/Basic, RBAC not required)
- * - `protected`: auth required, must include at least one RBAC declaration
- * - `internal`: auth required, must be HMAC
- */
-type AccessAuth<Auth> = {
-    readonly access: 'public';
-    readonly auth?: never;
-} | {
-    readonly access: 'authenticated';
-    readonly auth?: Auth;
-} | {
-    readonly access: 'protected';
-    readonly auth: Auth & ({
-        readonly allowedPermissions: Set<string>;
-    } | {
-        readonly forbiddenPermissions: Set<string>;
-    } | {
-        readonly allowedRoles: Set<string>;
-    } | {
-        readonly forbiddenRoles: Set<string>;
-    } | {
-        readonly requiredScope: string;
-    });
-} | {
-    readonly access: 'internal';
-    readonly auth: Auth & HmacMethods;
+    /**
+     * CORS configuration options.
+     */
+    cors?: CorsOptions;
 };
+
 /**
- * Type representing the authentication methods.
+ * Interface representing the context of a request.
  */
-type SchemaAuthMethods<SV extends AnySchemaValidator, ParamsSchema extends ParamsObject<SV>, ReqBody extends Body<SV>, QuerySchema extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method>, BaseRequest> = AuthMethodsBase & {
-    readonly sessionSchema?: SessionObject<SV>;
-    readonly requiredScope?: string;
-    readonly scopeHeirarchy?: string[];
-    readonly surfaceScopes?: ExpressLikeSchemaAuthMapper<SV, ParamsSchema, ReqBody, QuerySchema, ReqHeaders, VersionedApi, SessionObject<SV>, BaseRequest>;
-    readonly requiredFeatures?: string[];
-    readonly requireActiveSubscription?: boolean;
-} & ({
-    readonly surfacePermissions?: ExpressLikeSchemaAuthMapper<SV, ParamsSchema, ReqBody, QuerySchema, ReqHeaders, VersionedApi, SessionObject<SV>, BaseRequest>;
-} | {
-    readonly surfaceRoles?: ExpressLikeSchemaAuthMapper<SV, ParamsSchema, ReqBody, QuerySchema, ReqHeaders, VersionedApi, SessionObject<SV>, BaseRequest>;
-});
-type AuthMethods<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, string>, VersionedReqs extends VersionedRequests, BaseRequest> = AuthMethodsBase & {
-    readonly sessionSchema?: SessionObject<SV>;
-    readonly requiredScope?: string;
-    readonly scopeHeirarchy?: string[];
-    readonly surfaceScopes?: ExpressLikeAuthMapper<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionObject<SV>, BaseRequest>;
-    readonly requiredFeatures?: string[];
-    readonly requireActiveSubscription?: boolean;
-} & (({
-    readonly surfacePermissions?: ExpressLikeAuthMapper<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionObject<SV>, BaseRequest>;
-} & PermissionSet) | ({
-    readonly surfaceRoles?: ExpressLikeAuthMapper<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionObject<SV>, BaseRequest>;
-} & RoleSet));
+interface RequestContext {
+    /** Correlation ID for tracking requests */
+    correlationId: string;
+    /** Optional idempotency key for ensuring idempotent requests */
+    idempotencyKey?: string;
+    /** Active OpenTelemetry Span */
+    span?: Span;
+}
+interface ForklaunchBaseRequest<P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>> {
+    /** Request parameters */
+    params: P;
+    /** Request headers */
+    headers: ReqHeaders;
+    /** Request body */
+    body: ReqBody;
+    /** Request query */
+    query: ReqQuery;
+    /** Method */
+    method: 'GET' | 'POST' | 'PUT' | 'PATCH' | 'DELETE' | 'OPTIONS' | 'HEAD' | 'CONNECT' | 'TRACE';
+    /** Request path */
+    path: string;
+    /** Original path */
+    originalPath: string;
+    /** OpenTelemetry Collector */
+    openTelemetryCollector?: OpenTelemetryCollector<MetricsDefinition>;
+}
 /**
- * Type representing a mapped schema.
- *s ParamsDictionary,
-//   ReqBody extends Record<string, unknown>,
-//
+ * Interface representing a Forklaunch request.
+ *
  * @template SV - A type that extends AnySchemaValidator.
- * @template T - A type that extends IdiomaticSchema or a valid schema object.
- */
-type MapSchema<SV extends AnySchemaValidator, T extends IdiomaticSchema<SV> | SV['_ValidSchemaObject']> = Schema<T, SV> extends infer U ? (T extends U ? unknown : U) : never;
-/**
- * Type representing the parameters in a request.
+ * @template P - A type for request parameters, defaulting to ParamsDictionary.
+ * @template ReqBody - A type for the request body, defaulting to unknown.
+ * @template ReqQuery - A type for the request query, defaulting to ParsedQs.
+ * @template Headers - A type for the request headers, defaulting to IncomingHttpHeaders.
  */
-type ExtractParams<Path extends `/${string}`> = Path extends `${string}/:${infer Param}/${infer Rest}` ? Param | ExtractParams<`/${Rest}`> : Path extends `${string}/:${infer Param}` ? Param : never;
+interface ForklaunchRequest<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, unknown>, Version extends string, SessionSchema extends Record<string, unknown>> {
+    /** Context of the request */
+    context: Prettify<RequestContext>;
+    /** API Version of the request */
+    version: Version;
+    /** Request parameters */
+    params: P;
+    /** Request headers */
+    headers: ReqHeaders;
+    /** Request body */
+    body: ReqBody;
+    /** Request query */
+    query: ReqQuery;
+    /** Contract details for the request */
+    contractDetails: PathParamHttpContractDetails<SV> | HttpContractDetails<SV>;
+    /** Schema validator */
+    schemaValidator: SV;
+    /** Method */
+    method: 'GET' | 'POST' | 'PUT' | 'PATCH' | 'DELETE' | 'OPTIONS' | 'HEAD' | 'CONNECT' | 'TRACE';
+    /** Request path */
+    path: string;
+    /** Request schema, compiled */
+    requestSchema: unknown | Record<string, unknown>;
+    /** Original path */
+    originalPath: string;
+    /** OpenTelemetry Collector */
+    openTelemetryCollector?: OpenTelemetryCollector<MetricsDefinition>;
+    /** Session */
+    session: JWTPayload & SessionSchema;
+    /** Parsed versions */
+    _parsedVersions: string[] | number;
+    /** Raw body before schema validation (for HMAC verification) */
+    _rawBody?: unknown;
+    /** Global options */
+    _globalOptions: () => ExpressLikeRouterOptions<SV, SessionSchema> | undefined;
+}
 /**
- * Type representing the parameters in a request.
+ * Represents the types of data that can be sent in a response.
  */
-type ExtractedParamsObject<Path extends `/${string}`> = Record<ExtractParams<Path>, unknown>;
+type ForklaunchSendableData = Record<string, unknown> | string | Buffer | ArrayBuffer | NodeJS.ReadableStream | null | undefined;
 /**
- * Represents the path parameter methods.
+ * Interface representing a Forklaunch response status.
+ * @template ResBody - A type for the response body.
  */
-type PathParamMethod = 'get' | 'delete' | 'options' | 'head' | 'trace';
+interface ForklaunchStatusResponse<ResBody> {
+    /**
+     * Sends the response.
+     * @param {ResBodyMap} [body] - The response body.
+     * @param {boolean} [close_connection] - Whether to close the connection.
+     * @returns {T} - The sent response.
+     */
+    send: {
+        (body?: ResBody extends AsyncGenerator<unknown> ? never : ResBody extends Blob ? Blob | File | Buffer | ArrayBuffer | NodeJS.ReadableStream : ResBody | null, close_connection?: boolean): boolean;
+        <U>(body?: ResBody extends AsyncGenerator<unknown> ? never : ResBody extends Blob ? Blob | File | Buffer | ArrayBuffer | NodeJS.ReadableStream : ResBody | null, close_connection?: boolean): U;
+    };
+    /**
+     * Sends a JSON response.
+     * @param {ResBodyMap} [body] - The response body.
+     * @returns {boolean|T} - The JSON response.
+     */
+    json: {
+        (body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): boolean;
+        <U>(body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): U;
+    };
+    /**
+     * Sends a JSONP response.
+     * @param {ResBodyMap} [body] - The response body.
+     * @returns {boolean|T} - The JSONP response.
+     */
+    jsonp: {
+        (body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): boolean;
+        <U>(body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): U;
+    };
+    /**
+     * Sends a Server-Sent Event (SSE) response.
+     * @param {ResBodyMap} [body] - The response body.
+     * @param {number} interval - The interval between events.
+     */
+    sseEmitter: (generator: () => AsyncGenerator<ResBody extends AsyncGenerator<infer T> ? T : never, void, unknown>) => void;
+}
+type ToNumber<T extends string | number | symbol> = T extends number ? T : T extends `${infer N extends number}` ? N : never;
 /**
- * Represents the body parameter methods.
+ * Interface representing a Forklaunch response.
+ *
+ * @template ResBodyMap - A type for the response body, defaulting to common status code responses.
+ * @template StatusCode - A type for the status code, defaulting to number.
  */
-type HttpMethod = 'post' | 'patch' | 'put';
+interface ForklaunchResponse<BaseResponse, ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, unknown>, LocalsObj extends Record<string, unknown>, Version extends string> {
+    /** Data of the response body */
+    bodyData: unknown;
+    /** Status code of the response */
+    statusCode: number;
+    /** Whether the response is finished */
+    headersSent: boolean;
+    /**
+     * Gets the headers of the response.
+     * @returns {Omit<ResHeaders, keyof ForklaunchResHeaders> & ForklaunchResHeaders} - The headers of the response.
+     */
+    getHeaders: () => Omit<ResHeaders, keyof ForklaunchResHeaders> & ForklaunchResHeaders;
+    /**
+     * Gets a header for the response.
+     * @param {string} key - The header key.
+     * @returns {string | string[] | undefined} The header value.
+     */
+    getHeader: (key: string) => string | string[] | undefined;
+    /**
+     * Sets a header for the response.
+     * @param {string} key - The header key.
+     * @param {string} value - The header value.
+     */
+    setHeader: {
+        <K extends keyof (ResHeaders & ForklaunchResHeaders)>(key: K, value: K extends keyof ForklaunchResHeaders ? ForklaunchResHeaders[K] : ResHeaders[K]): void;
+        <K extends keyof (ResHeaders & ForklaunchResHeaders)>(key: K, value: K extends keyof ForklaunchResHeaders ? ForklaunchResHeaders[K] : ResHeaders[K]): BaseResponse;
+    };
+    /**
+     * Adds an event listener to the response.
+     * @param {string} event - The event to listen for.
+     * @param {Function} listener - The listener function.
+     */
+    on(event: 'close', listener: () => void): BaseResponse & this;
+    on(event: 'drain', listener: () => void): BaseResponse & this;
+    on(event: 'error', listener: (err: Error) => void): BaseResponse & this;
+    on(event: 'finish', listener: () => void): BaseResponse & this;
+    on(event: 'pipe', listener: (src: Readable) => void): BaseResponse & this;
+    on(event: 'unpipe', listener: (src: Readable) => void): BaseResponse & this;
+    on(event: string | symbol, listener: (...args: unknown[]) => void): BaseResponse & this;
+    /**
+     * Sets the status of the response.
+     * @param {U} code - The status code.
+     * @param {string} [message] - Optional message.
+     * @returns {ForklaunchResponse<(ResBodyMap)[U], ResHeaders, U, LocalsObj>} - The response with the given status.
+     */
+    status: {
+        <U extends ToNumber<keyof (ResBodyMap & ForklaunchResErrors)>>(code: U): Omit<BaseResponse, keyof ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>> & ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>;
+        <U extends ToNumber<keyof (ResBodyMap & ForklaunchResErrors)>>(code: U, message?: string): Omit<BaseResponse, keyof ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>> & ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>;
+    };
+    /**
+     * Ends the response.
+     * @param {string} [data] - Optional data to send.
+     */
+    end: {
+        (data?: string): void;
+        (cb?: (() => void) | undefined): BaseResponse;
+    };
+    /**
+     * Sets the content type of the response.
+     * @param {string} type - The content type.
+     */
+    type: {
+        (type: string): void;
+        (type: string): BaseResponse;
+    };
+    /** Local variables */
+    locals: LocalsObj;
+    /** Cors */
+    cors: boolean;
+    /** Response schema, compiled */
+    responseSchemas: ResponseCompiledSchema | Record<string, ResponseCompiledSchema>;
+    /** Whether the metric has been recorded */
+    metricRecorded: boolean;
+    /** Whether the response has been sent */
+    sent: boolean;
+    /** Versioned responses */
+    version: Version;
+}
 /**
- * Represents all supported typed methods.
+ * Type representing the next function in a middleware.
+ * @param {unknown} [err] - Optional error parameter.
  */
-type Method = PathParamMethod | HttpMethod | 'middleware';
+type ForklaunchNextFunction = (err?: unknown) => void;
+type VersionedRequests = Record<string, {
+    requestHeaders?: Record<string, unknown>;
+    body?: Record<string, unknown>;
+    query?: Record<string, unknown>;
+}>;
+type ResolvedForklaunchRequestBase<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, unknown>, Version extends string, SessionSchema extends Record<string, unknown>, BaseRequest> = unknown extends BaseRequest ? ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, Version, SessionSchema> : Omit<BaseRequest, keyof ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, Version, SessionSchema>> & ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, Version, SessionSchema>;
 /**
- * Interface representing a compiled schema for a response.
+ * Type representing the resolved forklaunch request from a base request type.
+ * @template SV - A type that extends AnySchemaValidator.
+ * @template P - A type for request parameters, defaulting to ParamsDictionary.
+ * @template ReqBody - A type for the request body, defaulting to Record<string, unknown>.
+ * @template ReqQuery - A type for the request query, defaulting to ParsedQs.
+ * @template ReqHeaders - A type for the request headers, defaulting to Record<string, unknown>.
+ * @template BaseRequest - A type for the base request.
  */
-type ResponseCompiledSchema = {
-    headers?: unknown;
-    responses: Record<number, unknown>;
-};
-type BasePathParamHttpContractDetailsIO<SV extends AnySchemaValidator, BodySchema extends Body<SV> | undefined = Body<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, QuerySchema extends QueryObject<SV> | undefined = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> | undefined = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> | undefined = HeadersObject<SV>> = {
-    /** Optional body for the contract */
-    readonly body?: BodySchema;
-    /** Response schemas for the contract */
-    readonly responses: ResponseSchemas;
-    /** Optional request headers for the contract */
-    readonly requestHeaders?: ReqHeaders;
-    /** Optional response headers for the contract */
-    readonly responseHeaders?: ResHeaders;
-    /** Optional query schemas for the contract */
-    readonly query?: QuerySchema;
+type ResolvedForklaunchRequest<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, string>, VersionedReqs extends VersionedRequests, SessionSchema extends Record<string, unknown>, BaseRequest> = VersionedRequests extends VersionedReqs ? ResolvedForklaunchRequestBase<SV, P, ReqBody, ReqQuery, ReqHeaders, never, SessionSchema, BaseRequest> : {
+    [K in keyof VersionedReqs]: ResolvedForklaunchRequestBase<SV, P, VersionedReqs[K]['body'] extends Record<string, unknown> ? VersionedReqs[K]['body'] : Record<string, unknown>, VersionedReqs[K]['query'] extends Record<string, unknown> ? VersionedReqs[K]['query'] : ParsedQs, VersionedReqs[K]['requestHeaders'] extends Record<string, unknown> ? VersionedReqs[K]['requestHeaders'] : Record<string, string>, K extends string ? K : never, SessionSchema, BaseRequest>;
+}[keyof VersionedReqs];
+type ResolvedForklaunchAuthRequest<P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>, BaseRequest> = unknown extends BaseRequest ? ForklaunchBaseRequest<P, ReqBody, ReqQuery, ReqHeaders> : {
+    [key in keyof BaseRequest]: key extends keyof ForklaunchBaseRequest<P, ReqBody, ReqQuery, ReqHeaders> ? ForklaunchBaseRequest<P, ReqBody, ReqQuery, ReqHeaders>[key] : key extends keyof BaseRequest ? BaseRequest[key] : never;
 };
-type VersionedBasePathParamHttpContractDetailsIO<SV extends AnySchemaValidator, VersionedApi extends VersionSchema<SV, PathParamMethod>> = {
-    readonly versions: VersionedApi;
+type VersionedResponses = Record<string, {
+    responseHeaders?: Record<string, unknown>;
+    responses: Record<number, unknown>;
+}>;
+type ResolvedForklaunchResponseBase<ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, unknown>, LocalsObj extends Record<string, unknown>, Version extends string, BaseResponse> = unknown extends BaseResponse ? ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj, Version> : (string extends Version ? unknown : {
+    version?: Version;
+}) & {
+    [K in keyof BaseResponse | keyof ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj, Version>]: K extends keyof ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj, Version> ? ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj, Version>[K] : K extends keyof BaseResponse ? BaseResponse[K] : never;
 };
-type BasePathParamHttpContractDetails<SV extends AnySchemaValidator, Name extends string = string, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>> = {
-    /** Name of the contract */
-    readonly name: StringWithoutSlash<Name>;
-    /** Summary of the contract */
-    readonly summary: string;
-    /** Options for the contract */
-    readonly options?: {
-        /** Optional request validation for the contract */
-        readonly requestValidation?: 'error' | 'warning' | 'none';
-        /** Optional response validation for the contract */
-        readonly responseValidation?: 'error' | 'warning' | 'none';
-        /** Optional MCP details for the contract */
-        readonly mcp?: boolean;
-        /** Optional OpenAPI details for the contract */
-        readonly openapi?: boolean;
-    };
-} & (string | number | symbol extends ExtractedParamsObject<Path> ? {
-    /** Optional parameters for the contract */
-    readonly params?: ParamsSchema;
-} : {
-    /** Required parameters for the contract */
-    readonly params: {
-        [K in keyof ExtractedParamsObject<Path>]: ParamsSchema[K];
-    };
-});
+type ResolvedForklaunchResponse<ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>, VersionedResps extends VersionedResponses, BaseResponse> = VersionedResponses extends VersionedResps ? ResolvedForklaunchResponseBase<ResBodyMap, ResHeaders, LocalsObj, never, BaseResponse> : {
+    [K in keyof VersionedResps]: ResolvedForklaunchResponseBase<VersionedResps[K]['responses'], VersionedResps[K]['responseHeaders'] extends Record<string, unknown> ? VersionedResps[K]['responseHeaders'] : Record<string, string>, LocalsObj, K extends string ? K : never, BaseResponse>;
+}[keyof VersionedResps];
 /**
- * Interface representing HTTP contract details for path parameters.
+ * Represents a middleware handler with schema validation.
  *
  * @template SV - A type that extends AnySchemaValidator.
- * @template ParamsSchema - A type for parameter schemas, defaulting to ParamsObject.
- * @template ResponseSchemas - A type for response schemas, defaulting to ResponsesObject.
- * @template QuerySchema - A type for query schemas, defaulting to QueryObject.
+ * @template P - A type for request parameters, defaulting to ParamsDictionary.
+ * @template ResBodyMap - A type for the response body, defaulting to unknown.
+ * @template ReqBody - A type for the request body, defaulting to unknown.
+ * @template ReqQuery - A type for the request query, defaulting to ParsedQs.
+ * @template LocalsObj - A type for local variables, defaulting to an empty object.
+ * @template StatusCode - A type for the status code, defaulting to number.
  */
-type PathParamHttpContractDetails<SV extends AnySchemaValidator, Name extends string = string, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, BodySchema extends Body<SV> = Body<SV>, QuerySchema extends QueryObject<SV> = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> = HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method> = VersionSchema<SV, PathParamMethod>, BaseRequest = unknown, Auth extends SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest> = SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest>> = BasePathParamHttpContractDetails<SV, Name, Path, ParamsSchema> & ((BasePathParamHttpContractDetailsIO<SV, never, ResponseSchemas, QuerySchema, ReqHeaders, ResHeaders> & {
-    readonly versions?: never;
-}) | (VersionedBasePathParamHttpContractDetailsIO<SV, VersionedApi> & {
-    readonly query?: never;
-    readonly requestHeaders?: never;
-    readonly responseHeaders?: never;
-    readonly responses?: never;
-})) & AccessAuth<Auth>;
-type VersionedHttpContractDetailsIO<SV extends AnySchemaValidator, VersionedApi extends VersionSchema<SV, HttpMethod>> = {
-    readonly versions: VersionedApi;
+interface ExpressLikeHandler<SV extends AnySchemaValidator, P extends ParamsDictionary, ResBodyMap extends Record<number, unknown>, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>, VersionedReqs extends VersionedRequests, VersionedResps extends VersionedResponses, SessionSchema extends Record<string, unknown>, BaseRequest, BaseResponse, NextFunction> {
+    (req: ResolvedForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionSchema, BaseRequest>, res: ResolvedForklaunchResponse<ResBodyMap, ResHeaders, LocalsObj, VersionedResps, BaseResponse>, next: NextFunction): unknown;
+}
+type MapParamsSchema<SV extends AnySchemaValidator, P extends ParamsObject<SV>> = MapSchema<SV, P> extends infer Params ? unknown extends Params ? ParamsDictionary : Params : ParamsDictionary;
+type ExtractContentType<SV extends AnySchemaValidator, T extends ResponseBody<SV> | unknown> = T extends {
+    contentType: string;
+} ? T['contentType'] : T extends JsonBody<SV> ? 'application/json' : T extends TextBody<SV> ? 'text/plain' : T extends FileBody<SV> ? 'application/octet-stream' : T extends ServerSentEventBody<SV> ? 'text/event-stream' : T extends UnknownResponseBody<SV> ? 'application/json' : T extends SV['file'] ? 'application/octet-stream' : 'text/plain';
+type ExtractResponseBody<SV extends AnySchemaValidator, T extends ResponseBody<SV> | unknown> = T extends JsonBody<SV> ? MapSchema<SV, T['json']> : T extends TextBody<SV> ? MapSchema<SV, T['text']> : T extends FileBody<SV> ? File | Blob : T extends ServerSentEventBody<SV> ? AsyncGenerator<MapSchema<SV, T['event']>> : T extends UnknownResponseBody<SV> ? MapSchema<SV, T['schema']> : MapSchema<SV, T>;
+type MapResBodyMapSchema<SV extends AnySchemaValidator, ResBodyMap extends ResponsesObject<SV>> = unknown extends ResBodyMap ? ForklaunchResErrors : {
+    [K in keyof ResBodyMap]: ExtractResponseBody<SV, ResBodyMap[K]>;
 };
+type ExtractBody<SV extends AnySchemaValidator, T extends Body<SV>> = T extends JsonBody<SV> ? T['json'] : T extends TextBody<SV> ? T['text'] : T extends FileBody<SV> ? T['file'] : T extends MultipartForm<SV> ? T['multipartForm'] : T extends UrlEncodedForm<SV> ? T['urlEncodedForm'] : T extends UnknownBody<SV> ? T['schema'] : T;
+type MapReqBodySchema<SV extends AnySchemaValidator, ReqBody extends Body<SV>> = MapSchema<SV, ExtractBody<SV, ReqBody>> extends infer Body ? unknown extends Body ? Record<string, unknown> : Body : Record<string, unknown>;
+type MapReqQuerySchema<SV extends AnySchemaValidator, ReqQuery extends QueryObject<SV>> = MapSchema<SV, ReqQuery> extends infer Query ? unknown extends Query ? ParsedQs : Query : ParsedQs;
+type MapReqHeadersSchema<SV extends AnySchemaValidator, ReqHeaders extends HeadersObject<SV>> = MapSchema<SV, ReqHeaders> extends infer RequestHeaders ? unknown extends RequestHeaders ? Record<string, string> : RequestHeaders : Record<string, string>;
+type MapResHeadersSchema<SV extends AnySchemaValidator, ResHeaders extends HeadersObject<SV>> = MapSchema<SV, ResHeaders> extends infer ResponseHeaders ? unknown extends ResponseHeaders ? ForklaunchResHeaders : ResponseHeaders : ForklaunchResHeaders;
+type MapVersionedReqsSchema<SV extends AnySchemaValidator, VersionedReqs extends VersionSchema<SV, Method>> = {
+    [K in keyof VersionedReqs]: (VersionedReqs[K]['requestHeaders'] extends HeadersObject<SV> ? {
+        requestHeaders: MapReqHeadersSchema<SV, VersionedReqs[K]['requestHeaders']>;
+    } : unknown) & (VersionedReqs[K]['body'] extends Body<SV> ? {
+        body: MapReqBodySchema<SV, VersionedReqs[K]['body']>;
+    } : unknown) & (VersionedReqs[K]['query'] extends QueryObject<SV> ? {
+        query: MapReqQuerySchema<SV, VersionedReqs[K]['query']>;
+    } : unknown);
+} extends infer MappedVersionedReqs ? MappedVersionedReqs extends VersionedRequests ? MappedVersionedReqs : VersionedRequests : VersionedRequests;
+type MapVersionedRespsSchema<SV extends AnySchemaValidator, VersionedResps extends VersionSchema<SV, Method>> = {
+    [K in keyof VersionedResps]: (VersionedResps[K]['responseHeaders'] extends HeadersObject<SV> ? {
+        responseHeaders: MapResHeadersSchema<SV, VersionedResps[K]['responseHeaders']>;
+    } : unknown) & (VersionedResps[K]['responses'] extends ResponsesObject<SV> ? {
+        responses: MapResBodyMapSchema<SV, VersionedResps[K]['responses']>;
+    } : unknown);
+} extends infer MappedVersionedResps ? MappedVersionedResps extends VersionedResponses ? MappedVersionedResps : VersionedResponses : VersionedResponses;
+type MapSessionSchema<SV extends AnySchemaValidator, SessionSchema extends SessionObject<SV>> = SessionSchema extends infer UnmappedSessionSchema ? UnmappedSessionSchema extends SessionObject<SV> ? MapSchema<SV, UnmappedSessionSchema> : never : never;
 /**
- * Interface representing HTTP contract details.
- *
- * @template SV - A type that extends AnySchemaValidator.
- * @template ParamsSchema - A type for parameter schemas, defaulting to ParamsObject.
- * @template ResponseSchemas - A type for response schemas, defaulting to ResponsesObject.
- * @template BodySchema - A type for the body schema, defaulting to Body.
- * @template QuerySchema - A type for query schemas, defaulting to QueryObject.
- */
-type HttpContractDetails<SV extends AnySchemaValidator, Name extends string = string, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, BodySchema extends Body<SV> = Body<SV>, QuerySchema extends QueryObject<SV> = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> = HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method> = VersionSchema<SV, HttpMethod>, BaseRequest = unknown, Auth extends SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest> = SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest>> = BasePathParamHttpContractDetails<SV, Name, Path, ParamsSchema> & ((BasePathParamHttpContractDetailsIO<SV, BodySchema, ResponseSchemas, QuerySchema, ReqHeaders, ResHeaders> & {
-    readonly versions?: never;
-}) | (VersionedHttpContractDetailsIO<SV, VersionedApi> & {
-    readonly query?: never;
-    readonly requestHeaders?: never;
-    readonly responseHeaders?: never;
-    readonly body?: never;
-    readonly responses?: never;
-})) & AccessAuth<Auth>;
-/**
- * Interface representing HTTP contract details for middleware.
+ * Represents a schema middleware handler with typed parameters, responses, body, and query.
  *
  * @template SV - A type that extends AnySchemaValidator.
- * @template ParamsSchema - A type for parameter schemas, defaulting to ParamsObject.
- * @template ResponseSchemas - A type for response schemas, defaulting to ResponsesObject.
- * @template QuerySchema - A type for query schemas, defaulting to QueryObject.
- * @template ReqHeaders - A type for request headers, defaulting to HeadersObject.
- * @template ResHeaders - A type for response headers, defaulting to HeadersObject.
- */
-type MiddlewareContractDetails<SV extends AnySchemaValidator, Name extends string = string, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, BodySchema extends Body<SV> = Body<SV>, QuerySchema extends QueryObject<SV> = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> = HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method> = VersionSchema<SV, 'middleware'>, BaseRequest = unknown, Auth extends SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest> = SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest>> = Omit<Partial<HttpContractDetails<SV, Name, Path, ParamsSchema, ResponseSchemas, BodySchema, QuerySchema, ReqHeaders, ResHeaders, VersionedApi, BaseRequest, Auth>>, 'responses'>;
-type VersionSchema<SV extends AnySchemaValidator, ContractMethod extends Method> = Record<string, BasePathParamHttpContractDetailsIO<SV, ContractMethod extends PathParamMethod ? never : Body<SV>, ResponsesObject<SV>, QueryObject<SV>, HeadersObject<SV>, HeadersObject<SV>>>;
-/**
- * Utility for different Contract Detail types
+ * @template P - A type for parameter schemas, defaulting to ParamsObject.
+ * @template ResBodyMap - A type for response schemas, defaulting to ResponsesObject.
+ * @template ReqBody - A type for the request body, defaulting to Body.
+ * @template ReqQuery - A type for the request query, defaulting to QueryObject.
+ * @template LocalsObj - A type for local variables, defaulting to an empty object.
  */
-type ContractDetails<SV extends AnySchemaValidator, Name extends string, ContractMethod extends Method, Path extends `/${string}`, ParamsSchema extends ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV>, BodySchema extends Body<SV>, QuerySchema extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, VersionedApi extends VersionSchema<SV, ContractMethod>, BaseRequest, Auth extends SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest>> = ContractMethod extends PathParamMethod ? PathParamHttpContractDetails<SV, Name, Path, ParamsSchema, ResponseSchemas, BodySchema, QuerySchema, ReqHeaders, ResHeaders, VersionedApi, BaseRequest, Auth> : ContractMethod extends HttpMethod ? HttpContractDetails<SV, Name, Path, ParamsSchema, ResponseSchemas, BodySchema, QuerySchema, ReqHeaders, ResHeaders, VersionedApi, BaseRequest, Auth> : ContractMethod extends 'middleware' ? MiddlewareContractDetails<SV, Name, Path, ParamsSchema, ResponseSchemas, BodySchema, QuerySchema, ReqHeaders, ResHeaders, VersionedApi, BaseRequest, Auth> : never;
+type ExpressLikeSchemaHandler<SV extends AnySchemaValidator, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, LocalsObj extends Record<string, unknown>, VersionedApi extends VersionSchema<SV, Method>, SessionSchema extends Record<string, unknown>, BaseRequest, BaseResponse, NextFunction> = ExpressLikeHandler<SV, MapParamsSchema<SV, P>, MapResBodyMapSchema<SV, ResBodyMap>, MapReqBodySchema<SV, ReqBody>, MapReqQuerySchema<SV, ReqQuery>, MapReqHeadersSchema<SV, ReqHeaders>, MapResHeadersSchema<SV, ResHeaders>, LocalsObj, MapVersionedReqsSchema<SV, VersionedApi>, MapVersionedRespsSchema<SV, VersionedApi>, MapSessionSchema<SV, SessionSchema>, BaseRequest, BaseResponse, NextFunction>;
 /**
- * Resolves the session object type to use for authentication.
+ * Represents a function that maps an authenticated request with schema validation
+ * to a set of authorization strings, with request properties automatically inferred from the schema.
  *
- * If `AuthSession` is provided and extends `SessionObject<SV>`, it is used as the session type.
- * Otherwise, the `FallbackSession` type is used.
+ * @template SV - The type representing the schema validator.
+ * @template P - The type representing request parameters inferred from the schema.
+ * @template ReqBody - The type representing the request body inferred from the schema.
+ * @template ReqQuery - The type representing the request query parameters inferred from the schema.
+ * @template ReqHeaders - The type representing the request headers inferred from the schema.
  *
- * @template SV - The schema validator type.
- * @template AuthSession - The session object type provided by the authentication method, or undefined.
- * @template FallbackSession - The fallback session object type to use if `AuthSession` is not provided.
+ * @param {ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders>} req - The request object with schema validation.
+ * @returns {Set<string> | Promise<Set<string>>} - A set of authorization strings or a promise that resolves to it.
  */
-type ResolvedSessionObject<SV extends AnySchemaValidator, AuthSession extends SessionObject<SV> | undefined, FallbackSession extends SessionObject<SV>> = AuthSession extends {
-    readonly sessionSchema?: infer ResolvedSessionSchema | undefined;
-} | undefined ? ResolvedSessionSchema extends SessionObject<SV> ? ResolvedSessionSchema : FallbackSession : FallbackSession;
-
-type DocsConfiguration = ({
-    type: 'scalar';
-} & Partial<Omit<ApiReferenceConfiguration, 'spec'>>) | {
-    type: 'swagger';
+type ExpressLikeSchemaAuthMapper<SV extends AnySchemaValidator, P extends ParamsObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, VersionedReqs extends VersionSchema<SV, Method>, SessionSchema extends SessionObject<SV>, BaseRequest> = ExpressLikeAuthMapper<SV, P extends infer UnmappedParams ? UnmappedParams extends ParamsObject<SV> ? MapParamsSchema<SV, UnmappedParams> : never : never, ReqBody extends infer UnmappedReqBody ? UnmappedReqBody extends Body<SV> ? MapReqBodySchema<SV, UnmappedReqBody> : never : never, ReqQuery extends infer UnmappedReqQuery ? UnmappedReqQuery extends QueryObject<SV> ? MapReqQuerySchema<SV, UnmappedReqQuery> : never : never, ReqHeaders extends infer UnmappedReqHeaders ? UnmappedReqHeaders extends HeadersObject<SV> ? MapReqHeadersSchema<SV, UnmappedReqHeaders> : never : never, VersionedReqs extends infer UnmappedVersionedReqs ? UnmappedVersionedReqs extends VersionSchema<SV, Method> ? MapVersionedReqsSchema<SV, UnmappedVersionedReqs> : never : never, SessionSchema extends infer UnmappedSessionSchema ? UnmappedSessionSchema extends Record<string, unknown> ? MapSessionSchema<SV, UnmappedSessionSchema> : never : never, BaseRequest>;
+type ExpressLikeAuthMapper<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, string>, VersionedReqs extends VersionedRequests, SessionSchema extends Record<string, unknown>, BaseRequest> = (payload: JWTPayload & SessionSchema, req?: ResolvedForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionSchema, BaseRequest>) => Set<string> | Promise<Set<string>>;
+type TokenPrefix<Auth extends AuthMethodsBase> = undefined extends Auth['tokenPrefix'] ? Auth extends BasicAuthMethods ? 'Basic ' : Auth extends HmacMethods ? 'HMAC ' : 'Bearer ' : `${Auth['tokenPrefix']} `;
+type AuthHeaders<Auth extends AuthMethodsBase> = undefined extends Auth['headerName'] ? {
+    authorization: Auth extends HmacMethods ? `${TokenPrefix<Auth>}keyId=${string} ts=${string} nonce=${string} signature=${string}` : `${TokenPrefix<Auth>}${string}`;
+} : {
+    [K in NonNullable<Auth['headerName']>]: `${TokenPrefix<Auth>}${string}`;
 };
-
-/**
- * Default subscription data structure.
- * Applications can override this with their own subscription type.
- */
-type DefaultSubscriptionData = {
-    subscriptionId: string;
-    planId: string;
-    planName: string;
-    status: string;
-    currentPeriodEnd: Date;
-} | null;
+type AuthCollapse<Auth extends AuthMethodsBase> = undefined extends Auth['jwt'] ? undefined extends Auth['basic'] ? undefined extends Auth['hmac'] ? true : false : false : false;
+type LiveTypeFunctionRequestInit<SV extends AnySchemaValidator, P extends ParamsObject<SV>, ReqBody extends Body<SV> | undefined, ReqQuery extends QueryObject<SV> | undefined, ReqHeaders extends HeadersObject<SV> | undefined, Auth extends AuthMethodsBase> = MakePropertyOptionalIfChildrenOptional<(Body<SV> extends ReqBody ? unknown : {
+    body: MapSchema<SV, ReqBody>;
+}) & (QueryObject<SV> extends ReqQuery ? unknown : {
+    query: MapSchema<SV, ReqQuery>;
+}) & (HeadersObject<SV> extends ReqHeaders ? true extends AuthCollapse<Auth> ? unknown : {
+    headers: AuthHeaders<Auth>;
+} : true extends AuthCollapse<Auth> ? {
+    headers: MapSchema<SV, ReqHeaders>;
+} : {
+    headers: MapSchema<SV, ReqHeaders> & AuthHeaders<Auth>;
+}) & (ParamsObject<SV> extends P ? unknown : {
+    params: MapSchema<SV, P>;
+})>;
 /**
- * Options for global authentication in Express-like applications.
+ * Represents a live type function for the SDK.
  *
- * @template SV - The schema validator type.
- * @template SessionSchema - The session schema type.
- * @template SubscriptionData - The subscription data type (defaults to DefaultSubscriptionData, must extend Record<string, unknown> | null).
+ * @template SV - A type that extends AnySchemaValidator.
+ * @template Path - A type for the route path.
+ * @template P - A type for request parameters.
+ * @template ResBodyMap - A type for response schemas.
+ * @template ReqBody - A type for the request body.
+ * @template ReqQuery - A type for the request query.
+ * @template ReqHeaders - A type for the request headers.
+ * @template ResHeaders - A type for the response headers.
  *
- * Can be `false` to disable authentication, or an object specifying session schema and
- * functions to surface scopes, permissions, roles, subscription, and features from the JWT/session.
  */
-type ExpressLikeGlobalAuthOptions<SV extends AnySchemaValidator, SessionSchema extends Record<string, unknown>, SubscriptionData extends Record<string, unknown> | null = DefaultSubscriptionData> = false | {
-    /**
-     * Optional session schema for the authentication context.
-     */
-    sessionSchema?: SessionSchema;
-    /**
-     * Optional array describing the scope hierarchy for authorization.
-     */
-    scopeHeirarchy?: string[];
-    /**
-     * Function to extract a set of scopes from the JWT payload and request.
-     */
-    surfaceScopes?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => Set<string> | Promise<Set<string>>;
-    /**
-     * Function to extract a set of permissions from the JWT payload and request.
-     */
-    surfacePermissions?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => Set<string> | Promise<Set<string>>;
-    /**
-     * Function to extract a set of roles from the JWT payload and request.
-     */
-    surfaceRoles?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => Set<string> | Promise<Set<string>>;
-    /**
-     * Function to extract subscription data from the JWT payload and request.
-     * Returns subscription information (status, plan, etc.) or null if no subscription.
-     */
-    surfaceSubscription?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => SubscriptionData | Promise<SubscriptionData>;
-    /**
-     * Function to extract a set of feature flags from the JWT payload and request.
-     * Returns features available to the organization based on their billing plan.
-     */
-    surfaceFeatures?: (payload: JWTPayload & SessionSchema, req?: ForklaunchRequest<SV, Record<string, string>, Record<string, unknown>, Record<string, unknown>, Record<string, unknown>, string, SessionSchema>) => Set<string> | Promise<Set<string>>;
+type LiveTypeFunction<SV extends AnySchemaValidator, Route extends string, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, ContractMethod extends Method, VersionedApi extends VersionSchema<SV, ContractMethod>, Auth extends AuthMethodsBase> = string extends keyof VersionedApi ? (route: SanitizePathSlashes<Route>, ...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & {
+    method: Uppercase<ContractMethod>;
+} & LiveTypeFunctionRequestInit<SV, P, ReqBody, ReqQuery, ReqHeaders, Auth>> extends infer ReqInit ? ReqInit extends {
+    body: unknown;
+} | {
+    params: unknown;
+} | {
+    query: unknown;
+} | {
+    headers: unknown;
+} ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
+    [K in keyof VersionedApi]: (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, VersionedApi[K]['body'] extends Body<SV> ? VersionedApi[K]['body'] : Body<SV>, VersionedApi[K]['query'] extends QueryObject<SV> ? VersionedApi[K]['query'] : QueryObject<SV>, VersionedApi[K]['requestHeaders'] extends HeadersObject<SV> ? VersionedApi[K]['requestHeaders'] : HeadersObject<SV>, Auth>> & {
+        version: K;
+    } extends infer ReqInit ? ReqInit extends {
+        body: unknown;
+    } | {
+        params: unknown;
+    } | {
+        query: unknown;
+    } | {
+        headers: unknown;
+    } ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
 };
 /**
- * Schema-aware version of ExpressLikeGlobalAuthOptions.
+ * Represents a live type function for the SDK.
  *
- * @template SV - The schema validator type.
- * @template SessionSchema - The session object type.
- * @template SubscriptionData - The subscription data type.
- */
-type ExpressLikeSchemaGlobalAuthOptions<SV extends AnySchemaValidator, SessionSchema extends SessionObject<SV>, SubscriptionData extends Record<string, unknown> | null = DefaultSubscriptionData> = ExpressLikeGlobalAuthOptions<SV, MapSessionSchema<SV, SessionSchema>, SubscriptionData>;
-/**
- * Options for configuring an Express-like router.
+ * @template SV - A type that extends AnySchemaValidator.
+ * @template P - A type for request parameters.
+ * @template ResBodyMap - A type for response schemas.
+ * @template ReqBody - A type for the request body.
+ * @template ReqQuery - A type for the request query.
+ * @template ReqHeaders - A type for the request headers.
+ * @template ResHeaders - A type for the response headers.
  *
- * @template SV - The schema validator type.
- * @template SessionSchema - The session object type.
- * @template SubscriptionData - The subscription data type.
  */
-type ExpressLikeRouterOptions<SV extends AnySchemaValidator, SessionSchema extends SessionObject<SV>, SubscriptionData extends Record<string, unknown> | null = DefaultSubscriptionData> = {
-    /**
-     * Authentication options for the router.
-     */
-    auth?: ExpressLikeSchemaGlobalAuthOptions<SV, SessionSchema, SubscriptionData>;
-    /**
-     * Validation options for request and response.
-     * Can be `false` to disable validation, or an object to configure request/response validation levels.
-     */
-    validation?: false | {
-        /**
-         * Request validation mode: 'none', 'warning', or 'error'.
-         */
-        request?: 'none' | 'warning' | 'error';
-        /**
-         * Response validation mode: 'none', 'warning', or 'error'.
-         */
-        response?: 'none' | 'warning' | 'error';
-    };
-    /**
-     * OpenAPI documentation options.
-     */
-    openapi?: boolean;
-    /**
-     * MCP options.
-     */
-    mcp?: boolean;
+type LiveSdkFunction<SV extends AnySchemaValidator, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method>, Auth extends AuthMethodsBase> = string extends keyof VersionedApi ? (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, ReqBody, ReqQuery, ReqHeaders, Auth>> extends infer ReqInit ? ReqInit extends {
+    body: unknown;
+} | {
+    params: unknown;
+} | {
+    query: unknown;
+} | {
+    headers: unknown;
+} ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
+    [K in keyof VersionedApi]: (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, VersionedApi[K]['body'] extends Body<SV> ? VersionedApi[K]['body'] : Body<SV>, VersionedApi[K]['query'] extends QueryObject<SV> ? VersionedApi[K]['query'] : QueryObject<SV>, VersionedApi[K]['requestHeaders'] extends HeadersObject<SV> ? VersionedApi[K]['requestHeaders'] : HeadersObject<SV>, Auth>> extends infer ReqInit ? ReqInit extends {
+        body: unknown;
+    } | {
+        params: unknown;
+    } | {
+        query: unknown;
+    } | {
+        headers: unknown;
+    } ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
 };
 /**
- * Options for configuring an Express-like application.
+ * Represents a basic SDK Response object.
  *
- * @template SV - The schema validator type.
- * @template SessionSchema - The session object type.
- * @template SubscriptionData - The subscription data type.
+ * @template ResBodyMap - A type for the response body.
+ * @template ResHeaders - A type for the response headers.
  */
-type ExpressLikeApplicationOptions<SV extends AnySchemaValidator, SessionSchema extends SessionObject<SV>, SubscriptionData extends Record<string, unknown> | null = DefaultSubscriptionData> = Omit<ExpressLikeRouterOptions<SV, SessionSchema, SubscriptionData>, 'openapi' | 'mcp'> & {
-    /**
-     * Documentation configuration.
-     */
-    docs?: DocsConfiguration;
-    /**
-     * Hosting/server options.
-     */
-    hosting?: {
-        /**
-         * SSL configuration or boolean to enable/disable SSL.
-         */
-        ssl?: {
-            /**
-             * SSL certificate as a string.
-             */
-            certFile: string;
-            /**
-             * SSL key as a string.
-             */
-            keyFile: string;
-            /**
-             * SSL CA as a string.
-             */
-            caFile: string;
-        };
-        /**
-         * Number of worker processes to spawn.
-         */
-        workerCount?: number;
-        /**
-         * Routing strategy to use.
-         */
-        routingStrategy?: 'round-robin' | 'sticky' | 'random';
-    };
-    /**
-     * FastMCP (management/control plane) options.
-     * Can be `false` to disable, or an object to configure.
-     */
-    mcp?: false | {
-        /**
-         * Port for the MCP server.
-         */
-        port?: number;
-        /**
-         * Endpoint for the MCP server.
-         */
-        path?: `/${string}`;
-        /**
-         * Additional options for FastMCP.
-         */
-        options?: ConstructorParameters<typeof FastMCP>[0];
-        /**
-         * Optional authentication callback for validating MCP requests.
-         * Called by FastMCP for each request to verify the session token.
-         * Return user info object if authenticated, undefined otherwise.
-         * Example: { email: 'user@example.com', name: 'User' }
-         */
-        authenticate?: (request: http.IncomingMessage) => Promise<Record<string, unknown> | undefined>;
-        /**
-         * Additional tools to register with the MCP server.
-         */
-        additionalTools?: (mcpServer: FastMCP) => void;
-        /**
-         * Content type mapping for the MCP server.
-         */
-        contentTypeMapping?: Record<string, string>;
-        /**
-         * Version of the MCP server.
-         */
-        version?: `${number}.${number}.${number}`;
-    };
-    /**
-     * OpenAPI documentation options.
-     * Can be `false` to disable, or an object to configure.
-     */
-    openapi?: false | {
-        /**
-         * Path to serve the OpenAPI docs (e.g., '/openapi').
-         */
-        path?: `/${string}`;
-        /**
-         * Title for the OpenAPI documentation.
-         */
-        title?: string;
-        /**
-         * Description for the OpenAPI documentation.
-         */
-        description?: string;
-        /**
-         * Contact information for the API.
-         */
-        contact?: {
-            /**
-             * Contact name.
-             */
-            name?: string;
-            /**
-             * Contact email.
-             */
-            email?: string;
-        };
-        /**
-         * Whether to enable discrete versioning for OpenAPI docs.
-         */
-        discreteVersions?: boolean;
-    };
-    /**
-     * CORS configuration options.
-     */
-    cors?: CorsOptions;
+type SdkResponse<SV extends AnySchemaValidator, ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, unknown> | unknown> = ({
+    [K in keyof Omit<ForklaunchResErrors, keyof ResBodyMap>]: {
+        code: K;
+        contentType: 'text/plain';
+        response: ForklaunchResErrors[K];
+    };
+} & {
+    [K in keyof ResBodyMap]: {
+        code: K;
+        contentType: ExtractContentType<SV, ResBodyMap[K]>;
+        response: ExtractResponseBody<SV, ResBodyMap[K]>;
+    } & (unknown extends ResHeaders ? unknown : {
+        headers: ResHeaders;
+    });
+})[keyof (Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)];
+/**
+ * Represents the default error types for responses.
+ */
+type ForklaunchResErrors<BadRequest = string, Unauthorized = string, NotFound = string, Forbidden = string, InternalServerErrorType = string> = {
+    400: BadRequest;
+    401: Unauthorized;
+    404: NotFound;
+    403: Forbidden;
+    500: InternalServerErrorType;
+};
+/**
+ * Represents the default header types for responses.
+ */
+type ForklaunchResHeaders = {
+    'x-correlation-id': string;
+};
+/**
+ * Represents the default error types for responses.
+ */
+type ErrorContainer<Code extends number> = {
+    /** The error code */
+    code: Code;
+    /** The error message */
+    error: string;
+};
+/**
+ * Represents a parsed response shape.
+ */
+type ResponseShape<Params, Headers, Query, Body> = {
+    params: Params;
+    headers: Headers;
+    query: Query;
+    body: Body;
 };
+/**
+ * Represents a path match.
+ */
+type PathMatch<SuppliedPath extends `/${string}`, ActualPath extends `/${string}`> = ActualPath extends SuppliedPath ? SuppliedPath extends ActualPath ? SuppliedPath : never : never;
 
 /**
- * Interface representing the context of a request.
+ * Dictionary type for URL parameters.
  */
-interface RequestContext {
-    /** Correlation ID for tracking requests */
-    correlationId: string;
-    /** Optional idempotency key for ensuring idempotent requests */
-    idempotencyKey?: string;
-    /** Active OpenTelemetry Span */
-    span?: Span;
-}
-interface ForklaunchBaseRequest<P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>> {
-    /** Request parameters */
-    params: P;
-    /** Request headers */
-    headers: ReqHeaders;
-    /** Request body */
-    body: ReqBody;
-    /** Request query */
-    query: ReqQuery;
-    /** Method */
-    method: 'GET' | 'POST' | 'PUT' | 'PATCH' | 'DELETE' | 'OPTIONS' | 'HEAD' | 'CONNECT' | 'TRACE';
-    /** Request path */
-    path: string;
-    /** Original path */
-    originalPath: string;
-    /** OpenTelemetry Collector */
-    openTelemetryCollector?: OpenTelemetryCollector<MetricsDefinition>;
-}
+type ParamsDictionary = {
+    [key: string]: string;
+};
 /**
- * Interface representing a Forklaunch request.
+ * Type representing an object with only string keys.
  *
  * @template SV - A type that extends AnySchemaValidator.
- * @template P - A type for request parameters, defaulting to ParamsDictionary.
- * @template ReqBody - A type for the request body, defaulting to unknown.
- * @template ReqQuery - A type for the request query, defaulting to ParsedQs.
- * @template Headers - A type for the request headers, defaulting to IncomingHttpHeaders.
- */
-interface ForklaunchRequest<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, unknown>, Version extends string, SessionSchema extends Record<string, unknown>> {
-    /** Context of the request */
-    context: Prettify<RequestContext>;
-    /** API Version of the request */
-    version: Version;
-    /** Request parameters */
-    params: P;
-    /** Request headers */
-    headers: ReqHeaders;
-    /** Request body */
-    body: ReqBody;
-    /** Request query */
-    query: ReqQuery;
-    /** Contract details for the request */
-    contractDetails: PathParamHttpContractDetails<SV> | HttpContractDetails<SV>;
-    /** Schema validator */
-    schemaValidator: SV;
-    /** Method */
-    method: 'GET' | 'POST' | 'PUT' | 'PATCH' | 'DELETE' | 'OPTIONS' | 'HEAD' | 'CONNECT' | 'TRACE';
-    /** Request path */
-    path: string;
-    /** Request schema, compiled */
-    requestSchema: unknown | Record<string, unknown>;
-    /** Original path */
-    originalPath: string;
-    /** OpenTelemetry Collector */
-    openTelemetryCollector?: OpenTelemetryCollector<MetricsDefinition>;
-    /** Session */
-    session: JWTPayload & SessionSchema;
-    /** Parsed versions */
-    _parsedVersions: string[] | number;
-    /** Raw body before schema validation (for HMAC verification) */
-    _rawBody?: unknown;
-    /** Global options */
-    _globalOptions: () => ExpressLikeRouterOptions<SV, SessionSchema> | undefined;
-}
-/**
- * Represents the types of data that can be sent in a response.
  */
-type ForklaunchSendableData = Record<string, unknown> | string | Buffer | ArrayBuffer | NodeJS.ReadableStream | null | undefined;
+type StringOnlyObject<SV extends AnySchemaValidator> = Omit<UnboxedObjectSchema<SV>, number | symbol>;
 /**
- * Interface representing a Forklaunch response status.
- * @template ResBody - A type for the response body.
+ * Type representing an object with only number keys.
+ *
+ * @template SV - A type that extends AnySchemaValidator.
  */
-interface ForklaunchStatusResponse<ResBody> {
-    /**
-     * Sends the response.
-     * @param {ResBodyMap} [body] - The response body.
-     * @param {boolean} [close_connection] - Whether to close the connection.
-     * @returns {T} - The sent response.
-     */
-    send: {
-        (body?: ResBody extends AsyncGenerator<unknown> ? never : ResBody extends Blob ? Blob | File | Buffer | ArrayBuffer | NodeJS.ReadableStream : ResBody | null, close_connection?: boolean): boolean;
-        <U>(body?: ResBody extends AsyncGenerator<unknown> ? never : ResBody extends Blob ? Blob | File | Buffer | ArrayBuffer | NodeJS.ReadableStream : ResBody | null, close_connection?: boolean): U;
-    };
-    /**
-     * Sends a JSON response.
-     * @param {ResBodyMap} [body] - The response body.
-     * @returns {boolean|T} - The JSON response.
-     */
-    json: {
-        (body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): boolean;
-        <U>(body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): U;
-    };
-    /**
-     * Sends a JSONP response.
-     * @param {ResBodyMap} [body] - The response body.
-     * @returns {boolean|T} - The JSONP response.
-     */
-    jsonp: {
-        (body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): boolean;
-        <U>(body: ResBody extends string | AsyncGenerator<unknown> ? never : ResBody | null): U;
-    };
-    /**
-     * Sends a Server-Sent Event (SSE) response.
-     * @param {ResBodyMap} [body] - The response body.
-     * @param {number} interval - The interval between events.
-     */
-    sseEmitter: (generator: () => AsyncGenerator<ResBody extends AsyncGenerator<infer T> ? T : never, void, unknown>) => void;
-}
-type ToNumber<T extends string | number | symbol> = T extends number ? T : T extends `${infer N extends number}` ? N : never;
+type NumberOnlyObject<SV extends AnySchemaValidator> = Omit<UnboxedObjectSchema<SV>, string | symbol>;
 /**
- * Interface representing a Forklaunch response.
+ * Type representing the body object in a request.
  *
- * @template ResBodyMap - A type for the response body, defaulting to common status code responses.
- * @template StatusCode - A type for the status code, defaulting to number.
+ * @template SV - A type that extends AnySchemaValidator.
  */
-interface ForklaunchResponse<BaseResponse, ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, unknown>, LocalsObj extends Record<string, unknown>, Version extends string> {
-    /** Data of the response body */
-    bodyData: unknown;
-    /** Status code of the response */
-    statusCode: number;
-    /** Whether the response is finished */
-    headersSent: boolean;
-    /**
-     * Gets the headers of the response.
-     * @returns {Omit<ResHeaders, keyof ForklaunchResHeaders> & ForklaunchResHeaders} - The headers of the response.
-     */
-    getHeaders: () => Omit<ResHeaders, keyof ForklaunchResHeaders> & ForklaunchResHeaders;
-    /**
-     * Gets a header for the response.
-     * @param {string} key - The header key.
-     * @returns {string | string[] | undefined} The header value.
-     */
-    getHeader: (key: string) => string | string[] | undefined;
-    /**
-     * Sets a header for the response.
-     * @param {string} key - The header key.
-     * @param {string} value - The header value.
-     */
-    setHeader: {
-        <K extends keyof (ResHeaders & ForklaunchResHeaders)>(key: K, value: K extends keyof ForklaunchResHeaders ? ForklaunchResHeaders[K] : ResHeaders[K]): void;
-        <K extends keyof (ResHeaders & ForklaunchResHeaders)>(key: K, value: K extends keyof ForklaunchResHeaders ? ForklaunchResHeaders[K] : ResHeaders[K]): BaseResponse;
-    };
-    /**
-     * Adds an event listener to the response.
-     * @param {string} event - The event to listen for.
-     * @param {Function} listener - The listener function.
-     */
-    on(event: 'close', listener: () => void): BaseResponse & this;
-    on(event: 'drain', listener: () => void): BaseResponse & this;
-    on(event: 'error', listener: (err: Error) => void): BaseResponse & this;
-    on(event: 'finish', listener: () => void): BaseResponse & this;
-    on(event: 'pipe', listener: (src: Readable) => void): BaseResponse & this;
-    on(event: 'unpipe', listener: (src: Readable) => void): BaseResponse & this;
-    on(event: string | symbol, listener: (...args: unknown[]) => void): BaseResponse & this;
-    /**
-     * Sets the status of the response.
-     * @param {U} code - The status code.
-     * @param {string} [message] - Optional message.
-     * @returns {ForklaunchResponse<(ResBodyMap)[U], ResHeaders, U, LocalsObj>} - The response with the given status.
-     */
-    status: {
-        <U extends ToNumber<keyof (ResBodyMap & ForklaunchResErrors)>>(code: U): Omit<BaseResponse, keyof ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>> & ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>;
-        <U extends ToNumber<keyof (ResBodyMap & ForklaunchResErrors)>>(code: U, message?: string): Omit<BaseResponse, keyof ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>> & ForklaunchStatusResponse<(Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)[U]>;
-    };
-    /**
-     * Ends the response.
-     * @param {string} [data] - Optional data to send.
-     */
-    end: {
-        (data?: string): void;
-        (cb?: (() => void) | undefined): BaseResponse;
-    };
-    /**
-     * Sets the content type of the response.
-     * @param {string} type - The content type.
-     */
-    type: {
-        (type: string): void;
-        (type: string): BaseResponse;
-    };
-    /** Local variables */
-    locals: LocalsObj;
-    /** Cors */
-    cors: boolean;
-    /** Response schema, compiled */
-    responseSchemas: ResponseCompiledSchema | Record<string, ResponseCompiledSchema>;
-    /** Whether the metric has been recorded */
-    metricRecorded: boolean;
-    /** Whether the response has been sent */
-    sent: boolean;
-    /** Versioned responses */
-    version: Version;
-}
+type BodyObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
+/**
+ * Type representing the parameters object in a request.
+ *
+ * @template SV - A type that extends AnySchemaValidator.
+ */
+type ParamsObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
 /**
- * Type representing the next function in a middleware.
- * @param {unknown} [err] - Optional error parameter.
+ * Type representing the query object in a request.
+ *
+ * @template SV - A type that extends AnySchemaValidator.
  */
-type ForklaunchNextFunction = (err?: unknown) => void;
-type VersionedRequests = Record<string, {
-    requestHeaders?: Record<string, unknown>;
-    body?: Record<string, unknown>;
-    query?: Record<string, unknown>;
-}>;
-type ResolvedForklaunchRequestBase<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, unknown>, Version extends string, SessionSchema extends Record<string, unknown>, BaseRequest> = unknown extends BaseRequest ? ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, Version, SessionSchema> : Omit<BaseRequest, keyof ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, Version, SessionSchema>> & ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, Version, SessionSchema>;
+type QueryObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
 /**
- * Type representing the resolved forklaunch request from a base request type.
+ * Type representing the headers object in a request.
+ *
  * @template SV - A type that extends AnySchemaValidator.
- * @template P - A type for request parameters, defaulting to ParamsDictionary.
- * @template ReqBody - A type for the request body, defaulting to Record<string, unknown>.
- * @template ReqQuery - A type for the request query, defaulting to ParsedQs.
- * @template ReqHeaders - A type for the request headers, defaulting to Record<string, unknown>.
- * @template BaseRequest - A type for the base request.
  */
-type ResolvedForklaunchRequest<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, string>, VersionedReqs extends VersionedRequests, SessionSchema extends Record<string, unknown>, BaseRequest> = VersionedRequests extends VersionedReqs ? ResolvedForklaunchRequestBase<SV, P, ReqBody, ReqQuery, ReqHeaders, never, SessionSchema, BaseRequest> : {
-    [K in keyof VersionedReqs]: ResolvedForklaunchRequestBase<SV, P, VersionedReqs[K]['body'] extends Record<string, unknown> ? VersionedReqs[K]['body'] : Record<string, unknown>, VersionedReqs[K]['query'] extends Record<string, unknown> ? VersionedReqs[K]['query'] : ParsedQs, VersionedReqs[K]['requestHeaders'] extends Record<string, unknown> ? VersionedReqs[K]['requestHeaders'] : Record<string, string>, K extends string ? K : never, SessionSchema, BaseRequest>;
-}[keyof VersionedReqs];
-type ResolvedForklaunchAuthRequest<P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>, BaseRequest> = unknown extends BaseRequest ? ForklaunchBaseRequest<P, ReqBody, ReqQuery, ReqHeaders> : {
-    [key in keyof BaseRequest]: key extends keyof ForklaunchBaseRequest<P, ReqBody, ReqQuery, ReqHeaders> ? ForklaunchBaseRequest<P, ReqBody, ReqQuery, ReqHeaders>[key] : key extends keyof BaseRequest ? BaseRequest[key] : never;
+type HeadersObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
+type RawTypedResponseBody<SV extends AnySchemaValidator> = TextBody<SV> | JsonBody<SV> | FileBody<SV> | ServerSentEventBody<SV> | UnknownResponseBody<SV>;
+type ExclusiveResponseBodyBase<SV extends AnySchemaValidator> = {
+    [K in keyof UnionToIntersection<RawTypedResponseBody<SV>>]?: undefined;
 };
-type VersionedResponses = Record<string, {
-    responseHeaders?: Record<string, unknown>;
-    responses: Record<number, unknown>;
-}>;
-type ResolvedForklaunchResponseBase<ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, unknown>, LocalsObj extends Record<string, unknown>, Version extends string, BaseResponse> = unknown extends BaseResponse ? ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj, Version> : (string extends Version ? unknown : {
-    version?: Version;
-}) & {
-    [K in keyof BaseResponse | keyof ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj, Version>]: K extends keyof ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj, Version> ? ForklaunchResponse<BaseResponse, ResBodyMap, ResHeaders, LocalsObj, Version>[K] : K extends keyof BaseResponse ? BaseResponse[K] : never;
+type ExclusiveSchemaCatchall<SV extends AnySchemaValidator> = {
+    [K in keyof SV['_SchemaCatchall'] as string extends K ? never : number extends K ? never : symbol extends K ? never : K]?: undefined;
 };
-type ResolvedForklaunchResponse<ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>, VersionedResps extends VersionedResponses, BaseResponse> = VersionedResponses extends VersionedResps ? ResolvedForklaunchResponseBase<ResBodyMap, ResHeaders, LocalsObj, never, BaseResponse> : {
-    [K in keyof VersionedResps]: ResolvedForklaunchResponseBase<VersionedResps[K]['responses'], VersionedResps[K]['responseHeaders'] extends Record<string, unknown> ? VersionedResps[K]['responseHeaders'] : Record<string, string>, LocalsObj, K extends string ? K : never, BaseResponse>;
-}[keyof VersionedResps];
+type TypedResponseBody<SV extends AnySchemaValidator> = {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof TextBody<SV> ? TextBody<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof JsonBody<SV> ? JsonBody<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof FileBody<SV> ? FileBody<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof ServerSentEventBody<SV> ? ServerSentEventBody<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveResponseBodyBase<SV>)]?: K extends keyof UnknownResponseBody<SV> ? UnknownResponseBody<SV>[K] : undefined;
+};
+type ResponseBody<SV extends AnySchemaValidator> = TypedResponseBody<SV> | (ExclusiveResponseBodyBase<SV> & SV['_ValidSchemaObject']) | (ExclusiveResponseBodyBase<SV> & UnboxedObjectSchema<SV>) | (ExclusiveResponseBodyBase<SV> & SV['string']) | (ExclusiveResponseBodyBase<SV> & SV['number']) | (ExclusiveResponseBodyBase<SV> & SV['boolean']) | (ExclusiveResponseBodyBase<SV> & SV['date']) | (ExclusiveResponseBodyBase<SV> & SV['array']) | (ExclusiveResponseBodyBase<SV> & SV['file']);
 /**
- * Represents a middleware handler with schema validation.
+ * Type representing the responses object in a request.
  *
  * @template SV - A type that extends AnySchemaValidator.
- * @template P - A type for request parameters, defaulting to ParamsDictionary.
- * @template ResBodyMap - A type for the response body, defaulting to unknown.
- * @template ReqBody - A type for the request body, defaulting to unknown.
- * @template ReqQuery - A type for the request query, defaulting to ParsedQs.
- * @template LocalsObj - A type for local variables, defaulting to an empty object.
- * @template StatusCode - A type for the status code, defaulting to number.
  */
-interface ExpressLikeHandler<SV extends AnySchemaValidator, P extends ParamsDictionary, ResBodyMap extends Record<number, unknown>, ReqBody extends Record<string, unknown>, ReqQuery extends ParsedQs, ReqHeaders extends Record<string, string>, ResHeaders extends Record<string, string>, LocalsObj extends Record<string, unknown>, VersionedReqs extends VersionedRequests, VersionedResps extends VersionedResponses, SessionSchema extends Record<string, unknown>, BaseRequest, BaseResponse, NextFunction> {
-    (req: ResolvedForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionSchema, BaseRequest>, res: ResolvedForklaunchResponse<ResBodyMap, ResHeaders, LocalsObj, VersionedResps, BaseResponse>, next: NextFunction): unknown;
-}
-type MapParamsSchema<SV extends AnySchemaValidator, P extends ParamsObject<SV>> = MapSchema<SV, P> extends infer Params ? unknown extends Params ? ParamsDictionary : Params : ParamsDictionary;
-type ExtractContentType<SV extends AnySchemaValidator, T extends ResponseBody<SV> | unknown> = T extends {
-    contentType: string;
-} ? T['contentType'] : T extends JsonBody<SV> ? 'application/json' : T extends TextBody<SV> ? 'text/plain' : T extends FileBody<SV> ? 'application/octet-stream' : T extends ServerSentEventBody<SV> ? 'text/event-stream' : T extends UnknownResponseBody<SV> ? 'application/json' : T extends SV['file'] ? 'application/octet-stream' : 'text/plain';
-type ExtractResponseBody<SV extends AnySchemaValidator, T extends ResponseBody<SV> | unknown> = T extends JsonBody<SV> ? MapSchema<SV, T['json']> : T extends TextBody<SV> ? MapSchema<SV, T['text']> : T extends FileBody<SV> ? File | Blob : T extends ServerSentEventBody<SV> ? AsyncGenerator<MapSchema<SV, T['event']>> : T extends UnknownResponseBody<SV> ? MapSchema<SV, T['schema']> : MapSchema<SV, T>;
-type MapResBodyMapSchema<SV extends AnySchemaValidator, ResBodyMap extends ResponsesObject<SV>> = unknown extends ResBodyMap ? ForklaunchResErrors : {
-    [K in keyof ResBodyMap]: ExtractResponseBody<SV, ResBodyMap[K]>;
+type ResponsesObject<SV extends AnySchemaValidator> = {
+    [K: number]: ResponseBody<SV>;
+};
+type JsonBody<SV extends AnySchemaValidator> = {
+    contentType?: 'application/json' | string;
+    json: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
 };
-type ExtractBody<SV extends AnySchemaValidator, T extends Body<SV>> = T extends JsonBody<SV> ? T['json'] : T extends TextBody<SV> ? T['text'] : T extends FileBody<SV> ? T['file'] : T extends MultipartForm<SV> ? T['multipartForm'] : T extends UrlEncodedForm<SV> ? T['urlEncodedForm'] : T extends UnknownBody<SV> ? T['schema'] : T;
-type MapReqBodySchema<SV extends AnySchemaValidator, ReqBody extends Body<SV>> = MapSchema<SV, ExtractBody<SV, ReqBody>> extends infer Body ? unknown extends Body ? Record<string, unknown> : Body : Record<string, unknown>;
-type MapReqQuerySchema<SV extends AnySchemaValidator, ReqQuery extends QueryObject<SV>> = MapSchema<SV, ReqQuery> extends infer Query ? unknown extends Query ? ParsedQs : Query : ParsedQs;
-type MapReqHeadersSchema<SV extends AnySchemaValidator, ReqHeaders extends HeadersObject<SV>> = MapSchema<SV, ReqHeaders> extends infer RequestHeaders ? unknown extends RequestHeaders ? Record<string, string> : RequestHeaders : Record<string, string>;
-type MapResHeadersSchema<SV extends AnySchemaValidator, ResHeaders extends HeadersObject<SV>> = MapSchema<SV, ResHeaders> extends infer ResponseHeaders ? unknown extends ResponseHeaders ? ForklaunchResHeaders : ResponseHeaders : ForklaunchResHeaders;
-type MapVersionedReqsSchema<SV extends AnySchemaValidator, VersionedReqs extends VersionSchema<SV, Method>> = {
-    [K in keyof VersionedReqs]: (VersionedReqs[K]['requestHeaders'] extends HeadersObject<SV> ? {
-        requestHeaders: MapReqHeadersSchema<SV, VersionedReqs[K]['requestHeaders']>;
-    } : unknown) & (VersionedReqs[K]['body'] extends Body<SV> ? {
-        body: MapReqBodySchema<SV, VersionedReqs[K]['body']>;
-    } : unknown) & (VersionedReqs[K]['query'] extends QueryObject<SV> ? {
-        query: MapReqQuerySchema<SV, VersionedReqs[K]['query']>;
-    } : unknown);
-} extends infer MappedVersionedReqs ? MappedVersionedReqs extends VersionedRequests ? MappedVersionedReqs : VersionedRequests : VersionedRequests;
-type MapVersionedRespsSchema<SV extends AnySchemaValidator, VersionedResps extends VersionSchema<SV, Method>> = {
-    [K in keyof VersionedResps]: (VersionedResps[K]['responseHeaders'] extends HeadersObject<SV> ? {
-        responseHeaders: MapResHeadersSchema<SV, VersionedResps[K]['responseHeaders']>;
-    } : unknown) & (VersionedResps[K]['responses'] extends ResponsesObject<SV> ? {
-        responses: MapResBodyMapSchema<SV, VersionedResps[K]['responses']>;
-    } : unknown);
-} extends infer MappedVersionedResps ? MappedVersionedResps extends VersionedResponses ? MappedVersionedResps : VersionedResponses : VersionedResponses;
-type MapSessionSchema<SV extends AnySchemaValidator, SessionSchema extends SessionObject<SV>> = SessionSchema extends infer UnmappedSessionSchema ? UnmappedSessionSchema extends SessionObject<SV> ? MapSchema<SV, UnmappedSessionSchema> : never : never;
 /**
- * Represents a schema middleware handler with typed parameters, responses, body, and query.
+ * Type representing the body in a request.
  *
  * @template SV - A type that extends AnySchemaValidator.
- * @template P - A type for parameter schemas, defaulting to ParamsObject.
- * @template ResBodyMap - A type for response schemas, defaulting to ResponsesObject.
- * @template ReqBody - A type for the request body, defaulting to Body.
- * @template ReqQuery - A type for the request query, defaulting to QueryObject.
- * @template LocalsObj - A type for local variables, defaulting to an empty object.
  */
-type ExpressLikeSchemaHandler<SV extends AnySchemaValidator, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, LocalsObj extends Record<string, unknown>, VersionedApi extends VersionSchema<SV, Method>, SessionSchema extends Record<string, unknown>, BaseRequest, BaseResponse, NextFunction> = ExpressLikeHandler<SV, MapParamsSchema<SV, P>, MapResBodyMapSchema<SV, ResBodyMap>, MapReqBodySchema<SV, ReqBody>, MapReqQuerySchema<SV, ReqQuery>, MapReqHeadersSchema<SV, ReqHeaders>, MapResHeadersSchema<SV, ResHeaders>, LocalsObj, MapVersionedReqsSchema<SV, VersionedApi>, MapVersionedRespsSchema<SV, VersionedApi>, MapSessionSchema<SV, SessionSchema>, BaseRequest, BaseResponse, NextFunction>;
+type TextBody<SV extends AnySchemaValidator> = {
+    contentType?: 'application/xml' | 'text/plain' | 'text/html' | 'text/css' | 'text/javascript' | 'text/csv' | 'text/markdown' | 'text/xml' | 'text/rtf' | 'text/x-yaml' | 'text/yaml' | string;
+    text: SV['string'];
+};
+type FileBody<SV extends AnySchemaValidator> = {
+    contentType?: 'application/octet-stream' | 'application/pdf' | 'application/vnd.ms-excel' | 'application/vnd.openxmlformats-officedocument.spreadsheetml.sheet' | 'application/msword' | 'application/vnd.openxmlformats-officedocument.wordprocessingml.document' | 'application/zip' | 'image/jpeg' | 'image/png' | 'image/gif' | 'audio/mpeg' | 'audio/wav' | 'video/mp4' | string;
+    file: SV['file'];
+};
 /**
- * Represents a function that maps an authenticated request with schema validation
- * to a set of authorization strings, with request properties automatically inferred from the schema.
- *
- * @template SV - The type representing the schema validator.
- * @template P - The type representing request parameters inferred from the schema.
- * @template ReqBody - The type representing the request body inferred from the schema.
- * @template ReqQuery - The type representing the request query parameters inferred from the schema.
- * @template ReqHeaders - The type representing the request headers inferred from the schema.
+ * Type representing the body in a request.
  *
- * @param {ForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders>} req - The request object with schema validation.
- * @returns {Set<string> | Promise<Set<string>>} - A set of authorization strings or a promise that resolves to it.
+ * @template SV - A type that extends AnySchemaValidator.
  */
-type ExpressLikeSchemaAuthMapper<SV extends AnySchemaValidator, P extends ParamsObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, VersionedReqs extends VersionSchema<SV, Method>, SessionSchema extends SessionObject<SV>, BaseRequest> = ExpressLikeAuthMapper<SV, P extends infer UnmappedParams ? UnmappedParams extends ParamsObject<SV> ? MapParamsSchema<SV, UnmappedParams> : never : never, ReqBody extends infer UnmappedReqBody ? UnmappedReqBody extends Body<SV> ? MapReqBodySchema<SV, UnmappedReqBody> : never : never, ReqQuery extends infer UnmappedReqQuery ? UnmappedReqQuery extends QueryObject<SV> ? MapReqQuerySchema<SV, UnmappedReqQuery> : never : never, ReqHeaders extends infer UnmappedReqHeaders ? UnmappedReqHeaders extends HeadersObject<SV> ? MapReqHeadersSchema<SV, UnmappedReqHeaders> : never : never, VersionedReqs extends infer UnmappedVersionedReqs ? UnmappedVersionedReqs extends VersionSchema<SV, Method> ? MapVersionedReqsSchema<SV, UnmappedVersionedReqs> : never : never, SessionSchema extends infer UnmappedSessionSchema ? UnmappedSessionSchema extends Record<string, unknown> ? MapSessionSchema<SV, UnmappedSessionSchema> : never : never, BaseRequest>;
-type ExpressLikeAuthMapper<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, string>, VersionedReqs extends VersionedRequests, SessionSchema extends Record<string, unknown>, BaseRequest> = (payload: JWTPayload & SessionSchema, req?: ResolvedForklaunchRequest<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionSchema, BaseRequest>) => Set<string> | Promise<Set<string>>;
-type TokenPrefix<Auth extends AuthMethodsBase> = undefined extends Auth['tokenPrefix'] ? Auth extends BasicAuthMethods ? 'Basic ' : Auth extends HmacMethods ? 'HMAC ' : 'Bearer ' : `${Auth['tokenPrefix']} `;
-type AuthHeaders<Auth extends AuthMethodsBase> = undefined extends Auth['headerName'] ? {
-    authorization: Auth extends HmacMethods ? `${TokenPrefix<Auth>}keyId=${string} ts=${string} nonce=${string} signature=${string}` : `${TokenPrefix<Auth>}${string}`;
-} : {
-    [K in NonNullable<Auth['headerName']>]: `${TokenPrefix<Auth>}${string}`;
+type MultipartForm<SV extends AnySchemaValidator> = {
+    contentType?: 'multipart/form-data' | 'multipart/mixed' | 'multipart/alternative' | 'multipart/related' | 'multipart/signed' | 'multipart/encrypted' | string;
+    multipartForm: BodyObject<SV>;
 };
-type AuthCollapse<Auth extends AuthMethodsBase> = undefined extends Auth['jwt'] ? undefined extends Auth['basic'] ? undefined extends Auth['hmac'] ? true : false : false : false;
-type LiveTypeFunctionRequestInit<SV extends AnySchemaValidator, P extends ParamsObject<SV>, ReqBody extends Body<SV> | undefined, ReqQuery extends QueryObject<SV> | undefined, ReqHeaders extends HeadersObject<SV> | undefined, Auth extends AuthMethodsBase> = MakePropertyOptionalIfChildrenOptional<(Body<SV> extends ReqBody ? unknown : {
-    body: MapSchema<SV, ReqBody>;
-}) & (QueryObject<SV> extends ReqQuery ? unknown : {
-    query: MapSchema<SV, ReqQuery>;
-}) & (HeadersObject<SV> extends ReqHeaders ? true extends AuthCollapse<Auth> ? unknown : {
-    headers: AuthHeaders<Auth>;
-} : true extends AuthCollapse<Auth> ? {
-    headers: MapSchema<SV, ReqHeaders>;
-} : {
-    headers: MapSchema<SV, ReqHeaders> & AuthHeaders<Auth>;
-}) & (ParamsObject<SV> extends P ? unknown : {
-    params: MapSchema<SV, P>;
-})>;
 /**
- * Represents a live type function for the SDK.
+ * Type representing the body in a request.
  *
  * @template SV - A type that extends AnySchemaValidator.
- * @template Path - A type for the route path.
- * @template P - A type for request parameters.
- * @template ResBodyMap - A type for response schemas.
- * @template ReqBody - A type for the request body.
- * @template ReqQuery - A type for the request query.
- * @template ReqHeaders - A type for the request headers.
- * @template ResHeaders - A type for the response headers.
- *
  */
-type LiveTypeFunction<SV extends AnySchemaValidator, Route extends string, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, ContractMethod extends Method, VersionedApi extends VersionSchema<SV, ContractMethod>, Auth extends AuthMethodsBase> = string extends keyof VersionedApi ? (route: SanitizePathSlashes<Route>, ...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & {
-    method: Uppercase<ContractMethod>;
-} & LiveTypeFunctionRequestInit<SV, P, ReqBody, ReqQuery, ReqHeaders, Auth>> extends infer ReqInit ? ReqInit extends {
-    body: unknown;
+type UrlEncodedForm<SV extends AnySchemaValidator> = {
+    contentType?: 'application/x-www-form-urlencoded' | 'application/x-url-encoded' | 'application/x-www-url-encoded' | 'application/x-urlencode' | string;
+    urlEncodedForm: BodyObject<SV>;
+};
+type ServerSentEventBody<SV extends AnySchemaValidator> = {
+    contentType?: 'text/event-stream' | string;
+    event: {
+        id: SV['string'];
+        data: SV['string'] | BodyObject<SV>;
+    };
+};
+type UnknownBody<SV extends AnySchemaValidator> = {
+    contentType?: string;
+    schema: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
+};
+type UnknownResponseBody<SV extends AnySchemaValidator> = {
+    contentType?: string;
+    schema: BodyObject<SV> | SV['_ValidSchemaObject'] | SV['_SchemaCatchall'];
+};
+type ExclusiveRequestBodyBase<SV extends AnySchemaValidator> = {
+    [K in keyof UnionToIntersection<TypedBody<SV>>]?: undefined;
+};
+type TypedRequestBody<SV extends AnySchemaValidator> = {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof TextBody<SV> ? TextBody<SV>[K] : undefined;
 } | {
-    params: unknown;
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof JsonBody<SV> ? JsonBody<SV>[K] : undefined;
 } | {
-    query: unknown;
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof FileBody<SV> ? FileBody<SV>[K] : undefined;
 } | {
-    headers: unknown;
-} ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
-    [K in keyof VersionedApi]: (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, VersionedApi[K]['body'] extends Body<SV> ? VersionedApi[K]['body'] : Body<SV>, VersionedApi[K]['query'] extends QueryObject<SV> ? VersionedApi[K]['query'] : QueryObject<SV>, VersionedApi[K]['requestHeaders'] extends HeadersObject<SV> ? VersionedApi[K]['requestHeaders'] : HeadersObject<SV>, Auth>> & {
-        version: K;
-    } extends infer ReqInit ? ReqInit extends {
-        body: unknown;
-    } | {
-        params: unknown;
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof MultipartForm<SV> ? MultipartForm<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof UrlEncodedForm<SV> ? UrlEncodedForm<SV>[K] : undefined;
+} | {
+    [K in keyof (ExclusiveSchemaCatchall<SV> & ExclusiveRequestBodyBase<SV>)]?: K extends keyof UnknownBody<SV> ? UnknownBody<SV>[K] : undefined;
+};
+type TypedBody<SV extends AnySchemaValidator> = JsonBody<SV> | TextBody<SV> | FileBody<SV> | MultipartForm<SV> | UrlEncodedForm<SV> | UnknownBody<SV>;
+type Body<SV extends AnySchemaValidator> = TypedRequestBody<SV> | (ExclusiveRequestBodyBase<SV> & SV['_ValidSchemaObject']) | (ExclusiveRequestBodyBase<SV> & UnboxedObjectSchema<SV>) | (ExclusiveRequestBodyBase<SV> & SV['string']) | (ExclusiveRequestBodyBase<SV> & SV['number']) | (ExclusiveRequestBodyBase<SV> & SV['boolean']) | (ExclusiveRequestBodyBase<SV> & SV['date']) | (ExclusiveRequestBodyBase<SV> & SV['array']) | (ExclusiveRequestBodyBase<SV> & SV['file']) | (ExclusiveRequestBodyBase<SV> & SV['any']) | (ExclusiveRequestBodyBase<SV> & SV['unknown']) | (ExclusiveRequestBodyBase<SV> & SV['binary']) | (ExclusiveRequestBodyBase<SV> & (SV['type'] extends TypeSafeFunction ? ReturnType<SV['type']> : never));
+type SessionObject<SV extends AnySchemaValidator> = StringOnlyObject<SV>;
+type BasicAuthMethods = {
+    readonly basic: {
+        readonly login: (username: string, password: string) => boolean;
+    };
+    readonly jwt?: never;
+    readonly hmac?: never;
+};
+type JwtAuthMethods = {
+    jwt: {
+        readonly jwksPublicKey: JWK;
     } | {
-        query: unknown;
+        readonly jwksPublicKeyUrl: string;
     } | {
-        headers: unknown;
-    } ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
+        readonly signatureKey: string;
+    };
+    readonly basic?: never;
+    readonly hmac?: never;
+};
+type HmacMethods = {
+    readonly hmac: {
+        readonly secretKeys: Record<string, string>;
+    };
+    readonly sessionSchema?: never;
+    readonly basic?: never;
+    readonly jwt?: never;
+};
+type TokenOptions = {
+    readonly tokenPrefix?: string;
+    readonly headerName?: string;
+};
+type DecodeResource = (token: string) => JWTPayload | Promise<JWTPayload>;
+type AuthMethodsBase = TokenOptions & (HmacMethods | ({
+    readonly decodeResource?: DecodeResource;
+} & (PermissionSet | RoleSet) & (BasicAuthMethods | JwtAuthMethods)));
+type PermissionSet = {
+    readonly allowedPermissions: Set<string>;
+} | {
+    readonly forbiddenPermissions: Set<string>;
+};
+type RoleSet = {
+    readonly allowedRoles: Set<string>;
+} | {
+    readonly forbiddenRoles: Set<string>;
 };
 /**
- * Represents a live type function for the SDK.
- *
- * @template SV - A type that extends AnySchemaValidator.
- * @template P - A type for request parameters.
- * @template ResBodyMap - A type for response schemas.
- * @template ReqBody - A type for the request body.
- * @template ReqQuery - A type for the request query.
- * @template ReqHeaders - A type for the request headers.
- * @template ResHeaders - A type for the response headers.
+ * Route access level — determines authentication and authorization requirements.
  *
+ * - `'public'` — No authentication required. `auth` must not be provided.
+ * - `'authenticated'` — JWT or Basic auth required, any valid user. RBAC optional.
+ * - `'protected'` — JWT or Basic auth required. Must declare roles, permissions, or scope.
+ * - `'internal'` — HMAC auth required (inter-service communication).
  */
-type LiveSdkFunction<SV extends AnySchemaValidator, P extends ParamsObject<SV>, ResBodyMap extends ResponsesObject<SV>, ReqBody extends Body<SV>, ReqQuery extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method>, Auth extends AuthMethodsBase> = string extends keyof VersionedApi ? (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, ReqBody, ReqQuery, ReqHeaders, Auth>> extends infer ReqInit ? ReqInit extends {
-    body: unknown;
-} | {
-    params: unknown;
+type AccessLevel = 'public' | 'authenticated' | 'protected' | 'internal';
+/**
+ * Discriminated union that narrows the `auth` type based on the `access` level.
+ * - `public`: auth not allowed
+ * - `authenticated`: auth optional (JWT/Basic, RBAC not required)
+ * - `protected`: auth required, must include at least one RBAC declaration
+ * - `internal`: auth required, must be HMAC
+ */
+type AccessAuth<Auth> = {
+    readonly access: 'public';
+    readonly auth?: never;
 } | {
-    query: unknown;
+    readonly access: 'authenticated';
+    readonly auth?: Auth;
 } | {
-    headers: unknown;
-} ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends ResBodyMap ? Record<number, unknown> : ResBodyMap, ForklaunchResHeaders extends ResHeaders ? unknown : MapSchema<SV, ResHeaders>>>> : {
-    [K in keyof VersionedApi]: (...reqInit: Prettify<Omit<RequestInit, 'method' | 'body' | 'query' | 'headers' | 'params'> & LiveTypeFunctionRequestInit<SV, P, VersionedApi[K]['body'] extends Body<SV> ? VersionedApi[K]['body'] : Body<SV>, VersionedApi[K]['query'] extends QueryObject<SV> ? VersionedApi[K]['query'] : QueryObject<SV>, VersionedApi[K]['requestHeaders'] extends HeadersObject<SV> ? VersionedApi[K]['requestHeaders'] : HeadersObject<SV>, Auth>> extends infer ReqInit ? ReqInit extends {
-        body: unknown;
+    readonly access: 'protected';
+    readonly auth: Auth & ({
+        readonly allowedPermissions: Set<string>;
     } | {
-        params: unknown;
+        readonly forbiddenPermissions: Set<string>;
     } | {
-        query: unknown;
+        readonly allowedRoles: Set<string>;
     } | {
-        headers: unknown;
-    } ? [reqInit: Prettify<ReqInit>] : [reqInit?: Prettify<ReqInit>] : never) => Promise<Prettify<SdkResponse<SV, ResponsesObject<SV> extends VersionedApi[K]['responses'] ? Record<number, unknown> : VersionedApi[K]['responses'], ForklaunchResHeaders extends VersionedApi[K]['responseHeaders'] ? unknown : MapSchema<SV, VersionedApi[K]['responseHeaders']>>>>;
+        readonly forbiddenRoles: Set<string>;
+    } | {
+        readonly requiredScope: string;
+    });
+} | {
+    readonly access: 'internal';
+    readonly auth: Auth & HmacMethods;
 };
 /**
- * Represents a basic SDK Response object.
- *
- * @template ResBodyMap - A type for the response body.
- * @template ResHeaders - A type for the response headers.
+ * Type representing the authentication methods.
  */
-type SdkResponse<SV extends AnySchemaValidator, ResBodyMap extends Record<number, unknown>, ResHeaders extends Record<string, unknown> | unknown> = ({
-    [K in keyof Omit<ForklaunchResErrors, keyof ResBodyMap>]: {
-        code: K;
-        contentType: 'text/plain';
-        response: ForklaunchResErrors[K];
-    };
-} & {
-    [K in keyof ResBodyMap]: {
-        code: K;
-        contentType: ExtractContentType<SV, ResBodyMap[K]>;
-        response: ExtractResponseBody<SV, ResBodyMap[K]>;
-    } & (unknown extends ResHeaders ? unknown : {
-        headers: ResHeaders;
-    });
-})[keyof (Omit<ForklaunchResErrors, keyof ResBodyMap> & ResBodyMap)];
+type SchemaAuthMethods<SV extends AnySchemaValidator, ParamsSchema extends ParamsObject<SV>, ReqBody extends Body<SV>, QuerySchema extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method>, BaseRequest> = AuthMethodsBase & {
+    readonly sessionSchema?: SessionObject<SV>;
+    readonly requiredScope?: string;
+    readonly scopeHeirarchy?: string[];
+    readonly surfaceScopes?: ExpressLikeSchemaAuthMapper<SV, ParamsSchema, ReqBody, QuerySchema, ReqHeaders, VersionedApi, SessionObject<SV>, BaseRequest>;
+    readonly requiredFeatures?: string[];
+    readonly requireActiveSubscription?: boolean;
+} & ({
+    readonly surfacePermissions?: ExpressLikeSchemaAuthMapper<SV, ParamsSchema, ReqBody, QuerySchema, ReqHeaders, VersionedApi, SessionObject<SV>, BaseRequest>;
+} | {
+    readonly surfaceRoles?: ExpressLikeSchemaAuthMapper<SV, ParamsSchema, ReqBody, QuerySchema, ReqHeaders, VersionedApi, SessionObject<SV>, BaseRequest>;
+});
+type AuthMethods<SV extends AnySchemaValidator, P extends ParamsDictionary, ReqBody extends Record<string, unknown>, ReqQuery extends Record<string, unknown>, ReqHeaders extends Record<string, string>, VersionedReqs extends VersionedRequests, BaseRequest> = AuthMethodsBase & {
+    readonly sessionSchema?: SessionObject<SV>;
+    readonly requiredScope?: string;
+    readonly scopeHeirarchy?: string[];
+    readonly surfaceScopes?: ExpressLikeAuthMapper<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionObject<SV>, BaseRequest>;
+    readonly requiredFeatures?: string[];
+    readonly requireActiveSubscription?: boolean;
+} & (({
+    readonly surfacePermissions?: ExpressLikeAuthMapper<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionObject<SV>, BaseRequest>;
+} & PermissionSet) | ({
+    readonly surfaceRoles?: ExpressLikeAuthMapper<SV, P, ReqBody, ReqQuery, ReqHeaders, VersionedReqs, SessionObject<SV>, BaseRequest>;
+} & RoleSet));
 /**
- * Represents the default error types for responses.
+ * Type representing a mapped schema.
+ *s ParamsDictionary,
+//   ReqBody extends Record<string, unknown>,
+//
+ * @template SV - A type that extends AnySchemaValidator.
+ * @template T - A type that extends IdiomaticSchema or a valid schema object.
  */
-type ForklaunchResErrors<BadRequest = string, Unauthorized = string, NotFound = string, Forbidden = string, InternalServerErrorType = string> = {
-    400: BadRequest;
-    401: Unauthorized;
-    404: NotFound;
-    403: Forbidden;
-    500: InternalServerErrorType;
-};
+type MapSchema<SV extends AnySchemaValidator, T extends IdiomaticSchema<SV> | SV['_ValidSchemaObject']> = Schema<T, SV> extends infer U ? (T extends U ? unknown : U) : never;
 /**
- * Represents the default header types for responses.
+ * Type representing the parameters in a request.
  */
-type ForklaunchResHeaders = {
-    'x-correlation-id': string;
-};
+type ExtractParams<Path extends `/${string}`> = Path extends `${string}/:${infer Param}/${infer Rest}` ? Param | ExtractParams<`/${Rest}`> : Path extends `${string}/:${infer Param}` ? Param : never;
 /**
- * Represents the default error types for responses.
+ * Type representing the parameters in a request.
  */
-type ErrorContainer<Code extends number> = {
-    /** The error code */
-    code: Code;
-    /** The error message */
-    error: string;
+type ExtractedParamsObject<Path extends `/${string}`> = Record<ExtractParams<Path>, unknown>;
+/**
+ * Represents the path parameter methods.
+ */
+type PathParamMethod = 'get' | 'delete' | 'options' | 'head' | 'trace';
+/**
+ * Represents the body parameter methods.
+ */
+type HttpMethod = 'post' | 'patch' | 'put';
+/**
+ * Represents all supported typed methods.
+ */
+type Method = PathParamMethod | HttpMethod | 'middleware';
+/**
+ * Interface representing a compiled schema for a response.
+ */
+type ResponseCompiledSchema = {
+    headers?: unknown;
+    responses: Record<number, unknown>;
+};
+type BasePathParamHttpContractDetailsIO<SV extends AnySchemaValidator, BodySchema extends Body<SV> | undefined = Body<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, QuerySchema extends QueryObject<SV> | undefined = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> | undefined = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> | undefined = HeadersObject<SV>> = {
+    /** Optional body for the contract */
+    readonly body?: BodySchema;
+    /** Response schemas for the contract */
+    readonly responses: ResponseSchemas;
+    /** Optional request headers for the contract */
+    readonly requestHeaders?: ReqHeaders;
+    /** Optional response headers for the contract */
+    readonly responseHeaders?: ResHeaders;
+    /** Optional query schemas for the contract */
+    readonly query?: QuerySchema;
+};
+type VersionedBasePathParamHttpContractDetailsIO<SV extends AnySchemaValidator, VersionedApi extends VersionSchema<SV, PathParamMethod>> = {
+    readonly versions: VersionedApi;
 };
+type BasePathParamHttpContractDetails<SV extends AnySchemaValidator, Name extends string = string, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>> = {
+    /** Name of the contract */
+    readonly name: StringWithoutSlash<Name>;
+    /** Summary of the contract */
+    readonly summary: string;
+    /** Options for the contract */
+    readonly options?: {
+        /** Optional request validation for the contract */
+        readonly requestValidation?: 'error' | 'warning' | 'none';
+        /** Optional response validation for the contract */
+        readonly responseValidation?: 'error' | 'warning' | 'none';
+        /** Optional MCP details for the contract */
+        readonly mcp?: boolean;
+        /** Optional OpenAPI details for the contract */
+        readonly openapi?: boolean;
+    };
+} & (string | number | symbol extends ExtractedParamsObject<Path> ? {
+    /** Optional parameters for the contract */
+    readonly params?: ParamsSchema;
+} : {
+    /** Required parameters for the contract */
+    readonly params: {
+        [K in keyof ExtractedParamsObject<Path>]: ParamsSchema[K];
+    };
+});
 /**
- * Represents a parsed response shape.
+ * Interface representing HTTP contract details for path parameters.
+ *
+ * @template SV - A type that extends AnySchemaValidator.
+ * @template ParamsSchema - A type for parameter schemas, defaulting to ParamsObject.
+ * @template ResponseSchemas - A type for response schemas, defaulting to ResponsesObject.
+ * @template QuerySchema - A type for query schemas, defaulting to QueryObject.
  */
-type ResponseShape<Params, Headers, Query, Body> = {
-    params: Params;
-    headers: Headers;
-    query: Query;
-    body: Body;
+type PathParamHttpContractDetails<SV extends AnySchemaValidator, Name extends string = string, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, BodySchema extends Body<SV> = Body<SV>, QuerySchema extends QueryObject<SV> = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> = HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method> = VersionSchema<SV, PathParamMethod>, BaseRequest = unknown, Auth extends SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest> = SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest>> = BasePathParamHttpContractDetails<SV, Name, Path, ParamsSchema> & ((BasePathParamHttpContractDetailsIO<SV, never, ResponseSchemas, QuerySchema, ReqHeaders, ResHeaders> & {
+    readonly versions?: never;
+}) | (VersionedBasePathParamHttpContractDetailsIO<SV, VersionedApi> & {
+    readonly query?: never;
+    readonly requestHeaders?: never;
+    readonly responseHeaders?: never;
+    readonly responses?: never;
+})) & AccessAuth<Auth>;
+type VersionedHttpContractDetailsIO<SV extends AnySchemaValidator, VersionedApi extends VersionSchema<SV, HttpMethod>> = {
+    readonly versions: VersionedApi;
 };
 /**
- * Represents a path match.
+ * Interface representing HTTP contract details.
+ *
+ * @template SV - A type that extends AnySchemaValidator.
+ * @template ParamsSchema - A type for parameter schemas, defaulting to ParamsObject.
+ * @template ResponseSchemas - A type for response schemas, defaulting to ResponsesObject.
+ * @template BodySchema - A type for the body schema, defaulting to Body.
+ * @template QuerySchema - A type for query schemas, defaulting to QueryObject.
  */
-type PathMatch<SuppliedPath extends `/${string}`, ActualPath extends `/${string}`> = ActualPath extends SuppliedPath ? SuppliedPath extends ActualPath ? SuppliedPath : never : never;
+type HttpContractDetails<SV extends AnySchemaValidator, Name extends string = string, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, BodySchema extends Body<SV> = Body<SV>, QuerySchema extends QueryObject<SV> = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> = HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method> = VersionSchema<SV, HttpMethod>, BaseRequest = unknown, Auth extends SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest> = SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest>> = BasePathParamHttpContractDetails<SV, Name, Path, ParamsSchema> & ((BasePathParamHttpContractDetailsIO<SV, BodySchema, ResponseSchemas, QuerySchema, ReqHeaders, ResHeaders> & {
+    readonly versions?: never;
+}) | (VersionedHttpContractDetailsIO<SV, VersionedApi> & {
+    readonly query?: never;
+    readonly requestHeaders?: never;
+    readonly responseHeaders?: never;
+    readonly body?: never;
+    readonly responses?: never;
+})) & AccessAuth<Auth>;
+/**
+ * Interface representing HTTP contract details for middleware.
+ *
+ * @template SV - A type that extends AnySchemaValidator.
+ * @template ParamsSchema - A type for parameter schemas, defaulting to ParamsObject.
+ * @template ResponseSchemas - A type for response schemas, defaulting to ResponsesObject.
+ * @template QuerySchema - A type for query schemas, defaulting to QueryObject.
+ * @template ReqHeaders - A type for request headers, defaulting to HeadersObject.
+ * @template ResHeaders - A type for response headers, defaulting to HeadersObject.
+ */
+type MiddlewareContractDetails<SV extends AnySchemaValidator, Name extends string = string, Path extends `/${string}` = `/${string}`, ParamsSchema extends ParamsObject<SV> = ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV> = ResponsesObject<SV>, BodySchema extends Body<SV> = Body<SV>, QuerySchema extends QueryObject<SV> = QueryObject<SV>, ReqHeaders extends HeadersObject<SV> = HeadersObject<SV>, ResHeaders extends HeadersObject<SV> = HeadersObject<SV>, VersionedApi extends VersionSchema<SV, Method> = VersionSchema<SV, 'middleware'>, BaseRequest = unknown, Auth extends SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest> = SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest>> = Omit<Partial<HttpContractDetails<SV, Name, Path, ParamsSchema, ResponseSchemas, BodySchema, QuerySchema, ReqHeaders, ResHeaders, VersionedApi, BaseRequest, Auth>>, 'responses'>;
+type VersionSchema<SV extends AnySchemaValidator, ContractMethod extends Method> = Record<string, BasePathParamHttpContractDetailsIO<SV, ContractMethod extends PathParamMethod ? never : Body<SV>, ResponsesObject<SV>, QueryObject<SV>, HeadersObject<SV>, HeadersObject<SV>>>;
+/**
+ * Utility for different Contract Detail types
+ */
+type ContractDetails<SV extends AnySchemaValidator, Name extends string, ContractMethod extends Method, Path extends `/${string}`, ParamsSchema extends ParamsObject<SV>, ResponseSchemas extends ResponsesObject<SV>, BodySchema extends Body<SV>, QuerySchema extends QueryObject<SV>, ReqHeaders extends HeadersObject<SV>, ResHeaders extends HeadersObject<SV>, VersionedApi extends VersionSchema<SV, ContractMethod>, BaseRequest, Auth extends SchemaAuthMethods<SV, ParamsSchema, BodySchema, QuerySchema, ReqHeaders, VersionedApi, BaseRequest>> = ContractMethod extends PathParamMethod ? PathParamHttpContractDetails<SV, Name, Path, ParamsSchema, ResponseSchemas, BodySchema, QuerySchema, ReqHeaders, ResHeaders, VersionedApi, BaseRequest, Auth> : ContractMethod extends HttpMethod ? HttpContractDetails<SV, Name, Path, ParamsSchema, ResponseSchemas, BodySchema, QuerySchema, ReqHeaders, ResHeaders, VersionedApi, BaseRequest, Auth> : ContractMethod extends 'middleware' ? MiddlewareContractDetails<SV, Name, Path, ParamsSchema, ResponseSchemas, BodySchema, QuerySchema, ReqHeaders, ResHeaders, VersionedApi, BaseRequest, Auth> : never;
+/**
+ * Resolves the session object type to use for authentication.
+ *
+ * If `AuthSession` is provided and extends `SessionObject<SV>`, it is used as the session type.
+ * Otherwise, the `FallbackSession` type is used.
+ *
+ * @template SV - The schema validator type.
+ * @template AuthSession - The session object type provided by the authentication method, or undefined.
+ * @template FallbackSession - The fallback session object type to use if `AuthSession` is not provided.
+ */
+type ResolvedSessionObject<SV extends AnySchemaValidator, AuthSession extends SessionObject<SV> | undefined, FallbackSession extends SessionObject<SV>> = AuthSession extends {
+    readonly sessionSchema?: infer ResolvedSessionSchema | undefined;
+} | undefined ? ResolvedSessionSchema extends SessionObject<SV> ? ResolvedSessionSchema : FallbackSession : FallbackSession;
 
 export { type ForklaunchBaseRequest as $, type AuthMethodsBase as A, type Body as B, type ContractDetails as C, type DecodeResource as D, type ExpressLikeRouterOptions as E, type ForklaunchRequest as F, type DocsConfiguration as G, type HttpContractDetails as H, type ErrorContainer as I, type ExpressLikeAuthMapper as J, type ExpressLikeGlobalAuthOptions as K, type LiveTypeFunction as L, type Method as M, type ExpressLikeHandler as N, OpenTelemetryCollector as O, type PathParamHttpContractDetails as P, type QueryObject as Q, type ResponsesObject as R, type StringOnlyObject as S, type TelemetryOptions as T, type ExpressLikeSchemaGlobalAuthOptions as U, type VersionSchema as V, type ExtractBody as W, type ExtractContentType as X, type ExtractResponseBody as Y, type ExtractedParamsObject as Z, type FileBody as _, type SessionObject as a, type ForklaunchResErrors as a0, type HmacMethods as a1, type HttpMethod as a2, type JsonBody as a3, type JwtAuthMethods as a4, type LiveTypeFunctionRequestInit as a5, type MapParamsSchema as a6, type MapReqBodySchema as a7, type MapReqHeadersSchema as a8, type MapReqQuerySchema as a9, type UnknownResponseBody as aA, type UrlEncodedForm as aB, type VersionedResponses as aC, httpRequestsTotalCounter as aD, httpServerDurationHistogram as aE, type MapResBodyMapSchema as aa, type MapResHeadersSchema as ab, type MapSchema as ac, type MapSessionSchema as ad, type MapVersionedReqsSchema as ae, type MapVersionedRespsSchema as af, type MetricType as ag, type MultipartForm as ah, type NumberOnlyObject as ai, type PathParamMethod as aj, type PermissionSet as ak, type RawTypedResponseBody as al, type RequestContext as am, type ResolvedForklaunchAuthRequest as an, type ResolvedForklaunchRequest as ao, type ResolvedForklaunchResponse as ap, type ResponseBody as aq, type ResponseCompiledSchema as ar, type ResponseShape as as, type RoleSet as at, type ServerSentEventBody as au, type TextBody as av, type TypedBody as aw, type TypedRequestBody as ax, type TypedResponseBody as ay, type UnknownBody as az, type ParamsObject as b, type HeadersObject as c, type SchemaAuthMethods as d, type ExpressLikeSchemaHandler as e, type ResolvedSessionObject as f, type PathMatch as g, type LiveSdkFunction as h, type MetricsDefinition as i, type ExpressLikeApplicationOptions as j, type ParamsDictionary as k, type VersionedRequests as l, type AuthMethods as m, type BasicAuthMethods as n, type MiddlewareContractDetails as o, type ExpressLikeSchemaAuthMapper as p, type ForklaunchNextFunction as q, type ForklaunchResponse as r, type ForklaunchResHeaders as s, type ForklaunchStatusResponse as t, type ForklaunchSendableData as u, type LoggerMeta as v, type LogFn as w, type AccessLevel as x, type BodyObject as y, type DefaultSubscriptionData as z };