@moltzap/protocol 2026.503.4 → 2026.504.1
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/brands.d.ts +11 -0
- package/dist/brands.d.ts.map +1 -0
- package/dist/brands.js +14 -0
- package/dist/brands.js.map +1 -0
- package/dist/helpers.d.ts +29 -26
- package/dist/helpers.d.ts.map +1 -1
- package/dist/helpers.js +34 -16
- package/dist/helpers.js.map +1 -1
- package/dist/index.d.ts +6 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +6 -3
- package/dist/index.js.map +1 -1
- package/dist/internal/ajv.d.ts +5 -0
- package/dist/internal/ajv.d.ts.map +1 -0
- package/dist/internal/ajv.js +22 -0
- package/dist/internal/ajv.js.map +1 -0
- package/dist/notification.d.ts +14 -0
- package/dist/notification.d.ts.map +1 -0
- package/dist/notification.js +11 -0
- package/dist/notification.js.map +1 -0
- package/dist/rpc-errors.d.ts +30 -0
- package/dist/rpc-errors.d.ts.map +1 -0
- package/dist/rpc-errors.js +23 -0
- package/dist/rpc-errors.js.map +1 -0
- package/dist/rpc-groups.d.ts +120 -0
- package/dist/rpc-groups.d.ts.map +1 -0
- package/dist/rpc-groups.js +131 -0
- package/dist/rpc-groups.js.map +1 -0
- package/dist/rpc-registry.d.ts +1143 -203
- package/dist/rpc-registry.d.ts.map +1 -1
- package/dist/rpc-registry.js +11 -23
- package/dist/rpc-registry.js.map +1 -1
- package/dist/rpc.d.ts +26 -5
- package/dist/rpc.d.ts.map +1 -1
- package/dist/rpc.js +21 -11
- package/dist/rpc.js.map +1 -1
- package/dist/schema/apps.d.ts +13 -26
- package/dist/schema/apps.d.ts.map +1 -1
- package/dist/schema/apps.js +2 -13
- package/dist/schema/apps.js.map +1 -1
- package/dist/schema/contacts.d.ts +6 -2
- package/dist/schema/contacts.d.ts.map +1 -1
- package/dist/schema/conversations.d.ts +15 -5
- package/dist/schema/conversations.d.ts.map +1 -1
- package/dist/schema/delivery.d.ts +9 -3
- package/dist/schema/delivery.d.ts.map +1 -1
- package/dist/schema/errors.d.ts +0 -4
- package/dist/schema/errors.d.ts.map +1 -1
- package/dist/schema/errors.js +0 -4
- package/dist/schema/errors.js.map +1 -1
- package/dist/schema/frames.d.ts +48 -51
- package/dist/schema/frames.d.ts.map +1 -1
- package/dist/schema/frames.js +28 -50
- package/dist/schema/frames.js.map +1 -1
- package/dist/schema/identity.d.ts +17 -9
- package/dist/schema/identity.d.ts.map +1 -1
- package/dist/schema/index.d.ts +3 -4
- package/dist/schema/index.d.ts.map +1 -1
- package/dist/schema/index.js +3 -4
- package/dist/schema/index.js.map +1 -1
- package/dist/schema/internal-frames.d.ts +10 -0
- package/dist/schema/internal-frames.d.ts.map +1 -0
- package/dist/schema/internal-frames.js +5 -0
- package/dist/schema/internal-frames.js.map +1 -0
- package/dist/schema/invites.d.ts +6 -2
- package/dist/schema/invites.d.ts.map +1 -1
- package/dist/schema/json-rpc.d.ts +27 -0
- package/dist/schema/json-rpc.d.ts.map +1 -0
- package/dist/schema/json-rpc.js +32 -0
- package/dist/schema/json-rpc.js.map +1 -0
- package/dist/schema/messages.d.ts +15 -5
- package/dist/schema/messages.d.ts.map +1 -1
- package/dist/schema/methods/apps.d.ts +131 -105
- package/dist/schema/methods/apps.d.ts.map +1 -1
- package/dist/schema/methods/apps.js +4 -57
- package/dist/schema/methods/apps.js.map +1 -1
- package/dist/schema/methods/auth.d.ts +62 -34
- package/dist/schema/methods/auth.d.ts.map +1 -1
- package/dist/schema/methods/contacts.d.ts +27 -9
- package/dist/schema/methods/contacts.d.ts.map +1 -1
- package/dist/schema/methods/conversations.d.ts +91 -18
- package/dist/schema/methods/conversations.d.ts.map +1 -1
- package/dist/schema/methods/conversations.js +2 -2
- package/dist/schema/methods/conversations.js.map +1 -1
- package/dist/schema/methods/messages.d.ts +39 -13
- package/dist/schema/methods/messages.d.ts.map +1 -1
- package/dist/schema/methods/presence.d.ts +6 -2
- package/dist/schema/methods/presence.d.ts.map +1 -1
- package/dist/schema/notifications.d.ts +752 -0
- package/dist/schema/notifications.d.ts.map +1 -0
- package/dist/schema/notifications.js +155 -0
- package/dist/schema/notifications.js.map +1 -0
- package/dist/schema/presence.d.ts +3 -1
- package/dist/schema/presence.d.ts.map +1 -1
- package/dist/schema/primitives.d.ts +21 -5
- package/dist/schema/primitives.d.ts.map +1 -1
- package/dist/schema/primitives.js +6 -0
- package/dist/schema/primitives.js.map +1 -1
- package/dist/test-fixtures/seed-data.d.ts +0 -1388
- package/dist/test-fixtures/seed-data.d.ts.map +1 -1
- package/dist/test-fixtures/seed-data.js +0 -987
- package/dist/test-fixtures/seed-data.js.map +1 -1
- package/dist/testing/agent-registration.d.ts +3 -1
- package/dist/testing/agent-registration.d.ts.map +1 -1
- package/dist/testing/agent-registration.js +2 -14
- package/dist/testing/agent-registration.js.map +1 -1
- package/dist/testing/arbitraries/frames.d.ts +2 -2
- package/dist/testing/arbitraries/frames.d.ts.map +1 -1
- package/dist/testing/arbitraries/frames.js +7 -6
- package/dist/testing/arbitraries/frames.js.map +1 -1
- package/dist/testing/arbitraries/index.d.ts +1 -1
- package/dist/testing/arbitraries/index.d.ts.map +1 -1
- package/dist/testing/arbitraries/index.js +1 -1
- package/dist/testing/arbitraries/index.js.map +1 -1
- package/dist/testing/arbitraries/rpc.d.ts +3 -2
- package/dist/testing/arbitraries/rpc.d.ts.map +1 -1
- package/dist/testing/arbitraries/rpc.js +1 -0
- package/dist/testing/arbitraries/rpc.js.map +1 -1
- package/dist/testing/codec.d.ts +13 -11
- package/dist/testing/codec.d.ts.map +1 -1
- package/dist/testing/codec.js +30 -45
- package/dist/testing/codec.js.map +1 -1
- package/dist/testing/conformance/__divergence_proofs__/executable-proof-helpers.d.ts.map +1 -1
- package/dist/testing/conformance/__divergence_proofs__/executable-proof-helpers.js +10 -3
- package/dist/testing/conformance/__divergence_proofs__/executable-proof-helpers.js.map +1 -1
- package/dist/testing/conformance/_helpers.d.ts +6 -6
- package/dist/testing/conformance/_helpers.d.ts.map +1 -1
- package/dist/testing/conformance/_helpers.js +6 -7
- package/dist/testing/conformance/_helpers.js.map +1 -1
- package/dist/testing/conformance/adversity.d.ts.map +1 -1
- package/dist/testing/conformance/adversity.js +14 -31
- package/dist/testing/conformance/adversity.js.map +1 -1
- package/dist/testing/conformance/boundary.d.ts +1 -1
- package/dist/testing/conformance/boundary.d.ts.map +1 -1
- package/dist/testing/conformance/boundary.js +13 -18
- package/dist/testing/conformance/boundary.js.map +1 -1
- package/dist/testing/conformance/client/_fixtures.d.ts +7 -5
- package/dist/testing/conformance/client/_fixtures.d.ts.map +1 -1
- package/dist/testing/conformance/client/_fixtures.js +17 -8
- package/dist/testing/conformance/client/_fixtures.js.map +1 -1
- package/dist/testing/conformance/client/adversity.d.ts.map +1 -1
- package/dist/testing/conformance/client/adversity.js +8 -7
- package/dist/testing/conformance/client/adversity.js.map +1 -1
- package/dist/testing/conformance/client/boundary.d.ts +2 -2
- package/dist/testing/conformance/client/boundary.d.ts.map +1 -1
- package/dist/testing/conformance/client/boundary.js +13 -12
- package/dist/testing/conformance/client/boundary.js.map +1 -1
- package/dist/testing/conformance/client/delivery.d.ts +5 -5
- package/dist/testing/conformance/client/delivery.d.ts.map +1 -1
- package/dist/testing/conformance/client/delivery.js +53 -55
- package/dist/testing/conformance/client/delivery.js.map +1 -1
- package/dist/testing/conformance/client/index.d.ts +2 -2
- package/dist/testing/conformance/client/index.d.ts.map +1 -1
- package/dist/testing/conformance/client/index.js +1 -1
- package/dist/testing/conformance/client/index.js.map +1 -1
- package/dist/testing/conformance/client/rpc-semantics.d.ts.map +1 -1
- package/dist/testing/conformance/client/rpc-semantics.js +13 -22
- package/dist/testing/conformance/client/rpc-semantics.js.map +1 -1
- package/dist/testing/conformance/client/runner.d.ts +25 -24
- package/dist/testing/conformance/client/runner.d.ts.map +1 -1
- package/dist/testing/conformance/client/runner.js +20 -22
- package/dist/testing/conformance/client/runner.js.map +1 -1
- package/dist/testing/conformance/client/schema-conformance.d.ts +8 -8
- package/dist/testing/conformance/client/schema-conformance.d.ts.map +1 -1
- package/dist/testing/conformance/client/schema-conformance.js +34 -34
- package/dist/testing/conformance/client/schema-conformance.js.map +1 -1
- package/dist/testing/conformance/client/suite.js +2 -2
- package/dist/testing/conformance/client/suite.js.map +1 -1
- package/dist/testing/conformance/delivery.d.ts.map +1 -1
- package/dist/testing/conformance/delivery.js +58 -54
- package/dist/testing/conformance/delivery.js.map +1 -1
- package/dist/testing/conformance/dispatcher-concurrency.js +12 -12
- package/dist/testing/conformance/dispatcher-concurrency.js.map +1 -1
- package/dist/testing/conformance/presence.d.ts.map +1 -1
- package/dist/testing/conformance/presence.js +32 -23
- package/dist/testing/conformance/presence.js.map +1 -1
- package/dist/testing/conformance/rpc-semantics.d.ts +12 -12
- package/dist/testing/conformance/rpc-semantics.d.ts.map +1 -1
- package/dist/testing/conformance/rpc-semantics.js +43 -41
- package/dist/testing/conformance/rpc-semantics.js.map +1 -1
- package/dist/testing/conformance/schema-conformance.d.ts +3 -40
- package/dist/testing/conformance/schema-conformance.d.ts.map +1 -1
- package/dist/testing/conformance/schema-conformance.js +38 -244
- package/dist/testing/conformance/schema-conformance.js.map +1 -1
- package/dist/testing/conformance/suite.d.ts.map +1 -1
- package/dist/testing/conformance/suite.js +5 -9
- package/dist/testing/conformance/suite.js.map +1 -1
- package/dist/testing/index.d.ts +1 -1
- package/dist/testing/index.d.ts.map +1 -1
- package/dist/testing/models/dispatch.d.ts +5 -5
- package/dist/testing/models/dispatch.d.ts.map +1 -1
- package/dist/testing/models/dispatch.js +1 -18
- package/dist/testing/models/dispatch.js.map +1 -1
- package/dist/testing/models/state.d.ts +2 -2
- package/dist/testing/models/state.d.ts.map +1 -1
- package/dist/testing/test-client.d.ts +36 -44
- package/dist/testing/test-client.d.ts.map +1 -1
- package/dist/testing/test-client.js +117 -105
- package/dist/testing/test-client.js.map +1 -1
- package/dist/testing/test-server.d.ts +5 -5
- package/dist/testing/test-server.d.ts.map +1 -1
- package/dist/testing/test-server.js +4 -4
- package/dist/testing/test-server.js.map +1 -1
- package/dist/types.d.ts +3 -5
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js.map +1 -1
- package/dist/validators.d.ts +357 -101
- package/dist/validators.d.ts.map +1 -1
- package/dist/validators.js +22 -30
- package/dist/validators.js.map +1 -1
- package/dist/version.d.ts +1 -1
- package/dist/version.js +1 -1
- package/package.json +2 -2
- package/dist/schema/events.d.ts +0 -213
- package/dist/schema/events.d.ts.map +0 -1
- package/dist/schema/events.js +0 -122
- package/dist/schema/events.js.map +0 -1
- package/dist/schema/methods/push.d.ts +0 -21
- package/dist/schema/methods/push.d.ts.map +0 -1
- package/dist/schema/methods/push.js +0 -28
- package/dist/schema/methods/push.js.map +0 -1
- package/dist/schema/surfaces.d.ts +0 -55
- package/dist/schema/surfaces.d.ts.map +0 -1
- package/dist/schema/surfaces.js +0 -55
- package/dist/schema/surfaces.js.map +0 -1
|
@@ -15,11 +15,9 @@ import * as fc from "fast-check";
|
|
|
15
15
|
import { Effect, Either } from "effect";
|
|
16
16
|
import { Value } from "@sinclair/typebox/value";
|
|
17
17
|
import { allRpcMethods, arbitraryAnyCall, arbitraryCallFor, } from "../arbitraries/rpc.js";
|
|
18
|
-
import {
|
|
19
|
-
import {
|
|
20
|
-
import {
|
|
21
|
-
import { FrameSchemaError } from "../errors.js";
|
|
22
|
-
import { EventFrameSchema, RequestFrameSchema, ResponseFrameSchema, } from "../../schema/frames.js";
|
|
18
|
+
import { arbitraryNotificationFrame, arbitraryMalformedFrame, } from "../arbitraries/frames.js";
|
|
19
|
+
import { decodeFrame, encodeFrame, isNotificationFrame, isRequestFrame, isResponseFrame, } from "../codec.js";
|
|
20
|
+
import { NotificationFrameSchema, ResponseFrameSchema, } from "../../schema/frames.js";
|
|
23
21
|
import { makeTestClient } from "../test-client.js";
|
|
24
22
|
import { registerTestAgent } from "../agent-registration.js";
|
|
25
23
|
import { assertProperty, PropertyInvariantViolation, registerProperty, } from "./registry.js";
|
|
@@ -28,11 +26,8 @@ import { ContactsList } from "../../schema/methods/contacts.js";
|
|
|
28
26
|
import { ConversationsList } from "../../schema/methods/conversations.js";
|
|
29
27
|
const CATEGORY = "schema-conformance";
|
|
30
28
|
const DEFAULT_MALFORMED_RESPONSE_RUNS = 3;
|
|
31
|
-
const
|
|
29
|
+
const DEFAULT_NOTIFICATION_SCHEMA_RUNS = 20;
|
|
32
30
|
const DEFAULT_ROUNDTRIP_RUNS = 50;
|
|
33
|
-
const DEFAULT_MALFORMED_S2C_RUNS = 50;
|
|
34
|
-
const DEFAULT_RESPONSE_VALIDATION_RUNS = 50;
|
|
35
|
-
const DEFAULT_DIRECTION_PARTITION_RUNS = 30;
|
|
36
31
|
const DEFAULT_TIMEOUT_MS = 3000;
|
|
37
32
|
const DEFAULT_CAPTURE_CAPACITY = 64;
|
|
38
33
|
/**
|
|
@@ -59,7 +54,7 @@ export function registerRequestWellFormedness(ctx) {
|
|
|
59
54
|
// that landed before the sampled call.
|
|
60
55
|
const handshakeEnd = (yield* client.snapshot).length;
|
|
61
56
|
yield* client
|
|
62
|
-
.sendRpc(call.
|
|
57
|
+
.sendRpc(call.definition, call.params)
|
|
63
58
|
.pipe(Effect.either);
|
|
64
59
|
return (yield* client.snapshot).slice(handshakeEnd);
|
|
65
60
|
})).pipe(Effect.map((observed) => {
|
|
@@ -71,19 +66,28 @@ export function registerRequestWellFormedness(ctx) {
|
|
|
71
66
|
// - replies.some(id === expectedId) (the sampled call got a
|
|
72
67
|
// reply, not just some other request)
|
|
73
68
|
const outbound = observed.find((s) => s.kind === "outbound" &&
|
|
74
|
-
s.frame
|
|
69
|
+
s.frame !== null &&
|
|
70
|
+
isRequestFrame(s.frame) &&
|
|
75
71
|
s.frame.method === call.method);
|
|
76
|
-
if (outbound?.frame
|
|
72
|
+
if (outbound?.frame === null ||
|
|
73
|
+
outbound?.frame === undefined ||
|
|
74
|
+
!isRequestFrame(outbound.frame)) {
|
|
77
75
|
return false;
|
|
76
|
+
}
|
|
78
77
|
const expectedId = outbound.frame.id;
|
|
79
|
-
const replies = observed.filter((s) => s.kind === "inbound" &&
|
|
78
|
+
const replies = observed.filter((s) => s.kind === "inbound" &&
|
|
79
|
+
s.frame !== null &&
|
|
80
|
+
isResponseFrame(s.frame));
|
|
80
81
|
if (replies.length < 1)
|
|
81
82
|
return false;
|
|
82
|
-
const allValid = replies.every((r) => r.frame
|
|
83
|
+
const allValid = replies.every((r) => r.frame !== null &&
|
|
84
|
+
isResponseFrame(r.frame) &&
|
|
83
85
|
Value.Check(ResponseFrameSchema, r.frame));
|
|
84
86
|
if (!allValid)
|
|
85
87
|
return false;
|
|
86
|
-
return replies.some((r) => r.frame
|
|
88
|
+
return replies.some((r) => r.frame !== null &&
|
|
89
|
+
isResponseFrame(r.frame) &&
|
|
90
|
+
r.frame.id === expectedId);
|
|
87
91
|
})))), {
|
|
88
92
|
seed: ctx.seed,
|
|
89
93
|
numRuns: ctx.opts.numRuns ?? DEFAULT_MALFORMED_RESPONSE_RUNS,
|
|
@@ -94,7 +98,7 @@ export function registerRequestWellFormedness(ctx) {
|
|
|
94
98
|
})));
|
|
95
99
|
}
|
|
96
100
|
/**
|
|
97
|
-
* Valid
|
|
101
|
+
* Valid notification frame round-trips the codec cleanly.
|
|
98
102
|
*
|
|
99
103
|
* `@pure-codec` — does NOT drive a real server or real client. Spec A2's
|
|
100
104
|
* "accepted by a real client" assertion requires a TestServer + real
|
|
@@ -102,20 +106,21 @@ export function registerRequestWellFormedness(ctx) {
|
|
|
102
106
|
* `packages/client` or `moltzap-arena`) and is tracked under #186.
|
|
103
107
|
*
|
|
104
108
|
* Tightened per architect §4.4: predicate demands `Right` AND schema
|
|
105
|
-
* check of the specific
|
|
109
|
+
* check of the specific notification variant — the previous `Right || Left`
|
|
106
110
|
* shape was a tautology over the union.
|
|
107
111
|
*/
|
|
108
|
-
export function
|
|
109
|
-
registerProperty(ctx, CATEGORY, "
|
|
112
|
+
export function registerNotificationWellFormedness(ctx) {
|
|
113
|
+
registerProperty(ctx, CATEGORY, "notification-well-formedness", "valid notification frame decodes cleanly and re-encodes to match", assertProperty(CATEGORY, "notification-well-formedness", () => Promise.resolve(fc.assert(fc.property(arbitraryNotificationFrame(), (frame) => {
|
|
110
114
|
const raw = encodeFrame(frame);
|
|
111
115
|
const decoded = Effect.runSync(Effect.either(decodeFrame(raw, "inbound")));
|
|
112
116
|
return Either.match(decoded, {
|
|
113
117
|
onLeft: () => false,
|
|
114
|
-
onRight: (frame) => frame
|
|
118
|
+
onRight: (frame) => isNotificationFrame(frame) &&
|
|
119
|
+
Value.Check(NotificationFrameSchema, frame),
|
|
115
120
|
});
|
|
116
121
|
}), {
|
|
117
122
|
seed: ctx.seed,
|
|
118
|
-
numRuns: ctx.opts.numRuns ??
|
|
123
|
+
numRuns: ctx.opts.numRuns ?? DEFAULT_NOTIFICATION_SCHEMA_RUNS,
|
|
119
124
|
}))));
|
|
120
125
|
}
|
|
121
126
|
/** parse(serialize(frame)) ≡ frame — pure codec round-trip. */
|
|
@@ -156,7 +161,8 @@ export function registerMalformedFrameHandling(ctx) {
|
|
|
156
161
|
malformedQuiescenceMs: 500,
|
|
157
162
|
});
|
|
158
163
|
const response = yield* client.sendMalformed({
|
|
159
|
-
|
|
164
|
+
baseDefinition: AgentsList,
|
|
165
|
+
baseParams: {},
|
|
160
166
|
kind,
|
|
161
167
|
seed,
|
|
162
168
|
});
|
|
@@ -164,7 +170,7 @@ export function registerMalformedFrameHandling(ctx) {
|
|
|
164
170
|
// normal RPC — proves the server didn't crash or
|
|
165
171
|
// poison its state.
|
|
166
172
|
const post = yield* client
|
|
167
|
-
.sendRpc(AgentsList
|
|
173
|
+
.sendRpc(AgentsList, {})
|
|
168
174
|
.pipe(Effect.either);
|
|
169
175
|
return { malformedReply: response, post };
|
|
170
176
|
})).pipe(Effect.map((result) => {
|
|
@@ -200,223 +206,6 @@ const COVERAGE_SAMPLE = [
|
|
|
200
206
|
ConversationsList.name,
|
|
201
207
|
ContactsList.name,
|
|
202
208
|
];
|
|
203
|
-
/**
|
|
204
|
-
* S2C request frames round-trip through the codec. Architect plan §3.1 +
|
|
205
|
-
* §1.7: `direction: "s2c"` is part of the wire identity — encode →
|
|
206
|
-
* decodeFrame → re-encode must be byte-identical for every well-formed
|
|
207
|
-
* server-initiated request.
|
|
208
|
-
*
|
|
209
|
-
* `@pure-codec` — does NOT drive a real server. Asserts the codec preserves
|
|
210
|
-
* `direction: "s2c"` so c2s and s2c request-id pools can coexist on the
|
|
211
|
-
* wire without confusion.
|
|
212
|
-
*/
|
|
213
|
-
export function registerS2cRequestRoundTripIdentity(ctx) {
|
|
214
|
-
registerProperty(ctx, CATEGORY, "s2c-request-roundtrip-identity", "encode(s2c request) ⇒ decode ⇒ encode is byte-identical", assertProperty(CATEGORY, "s2c-request-roundtrip-identity", () => Promise.resolve(fc.assert(fc.property(arbitraryS2cRequestFrame(), (frame) => {
|
|
215
|
-
const raw = encodeFrame(frame);
|
|
216
|
-
const decoded = Effect.runSync(Effect.either(decodeFrame(raw, "inbound")));
|
|
217
|
-
return Either.match(decoded, {
|
|
218
|
-
onLeft: () => false,
|
|
219
|
-
onRight: (frame) => {
|
|
220
|
-
if (frame.type !== "request")
|
|
221
|
-
return false;
|
|
222
|
-
if (frame.direction !== "s2c")
|
|
223
|
-
return false;
|
|
224
|
-
const redone = encodeFrame(frame);
|
|
225
|
-
return (JSON.stringify(JSON.parse(raw)) ===
|
|
226
|
-
JSON.stringify(JSON.parse(redone)));
|
|
227
|
-
},
|
|
228
|
-
});
|
|
229
|
-
}), {
|
|
230
|
-
seed: ctx.seed,
|
|
231
|
-
numRuns: ctx.opts.numRuns ?? DEFAULT_ROUNDTRIP_RUNS,
|
|
232
|
-
}))));
|
|
233
|
-
}
|
|
234
|
-
/**
|
|
235
|
-
* S2C response frames validate against `ResponseFrameSchema`. Architect plan
|
|
236
|
-
* §3.1: c2s and s2c responses share one schema discriminated by `direction`.
|
|
237
|
-
* Property asserts `Value.Check` accepts every drawn s2c response — the
|
|
238
|
-
* positive shape every consumer's decoder relies on.
|
|
239
|
-
*/
|
|
240
|
-
export function registerS2cResponseValidation(ctx) {
|
|
241
|
-
registerProperty(ctx, CATEGORY, "s2c-response-validation", "every well-formed s2c response frame Value.Checks", assertProperty(CATEGORY, "s2c-response-validation", () => Promise.resolve(fc.assert(fc.property(arbitraryS2cResponseFrame(), (frame) => {
|
|
242
|
-
if (!Value.Check(ResponseFrameSchema, frame))
|
|
243
|
-
return false;
|
|
244
|
-
return frame.direction === "s2c";
|
|
245
|
-
}), {
|
|
246
|
-
seed: ctx.seed,
|
|
247
|
-
numRuns: ctx.opts.numRuns ?? DEFAULT_RESPONSE_VALIDATION_RUNS,
|
|
248
|
-
}))));
|
|
249
|
-
}
|
|
250
|
-
/**
|
|
251
|
-
* Malformed s2c request bytes do not crash the codec — `decodeFrame`
|
|
252
|
-
* returns `FrameSchemaError`, never throws. `@pure-codec` — exercises
|
|
253
|
-
* the codec only. Wire-level liveness with a real server is covered by
|
|
254
|
-
* `malformed-frame-handling` (above).
|
|
255
|
-
*/
|
|
256
|
-
export function registerS2cMalformedRequestHandling(ctx) {
|
|
257
|
-
registerProperty(ctx, CATEGORY, "s2c-malformed-request-handling", "malformed s2c request bytes ⇒ FrameSchemaError or drop; never crash", assertProperty(CATEGORY, "s2c-malformed-request-handling", () => Promise.resolve(fc.assert(fc.property(arbitraryMalformedS2cRequestFrame(), (raw) => {
|
|
258
|
-
const decoded = Effect.runSync(Effect.either(decodeFrame(raw, "inbound")));
|
|
259
|
-
return Either.match(decoded, {
|
|
260
|
-
// Either decode fails with FrameSchemaError (rejected at the
|
|
261
|
-
// edge) or succeeds with a typed frame — both are fine. The
|
|
262
|
-
// crash-free contract is what this property enforces.
|
|
263
|
-
onLeft: (err) => err instanceof FrameSchemaError,
|
|
264
|
-
onRight: (frame) => {
|
|
265
|
-
// If decode succeeds, the frame must validate against its
|
|
266
|
-
// schema; the codec must not surface an in-between value.
|
|
267
|
-
if (frame.type === "request")
|
|
268
|
-
return Value.Check(RequestFrameSchema, frame);
|
|
269
|
-
if (frame.type === "response")
|
|
270
|
-
return Value.Check(ResponseFrameSchema, frame);
|
|
271
|
-
return Value.Check(EventFrameSchema, frame);
|
|
272
|
-
},
|
|
273
|
-
});
|
|
274
|
-
}), {
|
|
275
|
-
seed: ctx.seed,
|
|
276
|
-
numRuns: ctx.opts.numRuns ?? DEFAULT_MALFORMED_S2C_RUNS,
|
|
277
|
-
}))));
|
|
278
|
-
}
|
|
279
|
-
/**
|
|
280
|
-
* Dual-direction request-id collision — c2s and s2c request frames
|
|
281
|
-
* carrying the same `id` decode to distinct frames whose `direction`
|
|
282
|
-
* field discriminates the routing pool. Architect plan §3.1: pending
|
|
283
|
-
* maps key on `(side, id)`, not `id` alone — a c2s request with id
|
|
284
|
-
* `tc-1` and an s2c request with id `tc-1` must NOT collide.
|
|
285
|
-
*
|
|
286
|
-
* `@pure-codec` — pure-codec proof of the contract every transport
|
|
287
|
-
* relies on. Wire-level routing is enforced by sender/receiver pending
|
|
288
|
-
* maps; this property anchors the codec piece.
|
|
289
|
-
*/
|
|
290
|
-
export function registerDualDirectionIdCollision(ctx) {
|
|
291
|
-
registerProperty(ctx, CATEGORY, "dual-direction-id-collision", "c2s id=X and s2c id=X decode to distinct frames discriminated by direction", assertProperty(CATEGORY, "dual-direction-id-collision", () => Promise.resolve(fc.assert(fc.property(
|
|
292
|
-
// A shared id and a method name; no need to vary params for
|
|
293
|
-
// the routing-discrimination property.
|
|
294
|
-
fc.tuple(fc
|
|
295
|
-
.string({ minLength: 1, maxLength: 32 })
|
|
296
|
-
.filter((s) => /^[a-zA-Z0-9_\-:.]+$/.test(s)), fc.constantFrom(Connect.name, AgentsList.name, ...s2cRpcMethods.map((m) => m.name))), ([id, method]) => {
|
|
297
|
-
const c2s = {
|
|
298
|
-
jsonrpc: "2.0",
|
|
299
|
-
type: "request",
|
|
300
|
-
direction: "c2s",
|
|
301
|
-
id,
|
|
302
|
-
method,
|
|
303
|
-
params: {},
|
|
304
|
-
};
|
|
305
|
-
const s2c = {
|
|
306
|
-
jsonrpc: "2.0",
|
|
307
|
-
type: "request",
|
|
308
|
-
direction: "s2c",
|
|
309
|
-
id,
|
|
310
|
-
method,
|
|
311
|
-
params: {},
|
|
312
|
-
};
|
|
313
|
-
const decC2s = Effect.runSync(Effect.either(decodeFrame(encodeFrame(c2s), "inbound")));
|
|
314
|
-
const decS2c = Effect.runSync(Effect.either(decodeFrame(encodeFrame(s2c), "inbound")));
|
|
315
|
-
return Either.match(decC2s, {
|
|
316
|
-
onLeft: () => false,
|
|
317
|
-
onRight: (c2sFrame) => Either.match(decS2c, {
|
|
318
|
-
onLeft: () => false,
|
|
319
|
-
onRight: (s2cFrame) => {
|
|
320
|
-
if (c2sFrame.type !== "request" ||
|
|
321
|
-
s2cFrame.type !== "request") {
|
|
322
|
-
return false;
|
|
323
|
-
}
|
|
324
|
-
// Same id, different direction — they are NOT equal
|
|
325
|
-
// frames and a pending map keyed on (direction, id)
|
|
326
|
-
// yields disjoint entries.
|
|
327
|
-
if (c2sFrame.id !== s2cFrame.id)
|
|
328
|
-
return false;
|
|
329
|
-
if (c2sFrame.direction === s2cFrame.direction) {
|
|
330
|
-
return false;
|
|
331
|
-
}
|
|
332
|
-
const keyC2s = `${c2sFrame.direction}:${c2sFrame.id}`;
|
|
333
|
-
const keyS2c = `${s2cFrame.direction}:${s2cFrame.id}`;
|
|
334
|
-
return keyC2s !== keyS2c;
|
|
335
|
-
},
|
|
336
|
-
}),
|
|
337
|
-
});
|
|
338
|
-
}), {
|
|
339
|
-
seed: ctx.seed,
|
|
340
|
-
numRuns: ctx.opts.numRuns ?? DEFAULT_DIRECTION_PARTITION_RUNS,
|
|
341
|
-
}))));
|
|
342
|
-
}
|
|
343
|
-
// ── s2c arbitraries (local to this module) ────────────────────────────
|
|
344
|
-
//
|
|
345
|
-
// Kept private — only the four properties above use them. If a future
|
|
346
|
-
// module needs s2c-direction frames, promote to `arbitraries/frames.ts`.
|
|
347
|
-
function arbitraryS2cRequestFrame() {
|
|
348
|
-
// Drive method names from the typed `s2cRpcMethods` registry so adding
|
|
349
|
-
// a verb to the protocol auto-widens conformance coverage; no manual
|
|
350
|
-
// sync required between this arbitrary and `rpc-registry.ts`.
|
|
351
|
-
const methodNames = s2cRpcMethods.map((m) => m.name);
|
|
352
|
-
return fc.record({
|
|
353
|
-
jsonrpc: fc.constant("2.0"),
|
|
354
|
-
type: fc.constant("request"),
|
|
355
|
-
direction: fc.constant("s2c"),
|
|
356
|
-
id: fc
|
|
357
|
-
.string({ minLength: 1, maxLength: 32 })
|
|
358
|
-
.filter((s) => /^[a-zA-Z0-9_\-:.]+$/.test(s)),
|
|
359
|
-
method: fc.constantFrom(...methodNames),
|
|
360
|
-
params: fc.option(fc.dictionary(fc.string(), fc.anything()), {
|
|
361
|
-
nil: undefined,
|
|
362
|
-
}),
|
|
363
|
-
});
|
|
364
|
-
}
|
|
365
|
-
function arbitraryS2cResponseFrame() {
|
|
366
|
-
const successBody = fc.record({
|
|
367
|
-
result: fc.dictionary(fc.string({ minLength: 1, maxLength: 8 }), fc.anything()),
|
|
368
|
-
});
|
|
369
|
-
const errorBody = fc.record({
|
|
370
|
-
error: fc.record({
|
|
371
|
-
code: fc.integer({ min: -32700, max: -32000 }),
|
|
372
|
-
message: fc.string({ minLength: 1, maxLength: 64 }),
|
|
373
|
-
}),
|
|
374
|
-
});
|
|
375
|
-
const id = fc
|
|
376
|
-
.string({ minLength: 1, maxLength: 32 })
|
|
377
|
-
.filter((s) => /^[a-zA-Z0-9_\-:.]+$/.test(s));
|
|
378
|
-
return fc
|
|
379
|
-
.tuple(id, fc.oneof(successBody, errorBody))
|
|
380
|
-
.map(([frameId, body]) => ({
|
|
381
|
-
jsonrpc: "2.0",
|
|
382
|
-
type: "response",
|
|
383
|
-
direction: "s2c",
|
|
384
|
-
id: frameId,
|
|
385
|
-
...body,
|
|
386
|
-
}));
|
|
387
|
-
}
|
|
388
|
-
/**
|
|
389
|
-
* Generate raw bytes that purport to be an s2c request but are malformed
|
|
390
|
-
* in one of the kinds the codec must absorb. Mixes wire-level corruptions
|
|
391
|
-
* (invalid JSON, missing `direction`, bad `direction`, extra property)
|
|
392
|
-
* with schema-violation kinds the existing codec already rejects.
|
|
393
|
-
*/
|
|
394
|
-
function arbitraryMalformedS2cRequestFrame() {
|
|
395
|
-
const valid = arbitraryS2cRequestFrame();
|
|
396
|
-
return fc.oneof(
|
|
397
|
-
// Invalid JSON.
|
|
398
|
-
fc.constant("not-json"), fc.constant("{not-json"),
|
|
399
|
-
// Wrong direction value.
|
|
400
|
-
valid.map((f) => {
|
|
401
|
-
const invalidDirection = "lateral";
|
|
402
|
-
const corrupted = { ...f, direction: invalidDirection };
|
|
403
|
-
return JSON.stringify(corrupted);
|
|
404
|
-
}),
|
|
405
|
-
// Missing direction.
|
|
406
|
-
valid.map((f) => {
|
|
407
|
-
const { direction: _drop, ...rest } = f;
|
|
408
|
-
void _drop;
|
|
409
|
-
return JSON.stringify(rest);
|
|
410
|
-
}),
|
|
411
|
-
// Missing id.
|
|
412
|
-
valid.map((f) => {
|
|
413
|
-
const { id: _drop, ...rest } = f;
|
|
414
|
-
void _drop;
|
|
415
|
-
return JSON.stringify(rest);
|
|
416
|
-
}),
|
|
417
|
-
// Extra property — schema is `additionalProperties: false`.
|
|
418
|
-
valid.map((f) => JSON.stringify({ ...f, extra: "rejected" })));
|
|
419
|
-
}
|
|
420
209
|
export function registerRpcMapCoverage(ctx) {
|
|
421
210
|
registerProperty(ctx, CATEGORY, "rpc-map-coverage", "a representative sample of RpcMethodName reaches a real-server response", Effect.gen(function* () {
|
|
422
211
|
void allRpcMethods; // kept for future expansion to full-set coverage
|
|
@@ -447,17 +236,22 @@ export function registerRpcMapCoverage(ctx) {
|
|
|
447
236
|
// OWN response with a matching request id.
|
|
448
237
|
const handshakeEnd = (yield* client.snapshot).length;
|
|
449
238
|
yield* client
|
|
450
|
-
.sendRpc(sampled.
|
|
239
|
+
.sendRpc(sampled.definition, sampled.params)
|
|
451
240
|
.pipe(Effect.either);
|
|
452
241
|
const snap = (yield* client.snapshot).slice(handshakeEnd);
|
|
453
242
|
const outbound = snap.find((s) => s.kind === "outbound" &&
|
|
454
|
-
s.frame
|
|
243
|
+
s.frame !== null &&
|
|
244
|
+
isRequestFrame(s.frame) &&
|
|
455
245
|
s.frame.method === sampled.method);
|
|
456
|
-
if (outbound?.frame
|
|
246
|
+
if (outbound?.frame === null ||
|
|
247
|
+
outbound?.frame === undefined ||
|
|
248
|
+
!isRequestFrame(outbound.frame)) {
|
|
457
249
|
return false;
|
|
250
|
+
}
|
|
458
251
|
const expectedId = outbound.frame.id;
|
|
459
252
|
return snap.some((s) => s.kind === "inbound" &&
|
|
460
|
-
s.frame
|
|
253
|
+
s.frame !== null &&
|
|
254
|
+
isResponseFrame(s.frame) &&
|
|
461
255
|
s.frame.id === expectedId);
|
|
462
256
|
})).pipe(Effect.orElseSucceed(() => false));
|
|
463
257
|
if (!reached) {
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"schema-conformance.js","sourceRoot":"","sources":["../../../src/testing/conformance/schema-conformance.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AACH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,aAAa,EAAyB,MAAM,uBAAuB,CAAC;AAC7E,OAAO,EACL,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,EACL,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,GAGpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EACL,cAAc,EACd,0BAA0B,EAC1B,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAE1E,MAAM,QAAQ,GAAG,oBAA6B,CAAC;AAC/C,MAAM,+BAA+B,GAAG,CAAC,CAAC;AAC1C,MAAM,yBAAyB,GAAG,EAAE,CAAC;AACrC,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAClC,MAAM,0BAA0B,GAAG,EAAE,CAAC;AACtC,MAAM,gCAAgC,GAAG,EAAE,CAAC;AAC5C,MAAM,gCAAgC,GAAG,EAAE,CAAC;AAC5C,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAChC,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAEpC;;;;GAIG;AACH,MAAM,UAAU,6BAA6B,CAC3C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,yBAAyB,EACzB,iEAAiE,EACjE,cAAc,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,EAAE,CACvD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAC5C,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;YAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC;QACH,qDAAqD;QACrD,uCAAuC;QACvC,qDAAqD;QACrD,uCAAuC;QACvC,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QACrD,KAAK,CAAC,CAAC,MAAM;aACV,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC;aACjC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACtD,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtB,sDAAsD;QACtD,+DAA+D;QAC/D,gEAAgE;QAChE,2DAA2D;QAC3D,iEAAiE;QACjE,8DAA8D;QAC9D,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;YACrB,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,SAAS;YAC3B,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CACjC,CAAC;QACF,IAAI,QAAQ,EAAE,KAAK,EAAE,IAAI,KAAK,SAAS;YAAE,OAAO,KAAK,CAAC;QACtD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU,CAC5D,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU;YAC5B,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC,CAAC,KAAsB,CAAC,CAC7D,CAAC;QACF,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAC5D,CAAC;IACJ,CAAC,CAAC,CACH,CACF,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,+BAA+B;QAC5D,+DAA+D;QAC/D,6DAA6D;QAC7D,6DAA6D;QAC7D,YAAY,EAAE,IAAI;KACnB,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,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,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;YAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC;SACjE,CAAC,CAAC;IACL,CAAC,CAAC,EACF;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,yBAAyB;KACvD,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,yBAAyB,CAAC,GAA0B;IAClE,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,qBAAqB,EACrB,iCAAiC,EACjC,cAAc,CAAC,QAAQ,EAAE,qBAAqB,EAAE,GAAG,EAAE,CACnD,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,uBAAuB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAC5C,CAAC,KAAK,EAAE,EAAE;QACR,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CACvB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE;YACtB,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,uBAAuB;YAC3C,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;gBACjB,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBAClC,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CACnC,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;IACL,CAAC,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,sBAAsB;KACpD,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,0BAA0B,EAC1B,kEAAkE,EAClE,cAAc,CAAC,QAAQ,EAAE,0BAA0B,EAAE,GAAG,EAAE,CACxD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,uBAAuB,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAC7D,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;YAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,wBAAwB;YACzC,qBAAqB,EAAE,GAAG;SAC3B,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;YAC3C,UAAU,EAAE,UAAU,CAAC,IAAI;YAC3B,IAAI;YACJ,IAAI;SACL,CAAC,CAAC;QACH,oDAAoD;QACpD,iDAAiD;QACjD,oBAAoB;QACpB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM;aACvB,OAAO,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;aAC5B,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACpB,8DAA8D;QAC9D,8BAA8B;QAC9B,MAAM,UAAU,GACd,MAAM,CAAC,cAAc,KAAK,IAAI;YAC9B,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,yBAAyB,CAAC;QAC3D,2DAA2D;QAC3D,4DAA4D;QAC5D,sDAAsD;QACtD,2DAA2D;QAC3D,kBAAkB;QAClB,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;YAC3C,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI;SACpB,CAAC,CAAC;QACH,OAAO,UAAU,IAAI,UAAU,CAAC;IAClC,CAAC,CAAC,CACH,CACF,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,+BAA+B;KAC7D,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,eAAe,GAAG;IACtB,OAAO,CAAC,IAAI;IACZ,UAAU,CAAC,IAAI;IACf,iBAAiB,CAAC,IAAI;IACtB,YAAY,CAAC,IAAI;CACT,CAAC;AAEX;;;;;;;;;GASG;AACH,MAAM,UAAU,mCAAmC,CACjD,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,gCAAgC,EAChC,yDAAyD,EACzD,cAAc,CAAC,QAAQ,EAAE,gCAAgC,EAAE,GAAG,EAAE,CAC9D,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,wBAAwB,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;QAChD,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;YAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;gBACjB,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;gBAC3C,IAAI,KAAK,CAAC,SAAS,KAAK,KAAK;oBAAE,OAAO,KAAK,CAAC;gBAC5C,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBAClC,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CACnC,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,EACF;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,sBAAsB;KACpD,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,6BAA6B,CAC3C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,yBAAyB,EACzB,mDAAmD,EACnD,cAAc,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,EAAE,CACvD,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,yBAAyB,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;QACjD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QAC3D,OAAO,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC;IACnC,CAAC,CAAC,EACF;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,gCAAgC;KAC9D,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,mCAAmC,CACjD,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,gCAAgC,EAChC,qEAAqE,EACrE,cAAc,CAAC,QAAQ,EAAE,gCAAgC,EAAE,GAAG,EAAE,CAC9D,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,iCAAiC,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;QACvD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;YAC3B,6DAA6D;YAC7D,4DAA4D;YAC5D,sDAAsD;YACtD,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,YAAY,gBAAgB;YAChD,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;gBACjB,0DAA0D;gBAC1D,0DAA0D;gBAC1D,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;oBAC1B,OAAO,KAAK,CAAC,KAAK,CAAC,kBAAkB,EAAE,KAAK,CAAC,CAAC;gBAChD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;oBAC3B,OAAO,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,KAAK,CAAC,CAAC;gBACjD,OAAO,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAC;YAC9C,CAAC;SACF,CAAC,CAAC;IACL,CAAC,CAAC,EACF;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,0BAA0B;KACxD,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,gCAAgC,CAC9C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,6BAA6B,EAC7B,4EAA4E,EAC5E,cAAc,CAAC,QAAQ,EAAE,6BAA6B,EAAE,GAAG,EAAE,CAC3D,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ;IACT,4DAA4D;IAC5D,uCAAuC;IACvC,EAAE,CAAC,KAAK,CACN,EAAE;SACC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAC/C,EAAE,CAAC,YAAY,CACb,OAAO,CAAC,IAAI,EACZ,UAAU,CAAC,IAAI,EACf,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACpC,CACF,EACD,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE;QACf,MAAM,GAAG,GAAiB;YACxB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,KAAK;YAChB,EAAE;YACF,MAAM;YACN,MAAM,EAAE,EAAE;SACX,CAAC;QACF,MAAM,GAAG,GAAiB;YACxB,OAAO,EAAE,KAAK;YACd,IAAI,EAAE,SAAS;YACf,SAAS,EAAE,KAAK;YAChB,EAAE;YACF,MAAM;YACN,MAAM,EAAE,EAAE;SACX,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAC3B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC,CACxD,CAAC;QACF,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAC3B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,SAAS,CAAC,CAAC,CACxD,CAAC;QACF,OAAO,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;YAC1B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE,CACpB,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE;gBACnB,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;gBACnB,OAAO,EAAE,CAAC,QAAQ,EAAE,EAAE;oBACpB,IACE,QAAQ,CAAC,IAAI,KAAK,SAAS;wBAC3B,QAAQ,CAAC,IAAI,KAAK,SAAS,EAC3B,CAAC;wBACD,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,oDAAoD;oBACpD,oDAAoD;oBACpD,2BAA2B;oBAC3B,IAAI,QAAQ,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE;wBAAE,OAAO,KAAK,CAAC;oBAC9C,IAAI,QAAQ,CAAC,SAAS,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;wBAC9C,OAAO,KAAK,CAAC;oBACf,CAAC;oBACD,MAAM,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC;oBACtD,MAAM,MAAM,GAAG,GAAG,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC;oBACtD,OAAO,MAAM,KAAK,MAAM,CAAC;gBAC3B,CAAC;aACF,CAAC;SACL,CAAC,CAAC;IACL,CAAC,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,gCAAgC;KAC9D,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,EAAE;AACF,sEAAsE;AACtE,yEAAyE;AAEzE,SAAS,wBAAwB;IAC/B,uEAAuE;IACvE,qEAAqE;IACrE,8DAA8D;IAC9D,MAAM,WAAW,GAAG,aAAa,CAAC,GAAG,CACnC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CACqB,CAAC;IACrC,OAAO,EAAE,CAAC,MAAM,CAAC;QACf,OAAO,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAc,CAAC;QACpC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,SAAkB,CAAC;QACrC,SAAS,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAc,CAAC;QACtC,EAAE,EAAE,EAAE;aACH,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;aACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,GAAG,WAAW,CAAC;QACvC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAC,EAAE;YAC3D,GAAG,EAAE,SAAS;SACf,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB;IAChC,MAAM,WAAW,GAAG,EAAE,CAAC,MAAM,CAAC;QAC5B,MAAM,EAAE,EAAE,CAAC,UAAU,CACnB,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACzC,EAAE,CAAC,QAAQ,EAAE,CACd;KACF,CAAC,CAAC;IACH,MAAM,SAAS,GAAG,EAAE,CAAC,MAAM,CAAC;QAC1B,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC;YACf,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,CAAC;YAC9C,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SACpD,CAAC;KACH,CAAC,CAAC;IACH,MAAM,EAAE,GAAG,EAAE;SACV,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;SACvC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAChD,OAAO,EAAE;SACN,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;SAC3C,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACzB,OAAO,EAAE,KAAc;QACvB,IAAI,EAAE,UAAmB;QACzB,SAAS,EAAE,KAAc;QACzB,EAAE,EAAE,OAAO;QACX,GAAG,IAAI;KACR,CAAC,CAAC,CAAC;AACR,CAAC;AAED;;;;;GAKG;AACH,SAAS,iCAAiC;IACxC,MAAM,KAAK,GAAG,wBAAwB,EAAE,CAAC;IACzC,OAAO,EAAE,CAAC,KAAK;IACb,gBAAgB;IAChB,EAAE,CAAC,QAAQ,CAAC,UAAU,CAAC,EACvB,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC;IACxB,yBAAyB;IACzB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,gBAAgB,GAAW,SAAS,CAAC;QAC3C,MAAM,SAAS,GAAG,EAAE,GAAG,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC;QACxD,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC;IACF,qBAAqB;IACrB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QACxC,KAAK,KAAK,CAAC;QACX,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,cAAc;IACd,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACd,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,KAAK,CAAC;QACX,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC;IACF,4DAA4D;IAC5D,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC,CAC9D,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,GAA0B;IAC/D,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,kBAAkB,EAClB,yEAAyE,EACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,aAAa,CAAC,CAAC,iDAAiD;QACrE,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,6BAA6B,MAAM,EAAE;iBAC9C,CAAC,CACH,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;oBACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;oBAC/B,IAAI,EAAE,KAAK;iBACZ,CAAC,CAAC;gBACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;oBACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;oBAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;oBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,gBAAgB,EAAE,kBAAkB;oBACpC,eAAe,EAAE,wBAAwB;iBAC1C,CAAC,CAAC;gBACH,2DAA2D;gBAC3D,4DAA4D;gBAC5D,2CAA2C;gBAC3C,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;gBACrD,KAAK,CAAC,CAAC,MAAM;qBACV,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC;qBACvC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;gBAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;oBACrB,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,SAAS;oBAC3B,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CACpC,CAAC;gBACF,IAAI,QAAQ,EAAE,KAAK,EAAE,IAAI,KAAK,SAAS;oBAAE,OAAO,KAAK,CAAC;gBACtD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,IAAI,CAAC,IAAI,CACd,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;oBACpB,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,UAAU;oBAC5B,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAC5B,CAAC;YACJ,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,UAAU,MAAM,kCAAkC;iBAC3D,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}
|
|
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,EAAE,MAAM,QAAQ,CAAC;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAChD,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,0BAA0B,EAC1B,uBAAuB,GACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,WAAW,EACX,WAAW,EACX,mBAAmB,EACnB,cAAc,EACd,eAAe,GAChB,MAAM,aAAa,CAAC;AACrB,OAAO,EACL,uBAAuB,EACvB,mBAAmB,GAEpB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EACL,cAAc,EACd,0BAA0B,EAC1B,gBAAgB,GACjB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,kCAAkC,CAAC;AAChE,OAAO,EAAE,iBAAiB,EAAE,MAAM,uCAAuC,CAAC;AAE1E,MAAM,QAAQ,GAAG,oBAA6B,CAAC;AAC/C,MAAM,+BAA+B,GAAG,CAAC,CAAC;AAC1C,MAAM,gCAAgC,GAAG,EAAE,CAAC;AAC5C,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAClC,MAAM,kBAAkB,GAAG,IAAI,CAAC;AAChC,MAAM,wBAAwB,GAAG,EAAE,CAAC;AAEpC;;;;GAIG;AACH,MAAM,UAAU,6BAA6B,CAC3C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,yBAAyB,EACzB,iEAAiE,EACjE,cAAc,CAAC,QAAQ,EAAE,yBAAyB,EAAE,GAAG,EAAE,CACvD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAC5C,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;YAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,wBAAwB;SAC1C,CAAC,CAAC;QACH,qDAAqD;QACrD,uCAAuC;QACvC,qDAAqD;QACrD,uCAAuC;QACvC,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;QACrD,KAAK,CAAC,CAAC,MAAM;aACV,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC;aACrC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;IACtD,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE;QACtB,sDAAsD;QACtD,+DAA+D;QAC/D,gEAAgE;QAChE,2DAA2D;QAC3D,iEAAiE;QACjE,8DAA8D;QAC9D,0CAA0C;QAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;YACrB,CAAC,CAAC,KAAK,KAAK,IAAI;YAChB,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC;YACvB,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,CACjC,CAAC;QACF,IACE,QAAQ,EAAE,KAAK,KAAK,IAAI;YACxB,QAAQ,EAAE,KAAK,KAAK,SAAS;YAC7B,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC/B,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAC7B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;YACpB,CAAC,CAAC,KAAK,KAAK,IAAI;YAChB,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,CAC3B,CAAC;QACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAC5B,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,IAAI;YAChB,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,KAAK,CAAC,KAAK,CAAC,mBAAmB,EAAE,CAAC,CAAC,KAAsB,CAAC,CAC7D,CAAC;QACF,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,OAAO,OAAO,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,KAAK,KAAK,IAAI;YAChB,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;YACxB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAC5B,CAAC;IACJ,CAAC,CAAC,CACH,CACF,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,+BAA+B;QAC5D,+DAA+D;QAC/D,6DAA6D;QAC7D,6DAA6D;QAC7D,YAAY,EAAE,IAAI;KACnB,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,kCAAkC,CAChD,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,8BAA8B,EAC9B,kEAAkE,EAClE,cAAc,CAAC,QAAQ,EAAE,8BAA8B,EAAE,GAAG,EAAE,CAC5D,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,0BAA0B,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE;QAClD,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,OAAO,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE;YAC3B,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,mBAAmB,CAAC,KAAK,CAAC;gBAC1B,KAAK,CAAC,KAAK,CAAC,uBAAuB,EAAE,KAAK,CAAC;SAC9C,CAAC,CAAC;IACL,CAAC,CAAC,EACF;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,gCAAgC;KAC9D,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,yBAAyB,CAAC,GAA0B;IAClE,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,qBAAqB,EACrB,iCAAiC,EACjC,cAAc,CAAC,QAAQ,EAAE,qBAAqB,EAAE,GAAG,EAAE,CACnD,OAAO,CAAC,OAAO,CACb,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,uBAAuB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAC5C,CAAC,KAAK,EAAE,EAAE;QACR,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,MAAM,CAAC,OAAO,CACvB,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAC3C,CAAC;QACF,OAAO,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE;YACtB,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,uBAAuB;YAC3C,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE;gBACjB,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC;gBAClC,OAAO,CACL,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CACnC,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;IACL,CAAC,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,sBAAsB;KACpD,CACF,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,8BAA8B,CAC5C,GAA0B;IAE1B,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,0BAA0B,EAC1B,kEAAkE,EAClE,cAAc,CAAC,QAAQ,EAAE,0BAA0B,EAAE,GAAG,EAAE,CACxD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,aAAa,CAAC,uBAAuB,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAC7D,MAAM,CAAC,UAAU,CACf,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;YACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;YAC/B,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;YACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;YAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;YACtB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,gBAAgB,EAAE,kBAAkB;YACpC,eAAe,EAAE,wBAAwB;YACzC,qBAAqB,EAAE,GAAG;SAC3B,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC;YAC3C,cAAc,EAAE,UAAU;YAC1B,UAAU,EAAE,EAAE;YACd,IAAI;YACJ,IAAI;SACL,CAAC,CAAC;QACH,oDAAoD;QACpD,iDAAiD;QACjD,oBAAoB;QACpB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,MAAM;aACvB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;aACvB,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACvB,OAAO,EAAE,cAAc,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC,CACH,CAAC,IAAI,CACJ,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;QACpB,8DAA8D;QAC9D,8BAA8B;QAC9B,MAAM,UAAU,GACd,MAAM,CAAC,cAAc,KAAK,IAAI;YAC9B,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,yBAAyB,CAAC;QAC3D,2DAA2D;QAC3D,4DAA4D;QAC5D,sDAAsD;QACtD,2DAA2D;QAC3D,kBAAkB;QAClB,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,EAAE;YAC3C,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK;YACnB,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI;SACpB,CAAC,CAAC;QACH,OAAO,UAAU,IAAI,UAAU,CAAC;IAClC,CAAC,CAAC,CACH,CACF,CACF,EACD;QACE,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,OAAO,IAAI,+BAA+B;KAC7D,CACF,CACF,CACF,CAAC;AACJ,CAAC;AAED;;;;;;GAMG;AACH,MAAM,eAAe,GAAG;IACtB,OAAO,CAAC,IAAI;IACZ,UAAU,CAAC,IAAI;IACf,iBAAiB,CAAC,IAAI;IACtB,YAAY,CAAC,IAAI;CACT,CAAC;AACX,MAAM,UAAU,sBAAsB,CAAC,GAA0B;IAC/D,gBAAgB,CACd,GAAG,EACH,QAAQ,EACR,kBAAkB,EAClB,yEAAyE,EACzE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,KAAK,aAAa,CAAC,CAAC,iDAAiD;QACrE,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;YACrC,MAAM,OAAO,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAC;YACzC,MAAM,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;YACrE,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,6BAA6B,MAAM,EAAE;iBAC9C,CAAC,CACH,CAAC;YACJ,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,CAClC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC;oBACrC,OAAO,EAAE,GAAG,CAAC,UAAU,CAAC,OAAO;oBAC/B,IAAI,EAAE,KAAK;iBACZ,CAAC,CAAC;gBACH,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,cAAc,CAAC;oBACnC,SAAS,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK;oBAC/B,QAAQ,EAAE,KAAK,CAAC,MAAM;oBACtB,OAAO,EAAE,KAAK,CAAC,OAAO;oBACtB,gBAAgB,EAAE,kBAAkB;oBACpC,eAAe,EAAE,wBAAwB;iBAC1C,CAAC,CAAC;gBACH,2DAA2D;gBAC3D,4DAA4D;gBAC5D,2CAA2C;gBAC3C,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC;gBACrD,KAAK,CAAC,CAAC,MAAM;qBACV,OAAO,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,MAAM,CAAC;qBAC3C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;gBACvB,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC;gBAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,UAAU;oBACrB,CAAC,CAAC,KAAK,KAAK,IAAI;oBAChB,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC;oBACvB,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CACpC,CAAC;gBACF,IACE,QAAQ,EAAE,KAAK,KAAK,IAAI;oBACxB,QAAQ,EAAE,KAAK,KAAK,SAAS;oBAC7B,CAAC,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC/B,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrC,OAAO,IAAI,CAAC,IAAI,CACd,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,SAAS;oBACpB,CAAC,CAAC,KAAK,KAAK,IAAI;oBAChB,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC;oBACxB,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,UAAU,CAC5B,CAAC;YACJ,CAAC,CAAC,CACH,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1C,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,0BAA0B,CAAC;oBAC7B,QAAQ,EAAE,QAAQ;oBAClB,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,UAAU,MAAM,kCAAkC;iBAC3D,CAAC,CACH,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"suite.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAgB,MAAM,EAAgB,MAAM,QAAQ,CAAC;AAG5D,OAAO,EAEL,KAAK,qBAAqB,EAE1B,KAAK,gBAAgB,EACtB,MAAM,aAAa,CAAC;AACrB,OAAO,EAEL,KAAK,eAAe,EAErB,MAAM,eAAe,CAAC;AAOvB,OAAO,KAAK,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC9E,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAQ9B;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;IAC7E;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,2FAA2F;IAC3F,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EACZ,eAAe,GACf;YAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAC;KAC3D,CAAC,CAAC;CACJ;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,
|
|
1
|
+
{"version":3,"file":"suite.d.ts","sourceRoot":"","sources":["../../../src/testing/conformance/suite.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,OAAO,EAAgB,MAAM,EAAgB,MAAM,QAAQ,CAAC;AAG5D,OAAO,EAEL,KAAK,qBAAqB,EAE1B,KAAK,gBAAgB,EACtB,MAAM,aAAa,CAAC;AACrB,OAAO,EAEL,KAAK,eAAe,EAErB,MAAM,eAAe,CAAC;AAOvB,OAAO,KAAK,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AAC9E,OAAO,EAEL,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAQ9B;;;GAGG;AACH,MAAM,WAAW,uBAAuB;IACtC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,gBAAgB,EAAE,sBAAsB,CAAC,CAAC;IAC7E;;;OAGG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACtC,iEAAiE;IACjE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,2FAA2F;IAC3F,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;QAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,OAAO,EACZ,eAAe,GACf;YAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;SAAE,CAAC;KAC3D,CAAC,CAAC;CACJ;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,qBAAqB,GAAG,IAAI,CAyCtE;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAC9B,GAAG,EAAE,qBAAqB,EAC1B,WAAW,EAAE,MAAM,EACnB,mBAAmB,GAAE,aAAa,CAAC,kBAAkB,CAAM,GAC1D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CA0E5B;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,uBAAuB,GAC5B,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,iBAAiB,GAAG,sBAAsB,CAAC,CA4BxE"}
|
|
@@ -42,21 +42,17 @@ const TOXIPROXY_NOT_PROVISIONED = "Toxiproxy client not provisioned";
|
|
|
42
42
|
*/
|
|
43
43
|
export function registerAllProperties(ctx) {
|
|
44
44
|
schemaConformance.registerRequestWellFormedness(ctx);
|
|
45
|
-
schemaConformance.
|
|
45
|
+
schemaConformance.registerNotificationWellFormedness(ctx);
|
|
46
46
|
schemaConformance.registerRoundTripIdentity(ctx);
|
|
47
47
|
schemaConformance.registerMalformedFrameHandling(ctx);
|
|
48
48
|
schemaConformance.registerRpcMapCoverage(ctx);
|
|
49
|
-
schemaConformance.registerS2cRequestRoundTripIdentity(ctx);
|
|
50
|
-
schemaConformance.registerS2cResponseValidation(ctx);
|
|
51
|
-
schemaConformance.registerS2cMalformedRequestHandling(ctx);
|
|
52
|
-
schemaConformance.registerDualDirectionIdCollision(ctx);
|
|
53
49
|
rpcSemantics.registerModelEquivalence(ctx);
|
|
54
50
|
rpcSemantics.registerAuthorityPositive(ctx);
|
|
55
51
|
rpcSemantics.registerAuthorityNegative(ctx);
|
|
56
52
|
rpcSemantics.registerRequestIdUniqueness(ctx);
|
|
57
53
|
rpcSemantics.registerIdempotence(ctx);
|
|
58
|
-
rpcSemantics.
|
|
59
|
-
rpcSemantics.
|
|
54
|
+
rpcSemantics.registerSpuriousAppCallbackFrameHandling(ctx);
|
|
55
|
+
rpcSemantics.registerCallerControlledAppCallbackTimeout(ctx);
|
|
60
56
|
delivery.registerFanOutCardinality(ctx);
|
|
61
57
|
delivery.registerStoreAndReplay(ctx);
|
|
62
58
|
delivery.registerPayloadOpacity(ctx);
|
|
@@ -226,12 +222,12 @@ function allowedServerCoverageGaps(toxiproxyUrl) {
|
|
|
226
222
|
id: "boundary/app-disconnect-fail-policy",
|
|
227
223
|
reasonIncludes: "B.9",
|
|
228
224
|
},
|
|
229
|
-
// Spurious
|
|
225
|
+
// Spurious appCallback frame handling needs a wire-level injection seam
|
|
230
226
|
// TestClient does not expose; tombstoned to B.9 (#318) where the
|
|
231
227
|
// server-side fault-injection path is reachable.
|
|
232
228
|
{
|
|
233
229
|
kind: "deferred",
|
|
234
|
-
id: "rpc-semantics/spurious-
|
|
230
|
+
id: "rpc-semantics/spurious-app-callback-frame-handling",
|
|
235
231
|
reasonIncludes: "B.9",
|
|
236
232
|
},
|
|
237
233
|
];
|
|
@@ -1 +1 @@
|
|
|
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;AAC1C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAE1C,OAAO,EACL,oBAAoB,GAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,6BAA6B,EAAE,MAAM,UAAU,CAAC;AAEzD,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAE1D,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,yBAAyB,GAAG,kCAAkC,CAAC;AAyCrE;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA0B;IAC9D,iBAAiB,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IACrD,iBAAiB,CAAC,
|
|
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;AAC1C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAE1C,OAAO,EACL,oBAAoB,GAErB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,6BAA6B,EAAE,MAAM,UAAU,CAAC;AAEzD,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAE1D,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAC7B,MAAM,yBAAyB,GAAG,kCAAkC,CAAC;AAyCrE;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,GAA0B;IAC9D,iBAAiB,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IACrD,iBAAiB,CAAC,kCAAkC,CAAC,GAAG,CAAC,CAAC;IAC1D,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;IACtC,YAAY,CAAC,wCAAwC,CAAC,GAAG,CAAC,CAAC;IAC3D,YAAY,CAAC,0CAA0C,CAAC,GAAG,CAAC,CAAC;IAE7D,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;IAC5C,QAAQ,CAAC,yBAAyB,CAAC,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,gCAAgC,CAAC,GAAG,CAAC,CAAC;IAC/C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,gCAAgC,CAAC,GAAG,CAAC,CAAC;IAC/C,QAAQ,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAEvC,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,QAAQ,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;IAE9C,QAAQ,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;IACvC,QAAQ,CAAC,2BAA2B,CAAC,GAAG,CAAC,CAAC;IAC1C,QAAQ,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACrC,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAC5C,QAAQ,CAAC,6BAA6B,CAAC,GAAG,CAAC,CAAC;AAC9C,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,CAAC,CAAC;QAC3B,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;QACD,yDAAyD;QACzD,wDAAwD;QACxD,oEAAoE;QACpE,8DAA8D;QAC9D,qEAAqE;QACrE,kEAAkE;QAClE,+DAA+D;QAC/D,iEAAiE;QACjE,+DAA+D;QAC/D,6CAA6C;QAC7C;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,UAAU,CAAC,IAAI;SAChC;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,KAAK;SACtB;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,uCAAuC;YAC3C,cAAc,EAAE,UAAU,CAAC,IAAI;SAChC;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,uCAAuC;YAC3C,cAAc,EAAE,KAAK;SACtB;QACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,qCAAqC;YACzC,cAAc,EAAE,UAAU,CAAC,IAAI;SAChC;QACD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,qCAAqC;YACzC,cAAc,EAAE,KAAK;SACtB;QACD,wEAAwE;QACxE,iEAAiE;QACjE,iDAAiD;QACjD;YACE,IAAI,EAAE,UAAU;YAChB,EAAE,EAAE,oDAAoD;YACxD,cAAc,EAAE,KAAK;SACtB;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,yBAAyB;SAC1C,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,0BAA0B;YAC9B,cAAc,EAAE,yBAAyB;SAC1C,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,+BAA+B;YACnC,cAAc,EAAE,yBAAyB;SAC1C,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,2BAA2B;YAC/B,cAAc,EAAE,yBAAyB;SAC1C,EACD;YACE,IAAI,EAAE,aAAa;YACnB,EAAE,EAAE,8BAA8B;YAClC,cAAc,EAAE,yBAAyB;SAC1C,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,kBAAkB,CACnB,CACF,CAAC;AACJ,CAAC"}
|
package/dist/testing/index.d.ts
CHANGED
|
@@ -19,7 +19,7 @@ export * as toxics from "./toxics/index.js";
|
|
|
19
19
|
export { type ConformanceArtifact, type ConformanceRunContext, type ConformanceRunOptions, type ConformanceSuiteOptions, type PropertyCategory, type PropertyFailure, type PropertyRun, type RealServerHandle, type RegisteredProperty, type SuiteResult, PropertyAssertionFailure, PropertyDeferred, PropertyInvariantViolation, PropertyUnavailable, acquireRunContext, assertProperty, collectProperties, registerAllProperties, registerProperty, runAllProperties, runConformance, runConformanceSuite, } from "./conformance/index.js";
|
|
20
20
|
export * as conformance from "./conformance/index.js";
|
|
21
21
|
export * as clientConformance from "./conformance/client/index.js";
|
|
22
|
-
export type { ClientConformanceRunContext, ClientConformanceRunOptions,
|
|
22
|
+
export type { ClientConformanceRunContext, ClientConformanceRunOptions, ObservedNotification, RealClientCloseEvent, RealClientNotificationFilter, RealClientNotificationSubscriber, RealClientFactoryArgs, RealClientHandle, RealClientRpcCaller, RealClientSubscription, } from "./conformance/client/runner.js";
|
|
23
23
|
export { RealClientLifecycleError, RealClientRpcError, } from "./conformance/client/runner.js";
|
|
24
24
|
export type { ClientConformanceSuiteOptions, JointConformanceSuiteOptions, } from "./conformance/client/suite.js";
|
|
25
25
|
//# sourceMappingURL=index.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,kBAAkB,EACvB,WAAW,EACX,WAAW,EACX,YAAY,GACb,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,KAAK,YAAY,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,KAAK,SAAS,EACd,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAK5C,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,wBAAwB,EACxB,gBAAgB,EAChB,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AAMtD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AAKnE,YAAY,EACV,2BAA2B,EAC3B,2BAA2B,EAC3B,
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,uBAAuB,EACvB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,oBAAoB,EACzB,cAAc,GACf,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,eAAe,GAChB,MAAM,eAAe,CAAC;AACvB,OAAO,EACL,KAAK,QAAQ,EACb,KAAK,kBAAkB,EACvB,WAAW,EACX,WAAW,EACX,YAAY,GACb,MAAM,YAAY,CAAC;AAGpB,OAAO,EACL,KAAK,YAAY,EACjB,oBAAoB,EACpB,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,sBAAsB,GACvB,MAAM,aAAa,CAAC;AAGrB,OAAO,EACL,KAAK,SAAS,EACd,sBAAsB,EACtB,iBAAiB,GAClB,MAAM,yBAAyB,CAAC;AAGjC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AACtD,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAC5C,OAAO,KAAK,MAAM,MAAM,mBAAmB,CAAC;AAK5C,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAC1B,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,wBAAwB,EACxB,gBAAgB,EAChB,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACd,iBAAiB,EACjB,qBAAqB,EACrB,gBAAgB,EAChB,gBAAgB,EAChB,cAAc,EACd,mBAAmB,GACpB,MAAM,wBAAwB,CAAC;AAIhC,OAAO,KAAK,WAAW,MAAM,wBAAwB,CAAC;AAMtD,OAAO,KAAK,iBAAiB,MAAM,+BAA+B,CAAC;AAKnE,YAAY,EACV,2BAA2B,EAC3B,2BAA2B,EAC3B,oBAAoB,EACpB,oBAAoB,EACpB,4BAA4B,EAC5B,gCAAgC,EAChC,qBAAqB,EACrB,gBAAgB,EAChB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,wBAAwB,EACxB,kBAAkB,GACnB,MAAM,gCAAgC,CAAC;AACxC,YAAY,EACV,6BAA6B,EAC7B,4BAA4B,GAC7B,MAAM,+BAA+B,CAAC"}
|
|
@@ -10,8 +10,8 @@
|
|
|
10
10
|
* `method`) so the TS compiler flags an unhandled method name if
|
|
11
11
|
* `rpcMethods` grows without the model being updated.
|
|
12
12
|
*/
|
|
13
|
-
import type {
|
|
14
|
-
import type {
|
|
13
|
+
import type { RpcMethodName, RpcResult } from "../../rpc-registry.js";
|
|
14
|
+
import type { NotificationFrame } from "../../schema/frames.js";
|
|
15
15
|
import type { ArbitraryRpcCall } from "../arbitraries/rpc.js";
|
|
16
16
|
import { type ReferenceState } from "./state.js";
|
|
17
17
|
/**
|
|
@@ -22,13 +22,13 @@ import { type ReferenceState } from "./state.js";
|
|
|
22
22
|
*/
|
|
23
23
|
export type RpcModelResult<M extends RpcMethodName = RpcMethodName> = {
|
|
24
24
|
readonly _tag: "ok";
|
|
25
|
-
readonly result:
|
|
26
|
-
readonly events: ReadonlyArray<
|
|
25
|
+
readonly result: RpcResult<M>;
|
|
26
|
+
readonly events: ReadonlyArray<NotificationFrame>;
|
|
27
27
|
} | {
|
|
28
28
|
readonly _tag: "error";
|
|
29
29
|
readonly code: number;
|
|
30
30
|
readonly message: string;
|
|
31
|
-
readonly events: ReadonlyArray<
|
|
31
|
+
readonly events: ReadonlyArray<NotificationFrame>;
|
|
32
32
|
};
|
|
33
33
|
export declare function isIdempotent(method: RpcMethodName): boolean;
|
|
34
34
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"dispatch.d.ts","sourceRoot":"","sources":["../../../src/testing/models/dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,
|
|
1
|
+
{"version":3,"file":"dispatch.d.ts","sourceRoot":"","sources":["../../../src/testing/models/dispatch.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,OAAO,KAAK,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EAAU,KAAK,cAAc,EAAE,MAAM,YAAY,CAAC;AA4CzD;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,aAAa,GAAG,aAAa,IAC9D;IACE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACnD,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,iBAAiB,CAAC,CAAC;CACnD,CAAC;AAuBN,wBAAgB,YAAY,CAAC,MAAM,EAAE,aAAa,GAAG,OAAO,CAE3D;AAED;;;;;;;;;GASG;AACH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,gBAAgB,EACtB,OAAO,EAAE,MAAM,GACd,OAAO,GAAG,sBAAsB,GAAG,gBAAgB,CAcrD;AAiBD;;;;;;;;;;;GAWG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,aAAa,EAC/C,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,gBAAgB,CAAC,CAAC,CAAC,GACxB;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,CAAC,CAAC,CAAA;CAAE,CA4HxE"}
|