@moltzap/protocol 2026.408.0 → 2026.425.1

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

@@ -0,0 +1,229 @@
+/**
+ * Schema conformance — properties that drive valid + malformed traffic
+ * through `TestClient` into the real server and assert the server's
+ * response shape conforms to the protocol schemas.
+ *
+ * Historical grouping note: spec #181 §5 calls this "Tier A". Code uses
+ * semantic names only.
+ *
+ * Principle 3: every property body is `Effect<void, PropertyFailure>`.
+ * Fast-check's Promise-based `fc.asyncProperty` is bridged via
+ * `assertProperty`; invariant/coverage failures raise
+ * `PropertyInvariantViolation`.
+ */
+import * as fc from "fast-check";
+import { Effect } from "effect";
+import { Value } from "@sinclair/typebox/value";
+import { allRpcMethods, arbitraryAnyCall, arbitraryCallFor, } from "../arbitraries/rpc.js";
+import { arbitraryEventFrame, arbitraryMalformedFrame, } from "../arbitraries/frames.js";
+import { decodeFrame, encodeFrame, malformFrame } from "../codec.js";
+import { EventFrameSchema, ResponseFrameSchema, } from "../../schema/frames.js";
+import { makeTestClient } from "../test-client.js";
+import { registerTestAgent } from "../agent-registration.js";
+import { assertProperty, PropertyInvariantViolation, registerProperty, } from "./registry.js";
+const CATEGORY = "schema-conformance";
+const DEFAULT_TIMEOUT_MS = 3000;
+const DEFAULT_CAPTURE_CAPACITY = 64;
+/**
+ * Valid request ⇒ valid-shape response. Drives fast-check RPC calls
+ * through a real TestClient against the real server and asserts every
+ * returned frame parses against `ResponseFrameSchema`.
+ */
+export function registerRequestWellFormedness(ctx) {
+    registerProperty(ctx, CATEGORY, "request-well-formedness", "valid request ⇒ server reply parses against ResponseFrameSchema", assertProperty(CATEGORY, "request-well-formedness", () => fc.assert(
+    // #ignore-sloppy-code-next-line[async-keyword]: fast-check asyncProperty contract requires Promise-returning callback
+    fc.asyncProperty(arbitraryAnyCall(), async (call) => {
+        const observed = await Effect.runPromise(Effect.scoped(Effect.gen(function* () {
+            const agent = yield* registerTestAgent({
+                baseUrl: ctx.realServer.baseUrl,
+                name: "rw",
+            });
+            const client = yield* makeTestClient({
+                serverUrl: ctx.realServer.wsUrl,
+                agentKey: agent.apiKey,
+                agentId: agent.agentId,
+                defaultTimeoutMs: DEFAULT_TIMEOUT_MS,
+                captureCapacity: DEFAULT_CAPTURE_CAPACITY,
+            });
+            // Mark the auto-connect boundary so we ignore frames
+            // that landed before the sampled call.
+            // Mark the auto-connect boundary so we ignore frames
+            // that landed before the sampled call.
+            const handshakeEnd = (yield* client.snapshot).length;
+            yield* client
+                .sendRpc(call.method, call.params)
+                .pipe(Effect.either);
+            return (yield* client.snapshot).slice(handshakeEnd);
+        })));
+        // Architect §4.3: validate every reply in the window.
+        //   - outbound lookup → expectedId (confirms sampled call ran)
+        //   - replies.length >= 1 (server didn't drop the whole window)
+        //   - replies.every(Value.Check(ResponseFrameSchema, ...))
+        //     (a stray duplicate/malformed response in the window fails)
+        //   - 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.method === call.method);
+        if (outbound?.frame?.type !== "request")
+            return false;
+        const expectedId = outbound.frame.id;
+        const replies = observed.filter((s) => s.kind === "inbound" && s.frame?.type === "response");
+        if (replies.length < 1)
+            return false;
+        const allValid = replies.every((r) => r.frame?.type === "response" &&
+            Value.Check(ResponseFrameSchema, r.frame));
+        if (!allValid)
+            return false;
+        return replies.some((r) => r.frame?.type === "response" && r.frame.id === expectedId);
+    }), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 3 })));
+}
+/**
+ * Valid event 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
+ * client driver; that property lives in the consumer package (e.g.,
+ * `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`
+ * 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) => {
+        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 }))));
+}
+/** 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 }))));
+}
+/**
+ * Malformed bytes on the wire → the server drops or returns a typed
+ * error, never crashes. Drives `sendMalformed` through a real WS and
+ * asserts the observable outcome.
+ */
+export function registerMalformedFrameHandling(ctx) {
+    registerProperty(ctx, CATEGORY, "malformed-frame-handling", "malformed frames produce typed error or drop; server stays alive", assertProperty(CATEGORY, "malformed-frame-handling", () => fc.assert(
+    // #ignore-sloppy-code-next-line[async-keyword]: fast-check asyncProperty contract requires Promise-returning callback
+    fc.asyncProperty(arbitraryMalformedFrame(), async ({ kind, seed }) => {
+        const result = await Effect.runPromise(Effect.scoped(Effect.gen(function* () {
+            const agent = yield* registerTestAgent({
+                baseUrl: ctx.realServer.baseUrl,
+                name: "mf",
+            });
+            const client = yield* makeTestClient({
+                serverUrl: ctx.realServer.wsUrl,
+                agentKey: agent.apiKey,
+                agentId: agent.agentId,
+                defaultTimeoutMs: DEFAULT_TIMEOUT_MS,
+                captureCapacity: DEFAULT_CAPTURE_CAPACITY,
+                malformedQuiescenceMs: 500,
+            });
+            const response = yield* client.sendMalformed({
+                baseMethod: "agents/list",
+                kind,
+                seed,
+            });
+            // Post-malformed the connection must still accept a
+            // normal RPC — proves the server didn't crash or
+            // poison its state.
+            const post = yield* client
+                .sendRpc("agents/list", {})
+                .pipe(Effect.either);
+            return { malformedReply: response, post };
+        })));
+        // Contract: either a typed error OR a clean drop (null). Both
+        // are acceptable per Tier A4.
+        const validReply = result.malformedReply === null ||
+            result.malformedReply._tag === "TestingRpcResponseError";
+        // Follow-up RPC must land with a typed success. "Right" or
+        // "Left" would be a tautology; "Left" would allow a timeout
+        // 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";
+        return validReply && stillAlive;
+    }), { seed: ctx.seed, numRuns: ctx.opts.numRuns ?? 3 })));
+}
+/**
+ * A representative sample of `RpcMethodName` reaches the real server.
+ * Full-set coverage is exercised by `schema-exhaustive-fuzz` in
+ * `boundary.ts`; this property asserts the wire path is alive for a
+ * small stratified sample — cheap to re-run, catches regressions that
+ * render every RPC unreachable.
+ */
+const COVERAGE_SAMPLE = [
+    "auth/connect",
+    "agents/list",
+    "conversations/list",
+    "contacts/list",
+];
+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
+        for (const method of COVERAGE_SAMPLE) {
+            const callArb = arbitraryCallFor(method);
+            const [sampled] = fc.sample(callArb, { numRuns: 1, seed: ctx.seed });
+            if (sampled === undefined) {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "rpc-map-coverage",
+                    reason: `failed to sample call for ${method}`,
+                }));
+            }
+            const reached = yield* Effect.scoped(Effect.gen(function* () {
+                const agent = yield* registerTestAgent({
+                    baseUrl: ctx.realServer.baseUrl,
+                    name: "cov",
+                });
+                const client = yield* makeTestClient({
+                    serverUrl: ctx.realServer.wsUrl,
+                    agentKey: agent.apiKey,
+                    agentId: agent.agentId,
+                    defaultTimeoutMs: DEFAULT_TIMEOUT_MS,
+                    captureCapacity: DEFAULT_CAPTURE_CAPACITY,
+                });
+                // Exclude handshake frames so "reached" can't be satisfied
+                // by the auto-connect reply — every method must produce its
+                // OWN response with a matching request id.
+                const handshakeEnd = (yield* client.snapshot).length;
+                yield* client
+                    .sendRpc(sampled.method, 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.method === sampled.method);
+                if (outbound?.frame?.type !== "request")
+                    return false;
+                const expectedId = outbound.frame.id;
+                return snap.some((s) => s.kind === "inbound" &&
+                    s.frame?.type === "response" &&
+                    s.frame.id === expectedId);
+            })).pipe(Effect.orElseSucceed(() => false));
+            if (!reached) {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "rpc-map-coverage",
+                    reason: `method ${method} produced no observable response`,
+                }));
+            }
+        }
+    }));
+}
+//# sourceMappingURL=schema-conformance.js.map

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

