@overkill-dev/run 0.0.4 → 0.0.5

package/engine/case-execution.js

@@ -0,0 +1,408 @@
+import { assertionPasses, evaluateAssertion, invalidDeepAssertionOperand } from "../assertion-protocol/evaluation.js";
+import { createThrownErrorRecord } from "../assertion-protocol/thrown-error-record.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);
+        return failedCheck === null ? [] : [failedCheck];
+    });
+    if (checks.length === 0) {
+        return null;
+    }
+    assertNonEmptyItems(checks, 'Expected failed checks to be non-empty.');
+    return {
+        checks,
+        kind: 'assertion'
+    };
+}
+function assertionContractFailure(assertions) {
+    for (const assertion of assertions) {
+        const invalid = invalidDeepAssertionOperand(assertion);
+        if (invalid !== null) {
+            return invalidDeepAssertionOperandFailure(invalid);
+        }
+    }
+    return null;
+}
+function assertionFailure(assertions) {
+    return assertionContractFailure(assertions) ?? evaluatedAssertionFailure(assertions);
+}
+function createTestScope(recorder) {
+    const assertContext = Object.assign(createRecordingAssertFacade({
+        failContract(failure) {
+            return recorder.failContract(failure);
+        },
+        recordAssert(assertion) {
+            recorder.recordAssert(assertion);
+        },
+        recordPendingAssert() {
+            return recorder.recordPendingAssert();
+        }
+    }, null), {
+        collect() {
+            return recorder.collect();
+        }
+    });
+    return {
+        assert: assertContext,
+        plan(count) {
+            recorder.plan(count);
+        },
+        require: createRecordingRequireFacade({
+            failContract(failure) {
+                return recorder.failContract(failure);
+            },
+            recordRequire(assertion) {
+                recorder.recordRequire(assertion);
+            }
+        }, null)
+    };
+}
+function requireFailedBody(recorder) {
+    return {
+        bodyError: null,
+        contractFailure: null,
+        requireFailed: true,
+        returnedAssertions: recorder.activeRecordedAssertions()
+    };
+}
+function contractFailedBody(recorder, contractFailure) {
+    return {
+        bodyError: null,
+        contractFailure,
+        requireFailed: false,
+        returnedAssertions: recorder.activeRecordedAssertions()
+    };
+}
+function bodyErrorResult(recorder, error) {
+    return {
+        bodyError: createThrownErrorRecord(error),
+        contractFailure: null,
+        requireFailed: false,
+        returnedAssertions: recorder.activeRecordedAssertions()
+    };
+}
+function completedBody(recorder, assertionResult) {
+    if (recorder.requireFailed()) {
+        return requireFailedBody(recorder);
+    }
+    const returnedAssertions = recorder.returnedAssertions(assertionResult);
+    return isTestContractFailure(returnedAssertions)
+        ? contractFailedBody(recorder, returnedAssertions)
+        : {
+            bodyError: null,
+            contractFailure: null,
+            requireFailed: false,
+            returnedAssertions
+        };
+}
+function failedBody(recorder, error) {
+    if (error instanceof RequireFailedSignalError) {
+        return requireFailedBody(recorder);
+    }
+    return error instanceof TestContractSignalError
+        ? contractFailedBody(recorder, error.failure())
+        : bodyErrorResult(recorder, error);
+}
+async function runCaseBody(testCase, recorder) {
+    try {
+        return completedBody(recorder, await testCase.body(createTestScope(recorder)));
+    }
+    catch (error) {
+        return failedBody(recorder, error);
+    }
+}
+function bodyFailure(executedBody) {
+    if (executedBody.contractFailure !== null) {
+        return executedBody.contractFailure;
+    }
+    if (executedBody.bodyError !== null) {
+        return {
+            error: executedBody.bodyError,
+            kind: 'body-error'
+        };
+    }
+    return null;
+}
+function planFailure(recorder, executedBody) {
+    if (executedBody.requireFailed || executedBody.contractFailure !== null || executedBody.bodyError !== null) {
+        return null;
+    }
+    return recorder.validateAssertionCount(executedBody.returnedAssertions.length);
+}
+function createOutcome(recorder, executedBody) {
+    const failures = [
+        assertionFailure(executedBody.returnedAssertions),
+        bodyFailure(executedBody),
+        planFailure(recorder, executedBody)
+    ]
+        .filter(function isTestFailure(failure) {
+        return failure !== null;
+    });
+    if (failures.length === 0) {
+        return { kind: 'pass' };
+    }
+    assertNonEmptyItems(failures, 'Expected test failures to be non-empty.');
+    return {
+        failures,
+        kind: 'fail'
+    };
+}
+export async function runTestCase(testCase, wallClock) {
+    const recorder = createAssertionRecorder();
+    const startedAt = wallClock.currentTimestampInMilliseconds;
+    const executedBody = await runCaseBody(testCase, recorder);
+    const outcome = createOutcome(recorder, executedBody);
+    const verdict = verdictFromOutcome(outcome);
+    return {
+        result: {
+            id: testCase.id,
+            outcome,
+            verdict
+        },
+        wallTimeMs: wallClock.currentTimestampInMilliseconds - startedAt
+    };
+}
+//# sourceMappingURL=case-execution.js.map

