@moltzap/protocol 2026.503.3 → 2026.504.0

package/dist/testing/codec.js

@@ -9,8 +9,26 @@
  */
 import { Effect } from "effect";
 import { Value } from "@sinclair/typebox/value";
-import { RequestFrameSchema, ResponseFrameSchema, EventFrameSchema, } from "../schema/frames.js";
+import { RequestFrameSchema, ResponseFrameSchema, NotificationFrameSchema, } from "../schema/frames.js";
+import { isJsonRpcStringId } from "../schema/json-rpc.js";
 import { FrameSchemaError } from "./errors.js";
+const BIT_FLIP_VARIANTS = 8;
+const OVERSIZED_PADDING_BYTES = 65_536;
+const LCG_MULTIPLIER = 1_664_525;
+const LCG_INCREMENT = 1_013_904_223;
+const LCG_MODULUS = 0x100000000;
+export function isRequestFrame(frame) {
+    return "id" in frame && "method" in frame;
+}
+export function isResponseFrame(frame) {
+    return "id" in frame && ("result" in frame || "error" in frame);
+}
+export function isCorrelatedResponseFrame(frame) {
+    return isResponseFrame(frame) && isJsonRpcStringId(frame.id);
+}
+export function isNotificationFrame(frame) {
+    return !("id" in frame) && "method" in frame;
+}
 /** Serialize a typed frame to the wire bytes. */
 export function encodeFrame(frame) {
     return JSON.stringify(frame);
@@ -34,57 +52,29 @@ export function decodeFrame(raw, direction) {
                 reason: `json parse failed: ${err instanceof Error ? err.message : String(err)}`,
             }));
         }
-        if (parsed === null ||
-            typeof parsed !== "object" ||
-            !("type" in parsed) ||
-            typeof parsed.type !== "string") {
+        if (parsed === null || typeof parsed !== "object") {
             return Effect.fail(new FrameSchemaError({
                 direction,
                 expected: "request",
                 raw,
-                reason: "frame missing required `type` discriminator",
+                reason: "frame must be a JSON object",
             }));
         }
-        const type = parsed.type;
-        switch (type) {
-            case "request":
-                if (Value.Check(RequestFrameSchema, parsed)) {
-                    return Effect.succeed(parsed);
-                }
-                return Effect.fail(new FrameSchemaError({
-                    direction,
-                    expected: "request",
-                    raw,
-                    reason: firstValueError(RequestFrameSchema, parsed),
-                }));
-            case "response":
-                if (Value.Check(ResponseFrameSchema, parsed)) {
-                    return Effect.succeed(parsed);
-                }
-                return Effect.fail(new FrameSchemaError({
-                    direction,
-                    expected: "response",
-                    raw,
-                    reason: firstValueError(ResponseFrameSchema, parsed),
-                }));
-            case "event":
-                if (Value.Check(EventFrameSchema, parsed)) {
-                    return Effect.succeed(parsed);
-                }
-                return Effect.fail(new FrameSchemaError({
-                    direction,
-                    expected: "event",
-                    raw,
-                    reason: firstValueError(EventFrameSchema, parsed),
-                }));
-            default:
-                return Effect.fail(new FrameSchemaError({
-                    direction,
-                    expected: "request",
-                    raw,
-                    reason: `unknown frame type: ${type}`,
-                }));
+        if (Value.Check(ResponseFrameSchema, parsed)) {
+            return Effect.succeed(parsed);
         }
+        if (Value.Check(RequestFrameSchema, parsed)) {
+            return Effect.succeed(parsed);
+        }
+        if (Value.Check(NotificationFrameSchema, parsed)) {
+            return Effect.succeed(parsed);
+        }
+        return Effect.fail(new FrameSchemaError({
+            direction,
+            expected: "request",
+            raw,
+            reason: firstValueError(RequestFrameSchema, parsed),
+        }));
     });
 }
 function firstValueError(schema, value) {
@@ -110,7 +100,7 @@ export function malformFrame(base, kind, seed) {
             const pos = Math.floor(rand() * rawJson.length);
             const ch = rawJson.charCodeAt(pos);
             // Flip one bit in the low byte (XOR with 1<<bit).
-            const bit = Math.floor(rand() * 8);
+            const bit = Math.floor(rand() * BIT_FLIP_VARIANTS);
             const flipped = String.fromCharCode(ch ^ (1 << bit));
             return rawJson.slice(0, pos) + flipped + rawJson.slice(pos + 1);
         }
@@ -125,7 +115,7 @@ export function malformFrame(base, kind, seed) {
             // Uses `_padding` field at top level of the JSON object, which
             // `additionalProperties: false` rejects — also triggers "extra-property"
             // under different framing, but here the point is byte-size.
-            const padLen = 64 * 1024;
+            const padLen = OVERSIZED_PADDING_BYTES;
             const pad = "X".repeat(padLen);
             // Splice "_padding":"...", before the closing `}`.
             const idx = rawJson.lastIndexOf("}");
@@ -151,10 +141,13 @@ export function malformFrame(base, kind, seed) {
         }
         default: {
             const _exhaustive = kind;
-            throw new Error(`malformFrame: unexpected kind ${String(_exhaustive)}`);
+            return absurdMalformedFrameKind(_exhaustive);
         }
     }
 }
