@typeonce/effect-machine 0.4.0 → 0.5.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.
Files changed (90) hide show
  1. package/README.md +166 -588
  2. package/dist/Machine.d.ts +426 -240
  3. package/dist/Machine.d.ts.map +1 -1
  4. package/dist/Machine.js +219 -43
  5. package/dist/Machine.js.map +1 -1
  6. package/dist/internal/machine/activities.d.ts +1 -1
  7. package/dist/internal/machine/activities.js +1 -1
  8. package/dist/internal/machine/atom.d.ts +1 -1
  9. package/dist/internal/machine/atom.js +1 -1
  10. package/dist/internal/machine/cluster.d.ts +2 -2
  11. package/dist/internal/machine/cluster.js +1 -1
  12. package/dist/internal/machine/command.d.ts +1 -1
  13. package/dist/internal/machine/command.js +1 -1
  14. package/dist/internal/machine/commandRuntime.d.ts +1 -1
  15. package/dist/internal/machine/commandRuntime.js +1 -1
  16. package/dist/internal/machine/configuration.d.ts +1 -1
  17. package/dist/internal/machine/configuration.js +1 -1
  18. package/dist/internal/machine/errors.d.ts +7 -7
  19. package/dist/internal/machine/errors.js +7 -7
  20. package/dist/internal/machine/executionPlan.d.ts +2 -2
  21. package/dist/internal/machine/executionPlan.d.ts.map +1 -1
  22. package/dist/internal/machine/executionPlan.js +17 -8
  23. package/dist/internal/machine/executionPlan.js.map +1 -1
  24. package/dist/internal/machine/invocation.d.ts +1 -1
  25. package/dist/internal/machine/invocation.js +1 -1
  26. package/dist/internal/machine/planner.d.ts +1 -1
  27. package/dist/internal/machine/planner.js +1 -1
  28. package/dist/internal/machine/process.d.ts +1 -1
  29. package/dist/internal/machine/process.d.ts.map +1 -1
  30. package/dist/internal/machine/process.js +76 -24
  31. package/dist/internal/machine/process.js.map +1 -1
  32. package/dist/internal/machine/protocol.d.ts +1 -1
  33. package/dist/internal/machine/protocol.js +1 -1
  34. package/dist/internal/machine/runtime.d.ts +32 -4
  35. package/dist/internal/machine/runtime.d.ts.map +1 -1
  36. package/dist/internal/machine/runtime.js +120 -12
  37. package/dist/internal/machine/runtime.js.map +1 -1
  38. package/dist/internal/machine/serialization.d.ts +1 -1
  39. package/dist/internal/machine/serialization.js +1 -1
  40. package/dist/internal/machine/topology.d.ts +1 -1
  41. package/dist/internal/machine/topology.js +1 -1
  42. package/dist/internal/testing/machine/arbitrary.d.ts +3 -3
  43. package/dist/internal/testing/machine/exploration.d.ts +30 -0
  44. package/dist/internal/testing/machine/exploration.d.ts.map +1 -0
  45. package/dist/internal/testing/machine/exploration.js +237 -0
  46. package/dist/internal/testing/machine/exploration.js.map +1 -0
  47. package/dist/internal/testing/machine/finiteModel.d.ts +20 -20
  48. package/dist/internal/testing/machine/finiteModel.js +2 -2
  49. package/dist/internal/testing/machine/invariant.d.ts +31 -0
  50. package/dist/internal/testing/machine/invariant.d.ts.map +1 -0
  51. package/dist/internal/testing/machine/invariant.js +214 -0
  52. package/dist/internal/testing/machine/invariant.js.map +1 -0
  53. package/dist/internal/testing/machine/probe.d.ts +26 -0
  54. package/dist/internal/testing/machine/probe.d.ts.map +1 -0
  55. package/dist/internal/testing/machine/probe.js +45 -0
  56. package/dist/internal/testing/machine/probe.js.map +1 -0
  57. package/dist/internal/testing/machine/referenceModel.d.ts +14 -14
  58. package/dist/internal/testing/machine/referenceModel.js +2 -2
  59. package/dist/internal/testing/machine/runtime.d.ts +329 -26
  60. package/dist/internal/testing/machine/runtime.d.ts.map +1 -1
  61. package/dist/internal/testing/machine/runtime.js +303 -14
  62. package/dist/internal/testing/machine/runtime.js.map +1 -1
  63. package/dist/internal/testing/machine/runtimeInvariant.d.ts +32 -0
  64. package/dist/internal/testing/machine/runtimeInvariant.d.ts.map +1 -0
  65. package/dist/internal/testing/machine/runtimeInvariant.js +334 -0
  66. package/dist/internal/testing/machine/runtimeInvariant.js.map +1 -0
  67. package/dist/internal/testing/machine/trace.d.ts +17 -0
  68. package/dist/internal/testing/machine/trace.d.ts.map +1 -0
  69. package/dist/internal/testing/machine/trace.js +94 -0
  70. package/dist/internal/testing/machine/trace.js.map +1 -0
  71. package/dist/internal/testing/machine/verification.d.ts +9 -6
  72. package/dist/internal/testing/machine/verification.d.ts.map +1 -1
  73. package/dist/internal/testing/machine/verification.js +8 -79
  74. package/dist/internal/testing/machine/verification.js.map +1 -1
  75. package/dist/testing/MachineTest.d.ts +1029 -47
  76. package/dist/testing/MachineTest.d.ts.map +1 -1
  77. package/dist/testing/MachineTest.js +315 -11
  78. package/dist/testing/MachineTest.js.map +1 -1
  79. package/dist/testing/index.d.ts +1 -1
  80. package/dist/testing/index.js +1 -1
  81. package/dist/unstable/cluster/ClusterMachine.d.ts +38 -19
  82. package/dist/unstable/cluster/ClusterMachine.d.ts.map +1 -1
  83. package/dist/unstable/cluster/ClusterMachine.js +27 -9
  84. package/dist/unstable/cluster/ClusterMachine.js.map +1 -1
  85. package/dist/unstable/reactivity/AtomMachine.d.ts +82 -31
  86. package/dist/unstable/reactivity/AtomMachine.d.ts.map +1 -1
  87. package/dist/unstable/reactivity/AtomMachine.js +63 -12
  88. package/dist/unstable/reactivity/AtomMachine.js.map +1 -1
  89. package/docs/agent-guide.md +160 -18
  90. package/package.json +11 -2
@@ -1,7 +1,7 @@
1
1
  /**
2
2
  * Effect-native command-model testing for live machine references.
3
3
  *
4
- * @since 4.0.0
4
+ * @since 0.4.0
5
5
  */
6
6
  import * as Cause from "effect/Cause";
7
7
  import * as Data from "effect/Data";
@@ -14,11 +14,12 @@ import * as Stream from "effect/Stream";
14
14
  import { FastCheck, TestClock } from "effect/testing";
15
15
  import * as Machine from "../../../Machine.js";
16
16
  import { toArbitraryWithReport } from "./arbitrary.js";
17
+ import { assertRuntimeInvariants } from "./runtimeInvariant.js";
17
18
  /**
18
19
  * Constructs a command that sends one public event.
19
20
  *
20
21
  * @category constructors
21
- * @since 4.0.0
22
+ * @since 0.4.0
22
23
  */
