@systemfsoftware/stryker-js-plugin-interface 7.1.0 → 7.2.0

package/CHANGELOG.md

@@ -1,5 +1,17 @@
 # @systemfsoftware/stryker-js-plugin-interface
 
+## 7.2.0
+
+### Minor Changes
+
+- A finite mutant is killed or survived from its tests. Timeout is reserved for one named nonterminating trap, detected by a hit bound rather than a wall-clock budget. A wall-clock timeout fails the run instead of being stored as a detected mutant.
+
+## 7.1.1
+
+### Patch Changes
+
+- Effect moves to `4.0.0-rc.116` (with `@effect/platform-node`, `@effect/platform-node-shared`, `@effect/vitest` and `@effect/opentelemetry` on the same release), the `@systemfsoftware/*` toolchain pins move to their current releases, and `vitest` 5 with `oxc-parser` 0.150 come along. Both worker bundles (`stryker-js-typescript-checker`, `stryker-js-vitest-runner`) now inline their whole runtime rather than resolving `effect`, `@effect/*` and the sibling packages from the host's tree, so a worker runs on its own copy of the effect that built it; the project's `typescript` and `vitest` remain the only imports beside Node builtins. The filter-level `arbitrary.candidate` generators that the thresholds schemas carried are gone: v4 no longer reads them, so thresholds still reject a `low` above `high` and the property tests generate the pair from the schema again. Log calls inside `Effect.catch*` handlers moved to `Effect.tapError`/`Effect.tapCause` at the same level and message. `@systemfsoftware/stryker-ignorer-interface` re-exports the 0.150 AST, where `FormalParameterRest.decorators` is now `Array<Decorator>`.
+
 ## 7.1.0
 
 ### Minor Changes

package/dist/index.d.mts

@@ -419,10 +419,18 @@ export declare const FrameworkInformationSchema: S.Struct<{
     readonly dependencies: S.optional<S.$Record<S.String, S.String>>;
 }>;
 
+export declare const HIT_LIMIT_REASON_PREFIX = "Hit limit reached";
+
+export declare const hitLimitReachedReason: (count: number, limit: number) => string;
+
 export declare const InvalidStatus: S.Union<readonly [S.Literal<"CompileError">, S.Literal<"RuntimeError">]>;
 
 export declare const isCustomTestRunner: (value: TestRunnerConfig) => value is TestRunnerCustomConfig;
 
+export declare const isHitLimitReason: (reason: string | undefined) => boolean;
+
+export declare const isNamedTrap: (activeMutantId: string, namedTrapId: string | undefined) => boolean;
+
 export declare interface KilledMutantRunResult {
     readonly status: 'killed';
     readonly killedBy: readonly string[];
@@ -579,11 +587,19 @@ declare const MutantTested_base: S.Class<MutantTested, S.TaggedStruct<"mutantTes
 
 export declare type MutationScoreThresholds = typeof MutationScoreThresholdsSchema.Type;
 
-export declare const MutationScoreThresholdsSchema: S.Struct<{
+export declare const MutationScoreThresholdsSchema: S.decodeTo<S.declare<{
+    readonly high: number;
+    readonly low: number;
+    readonly break: number | null;
+}, {
+    readonly high: number;
+    readonly low: number;
+    readonly break: number | null;
+}>, S.Struct<{
     readonly high: S.withDecodingDefaultKey<S.Finite, never>;
     readonly low: S.withDecodingDefaultKey<S.Finite, never>;
     readonly break: S.withDecodingDefaultKey<S.NullOr<S.Finite>, never>;
-}>;
+}>, never, never>;
 
 export declare class MutationTestingPlanReady extends MutationTestingPlanReady_base {}
 
@@ -629,10 +645,16 @@ declare const MutationTestReportReady_base: S.Class<MutationTestReportReady, S.T
                 readonly duration: S.optional<S.Finite>;
             }>>;
         }>>;
-        readonly thresholds: S.Struct<{
+        readonly thresholds: S.decodeTo<S.declare<{
+            readonly high: number;
+            readonly low: number;
+        }, {
+            readonly high: number;
+            readonly low: number;
+        }>, S.Struct<{
             readonly high: S.Finite;
             readonly low: S.Finite;
-        }>;
+        }>, never, never>;
         readonly config: S.optional<S.$Record<S.String, S.Unknown>>;
         readonly testFiles: S.optional<S.$Record<S.String, S.Struct<{
             readonly source: S.optional<S.String>;
@@ -696,10 +718,16 @@ export declare const MutationTestResultSchema: S.Struct<{
             readonly duration: S.optional<S.Finite>;
         }>>;
     }>>;