+function absurdMalformedFrameKind(kind) {
+    throw new Error(`malformFrame: unexpected kind ${String(kind)}`);
+}
 /**
  * Deterministic LCG (Numerical Recipes constants). Given the same seed,
  * yields the same sequence of floats in [0, 1). Good enough for reproducible
@@ -163,8 +156,8 @@ export function malformFrame(base, kind, seed) {
 function lcg(seed) {
     let s = seed >>> 0 || 1;
     return () => {
-        s = (Math.imul(s, 1664525) + 1013904223) >>> 0;
-        return s / 0x100000000;
+        s = (Math.imul(s, LCG_MULTIPLIER) + LCG_INCREMENT) >>> 0;
+        return s / LCG_MODULUS;
     };
 }
 //# sourceMappingURL=codec.js.map

package/dist/testing/codec.js.map

@@ -1 +1 @@
-{"version":3,"file":"codec.js","sourceRoot":"","sources":["../../src/testing/codec.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,gBAAgB,GAIjB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAwB/C,iDAAiD;AACjD,MAAM,UAAU,WAAW,CAAC,KAAe;IACzC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,GAAW,EACX,SAAiC;IAEjC,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACzB,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;gBACnB,SAAS;gBACT,QAAQ,EAAE,SAAS;gBACnB,GAAG;gBACH,MAAM,EAAE,sBAAsB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;aACjF,CAAC,CACH,CAAC;QACJ,CAAC;QAED,IACE,MAAM,KAAK,IAAI;YACf,OAAO,MAAM,KAAK,QAAQ;YAC1B,CAAC,CAAC,MAAM,IAAI,MAAM,CAAC;YACnB,OAAQ,MAA4B,CAAC,IAAI,KAAK,QAAQ,EACtD,CAAC;YACD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;gBACnB,SAAS;gBACT,QAAQ,EAAE,SAAS;gBACnB,GAAG;gBACH,MAAM,EAAE,6CAA6C;aACtD,CAAC,CACH,CAAC;QACJ,CAAC;QAED,MAAM,IAAI,GAAI,MAA2B,CAAC,IAAI,CAAC;QAC/C,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,SAAS;gBACZ,IAAI,KAAK,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC5C,OAAO,MAAM,CAAC,OAAO,CAAC,MAAkB,CAAC,CAAC;gBAC5C,CAAC;gBACD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;oBACnB,SAAS;oBACT,QAAQ,EAAE,SAAS;oBACnB,GAAG;oBACH,MAAM,EAAE,eAAe,CAAC,kBAAkB,EAAE,MAAM,CAAC;iBACpD,CAAC,CACH,CAAC;YACJ,KAAK,UAAU;gBACb,IAAI,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC7C,OAAO,MAAM,CAAC,OAAO,CAAC,MAAkB,CAAC,CAAC;gBAC5C,CAAC;gBACD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;oBACnB,SAAS;oBACT,QAAQ,EAAE,UAAU;oBACpB,GAAG;oBACH,MAAM,EAAE,eAAe,CAAC,mBAAmB,EAAE,MAAM,CAAC;iBACrD,CAAC,CACH,CAAC;YACJ,KAAK,OAAO;gBACV,IAAI,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC1C,OAAO,MAAM,CAAC,OAAO,CAAC,MAAkB,CAAC,CAAC;gBAC5C,CAAC;gBACD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;oBACnB,SAAS;oBACT,QAAQ,EAAE,OAAO;oBACjB,GAAG;oBACH,MAAM,EAAE,eAAe,CAAC,gBAAgB,EAAE,MAAM,CAAC;iBAClD,CAAC,CACH,CAAC;YACJ;gBACE,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;oBACnB,SAAS;oBACT,QAAQ,EAAE,SAAS;oBACnB,GAAG;oBACH,MAAM,EAAE,uBAAuB,IAAI,EAAE;iBACtC,CAAC,CACH,CAAC;QACN,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,MAA0C,EAC1C,KAAc;IAEd,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,OAAO,GAAG,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC;IACD,OAAO,qBAAqB,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAc,EACd,IAAwB,EACxB,IAAY;IAEZ,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,sEAAsE;IACtE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IAEvB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACnC,kDAAkD;YAClD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;YACnC,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YACrD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;YAC9D,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,2EAA2E;YAC3E,+DAA+D;YAC/D,yEAAyE;YACzE,4DAA4D;YAC5D,MAAM,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC;YACzB,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC/B,mDAAmD;YACnD,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,OAAO,OAAO,GAAG,GAAG,CAAC;YACrC,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,GAAG,IAAI,CAAC;QACzD,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,yEAAyE;YACzE,qEAAqE;YACrE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,0CAA0C;YAC1C,OAAO,OAAO,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC/B,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC;QACvD,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,iCAAiC,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,GAAG,CAAC,IAAY;IACvB,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC/C,OAAO,CAAC,GAAG,WAAW,CAAC;IACzB,CAAC,CAAC;AACJ,CAAC"}
+{"version":3,"file":"codec.js","sourceRoot":"","sources":["../../src/testing/codec.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,uBAAuB,GAIxB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,iBAAiB,EAAwB,MAAM,uBAAuB,CAAC;AAChF,OAAO,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAE/C,MAAM,iBAAiB,GAAG,CAAC,CAAC;AAC5B,MAAM,uBAAuB,GAAG,MAAM,CAAC;AACvC,MAAM,cAAc,GAAG,SAAS,CAAC;AACjC,MAAM,aAAa,GAAG,aAAa,CAAC;AACpC,MAAM,WAAW,GAAG,WAAW,CAAC;AAYhC,MAAM,UAAU,cAAc,CAAC,KAAe;IAC5C,OAAO,IAAI,IAAI,KAAK,IAAI,QAAQ,IAAI,KAAK,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAe;IAC7C,OAAO,IAAI,IAAI,KAAK,IAAI,CAAC,QAAQ,IAAI,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,KAAe;IAEf,OAAO,eAAe,CAAC,KAAK,CAAC,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC/D,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,KAAe;IAEf,OAAO,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,QAAQ,IAAI,KAAK,CAAC;AAC/C,CAAC;AAcD,iDAAiD;AACjD,MAAM,UAAU,WAAW,CAAC,KAAe;IACzC,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,GAAW,EACX,SAAiC;IAEjC,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE;QACzB,IAAI,MAAe,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC3B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;gBACnB,SAAS;gBACT,QAAQ,EAAE,SAAS;gBACnB,GAAG;gBACH,MAAM,EAAE,sBAAsB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE;aACjF,CAAC,CACH,CAAC;QACJ,CAAC;QAED,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;YAClD,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;gBACnB,SAAS;gBACT,QAAQ,EAAE,SAAS;gBACnB,GAAG;gBACH,MAAM,EAAE,6BAA6B;aACtC,CAAC,CACH,CAAC;QACJ,CAAC;QAED,IAAI,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,MAAM,CAAC,EAAE,CAAC;YAC7C,OAAO,MAAM,CAAC,OAAO,CAAC,MAAkB,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,kBAAkB,EAAE,MAAM,CAAC,EAAE,CAAC;YAC5C,OAAO,MAAM,CAAC,OAAO,CAAC,MAAkB,CAAC,CAAC;QAC5C,CAAC;QACD,IAAI,KAAK,CAAC,KAAK,CAAC,uBAAuB,EAAE,MAAM,CAAC,EAAE,CAAC;YACjD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAkB,CAAC,CAAC;QAC5C,CAAC;QAED,OAAO,MAAM,CAAC,IAAI,CAChB,IAAI,gBAAgB,CAAC;YACnB,SAAS;YACT,QAAQ,EAAE,SAAS;YACnB,GAAG;YACH,MAAM,EAAE,eAAe,CAAC,kBAAkB,EAAE,MAAM,CAAC;SACpD,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,MAA0C,EAC1C,KAAc;IAEd,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,OAAO,GAAG,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC;IACD,OAAO,qBAAqB,CAAC;AAC/B,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAc,EACd,IAAwB,EACxB,IAAY;IAEZ,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,sEAAsE;IACtE,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IAEvB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,OAAO,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,MAAM,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;YACnC,kDAAkD;YAClD,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,iBAAiB,CAAC,CAAC;YACnD,MAAM,OAAO,GAAG,MAAM,CAAC,YAAY,CAAC,EAAE,GAAG,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC;YACrD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAClE,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC;gBAAE,OAAO,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;YAC9D,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChC,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,2EAA2E;YAC3E,+DAA+D;YAC/D,yEAAyE;YACzE,4DAA4D;YAC5D,MAAM,MAAM,GAAG,uBAAuB,CAAC;YACvC,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC/B,mDAAmD;YACnD,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,OAAO,OAAO,GAAG,GAAG,CAAC;YACrC,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,gBAAgB,GAAG,IAAI,CAAC;QACzD,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,yEAAyE;YACzE,qEAAqE;YACrE,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;YAChD,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QAC/D,CAAC;QACD,KAAK,wBAAwB,CAAC,CAAC,CAAC;YAC9B,0CAA0C;YAC1C,OAAO,OAAO,CAAC,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,GAAG,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;YACrC,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,OAAO,OAAO,CAAC;YAC/B,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC;QACvD,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,IAAI,CAAC;YAChC,OAAO,wBAAwB,CAAC,WAAW,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAW;IAC3C,MAAM,IAAI,KAAK,CAAC,iCAAiC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACnE,CAAC;AAED;;;;GAIG;AACH,SAAS,GAAG,CAAC,IAAY;IACvB,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC;IACxB,OAAO,GAAG,EAAE;QACV,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,cAAc,CAAC,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;QACzD,OAAO,CAAC,GAAG,WAAW,CAAC;IACzB,CAAC,CAAC;AACJ,CAAC"}

package/dist/testing/conformance/__divergence_proofs__/executable-proof-helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"executable-proof-helpers.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/__divergence_proofs__/executable-proof-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAU,MAAM,QAAQ,CAAC;AACtD,OAAO,EAGL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACxB,MAAM,gBAAgB,CAAC;AAExB,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAiBhC;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,MAAM,GACnB,IAAI,CAON;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,MAAM,GACnB,IAAI,CAON"}
+{"version":3,"file":"executable-proof-helpers.d.ts","sourceRoot":"","sources":["../../../../src/testing/conformance/__divergence_proofs__/executable-proof-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAgB,MAAM,EAAU,MAAM,QAAQ,CAAC;AACtD,OAAO,EAIL,KAAK,eAAe,EACpB,KAAK,kBAAkB,EACxB,MAAM,gBAAgB,CAAC;AAYxB,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,kBAAkB,GAC3B,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAiBhC;AAED,wBAAgB,eAAe,CAC7B,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,MAAM,GACnB,IAAI,CAWN;AAED,wBAAgB,sBAAsB,CACpC,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,MAAM,GACnB,IAAI,CAWN"}

package/dist/testing/conformance/__divergence_proofs__/executable-proof-helpers.js

@@ -1,5 +1,15 @@
 import { Cause, Chunk, Effect, Option } from "effect";
-import { PropertyAssertionFailure, PropertyInvariantViolation, } from "../registry.js";
+import { PropertyAssertionFailure, PropertyInvariantViolation, PropertyUnavailable, } from "../registry.js";
+class ProofExpectationError extends Error {
+    name = "ProofExpectationError";
+}
+function describeFailure(failure) {
+    if (failure instanceof PropertyUnavailable)
+        return failure.reason;
+    if (failure instanceof PropertyInvariantViolation)
+        return failure.reason;
+    return String(failure.cause);
+}
 export function runExpectingFailure(property) {
     return Effect.gen(function* () {
         const exit = yield* Effect.exit(property.run);
@@ -16,18 +26,18 @@ export function runExpectingFailure(property) {
 }
 export function expectInvariant(failure, propertyName) {
     if (!(failure instanceof PropertyInvariantViolation)) {
-        throw new Error(`expected invariant failure, got ${failure._tag}`);
+        throw new ProofExpectationError(`expected invariant failure, got ${failure._tag}: ${describeFailure(failure)}`);
     }
     if (failure.name !== propertyName) {
-        throw new Error(`expected ${propertyName}, got ${failure.name}`);
+        throw new ProofExpectationError(`expected ${propertyName}, got ${failure.name}`);
     }
 }
 export function expectAssertionFailure(failure, propertyName) {
     if (!(failure instanceof PropertyAssertionFailure)) {
-        throw new Error(`expected assertion failure, got ${failure._tag}`);
+        throw new ProofExpectationError(`expected assertion failure, got ${failure._tag}: ${describeFailure(failure)}`);
     }
     if (failure.name !== propertyName) {
-        throw new Error(`expected ${propertyName}, got ${failure.name}`);
+        throw new ProofExpectationError(`expected ${propertyName}, got ${failure.name}`);
     }
 }
 //# sourceMappingURL=executable-proof-helpers.js.map

package/dist/testing/conformance/__divergence_proofs__/executable-proof-helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"executable-proof-helpers.js","sourceRoot":"","sources":["../../../../src/testing/conformance/__divergence_proofs__/executable-proof-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EACL,wBAAwB,EACxB,0BAA0B,GAG3B,MAAM,gBAAgB,CAAC;AAExB,MAAM,UAAU,mBAAmB,CACjC,QAA4B;IAE5B,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,KAAK,CAAC,GAAG,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,sBAAsB,CAAC,CACvE,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,KAAK,CAAC,+BAA+B,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAClE,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,OAAwB,EACxB,YAAoB;IAEpB,IAAI,CAAC,CAAC,OAAO,YAAY,0BAA0B,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,mCAAmC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,YAAY,YAAY,SAAS,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAwB,EACxB,YAAoB;IAEpB,IAAI,CAAC,CAAC,OAAO,YAAY,wBAAwB,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,mCAAmC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACrE,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,YAAY,YAAY,SAAS,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC;IACnE,CAAC;AACH,CAAC"}
+{"version":3,"file":"executable-proof-helpers.js","sourceRoot":"","sources":["../../../../src/testing/conformance/__divergence_proofs__/executable-proof-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACtD,OAAO,EACL,wBAAwB,EACxB,0BAA0B,EAC1B,mBAAmB,GAGpB,MAAM,gBAAgB,CAAC;AAExB,MAAM,qBAAsB,SAAQ,KAAK;IACrB,IAAI,GAAG,uBAAuB,CAAC;CAClD;AAED,SAAS,eAAe,CAAC,OAAwB;IAC/C,IAAI,OAAO,YAAY,mBAAmB;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC;IAClE,IAAI,OAAO,YAAY,0BAA0B;QAAE,OAAO,OAAO,CAAC,MAAM,CAAC;IACzE,OAAO,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,QAA4B;IAE5B,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,KAAK,CAAC,GAAG,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,sBAAsB,CAAC,CACvE,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,KAAK,CAAC,+BAA+B,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC,CAClE,CAAC;QACJ,CAAC;QACD,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,OAAwB,EACxB,YAAoB;IAEpB,IAAI,CAAC,CAAC,OAAO,YAAY,0BAA0B,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,qBAAqB,CAC7B,mCAAmC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,OAAO,CAAC,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,qBAAqB,CAC7B,YAAY,YAAY,SAAS,OAAO,CAAC,IAAI,EAAE,CAChD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,OAAwB,EACxB,YAAoB;IAEpB,IAAI,CAAC,CAAC,OAAO,YAAY,wBAAwB,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,qBAAqB,CAC7B,mCAAmC,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,OAAO,CAAC,EAAE,CAC/E,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAClC,MAAM,IAAI,qBAAqB,CAC7B,YAAY,YAAY,SAAS,OAAO,CAAC,IAAI,EAAE,CAChD,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/testing/conformance/_helpers.d.ts

@@ -3,15 +3,20 @@
  * property modules. Keep this file thin; promote utilities here only
  * when they would otherwise be duplicated verbatim.
  */