@@ -0,0 +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,EACL,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,EACL,gBAAgB,EAChB,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,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;IACP,sHAAsH;IACtH,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAClD,MAAM,QAAQ,GAAG,MAAM,MAAM,CAAC,UAAU,CACtC,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;gBACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;gBAC/B,IAAI,EAAE,IAAI;aACX,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;gBACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;gBAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,gBAAgB,EAAE,kBAAkB;gBACpC,eAAe,EAAE,wBAAwB;aAC1C,CAAC,CAAC;YACH,qDAAqD;YACrD,uCAAuC;YACvC,qDAAqD;YACrD,uCAAuC;YACvC,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;YACrD,KAAK,CAAC,CAAC,MAAM;iBACV,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;iBACjC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvB,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;QACtD,CAAC,CAAC,CACH,CACF,CAAC;QACF,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,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CACjE,CAAC;IACJ,CAAC,CAAC,EACF,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,EAAE,CACnD,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;IACP,sHAAsH;IACtH,EAAE,CAAC,aAAa,CAAC,uBAAuB,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;QACnE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,UAAU,CACpC,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;gBACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;gBAC/B,IAAI,EAAE,IAAI;aACX,CAAC,CAAC;YACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;gBACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;gBAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;gBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,gBAAgB,EAAE,kBAAkB;gBACpC,eAAe,EAAE,wBAAwB;gBACzC,qBAAqB,EAAE,GAAG;aAC3B,CAAC,CAAC;YACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;gBAC3C,UAAU,EAAE,aAAa;gBACzB,IAAI;gBACJ,IAAI;aACL,CAAC,CAAC;YACH,oDAAoD;YACpD,iDAAiD;YACjD,oBAAoB;YACpB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM;iBACvB,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC;iBAC1B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACvB,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;QAC5C,CAAC,CAAC,CACH,CACF,CAAC;QACF,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,EACF,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,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"}

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

