ts-procedures 8.6.0 → 9.1.0

package/build/core/procedures.d.ts

@@ -0,0 +1,143 @@
+import type { AnyProcedureRegistration, ProceduresOptions, TNoContextProvided } from './types.js';
+/**
+ * Creates a procedure factory.
+ *
+ * ```ts
+ * type Ctx = { db: Db }
+ * const { Create, CreateStream, CreateHttp, CreateHttpStream, getProcedures } =
+ *   Procedures<Ctx>({
+ *     validation: { ajv: { coerceTypes: false } }, // or `false` to skip per-call validation
+ *     schema: { adapters: [myZodAdapter] },        // TypeBox is built in
+ *     http: { pathPrefix: '/v1', scope: 'billing' }, // CreateHttp* defaults
+ *     onCreate: (procedure) => log(procedure.kind, procedure.name),
+ *   })
+ * ```
+ *
+ * - `TContext` — the context every handler receives (plus injected `error()`
+ *   and `signal`).
+ * - `TExtendedConfig` — extra per-procedure config fields (e.g. `scope`,
+ *   `version`, auth flags) carried through to registrations, `info`, and
+ *   `onCreate`.
+ */
+export declare function Procedures<TContext = TNoContextProvided, TExtendedConfig = unknown>(options?: ProceduresOptions<TContext, TExtendedConfig>): {
+    /** All registered procedures, in registration order. */
+    getProcedures: () => AnyProcedureRegistration<TContext, TExtendedConfig>[];
+    /** A specific procedure by name. */
+    getProcedure: (name: string) => AnyProcedureRegistration<TContext, TExtendedConfig> | undefined;
+    /** Removes a procedure by name. Returns whether it existed. */
+    removeProcedure: (name: string) => boolean;
+    /** Clears all registered procedures. */
+    clear: () => void;
+    Create: <TName extends string, TParams, TReturnType>(name: TName, config: {
+        description?: string;
+        schema?: {
+            params?: TParams | undefined;
+            returnType?: TReturnType | undefined;
+        } | undefined;
+    } & TExtendedConfig, handler: (ctx: TContext & import("./types.js").TLocalContext extends infer T ? { [Key in keyof T]: T[Key]; } : never, params: import("../exports.js").Infer<TParams>) => Promise<import("../exports.js").Infer<TReturnType>>) => import("./types.js").ProcedureResult<TName, (ctx: { [Key in keyof TContext]: TContext[Key]; }, params: import("../exports.js").Infer<TParams>) => Promise<import("../exports.js").Infer<TReturnType>>, {
+        name: TName;
+        kind: "rpc";
+        description?: string;
+        schema: {
+            params?: TParams | undefined;
+            returnType?: TReturnType | undefined;
+        };
+        validation?: {
+            params?: import("../schema/compile.js").Validate;
+        } | undefined;
+    } & TExtendedConfig>;
+    CreateStream: <TName extends string, TParams, TYieldType, TReturnType = void>(name: TName, config: {
+        description?: string;
+        schema?: {
+            params?: TParams | undefined;
+            yieldType?: TYieldType | undefined;
+            returnType?: TReturnType | undefined;
+        } | undefined;
+        validateYields?: boolean;
+    } & TExtendedConfig, handler: (ctx: TContext & import("./types.js").TLocalContext & {
+        signal: AbortSignal;
+    } extends infer T ? { [Key in keyof T]: T[Key]; } : never, params: import("../exports.js").Infer<TParams>) => AsyncGenerator<import("../exports.js").Infer<TYieldType>, void | import("../exports.js").Infer<TReturnType>, unknown>) => import("./types.js").ProcedureResult<TName, (ctx: { [Key in keyof TContext]: TContext[Key]; }, params: import("../exports.js").Infer<TParams>) => AsyncGenerator<import("../exports.js").Infer<TYieldType>, void | import("../exports.js").Infer<TReturnType>, unknown>, {
+        name: TName;
+        kind: "rpc-stream";
+        description?: string;
+        schema: {
+            params?: TParams | undefined;
+            yieldType?: TYieldType | undefined;
+            returnType?: TReturnType | undefined;
+        };
+        validation?: {
+            params?: import("../schema/compile.js").Validate;
+            yield?: import("../schema/compile.js").Validate;
+        } | undefined;
+    } & TExtendedConfig>;
+    CreateHttp: <TName extends string, TReq extends Record<string, unknown> | undefined = undefined, TRes extends {
+        body?: unknown;
+        headers?: unknown;
+    } | undefined = undefined, TErrorKey extends string = string>(name: TName, config: import("./types.js").TCreateHttpConfig<TReq, TRes, TErrorKey>, handler: (ctx: TContext & import("./types.js").TLocalContext extends infer T ? { [Key in keyof T]: T[Key]; } : never, req: TReq extends Record<string, unknown> ? { [Key_1 in keyof { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }]: { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }[Key_1]; } : undefined) => Promise<import("./create-http.js").HttpReturn<TRes>>) => import("./types.js").ProcedureResult<TName, (ctx: { [Key in keyof TContext]: TContext[Key]; }, req: TReq extends Record<string, unknown> ? { [Key_1 in keyof { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }]: { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }[Key_1]; } : undefined) => Promise<import("./create-http.js").HttpReturn<TRes>>, {
+        path: string;
+        method: import("./types.js").HttpMethod;
+        successStatus?: number;
+        scope?: string;
+        errors?: string[];
+        description?: string;
+        schema?: {
+            req?: Record<string, import("../exports.js").TJSONSchema>;
+            res?: {
+                body?: import("../exports.js").TJSONSchema;
+                headers?: import("../exports.js").TJSONSchema;
+            };
+        };
+        validation?: {
+            req?: Record<string, import("../schema/compile.js").Validate>;
+        };
+        name: TName;
+        kind: "http";
+    }>;
+    CreateHttpStream: <TName extends string, TReq extends Record<string, unknown> | undefined, TYieldType, TReturnType = void, TResHeaders = undefined, TErrorKey extends string = string>(name: TName, config: {
+        path: string;
+        method: import("./types.js").HttpMethod;
+        scope?: string;
+        errors?: TErrorKey[] | undefined;
+        description?: string;
+        schema: {
+            req?: TReq | undefined;
+            yield?: TYieldType | undefined;
+            returnType?: TReturnType | undefined;
+            res?: (TResHeaders extends undefined ? undefined : {
+                headers: TResHeaders;
+            }) | undefined;
+        };
+        validateYields?: boolean;
+    }, handler: TResHeaders extends undefined ? (ctx: TContext & import("./types.js").TLocalContext & {
+        signal: AbortSignal;
+    } extends infer T ? { [Key in keyof T]: T[Key]; } : never, req: TReq extends Record<string, unknown> ? { [Key_1 in keyof { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }]: { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }[Key_1]; } : undefined) => AsyncGenerator<import("../exports.js").Infer<TYieldType>, void | import("../exports.js").Infer<TReturnType>, unknown> : (ctx: TContext & import("./types.js").TLocalContext & {
+        signal: AbortSignal;
+    } extends infer T ? { [Key in keyof T]: T[Key]; } : never, req: TReq extends Record<string, unknown> ? { [Key_1 in keyof { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }]: { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }[Key_1]; } : undefined) => Promise<{
+        headers: import("../exports.js").Infer<TResHeaders>;
+        stream: AsyncGenerator<import("../exports.js").Infer<TYieldType>, void | import("../exports.js").Infer<TReturnType>, unknown>;
+    }>) => import("./types.js").ProcedureResult<TName, (ctx: { [Key in keyof TContext]: TContext[Key]; }, req: TReq extends Record<string, unknown> ? { [Key_1 in keyof { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }]: { [K in keyof TReq]: import("../exports.js").Infer<TReq[K]>; }[Key_1]; } : undefined) => Promise<{
+        stream: AsyncGenerator<import("../exports.js").Infer<TYieldType>, void | import("../exports.js").Infer<TReturnType>, unknown>;
+        initialHeaders?: Record<string, string>;
+    }>, {
+        path: string;
+        method: import("./types.js").HttpMethod;
+        scope?: string;
+        errors?: string[];
+        description?: string;
+        schema?: {
+            req?: Record<string, import("../exports.js").TJSONSchema>;
+            res?: {
+                headers?: import("../exports.js").TJSONSchema;
+            };
+            yield?: import("../exports.js").TJSONSchema;
+            returnType?: import("../exports.js").TJSONSchema;
+        };
+        validation?: {
+            req?: Record<string, import("../schema/compile.js").Validate>;
+            yield?: import("../schema/compile.js").Validate;
+        };
+        validateYields?: boolean;
+        name: TName;
+        kind: "http-stream";
+    }>;
+};

