ts-procedures 9.2.0 → 9.3.0

package/CHANGELOG.md

@@ -4,6 +4,13 @@ All notable changes to **ts-procedures** are documented in this file.
 
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/), and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
+## Unreleased
+
+## 9.3.0 — 2026-06-25
+
+### Improved
+- **DX: autocomplete for HTTP procedure schema channels.** `CreateHttp` and `CreateHttpStream` now surface `THttpReqInput` (and its alias `APIInput`) / `THttpResInput` inside `TCreateHttpConfig` so IDEs offer `pathParams | query | body | headers` (and `body | headers` for res) when writing `schema: { req: { ... }, res: { ... } }`. A small `HttpSchemaInput` helper keeps the public bag generics (`TReq`/`TRes`) while making literal keys visible. `satisfies APIInput` continues to work for extra checking. Same shapes are reused by `CreateHttpStream` for consistency.
+
 ## 9.2.0 — 2026-06-19
 
 Driven by downstream codegen feedback. Three classes of non-compiling generated

package/agent_config/claude-code/skills/ts-procedures/api-reference.md

@@ -183,26 +183,15 @@ Registers a unary HTTP procedure (v8+). First-class surface for REST-style route
 ```typescript
 function CreateHttp<
   TName extends string,
-  TReq extends { pathParams?: unknown; query?: unknown; body?: unknown; headers?: unknown } = {},
-  TRes extends { body?: unknown; headers?: unknown } = {},
+  TReq extends THttpReqInput | undefined = undefined,
+  TRes extends THttpResInput | undefined = undefined,
   TErrorKey extends string = string
 >(
   name: TName,
-  config: {
-    path: string
-    method: HttpMethod
-    successStatus?: number
-    scope?: string
-    errors?: TErrorKey[]
-    description?: string
-    schema: {
-      req?: TReq
-      res?: TRes
-    }
-  },
+  config: TCreateHttpConfig<TReq, TRes, TErrorKey>,
   handler: (
     ctx: TContext & TLocalContext,
-    req: { [K in keyof TReq]: Infer<TReq[K]> }
+    req: HttpReq<TReq>
   ) => Promise<HttpReturn<TRes>>
 ): {
   [K in TName]: typeof handler
@@ -215,7 +204,7 @@ function CreateHttp<
 
 - `config.path` — Route path. Supports Hono-style path params (`:id`).
 - `config.method` — HTTP method.
-- `config.schema.req` — Per-channel input schemas. Channels: `pathParams`, `query`, `body`, `headers`. Each channel independently validated.
+- `config.schema.req` — Per-channel input schemas. The keys `pathParams`, `query`, `body`, `headers` are surfaced by `THttpReqInput` (and `APIInput`) for autocomplete and `satisfies` checks. Each channel independently validated.
 - `config.schema.res.body` — Response body schema (documentation; not runtime-validated).
 - `config.schema.res.headers` — When declared, handler **must** return `{ body, headers }` instead of the body bare. The builder reads `headers` and forwards them to the HTTP response.
 - `config.errors` — Taxonomy keys this route may emit (populates DocEnvelope for codegen).
@@ -1010,26 +999,40 @@ interface StreamHttpRouteDoc extends RPCConfig {
 }
 ```
 
-### TCreateHttpConfig (v8)
+### TCreateHttpConfig
 
 Config type for `CreateHttp`. HTTP fields are first-class — no `APIConfig` type parameter needed on the factory.
 
+The `schema.req` and `schema.res` use special input shapes (`THttpReqInput`, `THttpResInput`) so that object literals get autocomplete for the channel keys (`pathParams`, `query`, `body`, `headers`). `TReq` / `TRes` carry the user's concrete schema types for inference.
+
 ```typescript
-type TCreateHttpConfig<TReq, TRes, TErrorKey extends string = string> = {
+type TCreateHttpConfig<
+  TReq extends THttpReqInput | undefined = undefined,
+  TRes extends THttpResInput | undefined = undefined,
+  TErrorKey extends string = string,
+> = {
   path: string
   method: HttpMethod
   successStatus?: number
   scope?: string
   errors?: TErrorKey[]
   description?: string
-  schema: {
-    req?: TReq   // per-channel input: { pathParams?, query?, body?, headers? }
-    res?: TRes   // structured response: { body?, headers? }
+  schema?: {
+    req?: HttpSchemaInput<THttpReqInput, TReq>
+    res?: HttpSchemaInput<THttpResInput, TRes>
   }
 }
 ```
 
