@systemfsoftware/effect-schema-vite 1.3.0 → 1.5.0

package/dist/effect-schema-vite.d.ts

@@ -1,10 +1,29 @@
 import { Plugin as Plugin_2 } from 'vite';
 
+/**
+ * Build the law-suite body injected into a consumer's `schema-laws.test.ts`.
+ *
+ * Import specifiers are relative to `lawFilePath`, never to the Vite root: the
+ * file being rewritten lives in `src/`, so a root-relative specifier resolves
+ * to `src/src/…` and yields a suite that silently imports nothing.
+ *
+ * @since 1.4.0
+ */
+export declare const generateSchemaLaws: (lawFilePath: string, srcDir: string) => string;
+
 /**
  * Vite plugin that walks the consumer's `src/` directory, finds every
  * exported Effect `Schema`, and auto-injects `ruleOfSchemas` round-trip
  * property tests for each one.
  *
+ * The laws are injected by rewriting the consumer's own
+ * `src/schema-laws.test.ts` — the one test filename the placement taxonomy
+ * whitelists by name. It is deliberately NOT a virtual module: the generated
+ * body carries real `import` edges to each schema file, so vitest's
+ * related-file walk reaches them. A virtual module breaks that walk (its id
+ * has no path on disk), which silently drops every generated law from
+ * `stryker --related` runs and reports the survivors as coverage gaps.
+ *
  * @example
  * ```ts
  * // vitest.config.ts
@@ -23,4 +42,12 @@ export declare interface InlineSchemaTestsOptions {
     dir?: string;
 }
 
+/**
+ * The one test filename the placement taxonomy whitelists by name. The plugin
+ * rewrites this file in the consumer's `src/`; nothing else is touched.
+ *
+ * @since 1.4.0
+ */
+export declare const LAW_FILE_BASENAME: 'schema-laws.test.ts';
+
 export { }

package/dist/index.d.ts

@@ -1,15 +1,40 @@
 import { Plugin } from "vite";
-//#region src/vite-inline-schema-tests.d.ts
+//#region src/mod.d.ts
 /** @since 0.1.0 */
 interface InlineSchemaTestsOptions {
   /** Directory to scan for schema files, relative to Vite root. Default: `"src"`. */
   dir?: string;
 }
+/**
+ * The one test filename the placement taxonomy whitelists by name. The plugin
+ * rewrites this file in the consumer's `src/`; nothing else is touched.
+ *
+ * @since 1.4.0
+ */
+declare const LAW_FILE_BASENAME: 'schema-laws.test.ts';
+/**
+ * Build the law-suite body injected into a consumer's `schema-laws.test.ts`.
+ *
+ * Import specifiers are relative to `lawFilePath`, never to the Vite root: the
+ * file being rewritten lives in `src/`, so a root-relative specifier resolves
+ * to `src/src/…` and yields a suite that silently imports nothing.
+ *
+ * @since 1.4.0
+ */
+declare const generateSchemaLaws: (lawFilePath: string, srcDir: string) => string;
 /**
  * Vite plugin that walks the consumer's `src/` directory, finds every
  * exported Effect `Schema`, and auto-injects `ruleOfSchemas` round-trip
  * property tests for each one.
  *
+ * The laws are injected by rewriting the consumer's own
+ * `src/schema-laws.test.ts` — the one test filename the placement taxonomy
+ * whitelists by name. It is deliberately NOT a virtual module: the generated
+ * body carries real `import` edges to each schema file, so vitest's
+ * related-file walk reaches them. A virtual module breaks that walk (its id
+ * has no path on disk), which silently drops every generated law from
+ * `stryker --related` runs and reports the survivors as coverage gaps.
+ *
  * @example
  * ```ts
  * // vitest.config.ts
@@ -22,4 +47,4 @@ interface InlineSchemaTestsOptions {
  */
 declare const inlineSchemaTests: (options?: InlineSchemaTestsOptions) => Plugin;
 //#endregion
-export { type InlineSchemaTestsOptions, inlineSchemaTests };
+export { InlineSchemaTestsOptions, LAW_FILE_BASENAME, generateSchemaLaws, inlineSchemaTests };

package/dist/index.mjs

@@ -1,12 +1,19 @@
 import { readFileSync, readdirSync, statSync } from "node:fs";
-import { extname, join, relative, resolve } from "node:path";
+import { dirname, extname, join, relative, resolve } from "node:path";
 import { parseSync } from "oxc-parser";
-//#region src/vite-inline-schema-tests.ts
+//#region src/mod.ts
+/**
+* The one test filename the placement taxonomy whitelists by name. The plugin
+* rewrites this file in the consumer's `src/`; nothing else is touched.
+*
+* @since 1.4.0
+*/
+const LAW_FILE_BASENAME = "schema-laws.test.ts";
 /**
 * Walk a directory and return every exported const whose type annotation
 * or initialiser references Effect Schema APIs.
 */
