@moltzap/protocol 2026.408.0 → 2026.425.1

package/dist/testing/codec.js

@@ -0,0 +1,170 @@
+/**
+ * Frame codec for the testing primitives.
+ *
+ * Satisfies §5.A1/A2/A3/A4 and Invariant I3: every frame crossing a
+ * primitive is `Value.Check`-validated before it is surfaced to property
+ * code. Malformed-frame arbitraries are generated *here* so Tier A can
+ * inject bit-flips, truncations, and oversized frames without leaking the
+ * malformation strategy into the primitives.
+ */
+import { Effect } from "effect";
+import { Value } from "@sinclair/typebox/value";
+import { RequestFrameSchema, ResponseFrameSchema, EventFrameSchema, } from "../schema/frames.js";
+import { FrameSchemaError } from "./errors.js";
+/** Serialize a typed frame to the wire bytes. */
+export function encodeFrame(frame) {
+    return JSON.stringify(frame);
+}
+/**
+ * Parse + `Value.Check` an inbound frame. `FrameSchemaError` captures
+ * the failing branch so Tier A can assert "drop or typed error, never
+ * crash."
+ */
+export function decodeFrame(raw, direction) {
+    return Effect.suspend(() => {
+        let parsed;
+        try {
+            parsed = JSON.parse(raw);
+        }
+        catch (err) {
+            return Effect.fail(new FrameSchemaError({
+                direction,
+                expected: "request",
+                raw,
+                reason: `json parse failed: ${err instanceof Error ? err.message : String(err)}`,
+            }));
+        }
+        if (parsed === null ||
+            typeof parsed !== "object" ||
+            !("type" in parsed) ||
+            typeof parsed.type !== "string") {
+            return Effect.fail(new FrameSchemaError({
+                direction,
+                expected: "request",
+                raw,
+                reason: "frame missing required `type` discriminator",
+            }));
+        }
+        const type = parsed.type;
+        switch (type) {
+            case "request":
+                if (Value.Check(RequestFrameSchema, parsed)) {
+                    return Effect.succeed(parsed);
+                }
+                return Effect.fail(new FrameSchemaError({
+                    direction,
+                    expected: "request",
+                    raw,
+                    reason: firstValueError(RequestFrameSchema, parsed),
+                }));
+            case "response":
+                if (Value.Check(ResponseFrameSchema, parsed)) {
+                    return Effect.succeed(parsed);
+                }
+                return Effect.fail(new FrameSchemaError({
+                    direction,
+                    expected: "response",
+                    raw,
+                    reason: firstValueError(ResponseFrameSchema, parsed),
+                }));
+            case "event":
+                if (Value.Check(EventFrameSchema, parsed)) {
+                    return Effect.succeed(parsed);
+                }
+                return Effect.fail(new FrameSchemaError({
+                    direction,
+                    expected: "event",
+                    raw,
+                    reason: firstValueError(EventFrameSchema, parsed),
+                }));
+            default:
+                return Effect.fail(new FrameSchemaError({
+                    direction,
+                    expected: "request",
+                    raw,
+                    reason: `unknown frame type: ${type}`,
+                }));
+        }
+    });
+}
+function firstValueError(schema, value) {
+    const iter = Value.Errors(schema, value);
+    for (const err of iter) {
+        return `${err.path}: ${err.message}`;
+    }
+    return "schema check failed";
+}
+/**
+ * Produce a malformed wire payload from a valid frame. The mutation is
+ * deterministic given the `kind` + `seed`; replaying with the same seed
+ * reproduces the exact bytes. Used by Tier A (A4) and Tier D (D3).
+ */
+export function malformFrame(base, kind, seed) {
+    const rawJson = encodeFrame(base);
+    // Deterministic LCG so a `seed` reproduces byte-for-byte. Not crypto.
+    const rand = lcg(seed);
+    switch (kind) {
+        case "bit-flip": {
+            if (rawJson.length === 0)
+                return rawJson;
+            const pos = Math.floor(rand() * rawJson.length);
+            const ch = rawJson.charCodeAt(pos);
+            // Flip one bit in the low byte (XOR with 1<<bit).
+            const bit = Math.floor(rand() * 8);
+            const flipped = String.fromCharCode(ch ^ (1 << bit));
+            return rawJson.slice(0, pos) + flipped + rawJson.slice(pos + 1);
+        }
+        case "truncated": {
+            if (rawJson.length <= 1)
+                return "";
+            const keep = Math.max(1, Math.floor(rawJson.length * rand()));
+            return rawJson.slice(0, keep);
+        }
+        case "oversized": {
+            // Pad with a long run of whitespace-in-string to exceed likely frame caps.
+            // Uses `_padding` field at top level of the JSON object, which
+            // `additionalProperties: false` rejects — also triggers "extra-property"
+            // under different framing, but here the point is byte-size.
+            const padLen = 64 * 1024;
+            const pad = "X".repeat(padLen);
+            // Splice "_padding":"...", before the closing `}`.
+            const idx = rawJson.lastIndexOf("}");
+            if (idx === -1)
+                return rawJson + pad;
+            return `${rawJson.slice(0, idx)},"_padding":"${pad}"}`;
+        }
+        case "invalid-utf8": {
+            // Insert a lone surrogate. JSON parser may accept; TypeBox Check rejects
+            // because frame strings (method, id) are expected to be UTF-8 clean.
+            const pos = Math.floor(rand() * rawJson.length);
+            return rawJson.slice(0, pos) + "\uD800" + rawJson.slice(pos);
+        }
+        case "missing-required-field": {
+            // Remove the `jsonrpc` required property.
+            return rawJson.replace(/"jsonrpc":"2\.0",?/, "");
+        }
+        case "extra-property": {
+            const idx = rawJson.lastIndexOf("}");
+            if (idx === -1)
+                return rawJson;
+            return `${rawJson.slice(0, idx)},"__extra":${seed}}`;
+        }
+        default: {
+            const _exhaustive = kind;
+            throw new Error(`malformFrame: unexpected kind ${String(_exhaustive)}`);
+        }
+    }
+}
+/**
+ * Deterministic LCG (Numerical Recipes constants). Given the same seed,
+ * yields the same sequence of floats in [0, 1). Good enough for reproducible
+ * mutation offsets; not for cryptographic use.
+ */
+function lcg(seed) {
+    let s = seed >>> 0 || 1;
+    return () => {
+        s = (Math.imul(s, 1664525) + 1013904223) >>> 0;
+        return s / 0x100000000;
+    };
+}
+//# sourceMappingURL=codec.js.map

