@moltzap/protocol 2026.503.4 → 2026.504.0

package/dist/rpc-groups.js

@@ -0,0 +1,131 @@
+/**
+ * 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 { Data, Effect } from "effect";
+const descriptorMap = (definitions) => {
+    const map = new Map();
+    for (const definition of definitions) {
+        map.set(definition.name, definition);
+    }
+    return map;
+};
+const descriptorSet = (definitions) => new Set(definitions);
+export function defineRpcGroup(layer, definitions) {
+    return {
+        layer,
+        definitions,
+        byName: descriptorMap(definitions),
+        byDefinition: descriptorSet(definitions),
+    };
+}
+export function defineNotificationGroup(layer, definitions) {
+    return {
+        layer,
+        definitions,
+        byName: descriptorMap(definitions),
+        byDefinition: descriptorSet(definitions),
+    };
+}
+export class UnknownRpcMethodError extends Data.TaggedError("UnknownRpcMethodError") {
+}
+export class InvalidRpcParamsError extends Data.TaggedError("InvalidRpcParamsError") {
+}
+export class UnknownNotificationMethodError extends Data.TaggedError("UnknownNotificationMethodError") {
+}
+export class InvalidNotificationParamsError extends Data.TaggedError("InvalidNotificationParamsError") {
+}
+export function makeRpcBoundaryService(group) {
+    return {
+        decodeRequest: (frame) => decodeRpcRequest(group, frame),
+    };
+}
+export function makeNotificationBoundaryService(group) {
+    return {
+        decode: (frame) => decodeNotification(group, frame),
+    };
+}
+export function decodeRpcRequest(group, frame) {
+    const definition = group.byName.get(frame.method);
+    if (definition === undefined) {
+        return Effect.fail(new UnknownRpcMethodError({ layer: group.layer, frame }));
+    }
+    const params = frame.params ?? {};
+    if (!definition.validateParams(params)) {
+        return Effect.fail(new InvalidRpcParamsError({ layer: group.layer, frame, definition }));
+    }
+    return Effect.succeed({
+        id: frame.id,
+        definition,
+        params,
+    });
+}
+export function decodeNotification(group, frame) {
+    const definition = group.byName.get(frame.method);
+    if (definition === undefined) {
+        return Effect.fail(new UnknownNotificationMethodError({ layer: group.layer, frame }));
+    }
+    const params = frame.params ?? {};
+    if (!definition.validateParams(params)) {
+        return Effect.fail(new InvalidNotificationParamsError({
+            layer: group.layer,
+            frame,
+            definition,
+        }));
+    }
+    return Effect.succeed({
+        ...frame,
+        definition,
+        method: definition.name,
+        params,
+    });
+}
+export function isDecodedRpcRequest(definition, request) {
+    return request.definition === definition;
+}
+export function isDecodedNotification(definition, notification) {
+    return notification.definition === definition;
+}
+export function isDecodedRpcRequestInGroup(group, request) {
+    return group.byDefinition.has(request.definition);
+}
+export function isDecodedNotificationInGroup(group, notification) {
+    return group.byDefinition.has(notification.definition);
+}
+export const bindNotificationHandler = (definition, handler) => ({ definition, handler });
+/**
+ * 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 function defineEffectNotificationHandlers(group, bindings) {
+    const dispatchHandlers = new Map();
+    for (const binding of bindings) {
+        dispatchHandlers.set(binding.definition, binding.handler);
+    }
+    return {
+        group,
+        byName: group.byName,
+        byDefinition: group.byDefinition,
+        dispatch: (notification) => {
+            const handler = dispatchHandlers.get(notification.definition);
+            if (handler === undefined) {
+                return Effect.die(new Error(`Missing notification handler for ${String(notification.method)}`));
+            }
+            return handler(notification.params);
+        },
+    };
+}
+//# sourceMappingURL=rpc-groups.js.map

package/dist/rpc-groups.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rpc-groups.js","sourceRoot":"","sources":["../src/rpc-groups.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAYtC,MAAM,aAAa,GAAG,CACpB,WAAyB,EACM,EAAE;IACjC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAC;IACxC,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;QACrC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAI,WAAyB,EAAkB,EAAE,CACrE,IAAI,GAAG,CAAC,WAAW,CAAC,CAAC;AAsBvB,MAAM,UAAU,cAAc,CAI5B,KAAgB,EAChB,WAAwB;IAExB,OAAO;QACL,KAAK;QACL,WAAW;QACX,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC;QAClC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,uBAAuB,CAIrC,KAAgB,EAChB,WAAwB;IAExB,OAAO;QACL,KAAK;QACL,WAAW;QACX,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC;QAClC,YAAY,EAAE,aAAa,CAAC,WAAW,CAAC;KACzC,CAAC;AACJ,CAAC;AAoBD,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CACzD,uBAAuB,CAIvB;CAAG;AAEL,MAAM,OAAO,qBAAsB,SAAQ,IAAI,CAAC,WAAW,CACzD,uBAAuB,CAKvB;CAAG;AAML,MAAM,OAAO,8BAA+B,SAAQ,IAAI,CAAC,WAAW,CAClE,gCAAgC,CAIhC;CAAG;AAEL,MAAM,OAAO,8BAA+B,SAAQ,IAAI,CAAC,WAAW,CAClE,gCAAgC,CAKhC;CAAG;AA4BL,MAAM,UAAU,sBAAsB,CAGpC,KAA8C;IAE9C,OAAO;QACL,aAAa,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,KAAK,EAAE,KAAK,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,+BAA+B,CAG7C,KAAuD;IAEvD,OAAO;QACL,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC;KACpD,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,gBAAgB,CAG9B,KAA8C,EAC9C,KAAmB;IAKnB,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,qBAAqB,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CACzD,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAClC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,qBAAqB,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CACrE,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,UAAU;QACV,MAAM;KACmC,CAAC,CAAC;AAC/C,CAAC;AAED,MAAM,UAAU,kBAAkB,CAGhC,KAAuD,EACvD,KAAwB;IAKxB,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,8BAA8B,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,CAClE,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAClC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,8BAA8B,CAAC;YACjC,KAAK,EAAE,KAAK,CAAC,KAAK;YAClB,KAAK;YACL,UAAU;SACX,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,MAAM,CAAC,OAAO,CAAC;QACpB,GAAG,KAAK;QACR,UAAU;QACV,MAAM,EAAE,UAAU,CAAC,IAAI;QACvB,MAAM;KACqC,CAAC,CAAC;AACjD,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,UAAa,EACb,OAA4C;IAE5C,OAAO,OAAO,CAAC,UAAU,KAAK,UAAU,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,UAAa,EACb,YAA4D;IAE5D,OAAO,YAAY,CAAC,UAAU,KAAK,UAAU,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,0BAA0B,CAGxC,KAA8C,EAC9C,OAA4C;IAE5C,OAAO,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,UAAiC,CAAC,CAAC;AAC3E,CAAC;AAED,MAAM,UAAU,4BAA4B,CAG1C,KAAuD,EACvD,YAA4D;IAE5D,OAAO,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,YAAY,CAAC,UAAiC,CAAC,CAAC;AAChF,CAAC;AAaD,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAKrC,UAAa,EACb,OAAuE,EAClC,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC;AAiCpE;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gCAAgC,CAK9C,KAAuD,EACvD,QAAkB;IAOlB,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAG7B,CAAC;IACJ,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,gBAAgB,CAAC,GAAG,CAClB,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,OAEiC,CAC1C,CAAC;IACJ,CAAC;IACD,OAAO;QACL,KAAK;QACL,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,QAAQ,EAAE,CAAC,YAAY,EAAE,EAAE;YACzB,MAAM,OAAO,GAAG,gBAAgB,CAAC,GAAG,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;YAC9D,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,MAAM,CAAC,GAAG,CACf,IAAI,KAAK,CACP,oCAAoC,MAAM,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAClE,CACF,CAAC;YACJ,CAAC;YACD,OAAO,OAAO,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;QACtC,CAAC;KACF,CAAC;AACJ,CAAC"}