-function findExportedSchemas(root, dir) {
+function findExportedSchemas(dir) {
 	const schemas = [];
 	function walk(current) {
 		let entries;
@@ -30,7 +37,7 @@ function findExportedSchemas(root, dir) {
 				const names = findExportedSchemaNames(readFileSync(full, "utf-8"));
 				for (const name of names) schemas.push({
 					name,
-					importPath: `./${relative(root, full).replace(/\.ts$/, "")}`
+					filePath: full
 				});
 			}
 		}
@@ -118,10 +125,41 @@ function extendsSchemaClass(superClass) {
 	return memberChainStartsWithS(callee);
 }
 /**
+* Build the law-suite body injected into a consumer's `schema-laws.test.ts`.
+*
+* Import specifiers are relative to `lawFilePath`, never to the Vite root: the
+* file being rewritten lives in `src/`, so a root-relative specifier resolves
+* to `src/src/…` and yields a suite that silently imports nothing.
+*
+* @since 1.4.0
+*/
+const generateSchemaLaws = (lawFilePath, srcDir) => {
+	const schemas = findExportedSchemas(srcDir);
+	if (schemas.length === 0) return "// no schemas found\nexport {}\n";
+	const specifierOf = (filePath) => {
+		const rel = relative(dirname(lawFilePath), filePath).replace(/\.ts$/, "");
+		return rel.startsWith(".") ? rel : `./${rel}`;
+	};
+	return [
+		`import { ruleOfSchemas } from '@systemfsoftware/effect-schema-law'`,
+		schemas.map((s) => `import { ${s.name} } from '${specifierOf(s.filePath)}'`).join("\n"),
+		"",
+		schemas.map((s) => `ruleOfSchemas('${s.name}', ${s.name})`).join("\n")
+	].join("\n");
+};
+/**
 * Vite plugin that walks the consumer's `src/` directory, finds every
 * exported Effect `Schema`, and auto-injects `ruleOfSchemas` round-trip
 * property tests for each one.
 *
+* The laws are injected by rewriting the consumer's own
+* `src/schema-laws.test.ts` — the one test filename the placement taxonomy
+* whitelists by name. It is deliberately NOT a virtual module: the generated
+* body carries real `import` edges to each schema file, so vitest's
+* related-file walk reaches them. A virtual module breaks that walk (its id
+* has no path on disk), which silently drops every generated law from
+* `stryker --related` runs and reports the survivors as coverage gaps.
+*
 * @example
 * ```ts
 * // vitest.config.ts
@@ -135,27 +173,17 @@ function extendsSchemaClass(superClass) {
 const inlineSchemaTests = (options) => {
 	let config;
 	return {
-		name: "@systemfsoftware/inline-schema-tests",
+		name: "@systemfsoftware/schema-laws",
 		enforce: "pre",
 		configResolved(c) {
 			config = c;
 		},
-		resolveId(id) {
-			return id === "virtual:@systemfsoftware/inline-schema-tests" ? "\0virtual:@systemfsoftware/inline-schema-tests" : void 0;
-		},
-		load(id) {
-			if (id !== "\0virtual:@systemfsoftware/inline-schema-tests") return;
-			const srcDir = resolve(config.root, options?.dir ?? "src");
-			const schemas = findExportedSchemas(config.root, srcDir);
-			if (schemas.length === 0) return "// no schemas found";
-			return [
-				`import { ruleOfSchemas } from '@systemfsoftware/effect-schema-law'`,
-				schemas.map((s) => `import { ${s.name} } from '${s.importPath}'`).join("\n"),
-				"",
-				schemas.map((s) => `ruleOfSchemas('${s.name}', ${s.name})`).join("\n")
-			].join("\n");
+		transform(_code, id) {
+			const lawFile = id.split("?")[0];
+			if (lawFile === void 0 || !lawFile.endsWith(`/schema-laws.test.ts`)) return;
+			return generateSchemaLaws(lawFile, resolve(config.root, options?.dir ?? "src"));
 		}
 	};
 };
 //#endregion
-export { inlineSchemaTests };
+export { LAW_FILE_BASENAME, generateSchemaLaws, inlineSchemaTests };

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@systemfsoftware/effect-schema-vite",
   "license": "MIT",
-  "version": "1.3.0",
+  "version": "1.5.0",
   "author": "Ryan Lee <drdgvhbh@gmail.com>",
   "repository": {
     "type": "git",
@@ -45,11 +45,12 @@
     "tsdown": "^0.22.9",
     "vite": "^7",
     "vitest": "^4",
-    "@systemfsoftware/arethetypeswrong-cli": "^1.0.7",
+    "@systemfsoftware/effect-gherkin-spec": "^0.5.0",
+    "@systemfsoftware/arethetypeswrong-cli": "^1.1.0",
+    "@systemfsoftware/effect-schema-law": "^0.6.0",
     "@systemfsoftware/tsconfig": "^1.2.6",
     "@systemfsoftware/oxlint-config": "^0.1.0",
-    "@systemfsoftware/vitest-config": "^0.1.0",
-    "@systemfsoftware/effect-schema-law": "^0.5.0"
+    "@systemfsoftware/vitest-config": "^0.1.0"
   },
   "peerDependencies": {
     "@systemfsoftware/effect-schema-law": "*",