package/dist/testing/codec.js.map

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

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

@@ -0,0 +1,6 @@
+import { Effect } from "effect";
+import { type PropertyFailure, type RegisteredProperty } from "../registry.js";
+export declare function runExpectingFailure(property: RegisteredProperty): Effect.Effect<PropertyFailure>;
+export declare function expectInvariant(failure: PropertyFailure, propertyName: string): void;
+export declare function expectAssertionFailure(failure: PropertyFailure, propertyName: string): void;
+//# sourceMappingURL=executable-proof-helpers.d.ts.map

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

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

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

@@ -0,0 +1,33 @@
+import { Cause, Chunk, Effect, Option } from "effect";
+import { PropertyAssertionFailure, PropertyInvariantViolation, } from "../registry.js";
+export function runExpectingFailure(property) {
+    return Effect.gen(function* () {
+        const exit = yield* Effect.exit(property.run);
+        if (exit._tag === "Success") {
+            return yield* Effect.die(new Error(`${property.category}/${property.name} unexpectedly passed`));
+        }
+        const failures = Cause.failures(exit.cause);
+        const failure = Option.getOrNull(Chunk.head(failures));
+        if (failure === null) {
+            return yield* Effect.die(new Error(`expected typed failure, got ${exit.cause.toString()}`));
+        }
+        return failure;
+    });
+}
+export function expectInvariant(failure, propertyName) {
+    if (!(failure instanceof PropertyInvariantViolation)) {
+        throw new Error(`expected invariant failure, got ${failure._tag}`);
+    }
+    if (failure.name !== propertyName) {
+        throw new Error(`expected ${propertyName}, got ${failure.name}`);
+    }
+}
+export function expectAssertionFailure(failure, propertyName) {
+    if (!(failure instanceof PropertyAssertionFailure)) {
+        throw new Error(`expected assertion failure, got ${failure._tag}`);
+    }
+    if (failure.name !== propertyName) {
+        throw new Error(`expected ${propertyName}, got ${failure.name}`);
+    }
+}
+//# sourceMappingURL=executable-proof-helpers.js.map

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

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

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

@@ -0,0 +1,36 @@
+import type { ConformanceRunContext } from "./runner.js";
+/**
+ * Latency — owner + participant route through a latency proxy. Owner
+ * sends `messages/send`; participant observes ≥1 inbound message
+ * event. Latency merely slows delivery; it must not drop events.
+ */
+export declare function registerLatencyResilience(ctx: ConformanceRunContext): void;
+/** Backpressure — DEFERRED to epic #186. */
+export declare function registerBackpressure(ctx: ConformanceRunContext): void;
+/**
+ * Slicer — partial-frame splits must not corrupt payload. Owner sends
+ * a message with a distinctive token; participant's snapshot contains
+ * that token verbatim.
+ */
+export declare function registerSlicerFraming(ctx: ConformanceRunContext): void;
+/**
+ * reset_peer — mid-flight the toxic forcibly resets the connection.
+ * Spec invariant: sender's RPCs surface a typed `TransportClosedError`,
+ * never hang, never crash. Full store-and-replay (reconnect + missed-
+ * event replay) is a consumer-side concern driven by each real client
+ * against `TestServer`; protocol-level guarantee is that the TestClient
+ * surfaces the transport failure as a typed outcome.
+ */
+export declare function registerResetPeerRecovery(ctx: ConformanceRunContext): void;
+/**
+ * timeout — the toxic black-holes forwarding; the client must surface
+ * a typed `RpcTimeoutError` within its own timeout budget (not hang).
+ */
+export declare function registerTimeoutSurface(ctx: ConformanceRunContext): void;
+/**
+ * slow_close — close-frames are delayed by the toxic. The scope
+ * release must still complete within a bounded window so the suite
+ * doesn't leak descriptors.
+ */
+export declare function registerSlowCloseCleanup(ctx: ConformanceRunContext): void;
+//# sourceMappingURL=adversity.d.ts.map

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

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

