@playfast/reform-proof-vitest 1.0.2 → 1.2.0

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+export declare const setProofTestHook: (hook: () => void) => void;
+export declare const registerSuites: (candidates: ReadonlyArray<unknown>) => void;
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AASA,eAAO,MAAM,gBAAgB,GAAI,MAAM,MAAM,IAAI,KAAG,IAEnD,CAAA;AAmBD,eAAO,MAAM,cAAc,GAAI,YAAY,aAAa,CAAC,OAAO,CAAC,KAAG,IAQnE,CAAA"}

package/dist/index.js

@@ -0,0 +1,34 @@
+import { isProofSuite, withProofRunner } from '@playfast/reform-proof';
+import { describe, expect, test } from 'vitest';
+// Identity-keyed: a suite registers once even if several modules import it.
+const registered = new WeakSet();
+// App setup hooks (via plugin `setup`) run only inside proof-test bodies.
+const setupHooks = new Set();
+export const setProofTestHook = (hook) => {
+    setupHooks.add(hook);
+};
+const runSetupHooks = () => {
+    setupHooks.forEach((hook) => hook());
+};
+const registerSuite = (suite) => {
+    describe(suite.product.manifest.name, () => {
+        suite.proofs.forEach((proof) => {
+            const statement = proof.requirement.manifest.statement;
+            test(statement, async () => {
+                runSetupHooks();
+                const outcome = await withProofRunner((runner) => runner.executeProof(proof));
+                expect(outcome.ok, `reform-proof: ${statement} — ${outcome.error ?? 'failed'}`).toBe(true);
+            });
+        });
+    });
+};
+export const registerSuites = (candidates) => {
+    candidates.forEach((candidate) => {
+        if (!isProofSuite(candidate) || registered.has(candidate)) {
+            return;
+        }
+        registered.add(candidate);
+        registerSuite(candidate);
+    });
+};
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAmB,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACvF,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAA;AAE/C,4EAA4E;AAC5E,MAAM,UAAU,GAAG,IAAI,OAAO,EAAc,CAAA;AAE5C,0EAA0E;AAC1E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAc,CAAA;AAExC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,IAAgB,EAAQ,EAAE;IACzD,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AACtB,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,GAAS,EAAE;IAC/B,UAAU,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;AACtC,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,KAAiB,EAAQ,EAAE;IAChD,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE;QACzC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC7B,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,SAAS,CAAA;YACtD,IAAI,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;gBACzB,aAAa,EAAE,CAAA;gBACf,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC7E,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,iBAAiB,SAAS,MAAM,OAAO,CAAC,KAAK,IAAI,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAC5F,CAAC,CAAC,CAAA;QACJ,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,UAAkC,EAAQ,EAAE;IACzE,UAAU,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE;QAC/B,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;YAC1D,OAAM;QACR,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAA;QACzB,aAAa,CAAC,SAAS,CAAC,CAAA;IAC1B,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/plugin.d.ts

@@ -0,0 +1,13 @@
+export interface ReformProofPluginOptionsExternalApi {
+    readonly setup?: string | ReadonlyArray<string>;
+}
+export interface ReformProofPluginExternalApi {
+    readonly name: string;
+    readonly enforce: 'post';
+    transform(code: string, id: string): Promise<{
+        readonly code: string;
+        readonly map: null;
+    } | null>;
+}
+export declare const reformProofPlugin: (options?: ReformProofPluginOptionsExternalApi) => ReformProofPluginExternalApi;
+//# sourceMappingURL=plugin.d.ts.map

package/dist/plugin.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.d.ts","sourceRoot":"","sources":["../src/plugin.ts"],"names":[],"mappings":"AAIA,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;CAChD;AAED,MAAM,WAAW,4BAA4B;IAC3C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC,CAAA;CACnG;AAOD,eAAO,MAAM,iBAAiB,GAC5B,UAAU,mCAAmC,KAC5C,4BA2BF,CAAA"}

package/dist/plugin.js

@@ -0,0 +1,32 @@
+import { init, parse } from 'es-module-lexer';
+const PROOF_RE = /\.proof\.ts$/;
+const sourcePath = (id) => id.replace(/\?.*$/, '');
+const setupList = (setup) => setup === undefined ? [] : typeof setup === 'string' ? [setup] : setup;
+export const reformProofPlugin = (options) => {
+    const setupImports = setupList(options?.setup)
+        .map((spec) => `import '${spec}'`)
+        .join('\n');
+    return {
+        name: 'reform-proof-vitest',
+        enforce: 'post',
+        async transform(code, id) {
+            if (!PROOF_RE.test(sourcePath(id))) {
+                return null;
+            }
+            await init;
+            const [, exports] = parse(code);
+            // Use local binding names; re-export-from has no `ln` and is skipped.
+            const names = exports
+                .map((exportSpec) => exportSpec.ln)
+                .filter((local) => typeof local === 'string' && local.length > 0);
+            if (names.length === 0) {
+                return null;
+            }
+            const epilogue = `\n${setupImports}\n` +
+                `import { registerSuites as __registerReformProofSuites } from '@playfast/reform-proof-vitest'\n` +
+                `__registerReformProofSuites([${names.join(', ')}])\n`;
+            return { code: code + epilogue, map: null };
+        },
+    };
+};
+//# sourceMappingURL=plugin.js.map

