@ts-contract/core 1.0.0-alpha.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Matthew Brimmer
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,11 @@
+# core
+
+This library was generated with [Nx](https://nx.dev).
+
+## Building
+
+Run `nx build core` to build the library.
+
+## Running unit tests
+
+Run `nx test core` to execute the unit tests via [Vitest](https://vitest.dev/).

package/dist/index.d.ts

@@ -0,0 +1,7 @@
+export * from './lib/dsl';
+export * from './lib/inference-utils';
+export * from './lib/http-types';
+export * from './lib/schema-types';
+export * from './lib/plugin-types';
+export * from './lib/contract-builder';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,uBAAuB,CAAC;AACtC,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,cAAc,oBAAoB,CAAC;AACnC,cAAc,wBAAwB,CAAC"}

package/dist/index.js

@@ -0,0 +1,6 @@
+export * from './lib/dsl';
+export * from './lib/inference-utils';
+export * from './lib/http-types';
+export * from './lib/schema-types';
+export * from './lib/plugin-types';
+export * from './lib/contract-builder';

package/dist/lib/contract-builder.d.ts

@@ -0,0 +1,18 @@
+import type { ContractDef } from './dsl';
+import type { ContractPlugin, ApplyPlugins } from './plugin-types';
+/**
+ * Builder that accumulates plugins and resolves them on .build().
+ */
+declare class ContractBuilder<C extends ContractDef, Ps extends readonly ContractPlugin[]> {
+    private readonly contract;
+    private readonly plugins;
+    constructor(contract: C, plugins: [...Ps]);
+    use<P extends ContractPlugin>(plugin: P): ContractBuilder<C, [...Ps, P]>;
+    build(): ApplyPlugins<C, Ps>;
+}
+/**
+ * Create a contract builder that lets you compose plugins onto routes.
+ */
+export declare const initContract: <C extends ContractDef>(contract: C) => ContractBuilder<C, []>;
+export {};
+//# sourceMappingURL=contract-builder.d.ts.map

package/dist/lib/contract-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-builder.d.ts","sourceRoot":"","sources":["../../src/lib/contract-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAY,MAAM,OAAO,CAAC;AAEnD,OAAO,KAAK,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAoBnE;;GAEG;AACH,cAAM,eAAe,CACnB,CAAC,SAAS,WAAW,EACrB,EAAE,SAAS,SAAS,cAAc,EAAE;IAGlC,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,OAAO;gBADP,QAAQ,EAAE,CAAC,EACX,OAAO,EAAE,CAAC,GAAG,EAAE,CAAC;IAGnC,GAAG,CAAC,CAAC,SAAS,cAAc,EAAE,MAAM,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;IAIxE,KAAK,IAAI,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC;CAU7B;AAED;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,CAAC,SAAS,WAAW,EAChD,UAAU,CAAC,KACV,eAAe,CAAC,CAAC,EAAE,EAAE,CAEvB,CAAC"}

package/dist/lib/contract-builder.js

@@ -0,0 +1,46 @@
+import { isRouteDef } from './dsl';
+/**
+ * Recursively walk a contract tree, applying a mapper function to each RouteDef.
+ */
+function mapRoutes(contract, mapper) {
+    const result = {};
+    for (const [key, value] of Object.entries(contract)) {
+        if (isRouteDef(value)) {
+            result[key] = mapper(value);
+        }
+        else {
+            result[key] = mapRoutes(value, mapper);
+        }
+    }
+    return result;
+}
+/**
+ * Builder that accumulates plugins and resolves them on .build().
+ */
+class ContractBuilder {
+    contract;
+    plugins;
+    constructor(contract, plugins) {
+        this.contract = contract;
+        this.plugins = plugins;
+    }
+    use(plugin) {
+        return new ContractBuilder(this.contract, [...this.plugins, plugin]);
+    }
+    build() {
+        const plugins = this.plugins;
+        return mapRoutes(this.contract, (route) => {
+            const extended = {};
+            for (const plugin of plugins) {
+                Object.assign(extended, plugin.route(route));
+            }
+            return extended;
+        });
+    }
+}
+/**
+ * Create a contract builder that lets you compose plugins onto routes.
+ */
+export const initContract = (contract) => {
+    return new ContractBuilder(contract, []);
+};

package/dist/lib/dsl.d.ts

@@ -0,0 +1,33 @@
+import type { Method, HttpStatusCodes } from './http-types';
+import type { SchemaProtocol } from './schema-types';
+/**
+ * Route definition
+ */
+export type RouteDef = {
+    method: Method;
+    path: string;
+    pathParams?: SchemaProtocol<any>;
+    query?: SchemaProtocol<any>;
+    headers?: Record<string, SchemaProtocol<any>>;
+    body?: SchemaProtocol<any>;
+    responses: Partial<Record<HttpStatusCodes, SchemaProtocol<any>>>;
+    summary?: string;
+    metadata?: Record<string, string | number | boolean>;
+};
+/**
+ * Contract definition - maps route names to route definitions or nested contracts
+ */
+export interface ContractDef {
+    [key: string]: RouteDef | ContractDef;
+}
+/**
+ * Type guard to check if a value is a RouteDef (has method and path)
+ */
+export declare const isRouteDef: (value: RouteDef | ContractDef) => value is RouteDef;
+/**
+ * Creates a new contract
+ *
+ * @returns {Contract}
+ */
+export declare const createContract: <C extends ContractDef>(contract: C) => C;
+//# sourceMappingURL=dsl.d.ts.map

package/dist/lib/dsl.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dsl.d.ts","sourceRoot":"","sources":["../../src/lib/dsl.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC;IACjC,KAAK,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,IAAI,CAAC,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC;IAC3B,SAAS,EAAE,OAAO,CAAC,MAAM,CAAC,eAAe,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CACtD,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,CAAC,GAAG,EAAE,MAAM,GAAG,QAAQ,GAAG,WAAW,CAAC;CACvC;AAED;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,OAAO,QAAQ,GAAG,WAAW,KAAG,KAAK,IAAI,QAC9B,CAAC;AAEvC;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,WAAW,EAAE,UAAU,CAAC,KAAG,CAC1D,CAAC"}

package/dist/lib/dsl.js

@@ -0,0 +1,10 @@
+/**
+ * Type guard to check if a value is a RouteDef (has method and path)
+ */
+export const isRouteDef = (value) => 'method' in value && 'path' in value;
+/**
+ * Creates a new contract
+ *
+ * @returns {Contract}
+ */
+export const createContract = (contract) => contract;

package/dist/lib/http-types.d.ts

@@ -0,0 +1,20 @@
+/**
+ * HTTP methods
+ */
+export type Method = 'GET' | 'POST' | 'PUT' | 'DELETE' | 'PATCH' | 'OPTIONS' | 'HEAD';
+export declare const methods: readonly ["GET", "POST", "PUT", "DELETE", "PATCH", "OPTIONS", "HEAD"];
+export type HttpSuccessStatusCode = 200 | 201 | 202 | 203 | 204 | 205 | 206 | 207 | 208 | 226;
+/**
+ * Successful HTTP status codes
+ */
+export declare const successfulHttpStatusCodes: readonly [200, 201, 202, 203, 204, 205, 206, 207, 208, 226];
+/**
+ * All HTTP status codes
+ */
+export type HttpStatusCodes = 100 | 101 | 102 | 200 | 201 | 202 | 203 | 204 | 205 | 206 | 207 | 208 | 226 | 300 | 301 | 302 | 303 | 304 | 305 | 307 | 308 | 400 | 401 | 402 | 403 | 404 | 405 | 406 | 407 | 408 | 409 | 410 | 411 | 412 | 413 | 414 | 415 | 416 | 417 | 418 | 419 | 420 | 421 | 422 | 423 | 424 | 428 | 429 | 431 | 451 | 500 | 501 | 502 | 503 | 504 | 505 | 507 | 511;
+export declare const httpStatusCodes: readonly [100, 101, 102, 200, 201, 202, 203, 204, 205, 206, 207, 208, 226, 300, 301, 302, 303, 304, 305, 307, 308, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 428, 429, 431, 451, 500, 501, 502, 503, 504, 505, 507, 511];
+/**
+ * Error HTTP status codes (all except successful ones)
+ */
+export type ErrorHttpStatusCodes = Exclude<HttpStatusCodes, HttpSuccessStatusCode>;
+//# sourceMappingURL=http-types.d.ts.map

package/dist/lib/http-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"http-types.d.ts","sourceRoot":"","sources":["../../src/lib/http-types.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,MAAM,MAAM,GACd,KAAK,GACL,MAAM,GACN,KAAK,GACL,QAAQ,GACR,OAAO,GACP,SAAS,GACT,MAAM,CAAC;AAEX,eAAO,MAAM,OAAO,uEAQkB,CAAC;AAEvC,MAAM,MAAM,qBAAqB,GAC7B,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,CAAC;AAER;;GAEG;AACH,eAAO,MAAM,yBAAyB,6DAEe,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,CAAC;AAER,eAAO,MAAM,eAAe,6SAKmB,CAAC;AAEhD;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG,OAAO,CACxC,eAAe,EACf,qBAAqB,CACtB,CAAC"}

package/dist/lib/http-types.js

@@ -0,0 +1,21 @@
+export const methods = [
+    'GET',
+    'POST',
+    'PUT',
+    'DELETE',
+    'PATCH',
+    'OPTIONS',
+    'HEAD',
+];
+/**
+ * Successful HTTP status codes
+ */
+export const successfulHttpStatusCodes = [
+    200, 201, 202, 203, 204, 205, 206, 207, 208, 226,
+];
+export const httpStatusCodes = [
+    100, 101, 102, 200, 201, 202, 203, 204, 205, 206, 207, 208, 226, 300, 301,
+    302, 303, 304, 305, 307, 308, 400, 401, 402, 403, 404, 405, 406, 407, 408,
+    409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423,
+    424, 428, 429, 431, 451, 500, 501, 502, 503, 504, 505, 507, 511,
+];

package/dist/lib/inference-utils.d.ts

@@ -0,0 +1,59 @@
+import type { RouteDef } from './dsl';
+import type { InferSchema, StandardSchemaV1 } from './schema-types';
+import type { HttpStatusCodes } from './http-types';
+type InferOrUndefined<T> = T extends StandardSchemaV1<unknown, infer Out> ? Out : undefined;
+/**
+ * Infer path parameters from a route
+ */
+export type InferPathParams<R extends RouteDef> = InferOrUndefined<R['pathParams']>;
+/**
+ * Infer query parameters from a route
+ */
+export type InferQuery<R extends RouteDef> = InferOrUndefined<R['query']>;
+/**
+ * Infer request body from a route
+ */
+export type InferBody<R extends RouteDef> = InferOrUndefined<R['body']>;
+/**
+ * Infer request headers from a route
+ */
+export type InferHeaders<R extends RouteDef> = R['headers'] extends Record<string, StandardSchemaV1> ? {
+    [K in keyof R['headers']]: InferSchema<R['headers'][K]>;
+} : undefined;
+/**
+ * Infer all response schemas as a mapped object keyed by status code
+ */
+export type InferResponseMap<R extends RouteDef> = {
+    [K in keyof R['responses']]: InferSchema<R['responses'][K]>;
+};
+/**
+ * Infer a specific response body from a route by status code
+ */
+export type InferResponseBody<R extends RouteDef, S extends HttpStatusCodes> = R['responses'][S] extends StandardSchemaV1<unknown, infer Out> ? Out : never;
+/**
+ * Infer all responses as a discriminated union of { status, body }
+ */
+export type InferResponses<R extends RouteDef> = {
+    [K in keyof R['responses'] & HttpStatusCodes]: R['responses'][K] extends StandardSchemaV1<unknown, infer Out> ? {
+        status: K;
+        body: Out;
+    } : never;
+}[keyof R['responses'] & HttpStatusCodes];
+/**
+ * Merge path, query, body, and header parameters into a single type
+ */
+export type MergeArgs<P, Q, B, H> = (P extends undefined ? object : {
+    params: P;
+}) & (Q extends undefined ? object : {
+    query: Q;
+}) & (B extends undefined ? object : {
+    body: B;
+}) & (H extends undefined ? object : {
+    headers: H;
+});
+/**
+ * Infer all arguments from a route
+ */
+export type InferArgs<R extends RouteDef> = MergeArgs<InferPathParams<R>, InferQuery<R>, InferBody<R>, InferHeaders<R>>;
+export {};
+//# sourceMappingURL=inference-utils.d.ts.map

package/dist/lib/inference-utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inference-utils.d.ts","sourceRoot":"","sources":["../../src/lib/inference-utils.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,OAAO,CAAC;AACtC,OAAO,KAAK,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD,KAAK,gBAAgB,CAAC,CAAC,IACrB,CAAC,SAAS,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,SAAS,CAAC;AAEnE;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,QAAQ,IAAI,gBAAgB,CAChE,CAAC,CAAC,YAAY,CAAC,CAChB,CAAC;AACF;;GAEG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,QAAQ,IAAI,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;AAC1E;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,IAAI,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AACxE;;GAEG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,QAAQ,IACzC,CAAC,CAAC,SAAS,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,GACjD;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAC3D,SAAS,CAAC;AAEhB;;GAEG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,SAAS,QAAQ,IAAI;KAChD,CAAC,IAAI,MAAM,CAAC,CAAC,WAAW,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;CAC5D,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,SAAS,eAAe,IACzE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,GAAG,GAAG,GAAG,KAAK,CAAC;AAE/E;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,QAAQ,IAAI;KAC9C,CAAC,IAAI,MAAM,CAAC,CAAC,WAAW,CAAC,GACxB,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,gBAAgB,CAC5D,OAAO,EACP,MAAM,GAAG,CACV,GACG;QAAE,MAAM,EAAE,CAAC,CAAC;QAAC,IAAI,EAAE,GAAG,CAAA;KAAE,GACxB,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,WAAW,CAAC,GAAG,eAAe,CAAC,CAAC;AAE1C;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,SAAS,SAAS,GACpD,MAAM,GACN;IAAE,MAAM,EAAE,CAAC,CAAA;CAAE,CAAC,GAChB,CAAC,CAAC,SAAS,SAAS,GAAG,MAAM,GAAG;IAAE,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC,GAC7C,CAAC,CAAC,SAAS,SAAS,GAAG,MAAM,GAAG;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,GAC5C,CAAC,CAAC,SAAS,SAAS,GAAG,MAAM,GAAG;IAAE,OAAO,EAAE,CAAC,CAAA;CAAE,CAAC,CAAC;AAElD;;GAEG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,QAAQ,IAAI,SAAS,CACnD,eAAe,CAAC,CAAC,CAAC,EAClB,UAAU,CAAC,CAAC,CAAC,EACb,SAAS,CAAC,CAAC,CAAC,EACZ,YAAY,CAAC,CAAC,CAAC,CAChB,CAAC"}

package/dist/lib/inference-utils.js

@@ -0,0 +1 @@
+export {};

package/dist/lib/plugin-types.d.ts

@@ -0,0 +1,34 @@
+import type { RouteDef, ContractDef } from './dsl';
+/**
+ * Plugin type registry — plugins register their per-route return types here
+ * via declaration merging.
+ */
+export interface PluginTypeRegistry<R> {
+}
+/**
+ * A contract plugin that adds utility methods to each route.
+ */
+export interface ContractPlugin<Name extends string = string> {
+    name: Name;
+    route: (route: RouteDef) => Record<string, unknown>;
+}
+/**
+ * Look up a plugin's return type from the registry for a given route.
+ */
+type PluginReturnFor<Name extends string, R extends RouteDef> = Name extends keyof PluginTypeRegistry<R> ? PluginTypeRegistry<R>[Name] : object;
+/**
+ * Merge return types from all plugins in a tuple for a given route.
+ */
+export type MergePluginReturns<R extends RouteDef, Ps extends readonly ContractPlugin[]> = Ps extends readonly [
+    infer First extends ContractPlugin,
+    ...infer Rest extends ContractPlugin[]
+] ? PluginReturnFor<First['name'], R> & MergePluginReturns<R, Rest> : object;
+/**
+ * Recursively apply plugins to a contract, producing a mapped type
+ * where each RouteDef is replaced with the merged plugin return types.
+ */
+export type ApplyPlugins<C, Ps extends readonly ContractPlugin[]> = {
+    [K in keyof C]: C[K] extends RouteDef ? MergePluginReturns<C[K], Ps> : C[K] extends ContractDef ? ApplyPlugins<C[K], Ps> : never;
+};
+export {};
+//# sourceMappingURL=plugin-types.d.ts.map

package/dist/lib/plugin-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin-types.d.ts","sourceRoot":"","sources":["../../src/lib/plugin-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,OAAO,CAAC;AAEnD;;;GAGG;AAEH,MAAM,WAAW,kBAAkB,CAAC,CAAC;CAAI;AAEzC;;GAEG;AACH,MAAM,WAAW,cAAc,CAAC,IAAI,SAAS,MAAM,GAAG,MAAM;IAC1D,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACrD;AAED;;GAEG;AACH,KAAK,eAAe,CAClB,IAAI,SAAS,MAAM,EACnB,CAAC,SAAS,QAAQ,IAChB,IAAI,SAAS,MAAM,kBAAkB,CAAC,CAAC,CAAC,GACxC,kBAAkB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAC3B,MAAM,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAC5B,CAAC,SAAS,QAAQ,EAClB,EAAE,SAAS,SAAS,cAAc,EAAE,IAClC,EAAE,SAAS,SAAS;IACtB,MAAM,KAAK,SAAS,cAAc;IAClC,GAAG,MAAM,IAAI,SAAS,cAAc,EAAE;CACvC,GACG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,kBAAkB,CAAC,CAAC,EAAE,IAAI,CAAC,GAC/D,MAAM,CAAC;AAEX;;;GAGG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,EAAE,SAAS,SAAS,cAAc,EAAE,IAAI;KACjE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,QAAQ,GACjC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAC5B,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GACtB,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GACtB,KAAK;CACZ,CAAC"}

package/dist/lib/plugin-types.js

@@ -0,0 +1 @@
+export {};

package/dist/lib/schema-types.d.ts

@@ -0,0 +1,15 @@
+import type { StandardSchemaV1 } from '@standard-schema/spec';
+export type { StandardSchemaV1 } from '@standard-schema/spec';
+/**
+ * Schema protocol — alias for StandardSchemaV1
+ */
+export type SchemaProtocol<TOutput = unknown> = StandardSchemaV1<unknown, TOutput>;
+/**
+ * Infer the output type from a Standard Schema
+ */
+export type InferSchema<T> = T extends StandardSchemaV1 ? StandardSchemaV1.InferOutput<T> : never;
+/**
+ * Extract path parameters from a path string
+ */
+export type ExtractPathParams<T extends string> = T extends `${string}:${infer Param}/${infer Rest}` ? Param | ExtractPathParams<`/${Rest}`> : T extends `${string}:${infer Param}` ? Param : never;
+//# sourceMappingURL=schema-types.d.ts.map

package/dist/lib/schema-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema-types.d.ts","sourceRoot":"","sources":["../../src/lib/schema-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,YAAY,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE9D;;GAEG;AACH,MAAM,MAAM,cAAc,CAAC,OAAO,GAAG,OAAO,IAAI,gBAAgB,CAC9D,OAAO,EACP,OAAO,CACR,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,gBAAgB,GACnD,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,GAC/B,KAAK,CAAC;AAEV;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,MAAM,IAC5C,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,KAAK,IAAI,MAAM,IAAI,EAAE,GAC9C,KAAK,GAAG,iBAAiB,CAAC,IAAI,IAAI,EAAE,CAAC,GACrC,CAAC,SAAS,GAAG,MAAM,IAAI,MAAM,KAAK,EAAE,GAClC,KAAK,GACL,KAAK,CAAC"}

package/dist/lib/schema-types.js

@@ -0,0 +1 @@
+export {};

package/package.json

@@ -0,0 +1,51 @@
+{
+  "name": "@ts-contract/core",
+  "version": "1.0.0-alpha.0",
+  "description": "Contract definitions, type inference helpers, and plugin system for ts-contract",
+  "type": "module",
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    "./package.json": "./package.json",
+    ".": {
+      "@ts-contract/source": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "!**/*.tsbuildinfo"
+  ],
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/mbrimmer83/ts-contract.git",
+    "directory": "packages/core"
+  },
+  "homepage": "https://github.com/mbrimmer83/ts-contract#readme",
+  "bugs": {
+    "url": "https://github.com/mbrimmer83/ts-contract/issues"
+  },
+  "keywords": [
+    "typescript",
+    "contract",
+    "api",
+    "schema",
+    "validation",
+    "type-safe"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@standard-schema/spec": "1.1.0",
+    "tslib": "^2.3.0"
+  },
+  "scripts": {
+    "build": "tsc -b tsconfig.lib.json",
+    "test": "vitest run --config vitest.config.mts",
+    "lint": "eslint ."
+  }
+}