package/build/core/procedures.js

@@ -0,0 +1,64 @@
+import { makeCreate } from './create.js';
+import { makeCreateStream } from './create-stream.js';
+import { makeCreateHttp } from './create-http.js';
+import { makeCreateHttpStream } from './create-http-stream.js';
+import { createValidatorCompiler } from '../schema/compile.js';
+import { typeboxAdapter } from '../schema/typebox.js';
+/**
+ * Creates a procedure factory.
+ *
+ * ```ts
+ * type Ctx = { db: Db }
+ * const { Create, CreateStream, CreateHttp, CreateHttpStream, getProcedures } =
+ *   Procedures<Ctx>({
+ *     validation: { ajv: { coerceTypes: false } }, // or `false` to skip per-call validation
+ *     schema: { adapters: [myZodAdapter] },        // TypeBox is built in
+ *     http: { pathPrefix: '/v1', scope: 'billing' }, // CreateHttp* defaults
+ *     onCreate: (procedure) => log(procedure.kind, procedure.name),
+ *   })
+ * ```
+ *
+ * - `TContext` — the context every handler receives (plus injected `error()`
+ *   and `signal`).
+ * - `TExtendedConfig` — extra per-procedure config fields (e.g. `scope`,
+ *   `version`, auth flags) carried through to registrations, `info`, and
+ *   `onCreate`.
+ */
+export function Procedures(options) {
+    const registry = new Map();
+    const runtime = {
+        registry,
+        onCreate: options?.onCreate,
+        skipValidation: options?.validation === false,
+        adapters: [...(options?.schema?.adapters ?? []), typeboxAdapter],
+        compile: createValidatorCompiler(options?.validation === false ? undefined : options?.validation),
+        httpDefaults: options?.http,
+    };
+    const Create = makeCreate(runtime);
+    const CreateStream = makeCreateStream(runtime);
+    const CreateHttp = makeCreateHttp(runtime);
+    const CreateHttpStream = makeCreateHttpStream(runtime);
+    return {
+        /** All registered procedures, in registration order. */
+        getProcedures: () => {
+            return Array.from(registry.values());
+        },
+        /** A specific procedure by name. */
+        getProcedure: (name) => {
+            return registry.get(name);
+        },
+        /** Removes a procedure by name. Returns whether it existed. */
+        removeProcedure: (name) => {
+            return registry.delete(name);
+        },
+        /** Clears all registered procedures. */
+        clear: () => {
+            registry.clear();
+        },
+        Create,
+        CreateStream,
+        CreateHttp,
+        CreateHttpStream,
+    };
+}
+//# sourceMappingURL=procedures.js.map

