@moltzap/protocol 2026.503.3 → 2026.504.0

package/dist/testing/conformance/schema-conformance.d.ts

@@ -6,7 +6,7 @@ import type { ConformanceRunContext } from "./runner.js";
  */
 export declare function registerRequestWellFormedness(ctx: ConformanceRunContext): void;
 /**
- * Valid event frame round-trips the codec cleanly.
+ * Valid notification frame round-trips the codec cleanly.
  *
  * `@pure-codec` — does NOT drive a real server or real client. Spec A2's
  * "accepted by a real client" assertion requires a TestServer + real
@@ -14,10 +14,10 @@ export declare function registerRequestWellFormedness(ctx: ConformanceRunContext
  * `packages/client` or `moltzap-arena`) and is tracked under #186.
  *
  * Tightened per architect §4.4: predicate demands `Right` AND schema
- * check of the specific event variant — the previous `Right || Left`
+ * check of the specific notification variant — the previous `Right || Left`
  * shape was a tautology over the union.
  */
-export declare function registerEventWellFormedness(ctx: ConformanceRunContext): void;
+export declare function registerNotificationWellFormedness(ctx: ConformanceRunContext): void;
 /** parse(serialize(frame)) ≡ frame — pure codec round-trip. */
 export declare function registerRoundTripIdentity(ctx: ConformanceRunContext): void;
 /**
@@ -26,42 +26,5 @@ export declare function registerRoundTripIdentity(ctx: ConformanceRunContext): v
  * asserts the observable outcome.
  */
 export declare function registerMalformedFrameHandling(ctx: ConformanceRunContext): void;
-/**
- * S2C request frames round-trip through the codec. Architect plan §3.1 +
- * §1.7: `direction: "s2c"` is part of the wire identity — encode →
- * decodeFrame → re-encode must be byte-identical for every well-formed
- * server-initiated request.
- *
- * `@pure-codec` — does NOT drive a real server. Asserts the codec preserves
- * `direction: "s2c"` so c2s and s2c request-id pools can coexist on the
- * wire without confusion.
- */
-export declare function registerS2cRequestRoundTripIdentity(ctx: ConformanceRunContext): void;
-/**
- * S2C response frames validate against `ResponseFrameSchema`. Architect plan
- * §3.1: c2s and s2c responses share one schema discriminated by `direction`.
- * Property asserts `Value.Check` accepts every drawn s2c response — the
- * positive shape every consumer's decoder relies on.
- */
-export declare function registerS2cResponseValidation(ctx: ConformanceRunContext): void;
-/**
- * Malformed s2c request bytes do not crash the codec — `decodeFrame`
- * returns `FrameSchemaError`, never throws. `@pure-codec` — exercises
- * the codec only. Wire-level liveness with a real server is covered by
- * `malformed-frame-handling` (above).
- */
-export declare function registerS2cMalformedRequestHandling(ctx: ConformanceRunContext): void;
-/**
- * Dual-direction request-id collision — c2s and s2c request frames
- * carrying the same `id` decode to distinct frames whose `direction`
- * field discriminates the routing pool. Architect plan §3.1: pending
- * maps key on `(side, id)`, not `id` alone — a c2s request with id
- * `tc-1` and an s2c request with id `tc-1` must NOT collide.
- *
- * `@pure-codec` — pure-codec proof of the contract every transport
- * relies on. Wire-level routing is enforced by sender/receiver pending
- * maps; this property anchors the codec piece.
- */
-export declare function registerDualDirectionIdCollision(ctx: ConformanceRunContext): void;
 export declare function registerRpcMapCoverage(ctx: ConformanceRunContext): void;
 //# sourceMappingURL=schema-conformance.d.ts.map

package/dist/testing/conformance/schema-conformance.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"schema-conformance.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/schema-conformance.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAWzD;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,qBAAqB,GACzB,IAAI,CA+EN;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAyB5E;AAED,+DAA+D;AAC/D,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CA6B1E;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,qBAAqB,GACzB,IAAI,CA2DN;AAgBD;;;;;;;;;GASG;AACH,wBAAgB,mCAAmC,CACjD,GAAG,EAAE,qBAAqB,GACzB,IAAI,CA4BN;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,qBAAqB,GACzB,IAAI,CAkBN;AAED;;;;;GAKG;AACH,wBAAgB,mCAAmC,CACjD,GAAG,EAAE,qBAAqB,GACzB,IAAI,CAgCN;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gCAAgC,CAC9C,GAAG,EAAE,qBAAqB,GACzB,IAAI,CAuEN;AA0FD,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAqEvE"}
+{"version":3,"file":"schema-conformance.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/schema-conformance.ts"],"names":[],"mappings":"AAuCA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAkBzD;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,GAAG,EAAE,qBAAqB,GACzB,IAAI,CA4FN;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kCAAkC,CAChD,GAAG,EAAE,qBAAqB,GACzB,IAAI,CA6BN;AAED,+DAA+D;AAC/D,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAoC1E;AAED;;;;GAIG;AACH,wBAAgB,8BAA8B,CAC5C,GAAG,EAAE,qBAAqB,GACzB,IAAI,CAkEN;AAeD,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CA6EvE"}

package/dist/testing/conformance/schema-conformance.js

@@ -12,17 +12,22 @@
  * `PropertyInvariantViolation`.
  */
 import * as fc from "fast-check";
-import { Effect } from "effect";
+import { Effect, Either } from "effect";
 import { Value } from "@sinclair/typebox/value";
 import { allRpcMethods, arbitraryAnyCall, arbitraryCallFor, } from "../arbitraries/rpc.js";