package/engine/case-execution.js.map

@@ -0,0 +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"}

package/engine/custom-assertion-recording.js

@@ -0,0 +1,175 @@
+import { getAssertionReferenceRecord, getNarrowingAssertionReferenceRecord, isAssertionReference, isCompositeAssertionGroup, isNarrowingAssertionReference } from "../packages/engine/assertion-protocol.entry-point.js";
+const expectedArgumentSlot = 1;
+function createInvalidAssertionReferenceFailure(actual) {
+    return {
+        actual,
+        code: 'invalid-assertion-reference',
+        expected: 'engine-created assertion reference',
+        kind: 'test-contract',
+        summary: 'Expected an engine-created assertion reference.'
+    };
+}
+function createInvalidRequireReferenceFailure(actual) {
+    return {
+        actual,
+        code: 'invalid-require-reference',
+        expected: 'narrowing assertion reference',
+        kind: 'test-contract',
+        summary: 'Expected a narrowing assertion reference.'
+    };
+}
+function createInvalidCompositeResultFailure(actual) {
+    return {
+        actual,
+        code: 'invalid-composite-result',
+        expected: 'composite assertion child or group',
+        kind: 'test-contract',
+        summary: 'Composite assertion returned an invalid result.'
+    };
+}
+function isPromiseLike(value) {
+    return typeof value === 'object' && value !== null && typeof Reflect.get(value, 'then') === 'function';
+}
+function isCompositeAssertionChildNode(value) {
+    return typeof value === 'object' && value !== null && Object.hasOwn(value, 'check');
+}
+function assertionArguments(parameters) {
+    return [
+        parameters[0],
+        parameters.at(expectedArgumentSlot)
+    ];
+}
+function defaultCustomSummary(name) {
+    return `Expected ${name} assertion to pass.`;
+}
+function customSummary(record, source, annotation, parameters) {
+    if (annotation !== null) {
+        return annotation;
+    }
+    if (record.formatSummary !== null) {
+        if (record.kind === 'composite') {
+            return record.formatSummary({ name: record.name, source }, ...parameters);
+        }
+        return record.formatSummary({ name: record.name, source }, parameters[0], ...parameters.slice(1));
+    }
+    return defaultCustomSummary(record.name);
+}
+function normalizeCompositeChildren(result, failContract) {
+    if (isCompositeAssertionGroup(result)) {
+        return result.children;
+    }
+    if (isCompositeAssertionChildNode(result)) {
+        return [result];
+    }
+    return failContract(createInvalidCompositeResultFailure(result));
+}
+function createCompositeAssertionNode(input) {
+    const [actual, expectedArgument] = assertionArguments(input.parameters);
+    return {
+        actual,
+        check: 'composite',
+        children: input.children,
+        expected: expectedArgument ?? input.record.name,
+        location: input.location,
+        message: input.annotation,
+        name: input.record.name,
+        source: input.source,
+        summary: customSummary(input.record, input.source, input.annotation, input.parameters)
+    };
+}
+function createNarrowingCompositeAssertionNode(input) {
+    const passed = input.record.narrows(input.parameters[0], ...input.parameters.slice(1));
+    const child = {
+        actual: passed,
+        check: 'true',
+        location: input.location,
+        message: `Expected ${input.record.name} narrowing predicate to pass.`,
+        source: input.source
+    };
+    return createCompositeAssertionNode({
+        annotation: input.annotation,
+        children: [child],
+        location: input.location,
+        parameters: input.parameters,
+        record: input.record,
+        source: input.source
+    });
+}
+async function recordResolvedCompositeAssertion(input) {
+    const resolved = await input.result;
+    input.pending.resolve(createCompositeAssertionNode({
+        annotation: input.annotation,
+        children: normalizeCompositeChildren(resolved, input.sink.failContract),
+        location: input.location,
+        parameters: input.parameters,
+        record: input.record,
+        source: 'assert'
+    }));
+}
+function recordCompositeAssertion(input) {
+    const result = input.record.run({
+        location: input.location,
+        message: null,
+        parameters: input.parameters,
+        source: 'assert'
+    });
+    if (!isPromiseLike(result)) {
+        input.sink.recordAssert(createCompositeAssertionNode({
+            annotation: input.annotation,
+            children: normalizeCompositeChildren(result, input.sink.failContract),
+            location: input.location,
+            parameters: input.parameters,
+            record: input.record,
+            source: 'assert'
+        }));
+        return undefined;
+    }
+    return recordResolvedCompositeAssertion({
+        annotation: input.annotation,
+        location: input.location,
+        parameters: input.parameters,
+        pending: input.sink.recordPendingAssert(),
+        record: input.record,
+        result,
+        sink: input.sink
+    });
+}
+export function recordAssertReference(input) {
+    if (!isAssertionReference(input.reference)) {
+        input.sink.failContract(createInvalidAssertionReferenceFailure(input.reference));
+    }
+    const record = getAssertionReferenceRecord(input.reference);
+    if (record.kind === 'narrowing-composite') {
+        input.sink.recordAssert(createNarrowingCompositeAssertionNode({
+            annotation: input.annotation,
+            location: input.location,
+            parameters: input.parameters,
+            record,
+            source: 'assert'
+        }));
+        return undefined;
+    }
+    return recordCompositeAssertion({
+        annotation: input.annotation,
+        location: input.location,
+        parameters: input.parameters,
+        record,
+        sink: input.sink
+    });
+}
+export function recordRequireReference(input) {
+    if (!isNarrowingAssertionReference(input.reference)) {
+        input.sink.failContract(isAssertionReference(input.reference)
+            ? createInvalidRequireReferenceFailure(getAssertionReferenceRecord(input.reference).name)
+            : createInvalidAssertionReferenceFailure(input.reference));
+    }
+    const record = getNarrowingAssertionReferenceRecord(input.reference);
+    input.sink.recordRequire(createNarrowingCompositeAssertionNode({
+        annotation: input.annotation,
+        location: input.location,
+        parameters: input.parameters,
+        record,
+        source: 'require'
+    }));
+}
+//# sourceMappingURL=custom-assertion-recording.js.map