-    readonly thresholds: S.Struct<{
+    readonly thresholds: S.decodeTo<S.declare<{
+        readonly high: number;
+        readonly low: number;
+    }, {
+        readonly high: number;
+        readonly low: number;
+    }>, S.Struct<{
         readonly high: S.Finite;
         readonly low: S.Finite;
-    }>;
+    }>, never, never>;
     readonly config: S.optional<S.$Record<S.String, S.Unknown>>;
     readonly testFiles: S.optional<S.$Record<S.String, S.Struct<{
         readonly source: S.optional<S.String>;
@@ -949,11 +977,19 @@ export declare const StrykerOptionsSchema: S.StructWithRest<S.Struct<{
         readonly options: S.optional<S.$Record<S.String, S.Unknown>>;
     }>]>, never>;
     readonly testRunnerNodeArgs: S.withDecodingDefaultKey<S.$Array<S.String>, never>;
-    readonly thresholds: S.withDecodingDefaultKey<S.Struct<{
+    readonly thresholds: S.withDecodingDefaultKey<S.decodeTo<S.declare<{
+        readonly high: number;
+        readonly low: number;
+        readonly break: number | null;
+    }, {
+        readonly high: number;
+        readonly low: number;
+        readonly break: number | null;
+    }>, S.Struct<{
         readonly high: S.withDecodingDefaultKey<S.Finite, never>;
         readonly low: S.withDecodingDefaultKey<S.Finite, never>;
         readonly break: S.withDecodingDefaultKey<S.NullOr<S.Finite>, never>;
-    }>, never>;
+    }>, never, never>, never>;
     readonly timeoutFactor: S.withDecodingDefaultKey<S.Finite, never>;
     readonly timeoutMS: S.withDecodingDefaultKey<S.Finite, never>;
     readonly dryRunTimeoutMinutes: S.withDecodingDefaultKey<S.Finite, never>;
@@ -1167,10 +1203,16 @@ export declare type TestStatus = typeof TestStatus.Type;
 
 export declare type Thresholds = typeof ThresholdsSchema.Type;
 
