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

package/CHANGELOG.md

@@ -1,5 +1,11 @@
 # @systemfsoftware/stryker-js-plugin-interface
 
+## 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

@@ -579,11 +579,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 +637,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 +710,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 +969,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 +1195,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';

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
@@ -186,24 +186,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 +554,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),

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@systemfsoftware/stryker-js-plugin-interface",
-  "version": "7.1.0",
+  "version": "7.1.1",
   "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",
+    "effect": "4.0.0-rc.116",
     "@systemfsoftware/stryker-js-instrumenter": "^8.0.0"
   },
   "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/all": "^2.1.1",
+    "@systemfsoftware/arethetypeswrong-cli": "^4.2.0",
+    "@systemfsoftware/effect-schema-law": "^2.2.0",
+    "@systemfsoftware/effect-schema-vite": "^2.2.0",
+    "@systemfsoftware/tsconfig": "^1.3.5",
     "@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"
   },