@moltzap/protocol 2026.503.4 → 2026.504.1

package/dist/brands.d.ts

@@ -0,0 +1,11 @@
+import { Type, type TNumber, type TString } from "@sinclair/typebox";
+import type { Brand } from "effect";
+export type BrandedString<BrandName extends string> = string & Brand.Brand<BrandName>;
+export type BrandedNumber<BrandName extends string> = number & Brand.Brand<BrandName>;
+export declare function brandedString<const BrandName extends string>(brand: BrandName, options?: Parameters<typeof Type.String>[0]): TString & {
+    static: BrandedString<BrandName>;
+};
+export declare function brandedNumber<const BrandName extends string>(brand: BrandName, options?: Parameters<typeof Type.Number>[0]): TNumber & {
+    static: BrandedNumber<BrandName>;
+};
+//# sourceMappingURL=brands.d.ts.map

package/dist/brands.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"brands.d.ts","sourceRoot":"","sources":["../src/brands.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,OAAO,EAAE,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACrE,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,QAAQ,CAAC;AAEpC,MAAM,MAAM,aAAa,CAAC,SAAS,SAAS,MAAM,IAAI,MAAM,GAC1D,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AACzB,MAAM,MAAM,aAAa,CAAC,SAAS,SAAS,MAAM,IAAI,MAAM,GAC1D,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;AAEzB,wBAAgB,aAAa,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAC1D,KAAK,EAAE,SAAS,EAChB,OAAO,GAAE,UAAU,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAM,GAKzC,OAAO,GAAG;IAAE,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;CAAE,CACrD;AAED,wBAAgB,aAAa,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAC1D,KAAK,EAAE,SAAS,EAChB,OAAO,GAAE,UAAU,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAM,GAKzC,OAAO,GAAG;IAAE,MAAM,EAAE,aAAa,CAAC,SAAS,CAAC,CAAA;CAAE,CACrD"}

package/dist/brands.js

@@ -0,0 +1,14 @@
+import { Type } from "@sinclair/typebox";
+export function brandedString(brand, options = {}) {
+    return Type.String({
+        ...options,
+        description: options.description ?? `Branded ${brand}`,
+    });
+}
+export function brandedNumber(brand, options = {}) {
+    return Type.Number({
+        ...options,
+        description: options.description ?? `Branded ${brand}`,
+    });
+}
+//# sourceMappingURL=brands.js.map

package/dist/brands.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"brands.js","sourceRoot":"","sources":["../src/brands.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAA8B,MAAM,mBAAmB,CAAC;AAQrE,MAAM,UAAU,aAAa,CAC3B,KAAgB,EAChB,UAA6C,EAAE;IAE/C,OAAO,IAAI,CAAC,MAAM,CAAC;QACjB,GAAG,OAAO;QACV,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,WAAW,KAAK,EAAE;KACvD,CAAmD,CAAC;AACvD,CAAC;AAED,MAAM,UAAU,aAAa,CAC3B,KAAgB,EAChB,UAA6C,EAAE;IAE/C,OAAO,IAAI,CAAC,MAAM,CAAC;QACjB,GAAG,OAAO;QACV,WAAW,EAAE,OAAO,CAAC,WAAW,IAAI,WAAW,KAAK,EAAE;KACvD,CAAmD,CAAC;AACvD,CAAC"}

package/dist/helpers.d.ts

@@ -1,4 +1,10 @@
-import { type TString } from "@sinclair/typebox";
+import { type TString, type TSchema } from "@sinclair/typebox";
+import { type JsonRpcId } from "./schema/json-rpc.js";
+import type { NotificationFrame, RequestFrame, ResponseFrame } from "./schema/frames.js";
+import type { JsonRpcStringId } from "./schema/json-rpc.js";
+import type { NotificationDefinition, NotificationParamsOf } from "./notification.js";
+import type { ParamsOf, RpcDefinition } from "./rpc.js";
+export { brandedNumber, brandedString, type BrandedNumber, type BrandedString, } from "./brands.js";
 /**
  * Creates a string enum schema without producing anyOf (which some validators reject).
  * Uses Type.String + enum constraint (Kind="String") so TypeBox's Value.Decode
@@ -13,33 +19,37 @@ export declare function stringEnum<T extends string[]>(values: [...T]): TString
  * Branded UUID string type for TypeBox schemas.
  * Usage: brandedId("UserId") produces a string schema with format: "uuid"
  */
-export declare function brandedId(brand: string): TString;
+export declare function brandedId<const BrandName extends string>(brand: BrandName): TString & {
+    static: import("./brands.js").BrandedString<BrandName>;
+};
 /**
  * ISO 8601 datetime string schema.
  */
 export declare const DateTimeString: TString;
 /**
- * Construct a typed EventFrame. Eliminates manual `{ jsonrpc: "2.0", type: "event" }` boilerplate.
+ * Construct a typed JSON-RPC notification from a notification descriptor.
+ * Production code should pass descriptors, not raw method names.
  */
