@confect/server 9.0.0-next.0 → 9.0.0-next.10

package/dist/Document.d.ts

@@ -1,47 +1,38 @@
-import { ReadonlyValue } from "./SchemaToValidator.js";
-import { TableSchema } from "./TableInfo.js";
-import { AnyWithProps, TableInfoWithName_, TableNames } from "./DataModel.js";
-import { Effect, Schema } from "effect";
-import { ReadonlyRecord } from "effect/Record";
-
-//#region src/Document.d.ts
-declare namespace Document_d_exports {
-  export { Any, AnyEncoded, DocumentDecodeError, DocumentEncodeError, WithoutSystemFields, decode, documentErrorMessage, encode };
-}
-type WithoutSystemFields<Doc> = Omit<Doc, "_creationTime" | "_id">;
-type Any = any;
-type AnyEncoded = ReadonlyRecord<string, ReadonlyValue>;
-declare const decode: (<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>>(tableName: TableName, tableSchema: TableSchema<TableInfoWithName_<DataModel_, TableName>>) => (self: TableInfoWithName_<DataModel_, TableName>["convexDocument"]) => Effect.Effect<TableInfoWithName_<DataModel_, TableName>["document"], DocumentDecodeError>) & (<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>>(self: TableInfoWithName_<DataModel_, TableName>["convexDocument"], tableName: TableName, tableSchema: TableSchema<TableInfoWithName_<DataModel_, TableName>>) => Effect.Effect<TableInfoWithName_<DataModel_, TableName>["document"], DocumentDecodeError>);
-declare const encode: (<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>>(tableName: TableName, tableSchema: TableSchema<TableInfoWithName_<DataModel_, TableName>>) => (self: TableInfoWithName_<DataModel_, TableName>["document"]) => Effect.Effect<TableInfoWithName_<DataModel_, TableName>["encodedDocument"], DocumentEncodeError>) & (<DataModel_ extends AnyWithProps, TableName extends TableNames<DataModel_>>(self: TableInfoWithName_<DataModel_, TableName>["document"], tableName: TableName, tableSchema: TableSchema<TableInfoWithName_<DataModel_, TableName>>) => Effect.Effect<TableInfoWithName_<DataModel_, TableName>["encodedDocument"], DocumentEncodeError>);
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import type { ReadonlyRecord } from "effect/Record";
+import type * as DataModel from "./DataModel";
+import type { ReadonlyValue } from "./SchemaToValidator";
+import type * as TableInfo from "./TableInfo";
+export type WithoutSystemFields<Doc> = Omit<Doc, "_creationTime" | "_id">;
+export type Any = any;
+export type AnyEncoded = ReadonlyRecord<string, ReadonlyValue>;
+export declare const decode: (<DataModel_ extends DataModel.AnyWithProps, TableName extends DataModel.TableNames<DataModel_>>(tableName: TableName, tableSchema: TableInfo.TableSchema<DataModel.TableInfoWithName_<DataModel_, TableName>>) => (self: DataModel.TableInfoWithName_<DataModel_, TableName>["convexDocument"]) => Effect.Effect<DataModel.TableInfoWithName_<DataModel_, TableName>["document"], DocumentDecodeError>) & (<DataModel_ extends DataModel.AnyWithProps, TableName extends DataModel.TableNames<DataModel_>>(self: DataModel.TableInfoWithName_<DataModel_, TableName>["convexDocument"], tableName: TableName, tableSchema: TableInfo.TableSchema<DataModel.TableInfoWithName_<DataModel_, TableName>>) => Effect.Effect<DataModel.TableInfoWithName_<DataModel_, TableName>["document"], DocumentDecodeError>);
+export declare const encode: (<DataModel_ extends DataModel.AnyWithProps, TableName extends DataModel.TableNames<DataModel_>>(tableName: TableName, tableSchema: TableInfo.TableSchema<DataModel.TableInfoWithName_<DataModel_, TableName>>) => (self: DataModel.TableInfoWithName_<DataModel_, TableName>["document"]) => Effect.Effect<DataModel.TableInfoWithName_<DataModel_, TableName>["encodedDocument"], DocumentEncodeError>) & (<DataModel_ extends DataModel.AnyWithProps, TableName extends DataModel.TableNames<DataModel_>>(self: DataModel.TableInfoWithName_<DataModel_, TableName>["document"], tableName: TableName, tableSchema: TableInfo.TableSchema<DataModel.TableInfoWithName_<DataModel_, TableName>>) => Effect.Effect<DataModel.TableInfoWithName_<DataModel_, TableName>["encodedDocument"], DocumentEncodeError>);
 declare const DocumentDecodeError_base: Schema.TaggedErrorClass<DocumentDecodeError, "DocumentDecodeError", {
-  readonly _tag: Schema.tag<"DocumentDecodeError">;
+    readonly _tag: Schema.tag<"DocumentDecodeError">;
 } & {
-  tableName: typeof Schema.String;
-  id: typeof Schema.String;
-  parseError: typeof Schema.String;
+    tableName: typeof Schema.String;
+    id: typeof Schema.String;
+    parseError: typeof Schema.String;
 }>;
