@owlmeans/entrypoint 0.1.18-rc.39 → 0.1.18-rc.40

package/build/types.d.ts

@@ -1,8 +1,10 @@
 import type { ResolvedServiceRoute, RouteAddress, RouteModel, RouteProtocol } from '@owlmeans/route';
-import type { InitializedService, LazyService, BasicEntrypoint } from '@owlmeans/context';
-import type { AnySchemaObject } from 'ajv';
+import type { InitializedService, LazyService, BasicEntrypoint, EntrypointReference } from '@owlmeans/context';
+import type { AnySchemaObject, JSONSchemaType } from 'ajv';
 import type { EntrypointOutcome } from './consts.js';
 import type { Auth } from '@owlmeans/auth';
+import type { AnyShapeSource, entrypointSchemaType, SourceValue, TypeToken, UrlRequest } from './types.local.js';
+import type { createFilterHelper } from './filter.js';
 /**
  * A URL unit: an immutable route declaration plus what guards, gates and schemas it answers under.
  *
@@ -130,4 +132,168 @@ export interface EntrypointTransport extends InitializedService {
     readonly protocol: RouteProtocol;
     handle: EntrypointHandler;
 }
+/** A deliberately broad value used only by declarations without an I/O contract. */
+export type OpenValue = object | string | number | boolean | bigint | null | undefined;
+/** The four independent request sections an entrypoint may declare. */
+export interface RequestShape {
+    body?: OpenValue;
+    params?: object;
+    query?: object;
+    headers?: object;
+}
+export interface RuntimeRequestSchemas {
+    body?: AnySchemaObject;
+    params?: AnySchemaObject;
+    query?: AnySchemaObject;
+    headers?: AnySchemaObject;
+}
+export interface RuntimeResponseSchemas {
+    default?: AnySchemaObject;
+    byStatus?: Readonly<Record<number, AnySchemaObject>>;
+}
+/** The runtime schemas and compile-time request/response pair attached to one protocol. */
+export interface EntrypointContract<Request extends RequestShape, Response> {
+    readonly kind: 'entrypoint-contract';
+    readonly requestSchemas: RuntimeRequestSchemas;
+    readonly responseSchemas?: RuntimeResponseSchemas;
+    readonly requestType?: Request;
+    readonly responseType?: Response;
+}
+/** Runtime fields common to every protocol, regardless of its compile-time request/reply pair. */
+export interface EntrypointProtocolDeclaration {
+    readonly kind: 'entrypoint-protocol';
+    readonly alias: string;
+    readonly route: RouteModel;
+    readonly contract?: Pick<EntrypointContract<RequestShape, OpenValue>, 'kind' | 'requestSchemas' | 'responseSchemas'>;
+    readonly sticky: boolean;
+    readonly guards: readonly string[];
+    readonly gate?: {
+        readonly alias: string;
+        readonly params: readonly string[];
+    };
+}
+/** A context-bound entrypoint made from an immutable protocol declaration. */
+export type MaterializedEntrypoint<Protocol extends EntrypointProtocolDeclaration> = CommonEntrypoint & {
+    readonly protocol: Protocol;
+};
+/** The request accepted by a declaration that intentionally supplies no contract. */
+export interface OpenRequest {
+    body?: object;
+    params?: object;
+    query?: object;
+    headers?: object;
+}
+/** Addressing and transport controls are never part of an entrypoint's payload contract. */
+export interface CallOptions {
+    auth?: Auth;
+    host?: string;
+    base?: string | boolean;
+    unsecure?: boolean;
+    timeout?: number;
+    signal?: AbortSignal;
+}
+/** A type-only contract source, optionally paired with an AJV schema. */
+export type Typed<T> = TypeToken & {
+    readonly value?: T;
+};
+/**
+ * A JSON schema carrying the model type it validates.  Use `schema<Model>(...)` once beside the
+ * model; every protocol that consumes it then infers the model without another generic.
+ */
+export type EntrypointSchema<T> = JSONSchemaType<T> & {
+    readonly [entrypointSchemaType]: T;
+};
+/** A schema or an explicit type-only source for one request/response value. */
+export type ShapeSource<T> = EntrypointSchema<T> | JSONSchemaType<T> | Typed<T>;
+export interface RequestSources {
+    body?: AnyShapeSource;
+    params?: AnyShapeSource;
+    query?: AnyShapeSource;
+    headers?: AnyShapeSource;
+}
+/** An access gate declared by a protocol, including inherited parent declarations. */
+export interface EntrypointGate {
+    readonly alias: string;
+    readonly params: readonly string[];
+}
+export type RequestFromSources<Sources extends RequestSources> = (Sources extends {
+    body: infer Source;
+} ? {
+    body: SourceValue<Source>;
+} : {}) & (Sources extends {
+    params: infer Source;
+} ? {
+    params: SourceValue<Source>;
+} : {}) & (Sources extends {
+    query: infer Source;
+} ? {
+    query: SourceValue<Source>;
+} : {}) & (Sources extends {
+    headers: infer Source;
+} ? {
+    headers: SourceValue<Source>;
+} : {});
+export interface EntrypointOptions {
+    sticky?: boolean;
+    guards?: string | readonly string[];
+    gate?: {
+        alias: string;
+        params?: string | readonly string[];
+    };
+}
+export interface EntrypointResult<Response> {
+    value: Response;
+    outcome: EntrypointOutcome;
+}
+export type CallArguments<Request extends RequestShape> = {} extends Request ? [request?: Request & CallOptions] : [request: Request & CallOptions];
+export type UrlArguments<Request extends RequestShape> = {} extends UrlRequest<Request> ? [request?: UrlRequest<Request> & CallOptions] : [request: UrlRequest<Request> & CallOptions];
+export interface EntrypointRequestMeta {
+    alias: string;
+    auth?: Auth;
+    entity?: ResolvedEntity;
+    path: string;
+    canceled?: boolean;
+    cancel?: () => void;
+}
+/**
+ * A protocol request at an implementation boundary.
+ *
+ * Transport metadata and empty request sections remain available to handlers; a declared section
+ * then refines that base shape to its protocol contract.
+ */
+export type HandlerRequest<Request extends RequestShape> = AbstractRequest & Request & EntrypointRequestMeta;
+/**
+ * An immutable shared declaration.  Its inherited reference type is what gives a context lookup
+ * the exact registered entrypoint type without a consumer-supplied generic.
+ */
+export interface EntrypointProtocol<Request extends RequestShape = RequestShape, Response = OpenValue> extends EntrypointProtocolDeclaration, EntrypointReference<RegisteredEntrypoint<Request, Response>> {
+    readonly contract?: EntrypointContract<Request, Response>;
+}
+/** The context-bound counterpart of an immutable protocol declaration. */
+export interface RegisteredEntrypoint<Request extends RequestShape, Response> extends BasicEntrypoint {
+    readonly protocol: EntrypointProtocol<Request, Response>;
+    call: (...args: CallArguments<Request>) => Promise<Response>;
+    invoke: (...args: CallArguments<Request>) => Promise<EntrypointResult<Response>>;
+    url: (...args: UrlArguments<Request>) => Promise<string>;
+    validate: (...args: CallArguments<Request>) => Promise<boolean>;
+}
+export type RequestOf<Protocol extends EntrypointProtocolDeclaration> = Protocol extends EntrypointProtocol<infer Request, infer _Response> ? Request : OpenRequest;
+export type ResponseOf<Protocol extends EntrypointProtocolDeclaration> = Protocol extends EntrypointProtocol<infer _Request, infer Response> ? Response : OpenValue;
+export type BodyOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> extends {
+    body: infer Body;
+} ? Body : OpenValue;
+export type ParamsOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> extends {
+    params: infer Params;
+} ? Params : object;
+export type QueryOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> extends {
+    query: infer Query;
+} ? Query : object;
+export type HeadersOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> extends {
+    headers: infer Headers;
+} ? Headers : object;
+export type CallRequestOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> & CallOptions;
+export interface EntrypointTree {
+    readonly [key: string]: EntrypointProtocolDeclaration | EntrypointTree;
+}
+export type FilterHelper = ReturnType<typeof createFilterHelper>;
 //# sourceMappingURL=types.d.ts.map

