@confect/cli 9.0.0-next.8 → 9.0.0

package/CHANGELOG.md

@@ -1,5 +1,178 @@
 # @confect/cli
 
+## 9.0.0
+
+### Major Changes
+
+- a905072: Rearchitect Confect so that cold-starting a Convex function only evaluates its own group's module graph, cutting cold-start execution time on large projects. The change touches how you author tables, specs, and impls, and removes the project-wide aggregation that used to make every function evaluate every other function's code—and every table's schema—the first time it ran.
+
+  Convex bundles a deployment into a single artifact, but a function's cold start only _evaluates_ the module graph reachable from its own entry point. Previously, all impls were assembled into a single root `confect/impl.ts` that every generated `convex/` module imported, so cold-starting any one query, mutation, or action transitively evaluated the impl of every other function in the project, plus every function spec and every table schema, at module-load time. Cold-start execution time scaled with the size of the whole project. In v9, `confect codegen` emits one registry per group and each generated `convex/` module imports only its own group—so a function's cold-start work scales with its own group, not the project.
+
+  ### Filesystem-driven groups
+
+  Your API is now authored as colocated `*.spec.ts`/`*.impl.ts` pairs, one pair per group, and **the file's path within `confect/` is the group's name** (its stem for top-level groups, the dot-joined directory path for nested groups). `GroupSpec.make()` and `GroupSpec.makeNode()` no longer take a name argument.
+
+  - Each `*.spec.ts` `export default`s its `GroupSpec` (named co-exports like error classes are still allowed).
+  - Each `*.impl.ts` default-imports its sibling spec, passes it to `FunctionImpl.make` / `GroupImpl.make`, and ends the layer pipeline with `GroupImpl.finalize`—a compile-time completeness check that only typechecks once every function the spec declares has a `FunctionImpl` provided.
+  - The root `confect/spec.ts`, `confect/impl.ts`, `confect/nodeSpec.ts`, and `confect/nodeImpl.ts` files are gone, along with `Impl.make` and `Impl.finalize`. `confect codegen` deletes any of these (and the stale aggregate `_generated/registeredFunctions.ts` / `_generated/nodeRegisteredFunctions.ts`) on upgrade.
+
+  ### Tables are the source of truth, named by their filename
+
+  Your schema now lives entirely in `confect/tables/`, one `Table` per file, and **the filename is the table name**—`confect/tables/notes.ts` defines the `notes` table. `Table.make` no longer takes a name argument. The user-authored `confect/schema.ts` is removed; codegen scans `confect/tables/*.ts` and generates everything else.
+
+  Each table file is a default-export-only module, and its field schema is wrapped in a `() =>` callback so it is built lazily—a function only pays a table's schema-construction cost at cold start for tables it actually reads.
+
+  ```ts confect/tables/notes.ts
+  import { Table } from "@confect/server";
+  import { Schema } from "effect";
+  import { Id } from "../_generated/id";
+
+  export default Table.make(() =>
+    Schema.Struct({
+      userId: Schema.optional(Id("users")),
+      text: Schema.String,
+    })
+  );
+  ```
+
+  Codegen emits, alongside it:
+
+  - `_generated/schema.ts`—the runtime `DatabaseSchema`. Never imports `convex/server`, so a runtime cold start no longer evaluates `defineSchema(...)`.
+  - `_generated/convexSchema.ts`—the Convex deploy `SchemaDefinition`, re-exported from `convex/schema.ts`.
+  - `_generated/id.ts`—a type-safe `Id` constructor whose argument is constrained to your table names. Use `Id("notes")` everywhere you previously wrote `GenericId.GenericId("notes")`; cross-table `_id` typos are now caught at compile time.
+  - `_generated/tables/<name>.ts`—a thin wrapper that binds the filename to the table. Read a table's `Doc`, `Fields`, and `tableName` from this wrapper (`import notes from "../_generated/tables/notes"`), not from `confect/tables/`.
+
+  A bound table's `name` property is renamed to `tableName` (avoiding a collision with `Function.prototype.name`).
+
+  ### Specs and impls: lazy schemas, and impls take the `DatabaseSchema`
+
+  `FunctionSpec.*` constructors now take `args`, `returns`, and the optional `error` as `() => Schema` thunks, so importing a spec builds no schemas until a function is invoked. `FunctionImpl.make` and `GroupImpl.make` take the runtime `DatabaseSchema` (the default export of `_generated/schema`) as their first argument instead of the whole `Api`—which keeps the project-wide spec graph out of a function's cold-start module graph. The `Api` module (`Api.make`, the `Api` type) and the generated `_generated/api.ts` / `_generated/nodeApi.ts` files are removed.
+
+  **Before:**
+
+  ```ts confect/notes.spec.ts
+  export const notes = GroupSpec.make("notes").addFunction(
+    FunctionSpec.publicQuery({
+      name: "list",
+      args: Schema.Struct({}),
+      returns: Schema.Array(Notes.Doc),
+    })
+  );
+  ```
+
+  ```ts confect/notes.impl.ts
+  const list = FunctionImpl.make(api, "notes", "list", handler);
+  export const notes = GroupImpl.make(api, "notes").pipe(Layer.provide(list));
+  ```
+
+  **After:**
+
+  ```ts confect/notes.spec.ts
+  import notes from "./_generated/tables/notes";
+
+  export default GroupSpec.make().addFunction(
+    FunctionSpec.publicQuery({
+      name: "list",
+      args: () => Schema.Struct({}),
+      returns: () => Schema.Array(notes.Doc),
+    })
+  );
+  ```
+
+  ```ts confect/notes.impl.ts
+  import databaseSchema from "./_generated/schema";
+  import notes from "./notes.spec";
+
+  const list = FunctionImpl.make(databaseSchema, notes, "list", handler);
+  export default GroupImpl.make(databaseSchema, notes).pipe(
+    Layer.provide(list),
+    GroupImpl.finalize
+  );
+  ```
+
+  ### Node functions are first-class
+
+  A group's runtime is now declared solely by its spec—`GroupSpec.makeNode()` for a Node action group, `GroupSpec.make()` otherwise—mirroring vanilla Convex's per-file `"use node"` directive. The separate `node` namespace is gone: Node specs/impls are ordinary colocated pairs that can live anywhere in `confect/`, and codegen emits the `"use node"` directive based on the spec.
+
+  - A Node group at `confect/email.spec.ts` is now reached at `refs.public.email.send` instead of `refs.public.node.email.send`.
+  - `@confect/core` removes `Spec.makeNode`, `Spec.merge`, and `Spec.isConvexSpec` / `Spec.isNodeSpec`; `Spec.make()` is a single mixed-runtime container and `Refs.make(spec)` takes one argument. `GroupSpec.makeNode()`, `FunctionSpec.publicNodeAction()` / `internalNodeAction()` are unchanged.
+
+  ### Less work at cold start
+
+  Confect's own packages now import Effect from its submodule paths (`import * as Schema from "effect/Schema"`) instead of the `"effect"` barrel. A barrel import of a namespace re-export pulls the entire namespace into the module graph a function evaluates at cold start, even when only a small part is used; importing the submodule path evaluates only what's needed. On a minimal function this cut cold-start module-evaluation time by ~35%. This is an internal change with no effect on your code—but to get the full win, import Effect from its submodule paths in your own `confect/` files too, since a single barrel import anywhere in a function's module graph re-pins the whole namespace.
+
+  ### Stable React hook results
+
+  `@confect/react` hooks now hold stable identities across renders, matching Convex's own hooks. `useQuery` memoizes the decoded `QueryResult` by the (referentially stable) Convex result, so unchanged data keeps the same `QueryResult` instead of a fresh one each render—fixing effect/memo loops (including `Maximum update depth exceeded`) for code that derives off the result. `useMutation` and `useAction` return a stable `useCallback`, and `Ref.getFunctionReference` caches the Convex function reference per function name.
+
+  ### Codegen robustness
+
+  The codegen bundler now uses [`bundle-require`](https://github.com/egoist/bundle-require), so impls may import third-party packages and use `tsconfig.json` `paths` aliases (`~/*`, `@/*`, …) for their own source. A parent `confect/{path}.spec.ts` may now declare functions alongside a sibling `confect/{path}/` subdirectory of further specs, and codegen reports a clear error on a name collision between the two.
+
+  ### Migration
+
+  1. **Tables.** Delete `confect/schema.ts`. Rename each table file to a valid JS identifier (e.g. `confect/tables/notes.ts`); the basename becomes the table name. Drop the name argument from `Table.make`, wrap the field struct in `() =>`, and replace `GenericId.GenericId("x")` with `Id("x")` from `_generated/id`. If you read `table.name` off a bound table, rename it to `table.tableName`.
+  2. **Specs.** Split each group into a colocated `*.spec.ts` that `export default`s `GroupSpec.make()` (no name). Wrap every `args`/`returns`/`error` in `() =>`. Import a table's `Doc`/`Fields` from its wrapper, `import notes from "./_generated/tables/notes"`.
+  3. **Impls.** In each `*.impl.ts`, default-import the sibling spec, import `databaseSchema` from `_generated/schema`, pass it to `FunctionImpl.make` / `GroupImpl.make` in place of `api`, end the pipeline with `GroupImpl.finalize`, and `export default` it. Delete the root `confect/spec.ts`, `impl.ts`, `nodeSpec.ts`, and `nodeImpl.ts` (codegen will also remove them).
+  4. **Node groups.** Move any `confect/node/<path>` files anywhere you like under `confect/`; the `node/` directory no longer has special meaning. Drop the `node` segment from call sites (`refs.public.node.<group>` → `refs.public.<group>`) and replace `Refs.make(spec, nodeSpec)` with `Refs.make(spec)`.
+  5. **Tests.** If you use `@confect/test`, import `confectSchema` from `_generated/schema`, import the generated `convexSchema` from `_generated/convexSchema`, and pass `convexSchema` as the new second argument to `TestConfect.layer`.
+  6. **Optional.** Adopt submodule Effect imports (`import * as Schema from "effect/Schema"`) in your own `confect/` files for the full cold-start savings.
+  7. Run `confect codegen`. It re-emits the entire `convex/` tree and `confect/_generated/`, deleting any stale files from earlier versions.
+
+### Patch Changes
+
+- ecb3b69: Package `@confect/cli` as a binary-only package: the `.` export—along with the `main`, `module`, and `types` fields—is removed, and no type declarations are published.
+
+  `@confect/cli` has no public API; its entry module is the `confect` bin script itself. The removed `.` export was both broken (it pointed at `./dist/index.js`, while the build emits `./dist/index.mjs`) and hazardous (importing the entry module would have executed the CLI, since the script runs at module top level). Nothing changes for the supported usage: running the `confect` binary.
+
+- Updated dependencies [9eec71c]
+- Updated dependencies [a905072]
+  - @confect/core@9.0.0
+  - @confect/server@9.0.0
+
+## 9.0.0-next.10
+
+### Patch Changes
+
+- ecb3b69: Package `@confect/cli` as a binary-only package: the `.` export—along with the `main`, `module`, and `types` fields—is removed, and no type declarations are published.
+
+  `@confect/cli` has no public API; its entry module is the `confect` bin script itself. The removed `.` export was both broken (it pointed at `./dist/index.js`, while the build emits `./dist/index.mjs`) and hazardous (importing the entry module would have executed the CLI, since the script runs at module top level). Nothing changes for the supported usage: running the `confect` binary.
+
+- Updated dependencies [9eec71c]
+  - @confect/core@9.0.0-next.10
+  - @confect/server@9.0.0-next.10
+
+## 9.0.0-next.9
+
+### Major Changes
+
+- 4894959: Make Node-runtime functions first-class and remove the separate `node` namespace.
+
+  A function group's runtime is now declared solely by its spec — `GroupSpec.makeNode()` for a Node action group, `GroupSpec.make()` for a Convex group — exactly like vanilla Convex's per-file `"use node"` directive. The `confect/node/` directory is no longer special: Node specs/impls are ordinary colocated `.spec.ts`/`.impl.ts` pairs that can live anywhere in `confect/`, and codegen emits the `"use node"` directive into the generated `convex/` module based on the spec. This is safe because v9's per-group registries already isolate each Convex function's bundle from every other group's impl, so Node-only code can no longer leak into a Convex-runtime bundle regardless of namespace.
+
+  ### Why
+
+  The `node` namespace existed only because the pre-v9 architecture aggregated every function's impl into one module that all generated `convex/` modules imported; Node functions had to be quarantined into a separate spec/impl/registry tree so Convex-runtime functions wouldn't transitively import Node-only code. v9's per-group isolation removed that constraint, so the namespace was no longer load-bearing — only ergonomic overhead that diverged from vanilla Convex (which identifies Node modules per-file, with no directory requirement).
+
+  ### Breaking changes
+
+  - **API namespace removed.** A Node group at `confect/email.spec.ts` is now referenced as `refs.public.email.send` instead of `refs.public.node.email.send`. Node groups are ordinary groups in the refs tree, nesting preserved like any other group.
+  - **Generated layout changed.** Node modules are emitted at `convex/<path>.ts` (carrying `"use node"`) instead of `convex/node/<path>.ts`, and their registries at `confect/_generated/registeredFunctions/<path>.ts`. The single assembled `confect/_generated/spec.ts` now contains every group regardless of runtime; `confect/_generated/nodeSpec.ts` is no longer generated (codegen deletes any stale copy on upgrade).
+  - **`@confect/core` API.** Removed `Spec.makeNode`, `Spec.merge`, and `Spec.isConvexSpec`/`Spec.isNodeSpec`. `Spec` is now a single mixed-runtime container (`Spec.make()` accepts groups of any runtime). `Refs.make(spec)` takes a single argument (the unified spec) instead of `(convexSpec, nodeSpec)`. `GroupSpec.makeNode()`/`makeNodeAt()` and `FunctionSpec.publicNodeAction()`/`internalNodeAction()` are unchanged; `GroupSpec` subgroups may now be of any runtime (a group is just a namespace for its children).
+
+  ### Migration
+
+  1. Move any `confect/node/<path>.spec.ts`/`.impl.ts` files to wherever you want them under `confect/` (e.g. `confect/<path>.spec.ts`); the `node/` directory has no special meaning anymore. Their specs already use `GroupSpec.makeNode()`, so no spec-body change is needed — only fix the impl's relative import of `_generated/schema` if its depth changed.
+  2. Update call sites to drop the `node` segment: `refs.public.node.<group>.<fn>` → `refs.public.<group>.<fn>`.
+  3. Replace `Refs.make(spec, nodeSpec)` with `Refs.make(spec)` (codegen does this for `_generated/refs.ts` automatically).
+  4. Run `confect codegen`. The `convex/` tree and `confect/_generated/` are re-emitted; the stale `_generated/nodeSpec.ts` is removed.
+
+### Patch Changes
+
+- Updated dependencies [4894959]
+  - @confect/core@9.0.0-next.9
+  - @confect/server@9.0.0-next.9
+
 ## 9.0.0-next.8
 
 ### Patch Changes
@@ -101,6 +274,7 @@
   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`.
 
@@ -113,6 +287,7 @@
   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`.
 
@@ -129,6 +304,7 @@
   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`:
@@ -207,11 +383,13 @@
   `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
@@ -228,6 +406,7 @@
   Since `9.0.0-next.0`, codegen bundles each `*.impl.ts` with esbuild so it can load the default-exported `Layer` and read the snapshotted function names from a `Finalized` `GroupImpl`. The bundler only marked `@confect/core`, `@confect/server`, `effect`, and `@effect/*` as external — every other dependency, including all of `node_modules` and every `node:*` built-in reached through inlined CJS source, was bundled into the output. With `format: "esm"`, esbuild rewrites any CJS `require(...)` in that inlined source to a runtime shim that throws `Dynamic require of "<id>" is not supported`, so any impl importing a third-party package (`sharp`, `luxon`, `@clerk/backend`, `jsonwebtoken`, `openai`, etc.) failed during `validateImpl`.
 
   ### What changed
+
   - `@confect/cli/Bundler`'s `absoluteExternalsPlugin` now externalizes every bare specifier (anything not starting with `./`, `../`, or `/`), resolving each to an absolute file URL via the user's `node_modules`. `node:*` built-ins pass through unchanged.
   - The `EXTERNAL_PACKAGES` allow-list is removed; relative imports continue to be bundled so the user's own source is still transpiled together.
   - `@confect/cli/confect/dev` drops the redundant `external: EXTERNAL_PACKAGES` esbuild option — the plugin handles externalization for both codegen and dev-mode watchers.
@@ -235,6 +414,7 @@
   ### Fixes
 
   This restores `confect codegen` for impls that import any non-`@confect/*` / `effect` / `@effect/*` library, fixing the regression introduced in `9.0.0-next.0`.
+
   - @confect/core@9.0.0-next.4
   - @confect/server@9.0.0-next.4
 
@@ -249,6 +429,7 @@
   Since `9.0.0-next.1`, codegen has wrapped every parent leaf that has sibling subdirectory specs in `<parent>.addGroupAt("child", <child>)`. Because `GroupSpec.addGroupAt` is immutable, that produced a fresh object in the assembled tree, while the parent's `*.impl.ts` continued to hold a reference to the original imported leaf. The runtime resolver compared by `===`, so every such impl failed `validateImpl` with "Could not resolve group path for the provided GroupSpec." Child impls happened to work only because `GroupSpec.withName` was secretly mutating its argument in place to keep the child's identity stable — an asymmetry that was load-bearing for one half of the API and broken for the other.
 
   ### What changed
+
   - `@confect/core/Spec` carries a new `readonly paths: ReadonlyMap<GroupSpec.AnyWithProps, string>` field and exposes a chainable `Spec#addPath(group, path)` builder. `add` / `addAt` / `merge` propagate `paths` unchanged; `merge` re-prefixes a node spec's entries with `"node."` to match the merged tree.
   - `@confect/core/GroupSpec.withName` is now pure: it returns a fresh copy when the name differs and no longer rewrites the input in place. No new identity-tracking machinery is introduced.
   - `@confect/server/FunctionImpl.make` and `GroupImpl.make` resolve their group path via `api.spec.paths.get(group)` — an O(1) map lookup instead of a tree walk — and throw a clearer error pointing at `Spec.addPath` when the spec hasn't been registered.
@@ -256,6 +437,7 @@
   - `@confect/cli` codegen emits one `.addPath(<binding>, "<dot.path>")` call per leaf in `_generated/spec.ts` (and `_generated/nodeSpec.ts`) so the imported leaves carry their full paths into the assembled spec value.
 
   ### User-facing impact
+
   - Spec authoring (`*.spec.ts`) and impl authoring (`*.impl.ts`) APIs are unchanged. `FunctionImpl.make(api, spec, name, handler)` and `GroupImpl.make(api, spec)` keep their exact signatures.
   - Generated `_generated/spec.ts` (and `_generated/nodeSpec.ts`) pick up one `.addPath(...)` chain entry per leaf on the next `confect codegen` run. The shape is fully immutable — no module-load mutation, no hidden side effects.
   - Hand-rolled tests that construct a `Spec` and pass it to `Api.make` must now also call `.addPath(spec, "dot.path")` for any group they intend to look up.
@@ -277,6 +459,7 @@
   Previously, codegen keyed import bindings by file basename (the filename minus `.spec.ts`). When two leaves shared a basename they collapsed to a single binding, last write wins. Every `addGroupAt(...)` site that should have referenced any of the colliding leaves ended up referencing the same survivor, and every impl whose sibling spec was dropped failed `validateImpl` with `Could not resolve group path for the provided GroupSpec.` because the assembled tree no longer contained that spec object's identity.
 
   Each binding now carries its own `localName` derived from the leaf's full path segments (e.g. `scripts_operational_seed_mutations`), used both as the imported identifier and at the matching `addGroupAt` site. Top-level leaves with single-segment paths are unchanged (`env`, `notes`, etc.).
+
   - @confect/core@9.0.0-next.2
   - @confect/server@9.0.0-next.2
 
@@ -291,6 +474,7 @@
   Both `confect codegen` and `confect dev` now generate the parent's functions and the subdirectory's groups side by side, as `refs.{path}.{fn}` and `refs.{path}.{child}.{fn}`.
 
   Codegen also now reports a clear error when the parent spec declares a function or subgroup whose name matches one of the subdirectory's child segments, rather than letting the conflict turn into a runtime refs collision. `confect codegen` exits non-zero on this error; `confect dev` logs it and keeps watching so the next save can recover.
+
   - @confect/core@9.0.0-next.1
   - @confect/server@9.0.0-next.1
 
@@ -309,6 +493,7 @@
   Splitting impl across colocated `*.impl.ts` files is the vehicle for fixing that. With this change, `confect codegen` emits one `_generated/registeredFunctions/{path}.ts` per group, and each generated `convex/` module imports only its own group's per-group registry — which in turn imports only its own sibling `.impl.ts`. A Convex function's cold-start bundle now scales with its own group's impl rather than with the size of the whole project.
 
   ### Breaking changes
+
   - `GroupSpec.make()` and `GroupSpec.makeNode()` no longer take a name argument; the group name is derived from the spec file's path within `confect/`.
   - `FunctionImpl.make(api, groupSpec, fn, handler)` and `GroupImpl.make(api, groupSpec)` now take the imported sibling spec object as their second argument instead of a dot-path string.
   - Every `GroupImpl` pipeline must end with `GroupImpl.finalize`, which only typechecks once every function declared by the spec has a corresponding `FunctionImpl` provided to the group layer. `GroupImpl.finalize` snapshots the names of every registered function onto the produced `Finalized` `GroupImpl` service value, and `confect codegen` reads those names to verify per-function coverage against the spec at runtime.
@@ -317,6 +502,7 @@
   - Every module under `convex/` is re-emitted to import from `_generated/registeredFunctions/{path}` instead of the previous aggregate file. Users who commit `convex/` to source control should expect a full rewrite of that directory on first codegen.
 
   ### Migration
+
   1. For each existing group, create a colocated `confect/{path}.spec.ts` and `confect/{path}.impl.ts` pair (under a subdirectory for nested groups).
      - In each spec, call `GroupSpec.make()` (or `GroupSpec.makeNode()`) without a name and `export default` the result.
      - In each impl, default-import the sibling spec (e.g. `import notes from "./notes.spec"`), pass it to `FunctionImpl.make`/`GroupImpl.make` in place of the previous dot-path string, append `GroupImpl.finalize` to the pipeline, and `export default` the resulting `GroupImpl` layer:
@@ -324,7 +510,7 @@
        export default GroupImpl.make(api, notes).pipe(
          Layer.provide(list),
          Layer.provide(insert),
-         GroupImpl.finalize,
+         GroupImpl.finalize
        );
        ```
   2. Delete root `confect/spec.ts`, `confect/impl.ts`, `confect/nodeSpec.ts`, `confect/nodeImpl.ts`, and any parent aggregator spec/impl files. (`confect codegen` will also delete any of these it finds, plus the stale `_generated/registeredFunctions.ts` and `_generated/nodeRegisteredFunctions.ts`, so this step can be skipped.)

package/dist/Bundler.mjs

@@ -21,10 +21,7 @@ const absolutizeMetafile = (metafile, cwd) => {
 	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)
-		}))
+		imports: value.imports.map((i) => Object.assign({}, i, { path: absolutize(i.path) }))
 	};
 	const outputs = {};
 	for (const [key, value] of Object.entries(metafile.outputs)) outputs[absolutize(key)] = value;

package/dist/Bundler.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"Bundler.mjs","names":[],"sources":["../src/Bundler.ts"],"sourcesContent":["import { dirname, isAbsolute, resolve } from \"node:path\";\nimport * as Path from \"@effect/platform/Path\";\nimport { bundleRequire } from \"bundle-require\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Effect from \"effect/Effect\";\nimport * as Option from \"effect/Option\";\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":";;;;;;;;;;;;;;;;;;AAuBA,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"}
+{"version":3,"file":"Bundler.mjs","names":[],"sources":["../src/Bundler.ts"],"sourcesContent":["import { dirname, isAbsolute, resolve } from \"node:path\";\nimport * as Path from \"@effect/platform/Path\";\nimport { bundleRequire } from \"bundle-require\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Effect from \"effect/Effect\";\nimport * as Option from \"effect/Option\";\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) =>\n        Object.assign({}, i, { path: absolutize(i.path) }),\n      ),\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":";;;;;;;;;;;;;;;;;;AAuBA,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,MAC1B,OAAO,OAAO,EAAE,EAAE,GAAG,EAAE,MAAM,WAAW,EAAE,KAAK,EAAE,CAAC,CACnD;EACF;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

@@ -18,11 +18,6 @@ var MissingSpecFileError = class extends Schema.TaggedError()("MissingSpecFileEr
 	expectedSpecPath: Schema.String
 }) {};
 var SpecMissingDefaultGroupSpecError = class extends Schema.TaggedError()("SpecMissingDefaultGroupSpecError", { specPath: Schema.String }) {};
-var SpecRuntimeMismatchError = class extends Schema.TaggedError()("SpecRuntimeMismatchError", {
-	specPath: Schema.String,
-	expectedRuntime: Schema.Literal("Convex", "Node"),
-	actualRuntime: Schema.Literal("Convex", "Node")
-}) {};
 var ImplMissingSpecImportError = class extends Schema.TaggedError()("ImplMissingSpecImportError", {
 	implPath: Schema.String,
 	expectedSpecPath: Schema.String
@@ -50,7 +45,7 @@ var DuplicateTableNameError = class extends Schema.TaggedError()("DuplicateTable
 	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 CodegenError = Schema.Union(BuildError, MissingImplFileError, MissingSpecFileError, SpecMissingDefaultGroupSpecError, ImplMissingSpecImportError, ImplMissingDefaultLayerError, ImplNotFinalizedError, ImplMissingFunctionsError, ParentChildNameCollisionError, InvalidTableDefaultExportError, InvalidTableFilenameError, DuplicateTableNameError, LegacySchemaFileError);
 const isCodegenError = (error) => {
 	if (isBuildError(error)) return true;
 	return Schema.is(CodegenError)(error);
@@ -65,11 +60,6 @@ const singleLine = (...parts) => pipe(cross, AnsiDoc.catWithSpace(AnsiDoc.hcat(p
 const renderMissingImplFileError = (error) => singleLine(AnsiDoc.text("Spec "), formatPathDoc(error.specPath), AnsiDoc.text(" has no sibling impl; create "), formatPathDoc(error.expectedImplPath), AnsiDoc.text(" and default-export a GroupImpl layer from it."));
 const renderMissingSpecFileError = (error) => singleLine(AnsiDoc.text("Impl "), formatPathDoc(error.implPath), AnsiDoc.text(" has no sibling spec; create "), formatPathDoc(error.expectedSpecPath), AnsiDoc.text(" and default-export a GroupSpec from it, or remove the impl."));
 const renderSpecMissingDefaultGroupSpecError = (error) => singleLine(AnsiDoc.text("Spec "), formatPathDoc(error.specPath), AnsiDoc.text(" must default-export a GroupSpec; build it with GroupSpec.make() or GroupSpec.makeNode()."));
-const renderSpecRuntimeMismatchError = (error) => {
-	const constructor = error.expectedRuntime === "Node" ? "GroupSpec.makeNode()" : "GroupSpec.make()";
-	const moveHint = error.expectedRuntime === "Node" ? " or move the file into confect/node/." : " or move the file out of confect/node/.";
-	return singleLine(AnsiDoc.text("Spec "), formatPathDoc(error.specPath), AnsiDoc.text(` declares a ${error.actualRuntime} GroupSpec but its location requires ${error.expectedRuntime}; use ${constructor}${moveHint}`));
-};
 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.`));
