@playfast/reform-proof-vitest 0.0.2 → 0.0.3

package/package.json

@@ -1,7 +1,7 @@
 {
   "name": "@playfast/reform-proof-vitest",
   "playbook": "./playbook",
-  "version": "0.0.2",
+  "version": "0.0.3",
   "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": [
@@ -27,7 +27,7 @@
     "./*": "./src/*.ts"
   },
   "files": [
-    "dist",
+    "src",
     "README.md"
   ],
   "scripts": {

package/{dist/index.js → src/index.ts}

@@ -1,58 +1,62 @@
-import { isProofSuite, withProofRunner } from '@playfast/reform-proof';
-import { describe, test } from 'vitest';
+import { isProofSuite, type ProofSuite, 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();
+const registered = new WeakSet<ProofSuite>()
+
 // 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();
+const setupHooks = new Set<() => void>()
+
 /**
  * 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'}`);
-                }
-            });
+export const setProofTestHook = (hook: () => void): void => {
+  setupHooks.add(hook)
+}
+
+const runSetupHooks = (): void => {
+  for (const hook of setupHooks) hook()
+}
+
+const registerSuite = (suite: ProofSuite): void => {
+  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
+export const registerSuites = (values: ReadonlyArray<unknown>): void => {
+  for (const value of values) {
+    if (!isProofSuite(value) || registered.has(value)) continue
+    registered.add(value)
+    registerSuite(value)
+  }
+}

package/src/plugin.ts

@@ -0,0 +1,68 @@
+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$/
+
+/** 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>
+}
+
+const sourcePath = (id: string): string => id.split('?')[0] ?? id
+
+const setupList = (setup: ReformProofPluginOptions['setup']): ReadonlyArray<string> =>
+  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?: ReformProofPluginOptions): ReformProofPlugin => {
+  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): local is string => 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 }
+    },
+  }
+}

package/dist/index.d.ts

@@ -1,13 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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.map

@@ -1 +0,0 @@
-{"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

@@ -1,27 +0,0 @@
-/** 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

@@ -1 +0,0 @@
-{"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

@@ -1,41 +0,0 @@
-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

@@ -1 +0,0 @@
-{"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"}