@overkill-dev/engine 0.0.14 → 0.0.16

package/diff/diff-shape.d.ts

@@ -7,9 +7,13 @@ type IndexPathSegment = {
     readonly index: number;
     readonly kind: 'index';
 };
-type MapPathSegment = {
+type MapKeyPathSegment = {
     readonly key: SerializedValue;
-    readonly kind: 'map-key' | 'map-value';
+    readonly kind: 'map-key';
+};
+type MapValuePathSegment = {
+    readonly key: SerializedValue;
+    readonly kind: 'map-value';
 };
 type PropertyPathSegment = {
     readonly key: SerializedPropertyKey;
@@ -20,6 +24,7 @@ type SetValuePathSegment = {
     readonly value: SerializedValue;
 };
 type IndexedPathSegment = BytePathSegment | IndexPathSegment;
+type MapPathSegment = MapKeyPathSegment | MapValuePathSegment;
 type KeyedPathSegment = MapPathSegment | PropertyPathSegment | SetValuePathSegment;
 export type DiffPathSegment = IndexedPathSegment | KeyedPathSegment;
 type ReplaceOperation = {

package/diff/diff-shape.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"diff-shape.d.ts","sourceRoot":"","sources":["../../../../source/diff/diff-shape.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAE7F,KAAK,eAAe,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,KAAK,gBAAgB,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,KAAK,cAAc,GAAG;IAClB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,WAAW,CAAC;CAC1C,CAAC;AAEF,KAAK,mBAAmB,GAAG;IACvB,QAAQ,CAAC,GAAG,EAAE,qBAAqB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC7B,CAAC;AAEF,KAAK,mBAAmB,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,kBAAkB,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAE7D,KAAK,gBAAgB,GAAG,cAAc,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAEnF,MAAM,MAAM,eAAe,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;AAEpE,KAAK,gBAAgB,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;CAChC,CAAC;AAEF,KAAK,YAAY,GAAG;IAChB,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,eAAe,GAAG;IACnB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,wBAAwB,GAAG;IAC5B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,qBAAqB,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,2BAA2B,GAAG;IAC/B,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,qBAAqB,GAAG;IACzB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,sBAAsB,GAAG;IAC1B,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,sBAAsB,GAAG,2BAA2B,GAAG,qBAAqB,CAAC;AAElF,MAAM,MAAM,kBAAkB,GAAG,YAAY,GAAG,sBAAsB,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAE5G,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,qBAAqB,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAEzG,MAAM,MAAM,mBAAmB,GAAG,YAAY,GAAG,wBAAwB,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAE/G,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,sBAAsB,GAAG,eAAe,CAAC;AAEvF,MAAM,MAAM,aAAa,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IACf,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC,CAAC;AAEF,KAAK,SAAS,GAAG;IACb,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACtD,CAAC;AAEF,KAAK,UAAU,GAAG;IACd,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C,CAAC;AAEF,KAAK,OAAO,GAAG;IACX,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACpD,CAAC;AAEF,KAAK,UAAU,GAAG;IACd,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACvD,CAAC;AAEF,KAAK,OAAO,GAAG;IACX,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACpD,CAAC;AAEF,KAAK,UAAU,GAAG;IACd,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,KAAK,SAAS,GAAG;IACb,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,GAAG,UAAU,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC"}
+{"version":3,"file":"diff-shape.d.ts","sourceRoot":"","sources":["../../../../source/diff/diff-shape.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,qBAAqB,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAE7F,KAAK,eAAe,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,KAAK,gBAAgB,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,KAAK,iBAAiB,GAAG;IACrB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;CAC5B,CAAC;AAEF,KAAK,mBAAmB,GAAG;IACvB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;CAC9B,CAAC;AAEF,KAAK,mBAAmB,GAAG;IACvB,QAAQ,CAAC,GAAG,EAAE,qBAAqB,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;CAC7B,CAAC;AAEF,KAAK,mBAAmB,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,kBAAkB,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAE7D,KAAK,cAAc,GAAG,iBAAiB,GAAG,mBAAmB,CAAC;AAE9D,KAAK,gBAAgB,GAAG,cAAc,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;AAEnF,MAAM,MAAM,eAAe,GAAG,kBAAkB,GAAG,gBAAgB,CAAC;AAEpE,KAAK,gBAAgB,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC;CAChC,CAAC;AAEF,KAAK,YAAY,GAAG;IAChB,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,eAAe,GAAG;IACnB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,wBAAwB,GAAG;IAC5B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,eAAe,EAAE,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,qBAAqB,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,2BAA2B,GAAG;IAC/B,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,qBAAqB,GAAG;IACzB,QAAQ,CAAC,GAAG,EAAE,eAAe,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,sBAAsB,GAAG;IAC1B,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACnC,CAAC;AAEF,KAAK,sBAAsB,GAAG,2BAA2B,GAAG,qBAAqB,CAAC;AAElF,MAAM,MAAM,kBAAkB,GAAG,YAAY,GAAG,sBAAsB,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAE5G,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,qBAAqB,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAEzG,MAAM,MAAM,mBAAmB,GAAG,YAAY,GAAG,wBAAwB,GAAG,eAAe,GAAG,gBAAgB,CAAC;AAE/G,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,sBAAsB,GAAG,eAAe,CAAC;AAEvF,MAAM,MAAM,aAAa,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IACf,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACvC,CAAC;AAEF,KAAK,SAAS,GAAG;IACb,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,kBAAkB,EAAE,CAAC;CACtD,CAAC;AAEF,KAAK,UAAU,GAAG;IACd,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,SAAS,aAAa,EAAE,CAAC;CAC7C,CAAC;AAEF,KAAK,OAAO,GAAG;IACX,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACpD,CAAC;AAEF,KAAK,UAAU,GAAG;IACd,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACvD,CAAC;AAEF,KAAK,OAAO,GAAG;IACX,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,SAAS,gBAAgB,EAAE,CAAC;CACpD,CAAC;AAEF,KAAK,UAAU,GAAG;IACd,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,KAAK,SAAS,GAAG;IACb,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG,SAAS,GAAG,UAAU,GAAG,OAAO,GAAG,UAAU,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,CAAC"}

package/engine/assertion-recorder.js

@@ -0,0 +1,242 @@
+import { assertionPasses } from "../assertion-protocol/evaluation.js";
+export class RequireFailedSignalError extends Error {
+    constructor() {
+        super('Requirement failed.');
+        this.name = 'RequireFailedSignalError';
+    }
+}
+export class TestContractSignalError extends Error {
+    contractFailure;
+    constructor(failure, options) {
+        super(failure.summary, options);
+        this.name = 'TestContractSignalError';
+        this.contractFailure = failure;
+    }
+    failure() {
+        return this.contractFailure;
+    }
+}
+export function assertNonEmptyItems(items, message) {
+    if (items.length === 0) {
+        throw new TypeError(message);
+    }
+}
+function createNoAssertionsFailure() {
+    return {
+        actual: 0,
+        code: 'no-assertions',
+        expected: 'at least one assertion',
+        kind: 'test-contract',
+        summary: 'Expected at least one assertion.'
+    };
+}
+function createInvalidPlanFailure(actual) {
+    return {
+        actual,
+        code: 'invalid-plan',
+        expected: 'positive integer plan before assertions',
+        kind: 'test-contract',
+        summary: 'Assertion plan must be a positive integer before assertions.'
+    };
+}
+function createPlanMismatchFailure(actual, expected) {
+    return {
+        actual,
+        code: 'plan-mismatch',
+        expected: String(expected),
+        kind: 'test-contract',
+        summary: 'Assertion plan count did not match.'
+    };
+}
+function createDeadBuilderAssertionFailure() {
+    return {
+        actual: 'missing recorded builder assertion',
+        code: 'dead-builder-assertion',
+        expected: 'returned assertions include every recorded builder assertion',
+        kind: 'test-contract',
+        summary: 'Returned assertions must include every recorded builder assertion.'
+    };
+}
+function createPendingAsyncAssertionFailure() {
+    return {
+        actual: 'pending async assertion',
+        code: 'pending-async-assertion',
+        expected: 'all async assertions awaited before collect',
+        kind: 'test-contract',
+        summary: 'Async assertion must be awaited before scope.assert.collect().'
+    };
+}
+export function isTestContractFailure(value) {
+    return !Array.isArray(value);
+}
+function isAssertionNode(assertionResult) {
+    return !Array.isArray(assertionResult);
+}
+function normalizeAssertionResult(assertionResult) {
+    const assertions = isAssertionNode(assertionResult) ? [assertionResult] : assertionResult;
+    assertNonEmptyItems(assertions, 'Expected returned assertions to be non-empty.');
+    return assertions;
+}
+function builderAssertionsInReturnedOrder(builderAssertions, returnedAssertions) {
+    let returnedIndex = 0;
+    return builderAssertions.every(function builderAssertionReturned(builderAssertion) {
+        while (returnedIndex < returnedAssertions.length) {
+            const returnedAssertion = returnedAssertions[returnedIndex];
+            returnedIndex += 1;
+            if (returnedAssertion === builderAssertion) {
+                return true;
+            }
+        }
+        return false;
+    });
+}
+function recordContainsBuilderAssertion(recorded, builderAssertion) {
+    return recorded?.builderAssertion === builderAssertion;
+}
+function requireAssertionFromRecord(recorded) {
+    if (recorded?.assertion?.source === 'require') {
+        return recorded.assertion;
+    }
+    return null;
+}
+function requireAssertionsFromRecord(recorded) {
+    const requireAssertion = requireAssertionFromRecord(recorded);
+    if (requireAssertion !== null) {
+        return [requireAssertion];
+    }
+    return [];
+}
+function appendRecordedRequiresBeforeBuilderAssertion(recordedAssertions, recordIndex, builderAssertion) {
+    let nextRecordIndex = recordIndex;
+    const assertions = [];
+    while (nextRecordIndex < recordedAssertions.length) {
+        const recorded = recordedAssertions[nextRecordIndex];
+        if (recordContainsBuilderAssertion(recorded, builderAssertion)) {
+            return { assertions, recordIndex: nextRecordIndex + 1 };
+        }
+        assertions.push(...requireAssertionsFromRecord(recorded));
+        nextRecordIndex += 1;
+    }
+    return { assertions, recordIndex: nextRecordIndex };
+}
+function appendRemainingRecordedRequires(recordedAssertions, recordIndex) {
+    const assertions = [];
+    for (const recorded of recordedAssertions.slice(recordIndex)) {
+        if (recorded.assertion?.source === 'require') {
+            assertions.push(recorded.assertion);
+        }
+    }
+    return assertions;
+}
+function mergeRecordedRequires(recordedAssertions, returnedAssertions) {
+    const mergedAssertions = [];
+    let recordIndex = 0;
+    for (const returnedAssertion of returnedAssertions) {
+        const step = appendRecordedRequiresBeforeBuilderAssertion(recordedAssertions, recordIndex, returnedAssertion);
+        recordIndex = step.recordIndex;
+        mergedAssertions.push(...step.assertions, returnedAssertion);
+    }
+    mergedAssertions.push(...appendRemainingRecordedRequires(recordedAssertions, recordIndex));
+    return mergedAssertions;
+}
+export function createAssertionRecorder() {
+    const builderAssertions = [];
+    const recordedAssertions = [];
+    let failedRequireIndex = null;
+    let plannedCount = null;
+    function activeRecords() {
+        if (failedRequireIndex === null) {
+            return recordedAssertions;
+        }
+        return recordedAssertions.slice(0, failedRequireIndex + 1);
+    }
+    function pendingAssertionExists() {
+        return builderAssertions.includes(null);
+    }
+    function ensurePlanAllowed(count) {
+        if (!Number.isSafeInteger(count) || count <= 0 || plannedCount !== null || recordedAssertions.length > 0) {
+            throw new TestContractSignalError(createInvalidPlanFailure(count), undefined);
+        }
+    }
+    function collect() {
+        if (builderAssertions.length === 0) {
+            throw new TestContractSignalError(createNoAssertionsFailure(), undefined);
+        }
+        if (pendingAssertionExists()) {
+            throw new TestContractSignalError(createPendingAsyncAssertionFailure(), undefined);
+        }
+        const resolvedAssertions = builderAssertions.filter(function resolvedAssertion(assertion) {
+            return assertion !== null;
+        });
+        assertNonEmptyItems(resolvedAssertions, 'Expected builder assertions to be non-empty.');
+        return resolvedAssertions;
+    }
+    function validateReturnedAssertions(assertions) {
+        if (pendingAssertionExists()) {
+            return createPendingAsyncAssertionFailure();
+        }
+        const resolvedAssertions = builderAssertions.filter(function resolvedAssertion(assertion) {
+            return assertion !== null;
+        });
+        if (!builderAssertionsInReturnedOrder(resolvedAssertions, assertions)) {
+            return createDeadBuilderAssertionFailure();
+        }
+        return null;
+    }
+    return {
+        activeRecordedAssertions() {
+            return activeRecords().flatMap(function toAssertion(recorded) {
+                return recorded.assertion === null ? [] : [recorded.assertion];
+            });
+        },
+        collect,
+        failContract(failure) {
+            throw new TestContractSignalError(failure, undefined);
+        },
+        plan(count) {
+            ensurePlanAllowed(count);
+            plannedCount = count;
+        },
+        recordAssert(assertion) {
+            builderAssertions.push(assertion);
+            recordedAssertions.push({ assertion, builderAssertion: assertion });
+        },
+        recordPendingAssert() {
+            const builderIndex = builderAssertions.length;
+            const recordIndex = recordedAssertions.length;
+            builderAssertions.push(null);
+            recordedAssertions.push({ assertion: null, builderAssertion: null });
+            return {
+                resolve(assertion) {
+                    builderAssertions[builderIndex] = assertion;
+                    recordedAssertions[recordIndex] = { assertion, builderAssertion: assertion };
+                }
+            };
+        },
+        recordRequire(assertion) {
+            recordedAssertions.push({ assertion, builderAssertion: null });
+            if (!assertionPasses(assertion)) {
+                failedRequireIndex = recordedAssertions.length - 1;
+                throw new RequireFailedSignalError();
+            }
+        },
+        requireFailed() {
+            return failedRequireIndex !== null;
+        },
+        returnedAssertions(assertionResult) {
+            const assertions = normalizeAssertionResult(assertionResult);
+            const contractFailure = validateReturnedAssertions(assertions);
+            if (contractFailure !== null) {
+                return contractFailure;
+            }
+            return mergeRecordedRequires(activeRecords(), assertions);
+        },
+        validateAssertionCount(reachedAssertionCount) {
+            if (plannedCount !== null && plannedCount !== reachedAssertionCount) {
+                return createPlanMismatchFailure(reachedAssertionCount, plannedCount);
+            }
+            return null;
+        }
+    };
+}
+//# sourceMappingURL=assertion-recorder.js.map

package/engine/assertion-recorder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"assertion-recorder.js","sourceRoot":"","sources":["../../../../source/engine/assertion-recorder.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,eAAe,EAClB,MAAM,qCAAqC,CAAC;AAqC7C,MAAM,OAAO,wBAAyB,SAAQ,KAAK;IAC/C;QACI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IAC3C,CAAC;CACJ;AAED,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAC7B,eAAe,CAAsB;IAEtD,YAAmB,OAA4B,EAAE,OAA2C;QACxF,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC;IACnC,CAAC;IAEM,OAAO;QACV,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;CACJ;AAED,MAAM,UAAU,mBAAmB,CAC/B,KAAsB,EACtB,OAAe;IAEf,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB;IAC9B,OAAO;QACH,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,wBAAwB;QAClC,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,kCAAkC;KAC9C,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAe;IAC7C,OAAO;QACH,MAAM;QACN,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,yCAAyC;QACnD,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,8DAA8D;KAC1E,CAAC;AACN,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAc,EAAE,QAAgB;IAC/D,OAAO;QACH,MAAM;QACN,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;QAC1B,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,qCAAqC;KACjD,CAAC;AACN,CAAC;AAED,SAAS,iCAAiC;IACtC,OAAO;QACH,MAAM,EAAE,oCAAoC;QAC5C,IAAI,EAAE,wBAAwB;QAC9B,QAAQ,EAAE,8DAA8D;QACxE,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,oEAAoE;KAChF,CAAC;AACN,CAAC;AAED,SAAS,kCAAkC;IACvC,OAAO;QACH,MAAM,EAAE,yBAAyB;QACjC,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,6CAA6C;QACvD,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,gEAAgE;KAC5E,CAAC;AACN,CAAC;AAED,MAAM,UAAU,qBAAqB,CACjC,KAAqD;IAErD,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,eAAe,CAAC,eAAgC;IACrD,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,wBAAwB,CAAC,eAAgC;IAC9D,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAE,eAAe,CAAE,CAAC,CAAC,CAAC,eAAe,CAAC;IAE5F,mBAAmB,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAC;IAEjF,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,gCAAgC,CACrC,iBAAiD,EACjD,kBAAkD;IAElD,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,OAAO,iBAAiB,CAAC,KAAK,CAAC,SAAS,wBAAwB,CAAC,gBAAgB;QAC7E,OAAO,aAAa,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC/C,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAC;YAC5D,aAAa,IAAI,CAAC,CAAC;YAEnB,IAAI,iBAAiB,KAAK,gBAAgB,EAAE,CAAC;gBACzC,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,8BAA8B,CACnC,QAAuC,EACvC,gBAAqC;IAErC,OAAO,QAAQ,EAAE,gBAAgB,KAAK,gBAAgB,CAAC;AAC3D,CAAC;AAED,SAAS,0BAA0B,CAAC,QAAuC;IACvE,IAAI,QAAQ,EAAE,SAAS,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,QAAQ,CAAC,SAAS,CAAC;IAC9B,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAuC;IACxE,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IAE9D,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,CAAE,gBAAgB,CAAE,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,CAAC;AACd,CAAC;AAED,SAAS,4CAA4C,CACjD,kBAAgD,EAChD,WAAmB,EACnB,gBAAqC;IAErC,IAAI,eAAe,GAAG,WAAW,CAAC;IAClC,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,OAAO,eAAe,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,eAAe,CAAC,CAAC;QAErD,IAAI,8BAA8B,CAAC,QAAQ,EAAE,gBAAgB,CAAC,EAAE,CAAC;YAC7D,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,GAAG,CAAC,EAAE,CAAC;QAC5D,CAAC;QAED,UAAU,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;QAE1D,eAAe,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,+BAA+B,CACpC,kBAAgD,EAChD,WAAmB;IAEnB,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3D,IAAI,QAAQ,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,qBAAqB,CAC1B,kBAAgD,EAChD,kBAAkD;IAElD,MAAM,gBAAgB,GAAoB,EAAE,CAAC;IAC7C,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,4CAA4C,CACrD,kBAAkB,EAClB,WAAW,EACX,iBAAiB,CACpB,CAAC;QACF,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QAC/B,gBAAgB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACjE,CAAC;IAED,gBAAgB,CAAC,IAAI,CAAC,GAAG,+BAA+B,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC,CAAC;IAE3F,OAAO,gBAAgB,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,uBAAuB;IACnC,MAAM,iBAAiB,GAAmC,EAAE,CAAC;IAC7D,MAAM,kBAAkB,GAAwB,EAAE,CAAC;IACnD,IAAI,kBAAkB,GAAkB,IAAI,CAAC;IAC7C,IAAI,YAAY,GAAkB,IAAI,CAAC;IAEvC,SAAS,aAAa;QAClB,IAAI,kBAAkB,KAAK,IAAI,EAAE,CAAC;YAC9B,OAAO,kBAAkB,CAAC;QAC9B,CAAC;QAED,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,GAAG,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,SAAS,sBAAsB;QAC3B,OAAO,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC;IAED,SAAS,iBAAiB,CAAC,KAAa;QACpC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,YAAY,KAAK,IAAI,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvG,MAAM,IAAI,uBAAuB,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;QAClF,CAAC;IACL,CAAC;IAED,SAAS,OAAO;QACZ,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,uBAAuB,CAAC,yBAAyB,EAAE,EAAE,SAAS,CAAC,CAAC;QAC9E,CAAC;QAED,IAAI,sBAAsB,EAAE,EAAE,CAAC;YAC3B,MAAM,IAAI,uBAAuB,CAAC,kCAAkC,EAAE,EAAE,SAAS,CAAC,CAAC;QACvF,CAAC;QAED,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,MAAM,CAAC,SAAS,iBAAiB,CAC1E,SAAS;YAET,OAAO,SAAS,KAAK,IAAI,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,mBAAmB,CAAC,kBAAkB,EAAE,8CAA8C,CAAC,CAAC;QAExF,OAAO,kBAAkB,CAAC;IAC9B,CAAC;IAED,SAAS,0BAA0B,CAAC,UAA0C;QAC1E,IAAI,sBAAsB,EAAE,EAAE,CAAC;YAC3B,OAAO,kCAAkC,EAAE,CAAC;QAChD,CAAC;QAED,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,MAAM,CAAC,SAAS,iBAAiB,CAC1E,SAAS;YAET,OAAO,SAAS,KAAK,IAAI,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gCAAgC,CAAC,kBAAkB,EAAE,UAAU,CAAC,EAAE,CAAC;YACpE,OAAO,iCAAiC,EAAE,CAAC;QAC/C,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO;QACH,wBAAwB;YACpB,OAAO,aAAa,EAAE,CAAC,OAAO,CAAC,SAAS,WAAW,CAAC,QAAQ;gBACxD,OAAO,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,QAAQ,CAAC,SAAS,CAAE,CAAC;YACrE,CAAC,CAAC,CAAC;QACP,CAAC;QAED,OAAO;QAEP,YAAY,CAAC,OAAO;YAChB,MAAM,IAAI,uBAAuB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC1D,CAAC;QAED,IAAI,CAAC,KAAK;YACN,iBAAiB,CAAC,KAAK,CAAC,CAAC;YACzB,YAAY,GAAG,KAAK,CAAC;QACzB,CAAC;QAED,YAAY,CAAC,SAAS;YAClB,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAClC,kBAAkB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,CAAC;QACxE,CAAC;QAED,mBAAmB;YACf,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC;YAC9C,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,CAAC;YAE9C,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,kBAAkB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;YAErE,OAAO;gBACH,OAAO,CAAC,SAAS;oBACb,iBAAiB,CAAC,YAAY,CAAC,GAAG,SAAS,CAAC;oBAC5C,kBAAkB,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;gBACjF,CAAC;aACJ,CAAC;QACN,CAAC;QAED,aAAa,CAAC,SAAS;YACnB,kBAAkB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/D,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC9B,kBAAkB,GAAG,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;gBACnD,MAAM,IAAI,wBAAwB,EAAE,CAAC;YACzC,CAAC;QACL,CAAC;QAED,aAAa;YACT,OAAO,kBAAkB,KAAK,IAAI,CAAC;QACvC,CAAC;QAED,kBAAkB,CAAC,eAAe;YAC9B,MAAM,UAAU,GAAG,wBAAwB,CAAC,eAAe,CAAC,CAAC;YAC7D,MAAM,eAAe,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;YAE/D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;gBAC3B,OAAO,eAAe,CAAC;YAC3B,CAAC;YAED,OAAO,qBAAqB,CAAC,aAAa,EAAE,EAAE,UAAU,CAAC,CAAC;QAC9D,CAAC;QAED,sBAAsB,CAAC,qBAAqB;YACxC,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,qBAAqB,EAAE,CAAC;gBAClE,OAAO,yBAAyB,CAAC,qBAAqB,EAAE,YAAY,CAAC,CAAC;YAC1E,CAAC;YAED,OAAO,IAAI,CAAC;QAChB,CAAC;KACJ,CAAC;AACN,CAAC"}

package/engine/case-execution.js

@@ -1,248 +1,9 @@
-import { assertionPasses, evaluateAssertion, invalidDeepAssertionOperand } from "../assertion-protocol/evaluation.js";
+import { evaluateAssertion, invalidDeepAssertionOperand } from "../assertion-protocol/evaluation.js";
 import { createThrownErrorRecord } from "../assertion-protocol/thrown-error-record.js";
+import { assertNonEmptyItems, createAssertionRecorder, isTestContractFailure, RequireFailedSignalError, TestContractSignalError } from "./assertion-recorder.js";
 import { createRecordingAssertFacade } from "./assertion-facade.js";
 import { createRecordingRequireFacade } from "./require-assertion-facade.js";
 import { invalidDeepAssertionOperandFailure, verdictFromOutcome } from "./run-result.js";
-class RequireFailedSignalError extends Error {
-    constructor() {
-        super('Requirement failed.');
-        this.name = 'RequireFailedSignalError';
-    }
-}
-class TestContractSignalError extends Error {
-    contractFailure;
-    constructor(failure, options) {
-        super(failure.summary, options);
-        this.name = 'TestContractSignalError';
-        this.contractFailure = failure;
-    }
-    failure() {
-        return this.contractFailure;
-    }
-}
-function assertNonEmptyItems(items, message) {
-    if (items.length === 0) {
-        throw new TypeError(message);
-    }
-}
-function createNoAssertionsFailure() {
-    return {
-        actual: 0,
-        code: 'no-assertions',
-        expected: 'at least one assertion',
-        kind: 'test-contract',
-        summary: 'Expected at least one assertion.'
-    };
-}
-function createInvalidPlanFailure(actual) {
-    return {
-        actual,
-        code: 'invalid-plan',
-        expected: 'positive integer plan before assertions',
-        kind: 'test-contract',
-        summary: 'Assertion plan must be a positive integer before assertions.'
-    };
-}
-function createPlanMismatchFailure(actual, expected) {
-    return {
-        actual,
-        code: 'plan-mismatch',
-        expected: String(expected),
-        kind: 'test-contract',
-        summary: 'Assertion plan count did not match.'
-    };
-}
-function createDeadBuilderAssertionFailure() {
-    return {
-        actual: 'missing recorded builder assertion',
-        code: 'dead-builder-assertion',
-        expected: 'returned assertions include every recorded builder assertion',
-        kind: 'test-contract',
-        summary: 'Returned assertions must include every recorded builder assertion.'
-    };
-}
-function createPendingAsyncAssertionFailure() {
-    return {
-        actual: 'pending async assertion',
-        code: 'pending-async-assertion',
-        expected: 'all async assertions awaited before collect',
-        kind: 'test-contract',
-        summary: 'Async assertion must be awaited before scope.assert.collect().'
-    };
-}
-function isTestContractFailure(value) {
-    return !Array.isArray(value);
-}
-function isAssertionNode(assertionResult) {
-    return !Array.isArray(assertionResult);
-}
-function normalizeAssertionResult(assertionResult) {
-    const assertions = isAssertionNode(assertionResult) ? [assertionResult] : assertionResult;
-    assertNonEmptyItems(assertions, 'Expected returned assertions to be non-empty.');
-    return assertions;
-}
-function builderAssertionsInReturnedOrder(builderAssertions, returnedAssertions) {
-    let returnedIndex = 0;
-    return builderAssertions.every(function builderAssertionReturned(builderAssertion) {
-        while (returnedIndex < returnedAssertions.length) {
-            const returnedAssertion = returnedAssertions[returnedIndex];
-            returnedIndex += 1;
-            if (returnedAssertion === builderAssertion) {
-                return true;
-            }
-        }
-        return false;
-    });
-}
-function recordContainsBuilderAssertion(recorded, builderAssertion) {
-    return recorded?.builderAssertion === builderAssertion;
-}
-function requireAssertionFromRecord(recorded) {
-    if (recorded?.assertion?.source === 'require') {
-        return recorded.assertion;
-    }
-    return null;
-}
-function requireAssertionsFromRecord(recorded) {
-    const requireAssertion = requireAssertionFromRecord(recorded);
-    if (requireAssertion !== null) {
-        return [requireAssertion];
-    }
-    return [];
-}
-function appendRecordedRequiresBeforeBuilderAssertion(recordedAssertions, recordIndex, builderAssertion) {
-    let nextRecordIndex = recordIndex;
-    const assertions = [];
-    while (nextRecordIndex < recordedAssertions.length) {
-        const recorded = recordedAssertions[nextRecordIndex];
-        if (recordContainsBuilderAssertion(recorded, builderAssertion)) {
-            return { assertions, recordIndex: nextRecordIndex + 1 };
-        }
-        assertions.push(...requireAssertionsFromRecord(recorded));
-        nextRecordIndex += 1;
-    }
-    return { assertions, recordIndex: nextRecordIndex };
-}
-function appendRemainingRecordedRequires(recordedAssertions, recordIndex) {
-    const assertions = [];
-    for (const recorded of recordedAssertions.slice(recordIndex)) {
-        if (recorded.assertion?.source === 'require') {
-            assertions.push(recorded.assertion);
-        }
-    }
-    return assertions;
-}
-function mergeRecordedRequires(recordedAssertions, returnedAssertions) {
-    const mergedAssertions = [];
-    let recordIndex = 0;
-    for (const returnedAssertion of returnedAssertions) {
-        const step = appendRecordedRequiresBeforeBuilderAssertion(recordedAssertions, recordIndex, returnedAssertion);
-        recordIndex = step.recordIndex;
-        mergedAssertions.push(...step.assertions, returnedAssertion);
-    }
-    mergedAssertions.push(...appendRemainingRecordedRequires(recordedAssertions, recordIndex));
-    return mergedAssertions;
-}
-function createAssertionRecorder() {
-    const builderAssertions = [];
-    const recordedAssertions = [];
-    let failedRequireIndex = null;
-    let plannedCount = null;
-    function activeRecords() {
-        if (failedRequireIndex === null) {
-            return recordedAssertions;
-        }
-        return recordedAssertions.slice(0, failedRequireIndex + 1);
-    }
-    function pendingAssertionExists() {
-        return builderAssertions.includes(null);
-    }
-    function ensurePlanAllowed(count) {
-        if (!Number.isSafeInteger(count) || count <= 0 || plannedCount !== null || recordedAssertions.length > 0) {
-            throw new TestContractSignalError(createInvalidPlanFailure(count), undefined);
-        }
-    }
-    function collect() {
-        if (builderAssertions.length === 0) {
-            throw new TestContractSignalError(createNoAssertionsFailure(), undefined);
-        }
-        if (pendingAssertionExists()) {
-            throw new TestContractSignalError(createPendingAsyncAssertionFailure(), undefined);
-        }
-        const resolvedAssertions = builderAssertions.filter(function resolvedAssertion(assertion) {
-            return assertion !== null;
-        });
-        assertNonEmptyItems(resolvedAssertions, 'Expected builder assertions to be non-empty.');
-        return resolvedAssertions;
-    }
-    function validateReturnedAssertions(assertions) {
-        if (pendingAssertionExists()) {
-            return createPendingAsyncAssertionFailure();
-        }
-        const resolvedAssertions = builderAssertions.filter(function resolvedAssertion(assertion) {
-            return assertion !== null;
-        });
-        if (!builderAssertionsInReturnedOrder(resolvedAssertions, assertions)) {
-            return createDeadBuilderAssertionFailure();
-        }
-        return null;
-    }
-    return {
-        activeRecordedAssertions() {
-            return activeRecords().flatMap(function toAssertion(recorded) {
-                return recorded.assertion === null ? [] : [recorded.assertion];
-            });
-        },
-        collect,
-        failContract(failure) {
-            throw new TestContractSignalError(failure, undefined);
-        },
-        plan(count) {
-            ensurePlanAllowed(count);
-            plannedCount = count;
-        },
-        recordAssert(assertion) {
-            builderAssertions.push(assertion);
-            recordedAssertions.push({ assertion, builderAssertion: assertion });
-        },
-        recordPendingAssert() {
-            const builderIndex = builderAssertions.length;
-            const recordIndex = recordedAssertions.length;
-            builderAssertions.push(null);
-            recordedAssertions.push({ assertion: null, builderAssertion: null });
-            return {
-                resolve(assertion) {
-                    builderAssertions[builderIndex] = assertion;
-                    recordedAssertions[recordIndex] = { assertion, builderAssertion: assertion };
-                }
-            };
-        },
-        recordRequire(assertion) {
-            recordedAssertions.push({ assertion, builderAssertion: null });
-            if (!assertionPasses(assertion)) {
-                failedRequireIndex = recordedAssertions.length - 1;
-                throw new RequireFailedSignalError();
-            }
-        },
-        requireFailed() {
-            return failedRequireIndex !== null;
-        },
-        returnedAssertions(assertionResult) {
-            const assertions = normalizeAssertionResult(assertionResult);
-            const contractFailure = validateReturnedAssertions(assertions);
-            if (contractFailure !== null) {
-                return contractFailure;
-            }
-            return mergeRecordedRequires(activeRecords(), assertions);
-        },
-        validateAssertionCount(reachedAssertionCount) {
-            if (plannedCount !== null && plannedCount !== reachedAssertionCount) {
-                return createPlanMismatchFailure(reachedAssertionCount, plannedCount);
-            }
-            return null;
-        }
-    };
-}
 function evaluatedAssertionFailure(assertions) {
     const checks = assertions.flatMap(function evaluateRecordedAssertion(assertion, index) {
         const failedCheck = evaluateAssertion(assertion, index + 1);
@@ -269,7 +30,7 @@ function assertionContractFailure(assertions) {
 function assertionFailure(assertions) {
     return assertionContractFailure(assertions) ?? evaluatedAssertionFailure(assertions);
 }
-function createTestScope(recorder) {
+function createTestScope(recorder, signal) {
     const assertContext = Object.assign(createRecordingAssertFacade({
         failContract(failure) {
             return recorder.failContract(failure);
@@ -297,7 +58,8 @@ function createTestScope(recorder) {
             recordRequire(assertion) {
                 recorder.recordRequire(assertion);
             }
-        }, null)
+        }, null),
+        signal
     };
 }
 function requireFailedBody(recorder) {
@@ -346,9 +108,9 @@ function failedBody(recorder, error) {
         ? contractFailedBody(recorder, error.failure())
         : bodyErrorResult(recorder, error);
 }
-async function runCaseBody(testCase, recorder) {
+async function runCaseBody(testCase, recorder, options) {
     try {
-        return completedBody(recorder, await testCase.body(createTestScope(recorder)));
+        return completedBody(recorder, await testCase.body(createTestScope(recorder, options.signal)));
     }
     catch (error) {
         return failedBody(recorder, error);
@@ -390,10 +152,32 @@ function createOutcome(recorder, executedBody) {
         kind: 'fail'
     };
 }
-export async function runTestCase(testCase, wallClock) {
+function defaultRunTestCaseOptions() {
+    const controller = new AbortController();
+    return {
+        signal: controller.signal
+    };
+}
+export function timeoutFailure(deadlineMilliseconds, elapsedMilliseconds) {
+    return {
+        deadlineMilliseconds,
+        elapsedMilliseconds,
+        kind: 'timeout'
+    };
+}
+export function invalidTimeoutMetadataFailure(actual, expected) {
+    return {
+        actual,
+        code: 'invalid-timeout-metadata',
+        expected,
+        kind: 'test-contract',
+        summary: 'Timeout metadata must be a positive safe integer within the hard timeout.'
+    };
+}
+export async function runTestCase(testCase, wallClock, options = defaultRunTestCaseOptions()) {
     const recorder = createAssertionRecorder();
     const startedAt = wallClock.currentTimestampInMilliseconds;
-    const executedBody = await runCaseBody(testCase, recorder);
+    const executedBody = await runCaseBody(testCase, recorder, options);
     const outcome = createOutcome(recorder, executedBody);
     const verdict = verdictFromOutcome(outcome);
     return {

package/engine/case-execution.js.map

@@ -1 +1 @@
-{"version":3,"file":"case-execution.js","sourceRoot":"","sources":["../../../../source/engine/case-execution.ts"],"names":[],"mappings":"AACA,OAAO,EACH,eAAe,EACf,iBAAiB,EACjB,2BAA2B,EAC9B,MAAM,qCAAqC,CAAC;AAQ7C,OAAO,EAAE,uBAAuB,EAA0B,MAAM,8CAA8C,CAAC;AAC/G,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAC7E,OAAO,EAKH,kCAAkC,EAClC,kBAAkB,EACrB,MAAM,iBAAiB,CAAC;AA6CzB,MAAM,wBAAyB,SAAQ,KAAK;IACxC;QACI,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI,GAAG,0BAA0B,CAAC;IAC3C,CAAC;CACJ;AAED,MAAM,uBAAwB,SAAQ,KAAK;IACtB,eAAe,CAAsB;IAEtD,YAAmB,OAA4B,EAAE,OAA2C;QACxF,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;QACtC,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC;IACnC,CAAC;IAEM,OAAO;QACV,OAAO,IAAI,CAAC,eAAe,CAAC;IAChC,CAAC;CACJ;AAED,SAAS,mBAAmB,CACxB,KAAsB,EACtB,OAAe;IAEf,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC;AACL,CAAC;AAED,SAAS,yBAAyB;IAC9B,OAAO;QACH,MAAM,EAAE,CAAC;QACT,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,wBAAwB;QAClC,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,kCAAkC;KAC9C,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAC,MAAe;IAC7C,OAAO;QACH,MAAM;QACN,IAAI,EAAE,cAAc;QACpB,QAAQ,EAAE,yCAAyC;QACnD,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,8DAA8D;KAC1E,CAAC;AACN,CAAC;AAED,SAAS,yBAAyB,CAAC,MAAc,EAAE,QAAgB;IAC/D,OAAO;QACH,MAAM;QACN,IAAI,EAAE,eAAe;QACrB,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC;QAC1B,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,qCAAqC;KACjD,CAAC;AACN,CAAC;AAED,SAAS,iCAAiC;IACtC,OAAO;QACH,MAAM,EAAE,oCAAoC;QAC5C,IAAI,EAAE,wBAAwB;QAC9B,QAAQ,EAAE,8DAA8D;QACxE,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,oEAAoE;KAChF,CAAC;AACN,CAAC;AAED,SAAS,kCAAkC;IACvC,OAAO;QACH,MAAM,EAAE,yBAAyB;QACjC,IAAI,EAAE,yBAAyB;QAC/B,QAAQ,EAAE,6CAA6C;QACvD,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,gEAAgE;KAC5E,CAAC;AACN,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAqD;IAChF,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,eAAe,CAAC,eAAgC;IACrD,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,wBAAwB,CAAC,eAAgC;IAC9D,MAAM,UAAU,GAAG,eAAe,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAE,eAAe,CAAE,CAAC,CAAC,CAAC,eAAe,CAAC;IAE5F,mBAAmB,CAAC,UAAU,EAAE,+CAA+C,CAAC,CAAC;IAEjF,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,gCAAgC,CACrC,iBAAiD,EACjD,kBAAkD;IAElD,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,OAAO,iBAAiB,CAAC,KAAK,CAAC,SAAS,wBAAwB,CAAC,gBAAgB;QAC7E,OAAO,aAAa,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC;YAC/C,MAAM,iBAAiB,GAAG,kBAAkB,CAAC,aAAa,CAAC,CAAC;YAC5D,aAAa,IAAI,CAAC,CAAC;YAEnB,IAAI,iBAAiB,KAAK,gBAAgB,EAAE,CAAC;gBACzC,OAAO,IAAI,CAAC;YAChB,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACjB,CAAC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,8BAA8B,CACnC,QAAuC,EACvC,gBAAqC;IAErC,OAAO,QAAQ,EAAE,gBAAgB,KAAK,gBAAgB,CAAC;AAC3D,CAAC;AAED,SAAS,0BAA0B,CAAC,QAAuC;IACvE,IAAI,QAAQ,EAAE,SAAS,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;QAC5C,OAAO,QAAQ,CAAC,SAAS,CAAC;IAC9B,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,2BAA2B,CAAC,QAAuC;IACxE,MAAM,gBAAgB,GAAG,0BAA0B,CAAC,QAAQ,CAAC,CAAC;IAE9D,IAAI,gBAAgB,KAAK,IAAI,EAAE,CAAC;QAC5B,OAAO,CAAE,gBAAgB,CAAE,CAAC;IAChC,CAAC;IAED,OAAO,EAAE,CAAC;AACd,CAAC;AAED,SAAS,4CAA4C,CACjD,kBAAgD,EAChD,WAAmB,EACnB,gBAAqC;IAErC,IAAI,eAAe,GAAG,WAAW,CAAC;IAClC,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,OAAO,eAAe,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC;QACjD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,eAAe,CAAC,CAAC;QAErD,IAAI,8BAA8B,CAAC,QAAQ,EAAE,gBAAgB,CAAC,EAAE,CAAC;YAC7D,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,GAAG,CAAC,EAAE,CAAC;QAC5D,CAAC;QAED,UAAU,CAAC,IAAI,CAAC,GAAG,2BAA2B,CAAC,QAAQ,CAAC,CAAC,CAAC;QAE1D,eAAe,IAAI,CAAC,CAAC;IACzB,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,+BAA+B,CACpC,kBAAgD,EAChD,WAAmB;IAEnB,MAAM,UAAU,GAAoB,EAAE,CAAC;IAEvC,KAAK,MAAM,QAAQ,IAAI,kBAAkB,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3D,IAAI,QAAQ,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS,EAAE,CAAC;YAC3C,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACxC,CAAC;IACL,CAAC;IAED,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,qBAAqB,CAC1B,kBAAgD,EAChD,kBAAkD;IAElD,MAAM,gBAAgB,GAAoB,EAAE,CAAC;IAC7C,IAAI,WAAW,GAAG,CAAC,CAAC;IAEpB,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,4CAA4C,CACrD,kBAAkB,EAClB,WAAW,EACX,iBAAiB,CACpB,CAAC;QACF,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC;QAC/B,gBAAgB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAC;IACjE,CAAC;IAED,gBAAgB,CAAC,IAAI,CAAC,GAAG,+BAA+B,CAAC,kBAAkB,EAAE,WAAW,CAAC,CAAC,CAAC;IAE3F,OAAO,gBAAgB,CAAC;AAC5B,CAAC;AAED,SAAS,uBAAuB;IAC5B,MAAM,iBAAiB,GAAmC,EAAE,CAAC;IAC7D,MAAM,kBAAkB,GAAwB,EAAE,CAAC;IACnD,IAAI,kBAAkB,GAAkB,IAAI,CAAC;IAC7C,IAAI,YAAY,GAAkB,IAAI,CAAC;IAEvC,SAAS,aAAa;QAClB,IAAI,kBAAkB,KAAK,IAAI,EAAE,CAAC;YAC9B,OAAO,kBAAkB,CAAC;QAC9B,CAAC;QAED,OAAO,kBAAkB,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,GAAG,CAAC,CAAC,CAAC;IAC/D,CAAC;IAED,SAAS,sBAAsB;QAC3B,OAAO,iBAAiB,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC;IAED,SAAS,iBAAiB,CAAC,KAAa;QACpC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,YAAY,KAAK,IAAI,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvG,MAAM,IAAI,uBAAuB,CAAC,wBAAwB,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,CAAC;QAClF,CAAC;IACL,CAAC;IAED,SAAS,OAAO;QACZ,IAAI,iBAAiB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,uBAAuB,CAAC,yBAAyB,EAAE,EAAE,SAAS,CAAC,CAAC;QAC9E,CAAC;QAED,IAAI,sBAAsB,EAAE,EAAE,CAAC;YAC3B,MAAM,IAAI,uBAAuB,CAAC,kCAAkC,EAAE,EAAE,SAAS,CAAC,CAAC;QACvF,CAAC;QAED,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,MAAM,CAAC,SAAS,iBAAiB,CAC1E,SAAS;YAET,OAAO,SAAS,KAAK,IAAI,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,mBAAmB,CAAC,kBAAkB,EAAE,8CAA8C,CAAC,CAAC;QAExF,OAAO,kBAAkB,CAAC;IAC9B,CAAC;IAED,SAAS,0BAA0B,CAAC,UAA0C;QAC1E,IAAI,sBAAsB,EAAE,EAAE,CAAC;YAC3B,OAAO,kCAAkC,EAAE,CAAC;QAChD,CAAC;QAED,MAAM,kBAAkB,GAAG,iBAAiB,CAAC,MAAM,CAAC,SAAS,iBAAiB,CAC1E,SAAS;YAET,OAAO,SAAS,KAAK,IAAI,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gCAAgC,CAAC,kBAAkB,EAAE,UAAU,CAAC,EAAE,CAAC;YACpE,OAAO,iCAAiC,EAAE,CAAC;QAC/C,CAAC;QAED,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO;QACH,wBAAwB;YACpB,OAAO,aAAa,EAAE,CAAC,OAAO,CAAC,SAAS,WAAW,CAAC,QAAQ;gBACxD,OAAO,QAAQ,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,QAAQ,CAAC,SAAS,CAAE,CAAC;YACrE,CAAC,CAAC,CAAC;QACP,CAAC;QAED,OAAO;QAEP,YAAY,CAAC,OAAO;YAChB,MAAM,IAAI,uBAAuB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC1D,CAAC;QAED,IAAI,CAAC,KAAK;YACN,iBAAiB,CAAC,KAAK,CAAC,CAAC;YACzB,YAAY,GAAG,KAAK,CAAC;QACzB,CAAC;QAED,YAAY,CAAC,SAAS;YAClB,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAClC,kBAAkB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,CAAC;QACxE,CAAC;QAED,mBAAmB;YACf,MAAM,YAAY,GAAG,iBAAiB,CAAC,MAAM,CAAC;YAC9C,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,CAAC;YAE9C,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,kBAAkB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;YAErE,OAAO;gBACH,OAAO,CAAC,SAAS;oBACb,iBAAiB,CAAC,YAAY,CAAC,GAAG,SAAS,CAAC;oBAC5C,kBAAkB,CAAC,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC;gBACjF,CAAC;aACJ,CAAC;QACN,CAAC;QAED,aAAa,CAAC,SAAS;YACnB,kBAAkB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC;YAE/D,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC9B,kBAAkB,GAAG,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;gBACnD,MAAM,IAAI,wBAAwB,EAAE,CAAC;YACzC,CAAC;QACL,CAAC;QAED,aAAa;YACT,OAAO,kBAAkB,KAAK,IAAI,CAAC;QACvC,CAAC;QAED,kBAAkB,CAAC,eAAe;YAC9B,MAAM,UAAU,GAAG,wBAAwB,CAAC,eAAe,CAAC,CAAC;YAC7D,MAAM,eAAe,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;YAE/D,IAAI,eAAe,KAAK,IAAI,EAAE,CAAC;gBAC3B,OAAO,eAAe,CAAC;YAC3B,CAAC;YAED,OAAO,qBAAqB,CAAC,aAAa,EAAE,EAAE,UAAU,CAAC,CAAC;QAC9D,CAAC;QAED,sBAAsB,CAAC,qBAAqB;YACxC,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,qBAAqB,EAAE,CAAC;gBAClE,OAAO,yBAAyB,CAAC,qBAAqB,EAAE,YAAY,CAAC,CAAC;YAC1E,CAAC;YAED,OAAO,IAAI,CAAC;QAChB,CAAC;KACJ,CAAC;AACN,CAAC;AAED,SAAS,yBAAyB,CAAC,UAAoC;IACnE,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,SAAS,yBAAyB,CAAC,SAAS,EAAE,KAAK;QACjF,MAAM,WAAW,GAAG,iBAAiB,CAAC,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAE5D,OAAO,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,WAAW,CAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,mBAAmB,CAAC,MAAM,EAAE,yCAAyC,CAAC,CAAC;IAEvE,OAAO;QACH,MAAM;QACN,IAAI,EAAE,WAAW;KACpB,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAoC;IAClE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;QAEvD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,kCAAkC,CAAC,OAAO,CAAC,CAAC;QACvD,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAoC;IAC1D,OAAO,wBAAwB,CAAC,UAAU,CAAC,IAAI,yBAAyB,CAAC,UAAU,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,eAAe,CAAC,QAA2B;IAChD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAC/B,2BAA2B,CACvB;QACI,YAAY,CAAC,OAAO;YAChB,OAAO,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,YAAY,CAAC,SAAS;YAClB,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;QACD,mBAAmB;YACf,OAAO,QAAQ,CAAC,mBAAmB,EAAE,CAAC;QAC1C,CAAC;KACJ,EACD,IAAI,CACP,EACD;QACI,OAAO;YACH,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC9B,CAAC;KACJ,CACJ,CAAC;IAEF,OAAO;QACH,MAAM,EAAE,aAAa;QACrB,IAAI,CAAC,KAAK;YACN,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,EAAE,4BAA4B,CACjC;YACI,YAAY,CAAC,OAAO;gBAChB,OAAO,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,aAAa,CAAC,SAAS;gBACnB,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACtC,CAAC;SACJ,EACD,IAAI,CACP;KACJ,CAAC;AACN,CAAC;AAED,SAAS,iBAAiB,CAAC,QAA2B;IAClD,OAAO;QACH,SAAS,EAAE,IAAI;QACf,eAAe,EAAE,IAAI;QACrB,aAAa,EAAE,IAAI;QACnB,kBAAkB,EAAE,QAAQ,CAAC,wBAAwB,EAAE;KAC1D,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA2B,EAAE,eAAoC;IACzF,OAAO;QACH,SAAS,EAAE,IAAI;QACf,eAAe;QACf,aAAa,EAAE,KAAK;QACpB,kBAAkB,EAAE,QAAQ,CAAC,wBAAwB,EAAE;KAC1D,CAAC;AACN,CAAC;AAED,SAAS,eAAe,CAAC,QAA2B,EAAE,KAAc;IAChE,OAAO;QACH,SAAS,EAAE,uBAAuB,CAAC,KAAK,CAAC;QACzC,eAAe,EAAE,IAAI;QACrB,aAAa,EAAE,KAAK;QACpB,kBAAkB,EAAE,QAAQ,CAAC,wBAAwB,EAAE;KAC1D,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAAC,QAA2B,EAAE,eAAgC;IAChF,IAAI,QAAQ,CAAC,aAAa,EAAE,EAAE,CAAC;QAC3B,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,kBAAkB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IAExE,OAAO,qBAAqB,CAAC,kBAAkB,CAAC;QAC5C,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,kBAAkB,CAAC;QAClD,CAAC,CAAC;YACE,SAAS,EAAE,IAAI;YACf,eAAe,EAAE,IAAI;YACrB,aAAa,EAAE,KAAK;YACpB,kBAAkB;SACrB,CAAC;AACV,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,KAAc;IAC3D,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;QAC5C,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,KAAK,YAAY,uBAAuB;QAC3C,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAC/C,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,QAAsB,EAAE,QAA2B;IAC1E,IAAI,CAAC;QACD,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,OAAO,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,YAA0B;IAC3C,IAAI,YAAY,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,YAAY,CAAC,eAAe,CAAC;IACxC,CAAC;IAED,IAAI,YAAY,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAClC,OAAO;YACH,KAAK,EAAE,YAAY,CAAC,SAAS;YAC7B,IAAI,EAAE,YAAY;SACrB,CAAC;IACN,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,QAA2B,EAAE,YAA0B;IACxE,IAAI,YAAY,CAAC,aAAa,IAAI,YAAY,CAAC,eAAe,KAAK,IAAI,IAAI,YAAY,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACzG,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,QAAQ,CAAC,sBAAsB,CAAC,YAAY,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,aAAa,CAAC,QAA2B,EAAE,YAA0B;IAC1E,MAAM,QAAQ,GAAG;QACb,gBAAgB,CAAC,YAAY,CAAC,kBAAkB,CAAC;QACjD,WAAW,CAAC,YAAY,CAAC;QACzB,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC;KACtC;SACI,MAAM,CAAC,SAAS,aAAa,CAAC,OAAO;QAClC,OAAO,OAAO,KAAK,IAAI,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEP,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;IAED,mBAAmB,CAAC,QAAQ,EAAE,yCAAyC,CAAC,CAAC;IAEzE,OAAO;QACH,QAAQ;QACR,IAAI,EAAE,MAAM;KACf,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,QAAsB,EAAE,SAAoB;IAC1E,MAAM,QAAQ,GAAG,uBAAuB,EAAE,CAAC;IAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,8BAA8B,CAAC;IAE3D,MAAM,YAAY,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC3D,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAE5C,OAAO;QACH,MAAM,EAAE;YACJ,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,OAAO;YACP,OAAO;SACV;QACD,UAAU,EAAE,SAAS,CAAC,8BAA8B,GAAG,SAAS;KACnE,CAAC;AACN,CAAC"}
+{"version":3,"file":"case-execution.js","sourceRoot":"","sources":["../../../../source/engine/case-execution.ts"],"names":[],"mappings":"AACA,OAAO,EACH,iBAAiB,EACjB,2BAA2B,EAC9B,MAAM,qCAAqC,CAAC;AAE7C,OAAO,EAAE,uBAAuB,EAA0B,MAAM,8CAA8C,CAAC;AAC/G,OAAO,EACH,mBAAmB,EACnB,uBAAuB,EACvB,qBAAqB,EACrB,wBAAwB,EACxB,uBAAuB,EAE1B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACpE,OAAO,EAAE,4BAA4B,EAAE,MAAM,+BAA+B,CAAC;AAC7E,OAAO,EAKH,kCAAkC,EAClC,kBAAkB,EACrB,MAAM,iBAAiB,CAAC;AAsBzB,SAAS,yBAAyB,CAAC,UAAoC;IACnE,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,SAAS,yBAAyB,CAAC,SAAS,EAAE,KAAK;QACjF,MAAM,WAAW,GAAG,iBAAiB,CAAC,SAAS,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAE5D,OAAO,WAAW,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAE,WAAW,CAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,mBAAmB,CAAC,MAAM,EAAE,yCAAyC,CAAC,CAAC;IAEvE,OAAO;QACH,MAAM;QACN,IAAI,EAAE,WAAW;KACpB,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAoC;IAClE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,OAAO,GAAG,2BAA2B,CAAC,SAAS,CAAC,CAAC;QAEvD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,kCAAkC,CAAC,OAAO,CAAC,CAAC;QACvD,CAAC;IACL,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAoC;IAC1D,OAAO,wBAAwB,CAAC,UAAU,CAAC,IAAI,yBAAyB,CAAC,UAAU,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,eAAe,CAAC,QAA2B,EAAE,MAAmB;IACrE,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAC/B,2BAA2B,CACvB;QACI,YAAY,CAAC,OAAO;YAChB,OAAO,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QAC1C,CAAC;QACD,YAAY,CAAC,SAAS;YAClB,QAAQ,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;QACD,mBAAmB;YACf,OAAO,QAAQ,CAAC,mBAAmB,EAAE,CAAC;QAC1C,CAAC;KACJ,EACD,IAAI,CACP,EACD;QACI,OAAO;YACH,OAAO,QAAQ,CAAC,OAAO,EAAE,CAAC;QAC9B,CAAC;KACJ,CACJ,CAAC;IAEF,OAAO;QACH,MAAM,EAAE,aAAa;QACrB,IAAI,CAAC,KAAK;YACN,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,OAAO,EAAE,4BAA4B,CACjC;YACI,YAAY,CAAC,OAAO;gBAChB,OAAO,QAAQ,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;YAC1C,CAAC;YACD,aAAa,CAAC,SAAS;gBACnB,QAAQ,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACtC,CAAC;SACJ,EACD,IAAI,CACP;QACD,MAAM;KACT,CAAC;AACN,CAAC;AAED,SAAS,iBAAiB,CAAC,QAA2B;IAClD,OAAO;QACH,SAAS,EAAE,IAAI;QACf,eAAe,EAAE,IAAI;QACrB,aAAa,EAAE,IAAI;QACnB,kBAAkB,EAAE,QAAQ,CAAC,wBAAwB,EAAE;KAC1D,CAAC;AACN,CAAC;AAED,SAAS,kBAAkB,CAAC,QAA2B,EAAE,eAAoC;IACzF,OAAO;QACH,SAAS,EAAE,IAAI;QACf,eAAe;QACf,aAAa,EAAE,KAAK;QACpB,kBAAkB,EAAE,QAAQ,CAAC,wBAAwB,EAAE;KAC1D,CAAC;AACN,CAAC;AAED,SAAS,eAAe,CAAC,QAA2B,EAAE,KAAc;IAChE,OAAO;QACH,SAAS,EAAE,uBAAuB,CAAC,KAAK,CAAC;QACzC,eAAe,EAAE,IAAI;QACrB,aAAa,EAAE,KAAK;QACpB,kBAAkB,EAAE,QAAQ,CAAC,wBAAwB,EAAE;KAC1D,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAAC,QAA2B,EAAE,eAAgC;IAChF,IAAI,QAAQ,CAAC,aAAa,EAAE,EAAE,CAAC;QAC3B,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,kBAAkB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IAExE,OAAO,qBAAqB,CAAC,kBAAkB,CAAC;QAC5C,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,kBAAkB,CAAC;QAClD,CAAC,CAAC;YACE,SAAS,EAAE,IAAI;YACf,eAAe,EAAE,IAAI;YACrB,aAAa,EAAE,KAAK;YACpB,kBAAkB;SACrB,CAAC;AACV,CAAC;AAED,SAAS,UAAU,CAAC,QAA2B,EAAE,KAAc;IAC3D,IAAI,KAAK,YAAY,wBAAwB,EAAE,CAAC;QAC5C,OAAO,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,KAAK,YAAY,uBAAuB;QAC3C,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC;QAC/C,CAAC,CAAC,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,KAAK,UAAU,WAAW,CACtB,QAAsB,EACtB,QAA2B,EAC3B,OAA2B;IAE3B,IAAI,CAAC;QACD,OAAO,aAAa,CAAC,QAAQ,EAAE,MAAM,QAAQ,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IACnG,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,OAAO,UAAU,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACvC,CAAC;AACL,CAAC;AAED,SAAS,WAAW,CAAC,YAA0B;IAC3C,IAAI,YAAY,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACxC,OAAO,YAAY,CAAC,eAAe,CAAC;IACxC,CAAC;IAED,IAAI,YAAY,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QAClC,OAAO;YACH,KAAK,EAAE,YAAY,CAAC,SAAS;YAC7B,IAAI,EAAE,YAAY;SACrB,CAAC;IACN,CAAC;IAED,OAAO,IAAI,CAAC;AAChB,CAAC;AAED,SAAS,WAAW,CAAC,QAA2B,EAAE,YAA0B;IACxE,IAAI,YAAY,CAAC,aAAa,IAAI,YAAY,CAAC,eAAe,KAAK,IAAI,IAAI,YAAY,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;QACzG,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,OAAO,QAAQ,CAAC,sBAAsB,CAAC,YAAY,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC;AACnF,CAAC;AAED,SAAS,aAAa,CAAC,QAA2B,EAAE,YAA0B;IAC1E,MAAM,QAAQ,GAAG;QACb,gBAAgB,CAAC,YAAY,CAAC,kBAAkB,CAAC;QACjD,WAAW,CAAC,YAAY,CAAC;QACzB,WAAW,CAAC,QAAQ,EAAE,YAAY,CAAC;KACtC;SACI,MAAM,CAAC,SAAS,aAAa,CAAC,OAAO;QAClC,OAAO,OAAO,KAAK,IAAI,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEP,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC5B,CAAC;IAED,mBAAmB,CAAC,QAAQ,EAAE,yCAAyC,CAAC,CAAC;IAEzE,OAAO;QACH,QAAQ;QACR,IAAI,EAAE,MAAM;KACf,CAAC;AACN,CAAC;AAED,SAAS,yBAAyB;IAC9B,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;IAEzC,OAAO;QACH,MAAM,EAAE,UAAU,CAAC,MAAM;KAC5B,CAAC;AACN,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,oBAA4B,EAAE,mBAA2B;IACpF,OAAO;QACH,oBAAoB;QACpB,mBAAmB;QACnB,IAAI,EAAE,SAAS;KAClB,CAAC;AACN,CAAC;AAED,MAAM,UAAU,6BAA6B,CAAC,MAAe,EAAE,QAAgB;IAC3E,OAAO;QACH,MAAM;QACN,IAAI,EAAE,0BAA0B;QAChC,QAAQ;QACR,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,2EAA2E;KACvF,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC7B,QAAsB,EACtB,SAAoB,EACpB,UAA8B,yBAAyB,EAAE;IAEzD,MAAM,QAAQ,GAAG,uBAAuB,EAAE,CAAC;IAC3C,MAAM,SAAS,GAAG,SAAS,CAAC,8BAA8B,CAAC;IAE3D,MAAM,YAAY,GAAG,MAAM,WAAW,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,aAAa,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAE5C,OAAO;QACH,MAAM,EAAE;YACJ,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,OAAO;YACP,OAAO;SACV;QACD,UAAU,EAAE,SAAS,CAAC,8BAA8B,GAAG,SAAS;KACnE,CAAC;AACN,CAAC"}