package/build/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AACpG,OAAO,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACzF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,KAAK,CAAA;AAC1C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAE1C;;;;;;GAMG;AACH,MAAM,WAAW,gBAAiB,SAAQ,eAAe;IACvD,KAAK,EAAE,UAAU,CAAA;IACjB;;;OAGG;IACH,MAAM,EAAE,OAAO,CAAA;IACf,8FAA8F;IAC9F,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,iBAAiB,CAAA;IAE1B,gEAAgE;IAChE,OAAO,EAAE,MAAM,MAAM,CAAA;IACrB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,MAAM,CAAA;IAClB,sEAAsE;IACtE,KAAK,EAAE,MAAM,MAAM,CAAA;IACnB,OAAO,EAAE,MAAM,oBAAoB,CAAA;IACnC,OAAO,EAAE,MAAM,YAAY,CAAA;IAC3B,iEAAiE;IACjE,OAAO,EAAE,MAAM,OAAO,CAAA;IACtB,MAAM,EAAE,MAAM,gBAAgB,GAAG,IAAI,CAAA;IACrC,yEAAyE;IACzE,SAAS,EAAE,MAAM,MAAM,EAAE,CAAA;IACzB,mFAAmF;IACnF,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAA;CACrC;AAED,MAAM,WAAW,uBAAwB,SAAQ,OAAO,CAAC,gBAAgB,CAAC;CAAI;AAE9E,MAAM,WAAW,eAAe;IAC9B,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAC/F;AAED,MAAM,WAAW,iBAAiB;IAChC,CACE,CAAC,EAAE,CAAC,SAAS,eAAe,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACxD,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,EACvD,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;CAClC;AAED,MAAM,WAAW,gBAAgB;IAC/B,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAC9G;AAED,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE;IAChD,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,IAAI,CAAA;IACX;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,cAAc,CAAA;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACvE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACvC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,SAAS,CAAC,CAAA;IACtD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACtE,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,GAAG,CAAA;IACd,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,MAAM,CAAC,EAAE,MAAM,IAAI,CAAA;IACnB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;IACvB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAGlB,OAAO,CAAC,EAAE,MAAM,CAAA;IAGhB,MAAM,CAAC,EAAE,WAAW,CAAA;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ;;;;OAIG;IACH,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,gBAAgB,CAAC,CAAC;IACjC,gBAAgB,CAAC,EAAE,GAAG,CAAA;IACtB,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,CAAC,EAAE,iBAAiB,CAAA;IAC3B,KAAK,CAAC,EAAE,KAAK,CAAA;IACb,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACxD,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAA;CAC/B;AAED,MAAM,WAAW,YAAa,SAAQ,kBAAkB;IAEtD,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAA;IAEzE,KAAK,EAAE,eAAe,CAAA;IACtB,MAAM,EAAE,iBAAiB,CAAA;CAC1B;AAED,MAAM,WAAW,WAAY,SAAQ,WAAW;IAC9C;;OAEG;IACH,MAAM,EAAE,gBAAgB,CAAA;CACzB;AAED,MAAM,WAAW,MAAM;IACrB,KAAK,CAAC,EAAE,eAAe,CAAA;IACvB,MAAM,CAAC,EAAE,eAAe,CAAA;IACxB,IAAI,CAAC,EAAE,eAAe,CAAA;IACtB,QAAQ,CAAC,EAAE,eAAe,CAAA;IAC1B,OAAO,CAAC,EAAE,eAAe,CAAA;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAoB,SAAQ,kBAAkB;IAC7D,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAA;IAChC,MAAM,EAAE,iBAAiB,CAAA;CAC1B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AACpG,OAAO,KAAK,EAAE,kBAAkB,EAAE,WAAW,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAC9G,OAAO,KAAK,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,KAAK,CAAA;AAC1D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAE1C,OAAO,KAAK,EAAE,cAAc,EAAE,oBAAoB,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAA;AAChH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAErD;;;;;;GAMG;AACH,MAAM,WAAW,gBAAiB,SAAQ,eAAe;IACvD,KAAK,EAAE,UAAU,CAAA;IACjB;;;OAGG;IACH,MAAM,EAAE,OAAO,CAAA;IACf,8FAA8F;IAC9F,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;IACjB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,UAAU,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAC9B,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,MAAM,CAAC,EAAE,iBAAiB,CAAA;IAE1B,gEAAgE;IAChE,OAAO,EAAE,MAAM,MAAM,CAAA;IACrB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,MAAM,CAAA;IAClB,sEAAsE;IACtE,KAAK,EAAE,MAAM,MAAM,CAAA;IACnB,OAAO,EAAE,MAAM,oBAAoB,CAAA;IACnC,OAAO,EAAE,MAAM,YAAY,CAAA;IAC3B,iEAAiE;IACjE,OAAO,EAAE,MAAM,OAAO,CAAA;IACtB,MAAM,EAAE,MAAM,gBAAgB,GAAG,IAAI,CAAA;IACrC,yEAAyE;IACzE,SAAS,EAAE,MAAM,MAAM,EAAE,CAAA;IACzB,mFAAmF;IACnF,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAA;CACrC;AAED,MAAM,WAAW,uBAAwB,SAAQ,OAAO,CAAC,gBAAgB,CAAC;CAAI;AAE9E,MAAM,WAAW,eAAe;IAC9B,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;CAC/F;AAED,MAAM,WAAW,iBAAiB;IAChC,CACE,CAAC,EAAE,CAAC,SAAS,eAAe,CAAC,GAAG,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,EACxD,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,EACvD,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;CAClC;AAED,MAAM,WAAW,gBAAgB;IAC/B,CAAC,CAAC,SAAS,eAAe,EAAE,CAAC,SAAS,gBAAgB,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;CAC9G;AAED,MAAM,WAAW,eAAe,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE;IAChD,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,IAAI,CAAA;IACX;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,cAAc,CAAA;IACvB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACvE,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACvC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,GAAG,SAAS,CAAC,CAAA;IACtD,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,GAAG,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAA;IACtE,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,GAAG,CAAA;IACd,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,MAAM,CAAC,EAAE,MAAM,IAAI,CAAA;IACnB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;IACvB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAGlB,OAAO,CAAC,EAAE,MAAM,CAAA;IAGhB,MAAM,CAAC,EAAE,WAAW,CAAA;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ;;;;OAIG;IACH,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,gBAAgB,CAAC,CAAC;IACjC,gBAAgB,CAAC,EAAE,GAAG,CAAA;IACtB,KAAK,CAAC,EAAE,CAAC,CAAC;IACV,OAAO,CAAC,EAAE,iBAAiB,CAAA;IAC3B,KAAK,CAAC,EAAE,KAAK,CAAA;IACb,OAAO,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,iBAAiB,KAAK,IAAI,CAAA;IACxD,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,CAAA;CAC/B;AAED,MAAM,WAAW,YAAa,SAAQ,kBAAkB;IAEtD,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,aAAa,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAA;IAEzE,KAAK,EAAE,eAAe,CAAA;IACtB,MAAM,EAAE,iBAAiB,CAAA;CAC1B;AAED,MAAM,WAAW,WAAY,SAAQ,WAAW;IAC9C;;OAEG;IACH,MAAM,EAAE,gBAAgB,CAAA;CACzB;AAED,MAAM,WAAW,MAAM;IACrB,KAAK,CAAC,EAAE,eAAe,CAAA;IACvB,MAAM,CAAC,EAAE,eAAe,CAAA;IACxB,IAAI,CAAC,EAAE,eAAe,CAAA;IACtB,QAAQ,CAAC,EAAE,eAAe,CAAA;IAC1B,OAAO,CAAC,EAAE,eAAe,CAAA;CAC1B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,mBAAoB,SAAQ,kBAAkB;IAC7D,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAA;IAChC,MAAM,EAAE,iBAAiB,CAAA;CAC1B;AAED,oFAAoF;AACpF,MAAM,MAAM,SAAS,GAAG,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAA;AAEtF,uEAAuE;AACvE,MAAM,WAAW,YAAY;IAC3B,IAAI,CAAC,EAAE,SAAS,CAAA;IAChB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,CAAC,EAAE,eAAe,CAAA;IACtB,MAAM,CAAC,EAAE,eAAe,CAAA;IACxB,KAAK,CAAC,EAAE,eAAe,CAAA;IACvB,OAAO,CAAC,EAAE,eAAe,CAAA;CAC1B;AAED,MAAM,WAAW,sBAAsB;IACrC,OAAO,CAAC,EAAE,eAAe,CAAA;IACzB,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC,CAAA;CACrD;AAED,2FAA2F;AAC3F,MAAM,WAAW,kBAAkB,CAAC,OAAO,SAAS,YAAY,EAAE,QAAQ;IACxE,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAA;IACpC,QAAQ,CAAC,cAAc,EAAE,qBAAqB,CAAA;IAC9C,QAAQ,CAAC,eAAe,CAAC,EAAE,sBAAsB,CAAA;IACjD,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAA;IAC9B,QAAQ,CAAC,YAAY,CAAC,EAAE,QAAQ,CAAA;CACjC;AAED,kGAAkG;AAClG,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAA;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,kBAAkB,CAAC,YAAY,EAAE,SAAS,CAAC,EAClE,MAAM,GAAG,gBAAgB,GAAG,iBAAiB,CAAC,CAAA;IAChD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;IAClC,QAAQ,CAAC,IAAI,CAAC,EAAE;QACd,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;QACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;KACnC,CAAA;CACF;AAED,8EAA8E;AAC9E,MAAM,MAAM,sBAAsB,CAAC,QAAQ,SAAS,6BAA6B,IAAI,gBAAgB,GAAG;IACtG,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAC5B,CAAA;AAED,qFAAqF;AACrF,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,4FAA4F;AAC5F,MAAM,WAAW,WAAW;IAC1B,IAAI,CAAC,EAAE,IAAI,CAAA;IACX,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;IACvB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,MAAM,CAAC,EAAE,WAAW,CAAA;CACrB;AAED,yEAAyE;AACzE,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,SAAS,GAAG;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;CAAE,CAAA;AAEzD;;;GAGG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,GAAG;IACpD,QAAQ,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAA;CACnC,CAAA;AAED,+EAA+E;AAC/E,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,gBAAgB,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;AAE/E,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,cAAc,CAAA;IACrB,MAAM,CAAC,EAAE,cAAc,CAAA;IACvB,KAAK,CAAC,EAAE,cAAc,CAAA;IACtB,OAAO,CAAC,EAAE,cAAc,CAAA;CACzB;AAED,sFAAsF;AACtF,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CACnC;AAED,MAAM,MAAM,kBAAkB,CAAC,OAAO,SAAS,cAAc,IAC3D,CAAC,OAAO,SAAS;IAAE,IAAI,EAAE,MAAM,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,EAAE,CAAC,GAC3E,CAAC,OAAO,SAAS;IAAE,MAAM,EAAE,MAAM,MAAM,CAAA;CAAE,GAAG;IAAE,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,EAAE,CAAC,GACjF,CAAC,OAAO,SAAS;IAAE,KAAK,EAAE,MAAM,MAAM,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,EAAE,CAAC,GAC/E,CAAC,OAAO,SAAS;IAAE,OAAO,EAAE,MAAM,MAAM,CAAA;CAAE,GAAG;IAAE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,EAAE,CAAC,CAAA;AAEvF,MAAM,WAAW,iBAAiB;IAChC,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAA;IACnC,IAAI,CAAC,EAAE;QACL,KAAK,EAAE,MAAM,CAAA;QACb,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAA;KACpC,CAAA;CACF;AAED,MAAM,WAAW,gBAAgB,CAAC,QAAQ;IACxC,KAAK,EAAE,QAAQ,CAAA;IACf,OAAO,EAAE,iBAAiB,CAAA;CAC3B;AAED,MAAM,MAAM,aAAa,CAAC,OAAO,SAAS,YAAY,IAAI,EAAE,SAAS,OAAO,GACxE,CAAC,OAAO,CAAC,EAAE,OAAO,GAAG,WAAW,CAAC,GACjC,CAAC,OAAO,EAAE,OAAO,GAAG,WAAW,CAAC,CAAA;AAEpC,MAAM,MAAM,YAAY,CAAC,OAAO,SAAS,YAAY,IAAI,EAAE,SAAS,UAAU,CAAC,OAAO,CAAC,GACnF,CAAC,OAAO,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,GAC7C,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,WAAW,CAAC,CAAA;AAEhD,MAAM,WAAW,qBAAqB;IACpC,KAAK,EAAE,MAAM,CAAA;IACb,IAAI,CAAC,EAAE,IAAI,CAAA;IACX,MAAM,CAAC,EAAE,cAAc,CAAA;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,MAAM,CAAC,EAAE,MAAM,IAAI,CAAA;CACpB;AAED;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,OAAO,SAAS,YAAY,IAAI,eAAe,GAAG,OAAO,GAAG,qBAAqB,CAAA;AAE5G;;;GAGG;AACH,MAAM,WAAW,kBAAkB,CACjC,OAAO,SAAS,YAAY,GAAG,YAAY,EAC3C,QAAQ,GAAG,SAAS,CACpB,SAAQ,6BAA6B,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnG,QAAQ,CAAC,QAAQ,CAAC,EAAE,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;CAC1D;AAED,0EAA0E;AAC1E,MAAM,WAAW,oBAAoB,CAAC,OAAO,SAAS,YAAY,EAAE,QAAQ,CAAE,SAAQ,eAAe;IACnG,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAA;IACxD,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAA;IAC5D,MAAM,EAAE,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAA;IAChF,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,YAAY,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;IACxD,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,aAAa,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;CAChE;AAED,MAAM,MAAM,SAAS,CAAC,QAAQ,SAAS,6BAA6B,IAAI,QAAQ,SAAS,kBAAkB,CAAC,MAAM,OAAO,EAAE,MAAM,SAAS,CAAC,GACvI,OAAO,GACP,WAAW,CAAA;AAEf,MAAM,MAAM,UAAU,CAAC,QAAQ,SAAS,6BAA6B,IAAI,QAAQ,SAAS,kBAAkB,CAAC,MAAM,QAAQ,EAAE,MAAM,QAAQ,CAAC,GACxI,QAAQ,GACR,SAAS,CAAA;AAEb,MAAM,MAAM,MAAM,CAAC,QAAQ,SAAS,6BAA6B,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,IAAI,CAAA;CAAE,GACjH,IAAI,GACJ,SAAS,CAAA;AAEb,MAAM,MAAM,QAAQ,CAAC,QAAQ,SAAS,6BAA6B,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS;IAAE,MAAM,EAAE,MAAM,MAAM,CAAA;CAAE,GACvH,MAAM,GACN,MAAM,CAAA;AAEV,MAAM,MAAM,OAAO,CAAC,QAAQ,SAAS,6BAA6B,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS;IAAE,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GACpH,KAAK,GACL,MAAM,CAAA;AAEV,MAAM,MAAM,SAAS,CAAC,QAAQ,SAAS,6BAA6B,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS;IAAE,OAAO,EAAE,MAAM,OAAO,CAAA;CAAE,GAC1H,OAAO,GACP,MAAM,CAAA;AAEV,MAAM,MAAM,aAAa,CAAC,QAAQ,SAAS,6BAA6B,IAAI,SAAS,CAAC,QAAQ,CAAC,GAAG,WAAW,CAAA;AAE7G,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,6BAA6B,GAAG,cAAc,CAAA;CACvE;AAED,MAAM,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,kBAAkB,CAAC,CAAA"}