package/engine/custom-assertion-recording.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"custom-assertion-recording.js","sourceRoot":"","sources":["../../../../source/engine/custom-assertion-recording.ts"],"names":[],"mappings":"AAMA,OAAO,EACH,2BAA2B,EAC3B,oCAAoC,EACpC,oBAAoB,EACpB,yBAAyB,EACzB,6BAA6B,EAKhC,MAAM,sDAAsD,CAAC;AAQ9D,MAAM,oBAAoB,GAAG,CAAC,CAAC;AAoE/B,SAAS,sCAAsC,CAAC,MAAe;IAC3D,OAAO;QACH,MAAM;QACN,IAAI,EAAE,6BAA6B;QACnC,QAAQ,EAAE,oCAAoC;QAC9C,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,iDAAiD;KAC7D,CAAC;AACN,CAAC;AAED,SAAS,oCAAoC,CAAC,MAAe;IACzD,OAAO;QACH,MAAM;QACN,IAAI,EAAE,2BAA2B;QACjC,QAAQ,EAAE,+BAA+B;QACzC,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,2CAA2C;KACvD,CAAC;AACN,CAAC;AAED,SAAS,mCAAmC,CAAC,MAAe;IACxD,OAAO;QACH,MAAM;QACN,IAAI,EAAE,0BAA0B;QAChC,QAAQ,EAAE,oCAAoC;QAC9C,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,iDAAiD;KAC7D,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAClB,KAAc;IAEd,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,UAAU,CAAC;AAC3G,CAAC;AAED,SAAS,6BAA6B,CAClC,KAAc;IAEd,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACxF,CAAC;AAED,SAAS,kBAAkB,CAAC,UAA8B;IACtD,OAAO;QACH,UAAU,CAAC,CAAC,CAAC;QACb,UAAU,CAAC,EAAE,CAAC,oBAAoB,CAAC;KACtC,CAAC;AACN,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAY;IACtC,OAAO,YAAY,IAAI,qBAAqB,CAAC;AACjD,CAAC;AAED,SAAS,aAAa,CAClB,MAAgC,EAChC,MAAuB,EACvB,UAAyB,EACzB,UAA8B;IAE9B,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,UAAU,CAAC;IACtB,CAAC;IAED,IAAI,MAAM,CAAC,aAAa,KAAK,IAAI,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC9B,OAAO,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,GAAG,UAAU,CAAC,CAAC;QAC9E,CAAC;QAED,OAAO,MAAM,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACtG,CAAC;IAED,OAAO,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,0BAA0B,CAC/B,MAAwC,EACxC,YAAqD;IAErD,IAAI,yBAAyB,CAAS,MAAM,CAAC,EAAE,CAAC;QAC5C,OAAO,MAAM,CAAC,QAAQ,CAAC;IAC3B,CAAC;IAED,IAAI,6BAA6B,CAAS,MAAM,CAAC,EAAE,CAAC;QAChD,OAAO,CAAE,MAAM,CAAE,CAAC;IACtB,CAAC;IAED,OAAO,YAAY,CAAC,mCAAmC,CAAC,MAAM,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,4BAA4B,CACjC,KAA0C;IAE1C,MAAM,CAAE,MAAM,EAAE,gBAAgB,CAAE,GAAG,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAE1E,OAAO;QACH,MAAM;QACN,KAAK,EAAE,WAAW;QAClB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,QAAQ,EAAE,gBAAgB,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI;QAC/C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,KAAK,CAAC,UAAU;QACzB,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI;QACvB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;KACzF,CAAC;AACN,CAAC;AAED,SAAS,qCAAqC,CAC1C,KAAmD;IAEnD,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACvF,MAAM,KAAK,GAAwC;QAC/C,MAAM,EAAE,MAAM;QACd,KAAK,EAAE,MAAM;QACb,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,YAAY,KAAK,CAAC,MAAM,CAAC,IAAI,+BAA+B;QACrE,MAAM,EAAE,KAAK,CAAC,MAAM;KACvB,CAAC;IAEF,OAAO,4BAA4B,CAAC;QAChC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,CAAE,KAAK,CAAE;QACnB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,KAAK,CAAC,MAAM;KACvB,CAAC,CAAC;AACP,CAAC;AAED,KAAK,UAAU,gCAAgC,CAAC,KAAqC;IACjF,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC;IAEpC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,4BAA4B,CAAC;QAC/C,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,0BAA0B,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC;QACvE,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM,EAAE,QAAQ;KACnB,CAAC,CAAC,CAAC;AACR,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAuC;IACrE,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,OAAO,EAAE,IAAI;QACb,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM,EAAE,QAAQ;KACnB,CAAC,CAAC;IAEH,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,4BAA4B,CAAC;YACjD,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,QAAQ,EAAE,0BAA0B,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC;YACrE,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,MAAM,EAAE,QAAQ;SACnB,CAAC,CAAC,CAAC;QACJ,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,OAAO,gCAAgC,CAAC;QACpC,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,EAAE;QACzC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,MAAM;QACN,IAAI,EAAE,KAAK,CAAC,IAAI;KACnB,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,KAAoC;IACtE,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,sCAAsC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACrF,CAAC;IAED,MAAM,MAAM,GAAG,2BAA2B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAE5D,IAAI,MAAM,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,qCAAqC,CAAC;YAC1D,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,MAAM;YACN,MAAM,EAAE,QAAQ;SACnB,CAAC,CAAC,CAAC;QACJ,OAAO,SAAS,CAAC;IACrB,CAAC;IAED,OAAO,wBAAwB,CAAC;QAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM;QACN,IAAI,EAAE,KAAK,CAAC,IAAI;KACnB,CAAC,CAAC;AACP,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAqC;IACxE,IAAI,CAAC,6BAA6B,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAClD,KAAK,CAAC,IAAI,CAAC,YAAY,CACnB,oBAAoB,CAAC,KAAK,CAAC,SAAS,CAAC;YACjC,CAAC,CAAC,oCAAoC,CAAC,2BAA2B,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC;YACzF,CAAC,CAAC,sCAAsC,CAAC,KAAK,CAAC,SAAS,CAAC,CAChE,CAAC;IACN,CAAC;IAED,MAAM,MAAM,GAAG,oCAAoC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IAErE,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,qCAAqC,CAAC;QAC3D,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,MAAM;QACN,MAAM,EAAE,SAAS;KACpB,CAAC,CAAC,CAAC;AACR,CAAC"}