23
24
  export const sendCommand = (event) => ({
24
25
  _tag: "Send",
@@ -28,7 +29,7 @@ export const sendCommand = (event) => ({
28
29
  * Constructs a command that advances Effect's `TestClock`.
29
30
  *
30
31
  * @category constructors
31
- * @since 4.0.0
32
+ * @since 0.4.0
32
33
  */
33
34
  export const advanceCommand = (duration) => ({
34
35
  _tag: "Advance",
@@ -38,7 +39,7 @@ export const advanceCommand = (duration) => ({
38
39
  * Constructs an idempotent command that stops the machine.
39
40
  *
40
41
  * @category constructors
41
- * @since 4.0.0
42
+ * @since 0.4.0
42
43
  */
43
44
  export const stopCommand = () => ({ _tag: "Stop" });
44
45
  /**
@@ -46,7 +47,7 @@ export const stopCommand = () => ({ _tag: "Stop" });
46
47
  * commands. Its behavior is selected by the reference-model step.
47
48
  *
48
49
  * @category constructors
49
- * @since 4.0.0
50
+ * @since 0.4.0
50
51
  */
51
52
  export const checkpointCommand = (label) => ({
52
53
  _tag: "Checkpoint",
@@ -56,7 +57,7 @@ export const checkpointCommand = (label) => ({
56
57
  * Constructors for runtime synchronization policies.
57
58
  *
58
59
  * @category constructors
59
- * @since 4.0.0
60
+ * @since 0.4.0
60
61
  */
61
62
  export const RuntimeSynchronization = {
62
63
  none: { _tag: "None" },
@@ -68,7 +69,7 @@ export const RuntimeSynchronization = {
68
69
  * Failure raised when an expected public change stream observation is absent.
69
70
  *
70
71
  * @category errors
71
- * @since 4.0.0
72
+ * @since 0.4.0
72
73
  */
73
74
  export class RuntimeObservationError extends Data.TaggedError("MachineTestRuntimeObservationError") {
74
75
  }
@@ -76,10 +77,19 @@ export class RuntimeObservationError extends Data.TaggedError("MachineTestRuntim
76
77
  * A typed command-model failure retaining the successfully checked prefix.
77
78
  *
78
79
  * @category errors
79
- * @since 4.0.0
80
+ * @since 0.4.0
80
81
  */
81
82
  export class RuntimeCommandFailure extends Data.TaggedError("MachineTestRuntimeCommandFailure") {
82
83
  }
84
+ /**
85
+ * A typed causal command-model failure retaining the successfully checked
86
+ * prefix and exact attempted command.
87
+ *
88
+ * @category errors
89
+ * @since 0.4.0
90
+ */
91
+ export class CausalRuntimeCommandFailure extends Data.TaggedError("MachineTestCausalRuntimeCommandFailure") {
92
+ }
83
93
  const makeFailure = (options) => new RuntimeCommandFailure({
84
94
  ...options,
85
95
  prefix: options.prefix.slice(),
@@ -144,6 +154,57 @@ const synchronize = (ref, queue, policy, index, timeout) => {
144
154
  }));
145
155
  }
146
156
  };
157
+ const executeCausalCommand = (probe, command) => {
158
+ switch (command._tag) {
159
+ case "Send":
160
+ return Effect.matchEffect(probe.sendAndAwait(command.event), {
161
+ onFailure: (error) => error instanceof Machine.StoppedError
162
+ ? probe.ref.snapshot.pipe(Effect.flatMap((snapshot) => snapshot.status === "stopped"
163
+ ? Effect.succeed({ _tag: "SendRejected", error })
164
+ : Effect.fail(error)))
165
+ : Effect.fail(error),
166
+ onSuccess: (step) => Effect.succeed({ _tag: "SendProcessed", step })
167
+ });
168
+ case "Advance":
169
+ return TestClock.adjust(command.duration).pipe(Effect.as({ _tag: "ClockAdvanced" }));
170
+ case "Stop":
171
+ return probe.ref.stop.pipe(Effect.as({ _tag: "Stopped" }));
172
+ case "Checkpoint":
173
+ return Effect.succeed({ _tag: "Checkpoint" });
174
+ }
175
+ };
176
+ const awaitCausal = (ref, policy, index, timeout) => {
177
+ if (policy._tag === "None") {
178
+ return ref.snapshot.pipe(Effect.map((snapshot) => ({ snapshot, awaited: [] })));
179
+ }
180
+ const observation = Effect.scoped(Effect.gen(function* () {
181
+ const changes = yield* Queue.unbounded();
182
+ yield* ref.changes.pipe(Stream.runForEach((snapshot) => Queue.offer(changes, { _tag: "Snapshot", snapshot })), Effect.ensuring(Queue.offer(changes, { _tag: "End" })), Effect.forkScoped({ startImmediately: true }));
183
+ const awaited = [];
184
+ while (true) {
185
+ const entry = yield* Queue.take(changes);
186
+ if (entry._tag === "End") {
187
+ return yield* Effect.fail(new RuntimeObservationError({
188
+ index,
189
+ synchronization: "Until",
190
+ reason: "ended",
191
+ message: "the machine changes stream ended before an awaited snapshot matched the predicate"
192
+ }));
193
+ }
194
+ awaited.push(entry.snapshot);
195
+ if (policy.predicate(entry.snapshot))
196
+ return { snapshot: entry.snapshot, awaited };
197
+ }
198
+ }));
199
+ return TestClock.withLive(observation.pipe(Effect.timeout(timeout))).pipe(Effect.mapError((cause) => cause instanceof RuntimeObservationError
200
+ ? cause
201
+ : new RuntimeObservationError({
202
+ index,
203
+ synchronization: "Until",
204
+ reason: "timeout",
205
+ message: `timed out after ${Duration.toMillis(timeout)}ms waiting for an awaited runtime snapshot`
206
+ })));
207
+ };
147
208
  /**
148
209
  * Runs typed commands against a live `MachineRef` and checks them against a
149
210
  * supplied Effect-native reference model.
@@ -161,14 +222,14 @@ const synchronize = (ref, queue, policy, index, timeout) => {
161
222
  * property run cannot be mistaken for a machine counterexample.
162
223
  *
163
224
  * @category constructors
164
- * @since 4.0.0
225
+ * @since 0.4.0
165
226
  */
166
- export const runRuntimeCommands = (ref, commands, options) => Effect.scoped(Effect.gen(function* () {
227
+ export const runEnqueuedCommands = (ref, commands, options) => Effect.scoped(Effect.gen(function* () {
167
228
  const sequence = Array.from(commands);
168
229
  const observationTimeout = options.observationTimeout ?? "1 second";
169
230
  const observationTimeoutMillis = Duration.toMillis(observationTimeout);
170
231
  if (!Number.isFinite(observationTimeoutMillis) || observationTimeoutMillis < 0) {
171
- return yield* Effect.die(new Error("MachineTest.runRuntimeCommands expected observationTimeout to be a finite non-negative duration"));
232
+ return yield* Effect.die(new Error("MachineTest.runEnqueuedCommands expected observationTimeout to be a finite non-negative duration"));
172
233
  }
173
234
  const changes = yield* Queue.unbounded();
174
235
  const ready = yield* Deferred.make();
@@ -314,6 +375,180 @@ export const runRuntimeCommands = (ref, commands, options) => Effect.scoped(Effe
314
375
  synchronized: !outstandingWorkUnknown
315
376
  };
316
377
  }));
378
+ /**
379
+ * Compatibility alias for enqueue-oriented runtime command execution.
380
+ *
381
+ * @deprecated Use `runEnqueuedCommands`. This compatibility name does not
382
+ * expose whether sends are merely enqueued or causally processed.
383
+ *
384
+ * @category constructors
385
+ * @since 0.4.0
386
+ */
387
+ export const runRuntimeCommands = runEnqueuedCommands;
388
+ /**
389
+ * Runs typed commands against a probe and checks them against an Effect-native
390
+ * reference model.
391
+ *
392
+ * Every accepted `Send` completes its exact managed runtime macrostep before
393
+ * inspection, assertion, and the next command. Use `probe.await.until` only
394
+ * for later asynchronous work such as timer, invoke, or child delivery.
395
+ * Processing failures are attributed to the exact submitted command and retain
396
+ * the successfully checked prefix for FastCheck shrinking and replay.
397
+ *
398
+ * Use `runEnqueuedCommands` instead when the behavior under test intentionally
399
+ * depends on burst enqueueing or outstanding mailbox work.
400
+ *
401
+ * @category constructors
402
+ * @since 0.4.0
403
+ */
404
+ export const runCausalCommands = (probe, commands, options) => Effect.gen(function* () {
405
+ const sequence = Array.from(commands);
406
+ const observationTimeout = options.observationTimeout ?? "1 second";
407
+ const observationTimeoutMillis = Duration.toMillis(observationTimeout);
408
+ if (!Number.isFinite(observationTimeoutMillis) || observationTimeoutMillis < 0) {
409
+ return yield* Effect.die(new Error("MachineTest.runCausalCommands expected observationTimeout to be a finite non-negative duration"));
410
+ }
411
+ const initial = yield* probe.ref.snapshot;
412
+ const records = [];
413
+ let model = options.initialModel;
414
+ let final = initial;
415
+ const capture = (captureOptions) => Effect.catchCause(Effect.suspend(captureOptions.effect), (cause) => Cause.hasInterruptsOnly(cause)
416
+ ? Effect.failCause(cause)
417
+ : Effect.fail(new CausalRuntimeCommandFailure({
418
+ phase: captureOptions.phase,
419
+ index: captureOptions.index,
420
+ command: captureOptions.command,
421
+ cause,
422
+ prefix: records.slice(),
423
+ attempted: captureOptions.attempted
424
+ })));
425
+ for (let index = 0; index < sequence.length; index++) {
426
+ const command = sequence[index];
427
+ const step = yield* capture({
428
+ phase: "model",
429
+ index,
430
+ command,
431
+ effect: () => options.transition(model, command, index)
432
+ });
433
+ model = step.model;
434
+ const attemptedBeforeExecution = {
435
+ index,
436
+ command,
437
+ model,
438
+ expected: step.expected,
439
+ result: undefined,
440
+ snapshot: undefined,
441
+ awaited: [],
442
+ inspected: undefined
443
+ };
444
+ const result = yield* capture({
445
+ phase: "execution",
446
+ index,
447
+ command,
448
+ effect: () => executeCausalCommand(probe, command),
449
+ attempted: attemptedBeforeExecution
450
+ });
451
+ const attemptedAfterExecution = {
452
+ ...attemptedBeforeExecution,
453
+ result
454
+ };
455
+ const observation = yield* capture({
456
+ phase: "observation",
457
+ index,
458
+ command,
459
+ effect: () => awaitCausal(probe.ref, step.await ?? { _tag: "None" }, index, observationTimeout),
460
+ attempted: attemptedAfterExecution
461
+ });
462
+ final = observation.snapshot;
463
+ const inspectionContext = {
464
+ index,
465
+ command,
466
+ result,
467
+ probe,
468
+ ref: probe.ref,
469
+ snapshot: observation.snapshot,
470
+ awaited: observation.awaited
471
+ };
472
+ const attemptedAfterObservation = {
473
+ ...attemptedAfterExecution,
474
+ snapshot: observation.snapshot,
475
+ awaited: observation.awaited
476
+ };
477
+ const inspected = options.inspect === undefined
478
+ ? undefined
479
+ : yield* capture({
480
+ phase: "inspection",
481
+ index,
482
+ command,
483
+ effect: () => options.inspect(inspectionContext),
484
+ attempted: attemptedAfterObservation
485
+ });
486
+ const actual = {
487
+ result,
488
+ snapshot: observation.snapshot,
489
+ awaited: observation.awaited,
490
+ inspected
491
+ };
492
+ const record = {
493
+ index,
494
+ command,
495
+ model,
496
+ expected: step.expected,
497
+ actual
498
+ };
499
+ yield* capture({
500
+ phase: "assertion",
501
+ index,
502
+ command,
503
+ effect: () => options.assert({
504
+ ...inspectionContext,
505
+ model,
506
+ expected: step.expected,
507
+ actual
508
+ }),
509
+ attempted: {
510
+ ...attemptedAfterObservation,
511
+ inspected
512
+ }
513
+ });
514
+ records.push(record);
515
+ }
516
+ return {
517
+ commands: sequence,
518
+ initial,
519
+ records,
520
+ finalModel: model,
521
+ final
522
+ };
523
+ });
524
+ /**
525
+ * Causally executes commands and checks reusable runtime invariants without
526
+ * requiring a dummy reference model. Use `runCausalCommands` when exact
527
+ * expected results come from an application model.
528
+ *
529
+ * @category constructors
530
+ * @since 0.4.0
531
+ */
532
+ export const verifyCausalCommands = (probe, commands, options) => Effect.gen(function* () {
533
+ const transcript = yield* runCausalCommands(probe, commands, {
534
+ initialModel: undefined,
535
+ ...(options.observationTimeout === undefined ? {} : { observationTimeout: options.observationTimeout }),
536
+ transition: (_model, command, index) => Effect.sync(() => ({
537
+ model: undefined,
538
+ expected: undefined,
539
+ ...(options.await === undefined ? {} : { await: options.await({ index, command, probe }) })
540
+ })),
541
+ assert: () => Effect.void
542
+ });
543
+ const evidence = {
544
+ commands: transcript.commands,
545
+ initial: transcript.initial,
546
+ records: transcript.records.map(({ actual, command, index }) => ({ index, command, actual })),
547
+ final: transcript.final
548
+ };
549
+ yield* assertRuntimeInvariants(probe.machine, evidence, options.invariants);
550
+ return evidence;
551
+ });
317
552
  const validateCommandLength = (name, value) => {
318
553
  if (!Number.isSafeInteger(value) || value < 0) {
319
554
  throw new Error(`MachineTest.runtimeCommands expected ${name} to be a non-negative safe integer`);
@@ -328,7 +563,7 @@ const validateCommandLength = (name, value) => {
328
563
  * callbacks and would erase Effect error and service channels.
329
564
  *
330
565
  * @category constructors
331
- * @since 4.0.0
566
+ * @since 0.4.0
332
567
  */
333
568
  export const runtimeCommands = (machine, options = {}) => {
334
569
  const minCommands = options.minCommands ?? 0;
@@ -394,9 +629,9 @@ export const runtimeCommands = (machine, options = {}) => {
394
629
  * Formats a runtime transcript or failure as replayable line-oriented evidence.
395
630
  *
396
631
  * @category formatting
397
- * @since 4.0.0
632
+ * @since 0.4.0
398
633
  */
399
- export const formatRuntimeTranscript = (value) => {
634
+ export const formatEnqueuedTranscript = (value) => {
400
635
  const failure = value instanceof RuntimeCommandFailure;
401
636
  const records = failure ? value.prefix : value.records;
402
637
  const lines = [
@@ -434,4 +669,58 @@ export const formatRuntimeTranscript = (value) => {
434
669
  }
435
670
  return lines.join("\n");
436
671
  };
672
+ /**
673
+ * Compatibility alias for enqueue-oriented transcript formatting.
674
+ *
675
+ * @deprecated Use `formatEnqueuedTranscript`.
676
+ *
677
+ * @category formatting
678
+ * @since 0.4.0
679
+ */
680
+ export const formatRuntimeTranscript = formatEnqueuedTranscript;
681
+ /**
682
+ * Formats a causal runtime transcript or failure as replayable line-oriented
683
+ * evidence, including exact probe steps and explicit asynchronous observations.
684
+ *
685
+ * @category formatting
686
+ * @since 0.4.0
687
+ */
688
+ export const formatCausalTranscript = (value) => {
689
+ const failure = value instanceof CausalRuntimeCommandFailure;
690
+ const records = failure ? value.prefix : value.records;
691
+ const lines = [
692
+ `commands: ${Inspectable.toStringUnknown(failure
693
+ ? [
694
+ ...value.prefix.map((record) => record.command),
695
+ value.command
696
+ ]
697
+ : value.commands, 0)}`
698
+ ];
699
+ for (const record of records) {
700
+ lines.push(`command ${record.index}: command=${Inspectable.toStringUnknown(record.command, 0)} ` +
701
+ `model=${Inspectable.toStringUnknown(record.model, 0)} ` +
702
+ `expected=${Inspectable.toStringUnknown(record.expected, 0)} ` +
703
+ `result=${Inspectable.toStringUnknown(record.actual.result, 0)} ` +
704
+ `snapshot=${Inspectable.toStringUnknown(record.actual.snapshot, 0)} ` +
705
+ `awaited=${Inspectable.toStringUnknown(record.actual.awaited, 0)} ` +
706
+ `inspected=${Inspectable.toStringUnknown(record.actual.inspected, 0)}`);
707
+ }
708
+ if (failure) {
709
+ if (value.attempted !== undefined) {
710
+ lines.push(`attempted ${value.attempted.index}: command=${Inspectable.toStringUnknown(value.attempted.command, 0)} ` +
711
+ `model=${Inspectable.toStringUnknown(value.attempted.model, 0)} ` +
712
+ `expected=${Inspectable.toStringUnknown(value.attempted.expected, 0)} ` +
713
+ `result=${Inspectable.toStringUnknown(value.attempted.result, 0)} ` +
714
+ `snapshot=${Inspectable.toStringUnknown(value.attempted.snapshot, 0)} ` +
715
+ `awaited=${Inspectable.toStringUnknown(value.attempted.awaited, 0)} ` +
716
+ `inspected=${Inspectable.toStringUnknown(value.attempted.inspected, 0)}`);
717
+ }
718
+ lines.push(`failure: phase=${value.phase} index=${value.index} command=${Inspectable.toStringUnknown(value.command, 0)} ` +
719
+ `cause=${Inspectable.toStringUnknown(value.cause, 0)}`);
720
+ }
721
+ else {
722
+ lines.push(`final: snapshot=${Inspectable.toStringUnknown(value.final, 0)}`);
723
+ }
724
+ return lines.join("\n");
725
+ };
437
726
  //# sourceMappingURL=runtime.js.map
@@ -1 +1 @@
1
- {"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../../../src/internal/testing/machine/runtime.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,WAAW,MAAM,oBAAoB,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AACrD,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,EAA8B,qBAAqB,EAAE,MAAM,gBAAgB,CAAA;AA2BlF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAQ,KAAY,EAAyB,EAAE,CAAC,CAAC;IAC1E,IAAI,EAAE,MAAM;IACZ,KAAK;CACN,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAgB,QAAwB,EAAyB,EAAE,CAAC,CAAC;IACjG,IAAI,EAAE,SAAS;IACf,QAAQ;CACT,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,GAAyC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAEzF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAgB,KAAc,EAAyB,EAAE,CAAC,CAAC;IAC1F,IAAI,EAAE,YAAY;IAClB,KAAK;CACN,CAAC,CAAA;AAoCF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAW;IAC/B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAW;IACrC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAW;IAC/B,KAAK,EAAE,CACL,SAA+E,EACjC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;CACzE,CAAA;AAsIV;;;;;GAKG;AACH,MAAM,OAAO,uBAAwB,SAAQ,IAAI,CAAC,WAAW,CAAC,oCAAoC,CAKhG;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,qBASX,SAAQ,IAAI,CAAC,WAAW,CAAC,kCAAkC,CAO3D;CAAG;AAML,MAAM,WAAW,GAAG,CAAkE,OAOrF,EAA0F,EAAE,CAC3F,IAAI,qBAAqB,CAAC;IACxB,GAAG,OAAO;IACV,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE;IAC9B,SAAS,EAAE,OAAO,CAAC,SAAS;CAC7B,CAAC,CAAA;AAEJ,MAAM,cAAc,GAAG,CACrB,GAAoD,EACpD,OAA8B,EACO,EAAE;IACvC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CACjC,MAAM,CAAC,KAAK,CAAC;gBACX,SAAS,EAAE,CAAC,KAAK,EAAwB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;gBAC7E,SAAS,EAAE,GAAyB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;aAClE,CAAC,CACH,CAAA;QACH,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAW,CAAC,CAAC,CAAA;QAC/F,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAW,CAAC,CAAC,CAAA;QAC/D,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAW,CAAC,CAAA;IAC1D,CAAC;AACH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAClB,GAAoD,EACpD,KAAuD,EACvD,MAAoD,EACpD,KAAa,EACb,OAAuB,EAIG,EAAE;IAC5B,MAAM,IAAI,GAAG,CACX,eAAiC,EACjC,MAAiD,EACN,EAAE,CAC7C,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,YAAY,uBAAuB;QACtC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,uBAAuB,CAAC;YAC5B,KAAK;YACL,eAAe;YACf,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,mBAAmB,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,gDAAgD;SACvG,CAAC,CACL,CACF,CAAA;IACH,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAA;QAC/D,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;QACnF,KAAK,MAAM;YACT,OAAO,IAAI,CACT,MAAM,EACN,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CACpB,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACvB,KAAK,CAAC,IAAI,KAAK,UAAU;gBACvB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3E,CAAC,CAAC,MAAM,CAAC,IAAI,CACX,IAAI,uBAAuB,CAAC;oBAC1B,KAAK;oBACL,eAAe,EAAE,MAAM;oBACvB,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE,0EAA0E;iBACpF,CAAC,CACH,CACJ,CACF,CACF,CAAA;QACH,KAAK,OAAO;YACV,OAAO,IAAI,CACT,OAAO,EACP,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,SAAS,GAAyD,EAAE,CAAA;gBAC1E,OAAO,IAAI,EAAE,CAAC;oBACZ,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;oBACtC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;wBACzB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,uBAAuB,CAAC;4BAC1B,KAAK;4BACL,eAAe,EAAE,OAAO;4BACxB,MAAM,EAAE,OAAO;4BACf,OAAO,EAAE,oFAAoF;yBAC9F,CAAC,CACH,CAAA;oBACH,CAAC;oBACD,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;oBAC9B,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACrC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAA;oBAChD,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CACH,CAAA;IACL,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAehC,GAAoD,EACpD,QAAyC,EACzC,OAcC,EAcD,EAAE,CACF,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACrC,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,UAAU,CAAA;IACnE,MAAM,wBAAwB,GAAG,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAA;IACtE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC,IAAI,wBAAwB,GAAG,CAAC,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,KAAK,CAAC,iGAAiG,CAAC,CAC7G,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAqC,CAAA;IAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAQ,CAAA;IAC1C,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CACrB,MAAM,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7B,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CACvD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,EAClD,MAAM,CAAC,MAAM,CACd,CACF,EACD,MAAM,CAAC,QAAQ,CACb,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,IAAI,CACrC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EACrD,MAAM,CAAC,MAAM,CACd,CACF,EACD,MAAM,CAAC,UAAU,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAC9C,CAAA;IACD,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5B,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC/C,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAA;IAC9F,MAAM,OAAO,GAAwF,EAAE,CAAA;IACvG,IAAI,KAAK,GAAG,OAAO,CAAC,YAAY,CAAA;IAChC,IAAI,gBAAgB,GAAG,OAAO,CAAA;IAC9B,IAAI,sBAAsB,GAAG,KAAK,CAAA;IAElC,MAAM,OAAO,GAAG,CAAgB,OAM/B,EAIC,EAAE,CACF,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAC1D,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAA2B,CAAC;QAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CACX,WAAW,CAAkE;YAC3E,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,KAAK;YACL,MAAM,EAAE,OAAO;YACf,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;SAC7E,CAAC,CACH,CAAC,CAAA;IAER,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAE,CAAA;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAC1B,KAAK,EAAE,OAAO;YACd,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC;SACxD,CAAC,CAAA;QACF,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAC5B,KAAK,EAAE,WAAW;YAClB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC;SAC3C,CAAC,CAAA;QACF,MAAM,0BAA0B,GAQ5B;YACF,KAAK;YACL,OAAO;YACP,KAAK;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM,EAAE;gBACN,MAAM;gBACN,QAAQ,EAAE,SAAS;gBACnB,SAAS,EAAE,EAAE;gBACb,SAAS,EAAE,SAAS;aACrB;SACF,CAAA;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAClC,KAAK,EAAE,aAAa;YACpB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,kBAAkB,CAAC;YACpF,SAAS,EAAE,0BAA0B;SACtC,CAAC,CAAA;QACF,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,KAAK,SAAS,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAA;QACjG,MAAM,qBAAqB,GAAY,sBAAsB,CAAA;QAC7D,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YAC9B,KAAK,MAAM;gBACT,IACE,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;oBACrD,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC;oBAC3D,sBAAsB,GAAG,IAAI,CAAA;gBAC/B,MAAK;YACP,KAAK,MAAM;gBACT,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS;oBAAE,gBAAgB,GAAG,YAAY,CAAC,QAAQ,CAAA;gBACjF,sBAAsB,GAAG,QAAQ;oBAC/B,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,qBAAqB,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;wBACnD,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,CAAA;gBAC/D,MAAK;YACP,KAAK,OAAO;gBACV,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS;oBAAE,gBAAgB,GAAG,YAAY,CAAC,QAAQ,CAAA;gBACjF,sBAAsB,GAAG,KAAK,CAAA;gBAC9B,MAAK;YACP,KAAK,SAAS;gBACZ,IAAI,QAAQ;oBAAE,sBAAsB,GAAG,KAAK,CAAA;gBAC5C,IAAI,CAAC,sBAAsB,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS;oBAAE,gBAAgB,GAAG,YAAY,CAAC,QAAQ,CAAA;gBAC5G,MAAK;QACT,CAAC;QACD,MAAM,iBAAiB,GAA0D;YAC/E,KAAK;YACL,OAAO;YACP,MAAM;YACN,GAAG;YACH,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,SAAS,EAAE,YAAY,CAAC,SAAS;SAClC,CAAA;QACD,MAAM,yBAAyB,GAQ3B;YACF,GAAG,0BAA0B;YAC7B,MAAM,EAAE;gBACN,MAAM;gBACN,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,SAAS,EAAE,YAAY,CAAC,SAAS;gBACjC,SAAS,EAAE,SAAS;aACrB;SACF,CAAA;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,KAAK,SAAS;YAC7C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;gBACf,KAAK,EAAE,YAAY;gBACnB,KAAK;gBACL,OAAO;gBACP,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAQ,CAAC,iBAAiB,CAAC;gBACjD,SAAS,EAAE,yBAAyB;aACrC,CAAC,CAAA;QACJ,MAAM,MAAM,GAAyD;YACnE,MAAM;YACN,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,SAAS,EAAE,YAAY,CAAC,SAAS;YACjC,SAAS;SACV,CAAA;QACD,MAAM,MAAM,GAAiF;YAC3F,KAAK;YACL,OAAO;YACP,KAAK;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM;SACP,CAAA;QACD,KAAK,CAAC,CAAC,OAAO,CAAC;YACb,KAAK,EAAE,WAAW;YAClB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CACX,OAAO,CAAC,MAAM,CAAC;gBACb,GAAG,iBAAiB;gBACpB,KAAK;gBACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM;aACP,CAAC;YACJ,SAAS,EAAE,MAAM;SAClB,CAAC,CAAA;QACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACtB,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,OAAO;QACP,OAAO;QACP,UAAU,EAAE,KAAK;QACjB,KAAK,EAAE,gBAAgB;QACvB,YAAY,EAAE,CAAC,sBAAsB;KACtC,CAAA;AACH,CAAC,CAAC,CACH,CAAA;AA4CH,MAAM,qBAAqB,GAAG,CAAC,IAAmC,EAAE,KAAa,EAAQ,EAAE;IACzF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,wCAAwC,IAAI,oCAAoC,CAAC,CAAA;IACnG,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAU,EACV,UAAqC,EAAE,EACnB,EAAE;IACtB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,CAAA;IAC5C,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAA;IAC7C,qBAAqB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAA;IACjD,qBAAqB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAA;IACjD,IAAI,WAAW,GAAG,WAAW,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,0FAA0F,CAAC,CAAA;IAC7G,CAAC;IAED,MAAM,OAAO,GAAiC,EAAE,CAAA;IAChD,MAAM,gBAAgB,GAAG,OAAO,CAAC,cAAc,KAAK,SAAS;QAC3D,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YAC9B,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAA;YAC7C,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YAC5B,OAAO,OAAO,CAAC,KAA2D,CAAA;QAC5E,CAAC,CAAC;QACF,CAAC,CAAC,EAAE,CAAA;IACN,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAC7E,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,SAAS,CAAC,KAAK,CACf,GAAG,gBAGF,CACF,CAAC,CAAA;IACJ,MAAM,kBAAkB,GAA8E,EAAE,CAAA;IACxG,IAAI,cAAc,KAAK,SAAS;QAAE,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAA;IAE1F,IAAI,OAAO,CAAC,cAAc,KAAK,KAAK,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAA;QACnF,kBAAkB,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAA;IAC/D,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK;QAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAA;IAC7F,IAAI,OAAO,CAAC,iBAAiB,KAAK,KAAK;QAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAA;IACzG,kBAAkB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAA;IAC5D,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,2FAA2F,CAAC,CAAA;QAC9G,CAAC;QACD,OAAO;YACL,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,WAAW,EAAE;gBACX,MAAM,EAAE,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;gBAC7G,aAAa,EAAE,OAAO;gBACtB,eAAe,EAAE,KAAK;gBACtB,YAAY,EAAE,KAAK;gBACnB,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAA;IACH,CAAC;IAED,OAAO;QACL,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,EAAE;YACjE,SAAS,EAAE,WAAW;YACtB,SAAS,EAAE,WAAW;SACvB,CAAC;QACF,WAAW,EAAE;YACX,MAAM,EAAE,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;YAC7G,aAAa,EAAE,OAAO;YACtB,eAAe,EAAE,OAAO,CAAC,cAAc,KAAK,KAAK;YACjD,YAAY,EAAE,OAAO,CAAC,WAAW,KAAK,KAAK;YAC3C,kBAAkB,EAAE,OAAO,CAAC,iBAAiB,KAAK,KAAK;SACxD;KACF,CAAA;AACH,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,KAEiE,EACzD,EAAE;IACV,MAAM,OAAO,GAAG,KAAK,YAAY,qBAAqB,CAAA;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAA;IACtD,MAAM,KAAK,GAAG;QACZ,aACE,WAAW,CAAC,eAAe,CACzB,OAAO,CAAC,CAAC;YACP;gBACE,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;gBAC/C,KAAK,CAAC,OAAO;aACd,CAAC,CAAC;YACH,KAAK,CAAC,QAAQ,EAChB,CAAC,CAEL,EAAE;KACH,CAAA;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,WAAW,MAAM,CAAC,KAAK,aAAa,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;YACnF,SAAS,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG;YACxD,YAAY,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;YAC9D,UAAU,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG;YACjE,YAAY,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;YACrE,aAAa,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG;YACvE,aAAa,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CACzE,CAAA;IACH,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CACR,aAAa,KAAK,CAAC,SAAS,CAAC,KAAK,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;gBACvG,SAAS,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG;gBACjE,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;gBACvE,UAAU,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG;gBAC1E,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;gBAC9E,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG;gBAChF,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAClF,CAAA;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CACR,kBAAkB,KAAK,CAAC,KAAK,UAAU,KAAK,CAAC,KAAK,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;YAC5G,SAAS,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CACzD,CAAA;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CACR,uBAAuB,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAC5G,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC,CAAA"}
1
+ {"version":3,"file":"runtime.js","sourceRoot":"","sources":["../../../../src/internal/testing/machine/runtime.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,IAAI,MAAM,aAAa,CAAA;AACnC,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,QAAQ,MAAM,iBAAiB,CAAA;AAC3C,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,KAAK,WAAW,MAAM,oBAAoB,CAAA;AACjD,OAAO,KAAK,KAAK,MAAM,cAAc,CAAA;AACrC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AACvC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AACrD,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAE9C,OAAO,EAA8B,qBAAqB,EAAE,MAAM,gBAAgB,CAAA;AAClF,OAAO,EAAE,uBAAuB,EAA8B,MAAM,uBAAuB,CAAA;AA2B3F;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAQ,KAAY,EAAyB,EAAE,CAAC,CAAC;IAC1E,IAAI,EAAE,MAAM;IACZ,KAAK;CACN,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAgB,QAAwB,EAAyB,EAAE,CAAC,CAAC;IACjG,IAAI,EAAE,SAAS;IACf,QAAQ;CACT,CAAC,CAAA;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,GAAyC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAEzF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAgB,KAAc,EAAyB,EAAE,CAAC,CAAC;IAC1F,IAAI,EAAE,YAAY;IAClB,KAAK;CACN,CAAC,CAAA;AAoCF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG;IACpC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAW;IAC/B,OAAO,EAAE,EAAE,IAAI,EAAE,SAAS,EAAW;IACrC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAW;IAC/B,KAAK,EAAE,CACL,SAA+E,EACjC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;CACzE,CAAA;AAggBV;;;;;GAKG;AACH,MAAM,OAAO,uBAAwB,SAAQ,IAAI,CAAC,WAAW,CAAC,oCAAoC,CAKhG;CAAG;AAEL;;;;;GAKG;AACH,MAAM,OAAO,qBASX,SAAQ,IAAI,CAAC,WAAW,CAAC,kCAAkC,CAO3D;CAAG;AAEL;;;;;;GAMG;AACH,MAAM,OAAO,2BAQX,SAAQ,IAAI,CAAC,WAAW,CAAC,wCAAwC,CAOjE;CAAG;AAML,MAAM,WAAW,GAAG,CAAkE,OAOrF,EAA0F,EAAE,CAC3F,IAAI,qBAAqB,CAAC;IACxB,GAAG,OAAO;IACV,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE;IAC9B,SAAS,EAAE,OAAO,CAAC,SAAS;CAC7B,CAAC,CAAA;AAEJ,MAAM,cAAc,GAAG,CACrB,GAAoD,EACpD,OAA8B,EACO,EAAE;IACvC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CACjC,MAAM,CAAC,KAAK,CAAC;gBACX,SAAS,EAAE,CAAC,KAAK,EAAwB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;gBAC7E,SAAS,EAAE,GAAyB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;aAClE,CAAC,CACH,CAAA;QACH,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAW,CAAC,CAAC,CAAA;QAC/F,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAW,CAAC,CAAC,CAAA;QAC/D,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAW,CAAC,CAAA;IAC1D,CAAC;AACH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAClB,GAAoD,EACpD,KAAuD,EACvD,MAAoD,EACpD,KAAa,EACb,OAAuB,EAIG,EAAE;IAC5B,MAAM,IAAI,GAAG,CACX,eAAiC,EACjC,MAAiD,EACN,EAAE,CAC7C,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAC3D,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,YAAY,uBAAuB;QACtC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,uBAAuB,CAAC;YAC5B,KAAK;YACL,eAAe;YACf,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,mBAAmB,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,gDAAgD;SACvG,CAAC,CACL,CACF,CAAA;IACH,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAA;QAC/D,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;QACnF,KAAK,MAAM;YACT,OAAO,IAAI,CACT,MAAM,EACN,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CACpB,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACvB,KAAK,CAAC,IAAI,KAAK,UAAU;gBACvB,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3E,CAAC,CAAC,MAAM,CAAC,IAAI,CACX,IAAI,uBAAuB,CAAC;oBAC1B,KAAK;oBACL,eAAe,EAAE,MAAM;oBACvB,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE,0EAA0E;iBACpF,CAAC,CACH,CACJ,CACF,CACF,CAAA;QACH,KAAK,OAAO;YACV,OAAO,IAAI,CACT,OAAO,EACP,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,SAAS,GAAyD,EAAE,CAAA;gBAC1E,OAAO,IAAI,EAAE,CAAC;oBACZ,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;oBACtC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;wBACzB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,uBAAuB,CAAC;4BAC1B,KAAK;4BACL,eAAe,EAAE,OAAO;4BACxB,MAAM,EAAE,OAAO;4BACf,OAAO,EAAE,oFAAoF;yBAC9F,CAAC,CACH,CAAA;oBACH,CAAC;oBACD,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;oBAC9B,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACrC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAA;oBAChD,CAAC;gBACH,CAAC;YACH,CAAC,CAAC,CACH,CAAA;IACL,CAAC;AACH,CAAC,CAAA;AAED,MAAM,oBAAoB,GAAG,CAC3B,KAA8B,EAC9B,OAAsD,EACD,EAAE;IACvD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;gBAC3D,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CACnB,KAAK,YAAY,OAAO,CAAC,YAAY;oBACnC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CACvB,MAAM,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC1B,QAAQ,CAAC,MAAM,KAAK,SAAS;wBAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAW,CAAC;wBAC1D,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAc,CAAC,CAChC,CACF;oBACD,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAc,CAAC;gBACjC,SAAS,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAW,CAAC;aAC9E,CAAC,CAAA;QACJ,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAW,CAAC,CAAC,CAAA;QAC/F,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAW,CAAC,CAAC,CAAA;QACrE,KAAK,YAAY;YACf,OAAO,MAAM,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,YAAY,EAAW,CAAC,CAAA;IAC1D,CAAC;AACH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAClB,GAAoD,EACpD,MAA0C,EAC1C,KAAa,EACb,OAAuB,EAIG,EAAE;IAC5B,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC3B,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;IACjF,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAC/B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAqC,CAAA;QAC3E,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CACrB,MAAM,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,EACrF,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EACtD,MAAM,CAAC,UAAU,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAC9C,CAAA;QACD,MAAM,OAAO,GAAyD,EAAE,CAAA;QACxE,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACxC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,IAAI,CACvB,IAAI,uBAAuB,CAAC;oBAC1B,KAAK;oBACL,eAAe,EAAE,OAAO;oBACxB,MAAM,EAAE,OAAO;oBACf,OAAO,EAAE,mFAAmF;iBAC7F,CAAC,CACH,CAAA;YACH,CAAC;YACD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;YAC5B,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC;gBAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAA;QACpF,CAAC;IACH,CAAC,CAAC,CACH,CAAA;IAED,OAAO,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CACvE,MAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,EAAE,EAAE,CACxB,KAAK,YAAY,uBAAuB;QACtC,CAAC,CAAC,KAAK;QACP,CAAC,CAAC,IAAI,uBAAuB,CAAC;YAC5B,KAAK;YACL,eAAe,EAAE,OAAO;YACxB,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE,mBAAmB,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,4CAA4C;SACnG,CAAC,CACL,CACF,CAAA;AACH,CAAC,CAAA;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAejC,GAAoD,EACpD,QAAyC,EACzC,OAcC,EAcD,EAAE,CACF,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACrC,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,UAAU,CAAA;IACnE,MAAM,wBAAwB,GAAG,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAA;IACtE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC,IAAI,wBAAwB,GAAG,CAAC,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,KAAK,CAAC,kGAAkG,CAAC,CAC9G,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,SAAS,EAAqC,CAAA;IAC3E,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,IAAI,EAAQ,CAAA;IAC1C,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CACrB,MAAM,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC7B,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,CACvD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,EAClD,MAAM,CAAC,MAAM,CACd,CACF,EACD,MAAM,CAAC,QAAQ,CACb,QAAQ,CAAC,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,IAAI,CACrC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,EACrD,MAAM,CAAC,MAAM,CACd,CACF,EACD,MAAM,CAAC,UAAU,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAC9C,CAAA;IACD,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5B,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC/C,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAA;IAC9F,MAAM,OAAO,GAAwF,EAAE,CAAA;IACvG,IAAI,KAAK,GAAG,OAAO,CAAC,YAAY,CAAA;IAChC,IAAI,gBAAgB,GAAG,OAAO,CAAA;IAC9B,IAAI,sBAAsB,GAAG,KAAK,CAAA;IAElC,MAAM,OAAO,GAAG,CAAgB,OAM/B,EAIC,EAAE,CACF,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAC1D,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAA2B,CAAC;QAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CACX,WAAW,CAAkE;YAC3E,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,KAAK;YACL,MAAM,EAAE,OAAO;YACf,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC;SAC7E,CAAC,CACH,CAAC,CAAA;IAER,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAE,CAAA;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAC1B,KAAK,EAAE,OAAO;YACd,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC;SACxD,CAAC,CAAA;QACF,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAClB,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAC5B,KAAK,EAAE,WAAW;YAClB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,EAAE,OAAO,CAAC;SAC3C,CAAC,CAAA;QACF,MAAM,0BAA0B,GAQ5B;YACF,KAAK;YACL,OAAO;YACP,KAAK;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM,EAAE;gBACN,MAAM;gBACN,QAAQ,EAAE,SAAS;gBACnB,SAAS,EAAE,EAAE;gBACb,SAAS,EAAE,SAAS;aACrB;SACF,CAAA;QACD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAClC,KAAK,EAAE,aAAa;YACpB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,kBAAkB,CAAC;YACpF,SAAS,EAAE,0BAA0B;SACtC,CAAC,CAAA;QACF,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,KAAK,SAAS,IAAI,YAAY,CAAC,QAAQ,CAAC,MAAM,KAAK,QAAQ,CAAA;QACjG,MAAM,qBAAqB,GAAY,sBAAsB,CAAA;QAC7D,QAAQ,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;YAC9B,KAAK,MAAM;gBACT,IACE,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM;oBACrD,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC;oBAC3D,sBAAsB,GAAG,IAAI,CAAA;gBAC/B,MAAK;YACP,KAAK,MAAM;gBACT,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS;oBAAE,gBAAgB,GAAG,YAAY,CAAC,QAAQ,CAAA;gBACjF,sBAAsB,GAAG,QAAQ;oBAC/B,CAAC,CAAC,KAAK;oBACP,CAAC,CAAC,qBAAqB,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;wBACnD,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC,CAAA;gBAC/D,MAAK;YACP,KAAK,OAAO;gBACV,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS;oBAAE,gBAAgB,GAAG,YAAY,CAAC,QAAQ,CAAA;gBACjF,sBAAsB,GAAG,KAAK,CAAA;gBAC9B,MAAK;YACP,KAAK,SAAS;gBACZ,IAAI,QAAQ;oBAAE,sBAAsB,GAAG,KAAK,CAAA;gBAC5C,IAAI,CAAC,sBAAsB,IAAI,YAAY,CAAC,QAAQ,KAAK,SAAS;oBAAE,gBAAgB,GAAG,YAAY,CAAC,QAAQ,CAAA;gBAC5G,MAAK;QACT,CAAC;QACD,MAAM,iBAAiB,GAA0D;YAC/E,KAAK;YACL,OAAO;YACP,MAAM;YACN,GAAG;YACH,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,SAAS,EAAE,YAAY,CAAC,SAAS;SAClC,CAAA;QACD,MAAM,yBAAyB,GAQ3B;YACF,GAAG,0BAA0B;YAC7B,MAAM,EAAE;gBACN,MAAM;gBACN,QAAQ,EAAE,YAAY,CAAC,QAAQ;gBAC/B,SAAS,EAAE,YAAY,CAAC,SAAS;gBACjC,SAAS,EAAE,SAAS;aACrB;SACF,CAAA;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,KAAK,SAAS;YAC7C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;gBACf,KAAK,EAAE,YAAY;gBACnB,KAAK;gBACL,OAAO;gBACP,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAQ,CAAC,iBAAiB,CAAC;gBACjD,SAAS,EAAE,yBAAyB;aACrC,CAAC,CAAA;QACJ,MAAM,MAAM,GAAyD;YACnE,MAAM;YACN,QAAQ,EAAE,YAAY,CAAC,QAAQ;YAC/B,SAAS,EAAE,YAAY,CAAC,SAAS;YACjC,SAAS;SACV,CAAA;QACD,MAAM,MAAM,GAAiF;YAC3F,KAAK;YACL,OAAO;YACP,KAAK;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM;SACP,CAAA;QACD,KAAK,CAAC,CAAC,OAAO,CAAC;YACb,KAAK,EAAE,WAAW;YAClB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CACX,OAAO,CAAC,MAAM,CAAC;gBACb,GAAG,iBAAiB;gBACpB,KAAK;gBACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM;aACP,CAAC;YACJ,SAAS,EAAE,MAAM;SAClB,CAAC,CAAA;QACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACtB,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,OAAO;QACP,OAAO;QACP,UAAU,EAAE,KAAK;QACjB,KAAK,EAAE,gBAAgB;QACvB,YAAY,EAAE,CAAC,sBAAsB;KACtC,CAAA;AACH,CAAC,CAAC,CACH,CAAA;AAEH;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAA+B,mBAAmB,CAAA;AAEjF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAc/B,KAA8B,EAC9B,QAAiE,EACjE,OAaC,EAaD,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACrC,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,UAAU,CAAA;IACnE,MAAM,wBAAwB,GAAG,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,CAAC,CAAA;IACtE,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,wBAAwB,CAAC,IAAI,wBAAwB,GAAG,CAAC,EAAE,CAAC;QAC/E,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,GAAG,CACtB,IAAI,KAAK,CAAC,gGAAgG,CAAC,CAC5G,CAAA;IACH,CAAC;IAED,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAA;IACzC,MAAM,OAAO,GAAmF,EAAE,CAAA;IAClG,IAAI,KAAK,GAAG,OAAO,CAAC,YAAY,CAAA;IAChC,IAAI,KAAK,GAAG,OAAO,CAAA;IAEnB,MAAM,OAAO,GAAG,CAAgB,cAM/B,EAIC,EAAE,CACF,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CACjE,KAAK,CAAC,iBAAiB,CAAC,KAAK,CAAC;QAC5B,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,KAA2B,CAAC;QAC/C,CAAC,CAAC,MAAM,CAAC,IAAI,CACX,IAAI,2BAA2B,CAAC;YAC9B,KAAK,EAAE,cAAc,CAAC,KAAK;YAC3B,KAAK,EAAE,cAAc,CAAC,KAAK;YAC3B,OAAO,EAAE,cAAc,CAAC,OAAO;YAC/B,KAAK;YACL,MAAM,EAAE,OAAO,CAAC,KAAK,EAAE;YACvB,SAAS,EAAE,cAAc,CAAC,SAAS;SACpC,CAAC,CACH,CAAC,CAAA;IAER,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAE,CAAA;QAChC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAC1B,KAAK,EAAE,OAAO;YACd,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC;SACxD,CAAC,CAAA;QACF,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAElB,MAAM,wBAAwB,GAO1B;YACF,KAAK;YACL,OAAO;YACP,KAAK;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM,EAAE,SAAS;YACjB,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,SAAS;SACrB,CAAA;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YAC5B,KAAK,EAAE,WAAW;YAClB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,oBAAoB,CAAC,KAAK,EAAE,OAAO,CAAC;YAClD,SAAS,EAAE,wBAAwB;SACpC,CAAC,CAAA;QACF,MAAM,uBAAuB,GAOzB;YACF,GAAG,wBAAwB;YAC3B,MAAM;SACP,CAAA;QAED,MAAM,WAAW,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;YACjC,KAAK,EAAE,aAAa;YACpB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,kBAAkB,CAAC;YAC/F,SAAS,EAAE,uBAAuB;SACnC,CAAC,CAAA;QACF,KAAK,GAAG,WAAW,CAAC,QAAQ,CAAA;QAC5B,MAAM,iBAAiB,GAAqD;YAC1E,KAAK;YACL,OAAO;YACP,MAAM;YACN,KAAK;YACL,GAAG,EAAE,KAAK,CAAC,GAAG;YACd,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,OAAO,EAAE,WAAW,CAAC,OAAO;SAC7B,CAAA;QACD,MAAM,yBAAyB,GAO3B;YACF,GAAG,uBAAuB;YAC1B,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,OAAO,EAAE,WAAW,CAAC,OAAO;SAC7B,CAAA;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,KAAK,SAAS;YAC7C,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;gBACf,KAAK,EAAE,YAAY;gBACnB,KAAK;gBACL,OAAO;gBACP,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,CAAC,OAAQ,CAAC,iBAAiB,CAAC;gBACjD,SAAS,EAAE,yBAAyB;aACrC,CAAC,CAAA;QACJ,MAAM,MAAM,GAA2D;YACrE,MAAM;YACN,QAAQ,EAAE,WAAW,CAAC,QAAQ;YAC9B,OAAO,EAAE,WAAW,CAAC,OAAO;YAC5B,SAAS;SACV,CAAA;QACD,MAAM,MAAM,GAA4E;YACtF,KAAK;YACL,OAAO;YACP,KAAK;YACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,MAAM;SACP,CAAA;QACD,KAAK,CAAC,CAAC,OAAO,CAAC;YACb,KAAK,EAAE,WAAW;YAClB,KAAK;YACL,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,CACX,OAAO,CAAC,MAAM,CAAC;gBACb,GAAG,iBAAiB;gBACpB,KAAK;gBACL,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,MAAM;aACP,CAAC;YACJ,SAAS,EAAE;gBACT,GAAG,yBAAyB;gBAC5B,SAAS;aACV;SACF,CAAC,CAAA;QACF,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACtB,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,QAAQ;QAClB,OAAO;QACP,OAAO;QACP,UAAU,EAAE,KAAK;QACjB,KAAK;KACN,CAAA;AACH,CAAC,CAAC,CAAA;AAEJ;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAA8B,EAC9B,QAAiE,EACjE,OAAoD,EAapD,EAAE,CACF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE;QAC3D,YAAY,EAAE,SAAS;QACvB,GAAG,CAAC,OAAO,CAAC,kBAAkB,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,EAAE,CAAC;QACvG,UAAU,EAAE,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,CACrC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;YACjB,KAAK,EAAE,SAAS;YAChB,QAAQ,EAAE,SAAS;YACnB,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;SAC5F,CAAC,CAAC;QACL,MAAM,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI;KAC1B,CAAC,CAAA;IACF,MAAM,QAAQ,GAAmD;QAC/D,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAC7F,KAAK,EAAE,UAAU,CAAC,KAAK;KACxB,CAAA;IACD,KAAK,CAAC,CAAC,uBAAuB,CAAC,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;IAC3E,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAC,CAAA;AA4CJ,MAAM,qBAAqB,GAAG,CAAC,IAAmC,EAAE,KAAa,EAAQ,EAAE;IACzF,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,wCAAwC,IAAI,oCAAoC,CAAC,CAAA;IACnG,CAAC;AACH,CAAC,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAU,EACV,UAAqC,EAAE,EACnB,EAAE;IACtB,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,CAAA;IAC5C,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,EAAE,CAAA;IAC7C,qBAAqB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAA;IACjD,qBAAqB,CAAC,aAAa,EAAE,WAAW,CAAC,CAAA;IACjD,IAAI,WAAW,GAAG,WAAW,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,0FAA0F,CAAC,CAAA;IAC7G,CAAC;IAED,MAAM,OAAO,GAAiC,EAAE,CAAA;IAChD,MAAM,gBAAgB,GAAG,OAAO,CAAC,cAAc,KAAK,SAAS;QAC3D,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE;YAC9B,MAAM,OAAO,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAA;YAC7C,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YAC5B,OAAO,OAAO,CAAC,KAA2D,CAAA;QAC5E,CAAC,CAAC;QACF,CAAC,CAAC,EAAE,CAAA;IACN,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;QAC7E,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,SAAS,CAAC,KAAK,CACf,GAAG,gBAGF,CACF,CAAC,CAAA;IACJ,MAAM,kBAAkB,GAA8E,EAAE,CAAA;IACxG,IAAI,cAAc,KAAK,SAAS;QAAE,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAA;IAE1F,IAAI,OAAO,CAAC,cAAc,KAAK,KAAK,EAAE,CAAC;QACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAA;QACnF,kBAAkB,CAAC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAA;IAC/D,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,KAAK,KAAK;QAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC,CAAA;IAC7F,IAAI,OAAO,CAAC,iBAAiB,KAAK,KAAK;QAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAA;IACzG,kBAAkB,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAA;IAC5D,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,2FAA2F,CAAC,CAAA;QAC9G,CAAC;QACD,OAAO;YACL,SAAS,EAAE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjC,WAAW,EAAE;gBACX,MAAM,EAAE,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;gBAC7G,aAAa,EAAE,OAAO;gBACtB,eAAe,EAAE,KAAK;gBACtB,YAAY,EAAE,KAAK;gBACnB,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAA;IACH,CAAC;IAED,OAAO;QACL,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,kBAAkB,CAAC,EAAE;YACjE,SAAS,EAAE,WAAW;YACtB,SAAS,EAAE,WAAW;SACvB,CAAC;QACF,WAAW,EAAE;YACX,MAAM,EAAE,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;YAC7G,aAAa,EAAE,OAAO;YACtB,eAAe,EAAE,OAAO,CAAC,cAAc,KAAK,KAAK;YACjD,YAAY,EAAE,OAAO,CAAC,WAAW,KAAK,KAAK;YAC3C,kBAAkB,EAAE,OAAO,CAAC,iBAAiB,KAAK,KAAK;SACxD;KACF,CAAA;AACH,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,KAEiE,EACzD,EAAE;IACV,MAAM,OAAO,GAAG,KAAK,YAAY,qBAAqB,CAAA;IACtD,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAA;IACtD,MAAM,KAAK,GAAG;QACZ,aACE,WAAW,CAAC,eAAe,CACzB,OAAO,CAAC,CAAC;YACP;gBACE,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;gBAC/C,KAAK,CAAC,OAAO;aACd,CAAC,CAAC;YACH,KAAK,CAAC,QAAQ,EAChB,CAAC,CAEL,EAAE;KACH,CAAA;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,WAAW,MAAM,CAAC,KAAK,aAAa,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;YACnF,SAAS,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG;YACxD,YAAY,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;YAC9D,UAAU,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG;YACjE,YAAY,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;YACrE,aAAa,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG;YACvE,aAAa,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CACzE,CAAA;IACH,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CACR,aAAa,KAAK,CAAC,SAAS,CAAC,KAAK,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;gBACvG,SAAS,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG;gBACjE,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;gBACvE,UAAU,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG;gBAC1E,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;gBAC9E,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,GAAG;gBAChF,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAClF,CAAA;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CACR,kBAAkB,KAAK,CAAC,KAAK,UAAU,KAAK,CAAC,KAAK,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;YAC5G,SAAS,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CACzD,CAAA;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CACR,uBAAuB,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAC5G,CAAA;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAoC,wBAAwB,CAAA;AAEhG;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,KAEkE,EAC1D,EAAE;IACV,MAAM,OAAO,GAAG,KAAK,YAAY,2BAA2B,CAAA;IAC5D,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAA;IACtD,MAAM,KAAK,GAAG;QACZ,aACE,WAAW,CAAC,eAAe,CACzB,OAAO;YACL,CAAC,CAAC;gBACA,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC;gBAC/C,KAAK,CAAC,OAAO;aACd;YACD,CAAC,CAAC,KAAK,CAAC,QAAQ,EAClB,CAAC,CAEL,EAAE;KACH,CAAA;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CACR,WAAW,MAAM,CAAC,KAAK,aAAa,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;YACnF,SAAS,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG;YACxD,YAAY,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;YAC9D,UAAU,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG;YACjE,YAAY,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;YACrE,WAAW,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;YACnE,aAAa,WAAW,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CACzE,CAAA;IACH,CAAC;IACD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CACR,aAAa,KAAK,CAAC,SAAS,CAAC,KAAK,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;gBACvG,SAAS,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG;gBACjE,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;gBACvE,UAAU,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG;gBACnE,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,GAAG;gBACvE,WAAW,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;gBACrE,aAAa,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,CAC3E,CAAA;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CACR,kBAAkB,KAAK,CAAC,KAAK,UAAU,KAAK,CAAC,KAAK,YAAY,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG;YAC5G,SAAS,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CACzD,CAAA;IACH,CAAC;SAAM,CAAC;QACN,KAAK,CAAC,IAAI,CAAC,mBAAmB,WAAW,CAAC,eAAe,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC,CAAA"}
@@ -0,0 +1,32 @@
1
+ /**
2
+ * User-defined semantic invariants over retained causal runtime evidence.
3
+ *
4
+ * @since 0.4.0
5
+ */
6
+ import * as Effect from "effect/Effect";
7
+ import * as Machine from "../../../Machine.js";
8
+ import type { CausalRuntimeEvidence, PlannerRuntimeAgreementViolation, RuntimeInvariant, RuntimeInvariantBuilder, RuntimeInvariantReport, RuntimeInvariantTranscript, RuntimeInvariantViolation } from "../../../testing/MachineTest.js";
9
+ type AnyMachine = Machine.Machine.Any;
10
+ export declare const runtimeInvariants: <M extends AnyMachine>(_machine: M) => RuntimeInvariantBuilder<M>;
11
+ declare const RuntimeInvariantError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
12
+ readonly _tag: "MachineTestRuntimeInvariantError";
13
+ } & Readonly<A>;
14
+ export declare class RuntimeInvariantError<M extends AnyMachine = AnyMachine> extends RuntimeInvariantError_base<{
15
+ readonly transcript: RuntimeInvariantTranscript<M>;
16
+ readonly violations: ReadonlyArray<RuntimeInvariantViolation<M>>;
17
+ readonly report: RuntimeInvariantReport;
18
+ }> {
19
+ }
20
+ export declare const checkRuntimeInvariants: <M extends AnyMachine, Error, Output>(machine: M, evidence: CausalRuntimeEvidence<M, Error, Output>, invariants: ReadonlyArray<RuntimeInvariant<M>>) => Effect.Effect<RuntimeInvariantReport, RuntimeInvariantError<M>>;
21
+ export declare const assertRuntimeInvariants: <M extends AnyMachine, Error, Output>(machine: M, transcript: CausalRuntimeEvidence<M, Error, Output>, invariants: ReadonlyArray<RuntimeInvariant<M>>) => Effect.Effect<void, RuntimeInvariantError<M>>;
22
+ declare const PlannerRuntimeAgreementError_base: new <A extends Record<string, any> = {}>(args: import("effect/Types").VoidIfEmpty<{ readonly [P in keyof A as P extends "_tag" ? never : P]: A[P]; }>) => import("effect/Cause").YieldableError & {
23
+ readonly _tag: "MachineTestPlannerRuntimeAgreementError";
24
+ } & Readonly<A>;
25
+ export declare class PlannerRuntimeAgreementError<M extends AnyMachine = AnyMachine> extends PlannerRuntimeAgreementError_base<{
26
+ readonly evidence: CausalRuntimeEvidence<M, unknown, unknown>;
27
+ readonly violations: ReadonlyArray<PlannerRuntimeAgreementViolation<M>>;
28
+ }> {
29
+ }
30
+ export declare const assertPlannerRuntimeAgreement: <M extends AnyMachine, Error, Output>(machine: M, evidence: CausalRuntimeEvidence<M, Error, Output>) => Effect.Effect<void, PlannerRuntimeAgreementError<M>>;
31
+ export {};
32
+ //# sourceMappingURL=runtimeInvariant.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"runtimeInvariant.d.ts","sourceRoot":"","sources":["../../../../src/internal/testing/machine/runtimeInvariant.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAA;AAEvC,OAAO,KAAK,OAAO,MAAM,qBAAqB,CAAA;AAC9C,OAAO,KAAK,EACV,qBAAqB,EAGrB,gCAAgC,EAGhC,gBAAgB,EAChB,uBAAuB,EAGvB,sBAAsB,EAEtB,0BAA0B,EAC1B,yBAAyB,EAO1B,MAAM,iCAAiC,CAAA;AAExC,KAAK,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAA;AAgErC,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,UAAU,EAAE,UAAU,CAAC,KAAG,uBAAuB,CAAC,CAAC,CAK3F,CAAA;;;;AAEJ,qBAAa,qBAAqB,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,CAAE,SAAQ,2BAE5E;IACA,QAAQ,CAAC,UAAU,EAAE,0BAA0B,CAAC,CAAC,CAAC,CAAA;IAClD,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,yBAAyB,CAAC,CAAC,CAAC,CAAC,CAAA;IAChE,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAA;CACxC,CAAC;CAAG;AAsLL,eAAO,MAAM,sBAAsB,GAAI,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM,EACxE,SAAS,CAAC,EACV,UAAU,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,EACjD,YAAY,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,sBAAsB,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAqB7D,CAAA;AAEJ,eAAO,MAAM,uBAAuB,GAAI,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM,EACzE,SAAS,CAAC,EACV,YAAY,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,EACnD,YAAY,aAAa,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,KAC7C,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,CAC8B,CAAA;;;;AAE7E,qBAAa,4BAA4B,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,CAAE,SAAQ,kCAEnF;IACA,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IAC7D,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC,gCAAgC,CAAC,CAAC,CAAC,CAAC,CAAA;CACxE,CAAC;CAAG;AAqFL,eAAO,MAAM,6BAA6B,GAAI,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,MAAM,EAC/E,SAAS,CAAC,EACV,UAAU,qBAAqB,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAChD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,4BAA4B,CAAC,CAAC,CAAC,CAkElD,CAAA"}