-import { s2cRpcMethods } from "../../rpc-registry.js";
-import { arbitraryEventFrame, arbitraryMalformedFrame, } from "../arbitraries/frames.js";
-import { decodeFrame, encodeFrame } from "../codec.js";
-import { EventFrameSchema, RequestFrameSchema, ResponseFrameSchema, } from "../../schema/frames.js";
+import { arbitraryNotificationFrame, arbitraryMalformedFrame, } from "../arbitraries/frames.js";
+import { decodeFrame, encodeFrame, isNotificationFrame, isRequestFrame, isResponseFrame, } from "../codec.js";
+import { NotificationFrameSchema, ResponseFrameSchema, } from "../../schema/frames.js";
 import { makeTestClient } from "../test-client.js";
 import { registerTestAgent } from "../agent-registration.js";
 import { assertProperty, PropertyInvariantViolation, registerProperty, } from "./registry.js";
+import { AgentsList, Connect } from "../../schema/methods/auth.js";
+import { ContactsList } from "../../schema/methods/contacts.js";
+import { ConversationsList } from "../../schema/methods/conversations.js";
 const CATEGORY = "schema-conformance";
+const DEFAULT_MALFORMED_RESPONSE_RUNS = 3;
+const DEFAULT_NOTIFICATION_SCHEMA_RUNS = 20;
+const DEFAULT_ROUNDTRIP_RUNS = 50;
 const DEFAULT_TIMEOUT_MS = 3000;
 const DEFAULT_CAPTURE_CAPACITY = 64;
 /**
@@ -49,7 +54,7 @@ export function registerRequestWellFormedness(ctx) {
         // that landed before the sampled call.
         const handshakeEnd = (yield* client.snapshot).length;
         yield* client
-            .sendRpc(call.method, call.params)
+            .sendRpc(call.definition, call.params)
             .pipe(Effect.either);
         return (yield* client.snapshot).slice(handshakeEnd);
     })).pipe(Effect.map((observed) => {
@@ -61,22 +66,31 @@ export function registerRequestWellFormedness(ctx) {
         //   - replies.some(id === expectedId) (the sampled call got a
         //     reply, not just some other request)
         const outbound = observed.find((s) => s.kind === "outbound" &&
-            s.frame?.type === "request" &&
+            s.frame !== null &&
+            isRequestFrame(s.frame) &&
             s.frame.method === call.method);
-        if (outbound?.frame?.type !== "request")
+        if (outbound?.frame === null ||
+            outbound?.frame === undefined ||
+            !isRequestFrame(outbound.frame)) {
             return false;
+        }
         const expectedId = outbound.frame.id;
-        const replies = observed.filter((s) => s.kind === "inbound" && s.frame?.type === "response");
+        const replies = observed.filter((s) => s.kind === "inbound" &&
+            s.frame !== null &&
+            isResponseFrame(s.frame));
         if (replies.length < 1)
             return false;
-        const allValid = replies.every((r) => r.frame?.type === "response" &&
+        const allValid = replies.every((r) => r.frame !== null &&
+            isResponseFrame(r.frame) &&
             Value.Check(ResponseFrameSchema, r.frame));
         if (!allValid)
             return false;
-        return replies.some((r) => r.frame?.type === "response" && r.frame.id === expectedId);
+        return replies.some((r) => r.frame !== null &&
+            isResponseFrame(r.frame) &&
+            r.frame.id === expectedId);
     })))), {
         seed: ctx.seed,
-        numRuns: ctx.opts.numRuns ?? 3,
+        numRuns: ctx.opts.numRuns ?? DEFAULT_MALFORMED_RESPONSE_RUNS,
         // Dropped-response counterexamples pay the client RPC timeout.
         // Shrinking repeats that timeout and makes executable proofs
         // timing-sensitive under stress without increasing coverage.
@@ -84,7 +98,7 @@ export function registerRequestWellFormedness(ctx) {
     })));
 }
 /**
- * Valid event frame round-trips the codec cleanly.
+ * Valid notification frame round-trips the codec cleanly.
  *
  * `@pure-codec` — does NOT drive a real server or real client. Spec A2's
  * "accepted by a real client" assertion requires a TestServer + real
@@ -92,30 +106,40 @@ export function registerRequestWellFormedness(ctx) {
  * `packages/client` or `moltzap-arena`) and is tracked under #186.
  *
  * Tightened per architect §4.4: predicate demands `Right` AND schema
- * check of the specific event variant — the previous `Right || Left`
+ * check of the specific notification variant — the previous `Right || Left`
  * shape was a tautology over the union.
  */