@@ -96,7 +86,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("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);
+	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("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)));
 /**
@@ -115,5 +105,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 { DuplicateTableNameError, ImplMissingDefaultLayerError, ImplMissingFunctionsError, ImplMissingSpecImportError, ImplNotFinalizedError, InvalidTableDefaultExportError, InvalidTableFilenameError, LegacySchemaFileError, MissingImplFileError, MissingSpecFileError, ParentChildNameCollisionError, SpecMissingDefaultGroupSpecError, SpecRuntimeMismatchError, catchAndLog, tapAndLog };
+export { DuplicateTableNameError, ImplMissingDefaultLayerError, ImplMissingFunctionsError, ImplMissingSpecImportError, ImplNotFinalizedError, InvalidTableDefaultExportError, InvalidTableFilenameError, LegacySchemaFileError, MissingImplFileError, MissingSpecFileError, ParentChildNameCollisionError, SpecMissingDefaultGroupSpecError, 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 * as Ansi from \"@effect/printer-ansi/Ansi\";\nimport * as AnsiDoc from \"@effect/printer-ansi/AnsiDoc\";\nimport { pipe } from \"effect/Function\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Option from \"effect/Option\";\nimport * as Schema from \"effect/Schema\";\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":";;;;;;;;;;;AAYA,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"}
+{"version":3,"file":"CodegenError.mjs","names":[],"sources":["../src/CodegenError.ts"],"sourcesContent":["import * as Ansi from \"@effect/printer-ansi/Ansi\";\nimport * as AnsiDoc from \"@effect/printer-ansi/AnsiDoc\";\nimport { pipe } from \"effect/Function\";\nimport * as Effect from \"effect/Effect\";\nimport * as Match from \"effect/Match\";\nimport * as Option from \"effect/Option\";\nimport * as Schema from \"effect/Schema\";\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 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  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 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(\"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":";;;;;;;;;;;AAYA,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,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,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,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,+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,6 +1,6 @@
 import { fromBundlerError } from "./BuildError.mjs";
 import { bundle, directlyImports } from "./Bundler.mjs";
-import { ImplMissingDefaultLayerError, ImplMissingFunctionsError, ImplMissingSpecImportError, ImplNotFinalizedError, SpecMissingDefaultGroupSpecError, SpecRuntimeMismatchError } from "./CodegenError.mjs";
+import { ImplMissingDefaultLayerError, ImplMissingFunctionsError, ImplMissingSpecImportError, ImplNotFinalizedError, SpecMissingDefaultGroupSpecError } from "./CodegenError.mjs";
 import { ConfectDirectory } from "./ConfectDirectory.mjs";
 import { removePathExtension } from "./utils.mjs";
 import * as Effect from "effect/Effect";
@@ -47,14 +47,8 @@ const specImportPathFromGenerated = (specRelativePath) => Effect.gen(function* (
 });
 const specPathForImpl = (implRelativePath) => swapModuleSuffix(implRelativePath, IMPL_SUFFIX, SPEC_SUFFIX);
 const implPathForSpec = (specRelativePath) => swapModuleSuffix(specRelativePath, SPEC_SUFFIX, IMPL_SUFFIX);
-const isNodeLeafModule = (relativePath) => relativePath.startsWith("node/") || relativePath.startsWith("node\\");
-const toNodeRegistryLeaf = (leaf) => ({
-	...leaf,
-	pathSegments: [leaf.exportName],
-	groupPathDot: leaf.exportName
-});
 const registeredFunctionsRelativePath = (leaf) => Effect.gen(function* () {
-	return (yield* Path.Path).join("registeredFunctions", ...leaf.pathSegments.slice(leaf.runtime === "Node" ? 1 : 0)) + ".ts";
+	return (yield* Path.Path).join("registeredFunctions", ...leaf.pathSegments) + ".ts";
 });
 const discoverLeafSpecFiles = Effect.gen(function* () {
 	const fs = yield* FileSystem.FileSystem;
@@ -86,14 +80,12 @@ const toLeafModule = (specRelativePath) => Effect.gen(function* () {
 	const exportName = yield* exportNameFromModulePath(specRelativePath);
 	const { pathSegments, groupPathDot } = yield* groupPathFromRelativeModulePath(specRelativePath);
 	const specImportPath = yield* specImportPathFromGenerated(specRelativePath);
-	const runtime = isNodeLeafModule(specRelativePath) ? "Node" : "Convex";
 	return {
 		relativePath: specRelativePath,
 		pathSegments,
 		groupPathDot,
 		exportName,
-		runtime,
-		registryGroupPathDot: runtime === "Node" ? exportName : groupPathDot,
+		runtime: Option.none(),
 		specImportPath
 	};
 });
@@ -102,22 +94,17 @@ const absoluteModulePath = (relativePath) => Effect.gen(function* () {
 	return (yield* Path.Path).resolve(confectDirectory, relativePath);
 });
 /**
-* Validate that the leaf's spec file default-exports a `GroupSpec` whose
-* runtime matches the leaf's location (`Convex` for files outside
-* `confect/node/`, `Node` for files inside it). Returns the validated
-* `GroupSpec` so callers can avoid re-bundling for later inspection (e.g.
-* parent/child name-collision checks at codegen time).
+* Validate that the leaf's spec file default-exports a `GroupSpec`. Returns the
+* validated `GroupSpec` so callers can read its runtime and avoid re-bundling for
+* later inspection (e.g. stamping `leaf.runtime` and parent/child name-collision
+* checks at codegen time). The group's runtime (`Convex` vs `Node`) is whatever
+* the spec declares — it is not constrained by the file's location.
 */
 const validateSpec = (leaf) => Effect.gen(function* () {
 	const absolutePath = yield* absoluteModulePath(leaf.relativePath);
 	const { module } = yield* bundle(absolutePath).pipe(Effect.mapError((error) => fromBundlerError(leaf.relativePath, error)));
 	const groupSpec = module.default;
 	if (!GroupSpec.isGroupSpec(groupSpec)) return yield* new SpecMissingDefaultGroupSpecError({ specPath: leaf.relativePath });
-	if (groupSpec.runtime !== leaf.runtime) return yield* new SpecRuntimeMismatchError({
-		specPath: leaf.relativePath,
-		expectedRuntime: leaf.runtime,
-		actualRuntime: groupSpec.runtime
-	});
 	return groupSpec;
 });
 /**
@@ -172,5 +159,5 @@ const validateImpl = (leaf) => Effect.gen(function* () {
 });
 
 //#endregion
-export { discoverLeafImplFiles, discoverLeafSpecFiles, implPathForSpec, isLeafImplPath, isLeafSpecPath, registeredFunctionsRelativePath, specPathForImpl, toLeafModule, toNodeRegistryLeaf, validateImpl, validateSpec };
+export { discoverLeafImplFiles, discoverLeafSpecFiles, implPathForSpec, isLeafImplPath, isLeafSpecPath, registeredFunctionsRelativePath, specPathForImpl, toLeafModule, validateImpl, validateSpec };
 //# sourceMappingURL=LeafModule.mjs.map