-import type { Effect } from "effect";
+import { Effect, Either } from "effect";
+import type { TSchema } from "@sinclair/typebox";
+import type { RpcDefinition } from "../../rpc.js";
 import type { TestClient } from "../test-client.js";
 import type { FrameSchemaError, RpcResponseError, RpcTimeoutError, TransportClosedError, TransportIoError } from "../errors.js";
 /**
- * `apps/register` is server-handled but absent from the typed
- * `rpcMethods` registry (see `packages/protocol/src/rpc-registry.ts`);
- * app-sdk and `34-rpc-additions.integration.test.ts:48` use the same
- * untyped-cast path. Adding the verb to the registry is an accretive
- * change outside this sub-issue's scope; this helper localizes the cast.
+ * Send an RPC whose descriptor is not in the typed `rpcMethods` registry
+ * (e.g., `apps/register`). Returns the result as `unknown`; the cast
+ * widens `client.sendRpc`'s `D extends AnyRpcDefinition` constraint.
  */
-export declare function sendUntypedRpc(client: TestClient, method: string, params: unknown): Effect.Effect<unknown, RpcResponseError | RpcTimeoutError | TransportClosedError | TransportIoError | FrameSchemaError>;
+export declare function sendUntypedRpc(client: TestClient, definition: RpcDefinition<string, TSchema, TSchema>, params: unknown): Effect.Effect<unknown, RpcResponseError | RpcTimeoutError | TransportClosedError | TransportIoError | FrameSchemaError>;
+export declare function requireRight<A, E, F>(value: Either.Either<A, E>, onLeft: (error: E) => F): Effect.Effect<A, F>;
+export declare function leftOrNull<A, E>(value: Either.Either<A, E>): E | null;
+export declare function eitherTag<A, E extends {
+    readonly _tag: string;
+}>(value: Either.Either<A, E>): "Right" | E["_tag"];
 //# sourceMappingURL=_helpers.d.ts.map

