@overkill-dev/run 0.0.75 → 0.0.77

package/config/validation.js

@@ -1,3 +1,5 @@
+import { microtestExecutionSchema, propertyProfileSchema } from "./schema.js";
+import { propertyPolicySchema } from "./property-policy.js";
 import { ConfigError } from "./config-error.js";
 import { performanceBaselinePolicySchema } from "./performance-baselines.js";
 import { validateHostProcess } from "./host-process.js";
@@ -43,7 +45,7 @@ function validateMicrotestProfile(profile) {
     validateTimeoutPolicy(profile.timeouts);
 }
 function validateAttachmentLimits(profile) {
-    if (profile.testFamily === 'microtest') {
+    if (profile.testFamily === 'microtest' || profile.testFamily === 'property') {
         return;
     }
     for (const [name, value] of Object.entries(profile.attachments)) {
@@ -70,9 +72,26 @@ function validateBenchmarkProfile(profileName, profile) {
         throw new ConfigError(`Invalid benchmark profile "${profileName}": ${String(error)}`, { cause: error });
     }
 }
+function validatePropertyProfile(profile) {
+    validateMicrotestProfile(profile);
+    normalizeRequiredProfileFiles(profile.files);
+    microtestExecutionSchema.parse(profile.execution);
+    propertyPolicySchema.parse(profile.property);
+    const permittedFields = propertyProfileSchema.unwrap().shape;
+    if (Object.keys(profile).some(function unsupportedPropertyField(name) {
+        return !Object.hasOwn(permittedFields, name);
+    })) {
+        throw new ConfigError('Property profiles cannot configure additional fields.');
+    }
+}
 function validateProfileFamily(profileName, testFamily) {
-    if (testFamily !== 'benchmark' && testFamily !== 'integration' && testFamily !== 'microtest') {
-        throw new ConfigError(`Invalid profile "${profileName}": testFamily must be "benchmark", "integration", or "microtest".`);
+    if (testFamily !== 'benchmark' && testFamily !== 'integration' && testFamily !== 'microtest' &&
+        testFamily !== 'property') {
+        throw new ConfigError([
+            `Invalid profile "${profileName}":`,
+            'testFamily must be "benchmark", "integration", "microtest", or "property".'
+        ]
+            .join(' '));
     }
 }
 export function validateNormalizedConfig(config) {
@@ -82,6 +101,9 @@ export function validateNormalizedConfig(config) {
         if (profile.testFamily === 'benchmark') {
             validateBenchmarkProfile(profileName, profile);
         }
+        else if (profile.testFamily === 'property') {
+            validatePropertyProfile(profile);
+        }
         else if (profile.testFamily === 'microtest') {
             validateMicrotestProfile(profile);
         }

package/config/validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../source/config/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,+BAA+B,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAUtE,SAAS,2BAA2B,CAAC,KAAoB,EAAE,KAAa;IACpE,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,WAAW,CAAC,GAAG,KAAK,mCAAmC,CAAC,CAAC;IACvE,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,cAA8B;IAC1D,2BAA2B,CAAC,cAAc,CAAC,mBAAmB,EAAE,mCAAmC,CAAC,CAAC;IACrG,2BAA2B,CAAC,cAAc,CAAC,yBAAyB,EAAE,+BAA+B,CAAC,CAAC;IACvG,2BAA2B,CAAC,cAAc,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IACpF,2BAA2B,CAAC,cAAc,CAAC,+BAA+B,EAAE,4BAA4B,CAAC,CAAC;AAC9G,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAoB;IAClD,2BAA2B,CAAC,KAAK,EAAE,iCAAiC,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAqB;IAChD,2BAA2B,CAAC,MAAM,CAAC,sBAAsB,EAAE,oBAAoB,CAAC,CAAC;IACjF,2BAA2B,CAAC,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;IACrE,2BAA2B,CAAC,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;IAErE,IAAI,MAAM,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACpD,MAAM,IAAI,WAAW,CAAC,4CAA4C,CAAC,CAAC;IACxE,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,cAA8B;IACrD,OAAO,cAAc,CAAC,mBAAmB,KAAK,IAAI;QAC9C,cAAc,CAAC,yBAAyB,KAAK,IAAI;QACjD,cAAc,CAAC,gBAAgB,KAAK,IAAI;QACxC,cAAc,CAAC,+BAA+B,KAAK,IAAI,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAA0B;IACjE,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvC,wBAAwB,CAAC,MAAM,CAAC,4BAA4B,CAAC,CAAC;IAE9D,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,WAAW,CAAC,oDAAoD,CAAC,CAAC;IAChF,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAsB;IACpD,0BAA0B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAsB;IACpD,IAAI,OAAO,CAAC,UAAU,KAAK,WAAW,EAAE,CAAC;QACrC,OAAO;IACX,CAAC;IACD,KAAK,MAAM,CAAE,IAAI,EAAE,KAAK,CAAE,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAChE,2BAA2B,CAAC,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC;IAC7D,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CAAC,OAAsB;IACtD,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAClC,0BAA0B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAExC,IAAI,OAAO,CAAC,SAAS,CAAC,YAAY,KAAK,aAAa,EAAE,CAAC;QACnD,2BAA2B,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;QACpF,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACvD,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,WAAmB,EAAE,OAA+B;IAClF,IAAI,CAAC;QACD,6BAA6B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7C,+BAA+B,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACzD,0BAA0B,CAAC,OAAO,CAAC,CAAC;QACpC,0BAA0B,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,MAAM,IAAI,WAAW,CAAC,8BAA8B,WAAW,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5G,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAmB,EAAE,UAAmB;IACnE,IAAI,UAAU,KAAK,WAAW,IAAI,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,WAAW,EAAE,CAAC;QAC3F,MAAM,IAAI,WAAW,CACjB,oBAAoB,WAAW,mEAAmE,CACrG,CAAC;IACN,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAwB;IAC7D,KAAK,MAAM,CAAE,WAAW,EAAE,OAAO,CAAE,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrE,sBAAsB,CAAC,WAAW,CAAC,CAAC;QACpC,qBAAqB,CAAC,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAEvD,IAAI,OAAO,CAAC,UAAU,KAAK,WAAW,EAAE,CAAC;YACrC,wBAAwB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACnD,CAAC;aAAM,IAAI,OAAO,CAAC,UAAU,KAAK,WAAW,EAAE,CAAC;YAC5C,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACJ,0BAA0B,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;IACL,CAAC;AACL,CAAC"}
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../../../source/config/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,qBAAqB,EAAE,MAAM,aAAa,CAAC;AAC9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,+BAA+B,EAAE,MAAM,4BAA4B,CAAC;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,sBAAsB,EAAE,6BAA6B,EAAE,MAAM,4BAA4B,CAAC;AACnG,OAAO,EAAE,0BAA0B,EAAE,MAAM,0BAA0B,CAAC;AAWtE,SAAS,2BAA2B,CAAC,KAAoB,EAAE,KAAa;IACpE,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,WAAW,CAAC,GAAG,KAAK,mCAAmC,CAAC,CAAC;IACvE,CAAC;AACL,CAAC;AAED,SAAS,sBAAsB,CAAC,cAA8B;IAC1D,2BAA2B,CAAC,cAAc,CAAC,mBAAmB,EAAE,mCAAmC,CAAC,CAAC;IACrG,2BAA2B,CAAC,cAAc,CAAC,yBAAyB,EAAE,+BAA+B,CAAC,CAAC;IACvG,2BAA2B,CAAC,cAAc,CAAC,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IACpF,2BAA2B,CAAC,cAAc,CAAC,+BAA+B,EAAE,4BAA4B,CAAC,CAAC;AAC9G,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAoB;IAClD,2BAA2B,CAAC,KAAK,EAAE,iCAAiC,CAAC,CAAC;AAC1E,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAqB;IAChD,2BAA2B,CAAC,MAAM,CAAC,sBAAsB,EAAE,oBAAoB,CAAC,CAAC;IACjF,2BAA2B,CAAC,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;IACrE,2BAA2B,CAAC,MAAM,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;IAErE,IAAI,MAAM,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACpD,MAAM,IAAI,WAAW,CAAC,4CAA4C,CAAC,CAAC;IACxE,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,cAA8B;IACrD,OAAO,cAAc,CAAC,mBAAmB,KAAK,IAAI;QAC9C,cAAc,CAAC,yBAAyB,KAAK,IAAI;QACjD,cAAc,CAAC,gBAAgB,KAAK,IAAI;QACxC,cAAc,CAAC,+BAA+B,KAAK,IAAI,CAAC;AAChE,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,MAA0B;IACjE,sBAAsB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvC,wBAAwB,CAAC,MAAM,CAAC,4BAA4B,CAAC,CAAC;IAE9D,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,iBAAiB,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACvD,MAAM,IAAI,WAAW,CAAC,oDAAoD,CAAC,CAAC;IAChF,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAsB;IACpD,0BAA0B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,wBAAwB,CAAC,OAAsB;IACpD,IAAI,OAAO,CAAC,UAAU,KAAK,WAAW,IAAI,OAAO,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;QAC1E,OAAO;IACX,CAAC;IACD,KAAK,MAAM,CAAE,IAAI,EAAE,KAAK,CAAE,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAChE,2BAA2B,CAAC,KAAK,EAAE,cAAc,IAAI,EAAE,CAAC,CAAC;IAC7D,CAAC;AACL,CAAC;AAED,SAAS,0BAA0B,CAAC,OAAsB;IACtD,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAClC,0BAA0B,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IACjD,qBAAqB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAExC,IAAI,OAAO,CAAC,SAAS,CAAC,YAAY,KAAK,aAAa,EAAE,CAAC;QACnD,2BAA2B,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC;QACpF,mBAAmB,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACvD,CAAC;AACL,CAAC;AAED,SAAS,wBAAwB,CAAC,WAAmB,EAAE,OAA+B;IAClF,IAAI,CAAC;QACD,6BAA6B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7C,+BAA+B,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACzD,0BAA0B,CAAC,OAAO,CAAC,CAAC;QACpC,0BAA0B,CAAC,OAAO,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACpE,CAAC;IAAC,OAAO,KAAc,EAAE,CAAC;QACtB,MAAM,IAAI,WAAW,CAAC,8BAA8B,WAAW,MAAM,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC5G,CAAC;AACL,CAAC;AAED,SAAS,uBAAuB,CAAC,OAA8B;IAC3D,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAClC,6BAA6B,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC7C,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAClD,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC7C,MAAM,eAAe,GAAG,qBAAqB,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC;IAC7D,IACI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,wBAAwB,CAAC,IAAI;QAC5D,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,EACJ,CAAC;QACC,MAAM,IAAI,WAAW,CAAC,uDAAuD,CAAC,CAAC;IACnF,CAAC;AACL,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAmB,EAAE,UAAmB;IACnE,IACI,UAAU,KAAK,WAAW,IAAI,UAAU,KAAK,aAAa,IAAI,UAAU,KAAK,WAAW;QACxF,UAAU,KAAK,UAAU,EAC3B,CAAC;QACC,MAAM,IAAI,WAAW,CACjB;YACI,oBAAoB,WAAW,IAAI;YACnC,4EAA4E;SAC/E;aACI,IAAI,CAAC,GAAG,CAAC,CACjB,CAAC;IACN,CAAC;AACL,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,MAAwB;IAC7D,KAAK,MAAM,CAAE,WAAW,EAAE,OAAO,CAAE,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrE,sBAAsB,CAAC,WAAW,CAAC,CAAC;QACpC,qBAAqB,CAAC,WAAW,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QAEvD,IAAI,OAAO,CAAC,UAAU,KAAK,WAAW,EAAE,CAAC;YACrC,wBAAwB,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACnD,CAAC;aAAM,IAAI,OAAO,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;YAC3C,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACrC,CAAC;aAAM,IAAI,OAAO,CAAC,UAAU,KAAK,WAAW,EAAE,CAAC;YAC5C,wBAAwB,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC;aAAM,CAAC;YACJ,0BAA0B,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;IACL,CAAC;AACL,CAAC"}

package/engine/case-body-execution.js

@@ -23,7 +23,7 @@ export function builderBodyForAttempt(testCase, attempt) {
     if (execution.kind !== 'body' || execution.bodyMode === 'throwing') {
         throw new TypeError('Test case does not have a builder body.');
     }
-    if (execution.bodyMode === 'builder') {
+    if (execution.bodyMode === 'builder' || execution.bodyMode === 'property') {
         return execution.body;
     }
     const { workload } = testCase.workId;
@@ -41,7 +41,11 @@ export function builderBodyForAttempt(testCase, attempt) {
     };
 }
 export function testBodyExecutionError(testCase) {
-    if (testCase.execution.kind === 'body' && readTestBodyFamily(testCase.execution.body)?.family === 'property') {
+    const { execution } = testCase;
+    if (execution.kind !== 'body') {
+        return null;
+    }
+    if (execution.bodyMode === 'property' || readTestBodyFamily(execution.body)?.family === 'property') {
         return new TypeError('Property execution is not available. Property policy and generator execution are required.');
     }
     return null;

package/engine/case-body-execution.js.map

@@ -1 +1 @@
-{"version":3,"file":"case-body-execution.js","sourceRoot":"","sources":["../../../../source/engine/case-body-execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAapD,MAAM,UAAU,sBAAsB,CAClC,QAAsB,EACtB,QAA0C;IAE1C,IAAI,MAAM,GAAoC,IAAI,CAAC;IACnD,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,OAAO;QACH,MAAM;YACF,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,MAAM;YACF,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,KAAK,CAAC,YAAY,CAAC,OAAO;YACtB,MAAM,GAAG,OAAO,CAAC;YACjB,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC5B,CAAC;QACD,WAAW,CAAC,KAAK;YACb,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACjE,CAAC;KACJ,CAAC;AACN,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,QAAsB,EAAE,OAAyB;IACnF,MAAM,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC;IAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACjE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,SAAS,CAAC,IAAI,CAAC;IAC1B,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;IACrC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,UAAU,YAAY,CAAC,KAAK;QACpC,OAAO,SAAS,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ;YACR,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW,EAAE,OAAO,CAAC,WAAW;SACnC,CAAC,CAAC;IACP,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAsB;IACzD,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,kBAAkB,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;QAC3G,OAAO,IAAI,SAAS,CAChB,4FAA4F,CAC/F,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC"}
+{"version":3,"file":"case-body-execution.js","sourceRoot":"","sources":["../../../../source/engine/case-body-execution.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,gBAAgB,CAAC;AAapD,MAAM,UAAU,sBAAsB,CAClC,QAAsB,EACtB,QAA0C;IAE1C,IAAI,MAAM,GAAoC,IAAI,CAAC;IACnD,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,OAAO;QACH,MAAM;YACF,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,MAAM;YACF,OAAO,MAAM,CAAC;QAClB,CAAC;QACD,KAAK,CAAC,YAAY,CAAC,OAAO;YACtB,MAAM,GAAG,OAAO,CAAC;YACjB,MAAM,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC5B,CAAC;QACD,WAAW,CAAC,KAAK;YACb,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QACjE,CAAC;KACJ,CAAC;AACN,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,QAAsB,EAAE,OAAyB;IACnF,MAAM,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC;IAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,IAAI,SAAS,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACjE,MAAM,IAAI,SAAS,CAAC,yCAAyC,CAAC,CAAC;IACnE,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,IAAI,SAAS,CAAC,QAAQ,KAAK,UAAU,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC,IAAI,CAAC;IAC1B,CAAC;IACD,MAAM,EAAE,QAAQ,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC;IACrC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACpB,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,KAAK,UAAU,YAAY,CAAC,KAAK;QACpC,OAAO,SAAS,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,QAAQ;YACR,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,WAAW,EAAE,OAAO,CAAC,WAAW;SACnC,CAAC,CAAC;IACP,CAAC,CAAC;AACN,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,QAAsB;IACzD,MAAM,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC;IAC/B,IAAI,SAAS,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAC5B,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,IAAI,SAAS,CAAC,QAAQ,KAAK,UAAU,IAAI,kBAAkB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,MAAM,KAAK,UAAU,EAAE,CAAC;QACjG,OAAO,IAAI,SAAS,CAChB,4FAA4F,CAC/F,CAAC;IACN,CAAC;IACD,OAAO,IAAI,CAAC;AAChB,CAAC"}

package/engine/case-execution-lifecycle.js

@@ -0,0 +1,22 @@
+import { AsyncLocalStorage } from 'node:async_hooks';
+const lifecycleKey = Symbol.for('@overkill-dev/engine/caseExecutionLifecycle');
+function isLifecycleStorage(value) {
+    return value instanceof AsyncLocalStorage;
+}
+function sharedLifecycleStorage() {
+    const existing = Reflect.get(globalThis, lifecycleKey);
+    if (isLifecycleStorage(existing)) {
+        return existing;
+    }
+    const created = new AsyncLocalStorage();
+    Reflect.set(globalThis, lifecycleKey, created);
+    return created;
+}
+const lifecycle = sharedLifecycleStorage();
+export const currentCaseExecutionLifecycle = function () {
+    return lifecycle.getStore() ?? null;
+};
+export async function withCaseExecutionLifecycle(observer, run) {
+    return await lifecycle.run(observer, run);
+}
+//# sourceMappingURL=case-execution-lifecycle.js.map

package/engine/case-execution-lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"case-execution-lifecycle.js","sourceRoot":"","sources":["../../../../source/engine/case-execution-lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AASrD,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,6CAA6C,CAAC,CAAC;AAE/E,SAAS,kBAAkB,CAAC,KAAc;IACtC,OAAO,KAAK,YAAY,iBAAiB,CAAC;AAC9C,CAAC;AAED,SAAS,sBAAsB;IAC3B,MAAM,QAAQ,GAAY,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAChE,IAAI,kBAAkB,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/B,OAAO,QAAQ,CAAC;IACpB,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,iBAAiB,EAA0B,CAAC;IAChE,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,EAAE,OAAO,CAAC,CAAC;IAC/C,OAAO,OAAO,CAAC;AACnB,CAAC;AAED,MAAM,SAAS,GAAG,sBAAsB,EAAE,CAAC;AAE3C,MAAM,CAAC,MAAM,6BAA6B,GAAG;IACzC,OAAO,SAAS,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC5C,QAAgC,EAChC,GAAyB;IAEzB,OAAO,MAAM,SAAS,CAAC,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;AAC9C,CAAC"}

package/engine/engine.d.ts

@@ -1,8 +1,9 @@
 import type { Execute } from './execution.ts';
 import { formatCaseId } from './identity.ts';
-import { type BenchmarkTestCaseOptions, type RootOptions, type Suite, type SkippedTestCaseOptions, type SuiteOptions, type Table, type TableOptions, type TestCase, type TestCaseOptions, type TestNode, type TestRoot, type ThrowingTestCaseOptions, type WorkloadTestCaseOptions } from './test-node.ts';
+import { type PropertyTestCaseOptions, type BenchmarkTestCaseOptions, type RootOptions, type Suite, type SkippedTestCaseOptions, type SuiteOptions, type Table, type TableOptions, type TestCase, type TestCaseOptions, type TestNode, type TestRoot, type ThrowingTestCaseOptions, type WorkloadTestCaseOptions } from './test-node.ts';
 import { type TestPlanFactory, type TestPlanFromTestFilesFactory } from './test-plan.ts';
 export type Engine = {
+    readonly createPropertyTestCase: (options: PropertyTestCaseOptions) => TestCase;
     readonly createBenchmarkTestCase: (options: BenchmarkTestCaseOptions) => TestCase;
     readonly createRoot: (options: RootOptions) => TestRoot;
     readonly createSuite: (options: SuiteOptions) => Suite;

package/engine/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../../source/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAGH,KAAK,wBAAwB,EAC7B,KAEK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,sBAAsB,EAC3B,KAAK,YAAY,EACjB,KAAK,KAAK,EACV,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,eAAe,EACpB,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC/B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAGH,KAAK,eAAe,EACpB,KAAK,4BAA4B,EACpC,MAAM,gBAAgB,CAAC;AAExB,MAAM,MAAM,MAAM,GAAG;IACjB,QAAQ,CAAC,uBAAuB,EAAE,CAAC,OAAO,EAAE,wBAAwB,KAAK,QAAQ,CAAC;IAClF,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,QAAQ,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,KAAK,CAAC;IACvD,QAAQ,CAAC,qBAAqB,EAAE,CAAC,OAAO,EAAE,sBAAsB,KAAK,QAAQ,CAAC;IAC9E,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,KAAK,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,CAAC,OAAO,EAAE,eAAe,KAAK,QAAQ,CAAC;IAChE,QAAQ,CAAC,sBAAsB,EAAE,CAAC,OAAO,EAAE,uBAAuB,KAAK,QAAQ,CAAC;IAChF,QAAQ,CAAC,sBAAsB,EAAE,CAAC,OAAO,EAAE,uBAAuB,KAAK,QAAQ,CAAC;IAChF,QAAQ,CAAC,cAAc,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,2BAA2B,EAAE,4BAA4B,CAAC;IACnE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,OAAO,YAAY,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,QAAQ,CAAC;CAChE,CAAC"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../../../source/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAGH,KAAK,uBAAuB,EAC5B,KAAK,wBAAwB,EAC7B,KAEK,WAAW,EAChB,KAAK,KAAK,EACV,KAAK,sBAAsB,EAC3B,KAAK,YAAY,EACjB,KAAK,KAAK,EACV,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,eAAe,EACpB,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC/B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAGH,KAAK,eAAe,EACpB,KAAK,4BAA4B,EACpC,MAAM,gBAAgB,CAAC;AAExB,MAAM,MAAM,MAAM,GAAG;IACjB,QAAQ,CAAC,sBAAsB,EAAE,CAAC,OAAO,EAAE,uBAAuB,KAAK,QAAQ,CAAC;IAChF,QAAQ,CAAC,uBAAuB,EAAE,CAAC,OAAO,EAAE,wBAAwB,KAAK,QAAQ,CAAC;IAClF,QAAQ,CAAC,UAAU,EAAE,CAAC,OAAO,EAAE,WAAW,KAAK,QAAQ,CAAC;IACxD,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,KAAK,CAAC;IACvD,QAAQ,CAAC,qBAAqB,EAAE,CAAC,OAAO,EAAE,sBAAsB,KAAK,QAAQ,CAAC;IAC9E,QAAQ,CAAC,WAAW,EAAE,CAAC,OAAO,EAAE,YAAY,KAAK,KAAK,CAAC;IACvD,QAAQ,CAAC,cAAc,EAAE,CAAC,OAAO,EAAE,eAAe,KAAK,QAAQ,CAAC;IAChE,QAAQ,CAAC,sBAAsB,EAAE,CAAC,OAAO,EAAE,uBAAuB,KAAK,QAAQ,CAAC;IAChF,QAAQ,CAAC,sBAAsB,EAAE,CAAC,OAAO,EAAE,uBAAuB,KAAK,QAAQ,CAAC;IAChF,QAAQ,CAAC,cAAc,EAAE,eAAe,CAAC;IACzC,QAAQ,CAAC,2BAA2B,EAAE,4BAA4B,CAAC;IACnE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,OAAO,YAAY,CAAC;IAC3C,QAAQ,CAAC,YAAY,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,IAAI,QAAQ,CAAC;CAChE,CAAC"}

package/engine/engine.js

@@ -13,6 +13,7 @@ export function createEngineWithOwner(dependencies, owner) {
     const createTestPlan = createTestPlanFactory(owner, constructedNodes);
     const createTestPlanFromTestFiles = createTestPlanFromTestFilesFactory(owner, nodeFactory.createRoot);
     return {
+        createPropertyTestCase: nodeFactory.createPropertyTestCase,
         createBenchmarkTestCase: nodeFactory.createBenchmarkTestCase,
         createRoot: nodeFactory.createRoot,
         createSuite: nodeFactory.createSuite,

package/engine/engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../../../source/engine/engine.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EACH,qBACqB,EAGrB,eAAe,EAalB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACH,qBAAqB,EACrB,kCAAkC,EAGrC,MAAM,gBAAgB,CAAC;AAuBxB,MAAM,UAAU,qBAAqB,CAAC,YAAgC,EAAE,KAAoB;IACxF,MAAM,EAAE,OAAO,EAAE,GAAG,YAAY,CAAC;IACjC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAY,CAAC;IAC7C,MAAM,WAAW,GAAG,qBAAqB,CAAC;QACtC,KAAK;QACL,qBAAqB,CAAC,IAAI;YACtB,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;KACJ,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACtE,MAAM,2BAA2B,GAAG,kCAAkC,CAAC,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAEtG,OAAO;QACH,uBAAuB,EAAE,WAAW,CAAC,uBAAuB;QAC5D,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,qBAAqB,EAAE,WAAW,CAAC,qBAAqB;QACxD,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,sBAAsB,EAAE,WAAW,CAAC,sBAAsB;QAC1D,sBAAsB,EAAE,WAAW,CAAC,sBAAsB;QAC1D,cAAc;QACd,2BAA2B;QAC3B,OAAO;QACP,YAAY;QACZ,YAAY,CAAC,KAAK;YACd,OAAO,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;KACJ,CAAC;AACN,CAAC"}
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../../../source/engine/engine.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EACH,qBACqB,EAIrB,eAAe,EAalB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACH,qBAAqB,EACrB,kCAAkC,EAGrC,MAAM,gBAAgB,CAAC;AAwBxB,MAAM,UAAU,qBAAqB,CAAC,YAAgC,EAAE,KAAoB;IACxF,MAAM,EAAE,OAAO,EAAE,GAAG,YAAY,CAAC;IACjC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAY,CAAC;IAC7C,MAAM,WAAW,GAAG,qBAAqB,CAAC;QACtC,KAAK;QACL,qBAAqB,CAAC,IAAI;YACtB,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,CAAC;KACJ,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,qBAAqB,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACtE,MAAM,2BAA2B,GAAG,kCAAkC,CAAC,KAAK,EAAE,WAAW,CAAC,UAAU,CAAC,CAAC;IAEtG,OAAO;QACH,sBAAsB,EAAE,WAAW,CAAC,sBAAsB;QAC1D,uBAAuB,EAAE,WAAW,CAAC,uBAAuB;QAC5D,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,qBAAqB,EAAE,WAAW,CAAC,qBAAqB;QACxD,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,cAAc,EAAE,WAAW,CAAC,cAAc;QAC1C,sBAAsB,EAAE,WAAW,CAAC,sBAAsB;QAC1D,sBAAsB,EAAE,WAAW,CAAC,sBAAsB;QAC1D,cAAc;QACd,2BAA2B;QAC3B,OAAO;QACP,YAAY;QACZ,YAAY,CAAC,KAAK;YACd,OAAO,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;KACJ,CAAC;AACN,CAAC"}

package/engine/execution-supervision-state.js

@@ -1,4 +1,5 @@
 import { createStoredValue } from "../stored-value.js";
+import { currentCaseExecutionLifecycle } from "./case-execution-lifecycle.js";
 export function createBenchmarkState() {
     return createStoredValue(null);
 }
@@ -11,6 +12,7 @@ export function createExecutionSupervision() {
     const runnerErrors = [];
     let acceptsNewCases = true;
     return {
+        lifecycle: currentCaseExecutionLifecycle(),
         acceptsNewCases() {
             return acceptsNewCases;
         },

package/engine/execution-supervision-state.js.map

@@ -1 +1 @@
-{"version":3,"file":"execution-supervision-state.js","sourceRoot":"","sources":["../../../../source/engine/execution-supervision-state.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAoB,MAAM,oBAAoB,CAAC;AAOzE,MAAM,UAAU,oBAAoB;IAChC,OAAO,iBAAiB,CAAkC,IAAI,CAAC,CAAC;AACpE,CAAC;AAaD,MAAM,UAAU,oBAAoB;IAChC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,aAAa,EAA2B,CAAC;IAC9E,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC1C,CAAC;AAsBD,MAAM,UAAU,0BAA0B;IACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,MAAM,YAAY,GAAmD,EAAE,CAAC;IACxE,IAAI,eAAe,GAAG,IAAI,CAAC;IAE3B,OAAO;QACH,eAAe;YACX,OAAO,eAAe,CAAC;QAC3B,CAAC;QACD,WAAW;QACX,aAAa,CAAC,GAAG,EAAE,UAAU;YACzB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACrC,CAAC;QACD,iBAAiB,CAAC,KAAK;YACnB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,gBAAgB,CAAC,GAAG;YAChB,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,YAAY;QACZ,kBAAkB;YACd,eAAe,GAAG,KAAK,CAAC;QAC5B,CAAC;KACJ,CAAC;AACN,CAAC"}
+{"version":3,"file":"execution-supervision-state.js","sourceRoot":"","sources":["../../../../source/engine/execution-supervision-state.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,iBAAiB,EAAoB,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,6BAA6B,EAA+B,MAAM,+BAA+B,CAAC;AAO3G,MAAM,UAAU,oBAAoB;IAChC,OAAO,iBAAiB,CAAkC,IAAI,CAAC,CAAC;AACpE,CAAC;AAaD,MAAM,UAAU,oBAAoB;IAChC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,aAAa,EAA2B,CAAC;IAC9E,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;AAC1C,CAAC;AAuBD,MAAM,UAAU,0BAA0B;IACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,MAAM,YAAY,GAAmD,EAAE,CAAC;IACxE,IAAI,eAAe,GAAG,IAAI,CAAC;IAE3B,OAAO;QACH,SAAS,EAAE,6BAA6B,EAAE;QAC1C,eAAe;YACX,OAAO,eAAe,CAAC;QAC3B,CAAC;QACD,WAAW;QACX,aAAa,CAAC,GAAG,EAAE,UAAU;YACzB,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACrC,CAAC;QACD,iBAAiB,CAAC,KAAK;YACnB,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,CAAC;QACD,gBAAgB,CAAC,GAAG;YAChB,WAAW,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAC5B,CAAC;QACD,YAAY;QACZ,kBAAkB;YACd,eAAe,GAAG,KAAK,CAAC;QAC5B,CAAC;KACJ,CAAC;AACN,CAAC"}

package/engine/execution-test-plan-cases.js

@@ -25,6 +25,10 @@ function testExecutionWallTimeMicroseconds(timingWindows) {
 }
 async function executeSerialTestPlanCase(input, state, testCase) {
     const suiteErrors = await reportSuiteTransition(input.context.reporterDelivery, state.currentSuitePath, testCase.suitePath);
+    const { lifecycle } = input.supervision;
+    if (lifecycle !== null) {
+        await lifecycle.enter(testCase);
+    }
     const testRun = await executeCase({
         attempt: 0,
         context: input.context,
@@ -50,6 +54,14 @@ async function serialTestPlanReporterErrors(input, state) {
         ...await reportSuiteTransition(input.context.reporterDelivery, state.currentSuitePath, [])
     ];
 }
+async function completeSerialCase(input, state) {
+    const result = state.perTest.at(-1);
+    const { lifecycle } = input.supervision;
+    if (lifecycle !== null && result !== undefined &&
+        await lifecycle.complete(result, state.reportedRunnerErrors) === 'stop') {
+        input.supervision.stopAcceptingCases();
+    }
+}
 async function executeTestPlanCases(input) {
     let state = initialSerialCaseExecutionState();
     for (const testCase of input.testPlan.cases) {
@@ -58,6 +70,9 @@ async function executeTestPlanCases(input) {
             break;
         }
         state = await executeSerialTestPlanCase(input, state, testCase);
+        if (input.supervision.lifecycle !== null) {
+            await completeSerialCase(input, state);
+        }
     }
     return {
         perTest: state.perTest,
@@ -106,13 +121,21 @@ function createCaseAdmission(maxConcurrency) {
     };
 }
 async function executeStartedConcurrentCase(input, testCase) {
-    return await executeCase({
+    const { lifecycle } = input.supervision;
+    if (lifecycle !== null) {
+        await lifecycle.enter(testCase);
+    }
+    const executed = await executeCase({
         attempt: 0,
         context: { ...input.context, reporterDelivery: input.reportQueue },
         options: input.options,
         supervision: input.supervision,
         testCase
     }, true);
+    if (lifecycle !== null && await lifecycle.complete(executed.result, executed.runnerErrors) === 'stop') {
+        input.supervision.stopAcceptingCases();
+    }
+    return executed;
 }
 function canStartConcurrentCase(input) {
     const blocked = [

package/engine/execution-test-plan-cases.js.map

@@ -1 +1 @@
-{"version":3,"file":"execution-test-plan-cases.js","sourceRoot":"","sources":["../../../../source/engine/execution-test-plan-cases.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,SAAS,CAAC;AAC7B,OAAO,EACH,+BAA+B,EAClC,MAAM,kCAAkC,CAAC;AAM1C,OAAO,EACH,wBAAwB,EACxB,qBAAqB,EAExB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACH,uBAAuB,EACvB,sBAAsB,EACzB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACH,WAAW,EACX,eAAe,EAIlB,MAAM,6BAA6B,CAAC;AAyDrC,SAAS,+BAA+B;IACpC,OAAO;QACH,gBAAgB,EAAE,EAAE;QACpB,OAAO,EAAE,EAAE;QACX,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,EAAE;KACpB,CAAC;AACN,CAAC;AAED,SAAS,iCAAiC,CAAC,aAAsC;IAC7E,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,MAAM;QACpD,OAAO,MAAM,CAAC,qBAAqB,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,MAAM;QAChD,OAAO,MAAM,CAAC,mBAAmB,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAC3C,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,KAAK,UAAU,yBAAyB,CACpC,KAAgC,EAChC,KAA+B,EAC/B,QAAsB;IAEtB,MAAM,WAAW,GAAG,MAAM,qBAAqB,CAC3C,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,KAAK,CAAC,gBAAgB,EACtB,QAAQ,CAAC,SAAS,CACrB,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC;QAC9B,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ;KACX,EAAE,KAAK,CAAC,CAAC;IAEV,OAAO;QACH,gBAAgB,EAAE,QAAQ,CAAC,SAAS;QACpC,OAAO,EAAE,CAAE,GAAG,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAE;QAC7C,oBAAoB,EAAE,CAAE,GAAG,KAAK,CAAC,oBAAoB,EAAE,GAAG,OAAO,CAAC,YAAY,CAAE;QAChF,cAAc,EAAE,CAAE,GAAG,KAAK,CAAC,cAAc,EAAE,GAAG,WAAW,EAAE,GAAG,OAAO,CAAC,cAAc,CAAE;QACtF,aAAa,EAAE,CAAE,GAAG,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,eAAe,CAAE;KACrE,CAAC;AACN,CAAC;AAED,KAAK,UAAU,4BAA4B,CACvC,KAAgC,EAChC,KAA+B;IAE/B,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,KAAK,CAAC,WAAW,CAAC,YAAY,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC/G,MAAM,+BAA+B,GAAG,MAAM,uBAAuB,CACjE,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,mBAAmB,CACtB,CAAC;IAEF,OAAO;QACH,GAAG,KAAK,CAAC,cAAc;QACvB,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY;QACjC,GAAG,+BAA+B;QAClC,GAAG,MAAM,qBAAqB,CAC1B,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,KAAK,CAAC,gBAAgB,EACtB,EAAE,CACL;KACJ,CAAC;AACN,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,KAAgC;IAChE,IAAI,KAAK,GAAG,+BAA+B,EAAE,CAAC;IAE9C,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC1C,IACI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,mBAAmB,CAAC,aAAa,EAAE;YAC9D,CAAC,KAAK,CAAC,WAAW,CAAC,eAAe,EAAE,EACtC,CAAC;YACC,MAAM;QACV,CAAC;QAED,KAAK,GAAG,MAAM,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpE,CAAC;IAED,OAAO;QACH,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,cAAc,EAAE,MAAM,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC;QAChE,iCAAiC,EAAE,iCAAiC,CAAC,KAAK,CAAC,aAAa,CAAC;KAC5F,CAAC;AACN,CAAC;AAED,SAAS,iCAAiC,CAAC,WAA+B;IACtE,IAAI,gBAAgB,GAA8B,EAAE,CAAC;IACrD,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,cAAc,GAAkB,EAAE,CAAC;IAEzC,OAAO;QACH,KAAK,CAAC,MAAM;YACR,MAAM,gBAAgB,CAAC,KAAK,UAAU,mBAAmB;gBACrD,OAAO,SAAS,CAAC;YACrB,CAAC,CAAC,CAAC;YACH,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAC,CAAC;YAEvF,OAAO,cAAc,CAAC;QAC1B,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ;YAC1B,OAAO,MAAM,gBAAgB,CAAC,KAAK,UAAU,uBAAuB;gBAChE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;oBACd,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,MAAM,iBAAiB,GAAG,gBAAgB,CAAC;gBAE3C,gBAAgB,GAAG,QAAQ,CAAC,SAAS,CAAC;gBACtC,MAAM,MAAM,GAAG;oBACX,GAAG,MAAM,qBAAqB,CAC1B,WAAW,EACX,iBAAiB,EACjB,QAAQ,CAAC,SAAS,CACrB;oBACD,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,WAAW,CAAC;iBACrD,CAAC;gBAEF,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;gBAE/B,OAAO,IAAI,CAAC;YAChB,CAAC,CAAC,CAAC;QACP,CAAC;KACJ,CAAC;AACN,CAAC;AAED,SAAS,mBAAmB,CAAC,cAAoC;IAC7D,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,KAAK,UAAU,cAAc,CAAQ,GAAyB;YACjE,OAAO,MAAM,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC;IACN,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IAErC,OAAO,KAAK,UAAU,gBAAgB,CAAQ,GAAyB;QACnE,OAAO,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC;AACN,CAAC;AAED,KAAK,UAAU,4BAA4B,CACvC,KAAkC,EAClC,QAAsB;IAEtB,OAAO,MAAM,WAAW,CAAC;QACrB,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,gBAAgB,EAAE,KAAK,CAAC,WAAW,EAAE;QAClE,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ;KACX,EAAE,IAAI,CAAC,CAAC;AACb,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAkC;IAC9D,MAAM,OAAO,GAAG;QACZ,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,mBAAmB,CAAC,aAAa,EAAE;QAC9D,CAAC,KAAK,CAAC,WAAW,CAAC,eAAe,EAAE;KACvC,CAAC;IAEF,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,KAAkC;IACpE,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC;IAEpC,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,aAAa,GAAG,iCAAiC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3E,MAAM,cAAc,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,UAAU,sBAAsB,CAAC,QAAQ;QAC1F,OAAO,SAAS,CAAC,KAAK,UAAU,mBAAmB;YAC/C,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,kBAAkB;gBAC3E,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;YAEH,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChF,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,SAAS,cAAc,CAC/D,YAAY;QAEZ,OAAO,YAAY,KAAK,IAAI,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,OAAO;QACH,iBAAiB,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,gBAAgB,CAAC,YAAY;YAC3E,OAAO,YAAY,CAAC,cAAc,CAAC;QACvC,CAAC,CAAC;QACF,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,YAAY;YACtD,OAAO,YAAY,CAAC,MAAM,CAAC;QAC/B,CAAC,CAAC;QACF,oBAAoB,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,cAAc,CAAC,YAAY;YAC5E,OAAO,YAAY,CAAC,YAAY,CAAC;QACrC,CAAC,CAAC;QACF,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;QAC5C,mBAAmB,EAAE,MAAM,aAAa,CAAC,MAAM,EAAE;QACjD,iCAAiC,EAAE,iCAAiC,CAChE,aAAa,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,YAAY;YAC5C,OAAO,YAAY,CAAC,eAAe,CAAC;QACxC,CAAC,CAAC,CACL;KACJ,CAAC;AACN,CAAC;AAED,KAAK,UAAU,8BAA8B,CACzC,KAAgC,EAChC,SAAqC;IAErC,MAAM,yBAAyB,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,uBAAuB,EAAE,CAAC;IACvF,MAAM,uBAAuB,GAAG,MAAM,sBAAsB,CAAC;QACzD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE;QACxC,WAAW,EAAE,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC;QACrE,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;KAC3B,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,+BAA+B,CACnD,KAAK,CAAC,OAAO,CAAC,YAAY,EAC1B,yBAAyB,CAC5B,CAAC;IACF,MAAM,YAAY,GAAG,eAAe,KAAK,IAAI;QACzC,CAAC,CAAC,uBAAuB,CAAC,YAAY;QACtC,CAAC,CAAC,CAAE,GAAG,uBAAuB,CAAC,YAAY,EAAE,eAAe,CAAE,CAAC;IACnE,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,YAAY,EAAE,uBAAuB,CAAC,oBAAoB,CAAC,CAAC;IAC/G,MAAM,+BAA+B,GAAG,MAAM,uBAAuB,CACjE,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,mBAAmB,CACtB,CAAC;IAEF,OAAO;QACH,OAAO,EAAE,uBAAuB,CAAC,OAAO;QACxC,cAAc,EAAE;YACZ,GAAG,uBAAuB,CAAC,mBAAmB;YAC9C,GAAG,YAAY;YACf,GAAG,+BAA+B;YAClC,GAAG,uBAAuB,CAAC,iBAAiB;SAC/C;QACD,iCAAiC,EAAE,uBAAuB,CAAC,iCAAiC;KAC/F,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAC9C,KAAgC;IAEhC,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC3D,OAAO,MAAM,8BAA8B,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAChF,CAAC;IAED,OAAO,MAAM,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC"}
+{"version":3,"file":"execution-test-plan-cases.js","sourceRoot":"","sources":["../../../../source/engine/execution-test-plan-cases.ts"],"names":[],"mappings":"AAAA,OAAO,MAAM,MAAM,SAAS,CAAC;AAC7B,OAAO,EACH,+BAA+B,EAClC,MAAM,kCAAkC,CAAC;AAM1C,OAAO,EACH,wBAAwB,EACxB,qBAAqB,EAExB,MAAM,2BAA2B,CAAC;AACnC,OAAO,EACH,uBAAuB,EACvB,sBAAsB,EACzB,MAAM,6BAA6B,CAAC;AAErC,OAAO,EACH,WAAW,EACX,eAAe,EAIlB,MAAM,6BAA6B,CAAC;AAyDrC,SAAS,+BAA+B;IACpC,OAAO;QACH,gBAAgB,EAAE,EAAE;QACpB,OAAO,EAAE,EAAE;QACX,oBAAoB,EAAE,EAAE;QACxB,cAAc,EAAE,EAAE;QAClB,aAAa,EAAE,EAAE;KACpB,CAAC;AACN,CAAC;AAED,SAAS,iCAAiC,CAAC,aAAsC;IAC7E,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,MAAM;QACpD,OAAO,MAAM,CAAC,qBAAqB,CAAC;IACxC,CAAC,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,MAAM;QAChD,OAAO,MAAM,CAAC,mBAAmB,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAC3C,CAAC,CAAC,CAAC;QACH,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;AAC/D,CAAC;AAED,KAAK,UAAU,yBAAyB,CACpC,KAAgC,EAChC,KAA+B,EAC/B,QAAsB;IAEtB,MAAM,WAAW,GAAG,MAAM,qBAAqB,CAC3C,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,KAAK,CAAC,gBAAgB,EACtB,QAAQ,CAAC,SAAS,CACrB,CAAC;IACF,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC;IACxC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC;QAC9B,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ;KACX,EAAE,KAAK,CAAC,CAAC;IAEV,OAAO;QACH,gBAAgB,EAAE,QAAQ,CAAC,SAAS;QACpC,OAAO,EAAE,CAAE,GAAG,KAAK,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAE;QAC7C,oBAAoB,EAAE,CAAE,GAAG,KAAK,CAAC,oBAAoB,EAAE,GAAG,OAAO,CAAC,YAAY,CAAE;QAChF,cAAc,EAAE,CAAE,GAAG,KAAK,CAAC,cAAc,EAAE,GAAG,WAAW,EAAE,GAAG,OAAO,CAAC,cAAc,CAAE;QACtF,aAAa,EAAE,CAAE,GAAG,KAAK,CAAC,aAAa,EAAE,OAAO,CAAC,eAAe,CAAE;KACrE,CAAC;AACN,CAAC;AAED,KAAK,UAAU,4BAA4B,CACvC,KAAgC,EAChC,KAA+B;IAE/B,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,KAAK,CAAC,WAAW,CAAC,YAAY,EAAE,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAC/G,MAAM,+BAA+B,GAAG,MAAM,uBAAuB,CACjE,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,mBAAmB,CACtB,CAAC;IAEF,OAAO;QACH,GAAG,KAAK,CAAC,cAAc;QACvB,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY;QACjC,GAAG,+BAA+B;QAClC,GAAG,MAAM,qBAAqB,CAC1B,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,KAAK,CAAC,gBAAgB,EACtB,EAAE,CACL;KACJ,CAAC;AACN,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,KAAgC,EAAE,KAA+B;IAC/F,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC;IACxC,IACI,SAAS,KAAK,IAAI,IAAI,MAAM,KAAK,SAAS;QAC1C,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,oBAAoB,CAAC,KAAK,MAAM,EACzE,CAAC;QACC,KAAK,CAAC,WAAW,CAAC,kBAAkB,EAAE,CAAC;IAC3C,CAAC;AACL,CAAC;AAED,KAAK,UAAU,oBAAoB,CAAC,KAAgC;IAChE,IAAI,KAAK,GAAG,+BAA+B,EAAE,CAAC;IAE9C,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QAC1C,IACI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,mBAAmB,CAAC,aAAa,EAAE;YAC9D,CAAC,KAAK,CAAC,WAAW,CAAC,eAAe,EAAE,EACtC,CAAC;YACC,MAAM;QACV,CAAC;QAED,KAAK,GAAG,MAAM,yBAAyB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QAChE,IAAI,KAAK,CAAC,WAAW,CAAC,SAAS,KAAK,IAAI,EAAE,CAAC;YACvC,MAAM,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,CAAC;IACL,CAAC;IAED,OAAO;QACH,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,cAAc,EAAE,MAAM,4BAA4B,CAAC,KAAK,EAAE,KAAK,CAAC;QAChE,iCAAiC,EAAE,iCAAiC,CAAC,KAAK,CAAC,aAAa,CAAC;KAC5F,CAAC;AACN,CAAC;AAED,SAAS,iCAAiC,CAAC,WAA+B;IACtE,IAAI,gBAAgB,GAA8B,EAAE,CAAC;IACrD,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,cAAc,GAAkB,EAAE,CAAC;IAEzC,OAAO;QACH,KAAK,CAAC,MAAM;YACR,MAAM,gBAAgB,CAAC,KAAK,UAAU,mBAAmB;gBACrD,OAAO,SAAS,CAAC;YACrB,CAAC,CAAC,CAAC;YACH,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,qBAAqB,CAAC,WAAW,EAAE,gBAAgB,EAAE,EAAE,CAAC,CAAC,CAAC;YAEvF,OAAO,cAAc,CAAC;QAC1B,CAAC;QACD,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ;YAC1B,OAAO,MAAM,gBAAgB,CAAC,KAAK,UAAU,uBAAuB;gBAChE,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC;oBACd,OAAO,KAAK,CAAC;gBACjB,CAAC;gBAED,MAAM,iBAAiB,GAAG,gBAAgB,CAAC;gBAE3C,gBAAgB,GAAG,QAAQ,CAAC,SAAS,CAAC;gBACtC,MAAM,MAAM,GAAG;oBACX,GAAG,MAAM,qBAAqB,CAC1B,WAAW,EACX,iBAAiB,EACjB,QAAQ,CAAC,SAAS,CACrB;oBACD,GAAG,MAAM,eAAe,CAAC,QAAQ,EAAE,CAAC,EAAE,WAAW,CAAC;iBACrD,CAAC;gBAEF,cAAc,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;gBAE/B,OAAO,IAAI,CAAC;YAChB,CAAC,CAAC,CAAC;QACP,CAAC;KACJ,CAAC;AACN,CAAC;AAED,SAAS,mBAAmB,CAAC,cAAoC;IAC7D,IAAI,cAAc,KAAK,WAAW,EAAE,CAAC;QACjC,OAAO,KAAK,UAAU,cAAc,CAAQ,GAAyB;YACjE,OAAO,MAAM,GAAG,EAAE,CAAC;QACvB,CAAC,CAAC;IACN,CAAC;IAED,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC;IAErC,OAAO,KAAK,UAAU,gBAAgB,CAAQ,GAAyB;QACnE,OAAO,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC;AACN,CAAC;AAED,KAAK,UAAU,4BAA4B,CACvC,KAAkC,EAClC,QAAsB;IAEtB,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,WAAW,CAAC;IACxC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACrB,MAAM,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,WAAW,CAAC;QAC/B,OAAO,EAAE,CAAC;QACV,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,gBAAgB,EAAE,KAAK,CAAC,WAAW,EAAE;QAClE,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ;KACX,EAAE,IAAI,CAAC,CAAC;IACT,IAAI,SAAS,KAAK,IAAI,IAAI,MAAM,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,KAAK,MAAM,EAAE,CAAC;QACpG,KAAK,CAAC,WAAW,CAAC,kBAAkB,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO,QAAQ,CAAC;AACpB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAkC;IAC9D,MAAM,OAAO,GAAG;QACZ,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,mBAAmB,CAAC,aAAa,EAAE;QAC9D,CAAC,KAAK,CAAC,WAAW,CAAC,eAAe,EAAE;KACvC,CAAC;IAEF,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,KAAkC;IACpE,MAAM,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC,OAAO,CAAC;IAEpC,MAAM,SAAS,GAAG,mBAAmB,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAChE,MAAM,aAAa,GAAG,iCAAiC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3E,MAAM,cAAc,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,UAAU,sBAAsB,CAAC,QAAQ;QAC1F,OAAO,SAAS,CAAC,KAAK,UAAU,mBAAmB;YAC/C,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,SAAS,kBAAkB;gBAC3E,OAAO,sBAAsB,CAAC,KAAK,CAAC,CAAC;YACzC,CAAC,CAAC,CAAC;YAEH,OAAO,OAAO,CAAC,CAAC,CAAC,MAAM,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAChF,CAAC,CAAC,CAAC;IACP,CAAC,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,cAAc,CAAC,MAAM,CAAC,SAAS,cAAc,CAC/D,YAAY;QAEZ,OAAO,YAAY,KAAK,IAAI,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,OAAO;QACH,iBAAiB,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,gBAAgB,CAAC,YAAY;YAC3E,OAAO,YAAY,CAAC,cAAc,CAAC;QACvC,CAAC,CAAC;QACF,OAAO,EAAE,aAAa,CAAC,GAAG,CAAC,SAAS,SAAS,CAAC,YAAY;YACtD,OAAO,YAAY,CAAC,MAAM,CAAC;QAC/B,CAAC,CAAC;QACF,oBAAoB,EAAE,aAAa,CAAC,OAAO,CAAC,SAAS,cAAc,CAAC,YAAY;YAC5E,OAAO,YAAY,CAAC,YAAY,CAAC;QACrC,CAAC,CAAC;QACF,YAAY,EAAE,KAAK,CAAC,WAAW,CAAC,YAAY;QAC5C,mBAAmB,EAAE,MAAM,aAAa,CAAC,MAAM,EAAE;QACjD,iCAAiC,EAAE,iCAAiC,CAChE,aAAa,CAAC,GAAG,CAAC,SAAS,QAAQ,CAAC,YAAY;YAC5C,OAAO,YAAY,CAAC,eAAe,CAAC;QACxC,CAAC,CAAC,CACL;KACJ,CAAC;AACN,CAAC;AAED,KAAK,UAAU,8BAA8B,CACzC,KAAgC,EAChC,SAAqC;IAErC,MAAM,yBAAyB,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,uBAAuB,EAAE,CAAC;IACvF,MAAM,uBAAuB,GAAG,MAAM,sBAAsB,CAAC;QACzD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,OAAO,EAAE,EAAE,GAAG,KAAK,CAAC,OAAO,EAAE,SAAS,EAAE;QACxC,WAAW,EAAE,wBAAwB,CAAC,KAAK,CAAC,OAAO,CAAC,gBAAgB,CAAC;QACrE,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;KAC3B,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,+BAA+B,CACnD,KAAK,CAAC,OAAO,CAAC,YAAY,EAC1B,yBAAyB,CAC5B,CAAC;IACF,MAAM,YAAY,GAAG,eAAe,KAAK,IAAI;QACzC,CAAC,CAAC,uBAAuB,CAAC,YAAY;QACtC,CAAC,CAAC,CAAE,GAAG,uBAAuB,CAAC,YAAY,EAAE,eAAe,CAAE,CAAC;IACnE,MAAM,mBAAmB,GAAG,sBAAsB,CAAC,YAAY,EAAE,uBAAuB,CAAC,oBAAoB,CAAC,CAAC;IAC/G,MAAM,+BAA+B,GAAG,MAAM,uBAAuB,CACjE,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,mBAAmB,CACtB,CAAC;IAEF,OAAO;QACH,OAAO,EAAE,uBAAuB,CAAC,OAAO;QACxC,cAAc,EAAE;YACZ,GAAG,uBAAuB,CAAC,mBAAmB;YAC9C,GAAG,YAAY;YACf,GAAG,+BAA+B;YAClC,GAAG,uBAAuB,CAAC,iBAAiB;SAC/C;QACD,iCAAiC,EAAE,uBAAuB,CAAC,iCAAiC;KAC/F,CAAC;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAC9C,KAAgC;IAEhC,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,KAAK,uBAAuB,EAAE,CAAC;QAC3D,OAAO,MAAM,8BAA8B,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAChF,CAAC;IAED,OAAO,MAAM,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAC7C,CAAC"}

package/engine/identity.d.ts

@@ -23,6 +23,7 @@ export type WorkId = {
     readonly runtimes: readonly RuntimeId[];
     readonly workload: WorkloadId | null;
 };
+export declare function workIdentityKey(work: WorkId): string;
 export declare function formatCaseId(caseId: CaseId): string;
 export type AttemptId = {
     readonly index: number;

package/engine/identity.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"identity.d.ts","sourceRoot":"","sources":["../../../../source/engine/identity.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,MAAM,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AACjE,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvE,MAAM,MAAM,SAAS,GAAG;IACpB,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAC;CACxC,CAAC;AAEF,wBACI,MAaoC,MAkCN,eAoBkB,SAQA,CASnD;AACD,MAAM,MAAM,SAAS,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC"}
+{"version":3,"file":"identity.d.ts","sourceRoot":"","sources":["../../../../source/engine/identity.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,MAAM,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG,MAAM,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AACjE,MAAM,MAAM,uBAAuB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEvE,MAAM,MAAM,SAAS,GAAG;IACpB,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,SAAS,EAAE,CAAC;IACxC,QAAQ,CAAC,QAAQ,EAAE,UAAU,GAAG,IAAI,CAAC;CACxC,CAAC;AAEF,wBAwDgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAUpD;AAED,oCAQ4B,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CASnD;AACD,MAAM,MAAM,SAAS,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC"}

package/engine/property-node.d.ts

@@ -0,0 +1,30 @@
+import type { NonEmptyReadonlyArray } from '../assertion-protocol/assertion-node-shape.ts';
+export type PropertyPolicy = {
+    readonly version: 1;
+    readonly newTrials: number;
+    readonly maxSize: number;
+    readonly maxDepth: number;
+    readonly maxAutomaticEdges: number;
+    readonly maxExhaustiveValues: number;
+    readonly maxWork: number;
+    readonly maxShrinkWork: number;
+    readonly maxLabels: number;
+    readonly maxRetainedInputs: number;
+};
+export type PropertySettingsDeclaration = {
+    readonly kind: 'profile-default';
+} | {
+    readonly kind: 'settings';
+    readonly settings: unknown;
+};
+export type PropertyBodyDefinition = {
+    readonly kind: 'nested' | 'property';
+    readonly settingsDeclarations: NonEmptyReadonlyArray<PropertySettingsDeclaration>;
+};
+export type PropertyPolicyResolution = {
+    readonly kind: 'resolved';
+    readonly policy: PropertyPolicy;
+} | {
+    readonly kind: 'unresolved';
+};
+//# sourceMappingURL=property-node.d.ts.map

package/engine/property-node.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-node.d.ts","sourceRoot":"","sources":["../../../../source/engine/property-node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACE,qBAAqB,EAAE,MAAM,+CAA+C,CAAC;AAE3F,MAAM,MAAM,cAAc,GAAG;IACzB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,2BAI2B,GAAG;IACtC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;CACpC,GAAG;IACA,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACjC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,CAAC;IACrC,QAAQ,CAAC,oBAAoB,EAAE,qBAAqB,CAAC,2BAA2B,CAAC,CAAC;CACrF,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;CACnC,GAAG;IACA,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;CAC/B,CAAC"}

package/engine/property-node.js

@@ -0,0 +1,9 @@
+export function isPropertyBodyDefinition(value) {
+    if (typeof value !== 'object' || value === null) {
+        return false;
+    }
+    const kind = Reflect.get(value, 'kind');
+    const declarations = Reflect.get(value, 'settingsDeclarations');
+    return (kind === 'property' || kind === 'nested') && Array.isArray(declarations) && declarations.length > 0;
+}
+//# sourceMappingURL=property-node.js.map

package/engine/property-node.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"property-node.js","sourceRoot":"","sources":["../../../../source/engine/property-node.ts"],"names":[],"mappings":"AAuCA,MAAM,UAAU,wBAAwB,CAAC,KAAc;IACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,IAAI,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IACjD,MAAM,YAAY,GAAY,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,sBAAsB,CAAC,CAAC;IACzE,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,KAAK,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;AAChH,CAAC"}

package/engine/test-body.d.ts

@@ -0,0 +1,16 @@
+import { type PropertyBodyDefinition, type PropertyPolicyResolution } from './property-node.ts';
+export type PropertyBodyExecution<Body> = {
+    readonly kind: 'body';
+    readonly bodyMode: 'property';
+    readonly body: Body;
+    readonly definition: PropertyBodyDefinition;
+    readonly policy: PropertyPolicyResolution;
+};
+type BuilderBodyExecution<Body> = {
+    readonly kind: 'body';
+    readonly bodyMode: 'builder';
+    readonly body: Body;
+};
+export type FamilyBodyExecution<Body> = BuilderBodyExecution<Body> | PropertyBodyExecution<Body>;
+export {};
+//# sourceMappingURL=test-body.d.ts.map

package/engine/test-body.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-body.d.ts","sourceRoot":"","sources":["../../../../source/engine/test-body.ts"],"names":[],"mappings":"AAAA,OAAO,EAEH,KAAK,sBAAsB,EAC3B,KAAK,wBAAwB,EAChC,MAAM,oBAAoB,CAAC;MAMtB,MAmGM,qBAAqB,CAAC,IAAI,IAAI;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,sBAAsB,CAAC;IAC5C,QAAQ,CAAC,MAAM,EAAE,wBAAwB,CAAC;CAC7C,CAAC;AAEF,KAAK,oBAAoB,CAAC,IAAI,IAAI;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;CAAE,CAAC;AAChH,MAAM,MAAM,mBAAmB,CAAC,IAAI,IAAI,oBAAoB,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;AAEjG"}

package/engine/test-body.js

@@ -1,3 +1,4 @@
+import { isPropertyBodyDefinition } from "./property-node.js";
 const testBodyFamilyBrand = Symbol.for('@overkill-dev/engine/TestBodyFamily');
 function hasTestBodyFamily(value) {
     return typeof value === 'function' && Object.hasOwn(value, testBodyFamilyBrand);
@@ -25,4 +26,26 @@ export function resolveTestBodyWorkload(body, workload) {
     return hasWorkloadResolver(body) ? body[workloadResolverBrand](workload) : body;
 }
 
+export function propertyExecutionForDefinition(body, definition) {
+    return {
+        kind: 'body',
+        bodyMode: 'property',
+        body,
+        definition: { kind: definition.kind, settingsDeclarations: definition.settingsDeclarations },
+        policy: { kind: 'unresolved' }
+    };
+}
+function propertyExecutionForBody(body) {
+    const attachment = readTestBodyFamily(body);
+    if (attachment?.family !== 'property' || !isPropertyBodyDefinition(attachment.definition)) {
+        return null;
+    }
+    return propertyExecutionForDefinition(body, attachment.definition);
+}
+export function resolveFamilyBodyExecution(execution, workload) {
+    const body = resolveTestBodyWorkload(execution.body, workload);
+    return execution.bodyMode === 'property'
+        ? { ...execution, body }
+        : propertyExecutionForBody(body) ?? { ...execution, body };
+}
 //# sourceMappingURL=test-body.js.map

package/engine/test-body.js.map

@@ -1 +1 @@
-{"version":3,"file":"test-body.js","sourceRoot":"","sources":["../../../../source/engine/test-body.ts"],"names":[],"mappings":"AAGA,MAAM,mBAAmB,GAAG,MAAM,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;AAW9E,SAAS,iBAAiB,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC7C,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;;MAeK,+BAiB+B,CAAC,IAAa,EAAE,MAAyB;IAC1E,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;QAClD,MAAM,IAAI,SAAS,CAAC,qBAAqB,UAAU,CAAC,MAAM,iCAAiC,MAAM,IAAI,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,CAAC;AAC7B,CAAC;AAED,MAAM,qBAAqB,GAAG,MAAM,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;AAM1F,SAAS,mBAAmB,CAAO,IAAU;IACzC,OAAO,OAAO,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;AACpF,CAAC;;MAUK,UAAU,uBAAuB,CAAO,IAAU,EAAE,QAA8B;IACpF,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACpF,CAAC"}
+{"version":3,"file":"test-body.js","sourceRoot":"","sources":["../../../../source/engine/test-body.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,wBAAwB,EAG3B,MAAM,oBAAoB,CAAC;AAI5B,MAAM,mBAAmB,GAAG,MAAM,CAAC,GAAG,CAAC,qCAAqC,CAAC,CAAC;AAW9E,SAAS,iBAAiB,CAAC,KAAc;IACrC,OAAO,OAAO,KAAK,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;AACpF,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,KAAc;IAC7C,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACxE,CAAC;;MAeK,+BAiB+B,CAAC,IAAa,EAAE,MAAyB;IAC1E,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO,MAAM,CAAC;IAClB,CAAC;IACD,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,UAAU,CAAC,MAAM,EAAE,CAAC;QAClD,MAAM,IAAI,SAAS,CAAC,qBAAqB,UAAU,CAAC,MAAM,iCAAiC,MAAM,IAAI,CAAC,CAAC;IAC3G,CAAC;IACD,OAAO,UAAU,CAAC,MAAM,CAAC;AAC7B,CAAC;AAED,MAAM,qBAAqB,GAAG,MAAM,CAAC,GAAG,CAAC,+CAA+C,CAAC,CAAC;AAM1F,SAAS,mBAAmB,CAAO,IAAU;IACzC,OAAO,OAAO,IAAI,KAAK,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC,CAAC;AACpF,CAAC;;MAUK,UAAU,uBAAuB,CAAO,IAAU,EAAE,QAA8B;IACpF,OAAO,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACpF,CAAC;;MAgCK,UAAU,8BAA8B,CAC1C,IAAU,EACV,UAAkC;IAElC,OAAO;QACH,IAAI,EAAE,MAAM;QACZ,QAAQ,EAAE,UAAU;QACpB,IAAI;QACJ,UAAU,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,oBAAoB,EAAE,UAAU,CAAC,oBAAoB,EAAE;QAC5F,MAAM,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;KACjC,CAAC;AACN,CAAC;AAED,SAAS,wBAAwB,CAAO,IAAU;IAC9C,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,UAAU,EAAE,MAAM,KAAK,UAAU,IAAI,CAAC,wBAAwB,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QACxF,OAAO,IAAI,CAAC;IAChB,CAAC;IACD,OAAO,8BAA8B,CAAC,IAAI,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;AACvE,CAAC;AAED,MAAM,UAAU,0BAA0B,CACtC,SAAoC,EACpC,QAA8B;IAE9B,MAAM,IAAI,GAAG,uBAAuB,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/D,OAAO,SAAS,CAAC,QAAQ,KAAK,UAAU;QACpC,CAAC,CAAC,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE;QACxB,CAAC,CAAC,wBAAwB,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,CAAC;AACnE,CAAC"}

package/engine/test-node.d.ts

@@ -2,6 +2,7 @@ import type { AssertAssertionNode, AssertionResult } from '../assertion-protocol
 import type { NonEmptyReadonlyArray, ResolvableSourceLocation } from '../assertion-protocol/assertion-node-shape.ts';
 import type { BenchmarkTestCaseExecution as MeasurementExecution, BenchmarkTestCaseOptions as MeasurementOptions } from './benchmark-node.ts';
 import { type WorkloadVariant } from './workload-test-case.ts';
+import { type FamilyBodyExecution } from './test-body.ts';
 import type { InFlightTask } from './async-control.ts';
 import type { AssertAssertionFacade } from './assertion-facade.ts';
 import type { RequireAssertionFacade } from './require-assertion-facade.ts';
@@ -35,11 +36,12 @@ export type ThrowingTestScope = {
 };
 export type ThrowingTestBody = (scope: ThrowingTestScope) => Promise<void> | void;
 export type DefinitionLocations = NonEmptyReadonlyArray<ResolvableSourceLocation>;
-export type BuilderTestCaseExecution = {
-    readonly body: TestBody;
+export type BuilderTestCaseExecution = Extract<FamilyBodyExecution<TestBody>, {
     readonly bodyMode: 'builder';
-    readonly kind: 'body';
-};
+}>;
+export type PropertyTestCaseExecution = Extract<FamilyBodyExecution<TestBody>, {
+    readonly bodyMode: 'property';
+}>;
 export type ThrowingTestCaseExecution = {
     readonly body: ThrowingTestBody;
     readonly bodyMode: 'throwing';
@@ -49,7 +51,8 @@ export type SkippedTestCaseExecution = {
     readonly kind: 'skip';
     readonly reason: string;
 };
-export type BodyTestCaseExecution = BenchmarkTestCaseExecution | BuilderTestCaseExecution | ThrowingTestCaseExecution;
+type AssertionBodyExecution = BuilderTestCaseExecution | PropertyTestCaseExecution | ThrowingTestCaseExecution;
+export type BodyTestCaseExecution = AssertionBodyExecution | BenchmarkTestCaseExecution;
 type WorkloadId = WorkloadVariant<TestBody>['id'];
 type WorkloadParameters = NonNullable<WorkloadVariant<TestBody>['parameters']>;
 export type WorkloadTestCaseVariant = {
@@ -128,6 +131,9 @@ export type TestCaseDefinition = {
 export type TestCaseOptions = TestCaseDefinition & {
     readonly body: TestBody;
 };
+export type PropertyTestCaseOptions = TestCaseOptions & {
+    readonly definition: PropertyTestCaseExecution['definition'];
+};
 export type ThrowingTestCaseOptions = TestCaseDefinition & {
     readonly body: ThrowingTestBody;
 };

package/engine/test-node.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"test-node.d.ts","sourceRoot":"","sources":["../../../../source/engine/test-node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,eAAe,EAClB,MAAM,yCAAyC,CAAC;AACjD,OAAO,KAAK,EACR,qBAAqB,EACrB,wBAAwB,EAC3B,MAAM,+CAA+C,CAAC;AAEvD,OAAO,KAAK,EACR,0BAE0B,IAAI,oBAAoB,EAClD,wBAAwB,IAAI,kBAAkB,EACjD,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAgC,KAAK,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAE7F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAGH,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,UAAU,EAClB,MAAM,gBAAgB,CAAC;KAEZ,0BAEmB,GAAG,oBAAoB,CAAC;AACvD,MAAM,MAAM,wBAAwB,GAAG,kBAAkB,CAAC;AAE1D,QAAA,MAAM,aAAa,eAA8C,CAAC;AAClE,QAAA,MAAM,mBAAmB,eAAoD,CAAC;AAC9E,QAAA,MAAM,aAAa,eAA8C,CAAC;AAClE,QAAA,MAAM,kBAAkB,eAAmD,CAAC;AAC5E,QAAA,MAAM,qBAAqB,eAA2D,CAAC;AAGvF,MAAM,MAAM,sBAAsB,GAAG,qBAAqB,GAAG;IACzD,QAAQ,CAAC,OAAO,EAAE,MAAM,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;CACtE,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC;IACjE,QAAQ,CAAC,eAAe,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,eAAe,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC,KAAK,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,CAAC;IAC5F,QAAQ,CAAC,eAAe,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,SAAS,KAAK,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;AAExF,MAAM,MAAM,iBAAiB,GAAG;IAC5B,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAElF,MAAM,MAAM,mBAAmB,GAAG,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;AAElF,MAAM,MAAM,wBAAwB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,qBAAqB,GAAG,0BAA0B,GAAG,wBAAwB,GAAG,yBAAyB,CAAC;AAEtH,KAAK,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;AAClD,KAAK,kBAAkB,GAAG,WAAW,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;AAE/E,MAAM,MAAM,uBAAuB,GAAG;IAClC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,GAAG;IACA,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;CACxE,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,qBAAqB,GAAG,wBAAwB,GAAG,yBAAyB,CAAC;AAE7G,MAAM,MAAM,QAAQ,GAAG;IACnB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAChB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACpB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAChB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,GAAG,QAAQ,CAAC;AAEhD,MAAM,MAAM,QAAQ,GAAG;IACnB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IACxB,QAAQ,CAAC,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,kBAgBkB,GAAG;IAC7B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,kBAAkB,GAAG;IAC/C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,kBAAkB,GAAG;IACvD,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,kBAAkB,GAAG;IACvD,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC,uBAAuB,CAAC,CAAC;CACtE,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACjC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACtB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACvB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC3B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACvB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF"}
+{"version":3,"file":"test-node.d.ts","sourceRoot":"","sources":["../../../../source/engine/test-node.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,eAAe,EAClB,MAAM,yCAAyC,CAAC;AACjD,OAAO,KAAK,EACR,qBAAqB,EACrB,wBAAwB,EAC3B,MAAM,+CAA+C,CAAC;AAEvD,OAAO,KAAK,EACR,0BAE0B,IAAI,oBAAoB,EAClD,wBAAwB,IAAI,kBAAkB,EACjD,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAgC,KAAK,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC7F,OAAO,EAEH,KAAK,mBAAmB,EAE3B,MAAM,gBAAgB,CAAC;AACxB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,EAGH,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,UAAU,EAClB,MAAM,gBAAgB,CAAC;KAEZ,0BAEmB,GAAG,oBAAoB,CAAC;AACvD,MAAM,MAAM,wBAAwB,GAAG,kBAAkB,CAAC;AAE1D,QAAA,MAAM,aAAa,eAA8C,CAAC;AAClE,QAAA,MAAM,mBAAmB,eAAoD,CAAC;AAC9E,QAAA,MAAM,aAAa,eAA8C,CAAC;AAClE,QAAA,MAAM,kBAAkB,eAAmD,CAAC;AAC5E,QAAA,MAAM,qBAAqB,eAA2D,CAAC;AAGvF,MAAM,MAAM,sBAAsB,GAAG,qBAAqB,GAAG;IACzD,QAAQ,CAAC,OAAO,EAAE,MAAM,qBAAqB,CAAC,mBAAmB,CAAC,CAAC;CACtE,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,sBAAsB,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC;IACjE,QAAQ,CAAC,eAAe,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,eAAe,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC,KAAK,CAAC,KAAK,YAAY,CAAC,KAAK,CAAC,CAAC;IAC5F,QAAQ,CAAC,eAAe,EAAE,MAAM,OAAO,CAAC,IAAI,CAAC,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,SAAS,KAAK,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;AAExF,MAAM,MAAM,iBAAiB,GAAG;IAC5B,QAAQ,CAAC,MAAM,EAAE,qBAAqB,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,sBAAsB,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,iBAAiB,KAAK,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;AAElF,MAAM,MAAM,mBAAmB,GAAG,qBAAqB,CAAC,wBAAwB,CAAC,CAAC;AAElF,MAAM,MAAM,wBAAwB,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE;IAAE,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAAE,CAAC,CAAC;AACjH,MAAM,MAAM,yBAAyB,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE;IAAE,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;CAAE,CAAC,CAAC;AAEnH,MAAM,MAAM,yBAAyB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,KAAK,sBAAsB,GAAG,wBAAwB,GAAG,yBAAyB,GAAG,yBAAyB,CAAC;AAC/G,MAAM,MAAM,qBAAqB,GAAG,sBAAsB,GAAG,0BAA0B,CAAC;AAExF,KAAK,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC;AAClD,KAAK,kBAAkB,GAAG,WAAW,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;AAE/E,MAAM,MAAM,uBAAuB,GAAG;IAClC,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,GAAG;IACA,QAAQ,CAAC,EAAE,EAAE,UAAU,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAC;IACxC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,yBAAyB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;CACxE,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG,qBAAqB,GAAG,wBAAwB,GAAG,yBAAyB,CAAC;AAE7G,MAAM,MAAM,QAAQ,GAAG;IACnB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,iBAAiB,CAAC;IACtC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAChB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACpB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,KAAK,GAAG;IAChB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,GAAG,QAAQ,CAAC;AAEhD,MAAM,MAAM,QAAQ,GAAG;IACnB,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,CAAC;IAC/B,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAClD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,aAAa,CAAC;IAC7C,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IACxB,QAAQ,CAAC,CAAC,qBAAqB,CAAC,EAAE,IAAI,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,kBAiBkB,GAAG;IAC7B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG,kBAAkB,GAAG;IAC/C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,eAAe,GAAG;IACpD,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAC,YAAY,CAAC,CAAC;CAChE,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,kBAAkB,GAAG;IACvD,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG,kBAAkB,GAAG;IACvD,QAAQ,CAAC,SAAS,EAAE,qBAAqB,CAAC,uBAAuB,CAAC,CAAC;CACtE,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACjC,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACtB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACvB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC3B,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACvB,QAAQ,CAAC,WAAW,EAAE,oBAAoB,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,mBAAmB,EAAE,mBAAmB,CAAC;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF"}

package/engine/test-node.js

@@ -1,6 +1,6 @@
-import { ensureValidSourceLocation } from "../assertion-protocol/source-location.js";
+import { ensureDefinitionLocations } from "../assertion-protocol/source-location.js";
 import { readWorkloadTestCaseVariants } from "./workload-test-case.js";
-import { resolveTestBodyFamily } from "./test-body.js";
+import { propertyExecutionForDefinition, resolveTestBodyFamily } from "./test-body.js";
 import { normalizeTestAnnotations, normalizeTestControls } from "./test-data.js";
 const testNodeBrand = Symbol.for('@overkill-dev/engine/TestNode');
 const testNodeFamilyBrand = Symbol.for('@overkill-dev/engine/TestNodeFamily');
@@ -52,16 +52,6 @@ function readSkipReason(reason) {
     }
     return trimmedReason;
 }
-function ensureDefinitionLocations(definitionLocations) {
-    if (definitionLocations.length === 0) {
-        throw new TypeError('Test node definition locations must contain at least one location.');
-    }
-    for (const location of definitionLocations) {
-        if (typeof location !== 'function') {
-            ensureValidSourceLocation(location);
-        }
-    }
-}
 export function isTestNode(value) {
     return typeof value === 'object' && value !== null && Object.hasOwn(value, testNodeBrand);
 }
@@ -126,23 +116,6 @@ export function createTestNodeFactory(factoryOptions) {
         recordConstructedNode(testCase);
         return testCase;
     }
-    function createBenchmarkTestCase(options) {
-        if (options.workloads.length === 0) {
-            throw new TypeError('Benchmark must declare at least one workload.');
-        }
-        return createExecutableTestCase(options, {
-            resourceBody: options.resourceBody,
-            definition: options.definition,
-            body: options.body,
-            bodyMode: 'benchmark',
-            kind: 'body',
-            workloads: Object.freeze(Array.from(options.workloads))
-        }, 'benchmark');
-    }
-    function createSkippedTestCase(options) {
-        const reason = readSkipReason(options.reason);
-        return createExecutableTestCase(options, { kind: 'skip', reason }, null);
-    }
     function createRoot(options) {
         ensureTitleValue(options.title);
         ensureTitle(options.title);
@@ -208,10 +181,29 @@ export function createTestNodeFactory(factoryOptions) {
         return table;
     }
     return {
-        createBenchmarkTestCase,
+        createPropertyTestCase(options) {
+            ensureTestBody(options.body);
+            return createExecutableTestCase(options, propertyExecutionForDefinition(options.body, options.definition), 'property');
+        },
+        createBenchmarkTestCase(options) {
+            if (options.workloads.length === 0) {
+                throw new TypeError('Benchmark must declare at least one workload.');
+            }
+            return createExecutableTestCase(options, {
+                resourceBody: options.resourceBody,
+                definition: options.definition,
+                body: options.body,
+                bodyMode: 'benchmark',
+                kind: 'body',
+                workloads: Object.freeze(Array.from(options.workloads))
+            }, 'benchmark');
+        },
         createRoot,
         createSuite,
-        createSkippedTestCase,
+        createSkippedTestCase(options) {
+            const reason = readSkipReason(options.reason);
+            return createExecutableTestCase(options, { kind: 'skip', reason }, null);
+        },
         createTable,
         createTestCase(options) {
             ensureTestBody(options.body);