-export declare function eventFrame(event: string, data?: Record<string, unknown>): {
-    jsonrpc: "2.0";
-    type: "event";
-    event: string;
-    data?: Record<string, unknown>;
+export declare function notificationFrame<D extends NotificationDefinition<string, TSchema>>(definition: D, params: NotificationParamsOf<D>): NotificationFrame & {
+    readonly method: D["name"];
+    readonly params: NotificationParamsOf<D>;
 };
 /**
- * Construct a typed ResponseFrame literal. Centralizes the
- * `{ jsonrpc, type: "response", direction, id, result | error }` shape
- * so c2s and s2c response sites do not drift on field order, escaping,
- * or `direction` typing. Mirrors `eventFrame()` for the symmetric
- * surface.
+ * Construct a JSON-RPC Request object. This is the single public helper for
+ * request frame construction; callers should pass a descriptor-backed method,
+ * not hand-write frame object literals.
+ */
+export declare function requestFrame<D extends RpcDefinition<string, TSchema, TSchema>>(id: JsonRpcStringId, definition: D, params: ParamsOf<D>): RequestFrame & {
+    readonly method: D["name"];
+    readonly params: ParamsOf<D>;
+};
+/**
+ * Construct a typed JSON-RPC Response object. Pass `{ result }` for success
+ * or `{ error }` for failure; exactly one body branch is present.
  *
- * Pass `{ result }` for success, `{ error }` for failure; the schema
- * permits both fields to be `Type.Optional` but exactly one of them is
- * present in any well-formed reply, so the discriminated body argument
- * keeps the type system aligned with the wire contract.
+ * Parse errors whose id is unknown should be written directly with `id: null`;
+ * normal replies use the string id minted by the matching request.
  */
-export type ResponseFrameDirection = "c2s" | "s2c";
 export type ResponseFrameError = {
     code: number;
     message: string;
@@ -50,12 +60,5 @@ export type ResponseFrameBody = {
 } | {
     error: ResponseFrameError;
 };
-export declare function responseFrame(direction: ResponseFrameDirection, id: string, body: ResponseFrameBody): {
-    jsonrpc: "2.0";
-    type: "response";
-    direction: ResponseFrameDirection;
-    id: string;
-    result?: unknown;
-    error?: ResponseFrameError;
-};
+export declare function responseFrame(id: JsonRpcId, body: ResponseFrameBody): ResponseFrame;
 //# sourceMappingURL=helpers.d.ts.map

package/dist/helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../src/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAwB,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAC;AA6CvE;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,GACnB,OAAO,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;CAAE,CACxE;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,MAAM,WAEtC;AAED;;GAEG;AACH,eAAO,MAAM,cAAc,SAAuC,CAAC;AAEnE;;GAEG;AACH,wBAAgB,UAAU,CACxB,KAAK,EAAE,MAAM,EACb,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B;IACD,OAAO,EAAE,KAAK,CAAC;IACf,IAAI,EAAE,OAAO,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAChC,CAOA;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,sBAAsB,GAAG,KAAK,GAAG,KAAK,CAAC;AACnD,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB,CAAC;AACF,MAAM,MAAM,iBAAiB,GACzB;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,GACnB;IAAE,KAAK,EAAE,kBAAkB,CAAA;CAAE,CAAC;AAElC,wBAAgB,aAAa,CAC3B,SAAS,EAAE,sBAAsB,EACjC,EAAE,EAAE,MAAM,EACV,IAAI,EAAE,iBAAiB,GACtB;IACD,OAAO,EAAE,KAAK,CAAC;IACf,IAAI,EAAE,UAAU,CAAC;IACjB,SAAS,EAAE,sBAAsB,CAAC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,kBAAkB,CAAC;CAC5B,CAQA"}
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../src/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,OAAO,EACZ,KAAK,OAAO,EACb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAoB,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,KAAK,EACV,iBAAiB,EACjB,YAAY,EACZ,aAAa,EACd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EACV,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAMxD,OAAO,EACL,aAAa,EACb,aAAa,EACb,KAAK,aAAa,EAClB,KAAK,aAAa,GACnB,MAAM,aAAa,CAAC;AA8CrB;;;;;;GAMG;AACH,wBAAgB,UAAU,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,GACnB,OAAO,GAAG;IAAE,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;CAAE,CACxE;AAED;;;GAGG;AACH,wBAAgB,SAAS,CAAC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,KAAK,EAAE,SAAS;;EAKzE;AAED;;GAEG;AACH,eAAO,MAAM,cAAc,SAAuC,CAAC;AAEnE;;;GAGG;AACH,wBAAgB,iBAAiB,CAC/B,CAAC,SAAS,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,EAEjD,UAAU,EAAE,CAAC,EACb,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,GAC9B,iBAAiB,GAAG;IACrB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;CAC1C,CAMA;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,CAAC,SAAS,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,EAC5E,EAAE,EAAE,eAAe,EACnB,UAAU,EAAE,CAAC,EACb,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,GAClB,YAAY,GAAG;IAChB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;CAC9B,CAOA;AAED;;;;;;GAMG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB,CAAC;AACF,MAAM,MAAM,iBAAiB,GACzB;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,GACnB;IAAE,KAAK,EAAE,kBAAkB,CAAA;CAAE,CAAC;AAElC,wBAAgB,aAAa,CAC3B,EAAE,EAAE,SAAS,EACb,IAAI,EAAE,iBAAiB,GACtB,aAAa,CAMf"}

package/dist/helpers.js

@@ -1,4 +1,8 @@
-import { FormatRegistry, Type } from "@sinclair/typebox";
+import { FormatRegistry, Type, } from "@sinclair/typebox";
+import { JSON_RPC_VERSION } from "./schema/json-rpc.js";
+import { brandNotificationFrame, brandRequestFrame, brandResponseFrame, } from "./schema/internal-frames.js";
+export { brandedNumber, brandedString, } from "./brands.js";
+import { brandedString } from "./brands.js";
 /**
  * Register the string formats this protocol uses with TypeBox's
  * `FormatRegistry` as a side effect at module load. Without this,
@@ -48,30 +52,44 @@ export function stringEnum(values) {
  * Usage: brandedId("UserId") produces a string schema with format: "uuid"
  */
 export function brandedId(brand) {
-    return Type.String({ format: "uuid", description: `Branded ${brand}` });
+    return brandedString(brand, {
+        format: "uuid",
+        description: `Branded ${brand}`,
+    });
 }
 /**
  * ISO 8601 datetime string schema.
  */
 export const DateTimeString = Type.String({ format: "date-time" });
 /**
- * Construct a typed EventFrame. Eliminates manual `{ jsonrpc: "2.0", type: "event" }` boilerplate.
+ * Construct a typed JSON-RPC notification from a notification descriptor.
+ * Production code should pass descriptors, not raw method names.
+ */
+export function notificationFrame(definition, params) {
+    return brandNotificationFrame({
+        jsonrpc: JSON_RPC_VERSION,
+        method: definition.name,
+        params,
+    });
+}
+/**
+ * Construct a JSON-RPC Request object. This is the single public helper for
+ * request frame construction; callers should pass a descriptor-backed method,
+ * not hand-write frame object literals.
  */
-export function eventFrame(event, data) {
-    return {
-        jsonrpc: "2.0",
-        type: "event",
-        event,
-        ...(data !== undefined ? { data } : {}),
-    };
+export function requestFrame(id, definition, params) {
+    return brandRequestFrame({
+        jsonrpc: JSON_RPC_VERSION,
+        id,
+        method: definition.name,
+        params,
+    });
 }
-export function responseFrame(direction, id, body) {
-    return {
-        jsonrpc: "2.0",
-        type: "response",
-        direction,
+export function responseFrame(id, body) {
+    return brandResponseFrame({
+        jsonrpc: JSON_RPC_VERSION,
         id,
         ...body,
-    };
+    });
 }
 //# sourceMappingURL=helpers.js.map

package/dist/helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../src/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,IAAI,EAAgB,MAAM,mBAAmB,CAAC;AAEvE;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,GACX,iEAAiE,CAAC;AACpE,wEAAwE;AACxE,oEAAoE;AACpE,4BAA4B;AAC5B,MAAM,YAAY,GAChB,qEAAqE,CAAC;AACxE,wEAAwE;AACxE,wEAAwE;AACxE,MAAM,MAAM,GAAG,+BAA+B,CAAC;AAE/C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IAChC,cAAc,CAAC,GAAG,CAChB,MAAM,EACN,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5D,CAAC;AACJ,CAAC;AACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;IACrC,cAAc,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE;QACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzE,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC;AACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/B,cAAc,CAAC,GAAG,CAChB,KAAK,EACL,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAqB,MAAc;IAC3D,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAoC,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAC,KAAa;IACrC,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,KAAK,EAAE,EAAE,CAAC,CAAC;AAC1E,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;AAEnE;;GAEG;AACH,MAAM,UAAU,UAAU,CACxB,KAAa,EACb,IAA8B;IAO9B,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,OAAO;QACb,KAAK;QACL,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACxC,CAAC;AACJ,CAAC;AAwBD,MAAM,UAAU,aAAa,CAC3B,SAAiC,EACjC,EAAU,EACV,IAAuB;IASvB,OAAO;QACL,OAAO,EAAE,KAAK;QACd,IAAI,EAAE,UAAU;QAChB,SAAS;QACT,EAAE;QACF,GAAG,IAAI;KACR,CAAC;AACJ,CAAC"}
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../src/helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,cAAc,EACd,IAAI,GAGL,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAE,gBAAgB,EAAkB,MAAM,sBAAsB,CAAC;AAYxE,OAAO,EACL,sBAAsB,EACtB,iBAAiB,EACjB,kBAAkB,GACnB,MAAM,6BAA6B,CAAC;AACrC,OAAO,EACL,aAAa,EACb,aAAa,GAGd,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE5C;;;;;;;;;;;;GAYG;AACH,MAAM,OAAO,GACX,iEAAiE,CAAC;AACpE,wEAAwE;AACxE,oEAAoE;AACpE,4BAA4B;AAC5B,MAAM,YAAY,GAChB,qEAAqE,CAAC;AACxE,wEAAwE;AACxE,wEAAwE;AACxE,MAAM,MAAM,GAAG,+BAA+B,CAAC;AAE/C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;IAChC,cAAc,CAAC,GAAG,CAChB,MAAM,EACN,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5D,CAAC;AACJ,CAAC;AACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;IACrC,cAAc,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE;QACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzE,OAAO,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC;AACD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/B,cAAc,CAAC,GAAG,CAChB,KAAK,EACL,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAC3D,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CAAqB,MAAc;IAC3D,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAoC,CAAC;AAC1E,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,SAAS,CAAiC,KAAgB;IACxE,OAAO,aAAa,CAAC,KAAK,EAAE;QAC1B,MAAM,EAAE,MAAM;QACd,WAAW,EAAE,WAAW,KAAK,EAAE;KAChC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;AAEnE;;;GAGG;AACH,MAAM,UAAU,iBAAiB,CAG/B,UAAa,EACb,MAA+B;IAK/B,OAAO,sBAAsB,CAAC;QAC5B,OAAO,EAAE,gBAAgB;QACzB,MAAM,EAAE,UAAU,CAAC,IAAI;QACvB,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,EAAmB,EACnB,UAAa,EACb,MAAmB;IAKnB,OAAO,iBAAiB,CAAC;QACvB,OAAO,EAAE,gBAAgB;QACzB,EAAE;QACF,MAAM,EAAE,UAAU,CAAC,IAAI;QACvB,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAkBD,MAAM,UAAU,aAAa,CAC3B,EAAa,EACb,IAAuB;IAEvB,OAAO,kBAAkB,CAAC;QACxB,OAAO,EAAE,gBAAgB;QACzB,EAAE;QACF,GAAG,IAAI;KACR,CAAC,CAAC;AACL,CAAC"}

package/dist/index.d.ts

@@ -1,11 +1,14 @@
 export { PROTOCOL_VERSION } from "./version.js";
 export { validators } from "./validators.js";
 export { ErrorCodes } from "./schema/errors.js";
-export { EventNames } from "./schema/events.js";
+export * from "./brands.js";
 export * from "./schema/index.js";
 export * from "./types.js";
 export * from "./rpc.js";
+export * from "./rpc-errors.js";
+export * from "./notification.js";
+export * from "./rpc-groups.js";
 export * from "./rpc-registry.js";
-export { stringEnum, brandedId, DateTimeString, eventFrame, responseFrame, } from "./helpers.js";
-export { SEED_USERS, SEED_AGENTS, SEED_CONVERSATIONS, SEED_CONTACTS, SEED_MESSAGES, SEED_CONTROL_MESSAGES, SEED_SURFACES, SEED_SURFACE_HISTORY, } from "./test-fixtures/seed-data.js";
+export { stringEnum, brandedId, brandedString, brandedNumber, DateTimeString, notificationFrame, requestFrame, responseFrame, } from "./helpers.js";
+export { SEED_USERS, SEED_AGENTS, SEED_CONVERSATIONS, SEED_CONTACTS, SEED_MESSAGES, SEED_CONTROL_MESSAGES, } from "./test-fixtures/seed-data.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,mBAAmB,CAAC;AAClC,OAAO,EACL,UAAU,EACV,SAAS,EACT,cAAc,EACd,UAAU,EACV,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,UAAU,EACV,WAAW,EACX,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,qBAAqB,EACrB,aAAa,EACb,oBAAoB,GACrB,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,OAAO,EACL,UAAU,EACV,SAAS,EACT,aAAa,EACb,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,YAAY,EACZ,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,UAAU,EACV,WAAW,EACX,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,qBAAqB,GACtB,MAAM,8BAA8B,CAAC"}

package/dist/index.js

@@ -1,11 +1,14 @@
 export { PROTOCOL_VERSION } from "./version.js";
 export { validators } from "./validators.js";
 export { ErrorCodes } from "./schema/errors.js";
-export { EventNames } from "./schema/events.js";
+export * from "./brands.js";
 export * from "./schema/index.js";
 export * from "./types.js";
 export * from "./rpc.js";
+export * from "./rpc-errors.js";
+export * from "./notification.js";
+export * from "./rpc-groups.js";
 export * from "./rpc-registry.js";
-export { stringEnum, brandedId, DateTimeString, eventFrame, responseFrame, } from "./helpers.js";
-export { SEED_USERS, SEED_AGENTS, SEED_CONVERSATIONS, SEED_CONTACTS, SEED_MESSAGES, SEED_CONTROL_MESSAGES, SEED_SURFACES, SEED_SURFACE_HISTORY, } from "./test-fixtures/seed-data.js";
+export { stringEnum, brandedId, brandedString, brandedNumber, DateTimeString, notificationFrame, requestFrame, responseFrame, } from "./helpers.js";
+export { SEED_USERS, SEED_AGENTS, SEED_CONVERSATIONS, SEED_CONTACTS, SEED_MESSAGES, SEED_CONTROL_MESSAGES, } from "./test-fixtures/seed-data.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,mBAAmB,CAAC;AAClC,OAAO,EACL,UAAU,EACV,SAAS,EACT,cAAc,EACd,UAAU,EACV,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,UAAU,EACV,WAAW,EACX,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,qBAAqB,EACrB,aAAa,EACb,oBAAoB,GACrB,MAAM,8BAA8B,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,cAAc,iBAAiB,CAAC;AAChC,cAAc,mBAAmB,CAAC;AAClC,OAAO,EACL,UAAU,EACV,SAAS,EACT,aAAa,EACb,aAAa,EACb,cAAc,EACd,iBAAiB,EACjB,YAAY,EACZ,aAAa,GACd,MAAM,cAAc,CAAC;AACtB,OAAO,EACL,UAAU,EACV,WAAW,EACX,kBAAkB,EAClB,aAAa,EACb,aAAa,EACb,qBAAqB,GACtB,MAAM,8BAA8B,CAAC"}

package/dist/internal/ajv.d.ts

@@ -0,0 +1,5 @@
+import type { TSchema, Static } from "@sinclair/typebox";
+export declare const ajv: {
+    readonly compile: <T extends TSchema>(schema: T) => (data: unknown) => data is Static<T>;
+};
+//# sourceMappingURL=ajv.d.ts.map

package/dist/internal/ajv.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ajv.d.ts","sourceRoot":"","sources":["../../src/internal/ajv.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAgBzD,eAAO,MAAM,GAAG,EAAE;IAChB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,SAAS,OAAO,EAClC,MAAM,EAAE,CAAC,KACN,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;CAQ1C,CAAC"}

package/dist/internal/ajv.js

@@ -0,0 +1,22 @@
+import Ajv from "ajv";
+import addFormats from "ajv-formats";
+/**
+ * Single shared AJV instance for the protocol package. Both `defineRpc()`
+ * and `defineNotification()` register their TypeBox schemas against this
+ * instance at module load, so every wire boundary uses the same compiled
+ * validator pool with identical options.
+ *
+ * The instance itself is not exported. AJV's `_compileMetaSchema` mutates
+ * its own `opts` on first compile, so `Object.freeze` on the instance
+ * would break compilation. Instead, the factory exposes only `compile`,
+ * which is the single operation any descriptor needs. Options are sealed
+ * inside the closure and unreachable from callers.
+ */
+const ajvInstance = addFormats(new Ajv({ strict: true, allErrors: true }));
+export const ajv = Object.freeze({
+    compile: (schema) => {
+        const validate = ajvInstance.compile(schema);
+        return (data) => validate(data);
+    },
+});
+//# sourceMappingURL=ajv.js.map

package/dist/internal/ajv.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ajv.js","sourceRoot":"","sources":["../../src/internal/ajv.ts"],"names":[],"mappings":"AAAA,OAAO,GAAG,MAAM,KAAK,CAAC;AACtB,OAAO,UAAU,MAAM,aAAa,CAAC;AAGrC;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,GAAG,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAE3E,MAAM,CAAC,MAAM,GAAG,GAIZ,MAAM,CAAC,MAAM,CAAC;IAChB,OAAO,EAAE,CACP,MAAS,EAC+B,EAAE;QAC1C,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAY,MAAM,CAAC,CAAC;QACxD,OAAO,CAAC,IAAa,EAAqB,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC;CACF,CAAC,CAAC"}

package/dist/notification.d.ts

@@ -0,0 +1,14 @@
+import { type Static, type TSchema } from "@sinclair/typebox";
+import type { JsonRpcMethod } from "./schema/json-rpc.js";
+export interface NotificationDefinition<Name extends string, P extends TSchema> {
+    readonly name: JsonRpcMethod<Name>;
+    readonly paramsSchema: P;
+    readonly validateParams: (data: unknown) => data is Static<P>;
+    readonly Params: Static<P>;
+}
+export declare function defineNotification<Name extends string, P extends TSchema>(def: {
+    readonly name: JsonRpcMethod<Name>;
+    readonly params: P;
+}): NotificationDefinition<Name, P>;
+export type NotificationParamsOf<D> = D extends NotificationDefinition<string, infer P> ? Static<P> : never;
+//# sourceMappingURL=notification.d.ts.map

package/dist/notification.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"notification.d.ts","sourceRoot":"","sources":["../src/notification.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,sBAAsB,CACrC,IAAI,SAAS,MAAM,EACnB,CAAC,SAAS,OAAO;IAEjB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC;IACzB,QAAQ,CAAC,cAAc,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;IAC9D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;CAC5B;AAED,wBAAgB,kBAAkB,CAChC,IAAI,SAAS,MAAM,EACnB,CAAC,SAAS,OAAO,EACjB,GAAG,EAAE;IACL,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;CACpB,GAAG,sBAAsB,CAAC,IAAI,EAAE,CAAC,CAAC,CAOlC;AAED,MAAM,MAAM,oBAAoB,CAAC,CAAC,IAChC,CAAC,SAAS,sBAAsB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC"}

package/dist/notification.js

@@ -0,0 +1,11 @@
+import {} from "@sinclair/typebox";
+import { ajv } from "./internal/ajv.js";
+export function defineNotification(def) {
+    return {
+        name: def.name,
+        paramsSchema: def.params,
+        validateParams: ajv.compile(def.params),
+        Params: null,
+    };
+}
+//# sourceMappingURL=notification.js.map

package/dist/notification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"notification.js","sourceRoot":"","sources":["../src/notification.ts"],"names":[],"mappings":"AAAA,OAAO,EAA6B,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAaxC,MAAM,UAAU,kBAAkB,CAGhC,GAGD;IACC,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,YAAY,EAAE,GAAG,CAAC,MAAM;QACxB,cAAc,EAAE,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC;QACvC,MAAM,EAAE,IAAK;KACd,CAAC;AACJ,CAAC"}

package/dist/rpc-errors.d.ts

@@ -0,0 +1,30 @@
+import type { JsonRpcMethod } from "./schema/json-rpc.js";
+declare const NotConnectedError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "NotConnectedError";
+} & Readonly<A>;
+/** The socket is not in the OPEN state when an RPC was attempted. */
+export declare class NotConnectedError extends NotConnectedError_base<{
+    readonly message: string;
+}> {
+}
+declare const RpcTimeoutError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "RpcTimeoutError";
+} & Readonly<A>;
+/** The RPC exceeded the per-call timeout without a response frame. */
+export declare class RpcTimeoutError extends RpcTimeoutError_base<{
+    readonly method: JsonRpcMethod;
+    readonly timeoutMs: number;
+}> {
+}
+declare const RpcServerError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "RpcServerError";
+} & Readonly<A>;
+/** The peer returned an `error` response frame. */
+export declare class RpcServerError extends RpcServerError_base<{
+    readonly code: number;
+    readonly message: string;
+    readonly data?: unknown;
+}> {
+}
+export {};
+//# sourceMappingURL=rpc-errors.d.ts.map