package/build/types.local.d.ts

@@ -0,0 +1,27 @@
+import type { JSONSchemaType, AnySchemaObject } from 'ajv';
+import type { EntrypointSchema, OpenValue, RequestShape, Typed } from './types.js';
+export interface TypeToken {
+    readonly kind: 'entrypoint-type';
+    readonly schema?: AnySchemaObject;
+}
+export declare const entrypointSchemaType: unique symbol;
+export type AnyShapeSource = AnySchemaObject | TypeToken;
+export type SourceValue<Source> = Source extends Typed<infer Value> ? Value : Source extends EntrypointSchema<infer Value> ? Value : Source extends JSONSchemaType<infer Value> ? Value extends OpenValue ? Value : OpenValue : OpenValue;
+export type UrlRequest<Request extends RequestShape> = (Request extends {
+    params: infer Params;
+} ? {
+    params: Params;
+} : Request extends {
+    params?: infer Params;
+} ? {
+    params?: Params;
+} : {}) & (Request extends {
+    query: infer Query;
+} ? {
+    query: Query;
+} : Request extends {
+    query?: infer Query;
+} ? {
+    query?: Query;
+} : {});
+//# sourceMappingURL=types.local.d.ts.map

package/build/types.local.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.local.d.ts","sourceRoot":"","sources":["../src/types.local.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,KAAK,CAAA;AAC1D,OAAO,KAAK,EAAE,gBAAgB,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAElF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAA;CAClC;AAED,MAAM,CAAC,OAAO,CAAC,MAAM,oBAAoB,EAAE,OAAO,MAAM,CAAA;AAExD,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG,SAAS,CAAA;AAExD,MAAM,MAAM,WAAW,CAAC,MAAM,IAC5B,MAAM,SAAS,KAAK,CAAC,MAAM,KAAK,CAAC,GAAG,KAAK,GACrC,MAAM,SAAS,gBAAgB,CAAC,MAAM,KAAK,CAAC,GAAG,KAAK,GAClD,MAAM,SAAS,cAAc,CAAC,MAAM,KAAK,CAAC,GACxC,KAAK,SAAS,SAAS,GAAG,KAAK,GAAG,SAAS,GAC3C,SAAS,CAAA;AAEnB,MAAM,MAAM,UAAU,CAAC,OAAO,SAAS,YAAY,IACjD,CAAC,OAAO,SAAS;IAAE,MAAM,EAAE,MAAM,MAAM,CAAA;CAAE,GAAG;IAAE,MAAM,EAAE,MAAM,CAAA;CAAE,GAC1D,OAAO,SAAS;IAAE,MAAM,CAAC,EAAE,MAAM,MAAM,CAAA;CAAE,GAAG;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,EAAE,CAAC,GACvE,CAAC,OAAO,SAAS;IAAE,KAAK,EAAE,MAAM,KAAK,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,KAAK,CAAA;CAAE,GACxD,OAAO,SAAS;IAAE,KAAK,CAAC,EAAE,MAAM,KAAK,CAAA;CAAE,GAAG;IAAE,KAAK,CAAC,EAAE,KAAK,CAAA;CAAE,GAAG,EAAE,CAAC,CAAA"}