package/dist/testing/conformance/_helpers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"_helpers.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/_helpers.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACrC,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,oBAAoB,EACpB,gBAAgB,EACjB,MAAM,cAAc,CAAC;AAEtB;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,OAAO,GACd,MAAM,CAAC,MAAM,CACd,OAAO,EACL,gBAAgB,GAChB,eAAe,GACf,oBAAoB,GACpB,gBAAgB,GAChB,gBAAgB,CACnB,CAEA"}
+{"version":3,"file":"_helpers.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/_helpers.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EACV,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,oBAAoB,EACpB,gBAAgB,EACjB,MAAM,cAAc,CAAC;AAEtB;;;;GAIG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,UAAU,EAClB,UAAU,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,EACnD,MAAM,EAAE,OAAO,GACd,MAAM,CAAC,MAAM,CACd,OAAO,EACL,gBAAgB,GAChB,eAAe,GACf,oBAAoB,GACpB,gBAAgB,GAChB,gBAAgB,CACnB,CAaA;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAClC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAC1B,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,CAAC,GACtB,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAKrB;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAKrE;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,EAC9D,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACzB,OAAO,GAAG,CAAC,CAAC,MAAM,CAAC,CAKrB"}

package/dist/testing/conformance/_helpers.js

@@ -1,11 +1,34 @@
 /**
- * `apps/register` is server-handled but absent from the typed
- * `rpcMethods` registry (see `packages/protocol/src/rpc-registry.ts`);
- * app-sdk and `34-rpc-additions.integration.test.ts:48` use the same
- * untyped-cast path. Adding the verb to the registry is an accretive
- * change outside this sub-issue's scope; this helper localizes the cast.
+ * Conformance-suite shared helpers — small utilities used by multiple
+ * property modules. Keep this file thin; promote utilities here only
+ * when they would otherwise be duplicated verbatim.
  */