-declare class DocumentDecodeError extends DocumentDecodeError_base {
-  get message(): string;
+export declare class DocumentDecodeError extends DocumentDecodeError_base {
+    get message(): string;
 }
 declare const DocumentEncodeError_base: Schema.TaggedErrorClass<DocumentEncodeError, "DocumentEncodeError", {
-  readonly _tag: Schema.tag<"DocumentEncodeError">;
+    readonly _tag: Schema.tag<"DocumentEncodeError">;
 } & {
-  tableName: typeof Schema.String;
-  id: typeof Schema.String;
-  parseError: typeof Schema.String;
+    tableName: typeof Schema.String;
+    id: typeof Schema.String;
+    parseError: typeof Schema.String;
 }>;
-declare class DocumentEncodeError extends DocumentEncodeError_base {
-  get message(): string;
+export declare class DocumentEncodeError extends DocumentEncodeError_base {
+    get message(): string;
 }
-declare const documentErrorMessage: ({
-  id,
-  tableName,
-  message
-}: {
-  id: string;
-  tableName: string;
-  message: string;
+export declare const documentErrorMessage: ({ id, tableName, message, }: {
+    id: string;
+    tableName: string;
+    message: string;
 }) => string;
-//#endregion
-export { Any, AnyEncoded, DocumentDecodeError, DocumentEncodeError, Document_d_exports, WithoutSystemFields, decode, documentErrorMessage, encode };
+export {};
 //# sourceMappingURL=Document.d.ts.map

package/dist/Document.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Document.d.ts","names":[],"sources":["../src/Document.ts"],"mappings":";;;;;;;;;;KAOY,mBAAA,QAA2B,IAAA,CAAK,GAAA;AAAA,KAEhC,GAAA;AAAA,KACA,UAAA,GAAa,cAAA,SAAuB,aAAA;AAAA,cAiCnC,MAAA,uBAEU,YAAA,oBACD,UAAA,CAAqB,UAAA,GAAW,SAAA,EAEvC,SAAA,EAAS,WAAA,EACP,WAAA,CACX,kBAAA,CAA6B,UAAA,EAAY,SAAA,QAG3C,IAAA,EAAM,kBAAA,CAA6B,UAAA,EAAY,SAAA,wBAC5C,MAAA,CAAO,MAAA,CACV,kBAAA,CAA6B,UAAA,EAAY,SAAA,eACzC,mBAAA,0BAGmB,YAAA,oBACD,UAAA,CAAqB,UAAA,GAAW,IAAA,EAE5C,kBAAA,CAA6B,UAAA,EAAY,SAAA,qBAA4B,SAAA,EAChE,SAAA,EAAS,WAAA,EACP,WAAA,CACX,kBAAA,CAA6B,UAAA,EAAY,SAAA,OAExC,MAAA,CAAO,MAAA,CACV,kBAAA,CAA6B,UAAA,EAAY,SAAA,eACzC,mBAAA;AAAA,cAsDS,MAAA,uBAEU,YAAA,oBACD,UAAA,CAAqB,UAAA,GAAW,SAAA,EAEvC,SAAA,EAAS,WAAA,EACP,WAAA,CACX,kBAAA,CAA6B,UAAA,EAAY,SAAA,QAG3C,IAAA,EAAM,kBAAA,CAA6B,UAAA,EAAY,SAAA,kBAC5C,MAAA,CAAO,MAAA,CACV,kBAAA,CAA6B,UAAA,EAAY,SAAA,sBACzC,mBAAA,0BAGmB,YAAA,oBACD,UAAA,CAAqB,UAAA,GAAW,IAAA,EAE5C,kBAAA,CAA6B,UAAA,EAAY,SAAA,eAAsB,SAAA,EAC1D,SAAA,EAAS,WAAA,EACP,WAAA,CACX,kBAAA,CAA6B,UAAA,EAAY,SAAA,OAExC,MAAA,CAAO,MAAA,CACV,kBAAA,CAA6B,UAAA,EAAY,SAAA,sBACzC,mBAAA;AAAA,cAwCF,wBAAA;;;;;;;cAEW,mBAAA,SAA4B,wBAAA;EAAA,IAQ1B,OAAA,CAAA;AAAA;AAAA,cAOd,wBAAA;;;;;;;cAEY,mBAAA,SAA4B,wBAAA;EAAA,IAQ1B,OAAA,CAAA;AAAA;AAAA,cASF,oBAAA;EAAwB,EAAA;EAAA,SAAA;EAAA;AAAA;EAKnC,EAAA;EACA,SAAA;EACA,OAAA;AAAA"}
+{"version":3,"file":"Document.d.ts","sourceRoot":"","sources":["../src/Document.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAC9C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,KAAK,KAAK,SAAS,MAAM,aAAa,CAAC;AAE9C,MAAM,MAAM,mBAAmB,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,eAAe,GAAG,KAAK,CAAC,CAAC;AAE1E,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC;AACtB,MAAM,MAAM,UAAU,GAAG,cAAc,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;AAiC/D,eAAO,MAAM,MAAM,IAEf,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,SAAS,SAAS,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,aAEvC,SAAS,eACP,SAAS,CAAC,WAAW,CAChC,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CACpD,KACE,CACH,IAAI,EAAE,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,gBAAgB,CAAC,KACxE,MAAM,CAAC,MAAM,CAChB,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,EAC/D,mBAAmB,CACpB,MAEC,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,SAAS,SAAS,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,QAE5C,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,gBAAgB,CAAC,aAChE,SAAS,eACP,SAAS,CAAC,WAAW,CAChC,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CACpD,KACE,MAAM,CAAC,MAAM,CAChB,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,EAC/D,mBAAmB,CACpB,CAuCF,CAAC;AAcF,eAAO,MAAM,MAAM,IAEf,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,SAAS,SAAS,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,aAEvC,SAAS,eACP,SAAS,CAAC,WAAW,CAChC,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CACpD,KACE,CACH,IAAI,EAAE,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,KAClE,MAAM,CAAC,MAAM,CAChB,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,iBAAiB,CAAC,EACtE,mBAAmB,CACpB,MAEC,UAAU,SAAS,SAAS,CAAC,YAAY,EACzC,SAAS,SAAS,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,QAE5C,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,UAAU,CAAC,aAC1D,SAAS,eACP,SAAS,CAAC,WAAW,CAChC,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CACpD,KACE,MAAM,CAAC,MAAM,CAChB,SAAS,CAAC,kBAAkB,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,iBAAiB,CAAC,EACtE,mBAAmB,CACpB,CAuCF,CAAC;;;;;;;;AAEF,qBAAa,mBAAoB,SAAQ,wBAOxC;IACC,IAAa,OAAO,IAAI,MAAM,CAM7B;CACF;;;;;;;;AAED,qBAAa,mBAAoB,SAAQ,wBAOxC;IACC,IAAa,OAAO,IAAI,MAAM,CAM7B;CACF;AAED,eAAO,MAAM,oBAAoB,GAAI,6BAIlC;IACD,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;CACjB,WAAkE,CAAC"}

package/dist/Document.js

@@ -1,6 +1,10 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
-import { Effect, Function, ParseResult, Schema, pipe } from "effect";
+import * as Function from "effect/Function";
+import { pipe } from "effect/Function";
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
 import * as SystemFields from "@confect/core/SystemFields";
+import * as ParseResult from "effect/ParseResult";
 
 //#region src/Document.ts
 var Document_exports = /* @__PURE__ */ __exportAll({

package/dist/Document.js.map

@@ -1 +1 @@
-{"version":3,"file":"Document.js","names":[],"sources":["../src/Document.ts"],"sourcesContent":["import * as SystemFields from \"@confect/core/SystemFields\";\nimport { Effect, Function, ParseResult, pipe, Schema } from \"effect\";\nimport type { ReadonlyRecord } from \"effect/Record\";\nimport type * as DataModel from \"./DataModel\";\nimport type { ReadonlyValue } from \"./SchemaToValidator\";\nimport type * as TableInfo from \"./TableInfo\";\n\nexport type WithoutSystemFields<Doc> = Omit<Doc, \"_creationTime\" | \"_id\">;\n\nexport type Any = any;\nexport type AnyEncoded = ReadonlyRecord<string, ReadonlyValue>;\n\ntype Decode = (doc: unknown) => Effect.Effect<unknown, ParseResult.ParseError>;\n\nconst decoderCache = new WeakMap<\n  Schema.Schema.AnyNoContext,\n  Map<string, Decode>\n>();\n\nconst getDecoder = (\n  tableName: string,\n  tableSchema: Schema.Schema.AnyNoContext,\n): Decode => {\n  const byTable =\n    decoderCache.get(tableSchema) ??\n    (() => {\n      const map = new Map<string, Decode>();\n      decoderCache.set(tableSchema, map);\n      return map;\n    })();\n\n  return (\n    byTable.get(tableName) ??\n    (() => {\n      const decoder = Schema.decode(\n        SystemFields.extendWithSystemFields(tableName, tableSchema),\n      ) as Decode;\n      byTable.set(tableName, decoder);\n      return decoder;\n    })()\n  );\n};\n\nexport const decode = Function.dual<\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ) => (\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"convexDocument\"],\n  ) => Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    DocumentDecodeError\n  >,\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"convexDocument\"],\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ) => Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    DocumentDecodeError\n  >\n>(\n  3,\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"convexDocument\"],\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ): Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    DocumentDecodeError\n  > =>\n    pipe(\n      self,\n      getDecoder(tableName, tableSchema),\n      Effect.catchIf(ParseResult.isParseError, (parseError) =>\n        Effect.gen(function* () {\n          const formattedParseError =\n            yield* ParseResult.TreeFormatter.formatError(parseError);\n\n          return yield* new DocumentDecodeError({\n            tableName,\n            id: self._id,\n            parseError: formattedParseError,\n          });\n        }),\n      ),\n      Effect.map(\n        (decodedDoc) =>\n          decodedDoc as DataModel.TableInfoWithName_<\n            DataModel_,\n            TableName\n          >[\"document\"],\n      ),\n    ),\n);\n\ntype Encode = (doc: unknown) => Effect.Effect<unknown, ParseResult.ParseError>;\n\nconst encoderCache = new WeakMap<Schema.Schema.AnyNoContext, Encode>();\n\nconst getEncoder = (tableSchema: Schema.Schema.AnyNoContext): Encode =>\n  encoderCache.get(tableSchema) ??\n  (() => {\n    const encoder = Schema.encode(tableSchema) as Encode;\n    encoderCache.set(tableSchema, encoder);\n    return encoder;\n  })();\n\nexport const encode = Function.dual<\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ) => (\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n  ) => Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"encodedDocument\"],\n    DocumentEncodeError\n  >,\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ) => Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"encodedDocument\"],\n    DocumentEncodeError\n  >\n>(\n  3,\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ): Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"encodedDocument\"],\n    DocumentEncodeError\n  > =>\n    pipe(\n      self,\n      getEncoder(tableSchema),\n      Effect.catchIf(ParseResult.isParseError, (parseError) =>\n        Effect.gen(function* () {\n          const formattedParseError =\n            yield* ParseResult.TreeFormatter.formatError(parseError);\n\n          return yield* new DocumentEncodeError({\n            tableName,\n            id: self._id,\n            parseError: formattedParseError,\n          });\n        }),\n      ),\n      Effect.map(\n        (encodedDoc) =>\n          encodedDoc as DataModel.TableInfoWithName_<\n            DataModel_,\n            TableName\n          >[\"encodedDocument\"],\n      ),\n    ),\n);\n\nexport class DocumentDecodeError extends Schema.TaggedError<DocumentDecodeError>()(\n  \"DocumentDecodeError\",\n  {\n    tableName: Schema.String,\n    id: Schema.String,\n    parseError: Schema.String,\n  },\n) {\n  override get message(): string {\n    return documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: `could not be decoded:\\n\\n${this.parseError}`,\n    });\n  }\n}\n\nexport class DocumentEncodeError extends Schema.TaggedError<DocumentEncodeError>()(\n  \"DocumentEncodeError\",\n  {\n    tableName: Schema.String,\n    id: Schema.String,\n    parseError: Schema.String,\n  },\n) {\n  override get message(): string {\n    return documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: `could not be encoded:\\n\\n${this.parseError}`,\n    });\n  }\n}\n\nexport const documentErrorMessage = ({\n  id,\n  tableName,\n  message,\n}: {\n  id: string;\n  tableName: string;\n  message: string;\n}) => `Document with ID '${id}' in table '${tableName}' ${message}`;\n"],"mappings":";;;;;;;;;;;;AAcA,MAAM,+BAAe,IAAI,SAGtB;AAEH,MAAM,cACJ,WACA,gBACW;CACX,MAAM,UACJ,aAAa,IAAI,YAAY,WACtB;EACL,MAAM,sBAAM,IAAI,KAAqB;AACrC,eAAa,IAAI,aAAa,IAAI;AAClC,SAAO;KACL;AAEN,QACE,QAAQ,IAAI,UAAU,WACf;EACL,MAAM,UAAU,OAAO,OACrB,aAAa,uBAAuB,WAAW,YAAY,CAC5D;AACD,UAAQ,IAAI,WAAW,QAAQ;AAC/B,SAAO;KACL;;AAIR,MAAa,SAAS,SAAS,KA6B7B,IAKE,MACA,WACA,gBAOA,KACE,MACA,WAAW,WAAW,YAAY,EAClC,OAAO,QAAQ,YAAY,eAAe,eACxC,OAAO,IAAI,aAAa;CACtB,MAAM,sBACJ,OAAO,YAAY,cAAc,YAAY,WAAW;AAE1D,QAAO,OAAO,IAAI,oBAAoB;EACpC;EACA,IAAI,KAAK;EACT,YAAY;EACb,CAAC;EACF,CACH,EACD,OAAO,KACJ,eACC,WAIH,CACF,CACJ;AAID,MAAM,+BAAe,IAAI,SAA6C;AAEtE,MAAM,cAAc,gBAClB,aAAa,IAAI,YAAY,WACtB;CACL,MAAM,UAAU,OAAO,OAAO,YAAY;AAC1C,cAAa,IAAI,aAAa,QAAQ;AACtC,QAAO;IACL;AAEN,MAAa,SAAS,SAAS,KA6B7B,IAKE,MACA,WACA,gBAOA,KACE,MACA,WAAW,YAAY,EACvB,OAAO,QAAQ,YAAY,eAAe,eACxC,OAAO,IAAI,aAAa;CACtB,MAAM,sBACJ,OAAO,YAAY,cAAc,YAAY,WAAW;AAE1D,QAAO,OAAO,IAAI,oBAAoB;EACpC;EACA,IAAI,KAAK;EACT,YAAY;EACb,CAAC;EACF,CACH,EACD,OAAO,KACJ,eACC,WAIH,CACF,CACJ;AAED,IAAa,sBAAb,cAAyC,OAAO,aAAkC,CAChF,uBACA;CACE,WAAW,OAAO;CAClB,IAAI,OAAO;CACX,YAAY,OAAO;CACpB,CACF,CAAC;CACA,IAAa,UAAkB;AAC7B,SAAO,qBAAqB;GAC1B,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS,4BAA4B,KAAK;GAC3C,CAAC;;;AAIN,IAAa,sBAAb,cAAyC,OAAO,aAAkC,CAChF,uBACA;CACE,WAAW,OAAO;CAClB,IAAI,OAAO;CACX,YAAY,OAAO;CACpB,CACF,CAAC;CACA,IAAa,UAAkB;AAC7B,SAAO,qBAAqB;GAC1B,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS,4BAA4B,KAAK;GAC3C,CAAC;;;AAIN,MAAa,wBAAwB,EACnC,IACA,WACA,cAKI,qBAAqB,GAAG,cAAc,UAAU,IAAI"}
+{"version":3,"file":"Document.js","names":[],"sources":["../src/Document.ts"],"sourcesContent":["import * as SystemFields from \"@confect/core/SystemFields\";\nimport { pipe } from \"effect/Function\";\nimport * as Effect from \"effect/Effect\";\nimport * as Function from \"effect/Function\";\nimport * as ParseResult from \"effect/ParseResult\";\nimport * as Schema from \"effect/Schema\";\nimport type { ReadonlyRecord } from \"effect/Record\";\nimport type * as DataModel from \"./DataModel\";\nimport type { ReadonlyValue } from \"./SchemaToValidator\";\nimport type * as TableInfo from \"./TableInfo\";\n\nexport type WithoutSystemFields<Doc> = Omit<Doc, \"_creationTime\" | \"_id\">;\n\nexport type Any = any;\nexport type AnyEncoded = ReadonlyRecord<string, ReadonlyValue>;\n\ntype Decode = (doc: unknown) => Effect.Effect<unknown, ParseResult.ParseError>;\n\nconst decoderCache = new WeakMap<\n  Schema.Schema.AnyNoContext,\n  Map<string, Decode>\n>();\n\nconst getDecoder = (\n  tableName: string,\n  tableSchema: Schema.Schema.AnyNoContext,\n): Decode => {\n  const byTable =\n    decoderCache.get(tableSchema) ??\n    (() => {\n      const map = new Map<string, Decode>();\n      decoderCache.set(tableSchema, map);\n      return map;\n    })();\n\n  return (\n    byTable.get(tableName) ??\n    (() => {\n      const decoder = Schema.decode(\n        SystemFields.extendWithSystemFields(tableName, tableSchema),\n      ) as Decode;\n      byTable.set(tableName, decoder);\n      return decoder;\n    })()\n  );\n};\n\nexport const decode = Function.dual<\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ) => (\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"convexDocument\"],\n  ) => Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    DocumentDecodeError\n  >,\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"convexDocument\"],\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ) => Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    DocumentDecodeError\n  >\n>(\n  3,\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"convexDocument\"],\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ): Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    DocumentDecodeError\n  > =>\n    pipe(\n      self,\n      getDecoder(tableName, tableSchema),\n      Effect.catchIf(ParseResult.isParseError, (parseError) =>\n        Effect.gen(function* () {\n          const formattedParseError =\n            yield* ParseResult.TreeFormatter.formatError(parseError);\n\n          return yield* new DocumentDecodeError({\n            tableName,\n            id: self._id,\n            parseError: formattedParseError,\n          });\n        }),\n      ),\n      Effect.map(\n        (decodedDoc) =>\n          decodedDoc as DataModel.TableInfoWithName_<\n            DataModel_,\n            TableName\n          >[\"document\"],\n      ),\n    ),\n);\n\ntype Encode = (doc: unknown) => Effect.Effect<unknown, ParseResult.ParseError>;\n\nconst encoderCache = new WeakMap<Schema.Schema.AnyNoContext, Encode>();\n\nconst getEncoder = (tableSchema: Schema.Schema.AnyNoContext): Encode =>\n  encoderCache.get(tableSchema) ??\n  (() => {\n    const encoder = Schema.encode(tableSchema) as Encode;\n    encoderCache.set(tableSchema, encoder);\n    return encoder;\n  })();\n\nexport const encode = Function.dual<\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ) => (\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n  ) => Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"encodedDocument\"],\n    DocumentEncodeError\n  >,\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ) => Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"encodedDocument\"],\n    DocumentEncodeError\n  >\n>(\n  3,\n  <\n    DataModel_ extends DataModel.AnyWithProps,\n    TableName extends DataModel.TableNames<DataModel_>,\n  >(\n    self: DataModel.TableInfoWithName_<DataModel_, TableName>[\"document\"],\n    tableName: TableName,\n    tableSchema: TableInfo.TableSchema<\n      DataModel.TableInfoWithName_<DataModel_, TableName>\n    >,\n  ): Effect.Effect<\n    DataModel.TableInfoWithName_<DataModel_, TableName>[\"encodedDocument\"],\n    DocumentEncodeError\n  > =>\n    pipe(\n      self,\n      getEncoder(tableSchema),\n      Effect.catchIf(ParseResult.isParseError, (parseError) =>\n        Effect.gen(function* () {\n          const formattedParseError =\n            yield* ParseResult.TreeFormatter.formatError(parseError);\n\n          return yield* new DocumentEncodeError({\n            tableName,\n            id: self._id,\n            parseError: formattedParseError,\n          });\n        }),\n      ),\n      Effect.map(\n        (encodedDoc) =>\n          encodedDoc as DataModel.TableInfoWithName_<\n            DataModel_,\n            TableName\n          >[\"encodedDocument\"],\n      ),\n    ),\n);\n\nexport class DocumentDecodeError extends Schema.TaggedError<DocumentDecodeError>()(\n  \"DocumentDecodeError\",\n  {\n    tableName: Schema.String,\n    id: Schema.String,\n    parseError: Schema.String,\n  },\n) {\n  override get message(): string {\n    return documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: `could not be decoded:\\n\\n${this.parseError}`,\n    });\n  }\n}\n\nexport class DocumentEncodeError extends Schema.TaggedError<DocumentEncodeError>()(\n  \"DocumentEncodeError\",\n  {\n    tableName: Schema.String,\n    id: Schema.String,\n    parseError: Schema.String,\n  },\n) {\n  override get message(): string {\n    return documentErrorMessage({\n      id: this.id,\n      tableName: this.tableName,\n      message: `could not be encoded:\\n\\n${this.parseError}`,\n    });\n  }\n}\n\nexport const documentErrorMessage = ({\n  id,\n  tableName,\n  message,\n}: {\n  id: string;\n  tableName: string;\n  message: string;\n}) => `Document with ID '${id}' in table '${tableName}' ${message}`;\n"],"mappings":";;;;;;;;;;;;;;;;AAkBA,MAAM,+BAAe,IAAI,SAGtB;AAEH,MAAM,cACJ,WACA,gBACW;CACX,MAAM,UACJ,aAAa,IAAI,YAAY,WACtB;EACL,MAAM,sBAAM,IAAI,KAAqB;AACrC,eAAa,IAAI,aAAa,IAAI;AAClC,SAAO;KACL;AAEN,QACE,QAAQ,IAAI,UAAU,WACf;EACL,MAAM,UAAU,OAAO,OACrB,aAAa,uBAAuB,WAAW,YAAY,CAC5D;AACD,UAAQ,IAAI,WAAW,QAAQ;AAC/B,SAAO;KACL;;AAIR,MAAa,SAAS,SAAS,KA6B7B,IAKE,MACA,WACA,gBAOA,KACE,MACA,WAAW,WAAW,YAAY,EAClC,OAAO,QAAQ,YAAY,eAAe,eACxC,OAAO,IAAI,aAAa;CACtB,MAAM,sBACJ,OAAO,YAAY,cAAc,YAAY,WAAW;AAE1D,QAAO,OAAO,IAAI,oBAAoB;EACpC;EACA,IAAI,KAAK;EACT,YAAY;EACb,CAAC;EACF,CACH,EACD,OAAO,KACJ,eACC,WAIH,CACF,CACJ;AAID,MAAM,+BAAe,IAAI,SAA6C;AAEtE,MAAM,cAAc,gBAClB,aAAa,IAAI,YAAY,WACtB;CACL,MAAM,UAAU,OAAO,OAAO,YAAY;AAC1C,cAAa,IAAI,aAAa,QAAQ;AACtC,QAAO;IACL;AAEN,MAAa,SAAS,SAAS,KA6B7B,IAKE,MACA,WACA,gBAOA,KACE,MACA,WAAW,YAAY,EACvB,OAAO,QAAQ,YAAY,eAAe,eACxC,OAAO,IAAI,aAAa;CACtB,MAAM,sBACJ,OAAO,YAAY,cAAc,YAAY,WAAW;AAE1D,QAAO,OAAO,IAAI,oBAAoB;EACpC;EACA,IAAI,KAAK;EACT,YAAY;EACb,CAAC;EACF,CACH,EACD,OAAO,KACJ,eACC,WAIH,CACF,CACJ;AAED,IAAa,sBAAb,cAAyC,OAAO,aAAkC,CAChF,uBACA;CACE,WAAW,OAAO;CAClB,IAAI,OAAO;CACX,YAAY,OAAO;CACpB,CACF,CAAC;CACA,IAAa,UAAkB;AAC7B,SAAO,qBAAqB;GAC1B,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS,4BAA4B,KAAK;GAC3C,CAAC;;;AAIN,IAAa,sBAAb,cAAyC,OAAO,aAAkC,CAChF,uBACA;CACE,WAAW,OAAO;CAClB,IAAI,OAAO;CACX,YAAY,OAAO;CACpB,CACF,CAAC;CACA,IAAa,UAAkB;AAC7B,SAAO,qBAAqB;GAC1B,IAAI,KAAK;GACT,WAAW,KAAK;GAChB,SAAS,4BAA4B,KAAK;GAC3C,CAAC;;;AAIN,MAAa,wBAAwB,EACnC,IACA,WACA,cAKI,qBAAqB,GAAG,cAAc,UAAU,IAAI"}

package/dist/FunctionImpl.d.ts

@@ -1,37 +1,38 @@
-import { AnyWithProps, Schema as Schema$1 } from "./Api.js";
-import { WithName } from "./Handler.js";
-import { Context, Layer } from "effect";
-import * as FunctionSpec from "@confect/core/FunctionSpec";
-import * as GroupSpec from "@confect/core/GroupSpec";
-
-//#region src/FunctionImpl.d.ts
-declare namespace FunctionImpl_d_exports {
-  export { ForGroupPathAndFunction, FromGroupAtPath, FromGroupSpec, FunctionImpl, make };
+import type * as FunctionSpec from "@confect/core/FunctionSpec";
+import type * as GroupSpec from "@confect/core/GroupSpec";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+import type * as DatabaseSchema from "./DatabaseSchema";
+import type * as Handler from "./Handler";
+export interface FunctionImpl<FunctionName extends string> {
+    readonly functionName: FunctionName;
 }
-interface FunctionImpl<GroupPath_ extends string, FunctionName extends string> {
-  readonly groupPath: GroupPath_;
-  readonly functionName: FunctionName;
-}
-declare const FunctionImpl: <GroupPath_ extends string, FunctionName extends string>({
-  groupPath,
-  functionName
-}: {
-  groupPath: GroupPath_;
-  functionName: FunctionName;
-}) => Context.Tag<FunctionImpl<GroupPath_, FunctionName>, FunctionImpl<GroupPath_, FunctionName>>;
-declare const make: <Api_ extends AnyWithProps, Group extends GroupSpec.AnyWithProps, const FunctionName extends FunctionSpec.Name<GroupSpec.Functions<Group>>>(api: Api_, group: Group, functionName: FunctionName, handler: WithName<Schema$1<Api_>, GroupSpec.Functions<Group>, FunctionName>) => Layer.Layer<FunctionImpl<string, FunctionName>>;
+export declare const FunctionImpl: <FunctionName extends string>({ functionName, }: {
+    functionName: FunctionName;
+}) => Context.Tag<FunctionImpl<FunctionName>, FunctionImpl<FunctionName>>;
 /**
- * Get the function implementation service type for a specific group path and function name.
+ * Register a single function's implementation into the group's `Registry`.
+ *
+ * The function is registered under a flat, single-segment key (its own
+ * `functionName`), not a project-wide dot-path. Each group's impl layer is
+ * built in isolation — `RegisteredFunctions.buildForGroup` (and the CLI's
+ * `validateImpl`) provide a fresh `Registry` per group — so function names
+ * only need to be unique within their own group.
+ *
+ * `databaseSchema` is retained purely as a type-level carrier: the handler's
+ * ctx-service requirements (`DatabaseReader`, `QueryCtx<DataModel>`, …) are
+ * derived from it via `Handler.WithName`. It is not read at runtime — the
+ * generated per-group registry forwards the schema value to the function
+ * builders — so impls depend on `_generated/schema` (table schemas) rather than
+ * `_generated/api` (which transitively imports every function spec).
  */
-type ForGroupPathAndFunction<GroupPath_ extends string, FunctionName extends string> = FunctionImpl<GroupPath_, FunctionName>;
+export declare const make: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Group extends GroupSpec.AnyWithProps, const FunctionName extends FunctionSpec.Name<GroupSpec.Functions<Group>>>(_databaseSchema: DatabaseSchema_, group: Group, functionName: FunctionName, handler: Handler.WithName<DatabaseSchema_, GroupSpec.Functions<Group>, FunctionName>) => Layer.Layer<FunctionImpl<FunctionName>>;
 /**
- * Get all function implementation services required for a group spec.
+ * Get the function implementation service type for a specific function name.
  */
-type FromGroupSpec<Group extends GroupSpec.AnyWithProps> = FunctionSpec.Name<GroupSpec.Functions<Group>> extends infer FunctionNames extends string ? FunctionNames extends string ? FunctionImpl<string, FunctionNames> : never : never;
+export type ForFunction<FunctionName extends string> = FunctionImpl<FunctionName>;
 /**
- * @deprecated Use {@link FromGroupSpec} instead.
+ * Get all function implementation services required for a group spec.
  */
-type FromGroupAtPath<_GroupPath extends string, Group extends GroupSpec.AnyWithProps> = FromGroupSpec<Group>;
-//#endregion
-export { ForGroupPathAndFunction, FromGroupAtPath, FromGroupSpec, FunctionImpl, FunctionImpl_d_exports, make };
+export type FromGroupSpec<Group extends GroupSpec.AnyWithProps> = FunctionSpec.Name<GroupSpec.Functions<Group>> extends infer FunctionNames extends string ? FunctionNames extends string ? FunctionImpl<FunctionNames> : never : never;
 //# sourceMappingURL=FunctionImpl.d.ts.map

package/dist/FunctionImpl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionImpl.d.ts","names":[],"sources":["../src/FunctionImpl.ts"],"mappings":";;;;;;;;;;UAUiB,YAAA;EAAA,SAIN,SAAA,EAAW,UAAA;EAAA,SACX,YAAA,EAAc,YAAA;AAAA;AAAA,cAGZ,YAAA;EAGX,SAAA;EAAA;AAAA;EAIA,SAAA,EAAW,UAAA;EACX,YAAA,EAAc,YAAA;AAAA,MACf,OAAA,CAAA,GAAA,CAAA,YAAA,CAAA,UAAA,EAAA,YAAA,GAAA,YAAA,CAAA,UAAA,EAAA,YAAA;AAAA,cAKY,IAAA,gBACE,YAAA,gBACC,SAAA,CAAU,YAAA,6BACG,YAAA,CAAa,IAAA,CAAK,SAAA,CAAU,SAAA,CAAU,KAAA,IAEjE,GAAA,EAAK,IAAA,EACL,KAAA,EAAO,KAAA,EACP,YAAA,EAAc,YAAA,EACd,OAAA,EAAS,QAAA,CACP,QAAA,CAAW,IAAA,GACX,SAAA,CAAU,SAAA,CAAU,KAAA,GACpB,YAAA,MAED,KAAA,CAAM,KAAA,CAAM,YAAA,SAAqB,YAAA;;AAnCpC;;KAqEY,uBAAA,2DAGR,YAAA,CAAa,UAAA,EAAY,YAAA;;;;KAKjB,aAAA,eAA4B,SAAA,CAAU,YAAA,IAChD,YAAA,CAAa,IAAA,CACX,SAAA,CAAU,SAAA,CAAU,KAAA,gDAElB,aAAA,kBACE,YAAA,SAAqB,aAAA;;;;KAOjB,eAAA,0CAEI,SAAA,CAAU,YAAA,IACtB,aAAA,CAAc,KAAA"}
+{"version":3,"file":"FunctionImpl.d.ts","sourceRoot":"","sources":["../src/FunctionImpl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,YAAY,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAE1D,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAEtC,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,OAAO,MAAM,WAAW,CAAC;AAI1C,MAAM,WAAW,YAAY,CAAC,YAAY,SAAS,MAAM;IACvD,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;CACrC;AAED,eAAO,MAAM,YAAY,GAAI,YAAY,SAAS,MAAM,EAAE,mBAEvD;IACD,YAAY,EAAE,YAAY,CAAC;CAC5B,wEAGE,CAAC;AAEJ;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,IAAI,GACf,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,KAAK,SAAS,SAAS,CAAC,YAAY,EACpC,KAAK,CAAC,YAAY,SAAS,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAExE,iBAAiB,eAAe,EAChC,OAAO,KAAK,EACZ,cAAc,YAAY,EAC1B,SAAS,OAAO,CAAC,QAAQ,CACvB,eAAe,EACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,EAC1B,YAAY,CACb,KACA,KAAK,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,CAAC,CAsBxC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,WAAW,CAAC,YAAY,SAAS,MAAM,IACjD,YAAY,CAAC,YAAY,CAAC,CAAC;AAE7B;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,SAAS,CAAC,YAAY,IAC5D,YAAY,CAAC,IAAI,CACf,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAC3B,SAAS,MAAM,aAAa,SAAS,MAAM,GACxC,aAAa,SAAS,MAAM,GAC1B,YAAY,CAAC,aAAa,CAAC,GAC3B,KAAK,GACP,KAAK,CAAC"}

package/dist/FunctionImpl.js

@@ -1,32 +1,43 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
-import { resolveGroupPathUnsafe } from "./GroupPath.js";
 import { setNestedProperty } from "./internal/utils.js";
 import { make as make$1 } from "./RegistryItem.js";
-import { Context, Effect, Layer, Ref, String } from "effect";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+import * as Effect from "effect/Effect";
 import * as Registry from "@confect/core/Registry";
+import * as Ref from "effect/Ref";
 
 //#region src/FunctionImpl.ts
 var FunctionImpl_exports = /* @__PURE__ */ __exportAll({
 	FunctionImpl: () => FunctionImpl,
 	make: () => make
 });
-const FunctionImpl = ({ groupPath, functionName }) => Context.GenericTag(`@confect/server/FunctionImpl/${groupPath}/${functionName}`);
-const make = (api, group, functionName, handler) => {
-	const groupPath = resolveGroupPathUnsafe(api.spec, group);
+const FunctionImpl = ({ functionName }) => Context.GenericTag(`@confect/server/FunctionImpl/${functionName}`);
+/**
+* Register a single function's implementation into the group's `Registry`.
+*
+* The function is registered under a flat, single-segment key (its own
+* `functionName`), not a project-wide dot-path. Each group's impl layer is
+* built in isolation — `RegisteredFunctions.buildForGroup` (and the CLI's
+* `validateImpl`) provide a fresh `Registry` per group — so function names
+* only need to be unique within their own group.
+*
+* `databaseSchema` is retained purely as a type-level carrier: the handler's
+* ctx-service requirements (`DatabaseReader`, `QueryCtx<DataModel>`, …) are
+* derived from it via `Handler.WithName`. It is not read at runtime — the
+* generated per-group registry forwards the schema value to the function
+* builders — so impls depend on `_generated/schema` (table schemas) rather than
+* `_generated/api` (which transitively imports every function spec).
+*/
+const make = (_databaseSchema, group, functionName, handler) => {
 	const functionSpec = group.functions[functionName];
-	return Layer.effect(FunctionImpl({
-		groupPath,
-		functionName
-	}), Effect.gen(function* () {
+	return Layer.effect(FunctionImpl({ functionName }), Effect.gen(function* () {
 		const registry = yield* Registry.Registry;
-		yield* Ref.update(registry, (registryItems) => setNestedProperty(registryItems, [...String.split(groupPath, "."), functionName], make$1({
+		yield* Ref.update(registry, (registryItems) => setNestedProperty(registryItems, [functionName], make$1({
 			functionSpec,
 			handler
 		})));
-		return {
-			groupPath,
-			functionName
-		};
+		return { functionName };
 	}));
 };
 

package/dist/FunctionImpl.js.map

@@ -1 +1 @@
-{"version":3,"file":"FunctionImpl.js","names":["RegistryItem.make"],"sources":["../src/FunctionImpl.ts"],"sourcesContent":["import type * as FunctionSpec from \"@confect/core/FunctionSpec\";\nimport type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport * as Registry from \"@confect/core/Registry\";\nimport { Context, Effect, Layer, Ref, String } from \"effect\";\nimport type * as Api from \"./Api\";\nimport { resolveGroupPathUnsafe } from \"./GroupPath\";\nimport type * as Handler from \"./Handler\";\nimport { setNestedProperty } from \"./internal/utils\";\nimport * as RegistryItem from \"./RegistryItem\";\n\nexport interface FunctionImpl<\n  GroupPath_ extends string,\n  FunctionName extends string,\n> {\n  readonly groupPath: GroupPath_;\n  readonly functionName: FunctionName;\n}\n\nexport const FunctionImpl = <\n  GroupPath_ extends string,\n  FunctionName extends string,\n>({\n  groupPath,\n  functionName,\n}: {\n  groupPath: GroupPath_;\n  functionName: FunctionName;\n}) =>\n  Context.GenericTag<FunctionImpl<GroupPath_, FunctionName>>(\n    `@confect/server/FunctionImpl/${groupPath}/${functionName}`,\n  );\n\nexport const make = <\n  Api_ extends Api.AnyWithProps,\n  Group extends GroupSpec.AnyWithProps,\n  const FunctionName extends FunctionSpec.Name<GroupSpec.Functions<Group>>,\n>(\n  api: Api_,\n  group: Group,\n  functionName: FunctionName,\n  handler: Handler.WithName<\n    Api.Schema<Api_>,\n    GroupSpec.Functions<Group>,\n    FunctionName\n  >,\n): Layer.Layer<FunctionImpl<string, FunctionName>> => {\n  const groupPath = resolveGroupPathUnsafe(api.spec, group);\n  const functionSpec = group.functions[functionName]!;\n\n  return Layer.effect(\n    FunctionImpl<string, FunctionName>({\n      groupPath,\n      functionName,\n    }),\n    Effect.gen(function* () {\n      const registry = yield* Registry.Registry;\n\n      yield* Ref.update(registry, (registryItems) =>\n        setNestedProperty(\n          registryItems,\n          [...String.split(groupPath, \".\"), functionName],\n          RegistryItem.make({\n            functionSpec,\n            handler,\n          }),\n        ),\n      );\n\n      return {\n        groupPath,\n        functionName,\n      };\n    }),\n  );\n};\n\n/**\n * Get the function implementation service type for a specific group path and function name.\n */\nexport type ForGroupPathAndFunction<\n  GroupPath_ extends string,\n  FunctionName extends string,\n> = FunctionImpl<GroupPath_, FunctionName>;\n\n/**\n * Get all function implementation services required for a group spec.\n */\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  FunctionSpec.Name<\n    GroupSpec.Functions<Group>\n  > extends infer FunctionNames extends string\n    ? FunctionNames extends string\n      ? FunctionImpl<string, FunctionNames>\n      : never\n    : never;\n\n/**\n * @deprecated Use {@link FromGroupSpec} instead.\n */\nexport type FromGroupAtPath<\n  _GroupPath extends string,\n  Group extends GroupSpec.AnyWithProps,\n> = FromGroupSpec<Group>;\n"],"mappings":";;;;;;;;;;;;AAkBA,MAAa,gBAGX,EACA,WACA,mBAKA,QAAQ,WACN,gCAAgC,UAAU,GAAG,eAC9C;AAEH,MAAa,QAKX,KACA,OACA,cACA,YAKoD;CACpD,MAAM,YAAY,uBAAuB,IAAI,MAAM,MAAM;CACzD,MAAM,eAAe,MAAM,UAAU;AAErC,QAAO,MAAM,OACX,aAAmC;EACjC;EACA;EACD,CAAC,EACF,OAAO,IAAI,aAAa;EACtB,MAAM,WAAW,OAAO,SAAS;AAEjC,SAAO,IAAI,OAAO,WAAW,kBAC3B,kBACE,eACA,CAAC,GAAG,OAAO,MAAM,WAAW,IAAI,EAAE,aAAa,EAC/CA,OAAkB;GAChB;GACA;GACD,CAAC,CACH,CACF;AAED,SAAO;GACL;GACA;GACD;GACD,CACH"}
+{"version":3,"file":"FunctionImpl.js","names":["RegistryItem.make"],"sources":["../src/FunctionImpl.ts"],"sourcesContent":["import type * as FunctionSpec from \"@confect/core/FunctionSpec\";\nimport type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport * as Registry from \"@confect/core/Registry\";\nimport * as Context from \"effect/Context\";\nimport * as Effect from \"effect/Effect\";\nimport * as Layer from \"effect/Layer\";\nimport * as Ref from \"effect/Ref\";\nimport type * as DatabaseSchema from \"./DatabaseSchema\";\nimport type * as Handler from \"./Handler\";\nimport { setNestedProperty } from \"./internal/utils\";\nimport * as RegistryItem from \"./RegistryItem\";\n\nexport interface FunctionImpl<FunctionName extends string> {\n  readonly functionName: FunctionName;\n}\n\nexport const FunctionImpl = <FunctionName extends string>({\n  functionName,\n}: {\n  functionName: FunctionName;\n}) =>\n  Context.GenericTag<FunctionImpl<FunctionName>>(\n    `@confect/server/FunctionImpl/${functionName}`,\n  );\n\n/**\n * Register a single function's implementation into the group's `Registry`.\n *\n * The function is registered under a flat, single-segment key (its own\n * `functionName`), not a project-wide dot-path. Each group's impl layer is\n * built in isolation — `RegisteredFunctions.buildForGroup` (and the CLI's\n * `validateImpl`) provide a fresh `Registry` per group — so function names\n * only need to be unique within their own group.\n *\n * `databaseSchema` is retained purely as a type-level carrier: the handler's\n * ctx-service requirements (`DatabaseReader`, `QueryCtx<DataModel>`, …) are\n * derived from it via `Handler.WithName`. It is not read at runtime — the\n * generated per-group registry forwards the schema value to the function\n * builders — so impls depend on `_generated/schema` (table schemas) rather than\n * `_generated/api` (which transitively imports every function spec).\n */\nexport const make = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Group extends GroupSpec.AnyWithProps,\n  const FunctionName extends FunctionSpec.Name<GroupSpec.Functions<Group>>,\n>(\n  _databaseSchema: DatabaseSchema_,\n  group: Group,\n  functionName: FunctionName,\n  handler: Handler.WithName<\n    DatabaseSchema_,\n    GroupSpec.Functions<Group>,\n    FunctionName\n  >,\n): Layer.Layer<FunctionImpl<FunctionName>> => {\n  const functionSpec = group.functions[functionName]!;\n\n  return Layer.effect(\n    FunctionImpl<FunctionName>({ functionName }),\n    Effect.gen(function* () {\n      const registry = yield* Registry.Registry;\n\n      yield* Ref.update(registry, (registryItems) =>\n        setNestedProperty(\n          registryItems,\n          [functionName],\n          RegistryItem.make({\n            functionSpec,\n            handler,\n          }),\n        ),\n      );\n\n      return { functionName };\n    }),\n  );\n};\n\n/**\n * Get the function implementation service type for a specific function name.\n */\nexport type ForFunction<FunctionName extends string> =\n  FunctionImpl<FunctionName>;\n\n/**\n * Get all function implementation services required for a group spec.\n */\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  FunctionSpec.Name<\n    GroupSpec.Functions<Group>\n  > extends infer FunctionNames extends string\n    ? FunctionNames extends string\n      ? FunctionImpl<FunctionNames>\n      : never\n    : never;\n"],"mappings":";;;;;;;;;;;;;;AAgBA,MAAa,gBAA6C,EACxD,mBAIA,QAAQ,WACN,gCAAgC,eACjC;;;;;;;;;;;;;;;;;AAkBH,MAAa,QAKX,iBACA,OACA,cACA,YAK4C;CAC5C,MAAM,eAAe,MAAM,UAAU;AAErC,QAAO,MAAM,OACX,aAA2B,EAAE,cAAc,CAAC,EAC5C,OAAO,IAAI,aAAa;EACtB,MAAM,WAAW,OAAO,SAAS;AAEjC,SAAO,IAAI,OAAO,WAAW,kBAC3B,kBACE,eACA,CAAC,aAAa,EACdA,OAAkB;GAChB;GACA;GACD,CAAC,CACH,CACF;AAED,SAAO,EAAE,cAAc;GACvB,CACH"}

package/dist/GroupImpl.d.ts

@@ -1,48 +1,54 @@
-import { AnyWithProps } from "./Api.js";
-import { FromGroupSpec as FromGroupSpec$1 } from "./FunctionImpl.js";
-import { Context, Layer } from "effect";
-import * as GroupSpec from "@confect/core/GroupSpec";
-
-//#region src/GroupImpl.d.ts
-declare namespace GroupImpl_d_exports {
-  export { Any, AnyFinalized, AnyUnfinalized, FinalizationStatus, FromGroupSpec, GroupImpl, TypeId, finalize, isFinalizedGroupImpl, isGroupImpl, isUnfinalizedGroupImpl, make };
+import type * as GroupSpec from "@confect/core/GroupSpec";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+import type * as DatabaseSchema from "./DatabaseSchema";
+import type * as FunctionImpl from "./FunctionImpl";
+export declare const TypeId = "@confect/server/GroupImpl";
+export type TypeId = typeof TypeId;
+export type FinalizationStatus = "Unfinalized" | "Finalized";
+export interface GroupImpl<FinalizationStatus_ extends FinalizationStatus = "Unfinalized"> {
+    readonly [TypeId]: TypeId;
+    readonly finalizationStatus: FinalizationStatus_;
+    /**
+     * Names of every function registered into this group's layer scope by
+     * `FunctionImpl.make`. Authoritative only when `finalizationStatus` is
+     * `"Finalized"`; the `"Unfinalized"` value is set to `[]` at `make`-time
+     * since the list is only known once `finalize` snapshots the registry.
+     */
+    readonly registeredFunctionNames: ReadonlyArray<string>;
 }
-declare const TypeId = "@confect/server/GroupImpl";
-type TypeId = typeof TypeId;
-type FinalizationStatus = "Unfinalized" | "Finalized";
-interface GroupImpl<GroupPath_ extends string, FinalizationStatus_ extends FinalizationStatus = "Unfinalized"> {
-  readonly [TypeId]: TypeId;
-  readonly groupPath: GroupPath_;
-  readonly finalizationStatus: FinalizationStatus_;
-  /**
-   * Names of every function registered into this group's layer scope by
-   * `FunctionImpl.make`. Authoritative only when `finalizationStatus` is
-   * `"Finalized"`; the `"Unfinalized"` value is set to `[]` at `make`-time
-   * since the list is only known once `finalize` snapshots the registry.
-   */
-  readonly registeredFunctionNames: ReadonlyArray<string>;
+export interface Any extends GroupImpl<FinalizationStatus> {
 }
-interface Any extends GroupImpl<string, FinalizationStatus> {}
-declare const isGroupImpl: (u: unknown) => u is Any;
-interface AnyFinalized extends GroupImpl<string, "Finalized"> {}
-interface AnyUnfinalized extends GroupImpl<string, "Unfinalized"> {}
-declare const isFinalizedGroupImpl: (u: unknown) => u is AnyFinalized;
-declare const isUnfinalizedGroupImpl: (u: unknown) => u is AnyUnfinalized;
+export declare const isGroupImpl: (u: unknown) => u is Any;
+export interface AnyFinalized extends GroupImpl<"Finalized"> {
+}
+export interface AnyUnfinalized extends GroupImpl<"Unfinalized"> {
+}
+export declare const isFinalizedGroupImpl: (u: unknown) => u is AnyFinalized;
+export declare const isUnfinalizedGroupImpl: (u: unknown) => u is AnyUnfinalized;
 /**
  * Build the runtime tag for a `GroupImpl` service. The finalization status is
  * embedded in the tag string so that `Unfinalized` and `Finalized` are distinct
  * services at runtime; consumers of a finalized layer (the server's
- * `RegisteredFunctions.buildForGroup` and the CLI's `implValidation`) retrieve
+ * `RegisteredFunctions.buildForGroup` and the CLI's `validateImpl`) retrieve
  * the typed `Finalized` service directly rather than scanning the context.
+ *
+ * The tag is keyed only by finalization status — no group path — because each
+ * group's impl layer is built in its own isolated scope (`buildForGroup` /
+ * `validateImpl` each provide a fresh `Registry`), so at most one `GroupImpl`
+ * service of each status exists per build.
+ */
+export declare const GroupImpl: <FinalizationStatus_ extends FinalizationStatus>({ finalizationStatus, }: {
+    finalizationStatus: FinalizationStatus_;
+}) => Context.Tag<GroupImpl<FinalizationStatus_>, GroupImpl<FinalizationStatus_>>;
+/**
+ * Begin a group's impl layer. `databaseSchema` and `group` are retained only as
+ * type-level carriers (`group` drives the required `FunctionImpl` services via
+ * `FromGroupSpec<Group>`; `databaseSchema` keeps the impl's dependency on
+ * `_generated/schema` symmetric with `FunctionImpl.make`). Neither is read at
+ * runtime.
  */
-declare const GroupImpl: <GroupPath_ extends string, FinalizationStatus_ extends FinalizationStatus>({
-  groupPath,
-  finalizationStatus
-}: {
-  groupPath: GroupPath_;
-  finalizationStatus: FinalizationStatus_;
-}) => Context.Tag<GroupImpl<GroupPath_, FinalizationStatus_>, GroupImpl<GroupPath_, FinalizationStatus_>>;
-declare const make: <Api_ extends AnyWithProps, Group extends GroupSpec.AnyWithProps>(api: Api_, group: Group) => Layer.Layer<GroupImpl<string, "Unfinalized">, never, FromGroupSpec$1<Group>>;
+export declare const make: <DatabaseSchema_ extends DatabaseSchema.AnyWithProps, Group extends GroupSpec.AnyWithProps>(_databaseSchema: DatabaseSchema_, _group: Group) => Layer.Layer<GroupImpl<"Unfinalized">, never, FunctionImpl.FromGroupSpec<Group>>;
 /**
  * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults
  * `RIn = never`, so passing a layer that still requires any `FunctionImpl`
@@ -56,8 +62,6 @@ declare const make: <Api_ extends AnyWithProps, Group extends GroupSpec.AnyWithP
  * impl completeness against a `GroupSpec`'s expected functions without
  * having to inspect the `Registry` themselves.
  */
-declare const finalize: <GroupPath_ extends string>(group: Layer.Layer<GroupImpl<GroupPath_, "Unfinalized">>) => Layer.Layer<GroupImpl<GroupPath_, "Finalized">>;
-type FromGroupSpec<Group extends GroupSpec.AnyWithProps> = FromGroupSpec$1<Group>;
-//#endregion
-export { Any, AnyFinalized, AnyUnfinalized, FinalizationStatus, FromGroupSpec, GroupImpl, GroupImpl_d_exports, TypeId, finalize, isFinalizedGroupImpl, isGroupImpl, isUnfinalizedGroupImpl, make };
+export declare const finalize: (group: Layer.Layer<GroupImpl<"Unfinalized">>) => Layer.Layer<GroupImpl<"Finalized">>;
+export type FromGroupSpec<Group extends GroupSpec.AnyWithProps> = FunctionImpl.FromGroupSpec<Group>;
 //# sourceMappingURL=GroupImpl.d.ts.map

package/dist/GroupImpl.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"GroupImpl.d.ts","names":[],"sources":["../src/GroupImpl.ts"],"mappings":";;;;;;;;;cAkBa,MAAA;AAAA,KACD,MAAA,UAAgB,MAAA;AAAA,KAEhB,kBAAA;AAAA,UAEK,SAAA,wDAEa,kBAAA;EAAA,UAElB,MAAA,GAAS,MAAA;EAAA,SACV,SAAA,EAAW,UAAA;EAAA,SACX,kBAAA,EAAoB,mBAAA;;;;;;;WAOpB,uBAAA,EAAyB,aAAA;AAAA;AAAA,UAGnB,GAAA,SAAY,SAAA,SAAkB,kBAAA;AAAA,cAElC,WAAA,GAAe,CAAA,cAAa,CAAA,IAAK,GAAA;AAAA,UAG7B,YAAA,SAAqB,SAAA;AAAA,UACrB,cAAA,SAAuB,SAAA;AAAA,cAE3B,oBAAA,GAAwB,CAAA,cAAa,CAAA,IAAK,YAAA;AAAA,cAG1C,sBAAA,GAA0B,CAAA,cAAa,CAAA,IAAK,cAAA;;;;AA7BzD;;;;cAuCa,SAAA,0DAEiB,kBAAA;EAC5B,SAAA;EAAA;AAAA;EAIA,SAAA,EAAW,UAAA;EACX,kBAAA,EAAoB,mBAAA;AAAA,MACrB,OAAA,CAAA,GAAA,CAAA,SAAA,CAAA,UAAA,EAAA,mBAAA,GAAA,SAAA,CAAA,UAAA,EAAA,mBAAA;AAAA,cAKY,IAAA,gBACE,YAAA,gBACC,SAAA,CAAU,YAAA,EAExB,GAAA,EAAK,IAAA,EACL,KAAA,EAAO,KAAA,KACN,KAAA,CAAM,KAAA,CACP,SAAA,gCAEA,eAAA,CAA2B,KAAA;;;;;;;;;;;;;;cAuEhB,QAAA,8BACX,KAAA,EAAO,KAAA,CAAM,KAAA,CAAM,SAAA,CAAU,UAAA,sBAC5B,KAAA,CAAM,KAAA,CAAM,SAAA,CAAU,UAAA;AAAA,KAsCb,aAAA,eAA4B,SAAA,CAAU,YAAA,IAChD,eAAA,CAA2B,KAAA"}
+{"version":3,"file":"GroupImpl.d.ts","sourceRoot":"","sources":["../src/GroupImpl.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,KAAK,SAAS,MAAM,yBAAyB,CAAC;AAI1D,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAE1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AAKtC,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAEpD,eAAO,MAAM,MAAM,8BAA8B,CAAC;AAClD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,MAAM,MAAM,kBAAkB,GAAG,aAAa,GAAG,WAAW,CAAC;AAE7D,MAAM,WAAW,SAAS,CACxB,mBAAmB,SAAS,kBAAkB,GAAG,aAAa;IAE9D,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,mBAAmB,CAAC;IACjD;;;;;OAKG;IACH,QAAQ,CAAC,uBAAuB,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,GAAI,SAAQ,SAAS,CAAC,kBAAkB,CAAC;CAAG;AAE7D,eAAO,MAAM,WAAW,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,GACZ,CAAC;AAEnC,MAAM,WAAW,YAAa,SAAQ,SAAS,CAAC,WAAW,CAAC;CAAG;AAC/D,MAAM,WAAW,cAAe,SAAQ,SAAS,CAAC,aAAa,CAAC;CAAG;AAEnE,eAAO,MAAM,oBAAoB,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,YACC,CAAC;AAEzD,eAAO,MAAM,sBAAsB,GAAI,GAAG,OAAO,KAAG,CAAC,IAAI,cACC,CAAC;AAE3D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,SAAS,GAAI,mBAAmB,SAAS,kBAAkB,EAAE,yBAEvE;IACD,kBAAkB,EAAE,mBAAmB,CAAC;CACzC,gFAGE,CAAC;AAEJ;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GACf,eAAe,SAAS,cAAc,CAAC,YAAY,EACnD,KAAK,SAAS,SAAS,CAAC,YAAY,EAEpC,iBAAiB,eAAe,EAChC,QAAQ,KAAK,KACZ,KAAK,CAAC,KAAK,CACZ,SAAS,CAAC,aAAa,CAAC,EACxB,KAAK,EACL,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,CAahC,CAAC;AA0BJ;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,QAAQ,GACnB,OAAO,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,KAC3C,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CA2BlC,CAAC;AAEJ,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,SAAS,CAAC,YAAY,IAC5D,YAAY,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC"}

package/dist/GroupImpl.js

@@ -1,7 +1,14 @@
 import { __exportAll } from "./_virtual/_rolldown/runtime.js";
-import { resolveGroupPathUnsafe } from "./GroupPath.js";
-import { Array, Context, Effect, Layer, Option, Predicate, Record, Ref, String, pipe } from "effect";
+import * as Context from "effect/Context";
+import * as Layer from "effect/Layer";
+import { pipe } from "effect/Function";
+import * as Effect from "effect/Effect";
+import * as Option from "effect/Option";
+import * as Array from "effect/Array";
+import * as Predicate from "effect/Predicate";
+import * as Record from "effect/Record";
 import * as Registry from "@confect/core/Registry";
+import * as Ref from "effect/Ref";
 
 //#region src/GroupImpl.ts
 var GroupImpl_exports = /* @__PURE__ */ __exportAll({
@@ -21,28 +28,35 @@ const isUnfinalizedGroupImpl = (u) => isGroupImpl(u) && u.finalizationStatus ===
 * Build the runtime tag for a `GroupImpl` service. The finalization status is
 * embedded in the tag string so that `Unfinalized` and `Finalized` are distinct
 * services at runtime; consumers of a finalized layer (the server's
-* `RegisteredFunctions.buildForGroup` and the CLI's `implValidation`) retrieve
+* `RegisteredFunctions.buildForGroup` and the CLI's `validateImpl`) retrieve
 * the typed `Finalized` service directly rather than scanning the context.
+*
+* The tag is keyed only by finalization status — no group path — because each
+* group's impl layer is built in its own isolated scope (`buildForGroup` /
+* `validateImpl` each provide a fresh `Registry`), so at most one `GroupImpl`
+* service of each status exists per build.
+*/
+const GroupImpl = ({ finalizationStatus }) => Context.GenericTag(`@confect/server/GroupImpl/${finalizationStatus}`);
+/**
+* Begin a group's impl layer. `databaseSchema` and `group` are retained only as
+* type-level carriers (`group` drives the required `FunctionImpl` services via
+* `FromGroupSpec<Group>`; `databaseSchema` keeps the impl's dependency on
+* `_generated/schema` symmetric with `FunctionImpl.make`). Neither is read at
+* runtime.
 */
-const GroupImpl = ({ groupPath, finalizationStatus }) => Context.GenericTag(`@confect/server/GroupImpl/${finalizationStatus}/${groupPath}`);
-const make = (api, group) => {
-	const groupPath = resolveGroupPathUnsafe(api.spec, group);
-	return Layer.succeed(GroupImpl({
-		groupPath,
-		finalizationStatus: "Unfinalized"
-	}), {
-		[TypeId]: TypeId,
-		groupPath,
-		finalizationStatus: "Unfinalized",
-		registeredFunctionNames: []
-	});
-};
+const make = (_databaseSchema, _group) => Layer.succeed(GroupImpl({ finalizationStatus: "Unfinalized" }), {
+	[TypeId]: TypeId,
+	finalizationStatus: "Unfinalized",
+	registeredFunctionNames: []
+});
 const isFunctionShaped = (value) => Predicate.isRecord(value) && "functionSpec" in value;
 /**
-* Walk a `RegistryItems` tree to the entries at `groupPath` and return the
-* names of the function-shaped leaves directly underneath.
+* Return the names of the function-shaped entries in a group's (flat,
+* isolated) registry. `FunctionImpl.make` registers each function under a
+* single-segment key, so the registry built for one group contains exactly
+* that group's functions at the top level.
 */
-const collectFunctionNamesAtPath = (items, groupPath) => pipe(String.split(groupPath, "."), Array.reduce(Option.some(items), (acc, segment) => acc.pipe(Option.filter(Predicate.isRecord), Option.flatMap((node) => segment in node ? Option.some(node[segment]) : Option.none()))), Option.filter(Predicate.isRecord), Option.map(Record.toEntries), Option.map(Array.filterMap(([name, value]) => isFunctionShaped(value) ? Option.some(name) : Option.none())), Option.getOrElse(() => []));
+const collectFunctionNames = (items) => pipe(Record.toEntries(items), Array.filterMap(([name, value]) => isFunctionShaped(value) ? Option.some(name) : Option.none()));
 const findUnfinalizedGroupImpl = (context) => Array.findFirst(context.unsafeMap.values(), isUnfinalizedGroupImpl);
 /**
 * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults
@@ -59,22 +73,15 @@ const findUnfinalizedGroupImpl = (context) => Array.findFirst(context.unsafeMap.
 */
 const finalize = (group) => Layer.flatMap(group, (context) => findUnfinalizedGroupImpl(context).pipe(Option.match({
 	onNone: () => Layer.die(/* @__PURE__ */ new Error("GroupImpl.finalize: no Unfinalized GroupImpl service was found in the layer's context.")),
-	onSome: (unfinalized) => {
-		const groupPath = unfinalized.groupPath;
-		return Layer.effect(GroupImpl({
-			groupPath,
-			finalizationStatus: "Finalized"
-		}), Effect.gen(function* () {
-			const registry = yield* Registry.Registry;
-			const items = yield* Ref.get(registry);
-			return {
-				[TypeId]: TypeId,
-				groupPath,
-				finalizationStatus: "Finalized",
-				registeredFunctionNames: collectFunctionNamesAtPath(items, groupPath)
-			};
-		}));
-	}
+	onSome: () => Layer.effect(GroupImpl({ finalizationStatus: "Finalized" }), Effect.gen(function* () {
+		const registry = yield* Registry.Registry;
+		const items = yield* Ref.get(registry);
+		return {
+			[TypeId]: TypeId,
+			finalizationStatus: "Finalized",
+			registeredFunctionNames: collectFunctionNames(items)
+		};
+	}))
 })));
 
 //#endregion

package/dist/GroupImpl.js.map

@@ -1 +1 @@
-{"version":3,"file":"GroupImpl.js","names":[],"sources":["../src/GroupImpl.ts"],"sourcesContent":["import type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport * as Registry from \"@confect/core/Registry\";\nimport {\n  Array,\n  Context,\n  Effect,\n  Layer,\n  Option,\n  pipe,\n  Predicate,\n  Record,\n  Ref,\n  String,\n} from \"effect\";\nimport type * as Api from \"./Api\";\nimport type * as FunctionImpl from \"./FunctionImpl\";\nimport { resolveGroupPathUnsafe } from \"./GroupPath\";\n\nexport const TypeId = \"@confect/server/GroupImpl\";\nexport type TypeId = typeof TypeId;\n\nexport type FinalizationStatus = \"Unfinalized\" | \"Finalized\";\n\nexport interface GroupImpl<\n  GroupPath_ extends string,\n  FinalizationStatus_ extends FinalizationStatus = \"Unfinalized\",\n> {\n  readonly [TypeId]: TypeId;\n  readonly groupPath: GroupPath_;\n  readonly finalizationStatus: FinalizationStatus_;\n  /**\n   * Names of every function registered into this group's layer scope by\n   * `FunctionImpl.make`. Authoritative only when `finalizationStatus` is\n   * `\"Finalized\"`; the `\"Unfinalized\"` value is set to `[]` at `make`-time\n   * since the list is only known once `finalize` snapshots the registry.\n   */\n  readonly registeredFunctionNames: ReadonlyArray<string>;\n}\n\nexport interface Any extends GroupImpl<string, FinalizationStatus> {}\n\nexport const isGroupImpl = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface AnyFinalized extends GroupImpl<string, \"Finalized\"> {}\nexport interface AnyUnfinalized extends GroupImpl<string, \"Unfinalized\"> {}\n\nexport const isFinalizedGroupImpl = (u: unknown): u is AnyFinalized =>\n  isGroupImpl(u) && u.finalizationStatus === \"Finalized\";\n\nexport const isUnfinalizedGroupImpl = (u: unknown): u is AnyUnfinalized =>\n  isGroupImpl(u) && u.finalizationStatus === \"Unfinalized\";\n\n/**\n * Build the runtime tag for a `GroupImpl` service. The finalization status is\n * embedded in the tag string so that `Unfinalized` and `Finalized` are distinct\n * services at runtime; consumers of a finalized layer (the server's\n * `RegisteredFunctions.buildForGroup` and the CLI's `implValidation`) retrieve\n * the typed `Finalized` service directly rather than scanning the context.\n */\nexport const GroupImpl = <\n  GroupPath_ extends string,\n  FinalizationStatus_ extends FinalizationStatus,\n>({\n  groupPath,\n  finalizationStatus,\n}: {\n  groupPath: GroupPath_;\n  finalizationStatus: FinalizationStatus_;\n}) =>\n  Context.GenericTag<GroupImpl<GroupPath_, FinalizationStatus_>>(\n    `@confect/server/GroupImpl/${finalizationStatus}/${groupPath}`,\n  );\n\nexport const make = <\n  Api_ extends Api.AnyWithProps,\n  Group extends GroupSpec.AnyWithProps,\n>(\n  api: Api_,\n  group: Group,\n): Layer.Layer<\n  GroupImpl<string, \"Unfinalized\">,\n  never,\n  FunctionImpl.FromGroupSpec<Group>\n> => {\n  const groupPath = resolveGroupPathUnsafe(api.spec, group);\n\n  return Layer.succeed(\n    GroupImpl<string, \"Unfinalized\">({\n      groupPath,\n      finalizationStatus: \"Unfinalized\",\n    }),\n    {\n      [TypeId]: TypeId,\n      groupPath,\n      finalizationStatus: \"Unfinalized\" as const,\n      registeredFunctionNames: [],\n    },\n  ) as Layer.Layer<\n    GroupImpl<string, \"Unfinalized\">,\n    never,\n    FunctionImpl.FromGroupSpec<Group>\n  >;\n};\n\nconst isFunctionShaped = (value: unknown): boolean =>\n  Predicate.isRecord(value) && \"functionSpec\" in value;\n\n/**\n * Walk a `RegistryItems` tree to the entries at `groupPath` and return the\n * names of the function-shaped leaves directly underneath.\n */\nconst collectFunctionNamesAtPath = (\n  items: Registry.RegistryItems,\n  groupPath: string,\n): ReadonlyArray<string> =>\n  pipe(\n    String.split(groupPath, \".\"),\n    Array.reduce(Option.some<unknown>(items), (acc, segment) =>\n      acc.pipe(\n        Option.filter(Predicate.isRecord),\n        Option.flatMap((node) =>\n          segment in node ? Option.some(node[segment]) : Option.none(),\n        ),\n      ),\n    ),\n    Option.filter(Predicate.isRecord),\n    Option.map(Record.toEntries),\n    Option.map(\n      Array.filterMap(([name, value]) =>\n        isFunctionShaped(value) ? Option.some(name) : Option.none(),\n      ),\n    ),\n    Option.getOrElse((): ReadonlyArray<string> => []),\n  );\n\nconst findUnfinalizedGroupImpl = <S>(\n  context: Context.Context<S>,\n): Option.Option<AnyUnfinalized> =>\n  Array.findFirst(context.unsafeMap.values(), isUnfinalizedGroupImpl);\n\n/**\n * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults\n * `RIn = never`, so passing a layer that still requires any `FunctionImpl`\n * service produces a type error at the impl author's site. The codegen\n * boundary requires the resulting `\"Finalized\"` brand, so omitting this call\n * is also rejected downstream.\n *\n * As a side effect of finalization, the names of every `FunctionImpl` that\n * registered into this group's scope are snapshotted onto the produced\n * service value's `registeredFunctionNames` field, so consumers can verify\n * impl completeness against a `GroupSpec`'s expected functions without\n * having to inspect the `Registry` themselves.\n */\nexport const finalize = <GroupPath_ extends string>(\n  group: Layer.Layer<GroupImpl<GroupPath_, \"Unfinalized\">>,\n): Layer.Layer<GroupImpl<GroupPath_, \"Finalized\">> =>\n  Layer.flatMap(\n    group,\n    (context): Layer.Layer<GroupImpl<GroupPath_, \"Finalized\">> =>\n      findUnfinalizedGroupImpl(context).pipe(\n        Option.match({\n          onNone: () =>\n            Layer.die(\n              new Error(\n                \"GroupImpl.finalize: no Unfinalized GroupImpl service was found in the layer's context.\",\n              ),\n            ),\n          onSome: (unfinalized) => {\n            const groupPath = unfinalized.groupPath as GroupPath_;\n            return Layer.effect(\n              GroupImpl<GroupPath_, \"Finalized\">({\n                groupPath,\n                finalizationStatus: \"Finalized\",\n              }),\n              Effect.gen(function* () {\n                const registry = yield* Registry.Registry;\n                const items = yield* Ref.get(registry);\n                return {\n                  [TypeId]: TypeId,\n                  groupPath,\n                  finalizationStatus: \"Finalized\" as const,\n                  registeredFunctionNames: collectFunctionNamesAtPath(\n                    items,\n                    groupPath,\n                  ),\n                };\n              }),\n            );\n          },\n        }),\n      ),\n  );\n\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  FunctionImpl.FromGroupSpec<Group>;\n"],"mappings":";;;;;;;;;;;;;;;AAkBA,MAAa,SAAS;AAuBtB,MAAa,eAAe,MAC1B,UAAU,YAAY,GAAG,OAAO;AAKlC,MAAa,wBAAwB,MACnC,YAAY,EAAE,IAAI,EAAE,uBAAuB;AAE7C,MAAa,0BAA0B,MACrC,YAAY,EAAE,IAAI,EAAE,uBAAuB;;;;;;;;AAS7C,MAAa,aAGX,EACA,WACA,yBAKA,QAAQ,WACN,6BAA6B,mBAAmB,GAAG,YACpD;AAEH,MAAa,QAIX,KACA,UAKG;CACH,MAAM,YAAY,uBAAuB,IAAI,MAAM,MAAM;AAEzD,QAAO,MAAM,QACX,UAAiC;EAC/B;EACA,oBAAoB;EACrB,CAAC,EACF;GACG,SAAS;EACV;EACA,oBAAoB;EACpB,yBAAyB,EAAE;EAC5B,CACF;;AAOH,MAAM,oBAAoB,UACxB,UAAU,SAAS,MAAM,IAAI,kBAAkB;;;;;AAMjD,MAAM,8BACJ,OACA,cAEA,KACE,OAAO,MAAM,WAAW,IAAI,EAC5B,MAAM,OAAO,OAAO,KAAc,MAAM,GAAG,KAAK,YAC9C,IAAI,KACF,OAAO,OAAO,UAAU,SAAS,EACjC,OAAO,SAAS,SACd,WAAW,OAAO,OAAO,KAAK,KAAK,SAAS,GAAG,OAAO,MAAM,CAC7D,CACF,CACF,EACD,OAAO,OAAO,UAAU,SAAS,EACjC,OAAO,IAAI,OAAO,UAAU,EAC5B,OAAO,IACL,MAAM,WAAW,CAAC,MAAM,WACtB,iBAAiB,MAAM,GAAG,OAAO,KAAK,KAAK,GAAG,OAAO,MAAM,CAC5D,CACF,EACD,OAAO,gBAAuC,EAAE,CAAC,CAClD;AAEH,MAAM,4BACJ,YAEA,MAAM,UAAU,QAAQ,UAAU,QAAQ,EAAE,uBAAuB;;;;;;;;;;;;;;AAerE,MAAa,YACX,UAEA,MAAM,QACJ,QACC,YACC,yBAAyB,QAAQ,CAAC,KAChC,OAAO,MAAM;CACX,cACE,MAAM,oBACJ,IAAI,MACF,yFACD,CACF;CACH,SAAS,gBAAgB;EACvB,MAAM,YAAY,YAAY;AAC9B,SAAO,MAAM,OACX,UAAmC;GACjC;GACA,oBAAoB;GACrB,CAAC,EACF,OAAO,IAAI,aAAa;GACtB,MAAM,WAAW,OAAO,SAAS;GACjC,MAAM,QAAQ,OAAO,IAAI,IAAI,SAAS;AACtC,UAAO;KACJ,SAAS;IACV;IACA,oBAAoB;IACpB,yBAAyB,2BACvB,OACA,UACD;IACF;IACD,CACH;;CAEJ,CAAC,CACH,CACJ"}
+{"version":3,"file":"GroupImpl.js","names":[],"sources":["../src/GroupImpl.ts"],"sourcesContent":["import type * as GroupSpec from \"@confect/core/GroupSpec\";\nimport * as Registry from \"@confect/core/Registry\";\nimport { pipe } from \"effect/Function\";\nimport * as Array from \"effect/Array\";\nimport * as Context from \"effect/Context\";\nimport * as Effect from \"effect/Effect\";\nimport * as Layer from \"effect/Layer\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Ref from \"effect/Ref\";\nimport type * as DatabaseSchema from \"./DatabaseSchema\";\nimport type * as FunctionImpl from \"./FunctionImpl\";\n\nexport const TypeId = \"@confect/server/GroupImpl\";\nexport type TypeId = typeof TypeId;\n\nexport type FinalizationStatus = \"Unfinalized\" | \"Finalized\";\n\nexport interface GroupImpl<\n  FinalizationStatus_ extends FinalizationStatus = \"Unfinalized\",\n> {\n  readonly [TypeId]: TypeId;\n  readonly finalizationStatus: FinalizationStatus_;\n  /**\n   * Names of every function registered into this group's layer scope by\n   * `FunctionImpl.make`. Authoritative only when `finalizationStatus` is\n   * `\"Finalized\"`; the `\"Unfinalized\"` value is set to `[]` at `make`-time\n   * since the list is only known once `finalize` snapshots the registry.\n   */\n  readonly registeredFunctionNames: ReadonlyArray<string>;\n}\n\nexport interface Any extends GroupImpl<FinalizationStatus> {}\n\nexport const isGroupImpl = (u: unknown): u is Any =>\n  Predicate.hasProperty(u, TypeId);\n\nexport interface AnyFinalized extends GroupImpl<\"Finalized\"> {}\nexport interface AnyUnfinalized extends GroupImpl<\"Unfinalized\"> {}\n\nexport const isFinalizedGroupImpl = (u: unknown): u is AnyFinalized =>\n  isGroupImpl(u) && u.finalizationStatus === \"Finalized\";\n\nexport const isUnfinalizedGroupImpl = (u: unknown): u is AnyUnfinalized =>\n  isGroupImpl(u) && u.finalizationStatus === \"Unfinalized\";\n\n/**\n * Build the runtime tag for a `GroupImpl` service. The finalization status is\n * embedded in the tag string so that `Unfinalized` and `Finalized` are distinct\n * services at runtime; consumers of a finalized layer (the server's\n * `RegisteredFunctions.buildForGroup` and the CLI's `validateImpl`) retrieve\n * the typed `Finalized` service directly rather than scanning the context.\n *\n * The tag is keyed only by finalization status — no group path — because each\n * group's impl layer is built in its own isolated scope (`buildForGroup` /\n * `validateImpl` each provide a fresh `Registry`), so at most one `GroupImpl`\n * service of each status exists per build.\n */\nexport const GroupImpl = <FinalizationStatus_ extends FinalizationStatus>({\n  finalizationStatus,\n}: {\n  finalizationStatus: FinalizationStatus_;\n}) =>\n  Context.GenericTag<GroupImpl<FinalizationStatus_>>(\n    `@confect/server/GroupImpl/${finalizationStatus}`,\n  );\n\n/**\n * Begin a group's impl layer. `databaseSchema` and `group` are retained only as\n * type-level carriers (`group` drives the required `FunctionImpl` services via\n * `FromGroupSpec<Group>`; `databaseSchema` keeps the impl's dependency on\n * `_generated/schema` symmetric with `FunctionImpl.make`). Neither is read at\n * runtime.\n */\nexport const make = <\n  DatabaseSchema_ extends DatabaseSchema.AnyWithProps,\n  Group extends GroupSpec.AnyWithProps,\n>(\n  _databaseSchema: DatabaseSchema_,\n  _group: Group,\n): Layer.Layer<\n  GroupImpl<\"Unfinalized\">,\n  never,\n  FunctionImpl.FromGroupSpec<Group>\n> =>\n  Layer.succeed(\n    GroupImpl<\"Unfinalized\">({ finalizationStatus: \"Unfinalized\" }),\n    {\n      [TypeId]: TypeId,\n      finalizationStatus: \"Unfinalized\" as const,\n      registeredFunctionNames: [],\n    },\n  ) as Layer.Layer<\n    GroupImpl<\"Unfinalized\">,\n    never,\n    FunctionImpl.FromGroupSpec<Group>\n  >;\n\nconst isFunctionShaped = (value: unknown): boolean =>\n  Predicate.isRecord(value) && \"functionSpec\" in value;\n\n/**\n * Return the names of the function-shaped entries in a group's (flat,\n * isolated) registry. `FunctionImpl.make` registers each function under a\n * single-segment key, so the registry built for one group contains exactly\n * that group's functions at the top level.\n */\nconst collectFunctionNames = (\n  items: Registry.RegistryItems,\n): ReadonlyArray<string> =>\n  pipe(\n    Record.toEntries(items),\n    Array.filterMap(([name, value]) =>\n      isFunctionShaped(value) ? Option.some(name) : Option.none(),\n    ),\n  );\n\nconst findUnfinalizedGroupImpl = <S>(\n  context: Context.Context<S>,\n): Option.Option<AnyUnfinalized> =>\n  Array.findFirst(context.unsafeMap.values(), isUnfinalizedGroupImpl);\n\n/**\n * Mark a `GroupImpl` layer as fully implemented. The parameter type defaults\n * `RIn = never`, so passing a layer that still requires any `FunctionImpl`\n * service produces a type error at the impl author's site. The codegen\n * boundary requires the resulting `\"Finalized\"` brand, so omitting this call\n * is also rejected downstream.\n *\n * As a side effect of finalization, the names of every `FunctionImpl` that\n * registered into this group's scope are snapshotted onto the produced\n * service value's `registeredFunctionNames` field, so consumers can verify\n * impl completeness against a `GroupSpec`'s expected functions without\n * having to inspect the `Registry` themselves.\n */\nexport const finalize = (\n  group: Layer.Layer<GroupImpl<\"Unfinalized\">>,\n): Layer.Layer<GroupImpl<\"Finalized\">> =>\n  Layer.flatMap(\n    group,\n    (context): Layer.Layer<GroupImpl<\"Finalized\">> =>\n      findUnfinalizedGroupImpl(context).pipe(\n        Option.match({\n          onNone: () =>\n            Layer.die(\n              new Error(\n                \"GroupImpl.finalize: no Unfinalized GroupImpl service was found in the layer's context.\",\n              ),\n            ),\n          onSome: () =>\n            Layer.effect(\n              GroupImpl<\"Finalized\">({ finalizationStatus: \"Finalized\" }),\n              Effect.gen(function* () {\n                const registry = yield* Registry.Registry;\n                const items = yield* Ref.get(registry);\n                return {\n                  [TypeId]: TypeId,\n                  finalizationStatus: \"Finalized\" as const,\n                  registeredFunctionNames: collectFunctionNames(items),\n                };\n              }),\n            ),\n        }),\n      ),\n  );\n\nexport type FromGroupSpec<Group extends GroupSpec.AnyWithProps> =\n  FunctionImpl.FromGroupSpec<Group>;\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;AAcA,MAAa,SAAS;AAqBtB,MAAa,eAAe,MAC1B,UAAU,YAAY,GAAG,OAAO;AAKlC,MAAa,wBAAwB,MACnC,YAAY,EAAE,IAAI,EAAE,uBAAuB;AAE7C,MAAa,0BAA0B,MACrC,YAAY,EAAE,IAAI,EAAE,uBAAuB;;;;;;;;;;;;;AAc7C,MAAa,aAA6D,EACxE,yBAIA,QAAQ,WACN,6BAA6B,qBAC9B;;;;;;;;AASH,MAAa,QAIX,iBACA,WAMA,MAAM,QACJ,UAAyB,EAAE,oBAAoB,eAAe,CAAC,EAC/D;EACG,SAAS;CACV,oBAAoB;CACpB,yBAAyB,EAAE;CAC5B,CACF;AAMH,MAAM,oBAAoB,UACxB,UAAU,SAAS,MAAM,IAAI,kBAAkB;;;;;;;AAQjD,MAAM,wBACJ,UAEA,KACE,OAAO,UAAU,MAAM,EACvB,MAAM,WAAW,CAAC,MAAM,WACtB,iBAAiB,MAAM,GAAG,OAAO,KAAK,KAAK,GAAG,OAAO,MAAM,CAC5D,CACF;AAEH,MAAM,4BACJ,YAEA,MAAM,UAAU,QAAQ,UAAU,QAAQ,EAAE,uBAAuB;;;;;;;;;;;;;;AAerE,MAAa,YACX,UAEA,MAAM,QACJ,QACC,YACC,yBAAyB,QAAQ,CAAC,KAChC,OAAO,MAAM;CACX,cACE,MAAM,oBACJ,IAAI,MACF,yFACD,CACF;CACH,cACE,MAAM,OACJ,UAAuB,EAAE,oBAAoB,aAAa,CAAC,EAC3D,OAAO,IAAI,aAAa;EACtB,MAAM,WAAW,OAAO,SAAS;EACjC,MAAM,QAAQ,OAAO,IAAI,IAAI,SAAS;AACtC,SAAO;IACJ,SAAS;GACV,oBAAoB;GACpB,yBAAyB,qBAAqB,MAAM;GACrD;GACD,CACH;CACJ,CAAC,CACH,CACJ"}