package/build/types.local.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=types.local.js.map

package/build/types.local.js.map

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

package/build/utils.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Service alias a transport registers under. The default protocol is the web one, so an application
+ * that binds nothing keeps talking HTTP.
+ */
+export declare const transportAlias: (protocol?: string) => string;
+//# sourceMappingURL=utils.d.ts.map

package/build/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,eAAO,MAAM,cAAc,cAAc,MAAM,WAAqC,CAAA"}

package/build/utils.js

@@ -0,0 +1,6 @@
+/**
+ * Service alias a transport registers under. The default protocol is the web one, so an application
+ * that binds nothing keeps talking HTTP.
+ */
+export const transportAlias = (protocol = 'http') => `transport:${protocol}`;
+//# sourceMappingURL=utils.js.map

package/build/utils.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.js","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAQ,GAAW,MAAM,EAAE,EAAE,CAAC,aAAa,QAAQ,EAAE,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@owlmeans/entrypoint",
-  "version": "0.1.18-rc.39",
+  "version": "0.1.18-rc.40",
   "license": "MIT",
   "type": "module",
   "scripts": {
@@ -28,10 +28,10 @@
     }
   },
   "dependencies": {
-    "@owlmeans/auth": "^0.1.18-rc.38",
-    "@owlmeans/context": "^0.1.18-rc.32",
-    "@owlmeans/route": "^0.1.18-rc.33",
-    "ajv": "^8.17.1"
+    "@owlmeans/auth": "^0.1.18-rc.39",
+    "@owlmeans/context": "^0.1.18-rc.33",
+    "@owlmeans/route": "^0.1.18-rc.34",
+    "ajv": "^8.20.0"
   },
   "devDependencies": {
     "@owlmeans/dep-config": "workspace:*",

package/src/consts.ts

@@ -6,8 +6,3 @@ export enum EntrypointOutcome {
   Finished = 'finished'
 }
 
-/**
- * Service alias a transport registers under. The default protocol is the web one, so an application
- * that binds nothing keeps talking HTTP.
- */
-export const transportAlias = (protocol: string = 'http') => `transport:${protocol}`

package/src/filter.ts

@@ -1,19 +1,19 @@
 import type { JSONSchemaType } from 'ajv'
 import type { Filter } from './types.js'
 
-export const body = <T>(schema: JSONSchemaType<T>, filter?: Filter): Filter => {
+const body = <T>(schema: JSONSchemaType<T>, filter?: Filter): Filter => {
   return { ...filter, body: schema as any }
 }
 
-export const query = <T>(schema: JSONSchemaType<T>, filter?: Filter): Filter => {
+const query = <T>(schema: JSONSchemaType<T>, filter?: Filter): Filter => {
   return { ...filter, query: schema as any }
 }
 
-export const params = <T>(schema: JSONSchemaType<T>, filter?: Filter): Filter => {
+const params = <T>(schema: JSONSchemaType<T>, filter?: Filter): Filter => {
   return { ...filter, params: schema as any }
 }
 
-export const response = <T>(schema: JSONSchemaType<T>, code?: number, filter?: Filter): Filter => {
+const response = <T>(schema: JSONSchemaType<T>, code?: number, filter?: Filter): Filter => {
   let _schema: any = schema
   if (filter?.response != null && code != null) {
     _schema = { ...filter.response, [code]: schema }
@@ -21,6 +21,10 @@ export const response = <T>(schema: JSONSchemaType<T>, code?: number, filter?: F
   return { ...filter, response: _schema }
 }
 
-export const headers = <T>(schema: JSONSchemaType<T>, filter?: Filter): Filter => {
+const headers = <T>(schema: JSONSchemaType<T>, filter?: Filter): Filter => {
   return { ...filter, headers: schema as any }
 }
+
+export const createFilterHelper = () => ({ body, query, params, response, headers })
+
+export const filterHelper = createFilterHelper()

package/src/index.ts

@@ -1,6 +1,7 @@
 
 export type * from './types.js'
 export * from './consts.js'
+export * from './utils.js'
 export * from './protocol.js'
 export * from './materialize.js'
 export { provideResponse } from './helper.js'

package/src/materialize.ts

@@ -1,11 +1,5 @@
 import { entrypoint } from './entrypoint.js'
-import type { CommonEntrypoint, CommonEntrypointOptions, Filter } from './types.js'
-import type { EntrypointProtocolDeclaration } from './protocol.js'
-
-/** A context-bound entrypoint made from an immutable protocol declaration. */
-export type MaterializedEntrypoint<Protocol extends EntrypointProtocolDeclaration> = CommonEntrypoint & {
-  readonly protocol: Protocol
-}
+import type { CommonEntrypointOptions, Filter, EntrypointProtocolDeclaration, MaterializedEntrypoint } from './types.js'
 
 const filterOf = (protocol: EntrypointProtocolDeclaration): Filter | undefined => {
   const request = protocol.contract?.requestSchemas

package/src/protocol.ts

@@ -1,66 +1,12 @@
-import type { Auth } from '@owlmeans/auth'
-import type { BasicEntrypoint, EntrypointReference } from '@owlmeans/context'
+import type { EntrypointReference } from '@owlmeans/context'
 import type { JSONSchemaType, AnySchemaObject } from 'ajv'
 import type { RouteModel } from '@owlmeans/route'
-import type { EntrypointOutcome } from './consts.js'
-import type { ResolvedEntity } from './types.js'
-import type { AbstractRequest } from './types.js'
-
-/** A deliberately broad value used only by declarations without an I/O contract. */
-export type OpenValue = object | string | number | boolean | bigint | null | undefined
-
-/** The request accepted by a declaration that intentionally supplies no contract. */
-export interface OpenRequest {
-  body?: object
-  params?: object
-  query?: object
-  headers?: object
-}
-
-/** The four independent request sections an entrypoint may declare. */
-export interface RequestShape {
-  body?: OpenValue
-  params?: object
-  query?: object
-  headers?: object
-}
-
-/** Addressing and transport controls are never part of an entrypoint's payload contract. */
-export interface CallOptions {
-  auth?: Auth
-  host?: string
-  base?: string | boolean
-  unsecure?: boolean
-  timeout?: number
-  signal?: AbortSignal
-}
-
-interface TypeToken {
-  readonly kind: 'entrypoint-type'
-  readonly schema?: AnySchemaObject
-}
-
-/** A type-only contract source, optionally paired with an AJV schema. */
-export type Typed<T> = TypeToken & { readonly value?: T }
-
-declare const entrypointSchemaType: unique symbol
-
-/**
- * A JSON schema carrying the model type it validates.  Use `schema<Model>(...)` once beside the
- * model; every protocol that consumes it then infers the model without another generic.
- */
-export type EntrypointSchema<T> = JSONSchemaType<T> & {
-  readonly [entrypointSchemaType]: T
-}
+import type { AnyShapeSource } from './types.local.js'
+import type { EntrypointContract, EntrypointGate, EntrypointOptions, EntrypointProtocol, EntrypointProtocolDeclaration, EntrypointSchema, EntrypointTree, OpenRequest, OpenValue, RegisteredEntrypoint, RequestFromSources, RequestShape, RequestSources, RuntimeResponseSchemas, ShapeSource, Typed } from './types.js'
 
 export const schema = <T>(value: JSONSchemaType<T>): EntrypointSchema<T> =>
   value as EntrypointSchema<T>
 
-/** A schema or an explicit type-only source for one request/response value. */
-export type ShapeSource<T> = EntrypointSchema<T> | JSONSchemaType<T> | Typed<T>
-
-type AnyShapeSource = AnySchemaObject | TypeToken
-
 /**
  * Supplies type information where a response has no runtime schema, or attaches a type to an
  * otherwise untyped schema literal at the declaration boundary.
@@ -73,68 +19,6 @@ export function typed<T>(schema?: JSONSchemaType<T>): Typed<T> {
     : { kind: 'entrypoint-type', schema }
 }
 
-export interface RequestSources {
-  body?: AnyShapeSource
-  params?: AnyShapeSource
-  query?: AnyShapeSource
-  headers?: AnyShapeSource
-}
-
-export interface RuntimeRequestSchemas {
-  body?: AnySchemaObject
-  params?: AnySchemaObject
-  query?: AnySchemaObject
-  headers?: AnySchemaObject
-}
-
-export interface RuntimeResponseSchemas {
-  default?: AnySchemaObject
-  byStatus?: Readonly<Record<number, AnySchemaObject>>
-}
-
-/** The runtime schemas and compile-time request/response pair attached to one protocol. */
-export interface EntrypointContract<Request extends RequestShape, Response> {
-  readonly kind: 'entrypoint-contract'
-  readonly requestSchemas: RuntimeRequestSchemas
-  readonly responseSchemas?: RuntimeResponseSchemas
-  readonly requestType?: Request
-  readonly responseType?: Response
-}
-
-/** Runtime fields common to every protocol, regardless of its compile-time request/reply pair. */
-export interface EntrypointProtocolDeclaration {
-  readonly kind: 'entrypoint-protocol'
-  readonly alias: string
-  readonly route: RouteModel
-  readonly contract?: Pick<EntrypointContract<RequestShape, OpenValue>,
-    'kind' | 'requestSchemas' | 'responseSchemas'>
-  readonly sticky: boolean
-  readonly guards: readonly string[]
-  readonly gate?: {
-    readonly alias: string
-    readonly params: readonly string[]
-  }
-}
-
-/** An access gate declared by a protocol, including inherited parent declarations. */
-export interface EntrypointGate {
-  readonly alias: string
-  readonly params: readonly string[]
-}
-
-type SourceValue<Source> =
-  Source extends Typed<infer Value> ? Value
-    : Source extends EntrypointSchema<infer Value> ? Value
-      : Source extends JSONSchemaType<infer Value>
-        ? Value extends OpenValue ? Value : OpenValue
-        : OpenValue
-
-type RequestFromSources<Sources extends RequestSources> =
-  (Sources extends { body: infer Source } ? { body: SourceValue<Source> } : {})
-  & (Sources extends { params: infer Source } ? { params: SourceValue<Source> } : {})
-  & (Sources extends { query: infer Source } ? { query: SourceValue<Source> } : {})
-  & (Sources extends { headers: infer Source } ? { headers: SourceValue<Source> } : {})
-
 const schemaOf = (source: AnyShapeSource | undefined): AnySchemaObject | undefined => {
   if (source == null) return undefined
   const schema = 'kind' in source && source.kind === 'entrypoint-type'
@@ -189,97 +73,6 @@ export namespace contract {
   }
 }
 
-export interface EntrypointOptions {
-  sticky?: boolean
-  guards?: string | readonly string[]
-  gate?: {
-    alias: string
-    params?: string | readonly string[]
-  }
-}
-
-export interface EntrypointResult<Response> {
-  value: Response
-  outcome: EntrypointOutcome
-}
-
-export type CallArguments<Request extends RequestShape> = {} extends Request
-  ? [request?: Request & CallOptions]
-  : [request: Request & CallOptions]
-
-type UrlRequest<Request extends RequestShape> =
-  (Request extends { params: infer Params } ? { params: Params }
-    : Request extends { params?: infer Params } ? { params?: Params } : {})
-  & (Request extends { query: infer Query } ? { query: Query }
-    : Request extends { query?: infer Query } ? { query?: Query } : {})
-
-export type UrlArguments<Request extends RequestShape> = {} extends UrlRequest<Request>
-  ? [request?: UrlRequest<Request> & CallOptions]
-  : [request: UrlRequest<Request> & CallOptions]
-
-export interface EntrypointRequestMeta {
-  alias: string
-  auth?: Auth
-  entity?: ResolvedEntity
-  path: string
-  canceled?: boolean
-  cancel?: () => void
-}
-
-/**
- * A protocol request at an implementation boundary.
- *
- * Transport metadata and empty request sections remain available to handlers; a declared section
- * then refines that base shape to its protocol contract.
- */
-export type HandlerRequest<Request extends RequestShape> = AbstractRequest & Request & EntrypointRequestMeta
-
-/** The context-bound counterpart of an immutable protocol declaration. */
-export interface RegisteredEntrypoint<Request extends RequestShape, Response> extends BasicEntrypoint {
-  readonly protocol: EntrypointProtocol<Request, Response>
-  call: (...args: CallArguments<Request>) => Promise<Response>
-  invoke: (...args: CallArguments<Request>) => Promise<EntrypointResult<Response>>
-  url: (...args: UrlArguments<Request>) => Promise<string>
-  validate: (...args: CallArguments<Request>) => Promise<boolean>
-}
-
-/**
- * An immutable shared declaration.  Its inherited reference type is what gives a context lookup
- * the exact registered entrypoint type without a consumer-supplied generic.
- */
-export interface EntrypointProtocol<
-  Request extends RequestShape = RequestShape,
-  Response = OpenValue,
-> extends EntrypointProtocolDeclaration, EntrypointReference<RegisteredEntrypoint<Request, Response>> {
-  readonly contract?: EntrypointContract<Request, Response>
-}
-
-export type RequestOf<Protocol extends EntrypointProtocolDeclaration> = Protocol extends EntrypointProtocol<infer Request, infer _Response>
-  ? Request
-  : OpenRequest
-
-export type ResponseOf<Protocol extends EntrypointProtocolDeclaration> = Protocol extends EntrypointProtocol<infer _Request, infer Response>
-  ? Response
-  : OpenValue
-
-export type BodyOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> extends { body: infer Body }
-  ? Body
-  : OpenValue
-
-export type ParamsOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> extends { params: infer Params }
-  ? Params
-  : object
-
-export type QueryOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> extends { query: infer Query }
-  ? Query
-  : object
-
-export type HeadersOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> extends { headers: infer Headers }
-  ? Headers
-  : object
-
-export type CallRequestOf<Protocol extends EntrypointProtocolDeclaration> = RequestOf<Protocol> & CallOptions
-
 const guardsOf = (guards: EntrypointOptions['guards']): readonly string[] => guards == null
   ? []
   : typeof guards === 'string' ? [guards] : [...guards]
@@ -328,10 +121,6 @@ export const aliasOf = (reference: EntrypointReference | string): string =>
 export const isEntrypointProtocol = (value: object): value is EntrypointProtocolDeclaration =>
   'kind' in value && value.kind === 'entrypoint-protocol'
 
-export interface EntrypointTree {
-  readonly [key: string]: EntrypointProtocolDeclaration | EntrypointTree
-}
-
 /** Flatten an exported protocol tree for a layer-specific materializer. */
 export const protocols = (tree: EntrypointTree): EntrypointProtocolDeclaration[] => {
   const result: EntrypointProtocolDeclaration[] = []

package/src/types.local.ts

@@ -0,0 +1,24 @@
+import type { JSONSchemaType, AnySchemaObject } from 'ajv'
+import type { EntrypointSchema, OpenValue, RequestShape, Typed } from './types.js'
+
+export interface TypeToken {
+  readonly kind: 'entrypoint-type'
+  readonly schema?: AnySchemaObject
+}
+
+export declare const entrypointSchemaType: unique symbol
+
+export type AnyShapeSource = AnySchemaObject | TypeToken
+
+export type SourceValue<Source> =
+  Source extends Typed<infer Value> ? Value
+    : Source extends EntrypointSchema<infer Value> ? Value
+      : Source extends JSONSchemaType<infer Value>
+        ? Value extends OpenValue ? Value : OpenValue
+        : OpenValue
+
+export type UrlRequest<Request extends RequestShape> =
+  (Request extends { params: infer Params } ? { params: Params }
+    : Request extends { params?: infer Params } ? { params?: Params } : {})
+  & (Request extends { query: infer Query } ? { query: Query }
+    : Request extends { query?: infer Query } ? { query?: Query } : {})