-export function sendUntypedRpc(client, method, params) {
-    return client.sendRpc(method, params);
+import { Effect, Either } from "effect";
+/**
+ * Send an RPC whose descriptor is not in the typed `rpcMethods` registry
+ * (e.g., `apps/register`). Returns the result as `unknown`; the cast
+ * widens `client.sendRpc`'s `D extends AnyRpcDefinition` constraint.
+ */
+export function sendUntypedRpc(client, definition, params) {
+    const sendRpc = client.sendRpc;
+    return sendRpc(definition, params);
+}
+export function requireRight(value, onLeft) {
+    return Either.match(value, {
+        onLeft: (error) => Effect.fail(onLeft(error)),
+        onRight: (success) => Effect.succeed(success),
+    });
+}
+export function leftOrNull(value) {
+    return Either.match(value, {
+        onLeft: (error) => error,
+        onRight: () => null,
+    });
+}
+export function eitherTag(value) {
+    return Either.match(value, {
+        onLeft: (error) => error._tag,
+        onRight: () => "Right",
+    });
 }
 //# sourceMappingURL=_helpers.js.map

package/dist/testing/conformance/_helpers.js.map

@@ -1 +1 @@
-{"version":3,"file":"_helpers.js","sourceRoot":"","sources":["../../../src/testing/conformance/_helpers.ts"],"names":[],"mappings":"AAeA;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAkB,EAClB,MAAc,EACd,MAAe;IASf,OAAQ,MAAM,CAAC,OAA0B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAC5D,CAAC"}
+{"version":3,"file":"_helpers.js","sourceRoot":"","sources":["../../../src/testing/conformance/_helpers.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAYxC;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAkB,EAClB,UAAmD,EACnD,MAAe;IASf,MAAM,OAAO,GAAG,MAAM,CAAC,OAUtB,CAAC;IACF,OAAO,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;AACrC,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,KAA0B,EAC1B,MAAuB;IAEvB,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE;QACzB,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;KAC9C,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,UAAU,CAAO,KAA0B;IACzD,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE;QACzB,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK;QACxB,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI;KACpB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,SAAS,CACvB,KAA0B;IAE1B,OAAO,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE;QACzB,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI;QAC7B,OAAO,EAAE,GAAG,EAAE,CAAC,OAAO;KACvB,CAAC,CAAC;AACL,CAAC"}

package/dist/testing/conformance/adversity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"adversity.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/adversity.ts"],"names":[],"mappings":"AA0BA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AA4IzD;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAiE1E;AAED,4CAA4C;AAC5C,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAcrE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAgEtE;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAkD1E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAgEvE;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAyCzE"}
+{"version":3,"file":"adversity.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/adversity.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AA+KzD;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CA4D1E;AAED,4CAA4C;AAC5C,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAcrE;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CA4DtE;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAmD1E;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAkEvE;AAED;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAyCzE"}