@@ -0,0 +1,92 @@
+/**
+ * Conformance suite — library-shaped entry point consumers call.
+ *
+ * `runConformanceSuite` is the single surface any real implementation
+ * (the core server, a third-party server, a packages/client-side
+ * TestServer harness, openclaw-channel, arena, …) invokes to exercise
+ * every property in this subpath.
+ *
+ * Dependency shape:
+ *   - Protocol imports nothing from consumers (no `packages/server`, no
+ *     `packages/client`, no test-runner globals).
+ *   - Consumers import `@moltzap/protocol/testing` and pass their real
+ *     server handle (and optionally a Toxiproxy URL + a webhook probe).
+ *     That's the only cross-package coupling.
+ *
+ * Docker-compose spinup and vitest describe/it scaffolding are consumer
+ * concerns — the suite here is Effect-native and returns a typed
+ * `SuiteResult`. A consumer running under vitest asserts
+ * `result.failed.length === 0` and is done.
+ */
+import { Effect } from "effect";
+import { type ConformanceRunContext, type RealServerHandle } from "./runner.js";
+import { type PropertyFailure } from "./registry.js";
+import type { WebhookAdapterProbe } from "./boundary.js";
+import type { RealServerAcquireError, ToxicControlError } from "../errors.js";
+import { type AllowedCoverageGap } from "./coverage-policy.js";
+/**
+ * Input shape — consumer names the concrete implementation under test and
+ * any optional capabilities they can provide (Toxiproxy, webhook probe).
+ */
+export interface ConformanceSuiteOptions {
+    /** Factory for the implementation under test (server handle). */
+    readonly realServer: () => Promise<RealServerHandle>;
+    /**
+     * Toxiproxy control-plane URL. When `null`, the adversity category is
+     * skipped (registered properties return `PropertyUnavailable`).
+     */
+    readonly toxiproxyUrl?: string | null;
+    /**
+     * Webhook adapter probe. When provided, registers the graceful-shutdown
+     * boundary property. Consumers without a webhook surface omit it.
+     */
+    readonly webhookProbe?: WebhookAdapterProbe | null;
+    /** Replay seed. Defaults to `FC_SEED` env var or a timestamp. */
+    readonly replaySeed?: number;
+    /** Per-property fast-check `numRuns` override. Default: library default. */
+    readonly numRuns?: number;
+    /** Directory for per-property failure artifacts. Defaults to `./conformance-artifacts`. */
+    readonly artifactDir?: string;
+}
+export interface SuiteResult {
+    readonly seed: number;
+    readonly passed: ReadonlyArray<string>;
+    readonly deferred: ReadonlyArray<{
+        readonly name: string;
+        readonly reason: string;
+    }>;
+    readonly unavailable: ReadonlyArray<{
+        readonly name: string;
+        readonly reason: string;
+    }>;
+    readonly failed: ReadonlyArray<{
+        readonly name: string;
+        readonly failure: PropertyFailure | {
+            readonly _tag: "defect";
+            readonly message: string;
+        };
+    }>;
+}
+/**
+ * Register every property against `ctx`. Consumers that want a narrower
+ * run build a `ConformanceRunContext` directly and call only the modules
+ * they need; `runConformanceSuite` uses this helper to register the full
+ * set.
+ */
+export declare function registerAllProperties(ctx: ConformanceRunContext, webhookProbe: WebhookAdapterProbe | null): void;
+/**
+ * Run every registered property and collect a typed `SuiteResult`. Does
+ * not throw: failures land in `result.failed`; a vitest boundary asserts
+ * `result.failed.length === 0`.
+ */
+export declare function runAllProperties(ctx: ConformanceRunContext, artifactDir: string, allowedCoverageGaps?: ReadonlyArray<AllowedCoverageGap>): Effect.Effect<SuiteResult>;
+/**
+ * End-to-end library entry: acquire context, register all properties,
+ * run them, close scope. The returned `SuiteResult` is the single thing
+ * a consumer asserts on.
+ *
+ * The ambient `Scope` is internal — the outer scope closes when the
+ * Effect completes. Consumers don't need to pass a Scope.
+ */
+export declare function runConformanceSuite(opts: ConformanceSuiteOptions): Effect.Effect<SuiteResult, ToxicControlError | RealServerAcquireError>;
+//# sourceMappingURL=suite.d.ts.map

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