package/dist/testing/conformance/adversity.js

@@ -0,0 +1,360 @@
+/**
+ * Adversity — each toxic property asserts the specific invariant spec
+ * #181 §5 names for that toxic. Not a one-size-fits-all body: the
+ * toxics have different failure modes, and the spec's contract for each
+ * is different.
+ *
+ * Historical grouping note: spec #181 §5 calls this "Tier D". Code uses
+ * semantic names only. Backpressure is a tombstone (→ #186).
+ *
+ * | Toxic       | Spec asks (paraphrased)                              |
+ * |-------------|------------------------------------------------------|
+ * | latency     | delivery invariant still holds under added latency   |
+ * | slicer      | delivery holds + payload byte-identical through splits |
+ * | reset_peer  | sender's RPCs surface typed TransportClosedError     |
+ * | timeout     | caller surfaces typed RpcTimeoutError within budget  |
+ * | slow_close  | scope release completes within a bounded window      |
+ *
+ * Principle 3: every property body is `Effect<void, PropertyFailure>`
+ * — no bare throws, no `Effect.void` shortcuts.
+ */
+import { Clock, Effect } from "effect";
+import { defaultToxicProfile } from "../toxics/defaults.js";
+import { makeTestClient } from "../test-client.js";
+import { registerTestAgent } from "../agent-registration.js";
+import { PropertyDeferred, PropertyInvariantViolation, PropertyUnavailable, registerProperty, } from "./registry.js";
+const CATEGORY = "adversity";
+const DEFAULT_CAPTURE_CAPACITY = 128;
+/** Acquire a TestClient that routes through the Toxiproxy proxy. */
+function acquireProxiedClient(ctx, proxy, name, defaultTimeoutMs, unavailable) {
+    // Preserve the upstream path (e.g., `/ws`) when building the
+    // proxy-facing URL: Toxiproxy is a raw TCP forwarder, so the client's
+    // upgrade path must match what the server's HTTP router expects.
+    const upstreamPath = new URL(ctx.realServer.wsUrl).pathname;
+    const proxiedUrl = `${proxy.listenUrl}${upstreamPath}`;
+    return Effect.gen(function* () {
+        const agent = yield* registerTestAgent({
+            baseUrl: ctx.realServer.baseUrl,
+            name,
+        }).pipe(Effect.mapError((e) => unavailable(`register: ${e.body}`)));
+        const client = yield* makeTestClient({
+            serverUrl: proxiedUrl,
+            agentKey: agent.apiKey,
+            agentId: agent.agentId,
+            defaultTimeoutMs,
+            captureCapacity: DEFAULT_CAPTURE_CAPACITY,
+        }).pipe(Effect.mapError((e) => unavailable(`makeTestClient: ${String(e)}`)));
+        return { agent, client };
+    });
+}
+/**
+ * Factory — wire a Toxiproxy proxy + attach the toxic; hand a body the
+ * proxy. Hard-deadlines each property body so a hanging toxic can't
+ * block the suite indefinitely; if the deadline fires, the property
+ * reports `PropertyUnavailable` (not a pass, not a crash).
+ */
+const PROPERTY_BUDGET_MS = 15_000;
+function withToxicProxy(opts) {
+    const { ctx, propertyName, description, proxyName, profile, body } = opts;
+    const toxiproxy = ctx.toxiproxy;
+    const run = toxiproxy === null
+        ? Effect.fail(new PropertyUnavailable({
+            category: CATEGORY,
+            name: propertyName,
+            reason: "Toxiproxy client not provisioned for this run",
+        }))
+        : (() => {
+            const upstreamHostPort = ctx.realServer.wsUrl
+                .replace(/^ws:\/\//, "")
+                .replace(/\/.*$/, "");
+            const unavailable = (reason) => new PropertyUnavailable({
+                category: CATEGORY,
+                name: propertyName,
+                reason,
+            });
+            return Effect.scoped(Effect.gen(function* () {
+                const proxy = yield* toxiproxy
+                    .proxy({ name: proxyName, upstream: upstreamHostPort })
+                    .pipe(Effect.mapError((e) => unavailable(`proxy: ${e.body}`)));
+                const attachToxic = proxy
+                    .withToxic(profile)
+                    .pipe(Effect.mapError((e) => unavailable(`toxic: ${e.body}`)), Effect.asVoid);
+                yield* body({ proxy, unavailable, attachToxic });
+            })).pipe(Effect.timeoutFail({
+                duration: `${PROPERTY_BUDGET_MS} millis`,
+                onTimeout: () => unavailable(`property exceeded ${PROPERTY_BUDGET_MS}ms budget under toxic`),
+            }));
+        })();
+    registerProperty(ctx, CATEGORY, propertyName, description, run);
+}
+/**
+ * Latency — owner + participant route through a latency proxy. Owner
+ * sends `messages/send`; participant observes ≥1 inbound message
+ * event. Latency merely slows delivery; it must not drop events.
+ */
+export function registerLatencyResilience(ctx) {
+    withToxicProxy({
+        ctx,
+        propertyName: "latency-resilience",
+        description: "fan-out delivery survives added latency + jitter",
+        proxyName: `lat-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        profile: defaultToxicProfile.latency,
+        body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
+            const owner = yield* acquireProxiedClient(ctx, proxy, `lat-${ctx.seed}-o`, 6000, unavailable);
+            const participant = yield* acquireProxiedClient(ctx, proxy, `lat-${ctx.seed}-p`, 6000, unavailable);
+            const conv = yield* createOneOnOneConversation(owner, participant);
+            if (conv.kind !== "ok") {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "latency-resilience",
+                    reason: conv.reason,
+                }));
+            }
+            yield* Effect.scoped(Effect.gen(function* () {
+                yield* attachToxic;
+                yield* owner.client
+                    .sendRpc("messages/send", {
+                    conversationId: conv.conversationId,
+                    parts: [{ type: "text", text: "lat-ping" }],
+                })
+                    .pipe(Effect.either);
+                // 100ms latency + 50ms jitter → 600ms window is generous.
+                yield* Effect.sleep("600 millis");
+            }));
+            const snap = yield* participant.client.snapshot;
+            const delivered = snap.filter((s) => s.kind === "inbound" &&
+                s.frame?.type === "event" &&
+                typeof s.frame.event === "string" &&
+                s.frame.event.includes("message")).length;
+            if (delivered === 0) {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "latency-resilience",
+                    reason: "latency toxic dropped all events",
+                }));
+            }
+        }),
+    });
+}
+/** Backpressure — DEFERRED to epic #186. */
+export function registerBackpressure(ctx) {
+    registerProperty(ctx, CATEGORY, "backpressure", "backpressure property deferred to #186 — BackpressurePolicy not extant", Effect.fail(new PropertyDeferred({
+        category: CATEGORY,
+        name: "backpressure",
+        followUp: "https://github.com/chughtapan/moltzap/issues/186",
+    })));
+}
+/**
+ * Slicer — partial-frame splits must not corrupt payload. Owner sends
+ * a message with a distinctive token; participant's snapshot contains
+ * that token verbatim.
+ */
+export function registerSlicerFraming(ctx) {
+    withToxicProxy({
+        ctx,
+        propertyName: "slicer-framing",
+        description: "partial-frame slicing preserves payload byte-identity",
+        proxyName: `sli-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        profile: defaultToxicProfile.slicer,
+        body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
+            const owner = yield* acquireProxiedClient(ctx, proxy, `sli-${ctx.seed}-o`, 8000, unavailable);
+            const participant = yield* acquireProxiedClient(ctx, proxy, `sli-${ctx.seed}-p`, 8000, unavailable);
+            const conv = yield* createOneOnOneConversation(owner, participant);
+            if (conv.kind !== "ok") {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "slicer-framing",
+                    reason: conv.reason,
+                }));
+            }
+            const token = `sli-token-${ctx.seed}-${Date.now().toString(36)}`;
+            yield* Effect.scoped(Effect.gen(function* () {
+                yield* attachToxic;
+                yield* owner.client
+                    .sendRpc("messages/send", {
+                    conversationId: conv.conversationId,
+                    parts: [{ type: "text", text: token }],
+                })
+                    .pipe(Effect.either);
+                yield* Effect.sleep("1200 millis"); // slicer fragments are slow
+            }));
+            const snap = yield* participant.client.snapshot;
+            const matched = snap.some((s) => s.kind === "inbound" &&
+                s.frame?.type === "event" &&
+                s.raw.includes(token));
+            if (!matched) {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "slicer-framing",
+                    reason: `token ${token} not reassembled in participant's frames`,
+                }));
+            }
+        }),
+    });
+}
+/**
+ * reset_peer — mid-flight the toxic forcibly resets the connection.
+ * Spec invariant: sender's RPCs surface a typed `TransportClosedError`,
+ * never hang, never crash. Full store-and-replay (reconnect + missed-
+ * event replay) is a consumer-side concern driven by each real client
+ * against `TestServer`; protocol-level guarantee is that the TestClient
+ * surfaces the transport failure as a typed outcome.
+ */
+export function registerResetPeerRecovery(ctx) {
+    withToxicProxy({
+        ctx,
+        propertyName: "reset-peer-recovery",
+        description: "reset_peer surfaces TransportClosedError without hanging",
+        proxyName: `rst-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        profile: defaultToxicProfile.reset_peer,
+        body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
+            const sender = yield* acquireProxiedClient(ctx, proxy, `rst-${ctx.seed}-s`, 
+            // Deadline > reset_peer.timeoutMs (2000); bounded so a
+            // never-firing reset doesn't hang the suite.
+            4000, unavailable);
+            const observed = yield* Effect.scoped(Effect.gen(function* () {
+                yield* attachToxic;
+                const start = yield* Clock.currentTimeMillis;
+                for (let i = 0; i < 10; i++) {
+                    const outcome = yield* sender.client
+                        .sendRpc("conversations/list", {})
+                        .pipe(Effect.either);
+                    if (outcome._tag === "Left" &&
+                        outcome.left._tag === "TestingTransportClosedError") {
+                        return true;
+                    }
+                    yield* Effect.sleep("300 millis");
+                    const elapsed = (yield* Clock.currentTimeMillis) - start;
+                    if (elapsed > 3500)
+                        return false;
+                }
+                return false;
+            }));
+            if (!observed) {
+                return yield* Effect.fail(new PropertyUnavailable({
+                    category: CATEGORY,
+                    name: "reset-peer-recovery",
+                    reason: "reset_peer toxic did not close within 3.5s budget",
+                }));
+            }
+        }),
+    });
+}
+/**
+ * timeout — the toxic black-holes forwarding; the client must surface
+ * a typed `RpcTimeoutError` within its own timeout budget (not hang).
+ */
+export function registerTimeoutSurface(ctx) {
+    withToxicProxy({
+        ctx,
+        propertyName: "timeout-surface",
+        description: "timeout toxic surfaces typed RpcTimeoutError within budget",
+        proxyName: `to-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        profile: defaultToxicProfile.timeout,
+        body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
+            // Client timeout must be LESS than the toxic's forwarding
+            // timeout so the RPC hits the client-side deadline first.
+            // defaultToxicProfile.timeout.timeoutMs = 5000. Set client to
+            // 1500ms for a fast, clear timeout surface.
+            const proxied = yield* acquireProxiedClient(ctx, proxy, `to-${ctx.seed}-c`, 1500, unavailable);
+            const { outcomeTag, elapsed } = yield* Effect.scoped(Effect.gen(function* () {
+                yield* attachToxic;
+                const start = yield* Clock.currentTimeMillis;
+                const outcome = yield* proxied.client
+                    .sendRpc("conversations/list", {})
+                    .pipe(Effect.either);
+                const elapsed = (yield* Clock.currentTimeMillis) - start;
+                return {
+                    outcomeTag: outcome._tag === "Right" ? "success" : outcome.left._tag,
+                    elapsed,
+                };
+            }));
+            if (outcomeTag === "success") {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "timeout-surface",
+                    reason: "RPC through timeout toxic unexpectedly succeeded",
+                }));
+            }
+            if (outcomeTag !== "TestingRpcTimeoutError") {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "timeout-surface",
+                    reason: `expected RpcTimeoutError, got ${outcomeTag}`,
+                }));
+            }
+            if (elapsed > 3000) {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "timeout-surface",
+                    reason: `timeout fired at ${elapsed}ms, expected <3000ms`,
+                }));
+            }
+        }),
+    });
+}
+/**
+ * slow_close — close-frames are delayed by the toxic. The scope
+ * release must still complete within a bounded window so the suite
+ * doesn't leak descriptors.
+ */
+export function registerSlowCloseCleanup(ctx) {
+    withToxicProxy({
+        ctx,
+        propertyName: "slow-close-cleanup",
+        description: "slow_close toxic does not leak descriptors beyond 2s",
+        proxyName: `sc-${ctx.seed}-${Math.random().toString(36).slice(2, 8)}`,
+        profile: defaultToxicProfile.slow_close,
+        body: ({ proxy, unavailable, attachToxic }) => Effect.gen(function* () {
+            const start = yield* Clock.currentTimeMillis;
+            yield* attachToxic.pipe(Effect.orElseSucceed(() => undefined));
+            // Open + close a client scoped to this Effect.gen block; when
+            // Effect.scoped unwinds, the client must release within the
+            // 2s budget even though the toxic delays its close-frame.
+            yield* Effect.scoped(Effect.gen(function* () {
+                const _client = yield* acquireProxiedClient(ctx, proxy, `sc-${ctx.seed}-c`, 2000, unavailable);
+                // A single RPC proves the socket is alive before close.
+                yield* _client.client
+                    .sendRpc("conversations/list", {})
+                    .pipe(Effect.either);
+            }));
+            const elapsed = (yield* Clock.currentTimeMillis) - start;
+            if (elapsed > 5000) {
+                return yield* Effect.fail(new PropertyInvariantViolation({
+                    category: CATEGORY,
+                    name: "slow-close-cleanup",
+                    reason: `scope release took ${elapsed}ms under slow_close (budget 5000ms)`,
+                }));
+            }
+        }),
+    });
+}
+function createOneOnOneConversation(owner, participant) {
+    return Effect.gen(function* () {
+        const create = yield* owner.client
+            .sendRpc("conversations/create", {
+            type: "group",
+            name: `adv-conv-${owner.agent.name}`,
+            participants: [
+                { type: "agent", id: participant.agent.agentId },
+            ],
+        })
+            .pipe(Effect.either);
+        if (create._tag === "Left") {
+            return {
+                kind: "error",
+                reason: `conversations/create under toxic: ${create.left._tag}`,
+            };
+        }
+        const id = create.right.conversation
+            ?.id;
+        if (typeof id !== "string" || id.length === 0) {
+            return {
+                kind: "error",
+                reason: "conversations/create returned no conversation.id",
+            };
+        }
+        return { kind: "ok", conversationId: id };
+    });
+}
+//# sourceMappingURL=adversity.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"adversity.js","sourceRoot":"","sources":["../../../src/testing/conformance/adversity.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAc,MAAM,QAAQ,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAG5D,OAAO,EAAE,cAAc,EAAmB,MAAM,mBAAmB,CAAC;AACpE,OAAO,EAAE,iBAAiB,EAAkB,MAAM,0BAA0B,CAAC;AAE7E,OAAO,EACL,gBAAgB,EAChB,0BAA0B,EAC1B,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAEvB,MAAM,QAAQ,GAAG,WAAoB,CAAC;AACtC,MAAM,wBAAwB,GAAG,GAAG,CAAC;AAErC,oEAAoE;AACpE,SAAS,oBAAoB,CAC3B,GAA0B,EAC1B,KAAY,EACZ,IAAY,EACZ,gBAAwB,EACxB,WAAoD;IAMpD,6DAA6D;IAC7D,sEAAsE;IACtE,iEAAiE;IACjE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IAC5D,MAAM,UAAU,GAAG,GAAG,KAAK,CAAC,SAAS,GAAG,YAAY,EAAE,CAAC;IACvD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI;SACL,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,UAAU;YACrB,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB;YAChB,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,mBAAmB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACpE,CAAC;QACF,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC;AAED;;;;;GAKG;AACH,MAAM,kBAAkB,GAAG,MAAM,CAAC;AAwBlC,SAAS,cAAc,CAAC,IAavB;IACC,MAAM,EAAE,GAAG,EAAE,YAAY,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC;IAC1E,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;IAChC,MAAM,GAAG,GAIP,SAAS,KAAK,IAAI;QAChB,CAAC,CAAC,MAAM,CAAC,IAAI,CACT,IAAI,mBAAmB,CAAC;YACtB,QAAQ,EAAE,QAAQ;YAClB,IAAI,EAAE,YAAY;YAClB,MAAM,EAAE,+CAA+C;SACxD,CAAC,CACH;QACH,CAAC,CAAC,CAAC,GAAG,EAAE;YACJ,MAAM,gBAAgB,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK;iBAC1C,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;iBACvB,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACxB,MAAM,WAAW,GAAG,CAAC,MAAc,EAAuB,EAAE,CAC1D,IAAI,mBAAmB,CAAC;gBACtB,QAAQ,EAAE,QAAQ;gBAClB,IAAI,EAAE,YAAY;gBAClB,MAAM;aACP,CAAC,CAAC;YACL,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,SAAS;qBAC3B,KAAK,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,gBAAgB,EAAE,CAAC;qBACtD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBACjE,MAAM,WAAW,GAAmC,KAAK;qBACtD,SAAS,CAAC,OAAO,CAAC;qBAClB,IAAI,CACH,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EACvD,MAAM,CAAC,MAAM,CACd,CAAC;gBACJ,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,CAAC,CAAC;YACnD,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,WAAW,CAAC;gBACjB,QAAQ,EAAE,GAAG,kBAAkB,SAAS;gBACxC,SAAS,EAAE,GAAG,EAAE,CACd,WAAW,CACT,qBAAqB,kBAAkB,uBAAuB,CAC/D;aACJ,CAAC,CACH,CAAC;QACJ,CAAC,CAAC,EAAE,CAAC;IACX,gBAAgB,CAAC,GAAG,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAA0B;IAClE,cAAc,CAAC;QACb,GAAG;QACH,YAAY,EAAE,oBAAoB;QAClC,WAAW,EAAE,kDAAkD;QAC/D,SAAS,EAAE,OAAO,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACtE,OAAO,EAAE,mBAAmB,CAAC,OAAO;QACpC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,oBAAoB,CACvC,GAAG,EACH,KAAK,EACL,OAAO,GAAG,CAAC,IAAI,IAAI,EACnB,IAAI,EACJ,WAAW,CACZ,CAAC;YACF,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAC7C,GAAG,EACH,KAAK,EACL,OAAO,GAAG,CAAC,IAAI,IAAI,EACnB,IAAI,EACJ,WAAW,CACZ,CAAC;YACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,0BAA0B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YACnE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,oBAAoB;oBAC1B,MAAM,EAAE,IAAI,CAAC,MAAM;iBACpB,CAAC,CACH,CAAC;YACJ,CAAC;YACD,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,KAAK,CAAC,CAAC,WAAW,CAAC;gBACnB,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;qBAChB,OAAO,CAAC,eAAe,EAAE;oBACxB,cAAc,EAAE,IAAI,CAAC,cAAc;oBACnC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;iBAC5C,CAAC;qBACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,0DAA0D;gBAC1D,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;YACpC,CAAC,CAAC,CACH,CAAC;YACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC;YAChD,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAC3B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;gBACpB,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,OAAO;gBACzB,OAAO,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,QAAQ;gBACjC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CACpC,CAAC,MAAM,CAAC;YACT,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,oBAAoB;oBAC1B,MAAM,EAAE,kCAAkC;iBAC3C,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC,CAAC;KACL,CAAC,CAAC;AACL,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,oBAAoB,CAAC,GAA0B;IAC7D,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,cAAc,EACd,wEAAwE,EACxE,MAAM,CAAC,IAAI,CACT,IAAI,gBAAgB,CAAC;QACnB,QAAQ,EAAE,QAAQ;QAClB,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,kDAAkD;KAC7D,CAAC,CACH,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA0B;IAC9D,cAAc,CAAC;QACb,GAAG;QACH,YAAY,EAAE,gBAAgB;QAC9B,WAAW,EAAE,uDAAuD;QACpE,SAAS,EAAE,OAAO,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACtE,OAAO,EAAE,mBAAmB,CAAC,MAAM;QACnC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,oBAAoB,CACvC,GAAG,EACH,KAAK,EACL,OAAO,GAAG,CAAC,IAAI,IAAI,EACnB,IAAI,EACJ,WAAW,CACZ,CAAC;YACF,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,oBAAoB,CAC7C,GAAG,EACH,KAAK,EACL,OAAO,GAAG,CAAC,IAAI,IAAI,EACnB,IAAI,EACJ,WAAW,CACZ,CAAC;YACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,0BAA0B,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;YACnE,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,gBAAgB;oBACtB,MAAM,EAAE,IAAI,CAAC,MAAM;iBACpB,CAAC,CACH,CAAC;YACJ,CAAC;YACD,MAAM,KAAK,GAAG,aAAa,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;YACjE,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,KAAK,CAAC,CAAC,WAAW,CAAC;gBACnB,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;qBAChB,OAAO,CAAC,eAAe,EAAE;oBACxB,cAAc,EAAE,IAAI,CAAC,cAAc;oBACnC,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;iBACvC,CAAC;qBACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,4BAA4B;YAClE,CAAC,CAAC,CACH,CAAC;YACF,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC;YAChD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CACvB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;gBACpB,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,OAAO;gBACzB,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CACxB,CAAC;YACF,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,gBAAgB;oBACtB,MAAM,EAAE,SAAS,KAAK,0CAA0C;iBACjE,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC,CAAC;KACL,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAA0B;IAClE,cAAc,CAAC;QACb,GAAG;QACH,YAAY,EAAE,qBAAqB;QACnC,WAAW,EAAE,0DAA0D;QACvE,SAAS,EAAE,OAAO,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACtE,OAAO,EAAE,mBAAmB,CAAC,UAAU;QACvC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,oBAAoB,CACxC,GAAG,EACH,KAAK,EACL,OAAO,GAAG,CAAC,IAAI,IAAI;YACnB,uDAAuD;YACvD,6CAA6C;YAC7C,IAAI,EACJ,WAAW,CACZ,CAAC;YACF,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CACnC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,KAAK,CAAC,CAAC,WAAW,CAAC;gBACnB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;gBAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;yBACjC,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC;yBACjC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;oBACvB,IACE,OAAO,CAAC,IAAI,KAAK,MAAM;wBACvB,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,6BAA6B,EACnD,CAAC;wBACD,OAAO,IAAI,CAAC;oBACd,CAAC;oBACD,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;oBAClC,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,KAAK,CAAC;oBACzD,IAAI,OAAO,GAAG,IAAI;wBAAE,OAAO,KAAK,CAAC;gBACnC,CAAC;gBACD,OAAO,KAAK,CAAC;YACf,CAAC,CAAC,CACH,CAAC;YACF,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,mBAAmB,CAAC;oBACtB,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,qBAAqB;oBAC3B,MAAM,EAAE,mDAAmD;iBAC5D,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC,CAAC;KACL,CAAC,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,GAA0B;IAC/D,cAAc,CAAC;QACb,GAAG;QACH,YAAY,EAAE,iBAAiB;QAC/B,WAAW,EAAE,4DAA4D;QACzE,SAAS,EAAE,MAAM,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACrE,OAAO,EAAE,mBAAmB,CAAC,OAAO;QACpC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,0DAA0D;YAC1D,0DAA0D;YAC1D,8DAA8D;YAC9D,4CAA4C;YAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,oBAAoB,CACzC,GAAG,EACH,KAAK,EACL,MAAM,GAAG,CAAC,IAAI,IAAI,EAClB,IAAI,EACJ,WAAW,CACZ,CAAC;YACF,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClD,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,KAAK,CAAC,CAAC,WAAW,CAAC;gBACnB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;gBAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM;qBAClC,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC;qBACjC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,KAAK,CAAC;gBACzD,OAAO;oBACL,UAAU,EACR,OAAO,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI;oBAC1D,OAAO;iBACR,CAAC;YACJ,CAAC,CAAC,CACH,CAAC;YACF,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,iBAAiB;oBACvB,MAAM,EAAE,kDAAkD;iBAC3D,CAAC,CACH,CAAC;YACJ,CAAC;YACD,IAAI,UAAU,KAAK,wBAAwB,EAAE,CAAC;gBAC5C,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,iBAAiB;oBACvB,MAAM,EAAE,iCAAiC,UAAU,EAAE;iBACtD,CAAC,CACH,CAAC;YACJ,CAAC;YACD,IAAI,OAAO,GAAG,IAAI,EAAE,CAAC;gBACnB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,iBAAiB;oBACvB,MAAM,EAAE,oBAAoB,OAAO,sBAAsB;iBAC1D,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC,CAAC;KACL,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,GAA0B;IACjE,cAAc,CAAC;QACb,GAAG;QACH,YAAY,EAAE,oBAAoB;QAClC,WAAW,EAAE,sDAAsD;QACnE,SAAS,EAAE,MAAM,GAAG,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QACrE,OAAO,EAAE,mBAAmB,CAAC,UAAU;QACvC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,EAAE,EAAE,CAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC;YAC7C,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC;YAC/D,8DAA8D;YAC9D,4DAA4D;YAC5D,0DAA0D;YAC1D,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,oBAAoB,CACzC,GAAG,EACH,KAAK,EACL,MAAM,GAAG,CAAC,IAAI,IAAI,EAClB,IAAI,EACJ,WAAW,CACZ,CAAC;gBACF,wDAAwD;gBACxD,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM;qBAClB,OAAO,CAAC,oBAAoB,EAAE,EAAE,CAAC;qBACjC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACzB,CAAC,CAAC,CACH,CAAC;YACF,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,iBAAiB,CAAC,GAAG,KAAK,CAAC;YACzD,IAAI,OAAO,GAAG,IAAI,EAAE,CAAC;gBACnB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,oBAAoB;oBAC1B,MAAM,EAAE,sBAAsB,OAAO,qCAAqC;iBAC3E,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC,CAAC;KACL,CAAC,CAAC;AACL,CAAC;AAQD,SAAS,0BAA0B,CACjC,KAA+C,EAC/C,WAAqD;IAErD,OAAO,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QACzB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,MAAM;aAC/B,OAAO,CAAC,sBAAsB,EAAE;YAC/B,IAAI,EAAE,OAAO;YACb,IAAI,EAAE,YAAY,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE;YACpC,YAAY,EAAE;gBACZ,EAAE,IAAI,EAAE,OAAgB,EAAE,EAAE,EAAE,WAAW,CAAC,KAAK,CAAC,OAAO,EAAE;aAC1D;SACF,CAAC;aACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC3B,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,qCAAqC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;aAC3C,CAAC;QACzB,CAAC;QACD,MAAM,EAAE,GAAI,MAAM,CAAC,KAA4C,CAAC,YAAY;YAC1E,EAAE,EAAE,CAAC;QACP,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9C,OAAO;gBACL,IAAI,EAAE,OAAO;gBACb,MAAM,EAAE,kDAAkD;aACtC,CAAC;QACzB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE,EAAuB,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC"}