-export function registerEventWellFormedness(ctx) {
-    registerProperty(ctx, CATEGORY, "event-well-formedness", "valid event frame decodes cleanly and re-encodes to match", assertProperty(CATEGORY, "event-well-formedness", () => Promise.resolve(fc.assert(fc.property(arbitraryEventFrame(), (frame) => {
+export function registerNotificationWellFormedness(ctx) {
+    registerProperty(ctx, CATEGORY, "notification-well-formedness", "valid notification frame decodes cleanly and re-encodes to match", assertProperty(CATEGORY, "notification-well-formedness", () => Promise.resolve(fc.assert(fc.property(arbitraryNotificationFrame(), (frame) => {
         const raw = encodeFrame(frame);
         const decoded = Effect.runSync(Effect.either(decodeFrame(raw, "inbound")));
-        if (decoded._tag !== "Right")
-            return false;
-        return (decoded.right.type === "event" &&
-            Value.Check(EventFrameSchema, decoded.right));
-    }), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 20 }))));
+        return Either.match(decoded, {
+            onLeft: () => false,
+            onRight: (frame) => isNotificationFrame(frame) &&
+                Value.Check(NotificationFrameSchema, frame),
+        });
+    }), {
+        seed: ctx.seed,
+        numRuns: ctx.opts.numRuns ?? DEFAULT_NOTIFICATION_SCHEMA_RUNS,
+    }))));
 }
 /** parse(serialize(frame)) ≡ frame — pure codec round-trip. */
 export function registerRoundTripIdentity(ctx) {
     registerProperty(ctx, CATEGORY, "round-trip-identity", "parse(serialize(frame)) ≡ frame", assertProperty(CATEGORY, "round-trip-identity", () => Promise.resolve(fc.assert(fc.property(arbitraryMalformedFrame().map((m) => m.base), (frame) => {
         const raw = encodeFrame(frame);
         const re = Effect.runSync(Effect.either(decodeFrame(raw, "inbound")));
-        if (re._tag === "Left")
-            return true; // generator-side drift
-        const redone = encodeFrame(re.right);
-        return (JSON.stringify(JSON.parse(raw)) ===
-            JSON.stringify(JSON.parse(redone)));
-    }), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 50 }))));
+        return Either.match(re, {
+            onLeft: () => true, // generator-side drift
+            onRight: (frame) => {
+                const redone = encodeFrame(frame);
+                return (JSON.stringify(JSON.parse(raw)) ===
+                    JSON.stringify(JSON.parse(redone)));
+            },
+        });
+    }), {
+        seed: ctx.seed,
+        numRuns: ctx.opts.numRuns ?? DEFAULT_ROUNDTRIP_RUNS,
+    }))));
 }
 /**
  * Malformed bytes on the wire → the server drops or returns a typed
@@ -137,7 +161,8 @@ export function registerMalformedFrameHandling(ctx) {
             malformedQuiescenceMs: 500,
         });
         const response = yield* client.sendMalformed({
-            baseMethod: "agents/list",
+            baseDefinition: AgentsList,
+            baseParams: {},
             kind,
             seed,
         });
@@ -145,7 +170,7 @@ export function registerMalformedFrameHandling(ctx) {
         // normal RPC — proves the server didn't crash or
         // poison its state.
         const post = yield* client
-            .sendRpc("agents/list", {})
+            .sendRpc(AgentsList, {})
             .pipe(Effect.either);
         return { malformedReply: response, post };
     })).pipe(Effect.map((result) => {
@@ -158,9 +183,15 @@ export function registerMalformedFrameHandling(ctx) {
         // to count as server-alive, which is exactly what the
         // property must reject. Require the post-malformed call to
         // return cleanly.
-        const stillAlive = result.post._tag === "Right";
+        const stillAlive = Either.match(result.post, {
+            onLeft: () => false,
+            onRight: () => true,
+        });
         return validReply && stillAlive;
-    })))), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 3 })));
+    })))), {
+        seed: ctx.seed,
+        numRuns: ctx.opts.numRuns ?? DEFAULT_MALFORMED_RESPONSE_RUNS,
+    })));
 }
 /**
  * A representative sample of `RpcMethodName` reaches the real server.
@@ -170,207 +201,11 @@ export function registerMalformedFrameHandling(ctx) {
  * render every RPC unreachable.
  */
 const COVERAGE_SAMPLE = [
-    "auth/connect",
-    "agents/list",
-    "conversations/list",
-    "contacts/list",
+    Connect.name,
+    AgentsList.name,
+    ConversationsList.name,
+    ContactsList.name,
 ];
