@confect/cli 9.0.0-next.4 → 9.0.0-next.6

package/CHANGELOG.md

@@ -1,5 +1,183 @@
 # @confect/cli
 
+## 9.0.0-next.6
+
+### Major Changes
+
+- 46045a9: Reduce per-function cold-start cost: make `FunctionSpec` schemas lazy and keep each Convex function's bundle scoped to its own group.
+
+  Previously, loading a single Convex function still paid for the whole project — importing the codegen-assembled `_generated/spec.ts` ran `Schema.Struct(...)` / `Schema.Array(...)` for every function at module load, and each per-function bundle transitively imported `_generated/api.ts` → `_generated/spec.ts` (every spec). A function's cold-start cost now scales with its own group rather than the size of the project.
+
+  ### Lazy `FunctionSpec` schemas
+
+  `FunctionSpec.*` (`publicQuery` / `internalQuery` / `publicMutation` / `internalMutation` / `publicAction` / `internalAction` / `publicNodeAction` / `internalNodeAction`) takes `args`, `returns`, and (optional) `error` as `() => Schema` thunks instead of bare schemas. The resulting provenance exposes them as sync lazy memoised getters (the same pattern `Table.make` uses), so importing `_generated/spec.ts` builds no schemas — construction is deferred to the first invocation that compiles validators or runs a codec.
+
+  Migration — wrap each schema in `() =>`:
+
+  ```diff
+    FunctionSpec.publicQuery({
+      name: "list",
+  -   args: Schema.Struct({}),
+  -   returns: Schema.Array(notes.Doc),
+  +   args: () => Schema.Struct({}),
+  +   returns: () => Schema.Array(notes.Doc),
+    })
+  ```
+
+  ### Impls take the `DatabaseSchema`, and group paths resolve impl-side
+
+  `FunctionImpl.make` and `GroupImpl.make` now take the runtime `DatabaseSchema` (the default export of `_generated/schema.ts`) as their first argument instead of the whole `Api`. The handler's ctx-service types only ever depended on the database schema, and switching impls to import `_generated/schema` instead of `_generated/api` removes `_generated/spec.ts` (and the function specs it transitively imports) from every per-function bundle.
+
+  Each function also registers under a flat, single-segment key into a fresh, isolated `Registry` provided per group by `RegisteredFunctions.buildForGroup` (and the CLI's impl validation), so no group-path lookup against `api.spec` is needed. As a result `Spec#addPath`, `Spec#paths`, and `Api.resolveGroupPathUnsafe` are removed; `GroupImpl` / `FunctionImpl` drop their group-path type parameter; and the codegen-emitted `_generated/spec.ts` / `nodeSpec.ts` no longer contain a `.addPath(...)` chain (the `.addAt(...)` / `.addGroupAt(...)` assembly tree that `Refs.make` consumes is unchanged).
+
+  Migration — in each `*.impl.ts`, import the database schema and pass it where you passed `api` / `nodeApi`:
+
+  ```diff
+  - import api from "../_generated/api";        // (or nodeApi from "../_generated/nodeApi")
+  + import databaseSchema from "../_generated/schema";
+
+  - const insert = FunctionImpl.make(api, notes, "insert", handler);
+  + const insert = FunctionImpl.make(databaseSchema, notes, "insert", handler);
+
+  - export default GroupImpl.make(api, notes).pipe(Layer.provide(insert), GroupImpl.finalize);
+  + export default GroupImpl.make(databaseSchema, notes).pipe(Layer.provide(insert), GroupImpl.finalize);
+  ```
+
+  Node impls migrate identically (from `nodeApi` to the same `_generated/schema`); only their specs differ (`GroupSpec.makeNode()`). Hand-rolled tests that built a `Spec` via `.addPath(group, "dot.path")` should drop those calls.
+
+  ### `buildForGroup` and the generated registries
+
+  `RegisteredFunctions.buildForGroup` takes the `DatabaseSchema` value plus the group's own `GroupSpec` as a single type argument (`buildForGroup<typeof groupSpec>(…)`, returning `RegisteredFunctionsForGroupSpec<Group>`); the `api` / `groupPath` parameters and the `ForGroupPath` dot-path navigation are gone. `RegisteredConvexFunction.make` / `RegisteredNodeFunction.make` take the `DatabaseSchema` rather than the `Api`. Each `_generated/registeredFunctions/{path}.ts` imports the runtime schema and references its group's leaf spec **type-only** (`typeof import("…/{group}.spec")["default"]`), so it never imports a spec module at runtime.
+
+  ### `_generated/api.ts` / `nodeApi.ts` are no longer emitted, and `Api` is removed
+
+  Nothing imports them anymore, so `confect codegen` no longer emits `_generated/api.ts` / `_generated/nodeApi.ts` and deletes any copies left over from earlier versions. The `Api` module itself (`@confect/server/Api` — `Api.make`, the `Api` type, `Api.resolveGroupPathUnsafe`, etc.) is **removed entirely**: impls and the generated registries take the `DatabaseSchema` value and the spec directly, so the combined database-schema-plus-spec `Api` is no longer used anywhere.
+
+  ### Net effect
+
+  A function's `convex/{path}.ts` bundle now imports only its own group's registry → its own `.impl` + `_generated/schema` (table schemas, built lazily) + its own group's spec. No `_generated/api.ts`, no project-wide `_generated/spec.ts`, and no sibling-group impls/specs. Re-run `confect codegen` after upgrading.
+
+- 762f7eb: Split the deploy-time Convex schema from the runtime `DatabaseSchema`, make `confect/tables/` the single source of truth — including the table name, which is now derived from the filename — and make per-table schema construction lazy.
+
+  Previously, `confect/schema.ts` was user-authored and `DatabaseSchema` carried a `convexSchemaDefinition` field that was eagerly rebuilt on every `.addTable(...)`. That field was an `O(n²)` allocation for `n` tables, and it forced both the deploy CLI (which only needs `defineSchema(...)`) and the runtime (which only needs the table codec lookup) through the same module — so any runtime function bundle dragged in `convex/server`'s `defineSchema`. Issue 1.
+
+  Codegen now scans `confect/tables/*.ts` (every file must default-export a `Table`) and emits two siblings:
+  - `confect/_generated/schema.ts` — the runtime `DatabaseSchema`, consumed by `_generated/api.ts`. Imports `@confect/server` but never `convex/server`.
+  - `confect/_generated/convexSchema.ts` — the Convex deploy `SchemaDefinition`, re-exported one-line from `convex/schema.ts`. Imports `convex/server` but never `@confect/server`.
+
+  The `convexSchemaDefinition` field is removed from `DatabaseSchema` and `Api`. `TestConfect.layer` now takes the Convex schema definition as a separate argument so it can stay aligned with the deploy artifact without bringing the runtime schema along for the ride.
+
+  ### Filename-derived table names
+
+  The table name is now derived from the file's basename — `confect/tables/notes.ts` defines a table called `notes`. `Table.make` no longer accepts a name argument and returns an _unnamed_ `Table` value; codegen invokes that value with the filename to produce the bound table.
+
+  This eliminates a class of subtle infelicities: the file basename and the table name can never drift out of sync, cross-table `_id` references are type-constrained against the actual set of declared tables (catching typos at compile time), and ESM cycle hazards for mutual cross-table `Id` references are gone because authoring files no longer transitively import each other.
+
+  Codegen now emits two new sets of files alongside `_generated/schema.ts` and `_generated/convexSchema.ts`:
+  - `confect/_generated/id.ts` — a single `Id` constructor whose argument is type-constrained to the union of your table names. Use `Id("notes")` everywhere you previously wrote `GenericId.GenericId("notes")`.
+  - `confect/_generated/tables/<name>.ts` — one thin wrapper per table that binds the unnamed value from `confect/tables/<name>.ts` to its filename. This is what other modules (specs, impls, HTTP handlers) default-import to reach a table's `Doc`, `Fields`, and `tableName`.
+
+  Table filenames must be valid JS identifiers, may not start with `_` (Convex reserves underscore-prefixed names for system tables), and may not collide with reserved JS keywords like `import.ts`. Pick a casing convention you like — Confect's example code uses `snake_case` (`notes.ts`, `user_profiles.ts`).
+
+  The bound `Table`'s `name` property has been renamed to `tableName`. This avoids a silent collision with the built-in `Function.prototype.name` that JavaScript carries on every function value (including the new unnamed-callable `UnnamedTable`).
+
+  ### Lazy per-table schema construction
+
+  `Table.make` takes a `() => Schema.Struct({...})` callback rather than a bare struct, and a bound `Table`'s `Fields`, `Doc`, and `tableDefinition` are lazy memoised getters that only invoke that callback on first access.
+
+  Previously, every `confect/tables/<name>.ts` module ran `Schema.Struct({...})` (and the corresponding `compileTableSchema` / `defineTable` work) at module-load time. Because the codegen-emitted `_generated/schema.ts` is imported transitively from every per-group function bundle, loading any one function eagerly built _every_ table's schema graph — paying a cold-start cost proportional to the whole project, not just the function being invoked.
+
+  The bound `Table` now exposes `Fields` / `Doc` / `tableDefinition` as lazy getters that compute their value on first access, then replace themselves with a plain non-writable data property so second-and-subsequent accesses are observably indistinguishable from a plain property (and skip all function-call overhead). The result: a function bundle only pays the schema-construction cost for tables it actually touches via `db.table(name)` (which reaches `Fields` through `Document.decode`). The `UnnamedTable` callable no longer exposes `Fields` or `tableDefinition` — read these off the bound `Table` (the generated `_generated/tables/<name>.ts` wrapper already binds the name).
+
+  ### Migration
+  1. Delete your `confect/schema.ts`. Codegen will refuse to run while a stray copy is present.
+  2. Rename each `confect/tables/<Name>.ts` to a valid JS identifier in your chosen casing convention (e.g. `confect/tables/notes.ts`). The basename becomes the table name; you no longer pass it as an argument.
+  3. Convert each table file to a **default-export-only** unnamed module: drop the name argument from `Table.make`, wrap the field-schema struct in a `() => ...` callback, and switch any `GenericId.GenericId("users")` references to `Id("users")` imported from `../_generated/id`:
+
+     ```diff
+     - import { GenericId } from "@confect/core";
+       import { Table } from "@confect/server";
+       import { Schema } from "effect";
+     + import { Id } from "../_generated/id";
+
+     - export default Table.make(
+     -   "notes",
+     -   Schema.Struct({
+     -     userId: Schema.optional(GenericId.GenericId("users")),
+     -     text: Schema.String,
+     -   }),
+     - );
+     + export default Table.make(() =>
+     +   Schema.Struct({
+     +     userId: Schema.optional(Id("users")),
+     +     text: Schema.String,
+     +   }),
+     + );
+     ```
+
+  4. Rewire every consumer site (specs, impls, integration tests, HTTP handlers, etc.) to import from the generated wrapper rather than directly from `tables/`. The wrapper is also where you now read `Doc` / `Fields` / `tableDefinition` (the unnamed `Table.make(...)` callable no longer exposes them):
+
+     ```diff
+     - import Notes from "../tables/Notes";
+     + import notes from "../_generated/tables/notes";
+
+     - returns: Schema.Array(Notes.Doc),
+     + returns: Schema.Array(notes.Doc),
+     ```
+
+  5. Replace every remaining `GenericId.GenericId("x")` call site with `Id("x")` from `_generated/id` (in spec `args`/`returns`, in `TaggedError` schemas, in `TestConfect.run`, etc.).
+  6. If you read `table.name` anywhere off a bound `Table`, rename it to `table.tableName`.
+  7. Re-run `confect codegen`. It will create `confect/_generated/schema.ts`, `confect/_generated/convexSchema.ts`, `confect/_generated/id.ts`, and one `confect/_generated/tables/<name>.ts` wrapper per table; and it will rewrite `convex/schema.ts` to a one-line re-export.
+  8. If you use `@confect/test`, pass the generated Convex schema definition to `TestConfect.layer`:
+
+     ```diff
+     - import confectSchema from "./confect/schema";
+     + import confectSchema from "./confect/_generated/schema";
+     + import convexSchema from "./confect/_generated/convexSchema";
+
+       export const layer = TestConfect_.layer(
+         confectSchema,
+     +   convexSchema,
+         import.meta.glob("./convex/**/!(*.*.*)*.*s"),
+       );
+     ```
+
+  ### New warning: no tables discovered
+
+  If a Confect project has no tables — either `confect/tables/` is missing entirely or it exists but contains no `.ts` files — codegen now emits a yellow `⚠` warning and continues, producing an empty `DatabaseSchema.make()` / `defineSchema({})`. Table-free backends (e.g. action-only proxies, webhook bridges) are still legal; the warning just catches the much more common case of a typoed directory name or files placed at the wrong path. To silence it, add at least one `Table.make(...)` module under `confect/tables/`.
+
+  ### New error: invalid table filename
+
+  Codegen now rejects table files whose basename is not a valid JS identifier (e.g. `user-profiles.ts`), starts with `_` (reserved for Convex system tables), or shadows a reserved JS keyword (e.g. `import.ts`). Rename the offending file to fix it — for example, `user-profiles.ts` → `user_profiles.ts` or `userProfiles.ts`.
+
+### Patch Changes
+
+- Updated dependencies [46045a9]
+- Updated dependencies [762f7eb]
+  - @confect/core@9.0.0-next.6
+  - @confect/server@9.0.0-next.6
+
+## 9.0.0-next.5
+
+### Patch Changes
+
+- 4cebebc: Switch the codegen bundler to [`bundle-require`](https://github.com/egoist/bundle-require).
+
+  ### Why
+
+  `9.0.0-next.4`'s `absoluteExternalsPlugin` externalized every bare-specifier import and rewrote it to a `file://` URL because the bundle was loaded via a parent-less `data:` URL. esbuild's resolver honors `tsconfig.json#compilerOptions.paths`, so a `~/src/foo`-style alias resolved to a local `.ts` file and got externalized as `file:///…/foo.ts` — which Node ESM cannot import (`ERR_UNKNOWN_FILE_EXTENSION`). The codegen bundler hand-rolled a third reimplementation of "load a TypeScript config file at runtime"; each iteration introduced a new bug.
+
+  ### What changed
+  - `@confect/cli/Bundler` now delegates to `bundle-require`, the library `tsup`, `unbuild`, `vite`, `vitest`, and `vuepress` use for this exact problem. `bundle-require` writes a temp `.mjs` next to the source, `import()`s it, and deletes it — so bare-specifier externals (third-party packages, workspace deps) resolve through Node's normal `node_modules` walk and tsconfig `paths` aliases stay inside the bundle.
+  - `@confect/cli/confect/dev`'s watcher swaps `absoluteExternalsPlugin` for `bundle-require`'s `externalPlugin`, fed the project's `tsconfig.json#paths` via `loadTsConfig` so dev-mode rebuilds also bundle aliased local source instead of erroring on it.
+  - The `absoluteExternalsPlugin` export is removed from `@confect/cli/Bundler`.
+
+  ### Fixes
+  - Restores `confect codegen` for any project that uses `tsconfig.json` `paths` aliases (e.g. `~/*`, `@/*`, `@app/*`) for its own source.
+  - As a side benefit, `__dirname`, `__filename`, and `import.meta.url` inside bundled impls now resolve to the original source path instead of the temporary bundle URL (`bundle-require`'s built-in injection).
+  - @confect/core@9.0.0-next.5
+  - @confect/server@9.0.0-next.5
+
 ## 9.0.0-next.4
 
 ### Patch Changes

package/dist/Bundler.mjs

@@ -1,88 +1,79 @@
 import { BundlerError } from "./BuildError.mjs";
 import { Array, Effect, Option, pipe } from "effect";
 import { Path } from "@effect/platform";
-import * as esbuild from "esbuild";
-import { pathToFileURL } from "node:url";
+import { dirname, isAbsolute, resolve } from "node:path";
+import { bundleRequire } from "bundle-require";
 
 //#region src/Bundler.ts
-const isRelativeOrAbsolutePath = (importPath) => importPath.startsWith("./") || importPath.startsWith("../") || importPath.startsWith("/");
-const PLUGIN_DATA_SKIP = Symbol("absolute-externals.skip");
 /**
-* Mark every bare-specifier import as external and rewrite it to an absolute
-* `file://` URL. Resolution is delegated to esbuild's own resolver via
-* `build.resolve(...)`, which honors each package's `exports` map (preferring
-* the `import` condition under `format: "esm"`) and falls back to
-* `module`/`main` exactly the way Node's ESM resolution algorithm does.
-*
-* Bundles produced with this plugin are loaded via a data URL `import(...)`
-* (see {@link bundle}); rewriting bare externals to absolute file URLs is what
-* makes them resolvable at runtime, since a data URL has no parent file from
-* which a bare specifier could be resolved.
-*
-* Relative/absolute-path imports are left to esbuild to bundle as usual, and
-* `node:*` built-ins are passed through unchanged.
+* `bundle-require` sets `absWorkingDir: cwd` on the underlying esbuild build,
+* so the metafile's input keys (and each input's `imports[].path`) are stored
+* relative to that cwd. Callers reach for the metafile with absolute paths
+* (e.g. {@link directlyImports}), so we normalize every key/import path to
+* absolute up front. That way the lookup logic stays oblivious to whatever
+* cwd was used during bundling.
 */
-const absoluteExternalsPlugin = {
-	name: "absolute-externals",
-	setup(build) {
-		build.onResolve({ filter: /.*/ }, async (args) => {
-			if (args.pluginData?.[PLUGIN_DATA_SKIP]) return;
-			if (args.kind !== "import-statement" && args.kind !== "dynamic-import") return;
-			if (isRelativeOrAbsolutePath(args.path)) return;
-			if (args.path.startsWith("node:")) return {
-				path: args.path,
-				external: true
-			};
-			const resolved = await build.resolve(args.path, {
-				kind: args.kind,
-				resolveDir: args.resolveDir,
-				pluginData: { [PLUGIN_DATA_SKIP]: true }
-			});
-			if (resolved.errors.length > 0) return {
-				errors: resolved.errors,
-				warnings: resolved.warnings
-			};
-			return {
-				path: pathToFileURL(resolved.path).href,
-				external: true
-			};
-		});
-	}
-};
-const buildEntry = (entryPoint) => Effect.tryPromise({
-	try: () => esbuild.build({
-		entryPoints: [entryPoint],
-		bundle: true,
-		write: false,
-		platform: "node",
-		format: "esm",
-		logLevel: "silent",
-		metafile: true,
-		plugins: [absoluteExternalsPlugin]
-	}),
-	catch: (cause) => new BundlerError({ cause })
-});
-const importBundledModule = (result) => {
-	const code = result.outputFiles[0].text;
-	return import("data:text/javascript;base64," + Buffer.from(code).toString("base64"));
+const absolutizeMetafile = (metafile, cwd) => {
+	const absolutize = (p) => isAbsolute(p) ? p : resolve(cwd, p);
+	const inputs = {};
+	for (const [key, value] of Object.entries(metafile.inputs)) inputs[absolutize(key)] = {
+		...value,
+		imports: value.imports.map((i) => ({
+			...i,
+			path: absolutize(i.path)
+		}))
+	};
+	const outputs = {};
+	for (const [key, value] of Object.entries(metafile.outputs)) outputs[absolutize(key)] = value;
+	return {
+		inputs,
+		outputs
+	};
 };
 /**
-* Bundle a TypeScript entry point with esbuild and import the result via a
-* data URL. This handles extensionless `.ts` imports regardless of whether
-* the user's project sets `"type": "module"` in package.json. The returned
-* pair carries both the imported module and the esbuild metafile so callers
-* can inspect the import graph (see {@link directlyImports}).
+* Bundle a TypeScript entry point with esbuild via {@link bundleRequire} and
+* import the result. `bundle-require` writes a temp `.mjs` next to the source,
+* `import()`s it, and deletes it — so bare-specifier externals (third-party
+* packages, workspace deps) resolve through the user's normal `node_modules`
+* walk, and tsconfig `paths` aliases stay inside the bundle.
+*
+* `cwd` is set to the entry's directory so `bundle-require`'s `tsconfig.json`
+* discovery (which walks upward from `cwd`) lands on the project's tsconfig
+* regardless of where `confect codegen` was invoked from, and so esbuild
+* resolves relative imports against the entry's location.
+*
+* The returned pair carries both the imported module and the esbuild metafile
+* so callers can inspect the import graph (see {@link directlyImports}); the
+* metafile is captured via a small `onEnd` plugin because `bundle-require`
+* itself only exposes a flat `dependencies: string[]`.
 */
 const bundle = (entryPoint) => Effect.gen(function* () {
-	const result = yield* buildEntry(entryPoint);
-	const module = yield* Effect.tryPromise({
-		try: () => importBundledModule(result),
+	let metafile;
+	const captureMetafile = {
+		name: "confect:capture-metafile",
+		setup(build) {
+			build.onEnd((result) => {
+				metafile = result.metafile;
+			});
+		}
+	};
+	const cwd = dirname(entryPoint);
+	const result = yield* Effect.tryPromise({
+		try: () => bundleRequire({
+			filepath: entryPoint,
+			cwd,
+			format: "esm",
+			esbuildOptions: {
+				plugins: [captureMetafile],
+				logLevel: "silent"
+			}
+		}),
 		catch: (cause) => new BundlerError({ cause })
 	});
-	if (!result.metafile) return yield* Effect.dieMessage("esbuild metafile missing");
+	if (!metafile) return yield* Effect.dieMessage("esbuild metafile missing");
 	return {
-		module,
-		metafile: result.metafile
+		module: result.mod,
+		metafile: absolutizeMetafile(metafile, cwd)
 	};
 });
 const findMetafileInputKey = (metafile, absolutePath) => Effect.gen(function* () {
@@ -106,5 +97,5 @@ const directlyImports = (bundled, sourceAbsolutePath, targetAbsolutePath) => Eff
 });
 
 //#endregion
-export { absoluteExternalsPlugin, bundle, directlyImports };
+export { bundle, directlyImports };
 //# sourceMappingURL=Bundler.mjs.map

package/dist/Bundler.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Bundler.mjs","names":[],"sources":["../src/Bundler.ts"],"sourcesContent":["import { pathToFileURL } from \"node:url\";\nimport { Path } from \"@effect/platform\";\nimport { Array, Effect, Option, pipe } from \"effect\";\nimport * as esbuild from \"esbuild\";\nimport { BundlerError } from \"./BuildError\";\n\nexport interface Bundled {\n  readonly module: any;\n  readonly metafile: esbuild.Metafile;\n}\n\nconst isRelativeOrAbsolutePath = (importPath: string) =>\n  importPath.startsWith(\"./\") ||\n  importPath.startsWith(\"../\") ||\n  importPath.startsWith(\"/\");\n\n// Recursion guard for `absoluteExternalsPlugin`. When the plugin asks esbuild\n// to resolve a bare specifier via `build.resolve(...)`, esbuild invokes every\n// registered `onResolve` hook again for that same specifier — including this\n// one. The flag (carried through the recursive call via `pluginData`) tells\n// the recursive invocation to skip rewriting and fall through to esbuild's\n// built-in resolver, which is what we wanted from `build.resolve` in the\n// first place.\nconst PLUGIN_DATA_SKIP = Symbol(\"absolute-externals.skip\");\n\n/**\n * Mark every bare-specifier import as external and rewrite it to an absolute\n * `file://` URL. Resolution is delegated to esbuild's own resolver via\n * `build.resolve(...)`, which honors each package's `exports` map (preferring\n * the `import` condition under `format: \"esm\"`) and falls back to\n * `module`/`main` exactly the way Node's ESM resolution algorithm does.\n *\n * Bundles produced with this plugin are loaded via a data URL `import(...)`\n * (see {@link bundle}); rewriting bare externals to absolute file URLs is what\n * makes them resolvable at runtime, since a data URL has no parent file from\n * which a bare specifier could be resolved.\n *\n * Relative/absolute-path imports are left to esbuild to bundle as usual, and\n * `node:*` built-ins are passed through unchanged.\n */\nexport const absoluteExternalsPlugin: esbuild.Plugin = {\n  name: \"absolute-externals\",\n  setup(build) {\n    build.onResolve({ filter: /.*/ }, async (args) => {\n      if (args.pluginData?.[PLUGIN_DATA_SKIP]) return;\n      if (args.kind !== \"import-statement\" && args.kind !== \"dynamic-import\")\n        return;\n      if (isRelativeOrAbsolutePath(args.path)) return;\n      if (args.path.startsWith(\"node:\")) {\n        return { path: args.path, external: true };\n      }\n\n      const resolved = await build.resolve(args.path, {\n        kind: args.kind,\n        resolveDir: args.resolveDir,\n        pluginData: { [PLUGIN_DATA_SKIP]: true },\n      });\n\n      if (resolved.errors.length > 0) {\n        return { errors: resolved.errors, warnings: resolved.warnings };\n      }\n\n      return {\n        path: pathToFileURL(resolved.path).href,\n        external: true,\n      };\n    });\n  },\n};\n\nconst buildEntry = (entryPoint: string) =>\n  Effect.tryPromise({\n    try: () =>\n      esbuild.build({\n        entryPoints: [entryPoint],\n        bundle: true,\n        write: false,\n        platform: \"node\",\n        format: \"esm\",\n        logLevel: \"silent\",\n        metafile: true,\n        plugins: [absoluteExternalsPlugin],\n      }),\n    catch: (cause) => new BundlerError({ cause }),\n  });\n\nconst importBundledModule = (result: esbuild.BuildResult) => {\n  const code = result.outputFiles![0]!.text;\n  const dataUrl =\n    \"data:text/javascript;base64,\" + Buffer.from(code).toString(\"base64\");\n  return import(dataUrl);\n};\n\n/**\n * Bundle a TypeScript entry point with esbuild and import the result via a\n * data URL. This handles extensionless `.ts` imports regardless of whether\n * the user's project sets `\"type\": \"module\"` in package.json. The returned\n * pair carries both the imported module and the esbuild metafile so callers\n * can inspect the import graph (see {@link directlyImports}).\n */\nexport const bundle = (\n  entryPoint: string,\n): Effect.Effect<Bundled, BundlerError> =>\n  Effect.gen(function* () {\n    const result = yield* buildEntry(entryPoint);\n    const module = yield* Effect.tryPromise({\n      try: () => importBundledModule(result),\n      catch: (cause) => new BundlerError({ cause }),\n    });\n    if (!result.metafile) {\n      return yield* Effect.dieMessage(\"esbuild metafile missing\");\n    }\n    return { module, metafile: result.metafile };\n  });\n\nconst findMetafileInputKey = (\n  metafile: esbuild.Metafile,\n  absolutePath: string,\n) =>\n  Effect.gen(function* () {\n    const path = yield* Path.Path;\n    const resolved = path.resolve(absolutePath);\n    return Array.findFirst(\n      Object.keys(metafile.inputs),\n      (key) => path.resolve(key) === resolved,\n    );\n  });\n\n/**\n * Returns `true` when the module bundled from `sourceAbsolutePath` declares a\n * direct import of `targetAbsolutePath` (according to the bundle's esbuild\n * metafile). Returns `false` if either path is missing from the metafile.\n */\nexport const directlyImports = (\n  bundled: Bundled,\n  sourceAbsolutePath: string,\n  targetAbsolutePath: string,\n) =>\n  Effect.gen(function* () {\n    const path = yield* Path.Path;\n    const sourceKey = yield* findMetafileInputKey(\n      bundled.metafile,\n      sourceAbsolutePath,\n    );\n    const targetKey = yield* findMetafileInputKey(\n      bundled.metafile,\n      targetAbsolutePath,\n    );\n\n    return pipe(\n      Option.all([sourceKey, targetKey]),\n      Option.flatMap(([sourceKey_, targetKey_]) =>\n        Option.fromNullable(bundled.metafile.inputs[sourceKey_]).pipe(\n          Option.map((sourceInput) => {\n            const targetResolved = path.resolve(targetKey_);\n            return sourceInput.imports.some(\n              (importedFile) =>\n                path.resolve(importedFile.path) === targetResolved,\n            );\n          }),\n        ),\n      ),\n      Option.getOrElse(() => false),\n    );\n  });\n"],"mappings":";;;;;;;AAWA,MAAM,4BAA4B,eAChC,WAAW,WAAW,KAAK,IAC3B,WAAW,WAAW,MAAM,IAC5B,WAAW,WAAW,IAAI;AAS5B,MAAM,mBAAmB,OAAO,0BAA0B;;;;;;;;;;;;;;;;AAiB1D,MAAa,0BAA0C;CACrD,MAAM;CACN,MAAM,OAAO;AACX,QAAM,UAAU,EAAE,QAAQ,MAAM,EAAE,OAAO,SAAS;AAChD,OAAI,KAAK,aAAa,kBAAmB;AACzC,OAAI,KAAK,SAAS,sBAAsB,KAAK,SAAS,iBACpD;AACF,OAAI,yBAAyB,KAAK,KAAK,CAAE;AACzC,OAAI,KAAK,KAAK,WAAW,QAAQ,CAC/B,QAAO;IAAE,MAAM,KAAK;IAAM,UAAU;IAAM;GAG5C,MAAM,WAAW,MAAM,MAAM,QAAQ,KAAK,MAAM;IAC9C,MAAM,KAAK;IACX,YAAY,KAAK;IACjB,YAAY,GAAG,mBAAmB,MAAM;IACzC,CAAC;AAEF,OAAI,SAAS,OAAO,SAAS,EAC3B,QAAO;IAAE,QAAQ,SAAS;IAAQ,UAAU,SAAS;IAAU;AAGjE,UAAO;IACL,MAAM,cAAc,SAAS,KAAK,CAAC;IACnC,UAAU;IACX;IACD;;CAEL;AAED,MAAM,cAAc,eAClB,OAAO,WAAW;CAChB,WACE,QAAQ,MAAM;EACZ,aAAa,CAAC,WAAW;EACzB,QAAQ;EACR,OAAO;EACP,UAAU;EACV,QAAQ;EACR,UAAU;EACV,UAAU;EACV,SAAS,CAAC,wBAAwB;EACnC,CAAC;CACJ,QAAQ,UAAU,IAAI,aAAa,EAAE,OAAO,CAAC;CAC9C,CAAC;AAEJ,MAAM,uBAAuB,WAAgC;CAC3D,MAAM,OAAO,OAAO,YAAa,GAAI;AAGrC,QAAO,OADL,iCAAiC,OAAO,KAAK,KAAK,CAAC,SAAS,SAAS;;;;;;;;;AAWzE,MAAa,UACX,eAEA,OAAO,IAAI,aAAa;CACtB,MAAM,SAAS,OAAO,WAAW,WAAW;CAC5C,MAAM,SAAS,OAAO,OAAO,WAAW;EACtC,WAAW,oBAAoB,OAAO;EACtC,QAAQ,UAAU,IAAI,aAAa,EAAE,OAAO,CAAC;EAC9C,CAAC;AACF,KAAI,CAAC,OAAO,SACV,QAAO,OAAO,OAAO,WAAW,2BAA2B;AAE7D,QAAO;EAAE;EAAQ,UAAU,OAAO;EAAU;EAC5C;AAEJ,MAAM,wBACJ,UACA,iBAEA,OAAO,IAAI,aAAa;CACtB,MAAM,OAAO,OAAO,KAAK;CACzB,MAAM,WAAW,KAAK,QAAQ,aAAa;AAC3C,QAAO,MAAM,UACX,OAAO,KAAK,SAAS,OAAO,GAC3B,QAAQ,KAAK,QAAQ,IAAI,KAAK,SAChC;EACD;;;;;;AAOJ,MAAa,mBACX,SACA,oBACA,uBAEA,OAAO,IAAI,aAAa;CACtB,MAAM,OAAO,OAAO,KAAK;CACzB,MAAM,YAAY,OAAO,qBACvB,QAAQ,UACR,mBACD;CACD,MAAM,YAAY,OAAO,qBACvB,QAAQ,UACR,mBACD;AAED,QAAO,KACL,OAAO,IAAI,CAAC,WAAW,UAAU,CAAC,EAClC,OAAO,SAAS,CAAC,YAAY,gBAC3B,OAAO,aAAa,QAAQ,SAAS,OAAO,YAAY,CAAC,KACvD,OAAO,KAAK,gBAAgB;EAC1B,MAAM,iBAAiB,KAAK,QAAQ,WAAW;AAC/C,SAAO,YAAY,QAAQ,MACxB,iBACC,KAAK,QAAQ,aAAa,KAAK,KAAK,eACvC;GACD,CACH,CACF,EACD,OAAO,gBAAgB,MAAM,CAC9B;EACD"}
+{"version":3,"file":"Bundler.mjs","names":[],"sources":["../src/Bundler.ts"],"sourcesContent":["import { dirname, isAbsolute, resolve } from \"node:path\";\nimport { Path } from \"@effect/platform\";\nimport { bundleRequire } from \"bundle-require\";\nimport { Array, Effect, Option, pipe } from \"effect\";\nimport type * as esbuild from \"esbuild\";\nimport { BundlerError } from \"./BuildError\";\n\nexport interface Bundled {\n  readonly module: any;\n  readonly metafile: esbuild.Metafile;\n}\n\n/**\n * `bundle-require` sets `absWorkingDir: cwd` on the underlying esbuild build,\n * so the metafile's input keys (and each input's `imports[].path`) are stored\n * relative to that cwd. Callers reach for the metafile with absolute paths\n * (e.g. {@link directlyImports}), so we normalize every key/import path to\n * absolute up front. That way the lookup logic stays oblivious to whatever\n * cwd was used during bundling.\n */\nconst absolutizeMetafile = (\n  metafile: esbuild.Metafile,\n  cwd: string,\n): esbuild.Metafile => {\n  const absolutize = (p: string) => (isAbsolute(p) ? p : resolve(cwd, p));\n  const inputs: esbuild.Metafile[\"inputs\"] = {};\n  for (const [key, value] of Object.entries(metafile.inputs)) {\n    inputs[absolutize(key)] = {\n      ...value,\n      imports: value.imports.map((i) => ({ ...i, path: absolutize(i.path) })),\n    };\n  }\n  const outputs: esbuild.Metafile[\"outputs\"] = {};\n  for (const [key, value] of Object.entries(metafile.outputs)) {\n    outputs[absolutize(key)] = value;\n  }\n  return { inputs, outputs };\n};\n\n/**\n * Bundle a TypeScript entry point with esbuild via {@link bundleRequire} and\n * import the result. `bundle-require` writes a temp `.mjs` next to the source,\n * `import()`s it, and deletes it — so bare-specifier externals (third-party\n * packages, workspace deps) resolve through the user's normal `node_modules`\n * walk, and tsconfig `paths` aliases stay inside the bundle.\n *\n * `cwd` is set to the entry's directory so `bundle-require`'s `tsconfig.json`\n * discovery (which walks upward from `cwd`) lands on the project's tsconfig\n * regardless of where `confect codegen` was invoked from, and so esbuild\n * resolves relative imports against the entry's location.\n *\n * The returned pair carries both the imported module and the esbuild metafile\n * so callers can inspect the import graph (see {@link directlyImports}); the\n * metafile is captured via a small `onEnd` plugin because `bundle-require`\n * itself only exposes a flat `dependencies: string[]`.\n */\nexport const bundle = (\n  entryPoint: string,\n): Effect.Effect<Bundled, BundlerError> =>\n  Effect.gen(function* () {\n    let metafile: esbuild.Metafile | undefined;\n    const captureMetafile: esbuild.Plugin = {\n      name: \"confect:capture-metafile\",\n      setup(build) {\n        build.onEnd((result) => {\n          metafile = result.metafile;\n        });\n      },\n    };\n\n    const cwd = dirname(entryPoint);\n    const result = yield* Effect.tryPromise({\n      try: () =>\n        bundleRequire({\n          filepath: entryPoint,\n          cwd,\n          format: \"esm\",\n          esbuildOptions: {\n            plugins: [captureMetafile],\n            logLevel: \"silent\",\n          },\n        }),\n      catch: (cause) => new BundlerError({ cause }),\n    });\n\n    if (!metafile) {\n      return yield* Effect.dieMessage(\"esbuild metafile missing\");\n    }\n\n    return { module: result.mod, metafile: absolutizeMetafile(metafile, cwd) };\n  });\n\nconst findMetafileInputKey = (\n  metafile: esbuild.Metafile,\n  absolutePath: string,\n) =>\n  Effect.gen(function* () {\n    const path = yield* Path.Path;\n    const resolved = path.resolve(absolutePath);\n    return Array.findFirst(\n      Object.keys(metafile.inputs),\n      (key) => path.resolve(key) === resolved,\n    );\n  });\n\n/**\n * Returns `true` when the module bundled from `sourceAbsolutePath` declares a\n * direct import of `targetAbsolutePath` (according to the bundle's esbuild\n * metafile). Returns `false` if either path is missing from the metafile.\n */\nexport const directlyImports = (\n  bundled: Bundled,\n  sourceAbsolutePath: string,\n  targetAbsolutePath: string,\n) =>\n  Effect.gen(function* () {\n    const path = yield* Path.Path;\n    const sourceKey = yield* findMetafileInputKey(\n      bundled.metafile,\n      sourceAbsolutePath,\n    );\n    const targetKey = yield* findMetafileInputKey(\n      bundled.metafile,\n      targetAbsolutePath,\n    );\n\n    return pipe(\n      Option.all([sourceKey, targetKey]),\n      Option.flatMap(([sourceKey_, targetKey_]) =>\n        Option.fromNullable(bundled.metafile.inputs[sourceKey_]).pipe(\n          Option.map((sourceInput) => {\n            const targetResolved = path.resolve(targetKey_);\n            return sourceInput.imports.some(\n              (importedFile) =>\n                path.resolve(importedFile.path) === targetResolved,\n            );\n          }),\n        ),\n      ),\n      Option.getOrElse(() => false),\n    );\n  });\n"],"mappings":";;;;;;;;;;;;;;;AAoBA,MAAM,sBACJ,UACA,QACqB;CACrB,MAAM,cAAc,MAAe,WAAW,EAAE,GAAG,IAAI,QAAQ,KAAK,EAAE;CACtE,MAAM,SAAqC,EAAE;AAC7C,MAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,SAAS,OAAO,CACxD,QAAO,WAAW,IAAI,IAAI;EACxB,GAAG;EACH,SAAS,MAAM,QAAQ,KAAK,OAAO;GAAE,GAAG;GAAG,MAAM,WAAW,EAAE,KAAK;GAAE,EAAE;EACxE;CAEH,MAAM,UAAuC,EAAE;AAC/C,MAAK,MAAM,CAAC,KAAK,UAAU,OAAO,QAAQ,SAAS,QAAQ,CACzD,SAAQ,WAAW,IAAI,IAAI;AAE7B,QAAO;EAAE;EAAQ;EAAS;;;;;;;;;;;;;;;;;;;AAoB5B,MAAa,UACX,eAEA,OAAO,IAAI,aAAa;CACtB,IAAI;CACJ,MAAM,kBAAkC;EACtC,MAAM;EACN,MAAM,OAAO;AACX,SAAM,OAAO,WAAW;AACtB,eAAW,OAAO;KAClB;;EAEL;CAED,MAAM,MAAM,QAAQ,WAAW;CAC/B,MAAM,SAAS,OAAO,OAAO,WAAW;EACtC,WACE,cAAc;GACZ,UAAU;GACV;GACA,QAAQ;GACR,gBAAgB;IACd,SAAS,CAAC,gBAAgB;IAC1B,UAAU;IACX;GACF,CAAC;EACJ,QAAQ,UAAU,IAAI,aAAa,EAAE,OAAO,CAAC;EAC9C,CAAC;AAEF,KAAI,CAAC,SACH,QAAO,OAAO,OAAO,WAAW,2BAA2B;AAG7D,QAAO;EAAE,QAAQ,OAAO;EAAK,UAAU,mBAAmB,UAAU,IAAI;EAAE;EAC1E;AAEJ,MAAM,wBACJ,UACA,iBAEA,OAAO,IAAI,aAAa;CACtB,MAAM,OAAO,OAAO,KAAK;CACzB,MAAM,WAAW,KAAK,QAAQ,aAAa;AAC3C,QAAO,MAAM,UACX,OAAO,KAAK,SAAS,OAAO,GAC3B,QAAQ,KAAK,QAAQ,IAAI,KAAK,SAChC;EACD;;;;;;AAOJ,MAAa,mBACX,SACA,oBACA,uBAEA,OAAO,IAAI,aAAa;CACtB,MAAM,OAAO,OAAO,KAAK;CACzB,MAAM,YAAY,OAAO,qBACvB,QAAQ,UACR,mBACD;CACD,MAAM,YAAY,OAAO,qBACvB,QAAQ,UACR,mBACD;AAED,QAAO,KACL,OAAO,IAAI,CAAC,WAAW,UAAU,CAAC,EAClC,OAAO,SAAS,CAAC,YAAY,gBAC3B,OAAO,aAAa,QAAQ,SAAS,OAAO,YAAY,CAAC,KACvD,OAAO,KAAK,gBAAgB;EAC1B,MAAM,iBAAiB,KAAK,QAAQ,WAAW;AAC/C,SAAO,YAAY,QAAQ,MACxB,iBACC,KAAK,QAAQ,aAAa,KAAK,KAAK,eACvC;GACD,CACH,CACF,EACD,OAAO,gBAAgB,MAAM,CAC9B;EACD"}

package/dist/CodegenError.mjs

@@ -29,15 +29,23 @@ var ImplMissingFunctionsError = class extends Schema.TaggedError()("ImplMissingF
 	groupPath: Schema.String,
 	missingFunctionNames: Schema.Array(Schema.String)
 }) {};
-var SchemaInvalidDefaultExportError = class extends Schema.TaggedError()("SchemaInvalidDefaultExportError", { schemaPath: Schema.String }) {};
 var ParentChildNameCollisionError = class extends Schema.TaggedError()("ParentChildNameCollisionError", {
 	parentSpecPath: Schema.String,
 	childSpecPath: Schema.String,
 	collisionName: Schema.String,
 	collisionKind: Schema.Literal("function", "group")
 }) {};
-var MissingSchemaFileError = class extends Schema.TaggedError()("MissingSchemaFileError", { schemaPath: Schema.String }) {};
-const CodegenError = Schema.Union(BuildError, MissingImplFileError, MissingSpecFileError, SpecMissingDefaultGroupSpecError, SpecRuntimeMismatchError, ImplMissingSpecImportError, ImplMissingDefaultLayerError, ImplNotFinalizedError, ImplMissingFunctionsError, SchemaInvalidDefaultExportError, MissingSchemaFileError, ParentChildNameCollisionError);
+var InvalidTableDefaultExportError = class extends Schema.TaggedError()("InvalidTableDefaultExportError", { tablePath: Schema.String }) {};
+var InvalidTableFilenameError = class extends Schema.TaggedError()("InvalidTableFilenameError", {
+	tablePath: Schema.String,
+	reason: Schema.String
+}) {};
+var DuplicateTableNameError = class extends Schema.TaggedError()("DuplicateTableNameError", { collisions: Schema.Array(Schema.Struct({
+	tableName: Schema.String,
+	tablePaths: Schema.Array(Schema.String)
+})) }) {};
+var LegacySchemaFileError = class extends Schema.TaggedError()("LegacySchemaFileError", { schemaPath: Schema.String }) {};
+const CodegenError = Schema.Union(BuildError, MissingImplFileError, MissingSpecFileError, SpecMissingDefaultGroupSpecError, SpecRuntimeMismatchError, ImplMissingSpecImportError, ImplMissingDefaultLayerError, ImplNotFinalizedError, ImplMissingFunctionsError, ParentChildNameCollisionError, InvalidTableDefaultExportError, InvalidTableFilenameError, DuplicateTableNameError, LegacySchemaFileError);
 const isCodegenError = (error) => {
 	if (isBuildError(error)) return true;
 	return Schema.is(CodegenError)(error);
@@ -61,14 +69,19 @@ const renderImplMissingSpecImportError = (error) => {
 	const stem = stemFromSpecPath(error.expectedSpecPath);
 	return singleLine(AnsiDoc.text("Impl "), formatPathDoc(error.implPath), AnsiDoc.text(` does not import its sibling spec; add \`import ${stem} from "./${stem}.spec"\` and pass it to FunctionImpl.make / GroupImpl.make.`));
 };
-const renderImplMissingDefaultLayerError = (error) => singleLine(AnsiDoc.text("Impl "), formatPathDoc(error.implPath), AnsiDoc.text(" must default-export a GroupImpl layer; wrap your handlers with `GroupImpl.make(api, groupSpec).pipe(Layer.provide(...))` and `export default` it."));
-const renderImplNotFinalizedError = (error) => singleLine(AnsiDoc.text("Impl "), formatPathDoc(error.implPath), AnsiDoc.text(" is not finalized; append `GroupImpl.finalize` to the end of the pipeline (e.g. `GroupImpl.make(api, group).pipe(Layer.provide(...), GroupImpl.finalize)`)."));
+const renderImplMissingDefaultLayerError = (error) => singleLine(AnsiDoc.text("Impl "), formatPathDoc(error.implPath), AnsiDoc.text(" must default-export a GroupImpl layer; wrap your handlers with `GroupImpl.make(databaseSchema, groupSpec).pipe(Layer.provide(...))` and `export default` it."));
+const renderImplNotFinalizedError = (error) => singleLine(AnsiDoc.text("Impl "), formatPathDoc(error.implPath), AnsiDoc.text(" is not finalized; append `GroupImpl.finalize` to the end of the pipeline (e.g. `GroupImpl.make(databaseSchema, group).pipe(Layer.provide(...), GroupImpl.finalize)`)."));
 const renderImplMissingFunctionsError = (error) => {
 	const names = error.missingFunctionNames.join(", ");
 	return singleLine(AnsiDoc.text("Impl "), formatPathDoc(error.implPath), AnsiDoc.text(` does not implement every function declared by group \`${error.groupPath}\`; missing: ${names}. Add a \`FunctionImpl.make\` for each missing function and provide it to the group layer.`));
 };
-const renderSchemaInvalidDefaultExportError = (error) => singleLine(AnsiDoc.text("Schema "), formatPathDoc(error.schemaPath), AnsiDoc.text(" must default-export a DatabaseSchema; build it with DatabaseSchema.make({ ... })."));
-const renderMissingSchemaFileError = (error) => singleLine(AnsiDoc.text("Schema "), formatPathDoc(error.schemaPath), AnsiDoc.text(" is required but is missing; create it and default-export a DatabaseSchema (DatabaseSchema.make({ ... }))."));
+const renderInvalidTableDefaultExportError = (error) => singleLine(AnsiDoc.text("Table "), formatPathDoc(error.tablePath), AnsiDoc.text(" must default-export a Table (e.g. `export default Table.make({ ... })`); convert any named export to a default export."));
+const renderInvalidTableFilenameError = (error) => singleLine(AnsiDoc.text("Table "), formatPathDoc(error.tablePath), AnsiDoc.text(` has an invalid filename: ${error.reason} Convex table names must start with a letter and contain only letters, numbers, and underscores; leading underscores are reserved for system tables.`));
+const renderDuplicateTableNameError = (error) => {
+	const conflicts = error.collisions.map(({ tableName, tablePaths }) => `\`${tableName}\` (${tablePaths.join(", ")})`).join("; ");
+	return singleLine(AnsiDoc.text(`Multiple files under \`confect/tables/\` resolve to the same table name. Table names are derived from filenames, so each must be unique across the directory (including subdirectories); rename or remove all but one. Conflicts: ${conflicts}.`));
+};
+const renderLegacySchemaFileError = (error) => singleLine(AnsiDoc.text("Found a legacy "), formatPathDoc(error.schemaPath), AnsiDoc.text(". Delete it: tables in `confect/tables/*.ts` are now the single source of truth, and the runtime schema is generated as `confect/_generated/schema.ts`."));
 const renderParentChildNameCollisionError = (error) => singleLine(AnsiDoc.text("Spec "), formatPathDoc(error.parentSpecPath), AnsiDoc.text(` declares a ${error.collisionKind} \`${error.collisionName}\` whose name collides with the sibling subdirectory spec `), formatPathDoc(error.childSpecPath), AnsiDoc.text(`. Rename one of them so the assembled spec has a unique key at this path.`));
 /**
 * Render any {@link CodegenError} into a styled, ready-to-print string.
@@ -78,7 +91,7 @@ const renderParentChildNameCollisionError = (error) => singleLine(AnsiDoc.text("
 */
 const renderCodegenError = (error) => {
 	if (isBuildError(error)) return renderBuildError(error);
-	return Match.value(error).pipe(Match.tag("MissingImplFileError", (e) => pipe(renderMissingImplFileError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("MissingSpecFileError", (e) => pipe(renderMissingSpecFileError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("SpecMissingDefaultGroupSpecError", (e) => pipe(renderSpecMissingDefaultGroupSpecError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("SpecRuntimeMismatchError", (e) => pipe(renderSpecRuntimeMismatchError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ImplMissingSpecImportError", (e) => pipe(renderImplMissingSpecImportError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ImplMissingDefaultLayerError", (e) => pipe(renderImplMissingDefaultLayerError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ImplNotFinalizedError", (e) => pipe(renderImplNotFinalizedError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ImplMissingFunctionsError", (e) => pipe(renderImplMissingFunctionsError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("SchemaInvalidDefaultExportError", (e) => pipe(renderSchemaInvalidDefaultExportError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("MissingSchemaFileError", (e) => pipe(renderMissingSchemaFileError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ParentChildNameCollisionError", (e) => pipe(renderParentChildNameCollisionError(e), AnsiDoc.render({ style: "pretty" }))), Match.exhaustive);
+	return Match.value(error).pipe(Match.tag("MissingImplFileError", (e) => pipe(renderMissingImplFileError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("MissingSpecFileError", (e) => pipe(renderMissingSpecFileError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("SpecMissingDefaultGroupSpecError", (e) => pipe(renderSpecMissingDefaultGroupSpecError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("SpecRuntimeMismatchError", (e) => pipe(renderSpecRuntimeMismatchError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ImplMissingSpecImportError", (e) => pipe(renderImplMissingSpecImportError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ImplMissingDefaultLayerError", (e) => pipe(renderImplMissingDefaultLayerError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ImplNotFinalizedError", (e) => pipe(renderImplNotFinalizedError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ImplMissingFunctionsError", (e) => pipe(renderImplMissingFunctionsError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("ParentChildNameCollisionError", (e) => pipe(renderParentChildNameCollisionError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("InvalidTableDefaultExportError", (e) => pipe(renderInvalidTableDefaultExportError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("InvalidTableFilenameError", (e) => pipe(renderInvalidTableFilenameError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("DuplicateTableNameError", (e) => pipe(renderDuplicateTableNameError(e), AnsiDoc.render({ style: "pretty" }))), Match.tag("LegacySchemaFileError", (e) => pipe(renderLegacySchemaFileError(e), AnsiDoc.render({ style: "pretty" }))), Match.exhaustive);
 };
 const logCodegenError = (error) => Effect.sync(() => console.error(renderCodegenError(error)));
 /**
@@ -97,5 +110,5 @@ const tapAndLog = (effect) => effect.pipe(Effect.tapError((error) => isCodegenEr
 const catchAndLog = (effect) => Effect.catchIf(Effect.map(effect, Option.some), isCodegenError, (error) => logCodegenError(error).pipe(Effect.as(Option.none())));
 
 //#endregion
-export { ImplMissingDefaultLayerError, ImplMissingFunctionsError, ImplMissingSpecImportError, ImplNotFinalizedError, MissingImplFileError, MissingSchemaFileError, MissingSpecFileError, ParentChildNameCollisionError, SchemaInvalidDefaultExportError, SpecMissingDefaultGroupSpecError, SpecRuntimeMismatchError, catchAndLog, tapAndLog };
+export { DuplicateTableNameError, ImplMissingDefaultLayerError, ImplMissingFunctionsError, ImplMissingSpecImportError, ImplNotFinalizedError, InvalidTableDefaultExportError, InvalidTableFilenameError, LegacySchemaFileError, MissingImplFileError, MissingSpecFileError, ParentChildNameCollisionError, SpecMissingDefaultGroupSpecError, SpecRuntimeMismatchError, catchAndLog, tapAndLog };
 //# sourceMappingURL=CodegenError.mjs.map

package/dist/CodegenError.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"CodegenError.mjs","names":[],"sources":["../src/CodegenError.ts"],"sourcesContent":["import { Ansi, AnsiDoc } from \"@effect/printer-ansi\";\nimport { Effect, Match, Option, pipe, Schema } from \"effect\";\nimport { BuildError, isBuildError, renderBuildError } from \"./BuildError\";\nimport { formatPathDoc } from \"./log\";\n\n// --- Variants ---\n\nexport class MissingImplFileError extends Schema.TaggedError<MissingImplFileError>()(\n  \"MissingImplFileError\",\n  {\n    specPath: Schema.String,\n    expectedImplPath: Schema.String,\n  },\n) {}\n\nexport class MissingSpecFileError extends Schema.TaggedError<MissingSpecFileError>()(\n  \"MissingSpecFileError\",\n  {\n    implPath: Schema.String,\n    expectedSpecPath: Schema.String,\n  },\n) {}\n\nexport class SpecMissingDefaultGroupSpecError extends Schema.TaggedError<SpecMissingDefaultGroupSpecError>()(\n  \"SpecMissingDefaultGroupSpecError\",\n  {\n    specPath: Schema.String,\n  },\n) {}\n\nexport class SpecRuntimeMismatchError extends Schema.TaggedError<SpecRuntimeMismatchError>()(\n  \"SpecRuntimeMismatchError\",\n  {\n    specPath: Schema.String,\n    expectedRuntime: Schema.Literal(\"Convex\", \"Node\"),\n    actualRuntime: Schema.Literal(\"Convex\", \"Node\"),\n  },\n) {}\n\nexport class ImplMissingSpecImportError extends Schema.TaggedError<ImplMissingSpecImportError>()(\n  \"ImplMissingSpecImportError\",\n  {\n    implPath: Schema.String,\n    expectedSpecPath: Schema.String,\n  },\n) {}\n\nexport class ImplMissingDefaultLayerError extends Schema.TaggedError<ImplMissingDefaultLayerError>()(\n  \"ImplMissingDefaultLayerError\",\n  {\n    implPath: Schema.String,\n  },\n) {}\n\nexport class ImplNotFinalizedError extends Schema.TaggedError<ImplNotFinalizedError>()(\n  \"ImplNotFinalizedError\",\n  {\n    implPath: Schema.String,\n  },\n) {}\n\nexport class ImplMissingFunctionsError extends Schema.TaggedError<ImplMissingFunctionsError>()(\n  \"ImplMissingFunctionsError\",\n  {\n    implPath: Schema.String,\n    groupPath: Schema.String,\n    missingFunctionNames: Schema.Array(Schema.String),\n  },\n) {}\n\nexport class SchemaInvalidDefaultExportError extends Schema.TaggedError<SchemaInvalidDefaultExportError>()(\n  \"SchemaInvalidDefaultExportError\",\n  {\n    schemaPath: Schema.String,\n  },\n) {}\n\nexport class ParentChildNameCollisionError extends Schema.TaggedError<ParentChildNameCollisionError>()(\n  \"ParentChildNameCollisionError\",\n  {\n    parentSpecPath: Schema.String,\n    childSpecPath: Schema.String,\n    collisionName: Schema.String,\n    collisionKind: Schema.Literal(\"function\", \"group\"),\n  },\n) {}\n\nexport class MissingSchemaFileError extends Schema.TaggedError<MissingSchemaFileError>()(\n  \"MissingSchemaFileError\",\n  {\n    schemaPath: Schema.String,\n  },\n) {}\n\nexport const CodegenError = Schema.Union(\n  BuildError,\n  MissingImplFileError,\n  MissingSpecFileError,\n  SpecMissingDefaultGroupSpecError,\n  SpecRuntimeMismatchError,\n  ImplMissingSpecImportError,\n  ImplMissingDefaultLayerError,\n  ImplNotFinalizedError,\n  ImplMissingFunctionsError,\n  SchemaInvalidDefaultExportError,\n  MissingSchemaFileError,\n  ParentChildNameCollisionError,\n);\nexport type CodegenError = typeof CodegenError.Type;\n\nexport const isCodegenError = (error: unknown): error is CodegenError => {\n  if (isBuildError(error)) return true;\n  return Schema.is(CodegenError)(error);\n};\n\n// --- Per-variant rendering ---\n\nconst cross = pipe(AnsiDoc.char(\"✘\"), AnsiDoc.annotate(Ansi.red));\n\nconst stemFromSpecPath = (specPath: string): string => {\n  const lastSep = Math.max(\n    specPath.lastIndexOf(\"/\"),\n    specPath.lastIndexOf(\"\\\\\"),\n  );\n  const basename = lastSep < 0 ? specPath : specPath.slice(lastSep + 1);\n  return basename.endsWith(\".spec.ts\")\n    ? basename.slice(0, -\".spec.ts\".length)\n    : basename;\n};\n\nconst singleLine = (\n  ...parts: ReadonlyArray<AnsiDoc.AnsiDoc>\n): AnsiDoc.AnsiDoc => pipe(cross, AnsiDoc.catWithSpace(AnsiDoc.hcat(parts)));\n\nconst renderMissingImplFileError = (\n  error: MissingImplFileError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Spec \"),\n    formatPathDoc(error.specPath),\n    AnsiDoc.text(\" has no sibling impl; create \"),\n    formatPathDoc(error.expectedImplPath),\n    AnsiDoc.text(\" and default-export a GroupImpl layer from it.\"),\n  );\n\nconst renderMissingSpecFileError = (\n  error: MissingSpecFileError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\" has no sibling spec; create \"),\n    formatPathDoc(error.expectedSpecPath),\n    AnsiDoc.text(\n      \" and default-export a GroupSpec from it, or remove the impl.\",\n    ),\n  );\n\nconst renderSpecMissingDefaultGroupSpecError = (\n  error: SpecMissingDefaultGroupSpecError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Spec \"),\n    formatPathDoc(error.specPath),\n    AnsiDoc.text(\n      \" must default-export a GroupSpec; build it with GroupSpec.make() or GroupSpec.makeNode().\",\n    ),\n  );\n\nconst renderSpecRuntimeMismatchError = (\n  error: SpecRuntimeMismatchError,\n): AnsiDoc.AnsiDoc => {\n  const constructor =\n    error.expectedRuntime === \"Node\"\n      ? \"GroupSpec.makeNode()\"\n      : \"GroupSpec.make()\";\n  const moveHint =\n    error.expectedRuntime === \"Node\"\n      ? \" or move the file into confect/node/.\"\n      : \" or move the file out of confect/node/.\";\n  return singleLine(\n    AnsiDoc.text(\"Spec \"),\n    formatPathDoc(error.specPath),\n    AnsiDoc.text(\n      ` declares a ${error.actualRuntime} GroupSpec but its location requires ${error.expectedRuntime}; use ${constructor}${moveHint}`,\n    ),\n  );\n};\n\nconst renderImplMissingSpecImportError = (\n  error: ImplMissingSpecImportError,\n): AnsiDoc.AnsiDoc => {\n  const stem = stemFromSpecPath(error.expectedSpecPath);\n  return singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\n      ` does not import its sibling spec; add \\`import ${stem} from \"./${stem}.spec\"\\` and pass it to FunctionImpl.make / GroupImpl.make.`,\n    ),\n  );\n};\n\nconst renderImplMissingDefaultLayerError = (\n  error: ImplMissingDefaultLayerError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\n      \" must default-export a GroupImpl layer; wrap your handlers with `GroupImpl.make(api, groupSpec).pipe(Layer.provide(...))` and `export default` it.\",\n    ),\n  );\n\nconst renderImplNotFinalizedError = (\n  error: ImplNotFinalizedError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\n      \" is not finalized; append `GroupImpl.finalize` to the end of the pipeline (e.g. `GroupImpl.make(api, group).pipe(Layer.provide(...), GroupImpl.finalize)`).\",\n    ),\n  );\n\nconst renderImplMissingFunctionsError = (\n  error: ImplMissingFunctionsError,\n): AnsiDoc.AnsiDoc => {\n  const names = error.missingFunctionNames.join(\", \");\n  return singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\n      ` does not implement every function declared by group \\`${error.groupPath}\\`; missing: ${names}. Add a \\`FunctionImpl.make\\` for each missing function and provide it to the group layer.`,\n    ),\n  );\n};\n\nconst renderSchemaInvalidDefaultExportError = (\n  error: SchemaInvalidDefaultExportError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Schema \"),\n    formatPathDoc(error.schemaPath),\n    AnsiDoc.text(\n      \" must default-export a DatabaseSchema; build it with DatabaseSchema.make({ ... }).\",\n    ),\n  );\n\nconst renderMissingSchemaFileError = (\n  error: MissingSchemaFileError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Schema \"),\n    formatPathDoc(error.schemaPath),\n    AnsiDoc.text(\n      \" is required but is missing; create it and default-export a DatabaseSchema (DatabaseSchema.make({ ... })).\",\n    ),\n  );\n\nconst renderParentChildNameCollisionError = (\n  error: ParentChildNameCollisionError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Spec \"),\n    formatPathDoc(error.parentSpecPath),\n    AnsiDoc.text(\n      ` declares a ${error.collisionKind} \\`${error.collisionName}\\` whose name collides with the sibling subdirectory spec `,\n    ),\n    formatPathDoc(error.childSpecPath),\n    AnsiDoc.text(\n      `. Rename one of them so the assembled spec has a unique key at this path.`,\n    ),\n  );\n\n/**\n * Render any {@link CodegenError} into a styled, ready-to-print string.\n * Single-error variants render to a one-line `✘`-prefixed message;\n * `BundleFailedError` (the only multi-error variant) renders to a header\n * plus an esbuild diagnostic block.\n */\nexport const renderCodegenError = (error: CodegenError): string => {\n  if (isBuildError(error)) return renderBuildError(error);\n  return Match.value(error).pipe(\n    Match.tag(\"MissingImplFileError\", (e) =>\n      pipe(renderMissingImplFileError(e), AnsiDoc.render({ style: \"pretty\" })),\n    ),\n    Match.tag(\"MissingSpecFileError\", (e) =>\n      pipe(renderMissingSpecFileError(e), AnsiDoc.render({ style: \"pretty\" })),\n    ),\n    Match.tag(\"SpecMissingDefaultGroupSpecError\", (e) =>\n      pipe(\n        renderSpecMissingDefaultGroupSpecError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"SpecRuntimeMismatchError\", (e) =>\n      pipe(\n        renderSpecRuntimeMismatchError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"ImplMissingSpecImportError\", (e) =>\n      pipe(\n        renderImplMissingSpecImportError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"ImplMissingDefaultLayerError\", (e) =>\n      pipe(\n        renderImplMissingDefaultLayerError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"ImplNotFinalizedError\", (e) =>\n      pipe(renderImplNotFinalizedError(e), AnsiDoc.render({ style: \"pretty\" })),\n    ),\n    Match.tag(\"ImplMissingFunctionsError\", (e) =>\n      pipe(\n        renderImplMissingFunctionsError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"SchemaInvalidDefaultExportError\", (e) =>\n      pipe(\n        renderSchemaInvalidDefaultExportError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"MissingSchemaFileError\", (e) =>\n      pipe(\n        renderMissingSchemaFileError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"ParentChildNameCollisionError\", (e) =>\n      pipe(\n        renderParentChildNameCollisionError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.exhaustive,\n  );\n};\n\nexport const logCodegenError = (error: CodegenError) =>\n  Effect.sync(() => console.error(renderCodegenError(error)));\n\n// --- Effect combinators ---\n\n/**\n * Log any {@link CodegenError} thrown by `effect` and propagate the failure\n * unchanged so the caller's error channel is preserved (used by the\n * `codegen` command, which needs the failure to surface as a non-zero exit\n * code).\n */\nexport const tapAndLog = <A, E, R>(\n  effect: Effect.Effect<A, E, R>,\n): Effect.Effect<A, E, R> =>\n  effect.pipe(\n    Effect.tapError((error) =>\n      isCodegenError(error) ? logCodegenError(error) : Effect.void,\n    ),\n  );\n\n/**\n * Catch any {@link CodegenError} thrown by `effect`, log it, and resolve to\n * `Option.none()` (used by the `dev` command's sync loop, which continues\n * after a failed sync rather than exiting). Success resolves to\n * `Option.some(value)`.\n */\nexport const catchAndLog = <A, E, R>(\n  effect: Effect.Effect<A, E, R>,\n): Effect.Effect<Option.Option<A>, Exclude<E, CodegenError>, R> =>\n  Effect.catchIf(Effect.map(effect, Option.some<A>), isCodegenError, (error) =>\n    logCodegenError(error).pipe(Effect.as(Option.none<A>())),\n  ) as Effect.Effect<Option.Option<A>, Exclude<E, CodegenError>, R>;\n"],"mappings":";;;;;;AAOA,IAAa,uBAAb,cAA0C,OAAO,aAAmC,CAClF,wBACA;CACE,UAAU,OAAO;CACjB,kBAAkB,OAAO;CAC1B,CACF,CAAC;AAEF,IAAa,uBAAb,cAA0C,OAAO,aAAmC,CAClF,wBACA;CACE,UAAU,OAAO;CACjB,kBAAkB,OAAO;CAC1B,CACF,CAAC;AAEF,IAAa,mCAAb,cAAsD,OAAO,aAA+C,CAC1G,oCACA,EACE,UAAU,OAAO,QAClB,CACF,CAAC;AAEF,IAAa,2BAAb,cAA8C,OAAO,aAAuC,CAC1F,4BACA;CACE,UAAU,OAAO;CACjB,iBAAiB,OAAO,QAAQ,UAAU,OAAO;CACjD,eAAe,OAAO,QAAQ,UAAU,OAAO;CAChD,CACF,CAAC;AAEF,IAAa,6BAAb,cAAgD,OAAO,aAAyC,CAC9F,8BACA;CACE,UAAU,OAAO;CACjB,kBAAkB,OAAO;CAC1B,CACF,CAAC;AAEF,IAAa,+BAAb,cAAkD,OAAO,aAA2C,CAClG,gCACA,EACE,UAAU,OAAO,QAClB,CACF,CAAC;AAEF,IAAa,wBAAb,cAA2C,OAAO,aAAoC,CACpF,yBACA,EACE,UAAU,OAAO,QAClB,CACF,CAAC;AAEF,IAAa,4BAAb,cAA+C,OAAO,aAAwC,CAC5F,6BACA;CACE,UAAU,OAAO;CACjB,WAAW,OAAO;CAClB,sBAAsB,OAAO,MAAM,OAAO,OAAO;CAClD,CACF,CAAC;AAEF,IAAa,kCAAb,cAAqD,OAAO,aAA8C,CACxG,mCACA,EACE,YAAY,OAAO,QACpB,CACF,CAAC;AAEF,IAAa,gCAAb,cAAmD,OAAO,aAA4C,CACpG,iCACA;CACE,gBAAgB,OAAO;CACvB,eAAe,OAAO;CACtB,eAAe,OAAO;CACtB,eAAe,OAAO,QAAQ,YAAY,QAAQ;CACnD,CACF,CAAC;AAEF,IAAa,yBAAb,cAA4C,OAAO,aAAqC,CACtF,0BACA,EACE,YAAY,OAAO,QACpB,CACF,CAAC;AAEF,MAAa,eAAe,OAAO,MACjC,YACA,sBACA,sBACA,kCACA,0BACA,4BACA,8BACA,uBACA,2BACA,iCACA,wBACA,8BACD;AAGD,MAAa,kBAAkB,UAA0C;AACvE,KAAI,aAAa,MAAM,CAAE,QAAO;AAChC,QAAO,OAAO,GAAG,aAAa,CAAC,MAAM;;AAKvC,MAAM,QAAQ,KAAK,QAAQ,KAAK,IAAI,EAAE,QAAQ,SAAS,KAAK,IAAI,CAAC;AAEjE,MAAM,oBAAoB,aAA6B;CACrD,MAAM,UAAU,KAAK,IACnB,SAAS,YAAY,IAAI,EACzB,SAAS,YAAY,KAAK,CAC3B;CACD,MAAM,WAAW,UAAU,IAAI,WAAW,SAAS,MAAM,UAAU,EAAE;AACrE,QAAO,SAAS,SAAS,WAAW,GAChC,SAAS,MAAM,GAAG,GAAmB,GACrC;;AAGN,MAAM,cACJ,GAAG,UACiB,KAAK,OAAO,QAAQ,aAAa,QAAQ,KAAK,MAAM,CAAC,CAAC;AAE5E,MAAM,8BACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KAAK,gCAAgC,EAC7C,cAAc,MAAM,iBAAiB,EACrC,QAAQ,KAAK,iDAAiD,CAC/D;AAEH,MAAM,8BACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KAAK,gCAAgC,EAC7C,cAAc,MAAM,iBAAiB,EACrC,QAAQ,KACN,+DACD,CACF;AAEH,MAAM,0CACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,4FACD,CACF;AAEH,MAAM,kCACJ,UACoB;CACpB,MAAM,cACJ,MAAM,oBAAoB,SACtB,yBACA;CACN,MAAM,WACJ,MAAM,oBAAoB,SACtB,0CACA;AACN,QAAO,WACL,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,eAAe,MAAM,cAAc,uCAAuC,MAAM,gBAAgB,QAAQ,cAAc,WACvH,CACF;;AAGH,MAAM,oCACJ,UACoB;CACpB,MAAM,OAAO,iBAAiB,MAAM,iBAAiB;AACrD,QAAO,WACL,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,mDAAmD,KAAK,WAAW,KAAK,6DACzE,CACF;;AAGH,MAAM,sCACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,qJACD,CACF;AAEH,MAAM,+BACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,8JACD,CACF;AAEH,MAAM,mCACJ,UACoB;CACpB,MAAM,QAAQ,MAAM,qBAAqB,KAAK,KAAK;AACnD,QAAO,WACL,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,0DAA0D,MAAM,UAAU,eAAe,MAAM,4FAChG,CACF;;AAGH,MAAM,yCACJ,UAEA,WACE,QAAQ,KAAK,UAAU,EACvB,cAAc,MAAM,WAAW,EAC/B,QAAQ,KACN,qFACD,CACF;AAEH,MAAM,gCACJ,UAEA,WACE,QAAQ,KAAK,UAAU,EACvB,cAAc,MAAM,WAAW,EAC/B,QAAQ,KACN,6GACD,CACF;AAEH,MAAM,uCACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,eAAe,EACnC,QAAQ,KACN,eAAe,MAAM,cAAc,KAAK,MAAM,cAAc,4DAC7D,EACD,cAAc,MAAM,cAAc,EAClC,QAAQ,KACN,4EACD,CACF;;;;;;;AAQH,MAAa,sBAAsB,UAAgC;AACjE,KAAI,aAAa,MAAM,CAAE,QAAO,iBAAiB,MAAM;AACvD,QAAO,MAAM,MAAM,MAAM,CAAC,KACxB,MAAM,IAAI,yBAAyB,MACjC,KAAK,2BAA2B,EAAE,EAAE,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CAAC,CACzE,EACD,MAAM,IAAI,yBAAyB,MACjC,KAAK,2BAA2B,EAAE,EAAE,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CAAC,CACzE,EACD,MAAM,IAAI,qCAAqC,MAC7C,KACE,uCAAuC,EAAE,EACzC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,6BAA6B,MACrC,KACE,+BAA+B,EAAE,EACjC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,+BAA+B,MACvC,KACE,iCAAiC,EAAE,EACnC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,iCAAiC,MACzC,KACE,mCAAmC,EAAE,EACrC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,0BAA0B,MAClC,KAAK,4BAA4B,EAAE,EAAE,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CAAC,CAC1E,EACD,MAAM,IAAI,8BAA8B,MACtC,KACE,gCAAgC,EAAE,EAClC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,oCAAoC,MAC5C,KACE,sCAAsC,EAAE,EACxC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,2BAA2B,MACnC,KACE,6BAA6B,EAAE,EAC/B,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,kCAAkC,MAC1C,KACE,oCAAoC,EAAE,EACtC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,WACP;;AAGH,MAAa,mBAAmB,UAC9B,OAAO,WAAW,QAAQ,MAAM,mBAAmB,MAAM,CAAC,CAAC;;;;;;;AAU7D,MAAa,aACX,WAEA,OAAO,KACL,OAAO,UAAU,UACf,eAAe,MAAM,GAAG,gBAAgB,MAAM,GAAG,OAAO,KACzD,CACF;;;;;;;AAQH,MAAa,eACX,WAEA,OAAO,QAAQ,OAAO,IAAI,QAAQ,OAAO,KAAQ,EAAE,iBAAiB,UAClE,gBAAgB,MAAM,CAAC,KAAK,OAAO,GAAG,OAAO,MAAS,CAAC,CAAC,CACzD"}
+{"version":3,"file":"CodegenError.mjs","names":[],"sources":["../src/CodegenError.ts"],"sourcesContent":["import { Ansi, AnsiDoc } from \"@effect/printer-ansi\";\nimport { Effect, Match, Option, pipe, Schema } from \"effect\";\nimport { BuildError, isBuildError, renderBuildError } from \"./BuildError\";\nimport { formatPathDoc } from \"./log\";\n\n// --- Variants ---\n\nexport class MissingImplFileError extends Schema.TaggedError<MissingImplFileError>()(\n  \"MissingImplFileError\",\n  {\n    specPath: Schema.String,\n    expectedImplPath: Schema.String,\n  },\n) {}\n\nexport class MissingSpecFileError extends Schema.TaggedError<MissingSpecFileError>()(\n  \"MissingSpecFileError\",\n  {\n    implPath: Schema.String,\n    expectedSpecPath: Schema.String,\n  },\n) {}\n\nexport class SpecMissingDefaultGroupSpecError extends Schema.TaggedError<SpecMissingDefaultGroupSpecError>()(\n  \"SpecMissingDefaultGroupSpecError\",\n  {\n    specPath: Schema.String,\n  },\n) {}\n\nexport class SpecRuntimeMismatchError extends Schema.TaggedError<SpecRuntimeMismatchError>()(\n  \"SpecRuntimeMismatchError\",\n  {\n    specPath: Schema.String,\n    expectedRuntime: Schema.Literal(\"Convex\", \"Node\"),\n    actualRuntime: Schema.Literal(\"Convex\", \"Node\"),\n  },\n) {}\n\nexport class ImplMissingSpecImportError extends Schema.TaggedError<ImplMissingSpecImportError>()(\n  \"ImplMissingSpecImportError\",\n  {\n    implPath: Schema.String,\n    expectedSpecPath: Schema.String,\n  },\n) {}\n\nexport class ImplMissingDefaultLayerError extends Schema.TaggedError<ImplMissingDefaultLayerError>()(\n  \"ImplMissingDefaultLayerError\",\n  {\n    implPath: Schema.String,\n  },\n) {}\n\nexport class ImplNotFinalizedError extends Schema.TaggedError<ImplNotFinalizedError>()(\n  \"ImplNotFinalizedError\",\n  {\n    implPath: Schema.String,\n  },\n) {}\n\nexport class ImplMissingFunctionsError extends Schema.TaggedError<ImplMissingFunctionsError>()(\n  \"ImplMissingFunctionsError\",\n  {\n    implPath: Schema.String,\n    groupPath: Schema.String,\n    missingFunctionNames: Schema.Array(Schema.String),\n  },\n) {}\n\nexport class ParentChildNameCollisionError extends Schema.TaggedError<ParentChildNameCollisionError>()(\n  \"ParentChildNameCollisionError\",\n  {\n    parentSpecPath: Schema.String,\n    childSpecPath: Schema.String,\n    collisionName: Schema.String,\n    collisionKind: Schema.Literal(\"function\", \"group\"),\n  },\n) {}\n\nexport class InvalidTableDefaultExportError extends Schema.TaggedError<InvalidTableDefaultExportError>()(\n  \"InvalidTableDefaultExportError\",\n  {\n    tablePath: Schema.String,\n  },\n) {}\n\nexport class InvalidTableFilenameError extends Schema.TaggedError<InvalidTableFilenameError>()(\n  \"InvalidTableFilenameError\",\n  {\n    tablePath: Schema.String,\n    reason: Schema.String,\n  },\n) {}\n\nexport class DuplicateTableNameError extends Schema.TaggedError<DuplicateTableNameError>()(\n  \"DuplicateTableNameError\",\n  {\n    // Every table name that more than one file resolves to, each paired with\n    // the colliding file paths. All collisions are captured in a single pass\n    // so the user can fix them together rather than re-running codegen once\n    // per conflict.\n    collisions: Schema.Array(\n      Schema.Struct({\n        tableName: Schema.String,\n        tablePaths: Schema.Array(Schema.String),\n      }),\n    ),\n  },\n) {}\n\nexport class LegacySchemaFileError extends Schema.TaggedError<LegacySchemaFileError>()(\n  \"LegacySchemaFileError\",\n  {\n    schemaPath: Schema.String,\n  },\n) {}\n\nexport const CodegenError = Schema.Union(\n  BuildError,\n  MissingImplFileError,\n  MissingSpecFileError,\n  SpecMissingDefaultGroupSpecError,\n  SpecRuntimeMismatchError,\n  ImplMissingSpecImportError,\n  ImplMissingDefaultLayerError,\n  ImplNotFinalizedError,\n  ImplMissingFunctionsError,\n  ParentChildNameCollisionError,\n  InvalidTableDefaultExportError,\n  InvalidTableFilenameError,\n  DuplicateTableNameError,\n  LegacySchemaFileError,\n);\nexport type CodegenError = typeof CodegenError.Type;\n\nexport const isCodegenError = (error: unknown): error is CodegenError => {\n  if (isBuildError(error)) return true;\n  return Schema.is(CodegenError)(error);\n};\n\n// --- Per-variant rendering ---\n\nconst cross = pipe(AnsiDoc.char(\"✘\"), AnsiDoc.annotate(Ansi.red));\n\nconst stemFromSpecPath = (specPath: string): string => {\n  const lastSep = Math.max(\n    specPath.lastIndexOf(\"/\"),\n    specPath.lastIndexOf(\"\\\\\"),\n  );\n  const basename = lastSep < 0 ? specPath : specPath.slice(lastSep + 1);\n  return basename.endsWith(\".spec.ts\")\n    ? basename.slice(0, -\".spec.ts\".length)\n    : basename;\n};\n\nconst singleLine = (\n  ...parts: ReadonlyArray<AnsiDoc.AnsiDoc>\n): AnsiDoc.AnsiDoc => pipe(cross, AnsiDoc.catWithSpace(AnsiDoc.hcat(parts)));\n\nconst renderMissingImplFileError = (\n  error: MissingImplFileError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Spec \"),\n    formatPathDoc(error.specPath),\n    AnsiDoc.text(\" has no sibling impl; create \"),\n    formatPathDoc(error.expectedImplPath),\n    AnsiDoc.text(\" and default-export a GroupImpl layer from it.\"),\n  );\n\nconst renderMissingSpecFileError = (\n  error: MissingSpecFileError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\" has no sibling spec; create \"),\n    formatPathDoc(error.expectedSpecPath),\n    AnsiDoc.text(\n      \" and default-export a GroupSpec from it, or remove the impl.\",\n    ),\n  );\n\nconst renderSpecMissingDefaultGroupSpecError = (\n  error: SpecMissingDefaultGroupSpecError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Spec \"),\n    formatPathDoc(error.specPath),\n    AnsiDoc.text(\n      \" must default-export a GroupSpec; build it with GroupSpec.make() or GroupSpec.makeNode().\",\n    ),\n  );\n\nconst renderSpecRuntimeMismatchError = (\n  error: SpecRuntimeMismatchError,\n): AnsiDoc.AnsiDoc => {\n  const constructor =\n    error.expectedRuntime === \"Node\"\n      ? \"GroupSpec.makeNode()\"\n      : \"GroupSpec.make()\";\n  const moveHint =\n    error.expectedRuntime === \"Node\"\n      ? \" or move the file into confect/node/.\"\n      : \" or move the file out of confect/node/.\";\n  return singleLine(\n    AnsiDoc.text(\"Spec \"),\n    formatPathDoc(error.specPath),\n    AnsiDoc.text(\n      ` declares a ${error.actualRuntime} GroupSpec but its location requires ${error.expectedRuntime}; use ${constructor}${moveHint}`,\n    ),\n  );\n};\n\nconst renderImplMissingSpecImportError = (\n  error: ImplMissingSpecImportError,\n): AnsiDoc.AnsiDoc => {\n  const stem = stemFromSpecPath(error.expectedSpecPath);\n  return singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\n      ` does not import its sibling spec; add \\`import ${stem} from \"./${stem}.spec\"\\` and pass it to FunctionImpl.make / GroupImpl.make.`,\n    ),\n  );\n};\n\nconst renderImplMissingDefaultLayerError = (\n  error: ImplMissingDefaultLayerError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\n      \" must default-export a GroupImpl layer; wrap your handlers with `GroupImpl.make(databaseSchema, groupSpec).pipe(Layer.provide(...))` and `export default` it.\",\n    ),\n  );\n\nconst renderImplNotFinalizedError = (\n  error: ImplNotFinalizedError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\n      \" is not finalized; append `GroupImpl.finalize` to the end of the pipeline (e.g. `GroupImpl.make(databaseSchema, group).pipe(Layer.provide(...), GroupImpl.finalize)`).\",\n    ),\n  );\n\nconst renderImplMissingFunctionsError = (\n  error: ImplMissingFunctionsError,\n): AnsiDoc.AnsiDoc => {\n  const names = error.missingFunctionNames.join(\", \");\n  return singleLine(\n    AnsiDoc.text(\"Impl \"),\n    formatPathDoc(error.implPath),\n    AnsiDoc.text(\n      ` does not implement every function declared by group \\`${error.groupPath}\\`; missing: ${names}. Add a \\`FunctionImpl.make\\` for each missing function and provide it to the group layer.`,\n    ),\n  );\n};\n\nconst renderInvalidTableDefaultExportError = (\n  error: InvalidTableDefaultExportError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Table \"),\n    formatPathDoc(error.tablePath),\n    AnsiDoc.text(\n      \" must default-export a Table (e.g. `export default Table.make({ ... })`); convert any named export to a default export.\",\n    ),\n  );\n\nconst renderInvalidTableFilenameError = (\n  error: InvalidTableFilenameError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Table \"),\n    formatPathDoc(error.tablePath),\n    AnsiDoc.text(\n      ` has an invalid filename: ${error.reason} Convex table names must start with a letter and contain only letters, numbers, and underscores; leading underscores are reserved for system tables.`,\n    ),\n  );\n\nconst renderDuplicateTableNameError = (\n  error: DuplicateTableNameError,\n): AnsiDoc.AnsiDoc => {\n  const conflicts = error.collisions\n    .map(\n      ({ tableName, tablePaths }) =>\n        `\\`${tableName}\\` (${tablePaths.join(\", \")})`,\n    )\n    .join(\"; \");\n  return singleLine(\n    AnsiDoc.text(\n      `Multiple files under \\`confect/tables/\\` resolve to the same table name. Table names are derived from filenames, so each must be unique across the directory (including subdirectories); rename or remove all but one. Conflicts: ${conflicts}.`,\n    ),\n  );\n};\n\nconst renderLegacySchemaFileError = (\n  error: LegacySchemaFileError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Found a legacy \"),\n    formatPathDoc(error.schemaPath),\n    AnsiDoc.text(\n      \". Delete it: tables in `confect/tables/*.ts` are now the single source of truth, and the runtime schema is generated as `confect/_generated/schema.ts`.\",\n    ),\n  );\n\nconst renderParentChildNameCollisionError = (\n  error: ParentChildNameCollisionError,\n): AnsiDoc.AnsiDoc =>\n  singleLine(\n    AnsiDoc.text(\"Spec \"),\n    formatPathDoc(error.parentSpecPath),\n    AnsiDoc.text(\n      ` declares a ${error.collisionKind} \\`${error.collisionName}\\` whose name collides with the sibling subdirectory spec `,\n    ),\n    formatPathDoc(error.childSpecPath),\n    AnsiDoc.text(\n      `. Rename one of them so the assembled spec has a unique key at this path.`,\n    ),\n  );\n\n/**\n * Render any {@link CodegenError} into a styled, ready-to-print string.\n * Single-error variants render to a one-line `✘`-prefixed message;\n * `BundleFailedError` (the only multi-error variant) renders to a header\n * plus an esbuild diagnostic block.\n */\nexport const renderCodegenError = (error: CodegenError): string => {\n  if (isBuildError(error)) return renderBuildError(error);\n  return Match.value(error).pipe(\n    Match.tag(\"MissingImplFileError\", (e) =>\n      pipe(renderMissingImplFileError(e), AnsiDoc.render({ style: \"pretty\" })),\n    ),\n    Match.tag(\"MissingSpecFileError\", (e) =>\n      pipe(renderMissingSpecFileError(e), AnsiDoc.render({ style: \"pretty\" })),\n    ),\n    Match.tag(\"SpecMissingDefaultGroupSpecError\", (e) =>\n      pipe(\n        renderSpecMissingDefaultGroupSpecError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"SpecRuntimeMismatchError\", (e) =>\n      pipe(\n        renderSpecRuntimeMismatchError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"ImplMissingSpecImportError\", (e) =>\n      pipe(\n        renderImplMissingSpecImportError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"ImplMissingDefaultLayerError\", (e) =>\n      pipe(\n        renderImplMissingDefaultLayerError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"ImplNotFinalizedError\", (e) =>\n      pipe(renderImplNotFinalizedError(e), AnsiDoc.render({ style: \"pretty\" })),\n    ),\n    Match.tag(\"ImplMissingFunctionsError\", (e) =>\n      pipe(\n        renderImplMissingFunctionsError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"ParentChildNameCollisionError\", (e) =>\n      pipe(\n        renderParentChildNameCollisionError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"InvalidTableDefaultExportError\", (e) =>\n      pipe(\n        renderInvalidTableDefaultExportError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"InvalidTableFilenameError\", (e) =>\n      pipe(\n        renderInvalidTableFilenameError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"DuplicateTableNameError\", (e) =>\n      pipe(\n        renderDuplicateTableNameError(e),\n        AnsiDoc.render({ style: \"pretty\" }),\n      ),\n    ),\n    Match.tag(\"LegacySchemaFileError\", (e) =>\n      pipe(renderLegacySchemaFileError(e), AnsiDoc.render({ style: \"pretty\" })),\n    ),\n    Match.exhaustive,\n  );\n};\n\nexport const logCodegenError = (error: CodegenError) =>\n  Effect.sync(() => console.error(renderCodegenError(error)));\n\n// --- Effect combinators ---\n\n/**\n * Log any {@link CodegenError} thrown by `effect` and propagate the failure\n * unchanged so the caller's error channel is preserved (used by the\n * `codegen` command, which needs the failure to surface as a non-zero exit\n * code).\n */\nexport const tapAndLog = <A, E, R>(\n  effect: Effect.Effect<A, E, R>,\n): Effect.Effect<A, E, R> =>\n  effect.pipe(\n    Effect.tapError((error) =>\n      isCodegenError(error) ? logCodegenError(error) : Effect.void,\n    ),\n  );\n\n/**\n * Catch any {@link CodegenError} thrown by `effect`, log it, and resolve to\n * `Option.none()` (used by the `dev` command's sync loop, which continues\n * after a failed sync rather than exiting). Success resolves to\n * `Option.some(value)`.\n */\nexport const catchAndLog = <A, E, R>(\n  effect: Effect.Effect<A, E, R>,\n): Effect.Effect<Option.Option<A>, Exclude<E, CodegenError>, R> =>\n  Effect.catchIf(Effect.map(effect, Option.some<A>), isCodegenError, (error) =>\n    logCodegenError(error).pipe(Effect.as(Option.none<A>())),\n  ) as Effect.Effect<Option.Option<A>, Exclude<E, CodegenError>, R>;\n"],"mappings":";;;;;;AAOA,IAAa,uBAAb,cAA0C,OAAO,aAAmC,CAClF,wBACA;CACE,UAAU,OAAO;CACjB,kBAAkB,OAAO;CAC1B,CACF,CAAC;AAEF,IAAa,uBAAb,cAA0C,OAAO,aAAmC,CAClF,wBACA;CACE,UAAU,OAAO;CACjB,kBAAkB,OAAO;CAC1B,CACF,CAAC;AAEF,IAAa,mCAAb,cAAsD,OAAO,aAA+C,CAC1G,oCACA,EACE,UAAU,OAAO,QAClB,CACF,CAAC;AAEF,IAAa,2BAAb,cAA8C,OAAO,aAAuC,CAC1F,4BACA;CACE,UAAU,OAAO;CACjB,iBAAiB,OAAO,QAAQ,UAAU,OAAO;CACjD,eAAe,OAAO,QAAQ,UAAU,OAAO;CAChD,CACF,CAAC;AAEF,IAAa,6BAAb,cAAgD,OAAO,aAAyC,CAC9F,8BACA;CACE,UAAU,OAAO;CACjB,kBAAkB,OAAO;CAC1B,CACF,CAAC;AAEF,IAAa,+BAAb,cAAkD,OAAO,aAA2C,CAClG,gCACA,EACE,UAAU,OAAO,QAClB,CACF,CAAC;AAEF,IAAa,wBAAb,cAA2C,OAAO,aAAoC,CACpF,yBACA,EACE,UAAU,OAAO,QAClB,CACF,CAAC;AAEF,IAAa,4BAAb,cAA+C,OAAO,aAAwC,CAC5F,6BACA;CACE,UAAU,OAAO;CACjB,WAAW,OAAO;CAClB,sBAAsB,OAAO,MAAM,OAAO,OAAO;CAClD,CACF,CAAC;AAEF,IAAa,gCAAb,cAAmD,OAAO,aAA4C,CACpG,iCACA;CACE,gBAAgB,OAAO;CACvB,eAAe,OAAO;CACtB,eAAe,OAAO;CACtB,eAAe,OAAO,QAAQ,YAAY,QAAQ;CACnD,CACF,CAAC;AAEF,IAAa,iCAAb,cAAoD,OAAO,aAA6C,CACtG,kCACA,EACE,WAAW,OAAO,QACnB,CACF,CAAC;AAEF,IAAa,4BAAb,cAA+C,OAAO,aAAwC,CAC5F,6BACA;CACE,WAAW,OAAO;CAClB,QAAQ,OAAO;CAChB,CACF,CAAC;AAEF,IAAa,0BAAb,cAA6C,OAAO,aAAsC,CACxF,2BACA,EAKE,YAAY,OAAO,MACjB,OAAO,OAAO;CACZ,WAAW,OAAO;CAClB,YAAY,OAAO,MAAM,OAAO,OAAO;CACxC,CAAC,CACH,EACF,CACF,CAAC;AAEF,IAAa,wBAAb,cAA2C,OAAO,aAAoC,CACpF,yBACA,EACE,YAAY,OAAO,QACpB,CACF,CAAC;AAEF,MAAa,eAAe,OAAO,MACjC,YACA,sBACA,sBACA,kCACA,0BACA,4BACA,8BACA,uBACA,2BACA,+BACA,gCACA,2BACA,yBACA,sBACD;AAGD,MAAa,kBAAkB,UAA0C;AACvE,KAAI,aAAa,MAAM,CAAE,QAAO;AAChC,QAAO,OAAO,GAAG,aAAa,CAAC,MAAM;;AAKvC,MAAM,QAAQ,KAAK,QAAQ,KAAK,IAAI,EAAE,QAAQ,SAAS,KAAK,IAAI,CAAC;AAEjE,MAAM,oBAAoB,aAA6B;CACrD,MAAM,UAAU,KAAK,IACnB,SAAS,YAAY,IAAI,EACzB,SAAS,YAAY,KAAK,CAC3B;CACD,MAAM,WAAW,UAAU,IAAI,WAAW,SAAS,MAAM,UAAU,EAAE;AACrE,QAAO,SAAS,SAAS,WAAW,GAChC,SAAS,MAAM,GAAG,GAAmB,GACrC;;AAGN,MAAM,cACJ,GAAG,UACiB,KAAK,OAAO,QAAQ,aAAa,QAAQ,KAAK,MAAM,CAAC,CAAC;AAE5E,MAAM,8BACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KAAK,gCAAgC,EAC7C,cAAc,MAAM,iBAAiB,EACrC,QAAQ,KAAK,iDAAiD,CAC/D;AAEH,MAAM,8BACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KAAK,gCAAgC,EAC7C,cAAc,MAAM,iBAAiB,EACrC,QAAQ,KACN,+DACD,CACF;AAEH,MAAM,0CACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,4FACD,CACF;AAEH,MAAM,kCACJ,UACoB;CACpB,MAAM,cACJ,MAAM,oBAAoB,SACtB,yBACA;CACN,MAAM,WACJ,MAAM,oBAAoB,SACtB,0CACA;AACN,QAAO,WACL,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,eAAe,MAAM,cAAc,uCAAuC,MAAM,gBAAgB,QAAQ,cAAc,WACvH,CACF;;AAGH,MAAM,oCACJ,UACoB;CACpB,MAAM,OAAO,iBAAiB,MAAM,iBAAiB;AACrD,QAAO,WACL,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,mDAAmD,KAAK,WAAW,KAAK,6DACzE,CACF;;AAGH,MAAM,sCACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,gKACD,CACF;AAEH,MAAM,+BACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,yKACD,CACF;AAEH,MAAM,mCACJ,UACoB;CACpB,MAAM,QAAQ,MAAM,qBAAqB,KAAK,KAAK;AACnD,QAAO,WACL,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,SAAS,EAC7B,QAAQ,KACN,0DAA0D,MAAM,UAAU,eAAe,MAAM,4FAChG,CACF;;AAGH,MAAM,wCACJ,UAEA,WACE,QAAQ,KAAK,SAAS,EACtB,cAAc,MAAM,UAAU,EAC9B,QAAQ,KACN,0HACD,CACF;AAEH,MAAM,mCACJ,UAEA,WACE,QAAQ,KAAK,SAAS,EACtB,cAAc,MAAM,UAAU,EAC9B,QAAQ,KACN,6BAA6B,MAAM,OAAO,sJAC3C,CACF;AAEH,MAAM,iCACJ,UACoB;CACpB,MAAM,YAAY,MAAM,WACrB,KACE,EAAE,WAAW,iBACZ,KAAK,UAAU,MAAM,WAAW,KAAK,KAAK,CAAC,GAC9C,CACA,KAAK,KAAK;AACb,QAAO,WACL,QAAQ,KACN,qOAAqO,UAAU,GAChP,CACF;;AAGH,MAAM,+BACJ,UAEA,WACE,QAAQ,KAAK,kBAAkB,EAC/B,cAAc,MAAM,WAAW,EAC/B,QAAQ,KACN,0JACD,CACF;AAEH,MAAM,uCACJ,UAEA,WACE,QAAQ,KAAK,QAAQ,EACrB,cAAc,MAAM,eAAe,EACnC,QAAQ,KACN,eAAe,MAAM,cAAc,KAAK,MAAM,cAAc,4DAC7D,EACD,cAAc,MAAM,cAAc,EAClC,QAAQ,KACN,4EACD,CACF;;;;;;;AAQH,MAAa,sBAAsB,UAAgC;AACjE,KAAI,aAAa,MAAM,CAAE,QAAO,iBAAiB,MAAM;AACvD,QAAO,MAAM,MAAM,MAAM,CAAC,KACxB,MAAM,IAAI,yBAAyB,MACjC,KAAK,2BAA2B,EAAE,EAAE,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CAAC,CACzE,EACD,MAAM,IAAI,yBAAyB,MACjC,KAAK,2BAA2B,EAAE,EAAE,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CAAC,CACzE,EACD,MAAM,IAAI,qCAAqC,MAC7C,KACE,uCAAuC,EAAE,EACzC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,6BAA6B,MACrC,KACE,+BAA+B,EAAE,EACjC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,+BAA+B,MACvC,KACE,iCAAiC,EAAE,EACnC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,iCAAiC,MACzC,KACE,mCAAmC,EAAE,EACrC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,0BAA0B,MAClC,KAAK,4BAA4B,EAAE,EAAE,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CAAC,CAC1E,EACD,MAAM,IAAI,8BAA8B,MACtC,KACE,gCAAgC,EAAE,EAClC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,kCAAkC,MAC1C,KACE,oCAAoC,EAAE,EACtC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,mCAAmC,MAC3C,KACE,qCAAqC,EAAE,EACvC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,8BAA8B,MACtC,KACE,gCAAgC,EAAE,EAClC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,4BAA4B,MACpC,KACE,8BAA8B,EAAE,EAChC,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CACpC,CACF,EACD,MAAM,IAAI,0BAA0B,MAClC,KAAK,4BAA4B,EAAE,EAAE,QAAQ,OAAO,EAAE,OAAO,UAAU,CAAC,CAAC,CAC1E,EACD,MAAM,WACP;;AAGH,MAAa,mBAAmB,UAC9B,OAAO,WAAW,QAAQ,MAAM,mBAAmB,MAAM,CAAC,CAAC;;;;;;;AAU7D,MAAa,aACX,WAEA,OAAO,KACL,OAAO,UAAU,UACf,eAAe,MAAM,GAAG,gBAAgB,MAAM,GAAG,OAAO,KACzD,CACF;;;;;;;AAQH,MAAa,eACX,WAEA,OAAO,QAAQ,OAAO,IAAI,QAAQ,OAAO,KAAQ,EAAE,iBAAiB,UAClE,gBAAgB,MAAM,CAAC,KAAK,OAAO,GAAG,OAAO,MAAS,CAAC,CAAC,CACzD"}

package/dist/LeafModule.mjs

@@ -1,7 +1,7 @@
 import { fromBundlerError } from "./BuildError.mjs";
+import { bundle, directlyImports } from "./Bundler.mjs";
 import { ImplMissingDefaultLayerError, ImplMissingFunctionsError, ImplMissingSpecImportError, ImplNotFinalizedError, SpecMissingDefaultGroupSpecError, SpecRuntimeMismatchError } from "./CodegenError.mjs";
 import { ConfectDirectory } from "./ConfectDirectory.mjs";
-import { bundle, directlyImports } from "./Bundler.mjs";
 import { removePathExtension } from "./utils.mjs";
 import { Array, Effect, Layer, Option, Ref, String } from "effect";
 import { GroupSpec, Registry } from "@confect/core";
@@ -160,7 +160,7 @@ const validateImpl = (leaf) => Effect.gen(function* () {
 	const missing = expectedFunctionNames.filter((name) => !registeredSet.has(name));
 	if (missing.length > 0) return yield* new ImplMissingFunctionsError({
 		implPath: implRelativePath,
-		groupPath: finalizedGroupImpl.groupPath,
+		groupPath: leaf.groupPathDot,
 		missingFunctionNames: missing
 	});
 });