package/build/core/procedures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"procedures.js","sourceRoot":"","sources":["../../src/core/procedures.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAA;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAA;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,sBAAsB,CAAA;AAC9D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAIrD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,UAAU,CACxB,OAAsD;IAEtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+D,CAAA;IAEvF,MAAM,OAAO,GAA8C;QACzD,QAAQ;QACR,QAAQ,EAAE,OAAO,EAAE,QAAQ;QAC3B,cAAc,EAAE,OAAO,EAAE,UAAU,KAAK,KAAK;QAC7C,QAAQ,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC,EAAE,cAAc,CAAC;QAChE,OAAO,EAAE,uBAAuB,CAAC,OAAO,EAAE,UAAU,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC;QACjG,YAAY,EAAE,OAAO,EAAE,IAAI;KAC5B,CAAA;IAED,MAAM,MAAM,GAAG,UAAU,CAA4B,OAAO,CAAC,CAAA;IAC7D,MAAM,YAAY,GAAG,gBAAgB,CAA4B,OAAO,CAAC,CAAA;IACzE,MAAM,UAAU,GAAG,cAAc,CAAW,OAAO,CAAC,CAAA;IACpD,MAAM,gBAAgB,GAAG,oBAAoB,CAAW,OAAO,CAAC,CAAA;IAEhE,OAAO;QACL,wDAAwD;QACxD,aAAa,EAAE,GAAG,EAAE;YAClB,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;QACtC,CAAC;QAED,oCAAoC;QACpC,YAAY,EAAE,CAAC,IAAY,EAAE,EAAE;YAC7B,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3B,CAAC;QAED,+DAA+D;QAC/D,eAAe,EAAE,CAAC,IAAY,EAAE,EAAE;YAChC,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC9B,CAAC;QAED,wCAAwC;QACxC,KAAK,EAAE,GAAG,EAAE;YACV,QAAQ,CAAC,KAAK,EAAE,CAAA;QAClB,CAAC;QAED,MAAM;QACN,YAAY;QACZ,UAAU;QACV,gBAAgB;KACjB,CAAA;AACH,CAAC"}

package/build/{index.test.js → core/procedures.test.js}

@@ -1,6 +1,6 @@
 import { describe, expect, it, test } from 'vitest';
