@systemfsoftware/stryker-plugins 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Ryan Lee
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,35 @@
+# @systemfsoftware/stryker-plugins
+
+[Stryker](https://stryker-mutator.io) mutation-testing plugins for [Effect](https://effect.website).
+
+## `effect-schema-ignorer`
+
+A Stryker **Ignore** plugin (`effect-schema-declarations`) that skips the _equivalent_ mutants on Effect `Schema` declarations — mutations that change source without changing behaviour, so no test can ever kill them. It recognizes and ignores:
+
+- brand descriptions in `Symbol.for('…')`,
+- `Schema.TaggedClass` / `Schema.TaggedError` `_tag` identifiers,
+- the field schemas of those declarations.
+
+Schema declarations are **data, not behaviour** (Constitution Article III §4) — mutating them produces unkillable equivalent mutants that drag a mutation score below 100% for no real coverage gap. This plugin removes that noise so the score reflects logic.
+
+## Usage
+
+```bash
+pnpm add -D @systemfsoftware/stryker-plugins
+```
+
+In `stryker.config.json`:
+
+```jsonc
+{
+  "plugins": [
+    "@stryker-mutator/vitest-runner",
+    "@stryker-mutator/typescript-checker",
+    "@systemfsoftware/stryker-plugins"
+  ],
+  "ignorers": ["effect-schema-declarations"]
+}
+```
+
+> [!NOTE]
+> `@stryker-mutator/api` is a peer dependency — your Stryker install provides it. `effect` is a direct dependency (the plugin decodes AST nodes with `Schema`).

package/dist/effect-schema-ignorer-CvcMxzYN.mjs

@@ -0,0 +1,68 @@
+import { PluginKind, declareValuePlugin } from "@stryker-mutator/api/plugin";
+import { Schema } from "effect";
+//#region src/effect-schema-ignorer/ast-node.schema.ts
+const Identifier = Schema.Struct({
+	type: Schema.Literal("Identifier"),
+	name: Schema.String
+});
+const StringLiteral = Schema.Struct({
+	type: Schema.Literal("StringLiteral"),
+	value: Schema.String
+});
+const ObjectExpression = Schema.Struct({ type: Schema.Literal("ObjectExpression") });
+const UnknownNode = Schema.Struct({ type: Schema.String });
+const MemberExpression = Schema.suspend(() => Schema.Struct({
+	type: Schema.Literal("MemberExpression"),
+	object: Schema.suspend(() => AstNode),
+	property: Schema.suspend(() => AstNode)
+}));
+const CallExpression = Schema.suspend(() => Schema.Struct({
+	type: Schema.Literal("CallExpression"),
+	callee: Schema.suspend(() => AstNode),
+	arguments: Schema.Array(Schema.suspend(() => AstNode))
+}));
+const AstNode = Schema.suspend(() => Schema.Union(Identifier, StringLiteral, ObjectExpression, MemberExpression, CallExpression, UnknownNode));
+//#endregion
+//#region src/effect-schema-ignorer/schema-declaration-ignore.ts
+const SYMBOL_DESCRIPTION_IGNORED = "Symbol.for() brand description is identity-only data, not behaviour";
+const TAGGED_TAG_IGNORED = "TaggedClass/TaggedError _tag is a declaration discriminant, not behaviour";
+const TAGGED_FIELDS_IGNORED = "TaggedClass/TaggedError field schema is a declaration, not behaviour";
+const TAGGED_FACTORIES = ["TaggedClass", "TaggedError"];
+const isIdentifier = Schema.is(Identifier);
+const isStringLiteral = Schema.is(StringLiteral);
+const isObjectExpression = Schema.is(ObjectExpression);
+const isMemberExpression = Schema.is(MemberExpression);
+const isCallExpression = Schema.is(CallExpression);
+const isNamedMember = (node, object, property) => isMemberExpression(node) && isIdentifier(node.object) && node.object.name === object && isIdentifier(node.property) && node.property.name === property;
+const isSymbolForCallee = (callee) => isNamedMember(callee, "Symbol", "for");
+const isTaggedFactoryReference = (reference) => isIdentifier(reference.property) && TAGGED_FACTORIES.includes(reference.property.name);
+const isTaggedFactoryCallee = (callee) => isCallExpression(callee) && isMemberExpression(callee.callee) && isTaggedFactoryReference(callee.callee);
+const isArgumentOf = (node, parent, index, calleeMatches) => isCallExpression(parent) && calleeMatches(parent.callee) && parent.arguments[index] === node;
+const RULES = [
+	{
+		is: isStringLiteral,
+		argumentIndex: 0,
+		calleeMatches: isSymbolForCallee,
+		reason: SYMBOL_DESCRIPTION_IGNORED
+	},
+	{
+		is: isStringLiteral,
+		argumentIndex: 0,
+		calleeMatches: isTaggedFactoryCallee,
+		reason: TAGGED_TAG_IGNORED
+	},
+	{
+		is: isObjectExpression,
+		argumentIndex: 1,
+		calleeMatches: isTaggedFactoryCallee,
+		reason: TAGGED_FIELDS_IGNORED
+	}
+];
+const decideSchemaDeclarationIgnore = (node, parent) => RULES.find((rule) => rule.is(node) && isArgumentOf(node, parent, rule.argumentIndex, rule.calleeMatches))?.reason;
+//#endregion
+//#region src/effect-schema-ignorer/index.ts
+const strykerPlugins = [declareValuePlugin(PluginKind.Ignore, "effect-schema-declarations", { shouldIgnore(path) {
+	return decideSchemaDeclarationIgnore(path.node, path.parentPath?.node);
+} })];
+//#endregion
+export { strykerPlugins as t };

package/dist/effect-schema-ignorer.d.mts

@@ -0,0 +1,6 @@
+import { PluginKind } from "@stryker-mutator/api/plugin";
+
+//#region src/effect-schema-ignorer/index.d.ts
+declare const strykerPlugins: import("@stryker-mutator/api/plugin").ValuePlugin<PluginKind.Ignore>[];
+//#endregion
+export { strykerPlugins };

package/dist/effect-schema-ignorer.mjs

@@ -0,0 +1,2 @@
+import { t as strykerPlugins } from "./effect-schema-ignorer-CvcMxzYN.mjs";
+export { strykerPlugins };

package/dist/index.d.mts

@@ -0,0 +1,4 @@
+//#region src/mod.d.ts
+declare const strykerPlugins: import("@stryker-mutator/api/plugin").ValuePlugin<import("@stryker-mutator/api/plugin").PluginKind.Ignore>[];
+//#endregion
+export { strykerPlugins };

package/dist/index.mjs

@@ -0,0 +1,5 @@
+import { t as strykerPlugins$1 } from "./effect-schema-ignorer-CvcMxzYN.mjs";
+//#region src/mod.ts
+const strykerPlugins = [...strykerPlugins$1];
+//#endregion
+export { strykerPlugins };

package/package.json

@@ -0,0 +1,72 @@
+{
+  "name": "@systemfsoftware/stryker-plugins",
+  "license": "MIT",
+  "version": "0.1.0",
+  "author": "Ryan Lee <drdgvhbh@gmail.com>",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/systemfsoftware/systemfsoftware.git",
+    "directory": "packages/stryker-plugins"
+  },
+  "homepage": "https://github.com/systemfsoftware/systemfsoftware/tree/main/packages/stryker-plugins#readme",
+  "bugs": "https://github.com/systemfsoftware/systemfsoftware/issues",
+  "description": "Stryker mutation-testing plugins for Effect-TS — ignore equivalent mutants on Effect Schema declarations (brands, TaggedClass/TaggedError tags) so the score reflects behaviour, not data.",
+  "keywords": [
+    "stryker",
+    "stryker-mutator",
+    "mutation-testing",
+    "effect",
+    "effect-ts",
+    "schema",
+    "ignorer",
+    "equivalent-mutants",
+    "test-quality",
+    "typescript"
+  ],
+  "type": "module",
+  "files": [
+    "dist"
+  ],
+  "exports": {
+    ".": "./dist/index.mjs",
+    "./effect-schema-ignorer": "./dist/effect-schema-ignorer.mjs",
+    "./package.json": "./package.json"
+  },
+  "dependencies": {
+    "effect": "^3.21.2"
+  },
+  "devDependencies": {
+    "@babel/types": "^7.29.0",
+    "@effect/vitest": "0.29.0",
+    "@stryker-mutator/api": "^9.6.1",
+    "@stryker-mutator/core": "^9.6.1",
+    "@stryker-mutator/typescript-checker": "^9.6.1",
+    "@stryker-mutator/vitest-runner": "^9.6.1",
+    "@types/node": "^24",
+    "@vitest/coverage-v8": "^4",
+    "rimraf": "^6.1.3",
+    "tsdown": "^0.22.3",
+    "tstyche": "^7.1.0",
+    "typescript": "^6.0.3",
+    "vitest": "^4",
+    "@systemfsoftware/effect-schema-law": "^0.1.0",
+    "@systemfsoftware/tsconfig": "^1.0.0",
+    "@systemfsoftware/vitest-config": "^0.1.0",
+    "@systemfsoftware/oxlint-config": "^0.1.0"
+  },
+  "peerDependencies": {
+    "@stryker-mutator/api": "^9.6.1",
+    "typescript": ">=5.0.0"
+  },
+  "scripts": {
+    "build": "tsdown",
+    "clean": "rimraf dist",
+    "typecheck": "tsgo --noEmit --incremental",
+    "test": "vitest run",
+    "test:run": "vitest run --coverage",
+    "test:types": "tstyche",
+    "mutation": "stryker run --incremental",
+    "mutation:full": "stryker run",
+    "lint": "oxlint . ${AGENT:+--format=unix --quiet}"
+  }
+}