-### APIHttpRouteDoc (v8)
+`APIInput` (re-exported from `ts-procedures/http`) is an alias for `THttpReqInput` and is the recommended type for `satisfies` checks on `req`:
+
+```ts
+req: { pathParams: ..., query: ... } satisfies APIInput
+```
+
+See also `THttpReqInput`, `THttpResInput`, `HttpSchemaInput`, and `APIInput`.
+
+### APIHttpRouteDoc
 
 ```typescript
 interface APIHttpRouteDoc {

package/build/core/create-http-stream.d.ts

@@ -1,23 +1,13 @@
 import type { Infer, Prettify } from '../schema/json-schema.js';
 import type { FactoryRuntime } from './internal.js';
-import type { HttpMethod, ProcedureResult, TStreamContext } from './types.js';
-type HttpReq<TReq> = TReq extends Record<string, unknown> ? Prettify<{
-    [K in keyof TReq]: Infer<TReq[K]>;
-}> : undefined;
-export declare function makeCreateHttpStream<TContext>(runtime: FactoryRuntime<TContext, any>): <TName extends string, TReq extends Record<string, unknown> | undefined, TYieldType, TReturnType = void, TResHeaders = undefined, TErrorKey extends string = string>(name: TName, config: {
+import type { HttpMethod, HttpReq, ProcedureResult, THttpReqInput, THttpStreamSchema, TStreamContext } from './types.js';
+export declare function makeCreateHttpStream<TContext>(runtime: FactoryRuntime<TContext, any>): <TName extends string, TReq extends THttpReqInput | undefined, TYieldType, TReturnType = void, TResHeaders = undefined, TErrorKey extends string = string>(name: TName, config: {
     path: string;
     method: HttpMethod;
     scope?: string;
     errors?: TErrorKey[];
     description?: string;
-    schema: {
-        req?: TReq;
-        yield?: TYieldType;
-        returnType?: TReturnType;
-        res?: TResHeaders extends undefined ? undefined : {
-            headers: TResHeaders;
-        };
-    };
+    schema: THttpStreamSchema<TReq, TYieldType, TReturnType, TResHeaders>;
     validateYields?: boolean;
 }, handler: TResHeaders extends undefined ? (ctx: Prettify<TContext & TStreamContext>, req: HttpReq<TReq>) => AsyncGenerator<Infer<TYieldType>, Infer<TReturnType> | void, unknown> : (ctx: Prettify<TContext & TStreamContext>, req: HttpReq<TReq>) => Promise<{
     headers: Infer<TResHeaders>;
@@ -47,4 +37,3 @@ export declare function makeCreateHttpStream<TContext>(runtime: FactoryRuntime<T
     name: TName;
     kind: "http-stream";
 }>;
-export {};

package/build/core/create-http-stream.js.map

@@ -1 +1 @@
-{"version":3,"file":"create-http-stream.js","sourceRoot":"","sources":["../../src/core/create-http-stream.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAE3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAA;AAC5E,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,eAAe,CAAA;AAQtB,MAAM,UAAU,oBAAoB,CAAW,OAAsC;IACnF;;;;;;;;OAQG;IACH,OAAO,SAAS,gBAAgB,CAQ9B,IAAW,EACX,MAaC,EACD,OAWM;QAEN,MAAM,cAAc,GAAG,qBAAqB,EAAE,CAAA;QAE9C,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;QAC1D,IAAK,MAAM,CAAC,MAAc,EAAE,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,0BAA0B,CAClC,IAAI,EACJ,uGAAuG,IAAI,IAAI,EAC/G,cAAc,CACf,CAAA;QACH,CAAC;QAED,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,aAAa,CAC/C,IAAI,EACJ;YACE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAA0C;YAC7D,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK;YAC9B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU;YACpC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAwC;SAC5D,EACD,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,CACzE,CAAA;QAED,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,YAAY,EAAE,KAAK,CAAA;QAEzD,MAAM,gBAAgB,GAAI,UAAU,CAAC,GAA2C,EAAE,UAAU,CAAA;QAC5F,yBAAyB,CACvB,IAAI,EACJ,IAAI,EACJ,gBAAuD,EACvD,cAAc,CACf,CAAA;QAED,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,IAAa,EAAE,EAAE,CACtD,IAAI,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;QACzD,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,IAAI,KAAK,CAAA;QAErD,MAAM,cAAc,GAAG,KAAK,EAC1B,GAAa,EACb,GAAQ,EACyF,EAAE;YACnG,MAAM,eAAe,GAAG,IAAI,eAAe,EAAE,CAAA;YAE7C,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;gBACxC,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,cAAc,CAAC,CAAA;YACjE,CAAC;YAED,MAAM,cAAc,GAAI,GAAgC,CAAC,MAAM,CAAA;YAC/D,MAAM,SAAS,GAAmB;gBAChC,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,cAAc,CAAC,cAAc,EAAE,eAAe,CAAC,MAAM,CAAC;aAC/D,CAAA;YAED,MAAM,aAAa,GAAS,OAAe,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,SAAS,EAAE,EAAE,GAAG,CAAC,CAAA;YAC1E,MAAM,YAAY,GAAG;gBACnB,IAAI;gBACJ,cAAc;gBACd,aAAa,EAAE,WAAW,CAAC,KAAK;gBAChC,eAAe;gBACf,cAAc;aACf,CAAA;YAED,IAAI,OAAO,aAAa,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,UAAU,EAAE,CAAC;gBAChE,kCAAkC;gBAClC,MAAM,YAAY,GAAI,aAAmD,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAA;gBACjG,OAAO,EAAE,MAAM,EAAE,iBAAiB,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAA;YAClE,CAAC;iBAAM,IAAI,OAAO,aAAa,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBACrD,+CAA+C;gBAC/C,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAA;gBACpC,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,EAAE,CAAC;oBACzE,MAAM,IAAI,cAAc,CACtB,IAAI,EACJ,iGAAiG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAC3H,SAAS,EACT,cAAc,CACf,CAAA;gBACH,CAAC;gBACD,MAAM,YAAY,GAAI,QAAQ,CAAC,MAA4C,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAA;gBACnG,OAAO;oBACL,MAAM,EAAE,iBAAiB,CAAC,YAAY,EAAE,YAAY,CAAC;oBACrD,cAAc,EAAE,QAAQ,CAAC,OAAO;iBACjC,CAAA;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,cAAc,CACtB,IAAI,EACJ,yFAAyF,EACzF,SAAS,EACT,cAAc,CACf,CAAA;YACH,CAAC;QACH,CAAC,CAAA;QAED,yEAAyE;QACzE,yEAAyE;QACzE,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,kBAAkB,GAAG;YACzB,GAAG,CAAC,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC;YAC5D,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1F,GAAG,CAAC,UAAU,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,SAAS,EAAE,CAAC;YAC1E,GAAG,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;SAClF,CAAA;QAED,MAAM,mBAAmB,GAA+C;YACtE,IAAI;YACJ,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE;gBACN,IAAI;gBACJ,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,KAAK;gBACL,MAAM,EAAE,MAAM,CAAC,MAA8B;gBAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,MAAM,EAAE,kBAAkB;gBAC1B,UAAU,EAAE,EAAE,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE;gBAC9D,cAAc;aACf;YACD,OAAO,EAAE,cAAqB;SAC/B,CAAA;QAED,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,mBAA0B,CAAC,CAAA;QACtD,OAAO,CAAC,QAAQ,EAAE,CAAC,mBAA0B,CAAC,CAAA;QAE9C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,aAAsB,EAAE,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAA;QAalF,OAAO;YACL,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC,OAAO;YACnC,SAAS,EAAE,mBAAmB,CAAC,OAAO;YACtC,IAAI;SAC2C,CAAA;IACnD,CAAC,CAAA;AACH,CAAC"}
+{"version":3,"file":"create-http-stream.js","sourceRoot":"","sources":["../../src/core/create-http-stream.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAE3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAA;AAC5E,OAAO,EACL,kBAAkB,EAClB,cAAc,EACd,iBAAiB,EACjB,oBAAoB,EACpB,mBAAmB,GACpB,MAAM,eAAe,CAAA;AAYtB,MAAM,UAAU,oBAAoB,CAAW,OAAsC;IACnF;;;;;;;;OAQG;IACH,OAAO,SAAS,gBAAgB,CAQ9B,IAAW,EACX,MAQC,EACD,OAWM;QAEN,MAAM,cAAc,GAAG,qBAAqB,EAAE,CAAA;QAE9C,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;QAC1D,IAAK,MAAM,CAAC,MAAc,EAAE,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,0BAA0B,CAClC,IAAI,EACJ,uGAAuG,IAAI,IAAI,EAC/G,cAAc,CACf,CAAA;QACH,CAAC;QAED,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,aAAa,CAC/C,IAAI,EACJ;YACE,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAA0C;YAC7D,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK;YAC9B,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU;YACpC,GAAG,EAAE,MAAM,CAAC,MAAM,CAAC,GAAwC;SAC5D,EACD,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,CACzE,CAAA;QAED,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,YAAY,EAAE,KAAK,CAAA;QAEzD,MAAM,gBAAgB,GAAI,UAAU,CAAC,GAA2C,EAAE,UAAU,CAAA;QAC5F,yBAAyB,CACvB,IAAI,EACJ,IAAI,EACJ,gBAAuD,EACvD,cAAc,CACf,CAAA;QAED,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,IAAa,EAAE,EAAE,CACtD,IAAI,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;QACzD,MAAM,cAAc,GAAG,MAAM,CAAC,cAAc,IAAI,KAAK,CAAA;QAErD,MAAM,cAAc,GAAG,KAAK,EAC1B,GAAa,EACb,GAAQ,EACyF,EAAE;YACnG,MAAM,eAAe,GAAG,IAAI,eAAe,EAAE,CAAA;YAE7C,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;gBACxC,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,cAAc,CAAC,CAAA;YACjE,CAAC;YAED,MAAM,cAAc,GAAI,GAAgC,CAAC,MAAM,CAAA;YAC/D,MAAM,SAAS,GAAmB;gBAChC,KAAK,EAAE,YAAY;gBACnB,MAAM,EAAE,cAAc,CAAC,cAAc,EAAE,eAAe,CAAC,MAAM,CAAC;aAC/D,CAAA;YAED,MAAM,aAAa,GAAS,OAAe,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,SAAS,EAAE,EAAE,GAAG,CAAC,CAAA;YAC1E,MAAM,YAAY,GAAG;gBACnB,IAAI;gBACJ,cAAc;gBACd,aAAa,EAAE,WAAW,CAAC,KAAK;gBAChC,eAAe;gBACf,cAAc;aACf,CAAA;YAED,IAAI,OAAO,aAAa,EAAE,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,UAAU,EAAE,CAAC;gBAChE,kCAAkC;gBAClC,MAAM,YAAY,GAAI,aAAmD,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAA;gBACjG,OAAO,EAAE,MAAM,EAAE,iBAAiB,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAA;YAClE,CAAC;iBAAM,IAAI,OAAO,aAAa,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;gBACrD,+CAA+C;gBAC/C,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAA;gBACpC,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,IAAI,QAAQ,CAAC,EAAE,CAAC;oBACzE,MAAM,IAAI,cAAc,CACtB,IAAI,EACJ,iGAAiG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,EAC3H,SAAS,EACT,cAAc,CACf,CAAA;gBACH,CAAC;gBACD,MAAM,YAAY,GAAI,QAAQ,CAAC,MAA4C,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAA;gBACnG,OAAO;oBACL,MAAM,EAAE,iBAAiB,CAAC,YAAY,EAAE,YAAY,CAAC;oBACrD,cAAc,EAAE,QAAQ,CAAC,OAAO;iBACjC,CAAA;YACH,CAAC;iBAAM,CAAC;gBACN,MAAM,IAAI,cAAc,CACtB,IAAI,EACJ,yFAAyF,EACzF,SAAS,EACT,cAAc,CACf,CAAA;YACH,CAAC;QACH,CAAC,CAAA;QAED,yEAAyE;QACzE,yEAAyE;QACzE,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,kBAAkB,GAAG;YACzB,GAAG,CAAC,UAAU,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC;YAC5D,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC;YAC1F,GAAG,CAAC,UAAU,CAAC,SAAS,KAAK,SAAS,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,SAAS,EAAE,CAAC;YAC1E,GAAG,CAAC,UAAU,CAAC,UAAU,KAAK,SAAS,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;SAClF,CAAA;QAED,MAAM,mBAAmB,GAA+C;YACtE,IAAI;YACJ,IAAI,EAAE,aAAa;YACnB,MAAM,EAAE;gBACN,IAAI;gBACJ,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,KAAK;gBACL,MAAM,EAAE,MAAM,CAAC,MAA8B;gBAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,MAAM,EAAE,kBAAkB;gBAC1B,UAAU,EAAE,EAAE,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE;gBAC9D,cAAc;aACf;YACD,OAAO,EAAE,cAAqB;SAC/B,CAAA;QAED,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,mBAA0B,CAAC,CAAA;QACtD,OAAO,CAAC,QAAQ,EAAE,CAAC,mBAA0B,CAAC,CAAA;QAE9C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,aAAsB,EAAE,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAA;QAalF,OAAO;YACL,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC,OAAO;YACnC,SAAS,EAAE,mBAAmB,CAAC,OAAO;YACtC,IAAI;SAC2C,CAAA;IACnD,CAAC,CAAA;AACH,CAAC"}

package/build/core/create-http.d.ts

@@ -1,6 +1,6 @@
 import type { Infer, Prettify } from '../schema/json-schema.js';
 import type { FactoryRuntime } from './internal.js';
-import type { ProcedureResult, TCreateHttpConfig, TLocalContext } from './types.js';
+import type { HttpReq, ProcedureResult, TCreateHttpConfig, THttpReqInput, THttpResInput, TLocalContext } from './types.js';
 /**
  * The handler return shape is gated by the DECLARED response schema, not by
  * duck-typing the returned value — so domain objects that happen to have
@@ -22,13 +22,7 @@ export type HttpReturn<TRes> = TRes extends {
 } : TRes extends {
     body: infer B;
 } ? Infer<B> : void;
-type HttpReq<TReq> = TReq extends Record<string, unknown> ? Prettify<{
-    [K in keyof TReq]: Infer<TReq[K]>;
-}> : undefined;
-export declare function makeCreateHttp<TContext>(runtime: FactoryRuntime<TContext, any>): <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: TCreateHttpConfig<TReq, TRes, TErrorKey>, handler: (ctx: Prettify<TContext & TLocalContext>, req: HttpReq<TReq>) => Promise<HttpReturn<TRes>>) => ProcedureResult<TName, (ctx: Prettify<TContext>, req: HttpReq<TReq>) => Promise<HttpReturn<TRes>>, {
+export declare function makeCreateHttp<TContext>(runtime: FactoryRuntime<TContext, any>): <TName extends string, TReq extends THttpReqInput | undefined = undefined, TRes extends THttpResInput | undefined = undefined, TErrorKey extends string = string>(name: TName, config: TCreateHttpConfig<TReq, TRes, TErrorKey>, handler: (ctx: Prettify<TContext & TLocalContext>, req: HttpReq<TReq>) => Promise<HttpReturn<TRes>>) => ProcedureResult<TName, (ctx: Prettify<TContext>, req: HttpReq<TReq>) => Promise<HttpReturn<TRes>>, {
     path: string;
     method: import("./types.js").HttpMethod;
     successStatus?: number;
@@ -48,4 +42,3 @@ export declare function makeCreateHttp<TContext>(runtime: FactoryRuntime<TContex
     name: TName;
     kind: "http";
 }>;
-export {};

package/build/core/create-http.js.map

@@ -1 +1 @@
-{"version":3,"file":"create-http.js","sourceRoot":"","sources":["../../src/core/create-http.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAE3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAA;AAC5E,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,eAAe,CAAA;AAsBtB,MAAM,UAAU,cAAc,CAAW,OAAsC;IAC7E;;;;;;OAMG;IACH,OAAO,SAAS,UAAU,CAMxB,IAAW,EACX,MAAgD,EAChD,OAAmG;QAEnG,MAAM,cAAc,GAAG,qBAAqB,EAAE,CAAA;QAE9C,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;QAE1D,IAAK,MAAM,CAAC,MAAc,EAAE,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,0BAA0B,CAClC,IAAI,EACJ,iGAAiG,IAAI,IAAI,EACzG,cAAc,CACf,CAAA;QACH,CAAC;QAED,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,aAAa,CAC/C,IAAI,EACJ;YACE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAA0C;YAC9D,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAwD;SAC7E,EACD,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,CACzE,CAAA;QAED,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,YAAY,EAAE,KAAK,CAAA;QAEzD,MAAM,gBAAgB,GAAI,UAAU,CAAC,GAA2C,EAAE,UAAU,CAAA;QAC5F,yBAAyB,CACvB,IAAI,EACJ,IAAI,EACJ,gBAAuD,EACvD,cAAc,CACf,CAAA;QAED,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,IAAa,EAAE,EAAE,CACtD,IAAI,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;QAEzD,MAAM,mBAAmB,GAAyC;YAChE,IAAI;YACJ,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE;gBACN,IAAI;gBACJ,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,KAAK;gBACL,MAAM,EAAE,MAAM,CAAC,MAA8B;gBAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,MAAM,EAAE,UAAiB;gBACzB,UAAU,EAAE,EAAE,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE;aACrC;YACD,OAAO,EAAE,KAAK,EAAE,GAAa,EAAE,GAAQ,EAAE,EAAE;gBACzC,IAAI,CAAC;oBACH,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;wBACxC,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,cAAc,CAAC,CAAA;oBACjE,CAAC;oBAED,MAAM,QAAQ,GAAkB,EAAE,KAAK,EAAE,YAAY,EAAE,CAAA;oBACvD,OAAO,MAAM,OAAO,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,QAAQ,EAAS,EAAE,GAAG,CAAC,CAAA;gBAC3D,CAAC;gBAAC,OAAO,KAAU,EAAE,CAAC;oBACpB,MAAM,gBAAgB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAA;gBACrD,CAAC;YACH,CAAC;SACF,CAAA;QAED,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,mBAA0B,CAAC,CAAA;QACtD,OAAO,CAAC,QAAQ,EAAE,CAAC,mBAA0B,CAAC,CAAA;QAE9C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAe,EAAE,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAA;QAI3E,OAAO;YACL,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC,OAAO;YACnC,SAAS,EAAE,mBAAmB,CAAC,OAAO;YACtC,IAAI;SAC2C,CAAA;IACnD,CAAC,CAAA;AACH,CAAC"}
+{"version":3,"file":"create-http.js","sourceRoot":"","sources":["../../src/core/create-http.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,0BAA0B,EAAE,MAAM,aAAa,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAA;AAE3D,OAAO,EAAE,qBAAqB,EAAE,MAAM,sBAAsB,CAAA;AAC5D,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,iBAAiB,CAAA;AAC5E,OAAO,EACL,kBAAkB,EAClB,oBAAoB,EACpB,gBAAgB,EAChB,mBAAmB,GACpB,MAAM,eAAe,CAAA;AA0BtB,MAAM,UAAU,cAAc,CAAW,OAAsC;IAC7E;;;;;;OAMG;IACH,OAAO,SAAS,UAAU,CAMxB,IAAW,EACX,MAAgD,EAChD,OAAmG;QAEnG,MAAM,cAAc,GAAG,qBAAqB,EAAE,CAAA;QAE9C,kBAAkB,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;QAE1D,IAAK,MAAM,CAAC,MAAc,EAAE,MAAM,EAAE,CAAC;YACnC,MAAM,IAAI,0BAA0B,CAClC,IAAI,EACJ,iGAAiG,IAAI,IAAI,EACzG,cAAc,CACf,CAAA;QACH,CAAC;QAED,MAAM,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,aAAa,CAC/C,IAAI,EACJ;YACE,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAA0C;YAC9D,GAAG,EAAE,MAAM,CAAC,MAAM,EAAE,GAAwD;SAC7E,EACD,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,cAAc,EAAE,CACzE,CAAA;QAED,MAAM,IAAI,GAAG,eAAe,CAAC,OAAO,CAAC,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;QAC3E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,OAAO,CAAC,YAAY,EAAE,KAAK,CAAA;QAEzD,MAAM,gBAAgB,GAAI,UAAU,CAAC,GAA2C,EAAE,UAAU,CAAA;QAC5F,yBAAyB,CACvB,IAAI,EACJ,IAAI,EACJ,gBAAuD,EACvD,cAAc,CACf,CAAA;QAED,MAAM,YAAY,GAAG,CAAC,OAAe,EAAE,IAAa,EAAE,EAAE,CACtD,IAAI,cAAc,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,CAAC,CAAA;QAEzD,MAAM,mBAAmB,GAAyC;YAChE,IAAI;YACJ,IAAI,EAAE,MAAM;YACZ,MAAM,EAAE;gBACN,IAAI;gBACJ,MAAM,EAAE,MAAM,CAAC,MAAM;gBACrB,aAAa,EAAE,MAAM,CAAC,aAAa;gBACnC,KAAK;gBACL,MAAM,EAAE,MAAM,CAAC,MAA8B;gBAC7C,WAAW,EAAE,MAAM,CAAC,WAAW;gBAC/B,MAAM,EAAE,UAAiB;gBACzB,UAAU,EAAE,EAAE,GAAG,EAAE,WAAW,CAAC,GAAG,EAAE;aACrC;YACD,OAAO,EAAE,KAAK,EAAE,GAAa,EAAE,GAAQ,EAAE,EAAE;gBACzC,IAAI,CAAC;oBACH,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;wBACxC,mBAAmB,CAAC,IAAI,EAAE,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,cAAc,CAAC,CAAA;oBACjE,CAAC;oBAED,MAAM,QAAQ,GAAkB,EAAE,KAAK,EAAE,YAAY,EAAE,CAAA;oBACvD,OAAO,MAAM,OAAO,CAAC,EAAE,GAAG,GAAG,EAAE,GAAG,QAAQ,EAAS,EAAE,GAAG,CAAC,CAAA;gBAC3D,CAAC;gBAAC,OAAO,KAAU,EAAE,CAAC;oBACpB,MAAM,gBAAgB,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,CAAC,CAAA;gBACrD,CAAC;YACH,CAAC;SACF,CAAA;QAED,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,mBAA0B,CAAC,CAAA;QACtD,OAAO,CAAC,QAAQ,EAAE,CAAC,mBAA0B,CAAC,CAAA;QAE9C,MAAM,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAe,EAAE,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAA;QAI3E,OAAO;YACL,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC,OAAO;YACnC,SAAS,EAAE,mBAAmB,CAAC,OAAO;YACtC,IAAI;SAC2C,CAAA;IACnD,CAAC,CAAA;AACH,CAAC"}

package/build/core/create-http.test-d.d.ts

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

package/build/core/create-http.test-d.js

@@ -0,0 +1,104 @@
+import { Type } from 'typebox';
+import { describe, expectTypeOf, test } from 'vitest';
+import { Procedures } from './procedures.js';
+// ---------------------------------------------------------------------------
+// Type tests for HTTP input shape autocomplete / DX contract
+// These guard the shapes that power IDE autocomplete for schema.req / schema.res.
+// ---------------------------------------------------------------------------
+describe('THttpReqInput / THttpResInput / APIInput', () => {
+    test('APIInput accepts only the four known channels', () => {
+        // Valid
+        const good = {
+            pathParams: Type.Object({ id: Type.String() }),
+            query: Type.Object({}),
+            body: Type.Object({}),
+            headers: Type.Object({}),
+        };
+        expectTypeOf(good).toEqualTypeOf();
+        // Invalid channel should not be assignable
+        // @ts-expect-error - unknown channel name
+        const _bad = { wrong: Type.Object({}) };
+    });
+    test('THttpResInput shape', () => {
+        const resShape = {
+            body: Type.Object({ ok: Type.Boolean() }),
+            headers: Type.Object({ 'x-foo': Type.String() }),
+        };
+        expectTypeOf(resShape).toEqualTypeOf();
+    });
+});
+describe('TCreateHttpConfig shapes for literals', () => {
+    test('config literal gets the channel keys from the shape (autocomplete contract)', () => {
+        const cfg = {
+            path: '/x',
+            method: 'get',
+            schema: {
+                req: {
+                    // These keys should be suggested by the IDE
+                    pathParams: Type.Object({ id: Type.String() }),
+                    query: undefined,
+                },
+                res: {
+                    body: Type.Object({}),
+                },
+            },
+        };
+        expectTypeOf(cfg).toEqualTypeOf();
+    });
+    test('using satisfies APIInput on req is valid and preserves specific types', () => {
+        const req = {
+            pathParams: Type.Object({ id: Type.String() }),
+            query: Type.Object({ q: Type.Optional(Type.String()) }),
+        };
+        const cfg = {
+            path: '/y',
+            method: 'get',
+            schema: { req },
+        };
+        // The assignment succeeded, proving the shape accepted the keys
+        // (specific inference of TReq from literal is a bonus)
+    });
+});
+describe('handler inference via HttpReq / HttpReturn', () => {
+    const procs = Procedures();
+    test('full req shape produces correctly typed handler param', () => {
+        const { Get } = procs.CreateHttp('Get', {
+            path: '/u/:id',
+            method: 'get',
+            schema: {
+                req: {
+                    pathParams: Type.Object({ id: Type.String() }),
+                    query: Type.Object({ verbose: Type.Optional(Type.Boolean()) }),
+                },
+            },
+        }, async (_ctx, req) => {
+            expectTypeOf(req).toEqualTypeOf();
+            // no res schema => void
+            return undefined;
+        });
+        expectTypeOf().toEqualTypeOf();
+    });
+    test('res with headers produces { body, headers } return shape', () => {
+        const { WithHeaders } = procs.CreateHttp('WithHeaders', {
+            path: '/h',
+            method: 'get',
+            schema: {
+                res: {
+                    body: Type.Object({ data: Type.String() }),
+                    headers: Type.Object({ 'x-trace': Type.String() }),
+                },
+            },
+        }, async () => ({ body: { data: 'hi' }, headers: { 'x-trace': 'abc' } }));
+        expectTypeOf().toEqualTypeOf();
+    });
+    test('no schema.res yields void (204-style)', () => {
+        const { Logout } = procs.CreateHttp('Logout', { path: '/logout', method: 'post' }, async () => undefined);
+        expectTypeOf().toEqualTypeOf();
+    });
+});
+// Smoke test that HttpReq and HttpSchemaInput are exported and usable
+test('HttpReq and HttpSchemaInput are exported and usable', () => {
+    expectTypeOf().toHaveProperty('pathParams');
+    expectTypeOf().toHaveProperty('query');
+});
+//# sourceMappingURL=create-http.test-d.js.map

package/build/core/create-http.test-d.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-http.test-d.js","sourceRoot":"","sources":["../../src/core/create-http.test-d.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,SAAS,CAAA;AAC9B,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAErD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAW5C,8EAA8E;AAC9E,6DAA6D;AAC7D,kFAAkF;AAClF,8EAA8E;AAE9E,QAAQ,CAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;QACzD,QAAQ;QACR,MAAM,IAAI,GAAa;YACrB,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACtB,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YACrB,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;SACzB,CAAA;QACD,YAAY,CAAC,IAAI,CAAC,CAAC,aAAa,EAAY,CAAA;QAE5C,2CAA2C;QAC3C,0CAA0C;QAC1C,MAAM,IAAI,GAAa,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAQ,EAAE,CAAA;IAC1D,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE;QAC/B,MAAM,QAAQ,GAAkB;YAC9B,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACzC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;SACjD,CAAA;QACD,YAAY,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAiB,CAAA;IACvD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;QACvF,MAAM,GAAG,GAAsB;YAC7B,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,KAAK;YACb,MAAM,EAAE;gBACN,GAAG,EAAE;oBACH,4CAA4C;oBAC5C,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;oBAC9C,KAAK,EAAE,SAAS;iBACjB;gBACD,GAAG,EAAE;oBACH,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;iBACtB;aACF;SACF,CAAA;QACD,YAAY,CAAC,GAAG,CAAC,CAAC,aAAa,EAAqB,CAAA;IACtD,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;QACjF,MAAM,GAAG,GAAG;YACV,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;SACrC,CAAA;QAEpB,MAAM,GAAG,GAAkC;YACzC,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,EAAE,GAAG,EAAE;SAChB,CAAA;QAED,gEAAgE;QAChE,uDAAuD;IACzD,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,MAAM,KAAK,GAAG,UAAU,EAAE,CAAA;IAE1B,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC,UAAU,CAC9B,KAAK,EACL;YACE,IAAI,EAAE,QAAQ;YACd,MAAM,EAAE,KAAK;YACb,MAAM,EAAE;gBACN,GAAG,EAAE;oBACH,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;oBAC9C,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;iBAC/D;aACF;SACF,EACD,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;YAClB,YAAY,CAAC,GAAG,CAAC,CAAC,aAAa,EAG3B,CAAA;YACJ,wBAAwB;YACxB,OAAO,SAAS,CAAA;QAClB,CAAC,CACF,CAAA;QAGD,YAAY,EAA0B,CAAC,aAAa,EAGhD,CAAA;IACN,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC,UAAU,CACtC,aAAa,EACb;YACE,IAAI,EAAE,IAAI;YACV,MAAM,EAAE,KAAK;YACb,MAAM,EAAE;gBACN,GAAG,EAAE;oBACH,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;oBAC1C,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,CAAC;iBACnD;aACF;SACF,EACD,KAAK,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,CACtE,CAAA;QAGD,YAAY,EAAK,CAAC,aAAa,EAA8D,CAAA;IAC/F,CAAC,CAAC,CAAA;IAEF,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,CACjC,QAAQ,EACR,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,EACnC,KAAK,IAAI,EAAE,CAAC,SAAS,CACtB,CAAA;QAGD,YAAY,EAAK,CAAC,aAAa,EAAQ,CAAA;IACzC,CAAC,CAAC,CAAA;AACJ,CAAC,CAAC,CAAA;AAEF,sEAAsE;AACtE,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAE/D,YAAY,EAAc,CAAC,cAAc,CAAC,YAAY,CAAC,CAAA;IAIvD,YAAY,EAAK,CAAC,cAAc,CAAC,OAAO,CAAC,CAAA;AAC3C,CAAC,CAAC,CAAA"}

package/build/core/procedures.d.ts

@@ -70,10 +70,7 @@ export declare function Procedures<TContext = TNoContextProvided, TExtendedConfi
             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>>, {
+    CreateHttp: <TName extends string, TReq extends import("./types.js").THttpReqInput | undefined = undefined, TRes extends import("./types.js").THttpResInput | 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: import("./types.js").HttpReq<TReq>) => Promise<import("./create-http.js").HttpReturn<TRes>>) => import("./types.js").ProcedureResult<TName, (ctx: { [Key in keyof TContext]: TContext[Key]; }, req: import("./types.js").HttpReq<TReq>) => Promise<import("./create-http.js").HttpReturn<TRes>>, {
         path: string;
         method: import("./types.js").HttpMethod;
         successStatus?: number;
@@ -93,29 +90,22 @@ export declare function Procedures<TContext = TNoContextProvided, TExtendedConfi
         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: {
+    CreateHttpStream: <TName extends string, TReq extends import("./types.js").THttpReqInput | 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;
-        };
+        schema: import("./types.js").THttpStreamSchema<TReq, TYieldType, TReturnType, TResHeaders>;
         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 & {
+    } extends infer T ? { [Key in keyof T]: T[Key]; } : never, req: import("./types.js").HttpReq<TReq>) => 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<{
+    } extends infer T ? { [Key in keyof T]: T[Key]; } : never, req: import("./types.js").HttpReq<TReq>) => 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<{
+    }>) => import("./types.js").ProcedureResult<TName, (ctx: { [Key in keyof TContext]: TContext[Key]; }, req: import("./types.js").HttpReq<TReq>) => Promise<{
         stream: AsyncGenerator<import("../exports.js").Infer<TYieldType>, void | import("../exports.js").Infer<TReturnType>, unknown>;
         initialHeaders?: Record<string, string>;
     }>, {

package/build/core/types.d.ts

@@ -1,7 +1,7 @@
 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 { Infer, Prettify, TJSONSchema } from '../schema/json-schema.js';
 import type { Validate } from '../schema/compile.js';
 export type TNoContextProvided = unknown;
 /**
@@ -61,7 +61,52 @@ export type TStreamProcedureRegistration<TContext = unknown, TExtendedConfig = u
     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> = {
+/**
+ * Canonical shape for `schema.req` channels.
+ * Used both to constrain generics and to provide autocomplete when writing
+ * `CreateHttp` / `CreateHttpStream` config objects.
+ *
+ * Note: RPC `Create` / `CreateStream` use a flatter `schema: { params?, yieldType?, returnType? }`
+ * directly (no extra container generic), so they don't need an equivalent named input shape.
+ */
+export type THttpReqInput = {
+    pathParams?: unknown;
+    query?: unknown;
+    body?: unknown;
+    headers?: unknown;
+};
+/**
+ * Canonical shape for `schema.res` on CreateHttp (CreateHttpStream only supports `headers`).
+ */
+export type THttpResInput = {
+    body?: unknown;
+    headers?: unknown;
+};
+/**
+ * @internal Helper to surface literal channel keys for autocomplete
+ * while still threading the user's concrete generic schemas through for inference.
+ */
+export type HttpSchemaInput<Base, T> = Base & (T extends undefined ? {} : T);
+/**
+ * @internal Shared helper for typing the destructured `req` argument passed to
+ * CreateHttp / CreateHttpStream handlers. Mirrors the per-channel Infer.
+ */
+export type HttpReq<TReq> = TReq extends Record<string, unknown> ? Prettify<{
+    [K in keyof TReq]: Infer<TReq[K]>;
+}> : undefined;
+/**
+ * Shape used for the `schema` option of `CreateHttpStream`.
+ * Reuses the same req input shape as CreateHttp for autocomplete consistency.
+ */
+export type THttpStreamSchema<TReq extends THttpReqInput | undefined = undefined, TYield = unknown, TReturn = void, TResHeaders = undefined> = {
+    req?: HttpSchemaInput<THttpReqInput, TReq>;
+    yield?: TYield;
+    returnType?: TReturn;
+    res?: TResHeaders extends undefined ? undefined : {
+        headers: TResHeaders;
+    };
+};
+export type TCreateHttpConfig<TReq extends THttpReqInput | undefined = undefined, TRes extends THttpResInput | undefined = undefined, TErrorKey extends string = string> = {
     path: string;
     method: HttpMethod;
     successStatus?: number;
@@ -70,8 +115,8 @@ export type TCreateHttpConfig<TReq, TRes, TErrorKey extends string = string> = {
     description?: string;
     /** Optional — a no-input, no-output route (e.g. a 204 logout) may omit it. */
     schema?: {
-        req?: TReq;
-        res?: TRes;
+        req?: HttpSchemaInput<THttpReqInput, TReq>;
+        res?: HttpSchemaInput<THttpResInput, TRes>;
     };
 };
 export type THttpProcedureRegistration<TContext = unknown> = {

package/build/exports.d.ts

@@ -12,7 +12,7 @@
  * - `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 { ProceduresOptions, ProcedureKind, AnyProcedureRegistration, TProcedureRegistration, TStreamProcedureRegistration, THttpProcedureRegistration, THttpStreamProcedureRegistration, TCreateHttpConfig, THttpReqInput, THttpResInput, THttpStreamSchema, HttpSchemaInput, HttpReq, 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';

package/build/exports.js.map

@@ -1 +1 @@
-{"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"}
+{"version":3,"file":"exports.js","sourceRoot":"","sources":["../src/exports.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,8DAA8D;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AAqBjD,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/server/types.d.ts

@@ -6,7 +6,7 @@
  * guarantees byte-identical generated output vs v8. Do not change field names,
  * optionality, or nesting without re-validating the codegen goldens.
  */
-import type { ProcedureKind } from '../core/types.js';
+import type { ProcedureKind, THttpReqInput } from '../core/types.js';
 import type { ErrorTaxonomy } from './errors/taxonomy.js';
 /**
  * @typeParam TErrorKey - Union of valid taxonomy keys. Defaults to `string`
@@ -85,6 +85,9 @@ export interface APIHttpRouteDoc {
  * Constrains `schema.req` channel names to valid HTTP input sources.
  * Use with `satisfies` to catch typos at compile time:
  *
+ * The same shape also powers autocomplete inside `schema.req` when using
+ * CreateHttp / CreateHttpStream.
+ *
  * @example
  * schema: {
  *   req: {
@@ -93,17 +96,8 @@ export interface APIHttpRouteDoc {
  *   } satisfies APIInput
  * }
  */
-export type APIInput<T extends {
-    pathParams?: unknown;
-    query?: unknown;
-    body?: unknown;
-    headers?: unknown;
-} = {
-    pathParams?: unknown;
-    query?: unknown;
-    body?: unknown;
-    headers?: unknown;
-}> = T;
+export type APIInput<T extends THttpReqInput = THttpReqInput> = T;
+export type { THttpReqInput, THttpResInput } from '../core/types.js';
 export interface StreamHttpRouteDoc extends RPCConfig {
     kind: 'stream';
     name: string;

package/docs/core.md

@@ -74,6 +74,7 @@ const { UpdateUser } = CreateHttp(
 **Rules:**
 - `schema.req` and `schema.params` are **mutually exclusive** — `schema.params` belongs to RPC procedures (`Create`/`CreateStream`), `schema.req` to HTTP procedures. Using `schema.params` on `CreateHttp` throws `ProcedureRegistrationError`.
 - Valid channels are `pathParams`, `query`, `body`, and `headers`; each is validated independently with per-channel error messages.
+- The channel names are provided by `THttpReqInput` (and its alias `APIInput` from `ts-procedures/http`) so that IDEs offer autocomplete when writing `schema: { req: { ... } }`. Use `satisfies APIInput` for additional typo protection on the keys.
 - `schema.res.body` documents the response body (drives codegen); omit `schema.res` entirely for 204-style no-content routes.
 - Factory-level `http.pathPrefix` / `http.scope` defaults apply; per-route config wins.
 - For HTTP streaming routes, use `CreateHttpStream` — same `schema.req` channels plus `schema.yield`.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "ts-procedures",
-  "version": "9.2.0",
+  "version": "9.3.0",
   "description": "A TypeScript RPC framework that creates type-safe, schema-validated procedure calls with a single function definition. Define your procedures once and get full type inference, runtime validation, and framework integration hooks.",
   "main": "build/exports.js",
   "types": "build/exports.d.ts",

package/src/core/create-http-stream.ts

@@ -11,11 +11,15 @@ import {
   validateReqChannels,
 } from './internal.js'
 import type { FactoryRuntime } from './internal.js'
-import type { HttpMethod, ProcedureResult, TStreamContext, THttpStreamProcedureRegistration } from './types.js'
-
-type HttpReq<TReq> = TReq extends Record<string, unknown>
-  ? Prettify<{ [K in keyof TReq]: Infer<TReq[K]> }>
-  : undefined
+import type {
+  HttpMethod,
+  HttpReq,
+  ProcedureResult,
+  THttpReqInput,
+  THttpStreamSchema,
+  TStreamContext,
+  THttpStreamProcedureRegistration,
+} from './types.js'
 
 export function makeCreateHttpStream<TContext>(runtime: FactoryRuntime<TContext, any>) {
   /**
@@ -29,7 +33,7 @@ export function makeCreateHttpStream<TContext>(runtime: FactoryRuntime<TContext,
    */
   return function CreateHttpStream<
     TName extends string,
-    TReq extends Record<string, unknown> | undefined,
+    TReq extends THttpReqInput | undefined,
     TYieldType,
     TReturnType = void,
     TResHeaders = undefined,
@@ -42,12 +46,7 @@ export function makeCreateHttpStream<TContext>(runtime: FactoryRuntime<TContext,
       scope?: string
       errors?: TErrorKey[]
       description?: string
-      schema: {
-        req?: TReq
-        yield?: TYieldType
-        returnType?: TReturnType
-        res?: TResHeaders extends undefined ? undefined : { headers: TResHeaders }
-      }
+      schema: THttpStreamSchema<TReq, TYieldType, TReturnType, TResHeaders>
       validateYields?: boolean
     },
     handler: TResHeaders extends undefined

package/src/core/create-http.test-d.ts

@@ -0,0 +1,154 @@
+import { Type } from 'typebox'
+import { describe, expectTypeOf, test } from 'vitest'
+
+import { Procedures } from './procedures.js'
+import type { HttpReturn } from './create-http.js'
+import type {
+  HttpReq,
+  HttpSchemaInput,
+  TCreateHttpConfig,
+  THttpReqInput,
+  THttpResInput,
+} from './types.js'
+import type { APIInput } from '../server/types.js'
+
+// ---------------------------------------------------------------------------
+// Type tests for HTTP input shape autocomplete / DX contract
+// These guard the shapes that power IDE autocomplete for schema.req / schema.res.
+// ---------------------------------------------------------------------------
+
+describe('THttpReqInput / THttpResInput / APIInput', () => {
+  test('APIInput accepts only the four known channels', () => {
+    // Valid
+    const good: APIInput = {
+      pathParams: Type.Object({ id: Type.String() }),
+      query: Type.Object({}),
+      body: Type.Object({}),
+      headers: Type.Object({}),
+    }
+    expectTypeOf(good).toEqualTypeOf<APIInput>()
+
+    // Invalid channel should not be assignable
+    // @ts-expect-error - unknown channel name
+    const _bad: APIInput = { wrong: Type.Object({}) as any }
+  })
+
+  test('THttpResInput shape', () => {
+    const resShape: THttpResInput = {
+      body: Type.Object({ ok: Type.Boolean() }),
+      headers: Type.Object({ 'x-foo': Type.String() }),
+    }
+    expectTypeOf(resShape).toEqualTypeOf<THttpResInput>()
+  })
+})
+
+describe('TCreateHttpConfig shapes for literals', () => {
+  test('config literal gets the channel keys from the shape (autocomplete contract)', () => {
+    const cfg: TCreateHttpConfig = {
+      path: '/x',
+      method: 'get',
+      schema: {
+        req: {
+          // These keys should be suggested by the IDE
+          pathParams: Type.Object({ id: Type.String() }),
+          query: undefined,
+        },
+        res: {
+          body: Type.Object({}),
+        },
+      },
+    }
+    expectTypeOf(cfg).toEqualTypeOf<TCreateHttpConfig>()
+  })
+
+  test('using satisfies APIInput on req is valid and preserves specific types', () => {
+    const req = {
+      pathParams: Type.Object({ id: Type.String() }),
+      query: Type.Object({ q: Type.Optional(Type.String()) }),
+    } satisfies APIInput
+
+    const cfg: TCreateHttpConfig<typeof req> = {
+      path: '/y',
+      method: 'get',
+      schema: { req },
+    }
+
+    // The assignment succeeded, proving the shape accepted the keys
+    // (specific inference of TReq from literal is a bonus)
+  })
+})
+
+describe('handler inference via HttpReq / HttpReturn', () => {
+  const procs = Procedures()
+
+  test('full req shape produces correctly typed handler param', () => {
+    const { Get } = procs.CreateHttp(
+      'Get',
+      {
+        path: '/u/:id',
+        method: 'get',
+        schema: {
+          req: {
+            pathParams: Type.Object({ id: Type.String() }),
+            query: Type.Object({ verbose: Type.Optional(Type.Boolean()) }),
+          },
+        },
+      },
+      async (_ctx, req) => {
+        expectTypeOf(req).toEqualTypeOf<{
+          pathParams: { id: string }
+          query: { verbose?: boolean }
+        }>()
+        // no res schema => void
+        return undefined
+      }
+    )
+
+    type Handler = typeof Get
+    expectTypeOf<Parameters<Handler>[1]>().toEqualTypeOf<{
+      pathParams: { id: string }
+      query: { verbose?: boolean }
+    }>()
+  })
+
+  test('res with headers produces { body, headers } return shape', () => {
+    const { WithHeaders } = procs.CreateHttp(
+      'WithHeaders',
+      {
+        path: '/h',
+        method: 'get',
+        schema: {
+          res: {
+            body: Type.Object({ data: Type.String() }),
+            headers: Type.Object({ 'x-trace': Type.String() }),
+          },
+        },
+      },
+      async () => ({ body: { data: 'hi' }, headers: { 'x-trace': 'abc' } })
+    )
+
+    type R = Awaited<ReturnType<typeof WithHeaders>>
+    expectTypeOf<R>().toEqualTypeOf<{ body: { data: string }; headers: { 'x-trace': string } }>()
+  })
+
+  test('no schema.res yields void (204-style)', () => {
+    const { Logout } = procs.CreateHttp(
+      'Logout',
+      { path: '/logout', method: 'post' },
+      async () => undefined
+    )
+
+    type R = Awaited<ReturnType<typeof Logout>>
+    expectTypeOf<R>().toEqualTypeOf<void>()
+  })
+})
+
+// Smoke test that HttpReq and HttpSchemaInput are exported and usable
+test('HttpReq and HttpSchemaInput are exported and usable', () => {
+  type ExampleReq = HttpSchemaInput<THttpReqInput, { pathParams: { id: string } }>
+  expectTypeOf<ExampleReq>().toHaveProperty('pathParams')
+
+  // HttpReq resolves through Infer; we just check it doesn't error and has shape
+  type H = HttpReq<{ query: { q?: string } }>
+  expectTypeOf<H>().toHaveProperty('query')
+})

package/src/core/create-http.ts

@@ -10,7 +10,15 @@ import {
   validateReqChannels,
 } from './internal.js'
 import type { FactoryRuntime } from './internal.js'
-import type { ProcedureResult, TCreateHttpConfig, TLocalContext, THttpProcedureRegistration } from './types.js'
+import type {
+  HttpReq,
+  ProcedureResult,
+  TCreateHttpConfig,
+  THttpProcedureRegistration,
+  THttpReqInput,
+  THttpResInput,
+  TLocalContext,
+} from './types.js'
 
 /**
  * The handler return shape is gated by the DECLARED response schema, not by
@@ -26,10 +34,6 @@ export type HttpReturn<TRes> =
   : TRes extends { body: infer B }                 ? Infer<B>
   : void
 
-type HttpReq<TReq> = TReq extends Record<string, unknown>
-  ? Prettify<{ [K in keyof TReq]: Infer<TReq[K]> }>
-  : undefined
-
 export function makeCreateHttp<TContext>(runtime: FactoryRuntime<TContext, any>) {
   /**
    * Defines a REST-shaped HTTP procedure with per-channel input validation
@@ -40,8 +44,8 @@ export function makeCreateHttp<TContext>(runtime: FactoryRuntime<TContext, any>)
    */
   return function CreateHttp<
     TName extends string,
-    TReq extends Record<string, unknown> | undefined = undefined,
-    TRes extends { body?: unknown; headers?: unknown } | undefined = undefined,
+    TReq extends THttpReqInput | undefined = undefined,
+    TRes extends THttpResInput | undefined = undefined,
     TErrorKey extends string = string,
   >(
     name: TName,

package/src/core/types.ts

@@ -1,7 +1,7 @@
 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 { Infer, Prettify, TJSONSchema } from '../schema/json-schema.js'
 import type { Validate } from '../schema/compile.js'
 
 export type TNoContextProvided = unknown
@@ -69,7 +69,64 @@ export type TStreamProcedureRegistration<TContext = unknown, TExtendedConfig = u
 
 export type HttpMethod = 'get' | 'post' | 'put' | 'delete' | 'patch' | 'head'
 
-export type TCreateHttpConfig<TReq, TRes, TErrorKey extends string = string> = {
+/**
+ * Canonical shape for `schema.req` channels.
+ * Used both to constrain generics and to provide autocomplete when writing
+ * `CreateHttp` / `CreateHttpStream` config objects.
+ *
+ * Note: RPC `Create` / `CreateStream` use a flatter `schema: { params?, yieldType?, returnType? }`
+ * directly (no extra container generic), so they don't need an equivalent named input shape.
+ */
+export type THttpReqInput = {
+  pathParams?: unknown
+  query?: unknown
+  body?: unknown
+  headers?: unknown
+}
+
+/**
+ * Canonical shape for `schema.res` on CreateHttp (CreateHttpStream only supports `headers`).
+ */
+export type THttpResInput = {
+  body?: unknown
+  headers?: unknown
+}
+
+/**
+ * @internal Helper to surface literal channel keys for autocomplete
+ * while still threading the user's concrete generic schemas through for inference.
+ */
+export type HttpSchemaInput<Base, T> = Base & (T extends undefined ? {} : T)
+
+/**
+ * @internal Shared helper for typing the destructured `req` argument passed to
+ * CreateHttp / CreateHttpStream handlers. Mirrors the per-channel Infer.
+ */
+export type HttpReq<TReq> = TReq extends Record<string, unknown>
+  ? Prettify<{ [K in keyof TReq]: Infer<TReq[K]> }>
+  : undefined
+
+/**
+ * Shape used for the `schema` option of `CreateHttpStream`.
+ * Reuses the same req input shape as CreateHttp for autocomplete consistency.
+ */
+export type THttpStreamSchema<
+  TReq extends THttpReqInput | undefined = undefined,
+  TYield = unknown,
+  TReturn = void,
+  TResHeaders = undefined,
+> = {
+  req?: HttpSchemaInput<THttpReqInput, TReq>
+  yield?: TYield
+  returnType?: TReturn
+  res?: TResHeaders extends undefined ? undefined : { headers: TResHeaders }
+}
+
+export type TCreateHttpConfig<
+  TReq extends THttpReqInput | undefined = undefined,
+  TRes extends THttpResInput | undefined = undefined,
+  TErrorKey extends string = string,
+> = {
   path: string
   method: HttpMethod
   successStatus?: number
@@ -78,8 +135,10 @@ export type TCreateHttpConfig<TReq, TRes, TErrorKey extends string = string> = {
   description?: string
   /** Optional — a no-input, no-output route (e.g. a 204 logout) may omit it. */
   schema?: {
-    req?: TReq
-    res?: TRes
+    // HttpSchemaInput surfaces the channel keys for IDE autocomplete / excess-property checking
+    // while the generic part carries the caller's concrete schema (for Infer + handler typing).
+    req?: HttpSchemaInput<THttpReqInput, TReq>
+    res?: HttpSchemaInput<THttpResInput, TRes>
   }
 }
 

package/src/exports.ts

@@ -23,6 +23,11 @@ export type {
   THttpProcedureRegistration,
   THttpStreamProcedureRegistration,
   TCreateHttpConfig,
+  THttpReqInput,
+  THttpResInput,
+  THttpStreamSchema,
+  HttpSchemaInput,
+  HttpReq,
   TLocalContext,
   TStreamContext,
   TNoContextProvided,

package/src/server/types.ts

@@ -6,7 +6,7 @@
  * guarantees byte-identical generated output vs v8. Do not change field names,
  * optionality, or nesting without re-validating the codegen goldens.
  */
-import type { ProcedureKind } from '../core/types.js'
+import type { ProcedureKind, THttpReqInput } from '../core/types.js'
 import type { ErrorTaxonomy } from './errors/taxonomy.js'
 
 /**
@@ -97,6 +97,9 @@ export interface APIHttpRouteDoc {
  * Constrains `schema.req` channel names to valid HTTP input sources.
  * Use with `satisfies` to catch typos at compile time:
  *
+ * The same shape also powers autocomplete inside `schema.req` when using
+ * CreateHttp / CreateHttpStream.
+ *
  * @example
  * schema: {
  *   req: {
@@ -105,17 +108,10 @@ export interface APIHttpRouteDoc {
  *   } satisfies APIInput
  * }
  */
-export type APIInput<T extends {
-  pathParams?: unknown
-  query?: unknown
-  body?: unknown
-  headers?: unknown
-} = {
-  pathParams?: unknown
-  query?: unknown
-  body?: unknown
-  headers?: unknown
-}> = T
+export type APIInput<T extends THttpReqInput = THttpReqInput> = T
+
+// Re-export the canonical input shapes (useful for advanced typing or custom wrappers)
+export type { THttpReqInput, THttpResInput } from '../core/types.js'
 
 export interface StreamHttpRouteDoc extends RPCConfig {
   kind: 'stream'