-import { Procedures } from './index.js';
-import { v } from 'suretype';
+import { Procedures } from './procedures.js';
+import { ProcedureRegistrationError } from './errors.js';
 import { Type } from 'typebox';
 describe('Procedures', () => {
     test('Procedures', () => {
@@ -19,8 +19,8 @@ describe('Procedures', () => {
         });
         Create('test-docs', {
             schema: {
-                params: v.object({ name: v.string().required() }),
-                returnType: v.string(),
+                params: Type.Object({ name: Type.String() }),
+                returnType: Type.String(),
             },
         }, async () => {
             return 'test-docs';
@@ -49,6 +49,9 @@ describe('Procedures', () => {
         expect(() => {
             Create('DuplicateTest', {}, async () => 'second');
         }).toThrow('Procedure with name DuplicateTest is already registered');
+        expect(() => {
+            Create('DuplicateTest', {}, async () => 'second');
+        }).toThrow(ProcedureRegistrationError);
     });
     test('Procedures - getProcedure returns specific procedure', () => {
         const { Create, getProcedure } = Procedures();
@@ -91,11 +94,11 @@ describe('Procedures', () => {
         expect(stream?.kind).toBe('rpc-stream');
     });
 });
-describe('builder.config.noRuntimeValidation', () => {
-    test('noRuntimeValidation does not interfere with onCreate callback', async () => {
+describe('Procedures({ validation: false })', () => {
+    test('validation: false does not interfere with onCreate callback', async () => {
         const seen = [];
         const { Create } = Procedures({
-            config: { noRuntimeValidation: true },
+            validation: false,
             onCreate: (proc) => {
                 seen.push(proc.name);
             },
@@ -103,9 +106,9 @@ describe('builder.config.noRuntimeValidation', () => {
         Create('Registered', { schema: { params: Type.Object({ id: Type.String() }) } }, async (_ctx, params) => params);
         expect(seen).toEqual(['Registered']);
     });
-    test('noRuntimeValidation: false is rejected by the type system', () => {
-        // @ts-expect-error - only `true` (or omitted) is allowed for noRuntimeValidation
-        void Procedures({ config: { noRuntimeValidation: false } });
+    test('validation: true is rejected by the type system', () => {
+        // @ts-expect-error - only `false` or `{ ajv }` (or omitted) is allowed for validation
+        void Procedures({ validation: true });
     });
 });
 describe('Procedure registration kind discriminant', () => {
@@ -124,4 +127,4 @@ describe('Procedure registration kind discriminant', () => {
         expect(reg?.kind).toBe('rpc-stream');
     });
 });
-//# sourceMappingURL=index.test.js.map
+//# sourceMappingURL=procedures.test.js.map

package/build/core/procedures.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"procedures.test.js","sourceRoot":"","sources":["../../src/core/procedures.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AACnD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAA;AACxD,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAE9B,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAI,CAAC,YAAY,EAAE,GAAG,EAAE;QACtB,MAAM,MAAM,GAAG,UAAU,CAAC;YACxB,QAAQ,EAAE,GAAG,EAAE;gBACb,OAAO,SAAS,CAAA;YAClB,CAAC;SACF,CAAC,CAAA;QAEF,MAAM,CAAC,MAAM,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAA;IACzC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,GAAG,UAAU,CAAC;YAC3C,QAAQ,EAAE,GAAG,EAAE;gBACb,OAAO,SAAS,CAAA;YAClB,CAAC;SACF,CAAC,CAAA;QAEF,MAAM,CACJ,WAAW,EACX;YACE,MAAM,EAAE;gBACN,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC5C,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;aAC1B;SACF,EACD,KAAK,IAAI,EAAE;YACT,OAAO,WAAW,CAAA;QACpB,CAAC,CACF,CAAA;QAED,MAAM,UAAU,GAAG,aAAa,EAAE,CAAA;QAClC,MAAM,iBAAiB,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAA;QACxE,MAAM,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAA;QACvC,MAAM,CAAC,iBAAiB,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC;YAChD,MAAM,EAAE;gBACN,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE;wBACJ,IAAI,EAAE,QAAQ;qBACf;iBACF;gBACD,QAAQ,EAAE,CAAC,MAAM,CAAC;aACnB;YACD,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;aACf;SACF,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,sEAAsE,EAAE,GAAG,EAAE;QAChF,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QAE/B,MAAM,CAAC,eAAe,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,OAAO,CAAC,CAAA;QAEhD,MAAM,CAAC,GAAG,EAAE;YACV,MAAM,CAAC,eAAe,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAA;QACnD,CAAC,CAAC,CAAC,OAAO,CAAC,yDAAyD,CAAC,CAAA;QACrE,MAAM,CAAC,GAAG,EAAE;YACV,MAAM,CAAC,eAAe,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,QAAQ,CAAC,CAAA;QACnD,CAAC,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAChE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,GAAG,UAAU,EAAE,CAAA;QAE7C,MAAM,CAAC,QAAQ,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,OAAO,CAAC,CAAA;QAEzC,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;QACnC,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAA;QAC1B,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAEjC,MAAM,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC,CAAC,aAAa,EAAE,CAAA;IAClD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,MAAM,EAAE,eAAe,EAAE,YAAY,EAAE,GAAG,UAAU,EAAE,CAAA;QAE9D,MAAM,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,CAAA;QACzC,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,CAAA;QAE/C,MAAM,OAAO,GAAG,eAAe,CAAC,WAAW,CAAC,CAAA;QAC5C,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1B,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,EAAE,CAAA;QAEjD,sBAAsB;QACtB,MAAM,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,IAAI,CAAC,CAAA;QACzC,MAAM,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,CAAA;IACjD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,KAAK,EAAE,GAAG,UAAU,EAAE,CAAA;QAErD,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;QAClC,MAAM,CAAC,KAAK,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;QAClC,MAAM,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAEtC,KAAK,EAAE,CAAA;QACP,MAAM,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,GAAG,UAAU,EAAE,CAAA;QAE5D,MAAM,CAAC,aAAa,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS,CAAC,CAAA;QAEhD,YAAY,CAAC,YAAY,EAAE,EAAE,EAAE,KAAK,SAAS,CAAC;YAC5C,MAAM,QAAQ,CAAA;QAChB,CAAC,CAAC,CAAA;QAEF,MAAM,KAAK,GAAG,aAAa,EAAE,CAAA;QAC7B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;QAE5B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAA;QAC3D,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAA;QAEzD,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IACzC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAI,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,IAAI,GAAa,EAAE,CAAA;QACzB,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAC;YAC5B,UAAU,EAAE,KAAK;YACjB,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE;gBACjB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACtB,CAAC;SACF,CAAC,CAAA;QAEF,MAAM,CACJ,YAAY,EACZ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC,EAAE,EAAE,EAC1D,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAC/B,CAAA;QAED,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAA;IACtC,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;QAC3D,sFAAsF;QACtF,KAAK,UAAU,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;IACvC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,EAAE,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,UAAU,EAAE,CAAA;QAC1B,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC,SAAS,CAAC,CAAA;QACnF,MAAM,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;QACrC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAC/B,CAAC,CAAC,CAAA;IAEF,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,UAAU,EAAE,CAAA;QAC1B,KAAK,CAAC,YAAY,CAAC,KAAK,EAAE;YACxB,MAAM,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE;SAC9D,EAAE,KAAK,SAAS,CAAC,MAAK,CAAC,CAAC,CAAA;QACzB,MAAM,GAAG,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,CAAA;QACrC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IACtC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA"}

package/build/core/types.d.ts

@@ -0,0 +1,183 @@
+import type * as AJV from 'ajv';
+import type { ProcedureError } from './errors.js';
+import type { SchemaAdapter } from '../schema/adapter.js';
+import type { TJSONSchema } from '../schema/json-schema.js';
+import type { Validate } from '../schema/compile.js';
+export type TNoContextProvided = unknown;
+/**
+ * Context the framework injects into every handler on top of the
+ * factory-level `TContext`.
+ */
+export type TLocalContext = {
+    /** Creates a `ProcedureError` carrying this procedure's name + definition site. */
+    error: (message: string, meta?: object) => ProcedureError;
+    /** Present when the server implementation provides one (HonoAppBuilder does). */
+    signal?: AbortSignal;
+};
+/** Stream handlers always get a signal (aborts on client disconnect or completion). */
+export type TStreamContext = TLocalContext & {
+    signal: AbortSignal;
+};
+/**
+ * Discriminant on every procedure registration that drives builder routing.
+ *
+ * - `'rpc'` — Create() registration
+ * - `'rpc-stream'` — CreateStream() registration
+ * - `'http'` — CreateHttp() registration
+ * - `'http-stream'` — CreateHttpStream() registration
+ */
+export type ProcedureKind = 'rpc' | 'rpc-stream' | 'http' | 'http-stream';
+export type TProcedureRegistration<TContext = unknown, TExtendedConfig = unknown> = {
+    name: string;
+    kind: 'rpc';
+    config: {
+        description?: string;
+        schema?: {
+            params?: TJSONSchema;
+            returnType?: TJSONSchema;
+        };
+        validation?: {
+            params?: Validate;
+        };
+    } & TExtendedConfig;
+    handler: (ctx: TContext, params?: any) => Promise<any>;
+};
+export type TStreamProcedureRegistration<TContext = unknown, TExtendedConfig = unknown> = {
+    name: string;
+    kind: 'rpc-stream';
+    config: {
+        description?: string;
+        schema?: {
+            params?: TJSONSchema;
+            yieldType?: TJSONSchema;
+            returnType?: TJSONSchema;
+        };
+        validation?: {
+            params?: Validate;
+            yield?: Validate;
+        };
+        validateYields?: boolean;
+    } & TExtendedConfig;
+    handler: (ctx: TContext, params?: any) => AsyncGenerator<any, any, unknown>;
+};
+export type HttpMethod = 'get' | 'post' | 'put' | 'delete' | 'patch' | 'head';
+export type TCreateHttpConfig<TReq, TRes, TErrorKey extends string = string> = {
+    path: string;
+    method: HttpMethod;
+    successStatus?: number;
+    scope?: string;
+    errors?: TErrorKey[];
+    description?: string;
+    /** Optional — a no-input, no-output route (e.g. a 204 logout) may omit it. */
+    schema?: {
+        req?: TReq;
+        res?: TRes;
+    };
+};
+export type THttpProcedureRegistration<TContext = unknown> = {
+    name: string;
+    kind: 'http';
+    config: {
+        path: string;
+        method: HttpMethod;
+        successStatus?: number;
+        scope?: string;
+        errors?: string[];
+        description?: string;
+        schema?: {
+            req?: Record<string, TJSONSchema>;
+            res?: {
+                body?: TJSONSchema;
+                headers?: TJSONSchema;
+            };
+        };
+        validation?: {
+            req?: Record<string, Validate>;
+        };
+    };
+    handler: (ctx: TContext, req?: any) => Promise<any>;
+};
+export type THttpStreamProcedureRegistration<TContext = unknown> = {
+    name: string;
+    kind: 'http-stream';
+    config: {
+        path: string;
+        method: HttpMethod;
+        scope?: string;
+        errors?: string[];
+        description?: string;
+        schema?: {
+            req?: Record<string, TJSONSchema>;
+            res?: {
+                headers?: TJSONSchema;
+            };
+            yield?: TJSONSchema;
+            returnType?: TJSONSchema;
+        };
+        validation?: {
+            req?: Record<string, Validate>;
+            yield?: Validate;
+        };
+        validateYields?: boolean;
+    };
+    handler: (ctx: TContext, req?: any) => Promise<{
+        stream: AsyncGenerator<any, any, unknown>;
+        initialHeaders?: Record<string, string>;
+    }>;
+};
+/**
+ * The shape every creator returns: the handler under its own name (so
+ * `const { GetUser } = Create('GetUser', ...)` works), the same handler as
+ * `procedure`, and the introspectable `info`.
+ */
+export type ProcedureResult<TName extends string, THandler, TInfo> = {
+    [K in TName]: THandler;
+} & {
+    procedure: THandler;
+    info: TInfo;
+};
+/** Union of all four registration shapes a factory can hold. */
+export type AnyProcedureRegistration<TContext = unknown, TExtendedConfig = unknown> = TProcedureRegistration<TContext, TExtendedConfig> | TStreamProcedureRegistration<TContext, TExtendedConfig> | THttpProcedureRegistration<TContext> | THttpStreamProcedureRegistration<TContext>;
+/**
+ * Options for `Procedures()`.
+ */
+export type ProceduresOptions<TContext = unknown, TExtendedConfig = unknown> = {
+    /**
+     * Called once per registered procedure with the full registration object.
+     * Use the `kind` discriminant to narrow to the specific shape. This is the
+     * seam for custom framework integration (Fastify, Koa, raw http, ...).
+     */
+    onCreate?: (procedure: AnyProcedureRegistration<TContext, TExtendedConfig>) => void;
+    /**
+     * Runtime validation behavior:
+     * - omitted — validate every call with the default AJV configuration
+     *   (`allErrors`, `coerceTypes`, `removeAdditional`)
+     * - `false` — skip per-call validation for the whole factory. JSON Schema
+     *   and validators are still computed at registration time (bad schemas
+     *   still fail fast); only the per-call runs are skipped. For trusted
+     *   internal factories whose callers are type-checked at build time.
+     * - `{ ajv }` — AJV options merged over the defaults, or a configured
+     *   `Ajv` instance used as-is.
+     */
+    validation?: false | {
+        ajv?: AJV.Ajv | AJV.Options;
+    };
+    /**
+     * Schema-library integration. TypeBox is built in; prepend adapters here to
+     * register procedures with other schema libraries (see `SchemaAdapter`).
+     */
+    schema?: {
+        adapters?: SchemaAdapter[];
+    };
+    /**
+     * Factory-level defaults for `CreateHttp` / `CreateHttpStream` routes:
+     * - `pathPrefix` — prepended to every route's `path` at registration time
+     *   (this is part of the route's identity, unlike a server adapter's mount
+     *   prefix)
+     * - `scope` — default codegen scope for routes that don't set one
+     */
+    http?: {
+        pathPrefix?: string;
+        scope?: string;
+    };
+};

package/build/{schema → core}/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/schema/types.ts"],"names":[],"mappings":""}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/core/types.ts"],"names":[],"mappings":""}

package/build/exports.d.ts

@@ -1,11 +1,31 @@
-export * from './index.js';
-export * from './errors.js';
-export * from './stack-utils.js';
-export * from './schema/extract-json-schema.js';
-export * from './schema/parser.js';
-export * from './schema/resolve-schema-lib.js';
-export * from './schema/types.js';
-export type { HttpReturn } from './create-http.js';
-export type { TCreateHttpConfig } from './types.js';
-export { writeDocEnvelope, type DocEnvelopeSource } from './doc-envelope.js';
-export type { DocEnvelope } from './implementations/types.js';
+/**
+ * ts-procedures — root entry point.
+ *
+ * Subpath exports:
+ * - `ts-procedures/hono` — HonoAppBuilder server adapter
+ * - `ts-procedures/astro` — Astro catch-all adapter (delegates to Hono apps)
+ * - `ts-procedures/server` — transport-agnostic server layer (build your own adapter)
+ * - `ts-procedures/http` — HTTP doc/config types (types only)
+ * - `ts-procedures/http-docs` — DocRegistry (multi-app envelope aggregation)
+ * - `ts-procedures/http-errors` — error taxonomy helpers
+ * - `ts-procedures/client` — runtime client for generated code
+ * - `ts-procedures/codegen` — client code generation (also: npx ts-procedures-codegen)
+ */
+export { Procedures } from './core/procedures.js';
+export type { ProceduresOptions, ProcedureKind, AnyProcedureRegistration, TProcedureRegistration, TStreamProcedureRegistration, THttpProcedureRegistration, THttpStreamProcedureRegistration, TCreateHttpConfig, TLocalContext, TStreamContext, TNoContextProvided, HttpMethod, } from './core/types.js';
+export type { HttpReturn } from './core/create-http.js';
+export { ProcedureError, ProcedureValidationError, ProcedureRegistrationError, ProcedureYieldValidationError, } from './core/errors.js';
+export type { ProcedureErrorKind } from './core/errors.js';
+export { captureDefinitionInfo, formatDefinitionInfo } from './core/definition-site.js';
+export type { DefinitionInfo, DefinitionLocation } from './core/definition-site.js';
+export type { SchemaAdapter } from './schema/adapter.js';
+export { extractJsonSchema } from './schema/adapter.js';
+export { typeboxAdapter, isTypeboxSchema } from './schema/typebox.js';
+export { computeSchema } from './schema/compute-schema.js';
+export type { ComputedSchema } from './schema/compute-schema.js';
+export { createValidatorCompiler, DEFAULT_AJV_OPTIONS } from './schema/compile.js';
+export type { Validate, ValidatorCompiler, ValidationOptions, TSchemaValidationError, } from './schema/compile.js';
+export type { Infer, TSchemaLib, TJSONSchema, Prettify } from './schema/json-schema.js';
+export { writeDocEnvelope } from './server/doc-envelope.js';
+export type { DocEnvelopeSource } from './server/doc-envelope.js';
+export type { DocEnvelope } from './server/types.js';

package/build/exports.js

@@ -1,9 +1,24 @@
-export * from './index.js';
-export * from './errors.js';
-export * from './stack-utils.js';
-export * from './schema/extract-json-schema.js';
-export * from './schema/parser.js';
-export * from './schema/resolve-schema-lib.js';
-export * from './schema/types.js';
-export { writeDocEnvelope } from './doc-envelope.js';
+/**
+ * ts-procedures — root entry point.
+ *
+ * Subpath exports:
+ * - `ts-procedures/hono` — HonoAppBuilder server adapter
+ * - `ts-procedures/astro` — Astro catch-all adapter (delegates to Hono apps)
+ * - `ts-procedures/server` — transport-agnostic server layer (build your own adapter)
+ * - `ts-procedures/http` — HTTP doc/config types (types only)
+ * - `ts-procedures/http-docs` — DocRegistry (multi-app envelope aggregation)
+ * - `ts-procedures/http-errors` — error taxonomy helpers
+ * - `ts-procedures/client` — runtime client for generated code
+ * - `ts-procedures/codegen` — client code generation (also: npx ts-procedures-codegen)
+ */
+// Core — the Procedures factory and everything handlers touch
+export { Procedures } from './core/procedures.js';
+export { ProcedureError, ProcedureValidationError, ProcedureRegistrationError, ProcedureYieldValidationError, } from './core/errors.js';
+export { captureDefinitionInfo, formatDefinitionInfo } from './core/definition-site.js';
+export { extractJsonSchema } from './schema/adapter.js';
+export { typeboxAdapter, isTypeboxSchema } from './schema/typebox.js';
+export { computeSchema } from './schema/compute-schema.js';
+export { createValidatorCompiler, DEFAULT_AJV_OPTIONS } from './schema/compile.js';
+// Doc envelope — offline codegen input
+export { writeDocEnvelope } from './server/doc-envelope.js';
 //# sourceMappingURL=exports.js.map

package/build/exports.js.map

@@ -1 +1 @@
-{"version":3,"file":"exports.js","sourceRoot":"","sources":["../src/exports.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,aAAa,CAAA;AAC3B,cAAc,kBAAkB,CAAA;AAChC,cAAc,iCAAiC,CAAA;AAC/C,cAAc,oBAAoB,CAAA;AAClC,cAAc,gCAAgC,CAAA;AAC9C,cAAc,mBAAmB,CAAA;AAGjC,OAAO,EAAE,gBAAgB,EAA0B,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"exports.js","sourceRoot":"","sources":["../src/exports.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,8DAA8D;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAgBjD,OAAO,EACL,cAAc,EACd,wBAAwB,EACxB,0BAA0B,EAC1B,6BAA6B,GAC9B,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAA;AAKvF,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAA;AACvD,OAAO,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAA;AACrE,OAAO,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAA;AAE1D,OAAO,EAAE,uBAAuB,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AASlF,uCAAuC;AACvC,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA"}

package/build/schema/adapter.d.ts

@@ -0,0 +1,35 @@
+import type { TJSONSchema } from './json-schema.js';
+/**
+ * Bridges a schema library to the framework.
+ *
+ * The framework only ever needs one thing from a schema object: its JSON
+ * Schema. Everything downstream (AJV validation, route docs, codegen) works on
+ * JSON Schema. Implement this interface to plug in any schema library:
+ *
+ * ```ts
+ * const zodAdapter: SchemaAdapter = {
+ *   name: 'zod',
+ *   detect: (s) => s instanceof z.ZodType,
+ *   toJsonSchema: (s) => z.toJSONSchema(s as z.ZodType),
+ * }
+ * const { Create } = Procedures({ schema: { adapters: [zodAdapter] } })
+ * ```
+ *
+ * Note: compile-time type inference (`Infer<T>`) is only built in for TypeBox;
+ * custom adapters get runtime validation and docs, with params inferred as
+ * `unknown` unless you annotate handler types yourself.
+ */
+export interface SchemaAdapter {
+    /** Short identifier used in registration error messages. */
+    name: string;
+    /** Whether this adapter recognizes the given schema object. */
+    detect(schema: unknown): boolean;
+    /** Converts a recognized schema object to JSON Schema. */
+    toJsonSchema(schema: unknown): TJSONSchema;
+}
+/**
+ * Runs the adapter chain against a schema value. Returns the JSON Schema from
+ * the first adapter whose `detect` matches, or `undefined` when no adapter
+ * recognizes the value (the caller reports the registration error).
+ */
+export declare function extractJsonSchema(schema: unknown, adapters: readonly SchemaAdapter[]): TJSONSchema | undefined;

package/build/schema/adapter.js

@@ -0,0 +1,13 @@
+/**
+ * Runs the adapter chain against a schema value. Returns the JSON Schema from
+ * the first adapter whose `detect` matches, or `undefined` when no adapter
+ * recognizes the value (the caller reports the registration error).
+ */
+export function extractJsonSchema(schema, adapters) {
+    for (const adapter of adapters) {
+        if (adapter.detect(schema))
+            return adapter.toJsonSchema(schema);
+    }
+    return undefined;
+}
+//# sourceMappingURL=adapter.js.map

package/build/schema/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../../src/schema/adapter.ts"],"names":[],"mappings":"AA+BA;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAe,EACf,QAAkC;IAElC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC;YAAE,OAAO,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAA;IACjE,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC"}