package/engine/execution.d.ts

@@ -0,0 +1,20 @@
+import type { WallClock } from '@enormora/wall-clock';
+import { type Reporter, type ReporterDispatcher, type RunFacts } from './reporter.ts';
+import { type RunResult } from './run-result.ts';
+import type { TestPlan } from './test-plan.ts';
+export type ExecuteExecution = {
+    readonly mode: 'concurrent-in-process' | 'serial-in-process';
+};
+export type ExecuteOptions = {
+    readonly execution: ExecuteExecution;
+    readonly reporters: readonly Reporter[];
+    readonly runFacts: RunFacts;
+    readonly startedAt: string;
+};
+export type ExecuteDependencies = {
+    readonly reporterDispatcher: ReporterDispatcher;
+    readonly wallClock: WallClock;
+};
+export type Execute = (testPlan: TestPlan, options?: ExecuteOptions) => Promise<RunResult>;
+export declare function createExecute(dependencies: ExecuteDependencies): Execute;
+//# sourceMappingURL=execution.d.ts.map

package/engine/execution.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution.d.ts","sourceRoot":"","sources":["../../../../source/engine/execution.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAGtD,OAAO,EACH,KAAK,QAAQ,EACb,KAAK,kBAAkB,EACvB,KAAK,QAAQ,EAEhB,MAAM,eAAe,CAAC;AAEvB,OAAO,EAA0C,KAAK,SAAS,EAAoB,MAAM,iBAAiB,CAAC;AAC3G,OAAO,KAAK,EAAE,QAAQ,EAAgB,MAAM,gBAAgB,CAAC;AAE7D,MAAM,MAAM,gBAAgB,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,uBAAuB,GAAG,mBAAmB,CAAC;CAChE,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IACzB,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;IACrC,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAAG;IAC9B,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CACjC,CAAC;AA8fF,MAAM,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE,cAAc,KAAK,OAAO,CAAC,SAAS,CAAC,CAAC;AAE3F,wBAAgB,aAAa,CAAC,YAAY,EAAE,mBAAmB,GAAG,OAAO,CAWxE"}