@systemfsoftware/stryker-js-typescript-checker 3.0.0 → 3.0.2

package/CHANGELOG.md

@@ -1,5 +1,19 @@
 # @systemfsoftware/stryker-js-typescript-checker
 
+## 3.0.2
+
+### Patch Changes
+
+- Re-published against the oxc-based instrumenter: workspace dependency ranges move to the new instrumenter major; no package's own behavior changes in this release.
+
+## 3.0.1
+
+### Patch Changes
+
+- When two or more mutants in one TypeScript project file produce a compiler error that cannot be blamed on exactly one of them, `check` now rechecks each mutant alone. A mutant that typechecks by itself is reported `passed`. A mutant that fails typecheck by itself is reported `compileError`.
+
+- Peer Effect requirement advances to 4.0.0-rc.112. No API changes.
+
 ## 3.0.0
 
 ### Major Changes

package/dist/index.mjs

@@ -59,8 +59,8 @@ var CompilerFailed = class extends S.TaggedError()("CompilerFailed", {
 * Checker — pure check decision.
 *
 * `Workflow.make` lives here and only here. The workflow receives a fully
-* decoded input (mutants + diagnostics + file graph) and produces the
-* pass/compileError map without touching I/O.
+* decoded input (mutants + diagnostics + file graph) and produces results plus
+* `needsRetest` without touching I/O.
 */
 var DiagnosticWithoutFileError = class extends S.TaggedError()("DiagnosticWithoutFileError", { text: Wire.mint(S.String) }) {};
 var DiagnosticInUnrelatedFileError = class extends S.TaggedError()("DiagnosticInUnrelatedFileError", {
@@ -131,22 +131,37 @@ const buildResult = (input) => {
 	const mutants = input.mutants;
 	const diagnostics = input.diagnostics;
 	const nodes = input.nodes;
-	const result = {};
-	for (const m of mutants) result[m.id] = { status: "passed" };
-	if (mutants.length === 0) return Result$1.succeed(result);
+	if (mutants.length === 0) return Result$1.succeed({
+		results: {},
+		needsRetest: []
+	});
 	const first = mutants[0];
-	if (first === void 0 || nodes[normalizeFileName$3(first.fileName)] === void 0) return Result$1.succeed(result);
+	if (first === void 0 || nodes[normalizeFileName$3(first.fileName)] === void 0) {
+		const results = {};
+		for (const m of mutants) results[m.id] = { status: "passed" };
+		return Result$1.succeed({
+			results,
+			needsRetest: []
+		});
+	}
 	const classified = classifyDiagnosticsPure(diagnostics, mutants, nodes);
 	if (Result$1.isFailure(classified)) return Result$1.fail(classified.failure);
-	const { definitive } = classified.success;
-	for (const id of Object.keys(definitive)) {
-		const diags = definitive[id];
-		if (diags !== void 0) result[id] = {
+	const { definitive, needsRetest } = classified.success;
+	const retestIds = {};
+	for (const m of needsRetest) retestIds[m.id] = true;
+	const results = {};
+	for (const m of mutants) {
+		const diags = definitive[m.id];
+		if (diags !== void 0) results[m.id] = {
 			status: "compileError",
 			reason: diags.map((d) => d.text).join("\n")
 		};
+		else if (retestIds[m.id] !== true) results[m.id] = { status: "passed" };
 	}
-	return Result$1.succeed(result);
+	return Result$1.succeed({
+		results,
+		needsRetest
+	});
 };
 const checkMutants = Workflow.make(CheckMutantsInput, (input) => buildResult(input));
 //#endregion
@@ -1135,15 +1150,7 @@ const makeCheckDescription = (compiler) => pipe(Cell.read((command) => Effect.ge
 		mutantIds: [],
 		cause: errorToString(failure)
 	})),
-	onSuccess: (record) => {
-		let map = HashMap.empty();
-		for (const [id, value] of Object.entries(record)) if (value.status === "passed") map = HashMap.set(map, id, { status: "passed" });
-		else map = HashMap.set(map, id, {
-			status: "compileError",
-			reason: value.reason
-		});
-		return Effect.succeed(map);
-	}
+	onSuccess: (decision) => Effect.succeed(decision)
 })));
 function makeCheckerService({ options, compiler }) {
 	const formatDiagnostic = (error) => Effect.gen(function* () {
@@ -1186,9 +1193,27 @@ function makeCheckerService({ options, compiler }) {
 			}
 		}),
 		check: (mutants) => Effect.gen(function* () {
-			const command = new CheckMutantsCommand({ mutants: [...mutants] });
 			const description = makeCheckDescription(compiler);
-			return yield* Cell.apply(description, command);
+			const applyOnce = (group) => Cell.apply(description, new CheckMutantsCommand({ mutants: [...group] }));
+			const first = yield* applyOnce(mutants);
+			let map = HashMap.empty();
+			const mergeResults = (results) => {
+				for (const [id, value] of Object.entries(results)) if (value.status === "passed") map = HashMap.set(map, id, { status: "passed" });
+				else map = HashMap.set(map, id, {
+					status: "compileError",
+					reason: value.reason
+				});
+			};
+			mergeResults(first.results);
+			if (first.needsRetest.length > 0) yield* applyOnce([]);
+			const originals = {};
+			for (const m of mutants) originals[m.id] = m;
+			for (const pending of first.needsRetest) {
+				const original = originals[pending.id];
+				if (original === void 0) continue;
+				mergeResults((yield* applyOnce([original])).results);
+			}
+			return map;
 		}),
 		group: (mutants) => Effect.gen(function* () {
 			const nodes = yield* compiler.nodes.pipe(Effect.mapError((cause) => new CheckerFailed({

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@systemfsoftware/stryker-js-typescript-checker",
-  "version": "3.0.0",
+  "version": "3.0.2",
   "repository": {
     "type": "git",
     "url": "git+https://github.com/systemfsoftware/systemfsoftware.git",
@@ -22,25 +22,25 @@
   "dependencies": {
     "effect": "^4.0.0-rc.112",
     "typescript": "^7",
-    "@systemfsoftware/stryker-js": "^0.1.0",
-    "@systemfsoftware/effect-cell-types": "^5.0.0"
+    "@systemfsoftware/effect-cell-types": "^5.0.2",
+    "@systemfsoftware/stryker-js": "^0.1.1"
   },
   "devDependencies": {
+    "@effect/platform-node-shared": "^4.0.0-rc.112",
     "@std/jsonc": "npm:@jsr/std__jsonc@^1.0.2",
     "@systemfsoftware/arethetypeswrong-cli": "^1.1.1",
     "@types/node": "^24",
     "oxlint": "^1.77.0",
     "rimraf": "^6.1.3",
     "tsdown": "^0.22.14",
-    "vitest": "^4.1.10",
-    "@systemfsoftware/effect-gherkin-spec": "^2.0.1",
-    "@systemfsoftware/effect-schema-law": "^1.0.0",
-    "@systemfsoftware/effect-schema-refutation-vite": "^0.2.0",
+    "vitest": "^4",
+    "@systemfsoftware/all": "^1.0.2",
+    "@systemfsoftware/effect-gherkin-spec": "^4.0.0",
+    "@systemfsoftware/effect-schema-vite": "^2.0.2",
+    "@systemfsoftware/effect-schema-law": "^2.0.1",
     "@systemfsoftware/tsconfig": "^1.3.3",
-    "@systemfsoftware/oxlint-config": "^0.1.0",
     "@systemfsoftware/vitest-config": "^0.1.0",
-    "@systemfsoftware/all": "^1.0.0",
-    "@systemfsoftware/effect-schema-vite": "^2.0.0"
+    "@systemfsoftware/oxlint-config": "^0.1.0"
   },
   "inlinedDependencies": {
     "@jsr/std__jsonc": "1.0.2"