-export declare const ThresholdsSchema: S.Struct<{
+export declare const ThresholdsSchema: S.decodeTo<S.declare<{
+    readonly high: number;
+    readonly low: number;
+}, {
+    readonly high: number;
+    readonly low: number;
+}>, S.Struct<{
     readonly high: S.Finite;
     readonly low: S.Finite;
-}>;
+}>, never, never>;
 
 export declare interface TimeoutDryRunResult {
     readonly status: 'timeout';
@@ -1212,6 +1254,10 @@ export declare const UndetectedStatus: S.Union<readonly [S.Literal<"Survived">,
 
 export declare const UntestedStatus: S.Union<readonly [S.Literal<"Ignored">, S.Literal<"Pending">]>;
 
+export declare const WALL_CLOCK_TIMEOUT_REASON = "wall-clock-timeout";
+
+export declare const wallClockTimeoutStopsRun: (status: string, reason: string | undefined) => boolean;
+
 export declare const WorkerEntryUrl: S.String;
 
 export declare type WorkerEntryUrl = typeof WorkerEntryUrl.Type;

package/dist/index.mjs

@@ -3,8 +3,8 @@ import * as Context from "effect/Context";
 import * as S from "effect/Schema";
 import * as Rpc from "effect/unstable/rpc/Rpc";
 import * as RpcGroup from "effect/unstable/rpc/RpcGroup";
+import { Effect, SchemaGetter, SchemaTransformation } from "effect";
 import * as RpcMiddleware from "effect/unstable/rpc/RpcMiddleware";
-import { Effect } from "effect";
 import * as Match from "effect/Match";
 import * as Option from "effect/Option";
 //#region src/Checker.schema.ts
@@ -155,6 +155,14 @@ const MetricsResultSchema = S.Struct({
 	childResults: S.Array(S.suspend(() => MetricsResultSchema))
 }).annotate({ identifier: "MetricsResult" });
 //#endregion
+//#region src/mutant-timeout-reason.ts
+const HIT_LIMIT_REASON_PREFIX = "Hit limit reached";
+const WALL_CLOCK_TIMEOUT_REASON = "wall-clock-timeout";
+const hitLimitReachedReason = (count, limit) => `${HIT_LIMIT_REASON_PREFIX} (${count}/${limit})`;
+const isHitLimitReason = (reason) => reason !== void 0 && reason.startsWith("Hit limit reached");
+const isNamedTrap = (activeMutantId, namedTrapId) => namedTrapId !== void 0 && activeMutantId === namedTrapId;
+const wallClockTimeoutStopsRun = (status, reason) => status === "timeout" && !isHitLimitReason(reason);
+//#endregion
 //#region src/Report.schema.ts
 const MutantResultSchema = S.Struct({
 	id: S.String,
@@ -186,24 +194,30 @@ const TestFileSchema = S.Struct({
 	tests: S.Array(TestDefinitionSchema)
 });
 const TestFileDefinitionDictionarySchema = S.Record(S.String, TestFileSchema);
-const ThresholdsSchema = S.Struct({
+const ThresholdsValuesSchema = S.Struct({
 	high: Percentage,
 	low: Percentage
-}).pipe(S.check(S.makeFilter((t) => t.low <= t.high, {
-	expected: "thresholds where low <= high",
-	arbitrary: { candidate: { make: (fc) => fc.tuple(fc.float({
-		min: 0,
-		max: 100,
-		noNaN: true
-	}), fc.float({
-		min: 0,
-		max: 100,
-		noNaN: true
-	})).map(([a, b]) => ({
-		high: Math.max(a, b),
-		low: Math.min(a, b)
-	})) } }
-})));
+});
+const isThresholds = (value) => S.is(ThresholdsValuesSchema)(value) && value.low <= value.high;
+/**
+* The pair is *built* ordered — a drawn pair is sorted — rather than drawn at
+* random and discarded until it happens to be ordered. The invariant lives on
+* the declaration because a filter over the pair cannot express `low <= high`
+* in the generation-constraint vocabulary, and only a declaration carries a
+* `toCodecArbitrary` derivation. `ThresholdsValuesSchema` stays the wire side, so
+* decoding keeps its field paths.
+*/
+const OrderedThresholds = S.declare(isThresholds, {
+	message: "expected thresholds where low <= high",
+	toCodecArbitrary: () => S.link()(ThresholdsValuesSchema, {
+		decode: SchemaGetter.transform(({ high, low }) => ({
+			high: Math.max(high, low),
+			low: Math.min(high, low)
+		})),
+		encode: SchemaGetter.transform((thresholds) => thresholds)
+	})
+});
+const ThresholdsSchema = ThresholdsValuesSchema.pipe(S.decodeTo(OrderedThresholds, SchemaTransformation.passthrough()));
 const BrandingInformationSchema = S.Struct({
 	homepageUrl: S.String,
 	imageUrl: S.optional(S.String)
@@ -548,30 +562,32 @@ const ClearTextReporterOptions = openStruct({
 });
 const HtmlReporterOptions = S.Struct({ fileName: defaulted(S.String, "reports/mutation/mutation.html") });
 const JsonReporterOptions = S.Struct({ fileName: defaulted(S.String, "reports/mutation/mutation.json") });
-const MutationScoreThresholdsSchema = S.Struct({
+const MutationScoreThresholdsValuesSchema = S.Struct({
 	high: defaulted(Percentage, 80),
 	low: defaulted(Percentage, 60),
 	break: defaulted(S.NullOr(Percentage), null)
-}).pipe(S.check(S.makeFilter((t) => t.low <= t.high, {
-	expected: "thresholds where low <= high",
-	arbitrary: { candidate: { make: (fc) => fc.tuple(fc.float({
-		min: 0,
-		max: 100,
-		noNaN: true
-	}), fc.float({
-		min: 0,
-		max: 100,
-		noNaN: true
-	}), fc.option(fc.float({
-		min: 0,
-		max: 100,
-		noNaN: true
-	}), { nil: null })).map(([a, b, brk]) => ({
-		high: Math.max(a, b),
-		low: Math.min(a, b),
-		break: brk
-	})) } }
-})));
+});
+const isMutationScoreThresholds = (value) => S.is(MutationScoreThresholdsValuesSchema)(value) && value.low <= value.high;
+/**
+* The pair is *built* ordered — a drawn pair is sorted — rather than drawn at
+* random and discarded until it happens to be ordered. The invariant lives on
+* the declaration because a filter over the pair cannot express `low <= high`
+* in the generation-constraint vocabulary, and only a declaration carries a
+* `toCodecArbitrary` derivation. The struct stays the wire side, so decoding
+* keeps member defaults and field paths.
+*/
+const OrderedMutationScoreThresholds = S.declare(isMutationScoreThresholds, {
+	message: "expected thresholds where low <= high",
+	toCodecArbitrary: () => S.link()(MutationScoreThresholdsValuesSchema, {
+		decode: SchemaGetter.transform(({ break: breaking, high, low }) => ({
+			break: breaking,
+			high: Math.max(high, low),
+			low: Math.min(high, low)
+		})),
+		encode: SchemaGetter.transform((thresholds) => thresholds)
+	})
+});
+const MutationScoreThresholdsSchema = MutationScoreThresholdsValuesSchema.pipe(S.decodeTo(OrderedMutationScoreThresholds, SchemaTransformation.passthrough()));
 const MutatorDescriptor = S.Struct({ excludedMutations: defaulted(S.Array(S.String), []) });
 const WarningOptions = openStruct({
 	unknownOptions: defaulted(S.Boolean, true),
@@ -796,4 +812,4 @@ const parseTraceparent = (value) => {
 };
 const TraceContextReference = Context.Reference("@systemfsoftware/stryker-js-plugin-interface/TraceContextReference", { defaultValue: () => Option.none() });
 //#endregion
-export { BoundaryErrorSchema, BoundaryPayloadRejected, BoundaryUnrecognizedSignal, BrandingInformationSchema, CheckResultSchema, CheckStatus, Checker, CheckerCheckResult, CheckerCustomConfigSchema, CheckerEntryConfigSchema, CheckerFailed, CheckerGroupResult, CheckerMutantWire, CheckerRequest, CheckerRpcs, CommandRunnerOptionsSchema, CoverageAnalysisMode, CoverageAnalysisSchema, DependenciesSchema, DetectedStatus, DryRunCompleted, DryRunOptionsSchema, DryRunResultSchema, DryRunStatus, EXIT_CODE, Evaluator, EvaluatorFailed, ExitClass, FileResultDictionarySchema, FileResultSchema, FrameworkInformationSchema, InvalidStatus, LocationSchema, LogLevel, Metrics, MetricsResultSchema, MetricsSchema, MutantActivationSchema, MutantCoverageSchema, MutantResultSchema, MutantRunOptionsSchema, MutantRunResultSchema, MutantRunStatus, MutantStatusSchema, MutantTested, MutationScoreThresholdsSchema, MutationTestReportReady, MutationTestResultSchema, MutationTestingPlanReady, NonNegativeFinite, NonNegativeInt, OpenEndLocationSchema, PackageManager, Percentage, PluginFileUrl, PositionSchema, PropagatedTrace, RENDERED_OPTION_DEFAULTS, ReportType, ReporterAck, ReporterDrained, ReporterEventBatch, ReporterEventKind, ReporterEventSchema, ReporterEventUnion, ReporterFailed, ReporterInitOptions, ReporterPlanDescriptorSchema, ReporterPlanKind, ReporterRpcs, RunTimingSchema, StrykerOptionsSchema, TRACEPARENT_HEADER, TRACESTATE_HEADER, TestDefinitionSchema, TestFileDefinitionDictionarySchema, TestFileSchema, TestResultSchema, TestRunner, TestRunnerCapabilitiesSchema, TestRunnerConfigSchema, TestRunnerCustomConfigSchema, TestRunnerDryRunRequest, TestRunnerFailed, TestRunnerMutantRunRequest, TestRunnerRpcs, TestStatus, ThresholdsSchema, TraceContextMiddleware, TraceContextReference, UndetectedStatus, UntestedStatus, WorkerEntryUrl, WorkerPluginKind, WorkerPluginSpawnSchema, formatTraceparent, isCustomTestRunner, parseTraceparent, propertyPath, strykerCoreSchema, strykerReportBugUrl, testFilesProvided, toMutantRunResult };
+export { BoundaryErrorSchema, BoundaryPayloadRejected, BoundaryUnrecognizedSignal, BrandingInformationSchema, CheckResultSchema, CheckStatus, Checker, CheckerCheckResult, CheckerCustomConfigSchema, CheckerEntryConfigSchema, CheckerFailed, CheckerGroupResult, CheckerMutantWire, CheckerRequest, CheckerRpcs, CommandRunnerOptionsSchema, CoverageAnalysisMode, CoverageAnalysisSchema, DependenciesSchema, DetectedStatus, DryRunCompleted, DryRunOptionsSchema, DryRunResultSchema, DryRunStatus, EXIT_CODE, Evaluator, EvaluatorFailed, ExitClass, FileResultDictionarySchema, FileResultSchema, FrameworkInformationSchema, HIT_LIMIT_REASON_PREFIX, InvalidStatus, LocationSchema, LogLevel, Metrics, MetricsResultSchema, MetricsSchema, MutantActivationSchema, MutantCoverageSchema, MutantResultSchema, MutantRunOptionsSchema, MutantRunResultSchema, MutantRunStatus, MutantStatusSchema, MutantTested, MutationScoreThresholdsSchema, MutationTestReportReady, MutationTestResultSchema, MutationTestingPlanReady, NonNegativeFinite, NonNegativeInt, OpenEndLocationSchema, PackageManager, Percentage, PluginFileUrl, PositionSchema, PropagatedTrace, RENDERED_OPTION_DEFAULTS, ReportType, ReporterAck, ReporterDrained, ReporterEventBatch, ReporterEventKind, ReporterEventSchema, ReporterEventUnion, ReporterFailed, ReporterInitOptions, ReporterPlanDescriptorSchema, ReporterPlanKind, ReporterRpcs, RunTimingSchema, StrykerOptionsSchema, TRACEPARENT_HEADER, TRACESTATE_HEADER, TestDefinitionSchema, TestFileDefinitionDictionarySchema, TestFileSchema, TestResultSchema, TestRunner, TestRunnerCapabilitiesSchema, TestRunnerConfigSchema, TestRunnerCustomConfigSchema, TestRunnerDryRunRequest, TestRunnerFailed, TestRunnerMutantRunRequest, TestRunnerRpcs, TestStatus, ThresholdsSchema, TraceContextMiddleware, TraceContextReference, UndetectedStatus, UntestedStatus, WALL_CLOCK_TIMEOUT_REASON, WorkerEntryUrl, WorkerPluginKind, WorkerPluginSpawnSchema, formatTraceparent, hitLimitReachedReason, isCustomTestRunner, isHitLimitReason, isNamedTrap, parseTraceparent, propertyPath, strykerCoreSchema, strykerReportBugUrl, testFilesProvided, toMutantRunResult, wallClockTimeoutStopsRun };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@systemfsoftware/stryker-js-plugin-interface",
-  "version": "7.1.0",
+  "version": "7.2.0",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/systemfsoftware/stryker-js-effect.git",
@@ -18,24 +18,24 @@
     "node": ">=20.0.0"
   },
   "dependencies": {
-    "effect": "4.0.0-rc.112",
-    "@systemfsoftware/stryker-js-instrumenter": "^8.0.0"
+    "effect": "4.0.0-rc.116",
+    "@systemfsoftware/stryker-js-instrumenter": "^8.0.1"
   },
   "devDependencies": {
     "@effect/tsgo": "^0.45.0",
     "@microsoft/api-extractor": "^7",
-    "@systemfsoftware/all": "^2",
-    "@systemfsoftware/arethetypeswrong-cli": "^4",
-    "@systemfsoftware/effect-schema-law": "^2",
-    "@systemfsoftware/effect-schema-vite": "^2",
-    "@systemfsoftware/tsconfig": "^1",
+    "@systemfsoftware/arethetypeswrong-cli": "^4.2.0",
+    "@systemfsoftware/effect-schema-law": "^2.2.1",
+    "@systemfsoftware/effect-schema-vite": "^2.2.1",
+    "@systemfsoftware/oxlint-config-recommended": "^1.0.0",
+    "@systemfsoftware/tsconfig": "^1.3.6",
     "@types/node": "^24",
     "oxlint": "^1",
     "oxlint-tsgolint": "^7",
     "rimraf": "^6.1.3",
     "tsdown": "^0.23.0",
     "typescript": "^7",
-    "vitest": "^4",
+    "vitest": "^5",
     "@systemfsoftware/tsdown-config": "^0.1.0",
     "@systemfsoftware/vitest-config": "^0.1.0"
   },