package/dist/plugin.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plugin.js","sourceRoot":"","sources":["../src/plugin.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAE7C,MAAM,QAAQ,GAAG,cAAc,CAAA;AAY/B,MAAM,UAAU,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;AAElE,MAAM,SAAS,GAAG,CAAC,KAAmD,EAAyB,EAAE,CAC/F,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;AAExE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,OAA6C,EACf,EAAE;IAChC,MAAM,YAAY,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC;SAC3C,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,IAAI,GAAG,CAAC;SACjC,IAAI,CAAC,IAAI,CAAC,CAAA;IACb,OAAO;QACL,IAAI,EAAE,qBAAqB;QAC3B,OAAO,EAAE,MAAM;QACf,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE;YACtB,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAA;YACb,CAAC;YACD,MAAM,IAAI,CAAA;YACV,MAAM,CAAC,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YAC/B,sEAAsE;YACtE,MAAM,KAAK,GAAG,OAAO;iBAClB,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;iBAClC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YACpF,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,OAAO,IAAI,CAAA;YACb,CAAC;YACD,MAAM,QAAQ,GACZ,KAAK,YAAY,IAAI;gBACrB,iGAAiG;gBACjG,gCAAgC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAA;YACxD,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;QAC7C,CAAC;KACF,CAAA;AACH,CAAC,CAAA"}

package/package.json

@@ -1,55 +1,67 @@
 {
   "name": "@playfast/reform-proof-vitest",
-  "playbook": "./playbook",
-  "version": "1.0.2",
-  "type": "module",
+  "version": "1.2.0",
   "description": "Vitest adapter for reform-proof — a vite plugin that auto-registers every *.proof.ts suite as native vitest tests, run through the proof engine.",
   "keywords": [
-    "reform",
     "effect",
-    "testing",
     "proof",
+    "reform",
+    "testing",
     "vitest"
   ],
+  "bugs": {
+    "url": "https://github.com/playfast/reform/issues"
+  },
   "license": "MIT",
   "repository": {
     "type": "git",
     "url": "https://github.com/playfast/reform.git",
     "directory": "packages/reform-proof-vitest"
   },
-  "bugs": {
-    "url": "https://github.com/playfast/reform/issues"
-  },
-  "sideEffects": false,
-  "exports": {
-    "./package.json": "./package.json",
-    ".": "./src/index.ts",
-    "./*": "./src/*.ts"
-  },
   "files": [
+    "dist",
     "src",
     "README.md"
   ],
+  "type": "module",
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    "./package.json": "./package.json",
+    ".": {
+      "playfast-src": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    },
+    "./*": {
+      "playfast-src": "./src/*.ts",
+      "types": "./dist/*.d.ts",
+      "default": "./dist/*.js"
+    }
+  },
+  "publishConfig": {
+    "access": "public"
+  },
   "scripts": {
     "clean": "rm -rf dist .tsbuildinfo",
     "check": "tsc --noEmit",
-    "build": "tsc -p tsconfig.build.json",
+    "build": "rm -rf dist .tsbuildinfo && tsc -p tsconfig.build.json && bun ../../scripts/fix-esm-extensions.ts dist",
     "test": "vitest run",
     "test:watch": "vitest",
     "lint": "oxlint src",
-    "lint:fix": "oxlint --fix src"
+    "lint:fix": "oxlint --fix src",
+    "prepack": "bun run build"
   },
   "dependencies": {
     "es-module-lexer": "^1.5.4"
   },
-  "peerDependencies": {
-    "vitest": "*",
-    "@playfast/reform-proof": "*"
-  },
   "devDependencies": {
     "@playfast/reform-proof": "*"
   },
-  "publishConfig": {
-    "access": "public"
-  }
+  "peerDependencies": {
+    "@playfast/reform-proof": "*",
+    "vitest": "*"
+  },
+  "playbook": "./playbook"
 }

package/src/plugin.ts

@@ -9,17 +9,12 @@ export interface ReformProofPluginOptionsExternalApi {
 export interface ReformProofPluginExternalApi {
   readonly name: string
   readonly enforce: 'post'
-  transform(
-    code: string,
-    id: string,
-  ): Promise<{ readonly code: string; readonly map: null } | null>
+  transform(code: string, id: string): Promise<{ readonly code: string; readonly map: null } | null>
 }
 
 const sourcePath = (id: string): string => id.replace(/\?.*$/, '')
 
-const setupList = (
-  setup: ReformProofPluginOptionsExternalApi['setup'],
-): ReadonlyArray<string> =>
+const setupList = (setup: ReformProofPluginOptionsExternalApi['setup']): ReadonlyArray<string> =>
   setup === undefined ? [] : typeof setup === 'string' ? [setup] : setup
 
 export const reformProofPlugin = (