package/dist/testing/conformance/adversity.js

@@ -1,30 +1,39 @@
-/**
- * Adversity — each toxic property asserts the specific invariant spec
- * #181 §5 names for that toxic. Not a one-size-fits-all body: the
- * toxics have different failure modes, and the spec's contract for each
- * is different.
- *
- * Historical grouping note: spec #181 §5 calls this "Tier D". Code uses
- * semantic names only. Backpressure is a tombstone (→ #186).
- *
- * | Toxic       | Spec asks (paraphrased)                              |
- * |-------------|------------------------------------------------------|
- * | latency     | delivery invariant still holds under added latency   |
- * | slicer      | delivery holds + payload byte-identical through splits |
- * | reset_peer  | sender's RPCs surface typed TransportClosedError     |
- * | timeout     | caller surfaces typed RpcTimeoutError within budget  |
- * | slow_close  | scope release completes within a bounded window      |
- *
- * Principle 3: every property body is `Effect<void, PropertyFailure>`
- * — no bare throws, no `Effect.void` shortcuts.
- */
-import { Clock, Effect } from "effect";
+import { Clock, Effect, Either } from "effect";
 import { defaultToxicProfile } from "../toxics/defaults.js";
 import { makeTestClient } from "../test-client.js";
 import { registerTestAgent } from "../agent-registration.js";
+import { isNotificationFrame } from "../codec.js";
+import { TransportClosedError } from "../errors.js";
 import { PropertyDeferred, PropertyInvariantViolation, PropertyUnavailable, registerProperty, } from "./registry.js";
+import { ConversationsCreate, ConversationsList, } from "../../schema/methods/conversations.js";
+import { MessagesSend } from "../../schema/methods/messages.js";
+import { ConversationId, conversationId } from "../../schema/primitives.js";
 const CATEGORY = "adversity";
 const DEFAULT_CAPTURE_CAPACITY = 128;