package/dist/rpc-errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-errors.d.ts","sourceRoot":"","sources":["../src/rpc-errors.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;;;;AAE1D,qEAAqE;AACrE,qBAAa,iBAAkB,SAAQ,uBAAsC;IAC3E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B,CAAC;CAAG;;;;AAEL,sEAAsE;AACtE,qBAAa,eAAgB,SAAQ,qBAAoC;IACvE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;CAAG;;;;AAEL,mDAAmD;AACnD,qBAAa,cAAe,SAAQ,oBAAmC;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB,CAAC;CAAG"}

package/dist/rpc-errors.js

@@ -0,0 +1,23 @@
+/**
+ * Wire-derived RPC error tags surfaced to callers of an RPC.
+ *
+ * These tags describe failures at the JSON-RPC transport boundary:
+ * - `NotConnectedError` — the socket is not OPEN (or closed mid-call).
+ * - `RpcTimeoutError` — no response frame arrived inside the per-call deadline.
+ * - `RpcServerError` — the peer returned an `error` response frame.
+ *
+ * They live in `@moltzap/protocol` because the failure mode is wire-level,
+ * not transport-implementation-specific. Both client and server consumers
+ * pattern-match on the same `_tag` strings.
+ */
+import { Data } from "effect";
+/** The socket is not in the OPEN state when an RPC was attempted. */
+export class NotConnectedError extends Data.TaggedError("NotConnectedError") {
+}
+/** The RPC exceeded the per-call timeout without a response frame. */
+export class RpcTimeoutError extends Data.TaggedError("RpcTimeoutError") {
+}
+/** The peer returned an `error` response frame. */
+export class RpcServerError extends Data.TaggedError("RpcServerError") {
+}
+//# sourceMappingURL=rpc-errors.js.map

