@playfast/reform-proof-vitest 0.0.2

package/dist/index.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Register a function to run immediately before every proof test. Idempotent by
+ * reference; intended to be called from a side-effect module the plugin imports
+ * into `*.proof.ts` files only.
+ */
+export declare const setProofTestHook: (hook: () => void) => void;
+/**
+ * Register every `ProofSuite` among the given values as vitest tests. Non-suite
+ * values are ignored, so a whole module's exports can be passed verbatim — which
+ * is exactly what `reformProofPlugin` does.
+ */
+export declare const registerSuites: (values: 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":"AAsBA;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,MAAM,MAAM,IAAI,KAAG,IAEnD,CAAA;AAqBD;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,QAAQ,aAAa,CAAC,OAAO,CAAC,KAAG,IAM/D,CAAA"}

package/dist/index.js

@@ -0,0 +1,58 @@
+import { isProofSuite, withProofRunner } from '@playfast/reform-proof';
+import { describe, test } from 'vitest';
+// reform-proof vitest adapter — turns a reform proof `ProofSuite` into native
+// vitest tests (a `describe` per product, a `test` per requirement), each run
+// through the proof engine via the `ProofRunner` layer. Pair it with
+// `reformProofPlugin` (./plugin), which appends a `registerSuites(...)` call to
+// every `*.proof.ts` so suites become tests with no per-feature wrapper file.
+// A suite registers exactly once even if several modules import it (its own test
+// entry plus any flow test that pulls it in). Identity-keyed, so a suite value is
+// never double-registered within a worker.
+const registered = new WeakSet();
+// Per-proof-test setup hooks. An app registers one (via a module the plugin's
+// `setup` option imports into each `*.proof.ts`) to run app-specific preparation
+// right before each proof renders — e.g. installing a render-free React-hooks
+// dispatcher for view bodies that reach for hooks. The adapter stays view-agnostic:
+// it just runs whatever the app registered, only inside proof-test bodies, so a
+// `*.test.ts` that controls global state is never disturbed.
+const setupHooks = new Set();
+/**
+ * Register a function to run immediately before every proof test. Idempotent by
+ * reference; intended to be called from a side-effect module the plugin imports
+ * into `*.proof.ts` files only.
+ */
+export const setProofTestHook = (hook) => {
+    setupHooks.add(hook);
+};
+const runSetupHooks = () => {
+    for (const hook of setupHooks)
+        hook();
+};
+const registerSuite = (suite) => {
+    describe(suite.product.manifest.name, () => {
+        for (const proof of suite.proofs) {
+            const statement = proof.requirement.manifest.statement;
+            test(statement, async () => {
+                runSetupHooks();
+                const result = await withProofRunner((runner) => runner.executeProof(proof));
+                if (!result.ok) {
+                    throw new Error(`reform-proof: ${statement} — ${result.error ?? 'failed'}`);
+                }
+            });
+        }
+    });
+};
+/**
+ * Register every `ProofSuite` among the given values as vitest tests. Non-suite
+ * values are ignored, so a whole module's exports can be passed verbatim — which
+ * is exactly what `reformProofPlugin` does.
+ */
+export const registerSuites = (values) => {
+    for (const value of values) {
+        if (!isProofSuite(value) || registered.has(value))
+            continue;
+        registered.add(value);
+        registerSuite(value);
+    }
+};
+//# 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,IAAI,EAAE,MAAM,QAAQ,CAAA;AAEvC,8EAA8E;AAC9E,8EAA8E;AAC9E,qEAAqE;AACrE,gFAAgF;AAChF,8EAA8E;AAE9E,iFAAiF;AACjF,kFAAkF;AAClF,2CAA2C;AAC3C,MAAM,UAAU,GAAG,IAAI,OAAO,EAAc,CAAA;AAE5C,8EAA8E;AAC9E,iFAAiF;AACjF,8EAA8E;AAC9E,oFAAoF;AACpF,gFAAgF;AAChF,6DAA6D;AAC7D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAc,CAAA;AAExC;;;;GAIG;AACH,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,KAAK,MAAM,IAAI,IAAI,UAAU;QAAE,IAAI,EAAE,CAAA;AACvC,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,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YACjC,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,MAAM,GAAG,MAAM,eAAe,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAA;gBAC5E,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;oBACf,MAAM,IAAI,KAAK,CAAC,iBAAiB,SAAS,MAAM,MAAM,CAAC,KAAK,IAAI,QAAQ,EAAE,CAAC,CAAA;gBAC7E,CAAC;YACH,CAAC,CAAC,CAAA;QACJ,CAAC;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAA8B,EAAQ,EAAE;IACrE,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAQ;QAC3D,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QACrB,aAAa,CAAC,KAAK,CAAC,CAAA;IACtB,CAAC;AACH,CAAC,CAAA"}

package/dist/plugin.d.ts

@@ -0,0 +1,27 @@
+/** Options for `reformProofPlugin`. */
+export interface ReformProofPluginOptions {
+    /**
+     * Module specifier(s) the plugin side-effect-imports into every `*.proof.ts`,
+     * before registering its suites. Use to register per-proof-test setup
+     * (`setProofTestHook`) that must run ONLY in proof-test workers — e.g. an app's
+     * headless React-hooks dispatcher. Imported only into `*.proof.ts`, so regular
+     * `*.test.ts` files are never affected.
+     */
+    readonly setup?: string | ReadonlyArray<string>;
+}
+/** The minimal vite plugin shape this adapter needs — structurally a `Plugin`,
+ *  declared locally so the package need not depend on vite's types. */
+export interface ReformProofPlugin {
+    readonly name: string;
+    readonly enforce: 'post';
+    transform(code: string, id: string): Promise<{
+        readonly code: string;
+        readonly map: null;
+    } | null>;
+}
+/**
+ * The plugin. Runs `post` (after TS→JS), so it lexes plain JS exports reliably.
+ * Only `*.proof.ts` modules are touched; everything else passes through.
+ */
+export declare const reformProofPlugin: (options?: ReformProofPluginOptions) => ReformProofPlugin;
+//# 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":"AAWA,uCAAuC;AACvC,MAAM,WAAW,wBAAwB;IACvC;;;;;;OAMG;IACH,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;CAChD;AAED;uEACuE;AACvE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,SAAS,CACP,IAAI,EAAE,MAAM,EACZ,EAAE,EAAE,MAAM,GACT,OAAO,CAAC;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAA;KAAE,GAAG,IAAI,CAAC,CAAA;CACjE;AAOD;;;GAGG;AACH,eAAO,MAAM,iBAAiB,GAAI,UAAU,wBAAwB,KAAG,iBAwBtE,CAAA"}

package/dist/plugin.js

@@ -0,0 +1,41 @@
+import { init, parse } from 'es-module-lexer';
+// reform-proof vitest plugin — a vite/vitest plugin that auto-registers proof
+// suites. For every `*.proof.ts` file vitest collects, it lexes the module's
+// export names and appends a `registerSuites([...exports])` call, so each exported
+// `ProofSuite` becomes native vitest tests. This is what lets a feature ship a
+// `*.proof.ts` with NO hand-written `*.proof.test.ts` wrapper: add this plugin and
+// the glob `**/*.proof.ts` to the vitest config, and the suites run themselves.
+const PROOF_RE = /\.proof\.ts$/;
+const sourcePath = (id) => id.split('?')[0] ?? id;
+const setupList = (setup) => setup === undefined ? [] : typeof setup === 'string' ? [setup] : setup;
+/**
+ * The plugin. Runs `post` (after TS→JS), so it lexes plain JS exports reliably.
+ * Only `*.proof.ts` modules are touched; everything else passes through.
+ */
+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);
+            // Reference each export's LOCAL binding (in scope after the module body); a
+            // re-export-from has no local name (`ln` undefined) 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,8EAA8E;AAC9E,6EAA6E;AAC7E,mFAAmF;AACnF,+EAA+E;AAC/E,mFAAmF;AACnF,gFAAgF;AAEhF,MAAM,QAAQ,GAAG,cAAc,CAAA;AAyB/B,MAAM,UAAU,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;AAEjE,MAAM,SAAS,GAAG,CAAC,KAAwC,EAAyB,EAAE,CACpF,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;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,OAAkC,EAAqB,EAAE;IACzF,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;gBAAE,OAAO,IAAI,CAAA;YAC/C,MAAM,IAAI,CAAA;YACV,MAAM,CAAC,EAAE,OAAO,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAA;YAC/B,4EAA4E;YAC5E,oEAAoE;YACpE,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;gBAAE,OAAO,IAAI,CAAA;YACnC,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

@@ -0,0 +1,55 @@
+{
+  "name": "@playfast/reform-proof-vitest",
+  "playbook": "./playbook",
+  "version": "0.0.2",
+  "type": "module",
+  "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",
+    "vitest"
+  ],
+  "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",
+    "README.md"
+  ],
+  "scripts": {
+    "clean": "rm -rf dist .tsbuildinfo",
+    "check": "tsc --noEmit",
+    "build": "tsc -p tsconfig.build.json",
+    "test": "vitest run",
+    "test:watch": "vitest",
+    "lint": "oxlint src",
+    "lint:fix": "oxlint --fix src"
+  },
+  "dependencies": {
+    "es-module-lexer": "^1.5.4"
+  },
+  "peerDependencies": {
+    "vitest": "*",
+    "@playfast/reform-proof": "*"
+  },
+  "devDependencies": {
+    "@playfast/reform-proof": "*"
+  },
+  "publishConfig": {
+    "access": "public"
+  }
+}