+const ID_RADIX = 36;
+const RANDOM_SUFFIX_START = 2;
+const RANDOM_SUFFIX_END = 8;
+const LATENCY_CLIENT_TIMEOUT_MS = 6_000;
+const SLICER_CLIENT_TIMEOUT_MS = 8_000;
+const RESET_CLIENT_TIMEOUT_MS = 4_000;
+const RESET_POLL_ATTEMPTS = 10;
+const RESET_CLOSE_BUDGET_MS = 3_500;
+const TIMEOUT_CLIENT_TIMEOUT_MS = 1_500;
+const TIMEOUT_EXPECTED_BUDGET_MS = 3_000;
+const SLOW_CLOSE_CLIENT_TIMEOUT_MS = 2_000;
+const SLOW_CLOSE_BUDGET_MS = 5_000;
+const TIMEOUT_SURFACE_PROPERTY = "timeout-surface";
+function violation(name, reason) {
+    return new PropertyInvariantViolation({ category: CATEGORY, name, reason });
+}
+function randomIdSuffix() {
+    return Math.random()
+        .toString(ID_RADIX)
+        .slice(RANDOM_SUFFIX_START, RANDOM_SUFFIX_END);
+}
+function proxyName(prefix, seed) {
+    return `${prefix}-${seed}-${randomIdSuffix()}`;
+}
 /** Acquire a TestClient that routes through the Toxiproxy proxy. */
 function acquireProxiedClient(ctx, proxy, name, defaultTimeoutMs, unavailable) {
     // Preserve the upstream path (e.g., `/ws`) when building the
@@ -97,24 +106,17 @@ export function registerLatencyResilience(ctx) {
         ctx,
         propertyName: "latency-resilience",
         description: "fan-out delivery survives added latency + jitter",
-        proxyName: `lat-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        proxyName: proxyName("lat", ctx.seed),
         profile: defaultToxicProfile.latency,
         body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
-            const owner = yield* acquireProxiedClient(ctx, proxy, `lat-${ctx.seed}-o`, 6000, unavailable);
-            const participant = yield* acquireProxiedClient(ctx, proxy, `lat-${ctx.seed}-p`, 6000, unavailable);
-            const conv = yield* createOneOnOneConversation(owner, participant);
-            if (conv.kind !== "ok") {
-                return yield* Effect.fail(new PropertyInvariantViolation({
-                    category: CATEGORY,
-                    name: "latency-resilience",
-                    reason: conv.reason,
-                }));
-            }
+            const owner = yield* acquireProxiedClient(ctx, proxy, `lat-${ctx.seed}-o`, LATENCY_CLIENT_TIMEOUT_MS, unavailable);
+            const participant = yield* acquireProxiedClient(ctx, proxy, `lat-${ctx.seed}-p`, LATENCY_CLIENT_TIMEOUT_MS, unavailable);
+            const conversationId = yield* createOneOnOneConversation(owner, participant, "latency-resilience");
             yield* Effect.scoped(Effect.gen(function* () {
                 yield* attachToxic;
                 yield* owner.client
-                    .sendRpc("messages/send", {
-                    conversationId: conv.conversationId,
+                    .sendRpc(MessagesSend, {
+                    conversationId,
                     parts: [{ type: "text", text: "lat-ping" }],
                 })
                     .pipe(Effect.either);
@@ -123,9 +125,9 @@ export function registerLatencyResilience(ctx) {
             }));
             const snap = yield* participant.client.snapshot;
             const delivered = snap.filter((s) => s.kind === "inbound" &&
-                s.frame?.type === "event" &&
-                typeof s.frame.event === "string" &&
-                s.frame.event.includes("message")).length;
+                s.frame !== null &&
+                isNotificationFrame(s.frame) &&
+                s.frame.method.includes("message")).length;
             if (delivered === 0) {
                 return yield* Effect.fail(new PropertyInvariantViolation({
                     category: CATEGORY,
@@ -154,25 +156,18 @@ export function registerSlicerFraming(ctx) {
         ctx,
         propertyName: "slicer-framing",
         description: "partial-frame slicing preserves payload byte-identity",
-        proxyName: `sli-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        proxyName: proxyName("sli", ctx.seed),
         profile: defaultToxicProfile.slicer,
         body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
-            const owner = yield* acquireProxiedClient(ctx, proxy, `sli-${ctx.seed}-o`, 8000, unavailable);
-            const participant = yield* acquireProxiedClient(ctx, proxy, `sli-${ctx.seed}-p`, 8000, unavailable);
-            const conv = yield* createOneOnOneConversation(owner, participant);
-            if (conv.kind !== "ok") {
-                return yield* Effect.fail(new PropertyInvariantViolation({
-                    category: CATEGORY,
-                    name: "slicer-framing",
-                    reason: conv.reason,
-                }));
-            }
-            const token = `sli-token-${ctx.seed}-${Date.now().toString(36)}`;
+            const owner = yield* acquireProxiedClient(ctx, proxy, `sli-${ctx.seed}-o`, SLICER_CLIENT_TIMEOUT_MS, unavailable);
+            const participant = yield* acquireProxiedClient(ctx, proxy, `sli-${ctx.seed}-p`, SLICER_CLIENT_TIMEOUT_MS, unavailable);
+            const conversationId = yield* createOneOnOneConversation(owner, participant, "slicer-framing");
+            const token = `sli-token-${ctx.seed}-${Date.now().toString(ID_RADIX)}`;
             yield* Effect.scoped(Effect.gen(function* () {
                 yield* attachToxic;
                 yield* owner.client
-                    .sendRpc("messages/send", {
-                    conversationId: conv.conversationId,
+                    .sendRpc(MessagesSend, {
+                    conversationId,
                     parts: [{ type: "text", text: token }],
                 })
                     .pipe(Effect.either);
@@ -180,7 +175,8 @@ export function registerSlicerFraming(ctx) {
             }));
             const snap = yield* participant.client.snapshot;
             const matched = snap.some((s) => s.kind === "inbound" &&
-                s.frame?.type === "event" &&
+                s.frame !== null &&
+                isNotificationFrame(s.frame) &&
                 s.raw.includes(token));
             if (!matched) {
                 return yield* Effect.fail(new PropertyInvariantViolation({
@@ -205,27 +201,30 @@ export function registerResetPeerRecovery(ctx) {
         ctx,
         propertyName: "reset-peer-recovery",
         description: "reset_peer surfaces TransportClosedError without hanging",
-        proxyName: `rst-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        proxyName: proxyName("rst", ctx.seed),
         profile: defaultToxicProfile.reset_peer,
         body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
             const sender = yield* acquireProxiedClient(ctx, proxy, `rst-${ctx.seed}-s`, 
             // Deadline > reset_peer.timeoutMs (2000); bounded so a
             // never-firing reset doesn't hang the suite.
-            4000, unavailable);
+            RESET_CLIENT_TIMEOUT_MS, unavailable);
             const observed = yield* Effect.scoped(Effect.gen(function* () {
                 yield* attachToxic;
                 const start = yield* Clock.currentTimeMillis;
-                for (let i = 0; i < 10; i++) {
+                for (let i = 0; i < RESET_POLL_ATTEMPTS; i++) {
                     const outcome = yield* sender.client
-                        .sendRpc("conversations/list", {})
+                        .sendRpc(ConversationsList, {})
                         .pipe(Effect.either);
-                    if (outcome._tag === "Left" &&
-                        outcome.left._tag === "TestingTransportClosedError") {
+                    const transportClosed = Either.match(outcome, {
+                        onLeft: (error) => error instanceof TransportClosedError,
+                        onRight: () => false,
+                    });
+                    if (transportClosed) {
                         return true;
                     }
                     yield* Effect.sleep("300 millis");
                     const elapsed = (yield* Clock.currentTimeMillis) - start;
-                    if (elapsed > 3500)
+                    if (elapsed > RESET_CLOSE_BUDGET_MS)
                         return false;
                 }
                 return false;
@@ -247,47 +246,50 @@ export function registerResetPeerRecovery(ctx) {
 export function registerTimeoutSurface(ctx) {
     withToxicProxy({
         ctx,
-        propertyName: "timeout-surface",
+        propertyName: TIMEOUT_SURFACE_PROPERTY,
         description: "timeout toxic surfaces typed RpcTimeoutError within budget",
-        proxyName: `to-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        proxyName: proxyName("to", ctx.seed),
         profile: defaultToxicProfile.timeout,
         body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
             // Client timeout must be LESS than the toxic's forwarding
             // timeout so the RPC hits the client-side deadline first.
             // defaultToxicProfile.timeout.timeoutMs = 5000. Set client to
             // 1500ms for a fast, clear timeout surface.
-            const proxied = yield* acquireProxiedClient(ctx, proxy, `to-${ctx.seed}-c`, 1500, unavailable);
+            const proxied = yield* acquireProxiedClient(ctx, proxy, `to-${ctx.seed}-c`, TIMEOUT_CLIENT_TIMEOUT_MS, unavailable);
             const { outcomeTag, elapsed } = yield* Effect.scoped(Effect.gen(function* () {
                 yield* attachToxic;
                 const start = yield* Clock.currentTimeMillis;
                 const outcome = yield* proxied.client
-                    .sendRpc("conversations/list", {})
+                    .sendRpc(ConversationsList, {})
                     .pipe(Effect.either);
                 const elapsed = (yield* Clock.currentTimeMillis) - start;
                 return {
-                    outcomeTag: outcome._tag === "Right" ? "success" : outcome.left._tag,
+                    outcomeTag: Either.match(outcome, {
+                        onLeft: (error) => error._tag,
+                        onRight: () => "success",
+                    }),
                     elapsed,
                 };
             }));
             if (outcomeTag === "success") {
                 return yield* Effect.fail(new PropertyInvariantViolation({
                     category: CATEGORY,
-                    name: "timeout-surface",
+                    name: TIMEOUT_SURFACE_PROPERTY,
                     reason: "RPC through timeout toxic unexpectedly succeeded",
                 }));
             }
             if (outcomeTag !== "TestingRpcTimeoutError") {
                 return yield* Effect.fail(new PropertyInvariantViolation({
                     category: CATEGORY,
-                    name: "timeout-surface",
+                    name: TIMEOUT_SURFACE_PROPERTY,
                     reason: `expected RpcTimeoutError, got ${outcomeTag}`,
                 }));
             }
-            if (elapsed > 3000) {
+            if (elapsed > TIMEOUT_EXPECTED_BUDGET_MS) {
                 return yield* Effect.fail(new PropertyInvariantViolation({
                     category: CATEGORY,
-                    name: "timeout-surface",
-                    reason: `timeout fired at ${elapsed}ms, expected <3000ms`,
+                    name: TIMEOUT_SURFACE_PROPERTY,
+                    reason: `timeout fired at ${elapsed}ms, expected <${TIMEOUT_EXPECTED_BUDGET_MS}ms`,
                 }));
             }
         }),
@@ -303,7 +305,7 @@ export function registerSlowCloseCleanup(ctx) {
         ctx,
         propertyName: "slow-close-cleanup",
         description: "slow_close toxic does not leak descriptors beyond 2s",
-        proxyName: `sc-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        proxyName: proxyName("sc", ctx.seed),
         profile: defaultToxicProfile.slow_close,
         body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
             const start = yield* Clock.currentTimeMillis;
@@ -312,49 +314,40 @@ export function registerSlowCloseCleanup(ctx) {
             // Effect.scoped unwinds, the client must release within the
             // 2s budget even though the toxic delays its close-frame.
             yield* Effect.scoped(Effect.gen(function* () {
-                const _client = yield* acquireProxiedClient(ctx, proxy, `sc-${ctx.seed}-c`, 2000, unavailable);
+                const _client = yield* acquireProxiedClient(ctx, proxy, `sc-${ctx.seed}-c`, SLOW_CLOSE_CLIENT_TIMEOUT_MS, unavailable);
                 // A single RPC proves the socket is alive before close.
                 yield* _client.client
-                    .sendRpc("conversations/list", {})
+                    .sendRpc(ConversationsList, {})
                     .pipe(Effect.either);
             }));
             const elapsed = (yield* Clock.currentTimeMillis) - start;
-            if (elapsed > 5000) {
+            if (elapsed > SLOW_CLOSE_BUDGET_MS) {
                 return yield* Effect.fail(new PropertyInvariantViolation({
                     category: CATEGORY,
                     name: "slow-close-cleanup",
-                    reason: `scope release took ${elapsed}ms under slow_close (budget 5000ms)`,
+                    reason: `scope release took ${elapsed}ms under slow_close (budget ${SLOW_CLOSE_BUDGET_MS}ms)`,
                 }));
             }
         }),
     });
 }
-function createOneOnOneConversation(owner, participant) {
+// ── helpers ──────────────────────────────────────────────────────────
+function createOneOnOneConversation(owner, participant, propertyName) {
     return Effect.gen(function* () {
         const create = yield* owner.client
-            .sendRpc("conversations/create", {
+            .sendRpc(ConversationsCreate, {
             type: "group",
             name: `adv-conv-${owner.agent.name}`,
             participants: [
                 { type: "agent", id: participant.agent.agentId },
             ],
         })
-            .pipe(Effect.either);
-        if (create._tag === "Left") {
-            return {
-                kind: "error",
-                reason: `conversations/create under toxic: ${create.left._tag}`,
-            };
-        }
-        const id = create.right.conversation
-            ?.id;
+            .pipe(Effect.mapError((error) => violation(propertyName, `conversations/create under toxic: ${error._tag}`)));
+        const id = create.conversation?.id;
         if (typeof id !== "string" || id.length === 0) {
-            return {
-                kind: "error",
-                reason: "conversations/create returned no conversation.id",
-            };
+            return yield* Effect.fail(violation(propertyName, "conversations/create returned no conversation.id"));
         }
-        return { kind: "ok", conversationId: id };
+        return conversationId(id);
     });
 }
 //# sourceMappingURL=adversity.js.map