-/**
- * S2C request frames round-trip through the codec. Architect plan §3.1 +
- * §1.7: `direction: "s2c"` is part of the wire identity — encode →
- * decodeFrame → re-encode must be byte-identical for every well-formed
- * server-initiated request.
- *
- * `@pure-codec` — does NOT drive a real server. Asserts the codec preserves
- * `direction: "s2c"` so c2s and s2c request-id pools can coexist on the
- * wire without confusion.
- */
-export function registerS2cRequestRoundTripIdentity(ctx) {
-    registerProperty(ctx, CATEGORY, "s2c-request-roundtrip-identity", "encode(s2c request) ⇒ decode ⇒ encode is byte-identical", assertProperty(CATEGORY, "s2c-request-roundtrip-identity", () => Promise.resolve(fc.assert(fc.property(arbitraryS2cRequestFrame(), (frame) => {
-        const raw = encodeFrame(frame);
-        const decoded = Effect.runSync(Effect.either(decodeFrame(raw, "inbound")));
-        if (decoded._tag !== "Right")
-            return false;
-        if (decoded.right.type !== "request")
-            return false;
-        if (decoded.right.direction !== "s2c")
-            return false;
-        const redone = encodeFrame(decoded.right);
-        return (JSON.stringify(JSON.parse(raw)) ===
-            JSON.stringify(JSON.parse(redone)));
-    }), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 50 }))));
-}
-/**
- * S2C response frames validate against `ResponseFrameSchema`. Architect plan
- * §3.1: c2s and s2c responses share one schema discriminated by `direction`.
- * Property asserts `Value.Check` accepts every drawn s2c response — the
- * positive shape every consumer's decoder relies on.
- */
-export function registerS2cResponseValidation(ctx) {
-    registerProperty(ctx, CATEGORY, "s2c-response-validation", "every well-formed s2c response frame Value.Checks", assertProperty(CATEGORY, "s2c-response-validation", () => Promise.resolve(fc.assert(fc.property(arbitraryS2cResponseFrame(), (frame) => {
-        if (!Value.Check(ResponseFrameSchema, frame))
-            return false;
-        return frame.direction === "s2c";
-    }), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 50 }))));
-}
-/**
- * Malformed s2c request bytes do not crash the codec — `decodeFrame`
- * returns `FrameSchemaError`, never throws. `@pure-codec` — exercises
- * the codec only. Wire-level liveness with a real server is covered by
- * `malformed-frame-handling` (above).
- */
-export function registerS2cMalformedRequestHandling(ctx) {
-    registerProperty(ctx, CATEGORY, "s2c-malformed-request-handling", "malformed s2c request bytes ⇒ FrameSchemaError or drop; never crash", assertProperty(CATEGORY, "s2c-malformed-request-handling", () => Promise.resolve(fc.assert(fc.property(arbitraryMalformedS2cRequestFrame(), (raw) => {
-        const decoded = Effect.runSync(Effect.either(decodeFrame(raw, "inbound")));
-        // Either decode fails with FrameSchemaError (rejected at the
-        // edge) or succeeds with a typed frame — both are fine. The
-        // crash-free contract is what this property enforces.
-        if (decoded._tag === "Left") {
-            return decoded.left._tag === "TestingFrameSchemaError";
-        }
-        // If decode succeeds, the frame must validate against its
-        // schema; the codec must not surface an in-between value.
-        const f = decoded.right;
-        if (f.type === "request")
-            return Value.Check(RequestFrameSchema, f);
-        if (f.type === "response")
-            return Value.Check(ResponseFrameSchema, f);
-        return Value.Check(EventFrameSchema, f);
-    }), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 50 }))));
-}
-/**
- * Dual-direction request-id collision — c2s and s2c request frames
- * carrying the same `id` decode to distinct frames whose `direction`
- * field discriminates the routing pool. Architect plan §3.1: pending
- * maps key on `(side, id)`, not `id` alone — a c2s request with id
- * `tc-1` and an s2c request with id `tc-1` must NOT collide.
- *
- * `@pure-codec` — pure-codec proof of the contract every transport
- * relies on. Wire-level routing is enforced by sender/receiver pending
- * maps; this property anchors the codec piece.
- */
-export function registerDualDirectionIdCollision(ctx) {
-    registerProperty(ctx, CATEGORY, "dual-direction-id-collision", "c2s id=X and s2c id=X decode to distinct frames discriminated by direction", assertProperty(CATEGORY, "dual-direction-id-collision", () => Promise.resolve(fc.assert(fc.property(
-    // A shared id and a method name; no need to vary params for
-    // the routing-discrimination property.
-    fc.tuple(fc
-        .string({ minLength: 1, maxLength: 32 })
-        .filter((s) => /^[a-zA-Z0-9_\-:.]+$/.test(s)), fc.constantFrom("auth/connect", "agents/list", ...s2cRpcMethods.map((m) => m.name))), ([id, method]) => {
-        const c2s = {
-            jsonrpc: "2.0",
-            type: "request",
-            direction: "c2s",
-            id,
-            method,
-            params: {},
-        };
-        const s2c = {
-            jsonrpc: "2.0",
-            type: "request",
-            direction: "s2c",
-            id,
-            method,
-            params: {},
-        };
-        const decC2s = Effect.runSync(Effect.either(decodeFrame(encodeFrame(c2s), "inbound")));
-        const decS2c = Effect.runSync(Effect.either(decodeFrame(encodeFrame(s2c), "inbound")));
-        if (decC2s._tag !== "Right" || decS2c._tag !== "Right") {
-            return false;
-        }
-        if (decC2s.right.type !== "request" ||
-            decS2c.right.type !== "request") {
-            return false;
-        }
-        // Same id, different direction — they are NOT equal frames
-        // and a pending map keyed on (direction, id) yields disjoint
-        // entries.
-        if (decC2s.right.id !== decS2c.right.id)
-            return false;
-        if (decC2s.right.direction === decS2c.right.direction) {
-            return false;
-        }
-        const keyC2s = `${decC2s.right.direction}:${decC2s.right.id}`;
-        const keyS2c = `${decS2c.right.direction}:${decS2c.right.id}`;
-        return keyC2s !== keyS2c;
-    }), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 30 }))));
-}
-// ── s2c arbitraries (local to this module) ────────────────────────────
-//
-// Kept private — only the four properties above use them. If a future
-// module needs s2c-direction frames, promote to `arbitraries/frames.ts`.
-function arbitraryS2cRequestFrame() {
-    // Drive method names from the typed `s2cRpcMethods` registry so adding
-    // a verb to the protocol auto-widens conformance coverage; no manual
-    // sync required between this arbitrary and `rpc-registry.ts`.
-    const methodNames = s2cRpcMethods.map((m) => m.name);
-    return fc.record({
-        jsonrpc: fc.constant("2.0"),
-        type: fc.constant("request"),
-        direction: fc.constant("s2c"),
-        id: fc
-            .string({ minLength: 1, maxLength: 32 })
-            .filter((s) => /^[a-zA-Z0-9_\-:.]+$/.test(s)),
-        method: fc.constantFrom(...methodNames),
-        params: fc.option(fc.dictionary(fc.string(), fc.anything()), {
-            nil: undefined,
-        }),
-    });
-}
-function arbitraryS2cResponseFrame() {
-    const successBody = fc.record({
-        result: fc.dictionary(fc.string({ minLength: 1, maxLength: 8 }), fc.anything()),
-    });
-    const errorBody = fc.record({
-        error: fc.record({
-            code: fc.integer({ min: -32700, max: -32000 }),
-            message: fc.string({ minLength: 1, maxLength: 64 }),
-        }),
-    });
-    const id = fc
-        .string({ minLength: 1, maxLength: 32 })
-        .filter((s) => /^[a-zA-Z0-9_\-:.]+$/.test(s));
-    return fc
-        .tuple(id, fc.oneof(successBody, errorBody))
-        .map(([frameId, body]) => ({
-        jsonrpc: "2.0",
-        type: "response",
-        direction: "s2c",
-        id: frameId,
-        ...body,
-    }));
-}
-/**
- * Generate raw bytes that purport to be an s2c request but are malformed
- * in one of the kinds the codec must absorb. Mixes wire-level corruptions
- * (invalid JSON, missing `direction`, bad `direction`, extra property)
- * with schema-violation kinds the existing codec already rejects.
- */
-function arbitraryMalformedS2cRequestFrame() {
-    const valid = arbitraryS2cRequestFrame();
-    return fc.oneof(
-    // Invalid JSON.
-    fc.constant("not-json"), fc.constant("{not-json"), 
-    // Wrong direction value.
-    valid.map((f) => {
-        const invalidDirection = "lateral";
-        const corrupted = { ...f, direction: invalidDirection };
-        return JSON.stringify(corrupted);
-    }), 
-    // Missing direction.
-    valid.map((f) => {
-        const { direction: _drop, ...rest } = f;
-        void _drop;
-        return JSON.stringify(rest);
-    }), 
-    // Missing id.
-    valid.map((f) => {
-        const { id: _drop, ...rest } = f;
-        void _drop;
-        return JSON.stringify(rest);
-    }), 
-    // Extra property — schema is `additionalProperties: false`.
-    valid.map((f) => JSON.stringify({ ...f, extra: "rejected" })));
-}
 export function registerRpcMapCoverage(ctx) {
     registerProperty(ctx, CATEGORY, "rpc-map-coverage", "a representative sample of RpcMethodName reaches a real-server response", Effect.gen(function* () {
         void allRpcMethods; // kept for future expansion to full-set coverage
@@ -401,17 +236,22 @@ export function registerRpcMapCoverage(ctx) {
                 // OWN response with a matching request id.
                 const handshakeEnd = (yield* client.snapshot).length;
                 yield* client
-                    .sendRpc(sampled.method, sampled.params)
+                    .sendRpc(sampled.definition, sampled.params)
                     .pipe(Effect.either);
                 const snap = (yield* client.snapshot).slice(handshakeEnd);
                 const outbound = snap.find((s) => s.kind === "outbound" &&
-                    s.frame?.type === "request" &&
+                    s.frame !== null &&
+                    isRequestFrame(s.frame) &&
                     s.frame.method === sampled.method);
-                if (outbound?.frame?.type !== "request")
+                if (outbound?.frame === null ||
+                    outbound?.frame === undefined ||
+                    !isRequestFrame(outbound.frame)) {
                     return false;
+                }
                 const expectedId = outbound.frame.id;
                 return snap.some((s) => s.kind === "inbound" &&
-                    s.frame?.type === "response" &&
+                    s.frame !== null &&
+                    isResponseFrame(s.frame) &&
                     s.frame.id === expectedId);
             })).pipe(Effect.orElseSucceed(() => false));
             if (!reached) {

package/dist/testing/conformance/schema-conformance.js.map

@@ -1 +1 @@
-{"version":3,"file":"schema-conformance.js","sourceRoot":"","sources":["../../../src/testing/conformance/schema-conformance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAChC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAyB,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EACL,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,GAGpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EACL,cAAc,EACd,0BAA0B,EAC1B,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAEvB,MAAM,QAAQ,GAAG,oBAA6B,CAAC;AAC/C,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAChC,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAEpC;;;;GAIG;AACH,MAAM,UAAU,6BAA6B,CAC3C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,yBAAyB,EACzB,iEAAiE,EACjE,cAAc,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,EAAE,CACvD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAC5C,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;YAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC;QACH,qDAAqD;QACrD,uCAAuC;QACvC,qDAAqD;QACrD,uCAAuC;QACvC,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QACrD,KAAK,CAAC,CAAC,MAAM;aACV,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;aACjC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACtD,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtB,sDAAsD;QACtD,+DAA+D;QAC/D,gEAAgE;QAChE,2DAA2D;QAC3D,iEAAiE;QACjE,8DAA8D;QAC9D,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;YACrB,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,SAAS;YAC3B,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CACjC,CAAC;QACF,IAAI,QAAQ,EAAE,KAAK,EAAE,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU,CAC5D,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU;YAC5B,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC,CAAC,KAAsB,CAAC,CAC7D,CAAC;QACF,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAC5D,CAAC;IACJ,CAAC,CAAC,CACH,CACF,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC;QAC9B,+DAA+D;QAC/D,6DAA6D;QAC7D,6DAA6D;QAC7D,YAAY,EAAE,IAAI;KACnB,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,2BAA2B,CAAC,GAA0B;IACpE,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,uBAAuB,EACvB,2DAA2D,EAC3D,cAAc,CAAC,QAAQ,EAAE,uBAAuB,EAAE,GAAG,EAAE,CACrD,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,mBAAmB,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;QAC3C,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3C,OAAO,CACL,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,OAAO;YAC9B,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,OAAO,CAAC,KAAK,CAAC,CAC7C,CAAC;IACJ,CAAC,CAAC,EACF,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CACpD,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,yBAAyB,CAAC,GAA0B;IAClE,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,qBAAqB,EACrB,iCAAiC,EACjC,cAAc,CAAC,QAAQ,EAAE,qBAAqB,EAAE,GAAG,EAAE,CACnD,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,uBAAuB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAC5C,CAAC,KAAK,EAAE,EAAE;QACR,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CACvB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,CAAC,uBAAuB;QAC5D,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACrC,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CACnC,CAAC;IACJ,CAAC,CACF,EACD,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CACpD,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,0BAA0B,EAC1B,kEAAkE,EAClE,cAAc,CAAC,QAAQ,EAAE,0BAA0B,EAAE,GAAG,EAAE,CACxD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,uBAAuB,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAC7D,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;YAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,wBAAwB;YACzC,qBAAqB,EAAE,GAAG;SAC3B,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;YAC3C,UAAU,EAAE,aAAa;YACzB,IAAI;YACJ,IAAI;SACL,CAAC,CAAC;QACH,oDAAoD;QACpD,iDAAiD;QACjD,oBAAoB;QACpB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM;aACvB,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;aAC1B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACpB,8DAA8D;QAC9D,8BAA8B;QAC9B,MAAM,UAAU,GACd,MAAM,CAAC,cAAc,KAAK,IAAI;YAC9B,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,yBAAyB,CAAC;QAC3D,2DAA2D;QAC3D,4DAA4D;QAC5D,sDAAsD;QACtD,2DAA2D;QAC3D,kBAAkB;QAClB,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC;QAChD,OAAO,UAAU,IAAI,UAAU,CAAC;IAClC,CAAC,CAAC,CACH,CACF,CACF,EACD,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CACnD,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,eAAe,GAAG;IACtB,cAAc;IACd,aAAa;IACb,oBAAoB;IACpB,eAAe;CACP,CAAC;AAEX;;;;;;;;;GASG;AACH,MAAM,UAAU,mCAAmC,CACjD,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,gCAAgC,EAChC,yDAAyD,EACzD,cAAc,CAAC,QAAQ,EAAE,gCAAgC,EAAE,GAAG,EAAE,CAC9D,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,wBAAwB,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;QAChD,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,IAAI,OAAO,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3C,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACnD,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK;YAAE,OAAO,KAAK,CAAC;QACpD,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1C,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CACnC,CAAC;IACJ,CAAC,CAAC,EACF,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CACpD,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B,CAC3C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,yBAAyB,EACzB,mDAAmD,EACnD,cAAc,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,EAAE,CACvD,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,yBAAyB,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;QACjD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,OAAO,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC;IACnC,CAAC,CAAC,EACF,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CACpD,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mCAAmC,CACjD,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,gCAAgC,EAChC,qEAAqE,EACrE,cAAc,CAAC,QAAQ,EAAE,gCAAgC,EAAE,GAAG,EAAE,CAC9D,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,iCAAiC,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACvD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,6DAA6D;QAC7D,4DAA4D;QAC5D,sDAAsD;QACtD,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,yBAAyB,CAAC;QACzD,CAAC;QACD,0DAA0D;QAC1D,0DAA0D;QAC1D,MAAM,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC,KAAK,CAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACpE,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YACvB,OAAO,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC,CAAC,CAAC;QAC7C,OAAO,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,EACF,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CACpD,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gCAAgC,CAC9C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,6BAA6B,EAC7B,4EAA4E,EAC5E,cAAc,CAAC,QAAQ,EAAE,6BAA6B,EAAE,GAAG,EAAE,CAC3D,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ;IACT,4DAA4D;IAC5D,uCAAuC;IACvC,EAAE,CAAC,KAAK,CACN,EAAE;SACC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAC/C,EAAE,CAAC,YAAY,CACb,cAAc,EACd,aAAa,EACb,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACpC,CACF,EACD,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE;QACf,MAAM,GAAG,GAAiB;YACxB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,KAAK;YAChB,EAAE;YACF,MAAM;YACN,MAAM,EAAE,EAAE;SACX,CAAC;QACF,MAAM,GAAG,GAAiB;YACxB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,KAAK;YAChB,EAAE;YACF,MAAM;YACN,MAAM,EAAE,EAAE;SACX,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAC3B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC,CACxD,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAC3B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC,CACxD,CAAC;QACF,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACvD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,IACE,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS;YAC/B,MAAM,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,EAC/B,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,2DAA2D;QAC3D,6DAA6D;QAC7D,WAAW;QACX,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,MAAM,CAAC,KAAK,CAAC,EAAE;YAAE,OAAO,KAAK,CAAC;QACtD,IAAI,MAAM,CAAC,KAAK,CAAC,SAAS,KAAK,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YACtD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QAC9D,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;QAC9D,OAAO,MAAM,KAAK,MAAM,CAAC;IAC3B,CAAC,CACF,EACD,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,EAAE,CACpD,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,EAAE;AACF,sEAAsE;AACtE,yEAAyE;AAEzE,SAAS,wBAAwB;IAC/B,uEAAuE;IACvE,qEAAqE;IACrE,8DAA8D;IAC9D,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CACqB,CAAC;IACrC,OAAO,EAAE,CAAC,MAAM,CAAC;QACf,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAc,CAAC;QACpC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAkB,CAAC;QACrC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAc,CAAC;QACtC,EAAE,EAAE,EAAE;aACH,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;aACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,WAAW,CAAC;QACvC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE;YAC3D,GAAG,EAAE,SAAS;SACf,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB;IAChC,MAAM,WAAW,GAAG,EAAE,CAAC,MAAM,CAAC;QAC5B,MAAM,EAAE,EAAE,CAAC,UAAU,CACnB,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACzC,EAAE,CAAC,QAAQ,EAAE,CACd;KACF,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,EAAE,CAAC,MAAM,CAAC;QAC1B,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC;YACf,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;YAC9C,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SACpD,CAAC;KACH,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,EAAE;SACV,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,OAAO,EAAE;SACN,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACzB,OAAO,EAAE,KAAc;QACvB,IAAI,EAAE,UAAmB;QACzB,SAAS,EAAE,KAAc;QACzB,EAAE,EAAE,OAAO;QACX,GAAG,IAAI;KACR,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;;;GAKG;AACH,SAAS,iCAAiC;IACxC,MAAM,KAAK,GAAG,wBAAwB,EAAE,CAAC;IACzC,OAAO,EAAE,CAAC,KAAK;IACb,gBAAgB;IAChB,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EACvB,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;IACxB,yBAAyB;IACzB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,gBAAgB,GAAW,SAAS,CAAC;QAC3C,MAAM,SAAS,GAAG,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC;IACF,qBAAqB;IACrB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,KAAK,CAAC;QACX,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,cAAc;IACd,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,KAAK,CAAC;QACX,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,4DAA4D;IAC5D,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,GAA0B;IAC/D,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,kBAAkB,EAClB,yEAAyE,EACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,aAAa,CAAC,CAAC,iDAAiD;QACrE,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,6BAA6B,MAAM,EAAE;iBAC9C,CAAC,CACH,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;oBACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;oBAC/B,IAAI,EAAE,KAAK;iBACZ,CAAC,CAAC;gBACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;oBACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;oBAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;oBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,gBAAgB,EAAE,kBAAkB;oBACpC,eAAe,EAAE,wBAAwB;iBAC1C,CAAC,CAAC;gBACH,2DAA2D;gBAC3D,4DAA4D;gBAC5D,2CAA2C;gBAC3C,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;gBACrD,KAAK,CAAC,CAAC,MAAM;qBACV,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC;qBACvC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;gBAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;oBACrB,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,SAAS;oBAC3B,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CACpC,CAAC;gBACF,IAAI,QAAQ,EAAE,KAAK,EAAE,IAAI,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;gBACtD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,IAAI,CAAC,IAAI,CACd,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;oBACpB,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU;oBAC5B,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAC5B,CAAC;YACJ,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,UAAU,MAAM,kCAAkC;iBAC3D,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}
+{"version":3,"file":"schema-conformance.js","sourceRoot":"","sources":["../../../src/testing/conformance/schema-conformance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,0BAA0B,EAC1B,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,cAAc,EACd,eAAe,GAChB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,uBAAuB,EACvB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EACL,cAAc,EACd,0BAA0B,EAC1B,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAE1E,MAAM,QAAQ,GAAG,oBAA6B,CAAC;AAC/C,MAAM,+BAA+B,GAAG,CAAC,CAAC;AAC1C,MAAM,gCAAgC,GAAG,EAAE,CAAC;AAC5C,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAClC,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAChC,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAEpC;;;;GAIG;AACH,MAAM,UAAU,6BAA6B,CAC3C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,yBAAyB,EACzB,iEAAiE,EACjE,cAAc,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,EAAE,CACvD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAC5C,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;YAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC;QACH,qDAAqD;QACrD,uCAAuC;QACvC,qDAAqD;QACrD,uCAAuC;QACvC,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QACrD,KAAK,CAAC,CAAC,MAAM;aACV,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;aACrC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACtD,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtB,sDAAsD;QACtD,+DAA+D;QAC/D,gEAAgE;QAChE,2DAA2D;QAC3D,iEAAiE;QACjE,8DAA8D;QAC9D,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;YACrB,CAAC,CAAC,KAAK,KAAK,IAAI;YAChB,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC;YACvB,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CACjC,CAAC;QACF,IACE,QAAQ,EAAE,KAAK,KAAK,IAAI;YACxB,QAAQ,EAAE,KAAK,KAAK,SAAS;YAC7B,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC/B,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,KAAK,KAAK,IAAI;YAChB,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAC3B,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,IAAI;YAChB,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC,CAAC,KAAsB,CAAC,CAC7D,CAAC;QACF,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,IAAI;YAChB,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAC5B,CAAC;IACJ,CAAC,CAAC,CACH,CACF,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,+BAA+B;QAC5D,+DAA+D;QAC/D,6DAA6D;QAC7D,6DAA6D;QAC7D,YAAY,EAAE,IAAI;KACnB,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kCAAkC,CAChD,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,8BAA8B,EAC9B,kEAAkE,EAClE,cAAc,CAAC,QAAQ,EAAE,8BAA8B,EAAE,GAAG,EAAE,CAC5D,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,0BAA0B,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;QAClD,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;YAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,mBAAmB,CAAC,KAAK,CAAC;gBAC1B,KAAK,CAAC,KAAK,CAAC,uBAAuB,EAAE,KAAK,CAAC;SAC9C,CAAC,CAAC;IACL,CAAC,CAAC,EACF;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,gCAAgC;KAC9D,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,yBAAyB,CAAC,GAA0B;IAClE,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,qBAAqB,EACrB,iCAAiC,EACjC,cAAc,CAAC,QAAQ,EAAE,qBAAqB,EAAE,GAAG,EAAE,CACnD,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,uBAAuB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAC5C,CAAC,KAAK,EAAE,EAAE;QACR,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CACvB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE;YACtB,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,uBAAuB;YAC3C,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;gBACjB,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBAClC,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CACnC,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;IACL,CAAC,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,sBAAsB;KACpD,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,0BAA0B,EAC1B,kEAAkE,EAClE,cAAc,CAAC,QAAQ,EAAE,0BAA0B,EAAE,GAAG,EAAE,CACxD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,uBAAuB,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAC7D,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;YAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,wBAAwB;YACzC,qBAAqB,EAAE,GAAG;SAC3B,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;YAC3C,cAAc,EAAE,UAAU;YAC1B,UAAU,EAAE,EAAE;YACd,IAAI;YACJ,IAAI;SACL,CAAC,CAAC;QACH,oDAAoD;QACpD,iDAAiD;QACjD,oBAAoB;QACpB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM;aACvB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;aACvB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACpB,8DAA8D;QAC9D,8BAA8B;QAC9B,MAAM,UAAU,GACd,MAAM,CAAC,cAAc,KAAK,IAAI;YAC9B,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,yBAAyB,CAAC;QAC3D,2DAA2D;QAC3D,4DAA4D;QAC5D,sDAAsD;QACtD,2DAA2D;QAC3D,kBAAkB;QAClB,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;YAC3C,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI;SACpB,CAAC,CAAC;QACH,OAAO,UAAU,IAAI,UAAU,CAAC;IAClC,CAAC,CAAC,CACH,CACF,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,+BAA+B;KAC7D,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,eAAe,GAAG;IACtB,OAAO,CAAC,IAAI;IACZ,UAAU,CAAC,IAAI;IACf,iBAAiB,CAAC,IAAI;IACtB,YAAY,CAAC,IAAI;CACT,CAAC;AACX,MAAM,UAAU,sBAAsB,CAAC,GAA0B;IAC/D,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,kBAAkB,EAClB,yEAAyE,EACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,aAAa,CAAC,CAAC,iDAAiD;QACrE,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,6BAA6B,MAAM,EAAE;iBAC9C,CAAC,CACH,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;oBACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;oBAC/B,IAAI,EAAE,KAAK;iBACZ,CAAC,CAAC;gBACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;oBACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;oBAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;oBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,gBAAgB,EAAE,kBAAkB;oBACpC,eAAe,EAAE,wBAAwB;iBAC1C,CAAC,CAAC;gBACH,2DAA2D;gBAC3D,4DAA4D;gBAC5D,2CAA2C;gBAC3C,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;gBACrD,KAAK,CAAC,CAAC,MAAM;qBACV,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC;qBAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;gBAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;oBACrB,CAAC,CAAC,KAAK,KAAK,IAAI;oBAChB,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC;oBACvB,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CACpC,CAAC;gBACF,IACE,QAAQ,EAAE,KAAK,KAAK,IAAI;oBACxB,QAAQ,EAAE,KAAK,KAAK,SAAS;oBAC7B,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC/B,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,IAAI,CAAC,IAAI,CACd,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;oBACpB,CAAC,CAAC,KAAK,KAAK,IAAI;oBAChB,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;oBACxB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAC5B,CAAC;YACJ,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,UAAU,MAAM,kCAAkC;iBAC3D,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

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

@@ -29,7 +29,7 @@ import { type AllowedCoverageGap } from "./coverage-policy.js";
  */
 export interface ConformanceSuiteOptions {
     /** Factory for the implementation under test (server handle). */
-    readonly realServer: () => Promise<RealServerHandle>;
+    readonly realServer: Effect.Effect<RealServerHandle, RealServerAcquireError>;
     /**
      * Toxiproxy control-plane URL. When `null`, the adversity category is
      * skipped (registered properties return `PropertyUnavailable`).

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

@@ -1 +1 @@
-{"version":3,"file":"suite.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAgB,MAAM,EAAgB,MAAM,QAAQ,CAAC;AAG5D,OAAO,EAEL,KAAK,qBAAqB,EAE1B,KAAK,gBAAgB,EACtB,MAAM,aAAa,CAAC;AACrB,OAAO,EAEL,KAAK,eAAe,EAErB,MAAM,eAAe,CAAC;AAOvB,OAAO,KAAK,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC9E,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAG9B;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACrD;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,2FAA2F;IAC3F,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EACZ,eAAe,GACf;YAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAC;KAC3D,CAAC,CAAC;CACJ;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CA6CtE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,qBAAqB,EAC1B,WAAW,EAAE,MAAM,EACnB,mBAAmB,GAAE,aAAa,CAAC,kBAAkB,CAAM,GAC1D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CA0E5B;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,uBAAuB,GAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,iBAAiB,GAAG,sBAAsB,CAAC,CA4BxE"}
+{"version":3,"file":"suite.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAgB,MAAM,EAAgB,MAAM,QAAQ,CAAC;AAG5D,OAAO,EAEL,KAAK,qBAAqB,EAE1B,KAAK,gBAAgB,EACtB,MAAM,aAAa,CAAC;AACrB,OAAO,EAEL,KAAK,eAAe,EAErB,MAAM,eAAe,CAAC;AAOvB,OAAO,KAAK,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC9E,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAQ9B;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;IAC7E;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,2FAA2F;IAC3F,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EACZ,eAAe,GACf;YAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAC;KAC3D,CAAC,CAAC;CACJ;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAyCtE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,qBAAqB,EAC1B,WAAW,EAAE,MAAM,EACnB,mBAAmB,GAAE,aAAa,CAAC,kBAAkB,CAAM,GAC1D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CA0E5B;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,uBAAuB,GAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,iBAAiB,GAAG,sBAAsB,CAAC,CA4BxE"}