package/dist/rpc-errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-errors.js","sourceRoot":"","sources":["../src/rpc-errors.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAG9B,qEAAqE;AACrE,MAAM,OAAO,iBAAkB,SAAQ,IAAI,CAAC,WAAW,CAAC,mBAAmB,CAEzE;CAAG;AAEL,sEAAsE;AACtE,MAAM,OAAO,eAAgB,SAAQ,IAAI,CAAC,WAAW,CAAC,iBAAiB,CAGrE;CAAG;AAEL,mDAAmD;AACnD,MAAM,OAAO,cAAe,SAAQ,IAAI,CAAC,WAAW,CAAC,gBAAgB,CAInE;CAAG"}

package/dist/rpc-groups.d.ts

@@ -0,0 +1,120 @@
+/**
+ * Descriptor-driven Effect-native RPC + notification group helpers.
+ *
+ * TypeBox + the shared AJV instance (`internal/ajv.ts`) is the single
+ * runtime decode authority for wire data. This module owns the
+ * Effect-native plumbing on top of those descriptors: group construction,
+ * per-frame decode, handler binding, and dispatch.
+ */
+import { Effect } from "effect";
+import type { NotificationFrame, RequestFrame } from "./schema/frames.js";
+import type { JsonRpcMethod, JsonRpcStringId } from "./schema/json-rpc.js";
+import type { NotificationDefinition, NotificationParamsOf } from "./notification.js";
+import type { ParamsOf, RpcDefinition, TSchema } from "./rpc.js";
+type AnyRpcDefinition = RpcDefinition<string, TSchema, TSchema>;
+type AnyNotificationDefinition = NotificationDefinition<string, TSchema>;
+export interface RpcDescriptorGroup<LayerName extends string, Definitions extends readonly AnyRpcDefinition[]> {
+    readonly layer: LayerName;
+    readonly definitions: Definitions;
+    readonly byName: ReadonlyMap<JsonRpcMethod, Definitions[number]>;
+    readonly byDefinition: ReadonlySet<Definitions[number]>;
+}
+export interface NotificationDescriptorGroup<LayerName extends string, Definitions extends readonly AnyNotificationDefinition[]> {
+    readonly layer: LayerName;
+    readonly definitions: Definitions;
+    readonly byName: ReadonlyMap<JsonRpcMethod, Definitions[number]>;
+    readonly byDefinition: ReadonlySet<Definitions[number]>;
+}
+export declare function defineRpcGroup<const LayerName extends string, const Definitions extends readonly AnyRpcDefinition[]>(layer: LayerName, definitions: Definitions): RpcDescriptorGroup<LayerName, Definitions>;
+export declare function defineNotificationGroup<const LayerName extends string, const Definitions extends readonly AnyNotificationDefinition[]>(layer: LayerName, definitions: Definitions): NotificationDescriptorGroup<LayerName, Definitions>;
+export type DecodedRpcRequest<D extends AnyRpcDefinition> = D extends AnyRpcDefinition ? {
+    readonly id: JsonRpcStringId;
+    readonly definition: D;
+    readonly params: ParamsOf<D>;
+} : never;
+export type DecodedNotification<D extends AnyNotificationDefinition> = D extends AnyNotificationDefinition ? NotificationFrame & {
+    readonly definition: D;
+    readonly method: D["name"];
+    readonly params: NotificationParamsOf<D>;
+} : never;
+declare const UnknownRpcMethodError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "UnknownRpcMethodError";
+} & Readonly<A>;
+export declare class UnknownRpcMethodError extends UnknownRpcMethodError_base<{
+    readonly layer: string;
+    readonly frame: RequestFrame;
+}> {
+}
+declare const InvalidRpcParamsError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "InvalidRpcParamsError";
+} & Readonly<A>;
+export declare class InvalidRpcParamsError extends InvalidRpcParamsError_base<{
+    readonly layer: string;
+    readonly frame: RequestFrame;
+    readonly definition: AnyRpcDefinition;
+}> {
+}
+export type RpcRequestDecodeError = UnknownRpcMethodError | InvalidRpcParamsError;
+declare const UnknownNotificationMethodError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "UnknownNotificationMethodError";
+} & Readonly<A>;
+export declare class UnknownNotificationMethodError extends UnknownNotificationMethodError_base<{
+    readonly layer: string;
+    readonly frame: NotificationFrame;
+}> {
+}
+declare const InvalidNotificationParamsError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
+    readonly _tag: "InvalidNotificationParamsError";
+} & Readonly<A>;
+export declare class InvalidNotificationParamsError extends InvalidNotificationParamsError_base<{
+    readonly layer: string;
+    readonly frame: NotificationFrame;
+    readonly definition: AnyNotificationDefinition;
+}> {
+}
+export type NotificationDecodeError = UnknownNotificationMethodError | InvalidNotificationParamsError;
+export interface RpcBoundaryService<Definitions extends readonly AnyRpcDefinition[]> {
+    readonly decodeRequest: (frame: RequestFrame) => Effect.Effect<DecodedRpcRequest<Definitions[number]>, RpcRequestDecodeError>;
+}
+export interface NotificationBoundaryService<Definitions extends readonly AnyNotificationDefinition[]> {
+    readonly decode: (frame: NotificationFrame) => Effect.Effect<DecodedNotification<Definitions[number]>, NotificationDecodeError>;
+}
+export declare function makeRpcBoundaryService<const Definitions extends readonly AnyRpcDefinition[]>(group: RpcDescriptorGroup<string, Definitions>): RpcBoundaryService<Definitions>;
+export declare function makeNotificationBoundaryService<const Definitions extends readonly AnyNotificationDefinition[]>(group: NotificationDescriptorGroup<string, Definitions>): NotificationBoundaryService<Definitions>;
+export declare function decodeRpcRequest<const Definitions extends readonly AnyRpcDefinition[]>(group: RpcDescriptorGroup<string, Definitions>, frame: RequestFrame): Effect.Effect<DecodedRpcRequest<Definitions[number]>, RpcRequestDecodeError>;
+export declare function decodeNotification<const Definitions extends readonly AnyNotificationDefinition[]>(group: NotificationDescriptorGroup<string, Definitions>, frame: NotificationFrame): Effect.Effect<DecodedNotification<Definitions[number]>, NotificationDecodeError>;
+export declare function isDecodedRpcRequest<D extends AnyRpcDefinition>(definition: D, request: DecodedRpcRequest<AnyRpcDefinition>): request is DecodedRpcRequest<D>;
+export declare function isDecodedNotification<D extends AnyNotificationDefinition>(definition: D, notification: DecodedNotification<AnyNotificationDefinition>): notification is DecodedNotification<D>;
+export declare function isDecodedRpcRequestInGroup<const Definitions extends readonly AnyRpcDefinition[]>(group: RpcDescriptorGroup<string, Definitions>, request: DecodedRpcRequest<AnyRpcDefinition>): request is DecodedRpcRequest<Definitions[number]>;
+export declare function isDecodedNotificationInGroup<const Definitions extends readonly AnyNotificationDefinition[]>(group: NotificationDescriptorGroup<string, Definitions>, notification: DecodedNotification<AnyNotificationDefinition>): notification is DecodedNotification<Definitions[number]>;
+export interface NotificationHandlerBinding<D extends AnyNotificationDefinition, E, R> {
+    readonly definition: D;
+    readonly handler: (params: NotificationParamsOf<D>) => Effect.Effect<void, E, R>;
+}
+export declare const bindNotificationHandler: <D extends AnyNotificationDefinition, E, R>(definition: D, handler: (params: NotificationParamsOf<D>) => Effect.Effect<void, E, R>) => NotificationHandlerBinding<D, E, R>;
+type NotificationHandlerTuple<Definitions extends readonly AnyNotificationDefinition[], E> = {
+    readonly [Index in keyof Definitions]: Definitions[Index] extends AnyNotificationDefinition ? NotificationHandlerBinding<Definitions[Index], E, unknown> : never;
+};
+type NotificationBindingRequirements<Bindings extends readonly unknown[]> = Bindings[number] extends NotificationHandlerBinding<AnyNotificationDefinition, unknown, infer R> ? R : never;
+export interface EffectNotificationHandlerLayer<Definitions extends readonly AnyNotificationDefinition[], E, R> {
+    readonly group: NotificationDescriptorGroup<string, Definitions>;
+    readonly byName: ReadonlyMap<JsonRpcMethod, Definitions[number]>;
+    readonly byDefinition: ReadonlySet<Definitions[number]>;
+    readonly dispatch: (notification: DecodedNotification<Definitions[number]>) => Effect.Effect<void, E, R>;
+}
+/**
+ * Bind a tuple of notification handlers to their descriptors. Returns a
+ * dispatcher that routes each `DecodedNotification` to its handler by
+ * descriptor identity (set during construction), so dispatch is O(1)
+ * lookup with no name-string comparison on the hot path.
+ *
+ * The internal handler map stores `unknown -> Effect<void, E, R>` because
+ * `Definitions[number]` is a union and each individual binding is keyed
+ * to one concrete `D`. Descriptor identity (set during construction) is
+ * the soundness proof: dispatch only sees `params` produced by the same
+ * descriptor's pre-compiled AJV validator, so the unknown→params cast is
+ * the boundary where validation already passed.
+ */
+export declare function defineEffectNotificationHandlers<const Definitions extends readonly AnyNotificationDefinition[], E, const Bindings extends NotificationHandlerTuple<Definitions, E>>(group: NotificationDescriptorGroup<string, Definitions>, bindings: Bindings): EffectNotificationHandlerLayer<Definitions, E, NotificationBindingRequirements<Bindings>>;
+export {};
+//# sourceMappingURL=rpc-groups.d.ts.map