@@ -0,0 +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;AAMvB,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACzD,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;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,mBAAmB,GAAG,IAAI,CAAC;IACnD,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,CACnC,GAAG,EAAE,qBAAqB,EAC1B,YAAY,EAAE,mBAAmB,GAAG,IAAI,GACvC,IAAI,CA6BN;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"}

package/dist/testing/conformance/suite.js

@@ -0,0 +1,233 @@
+/**
+ * Conformance suite — library-shaped entry point consumers call.
+ *
+ * `runConformanceSuite` is the single surface any real implementation
+ * (the core server, a third-party server, a packages/client-side
+ * TestServer harness, openclaw-channel, arena, …) invokes to exercise
+ * every property in this subpath.
+ *
+ * Dependency shape:
+ *   - Protocol imports nothing from consumers (no `packages/server`, no
+ *     `packages/client`, no test-runner globals).
+ *   - Consumers import `@moltzap/protocol/testing` and pass their real
+ *     server handle (and optionally a Toxiproxy URL + a webhook probe).
+ *     That's the only cross-package coupling.
+ *
+ * Docker-compose spinup and vitest describe/it scaffolding are consumer
+ * concerns — the suite here is Effect-native and returns a typed
+ * `SuiteResult`. A consumer running under vitest asserts
+ * `result.failed.length === 0` and is done.
+ */
+import { Cause, Chunk, Effect, Exit, Option } from "effect";
+import { writeFileSync, mkdirSync, existsSync } from "node:fs";
+import path from "node:path";
+import { acquireRunContext, } from "./runner.js";
+import { collectProperties, } from "./registry.js";
+import * as schemaConformance from "./schema-conformance.js";
+import * as rpcSemantics from "./rpc-semantics.js";
+import * as delivery from "./delivery.js";
+import * as adversity from "./adversity.js";
+import * as boundary from "./boundary.js";
+import { isAllowedCoverageGap, } from "./coverage-policy.js";
+import { conformanceArtifactDirFromEnv } from "./env.js";
+/**
+ * Register every property against `ctx`. Consumers that want a narrower
+ * run build a `ConformanceRunContext` directly and call only the modules
+ * they need; `runConformanceSuite` uses this helper to register the full
+ * set.
+ */
+export function registerAllProperties(ctx, webhookProbe) {
+    schemaConformance.registerRequestWellFormedness(ctx);
+    schemaConformance.registerEventWellFormedness(ctx);
+    schemaConformance.registerRoundTripIdentity(ctx);
+    schemaConformance.registerMalformedFrameHandling(ctx);
+    schemaConformance.registerRpcMapCoverage(ctx);
+    rpcSemantics.registerModelEquivalence(ctx);
+    rpcSemantics.registerAuthorityPositive(ctx);
+    rpcSemantics.registerAuthorityNegative(ctx);
+    rpcSemantics.registerRequestIdUniqueness(ctx);
+    rpcSemantics.registerIdempotence(ctx);
+    delivery.registerFanOutCardinality(ctx);
+    delivery.registerStoreAndReplay(ctx);
+    delivery.registerPayloadOpacity(ctx);
+    delivery.registerTaskBoundaryIsolation(ctx);
+    adversity.registerLatencyResilience(ctx);
+    adversity.registerBackpressure(ctx); // tombstoned — #186
+    adversity.registerSlicerFraming(ctx);
+    adversity.registerResetPeerRecovery(ctx);
+    adversity.registerTimeoutSurface(ctx);
+    adversity.registerSlowCloseCleanup(ctx);
+    boundary.registerSchemaExhaustiveFuzz(ctx);
+    if (webhookProbe !== null) {
+        boundary.registerWebhookGracefulShutdown(ctx, webhookProbe);
+    }
+}
+/**
+ * Run every registered property and collect a typed `SuiteResult`. Does
+ * not throw: failures land in `result.failed`; a vitest boundary asserts
+ * `result.failed.length === 0`.
+ */
+export function runAllProperties(ctx, artifactDir, allowedCoverageGaps = []) {
+    return Effect.gen(function* () {
+        if (!existsSync(artifactDir))
+            mkdirSync(artifactDir, { recursive: true });
+        const properties = collectProperties(ctx);
+        const passed = [];
+        const deferred = [];
+        const unavailable = [];
+        const failed = [];
+        for (const p of properties) {
+            const id = `${p.category}/${p.name}`;
+            const exit = yield* Effect.exit(p.run);
+            if (Exit.isSuccess(exit)) {
+                passed.push(id);
+                continue;
+            }
+            const failure = firstTypedFailure(exit);
+            if (failure === null) {
+                const msg = exit.cause.toString();
+                failed.push({ name: id, failure: { _tag: "defect", message: msg } });
+                writeArtifact(artifactDir, p, ctx.seed, { defect: msg });
+                continue;
+            }
+            switch (failure._tag) {
+                case "ConformancePropertyDeferred":
+                    if (isAllowedCoverageGap(allowedCoverageGaps, "deferred", id, failure.followUp)) {
+                        deferred.push({ name: id, reason: failure.followUp });
+                        break;
+                    }
+                    failed.push({ name: id, failure });
+                    writeArtifact(artifactDir, p, ctx.seed, failureArtifact(failure));
+                    break;
+                case "ConformancePropertyUnavailable":
+                    if (isAllowedCoverageGap(allowedCoverageGaps, "unavailable", id, failure.reason)) {
+                        unavailable.push({ name: id, reason: failure.reason });
+                        break;
+                    }
+                    failed.push({ name: id, failure });
+                    writeArtifact(artifactDir, p, ctx.seed, failureArtifact(failure));
+                    break;
+                case "ConformancePropertyAssertionFailure":
+                case "ConformancePropertyInvariantViolation":
+                    failed.push({ name: id, failure });
+                    writeArtifact(artifactDir, p, ctx.seed, failureArtifact(failure));
+                    break;
+                default: {
+                    const _exhaustive = failure;
+                    failed.push({
+                        name: id,
+                        failure: {
+                            _tag: "defect",
+                            message: `unhandled failure tag: ${String(_exhaustive)}`,
+                        },
+                    });
+                }
+            }
+        }
+        return { seed: ctx.seed, passed, deferred, unavailable, failed };
+    });
+}
+/**
+ * End-to-end library entry: acquire context, register all properties,
+ * run them, close scope. The returned `SuiteResult` is the single thing
+ * a consumer asserts on.
+ *
+ * The ambient `Scope` is internal — the outer scope closes when the
+ * Effect completes. Consumers don't need to pass a Scope.
+ */
+export function runConformanceSuite(opts) {
+    const toxiproxyUrl = opts.toxiproxyUrl ?? null;
+    const artifactDir = opts.artifactDir ??
+        conformanceArtifactDirFromEnv() ??
+        path.resolve(process.cwd(), "conformance-artifacts");
+    const categories = toxiproxyUrl === null ? ["A", "B", "C", "E"] : ["A", "B", "C", "D", "E"];
+    return Effect.scoped(Effect.gen(function* () {
+        const ctx = yield* acquireRunContext({
+            tiers: categories,
+            realServer: opts.realServer,
+            toxiproxyUrl: toxiproxyUrl ?? undefined,
+            manageToxiproxy: false, // consumer brings up Toxiproxy
+            replaySeed: opts.replaySeed,
+            numRuns: opts.numRuns,
+            artifactDir,
+        });
+        registerAllProperties(ctx, opts.webhookProbe ?? null);
+        return yield* runAllProperties(ctx, artifactDir, allowedServerCoverageGaps(toxiproxyUrl));
+    }));
+}
+function allowedServerCoverageGaps(toxiproxyUrl) {
+    const gaps = [
+        {
+            kind: "deferred",
+            id: "adversity/backpressure",
+            reasonIncludes: "issues/186",
+        },
+        {
+            kind: "unavailable",
+            id: "adversity/reset-peer-recovery",
+            reasonIncludes: "reset_peer toxic did not close",
+        },
+    ];
+    if (toxiproxyUrl === null) {
+        gaps.push({
+            kind: "unavailable",
+            id: "adversity/latency-resilience",
+            reasonIncludes: "Toxiproxy client not provisioned",
+        }, {
+            kind: "unavailable",
+            id: "adversity/slicer-framing",
+            reasonIncludes: "Toxiproxy client not provisioned",
+        }, {
+            kind: "unavailable",
+            id: "adversity/reset-peer-recovery",
+            reasonIncludes: "Toxiproxy client not provisioned",
+        }, {
+            kind: "unavailable",
+            id: "adversity/timeout-surface",
+            reasonIncludes: "Toxiproxy client not provisioned",
+        }, {
+            kind: "unavailable",
+            id: "adversity/slow-close-cleanup",
+            reasonIncludes: "Toxiproxy client not provisioned",
+        });
+    }
+    return gaps;
+}
+/**
+ * Extract the first typed `PropertyFailure` from an Exit. Uses Effect's
+ * `Cause.failures` so typed failures stay typed without bypassing the
+ * type system; defects land as `null` and the caller reports them
+ * under `_tag: "defect"`.
+ */
+function firstTypedFailure(exit) {
+    if (Exit.isSuccess(exit))
+        return null;
+    const failures = Cause.failures(exit.cause);
+    const head = Chunk.head(failures);
+    return Option.getOrNull(head);
+}
+function failureArtifact(failure) {
+    switch (failure._tag) {
+        case "ConformancePropertyAssertionFailure":
+            return { tag: failure._tag, cause: String(failure.cause) };
+        case "ConformancePropertyInvariantViolation":
+        case "ConformancePropertyUnavailable":
+            return { tag: failure._tag, reason: failure.reason };
+        case "ConformancePropertyDeferred":
+            return { tag: failure._tag, followUp: failure.followUp };
+        default: {
+            const _exhaustive = failure;
+            return { tag: "unknown", value: String(_exhaustive) };
+        }
+    }
+}
+function writeArtifact(dir, property, seed, payload) {
+    const file = path.join(dir, `${property.category}-${property.name}.seed.json`);
+    writeFileSync(file, JSON.stringify({
+        category: property.category,
+        name: property.name,
+        seed,
+        ...payload,
+    }, null, 2));
+}
+//# sourceMappingURL=suite.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"suite.js","sourceRoot":"","sources":["../../../src/testing/conformance/suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AAC/D,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,EACL,iBAAiB,GAIlB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,iBAAiB,GAGlB,MAAM,eAAe,CAAC;AACvB,OAAO,KAAK,iBAAiB,MAAM,yBAAyB,CAAC;AAC7D,OAAO,KAAK,YAAY,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAG1C,OAAO,EACL,oBAAoB,GAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,6BAA6B,EAAE,MAAM,UAAU,CAAC;AA8CzD;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,GAA0B,EAC1B,YAAwC;IAExC,iBAAiB,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IACrD,iBAAiB,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;IACnD,iBAAiB,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACjD,iBAAiB,CAAC,8BAA8B,CAAC,GAAG,CAAC,CAAC;IACtD,iBAAiB,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAE9C,YAAY,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC3C,YAAY,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IAC5C,YAAY,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IAC5C,YAAY,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;IAC9C,YAAY,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;IAEtC,QAAQ,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAE5C,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACzC,SAAS,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,oBAAoB;IACzD,SAAS,CAAC,qBAAqB,CAAC,GAAG,CAAC,CAAC;IACrC,SAAS,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACzC,SAAS,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACtC,SAAS,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAExC,QAAQ,CAAC,4BAA4B,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,QAAQ,CAAC,+BAA+B,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAC9B,GAA0B,EAC1B,WAAmB,EACnB,sBAAyD,EAAE;IAE3D,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;YAAE,SAAS,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1E,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAuC,EAAE,CAAC;QACxD,MAAM,WAAW,GAAuC,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAoC,EAAE,CAAC;QAEnD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAChB,SAAS;YACX,CAAC;YACD,MAAM,OAAO,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;gBACrE,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;gBACzD,SAAS;YACX,CAAC;YACD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;gBACrB,KAAK,6BAA6B;oBAChC,IACE,oBAAoB,CAClB,mBAAmB,EACnB,UAAU,EACV,EAAE,EACF,OAAO,CAAC,QAAQ,CACjB,EACD,CAAC;wBACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;wBACtD,MAAM;oBACR,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,KAAK,gCAAgC;oBACnC,IACE,oBAAoB,CAClB,mBAAmB,EACnB,aAAa,EACb,EAAE,EACF,OAAO,CAAC,MAAM,CACf,EACD,CAAC;wBACD,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;wBACvD,MAAM;oBACR,CAAC;oBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,KAAK,qCAAqC,CAAC;gBAC3C,KAAK,uCAAuC;oBAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;oBACnC,aAAa,CAAC,WAAW,EAAE,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;oBAClE,MAAM;gBACR,OAAO,CAAC,CAAC,CAAC;oBACR,MAAM,WAAW,GAAU,OAAO,CAAC;oBACnC,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,EAAE;wBACR,OAAO,EAAE;4BACP,IAAI,EAAE,QAAQ;4BACd,OAAO,EAAE,0BAA0B,MAAM,CAAC,WAAW,CAAC,EAAE;yBACzD;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAA6B;IAE7B,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC;IAC/C,MAAM,WAAW,GACf,IAAI,CAAC,WAAW;QAChB,6BAA6B,EAAE;QAC/B,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,uBAAuB,CAAC,CAAC;IACvD,MAAM,UAAU,GACd,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE3E,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACnC,KAAK,EAAE,UAAU;YACjB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,YAAY,EAAE,YAAY,IAAI,SAAS;YACvC,eAAe,EAAE,KAAK,EAAE,+BAA+B;YACvD,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,WAAW;SACZ,CAAC,CAAC;QACH,qBAAqB,CAAC,GAAG,EAAE,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,CAAC;QACtD,OAAO,KAAK,CAAC,CAAC,gBAAgB,CAC5B,GAAG,EACH,WAAW,EACX,yBAAyB,CAAC,YAAY,CAAC,CACxC,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,SAAS,yBAAyB,CAChC,YAA2B;IAE3B,MAAM,IAAI,GAAyB;QACjC;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,wBAAwB;YAC5B,cAAc,EAAE,YAAY;SAC7B;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,+BAA+B;YACnC,cAAc,EAAE,gCAAgC;SACjD;KACF,CAAC;IACF,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,IAAI,CACP;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,kCAAkC;SACnD,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,0BAA0B;YAC9B,cAAc,EAAE,kCAAkC;SACnD,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,+BAA+B;YACnC,cAAc,EAAE,kCAAkC;SACnD,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,2BAA2B;YAC/B,cAAc,EAAE,kCAAkC;SACnD,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,kCAAkC;SACnD,CACF,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,SAAS,iBAAiB,CACxB,IAAsC;IAEtC,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,eAAe,CAAC,OAAwB;IAC/C,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,qCAAqC;YACxC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7D,KAAK,uCAAuC,CAAC;QAC7C,KAAK,gCAAgC;YACnC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QACvD,KAAK,6BAA6B;YAChC,OAAO,EAAE,GAAG,EAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;QAC3D,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,WAAW,GAAU,OAAO,CAAC;YACnC,OAAO,EAAE,GAAG,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,GAAW,EACX,QAA4B,EAC5B,IAAY,EACZ,OAAgC;IAEhC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CACpB,GAAG,EACH,GAAG,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,YAAY,CAClD,CAAC;IACF,aAAa,CACX,IAAI,EACJ,IAAI,CAAC,SAAS,CACZ;QACE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,IAAI;QACJ,GAAG,OAAO;KACX,EACD,IAAI,EACJ,CAAC,CACF,CACF,CAAC;AACJ,CAAC"}