package/dist/rpc-groups.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-groups.d.ts","sourceRoot":"","sources":["../src/rpc-groups.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAQ,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtC,OAAO,KAAK,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC1E,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC3E,OAAO,KAAK,EACV,sBAAsB,EACtB,oBAAoB,EACrB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AAEjE,KAAK,gBAAgB,GAAG,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AAChE,KAAK,yBAAyB,GAAG,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAezE,MAAM,WAAW,kBAAkB,CACjC,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,SAAS,gBAAgB,EAAE;IAE/C,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,2BAA2B,CAC1C,SAAS,SAAS,MAAM,EACxB,WAAW,SAAS,SAAS,yBAAyB,EAAE;IAExD,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;CACzD;AAED,wBAAgB,cAAc,CAC5B,KAAK,CAAC,SAAS,SAAS,MAAM,EAC9B,KAAK,CAAC,WAAW,SAAS,SAAS,gBAAgB,EAAE,EAErD,KAAK,EAAE,SAAS,EAChB,WAAW,EAAE,WAAW,GACvB,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,CAO5C;AAED,wBAAgB,uBAAuB,CACrC,KAAK,CAAC,SAAS,SAAS,MAAM,EAC9B,KAAK,CAAC,WAAW,SAAS,SAAS,yBAAyB,EAAE,EAE9D,KAAK,EAAE,SAAS,EAChB,WAAW,EAAE,WAAW,GACvB,2BAA2B,CAAC,SAAS,EAAE,WAAW,CAAC,CAOrD;AAED,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,gBAAgB,IACtD,CAAC,SAAS,gBAAgB,GACtB;IACE,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;CAC9B,GACD,KAAK,CAAC;AAEZ,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,yBAAyB,IACjE,CAAC,SAAS,yBAAyB,GAC/B,iBAAiB,GAAG;IAClB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,CAAC;CAC1C,GACD,KAAK,CAAC;;;;AAEZ,qBAAa,qBAAsB,SAAQ,2BAEzC;IACA,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;CAC9B,CAAC;CAAG;;;;AAEL,qBAAa,qBAAsB,SAAQ,2BAEzC;IACA,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,gBAAgB,CAAC;CACvC,CAAC;CAAG;AAEL,MAAM,MAAM,qBAAqB,GAC7B,qBAAqB,GACrB,qBAAqB,CAAC;;;;AAE1B,qBAAa,8BAA+B,SAAQ,oCAElD;IACA,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;CACnC,CAAC;CAAG;;;;AAEL,qBAAa,8BAA+B,SAAQ,oCAElD;IACA,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAC;CAChD,CAAC;CAAG;AAEL,MAAM,MAAM,uBAAuB,GAC/B,8BAA8B,GAC9B,8BAA8B,CAAC;AAEnC,MAAM,WAAW,kBAAkB,CACjC,WAAW,SAAS,SAAS,gBAAgB,EAAE;IAE/C,QAAQ,CAAC,aAAa,EAAE,CACtB,KAAK,EAAE,YAAY,KAChB,MAAM,CAAC,MAAM,CAChB,iBAAiB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACtC,qBAAqB,CACtB,CAAC;CACH;AAED,MAAM,WAAW,2BAA2B,CAC1C,WAAW,SAAS,SAAS,yBAAyB,EAAE;IAExD,QAAQ,CAAC,MAAM,EAAE,CACf,KAAK,EAAE,iBAAiB,KACrB,MAAM,CAAC,MAAM,CAChB,mBAAmB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACxC,uBAAuB,CACxB,CAAC;CACH;AAED,wBAAgB,sBAAsB,CACpC,KAAK,CAAC,WAAW,SAAS,SAAS,gBAAgB,EAAE,EAErD,KAAK,EAAE,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC,GAC7C,kBAAkB,CAAC,WAAW,CAAC,CAIjC;AAED,wBAAgB,+BAA+B,CAC7C,KAAK,CAAC,WAAW,SAAS,SAAS,yBAAyB,EAAE,EAE9D,KAAK,EAAE,2BAA2B,CAAC,MAAM,EAAE,WAAW,CAAC,GACtD,2BAA2B,CAAC,WAAW,CAAC,CAI1C;AAED,wBAAgB,gBAAgB,CAC9B,KAAK,CAAC,WAAW,SAAS,SAAS,gBAAgB,EAAE,EAErD,KAAK,EAAE,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC,EAC9C,KAAK,EAAE,YAAY,GAClB,MAAM,CAAC,MAAM,CACd,iBAAiB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACtC,qBAAqB,CACtB,CAkBA;AAED,wBAAgB,kBAAkB,CAChC,KAAK,CAAC,WAAW,SAAS,SAAS,yBAAyB,EAAE,EAE9D,KAAK,EAAE,2BAA2B,CAAC,MAAM,EAAE,WAAW,CAAC,EACvD,KAAK,EAAE,iBAAiB,GACvB,MAAM,CAAC,MAAM,CACd,mBAAmB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EACxC,uBAAuB,CACxB,CAuBA;AAED,wBAAgB,mBAAmB,CAAC,CAAC,SAAS,gBAAgB,EAC5D,UAAU,EAAE,CAAC,EACb,OAAO,EAAE,iBAAiB,CAAC,gBAAgB,CAAC,GAC3C,OAAO,IAAI,iBAAiB,CAAC,CAAC,CAAC,CAEjC;AAED,wBAAgB,qBAAqB,CAAC,CAAC,SAAS,yBAAyB,EACvE,UAAU,EAAE,CAAC,EACb,YAAY,EAAE,mBAAmB,CAAC,yBAAyB,CAAC,GAC3D,YAAY,IAAI,mBAAmB,CAAC,CAAC,CAAC,CAExC;AAED,wBAAgB,0BAA0B,CACxC,KAAK,CAAC,WAAW,SAAS,SAAS,gBAAgB,EAAE,EAErD,KAAK,EAAE,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC,EAC9C,OAAO,EAAE,iBAAiB,CAAC,gBAAgB,CAAC,GAC3C,OAAO,IAAI,iBAAiB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAEnD;AAED,wBAAgB,4BAA4B,CAC1C,KAAK,CAAC,WAAW,SAAS,SAAS,yBAAyB,EAAE,EAE9D,KAAK,EAAE,2BAA2B,CAAC,MAAM,EAAE,WAAW,CAAC,EACvD,YAAY,EAAE,mBAAmB,CAAC,yBAAyB,CAAC,GAC3D,YAAY,IAAI,mBAAmB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAE1D;AAED,MAAM,WAAW,0BAA0B,CACzC,CAAC,SAAS,yBAAyB,EACnC,CAAC,EACD,CAAC;IAED,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,CAChB,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAC5B,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAChC;AAED,eAAO,MAAM,uBAAuB,GAClC,CAAC,SAAS,yBAAyB,EACnC,CAAC,EACD,CAAC,EAED,YAAY,CAAC,EACb,SAAS,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,KACtE,0BAA0B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAA8B,CAAC;AAEpE,KAAK,wBAAwB,CAC3B,WAAW,SAAS,SAAS,yBAAyB,EAAE,EACxD,CAAC,IACC;IACF,QAAQ,EAAE,KAAK,IAAI,MAAM,WAAW,GAAG,WAAW,CAAC,KAAK,CAAC,SAAS,yBAAyB,GACvF,0BAA0B,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,GAC1D,KAAK;CACV,CAAC;AAEF,KAAK,+BAA+B,CAAC,QAAQ,SAAS,SAAS,OAAO,EAAE,IACtE,QAAQ,CAAC,MAAM,CAAC,SAAS,0BAA0B,CACjD,yBAAyB,EACzB,OAAO,EACP,MAAM,CAAC,CACR,GACG,CAAC,GACD,KAAK,CAAC;AAEZ,MAAM,WAAW,8BAA8B,CAC7C,WAAW,SAAS,SAAS,yBAAyB,EAAE,EACxD,CAAC,EACD,CAAC;IAED,QAAQ,CAAC,KAAK,EAAE,2BAA2B,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACjE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACjE,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,CACjB,YAAY,EAAE,mBAAmB,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KACnD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;CAChC;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,gCAAgC,CAC9C,KAAK,CAAC,WAAW,SAAS,SAAS,yBAAyB,EAAE,EAC9D,CAAC,EACD,KAAK,CAAC,QAAQ,SAAS,wBAAwB,CAAC,WAAW,EAAE,CAAC,CAAC,EAE/D,KAAK,EAAE,2BAA2B,CAAC,MAAM,EAAE,WAAW,CAAC,EACvD,QAAQ,EAAE,QAAQ,GACjB,8BAA8B,CAC/B,WAAW,EACX,CAAC,EACD,+BAA+B,CAAC,QAAQ,CAAC,CAC1C,CA8BA"}