@confect/core 10.0.0-next.9 → 10.0.0

package/dist/Identifier.js.map

@@ -1 +1 @@
-{"version":3,"file":"Identifier.js","names":[],"sources":["../src/Identifier.ts"],"sourcesContent":["const RESERVED_JS_IDENTIFIERS = new Set([\n  // Reserved keywords\n  \"break\",\n  \"case\",\n  \"catch\",\n  \"class\",\n  \"const\",\n  \"continue\",\n  \"debugger\",\n  \"default\",\n  \"delete\",\n  \"do\",\n  \"else\",\n  \"export\",\n  \"extends\",\n  \"finally\",\n  \"for\",\n  \"function\",\n  \"if\",\n  \"import\",\n  \"in\",\n  \"instanceof\",\n  \"new\",\n  \"return\",\n  \"super\",\n  \"switch\",\n  \"this\",\n  \"throw\",\n  \"try\",\n  \"typeof\",\n  \"var\",\n  \"void\",\n  \"while\",\n  \"with\",\n  \"yield\",\n  // Future reserved keywords\n  \"await\",\n  \"enum\",\n  \"implements\",\n  \"interface\",\n  \"let\",\n  \"package\",\n  \"private\",\n  \"protected\",\n  \"public\",\n  \"static\",\n  // Literal values that cannot be reassigned\n  \"null\",\n  \"true\",\n  \"false\",\n  // Global objects that shouldn't be shadowed\n  \"undefined\",\n]);\n\nconst RESERVED_CONVEX_FILE_NAMES = new Set([\"schema\", \"http\", \"crons\"]);\n\nconst jsIdentifierRegex = /^[a-zA-Z_$][a-zA-Z0-9_$]*$/;\n\n// Stricter than `jsIdentifierRegex`: tables cannot start with `_` (Convex\n// reserves leading underscores for system tables) or `$` (Convex's table\n// naming grammar does not accept it). Letters/digits/underscore only,\n// letter-leading.\nconst tableNameRegex = /^[a-zA-Z][a-zA-Z0-9_]*$/;\n\nconst isReservedJsIdentifier = (identifier: string) =>\n  RESERVED_JS_IDENTIFIERS.has(identifier);\n\nconst isReservedConvexFileName = (fileName: string) =>\n  RESERVED_CONVEX_FILE_NAMES.has(fileName);\n\nconst matchesJsIdentifierPattern = (identifier: string) =>\n  jsIdentifierRegex.test(identifier);\n\nconst matchesTableNamePattern = (identifier: string) =>\n  tableNameRegex.test(identifier);\n\nexport const validateConfectFunctionIdentifier = (identifier: string) => {\n  if (!matchesJsIdentifierPattern(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". Valid identifiers must start with a letter, underscore, or dollar sign, and can only contain letters, numbers, underscores, or dollar signs.`,\n    );\n  }\n\n  if (isReservedJsIdentifier(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". \"${identifier}\" is a reserved JavaScript identifier.`,\n    );\n  }\n\n  if (isReservedConvexFileName(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". \"${identifier}\" is a reserved Convex file name.`,\n    );\n  }\n};\n\n/**\n * Validate that `identifier` is suitable as a Convex table name (and, equivalently,\n * as a `confect/tables/<identifier>.ts` filename).\n *\n * Rules:\n * - Must match `/^[A-Za-z][A-Za-z0-9_]*$/` — letter-leading, alphanumeric plus\n *   underscore. No `$` (not a valid Convex table name character); no leading\n *   `_` (Convex reserves `_<name>` for its system tables).\n * - Must not be a reserved JavaScript identifier, so the name can also be used\n *   as a binding name in generated code without escaping.\n */\nexport const validateConfectTableIdentifier = (identifier: string) => {\n  if (!matchesTableNamePattern(identifier)) {\n    throw new Error(\n      `Expected a valid Confect table identifier, but received: \"${identifier}\". Valid table identifiers must start with a letter and can only contain letters, numbers, and underscores. Leading underscores are reserved for Convex system tables.`,\n    );\n  }\n\n  if (isReservedJsIdentifier(identifier)) {\n    throw new Error(\n      `Expected a valid Confect table identifier, but received: \"${identifier}\". \"${identifier}\" is a reserved JavaScript identifier.`,\n    );\n  }\n};\n"],"mappings":";;;;;;AAAA,MAAM,0CAA0B,IAAI,IAAI;CAEtC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA;CACA;CACA;CAEA;AACF,CAAC;AAED,MAAM,6CAA6B,IAAI,IAAI;CAAC;CAAU;CAAQ;AAAO,CAAC;AAEtE,MAAM,oBAAoB;AAM1B,MAAM,iBAAiB;AAEvB,MAAM,0BAA0B,eAC9B,wBAAwB,IAAI,UAAU;AAExC,MAAM,4BAA4B,aAChC,2BAA2B,IAAI,QAAQ;AAEzC,MAAM,8BAA8B,eAClC,kBAAkB,KAAK,UAAU;AAEnC,MAAM,2BAA2B,eAC/B,eAAe,KAAK,UAAU;AAEhC,MAAa,qCAAqC,eAAuB;CACvE,IAAI,CAAC,2BAA2B,UAAU,GACxC,MAAM,IAAI,MACR,gEAAgE,WAAW,gJAC7E;CAGF,IAAI,uBAAuB,UAAU,GACnC,MAAM,IAAI,MACR,gEAAgE,WAAW,MAAM,WAAW,uCAC9F;CAGF,IAAI,yBAAyB,UAAU,GACrC,MAAM,IAAI,MACR,gEAAgE,WAAW,MAAM,WAAW,kCAC9F;AAEJ;;;;;;;;;;;;AAaA,MAAa,kCAAkC,eAAuB;CACpE,IAAI,CAAC,wBAAwB,UAAU,GACrC,MAAM,IAAI,MACR,6DAA6D,WAAW,uKAC1E;CAGF,IAAI,uBAAuB,UAAU,GACnC,MAAM,IAAI,MACR,6DAA6D,WAAW,MAAM,WAAW,uCAC3F;AAEJ"}
+{"version":3,"file":"Identifier.js","names":[],"sources":["../src/Identifier.ts"],"sourcesContent":["const RESERVED_JS_IDENTIFIERS = new Set([\n  // Reserved keywords\n  \"break\",\n  \"case\",\n  \"catch\",\n  \"class\",\n  \"const\",\n  \"continue\",\n  \"debugger\",\n  \"default\",\n  \"delete\",\n  \"do\",\n  \"else\",\n  \"export\",\n  \"extends\",\n  \"finally\",\n  \"for\",\n  \"function\",\n  \"if\",\n  \"import\",\n  \"in\",\n  \"instanceof\",\n  \"new\",\n  \"return\",\n  \"super\",\n  \"switch\",\n  \"this\",\n  \"throw\",\n  \"try\",\n  \"typeof\",\n  \"var\",\n  \"void\",\n  \"while\",\n  \"with\",\n  \"yield\",\n  // Future reserved keywords\n  \"await\",\n  \"enum\",\n  \"implements\",\n  \"interface\",\n  \"let\",\n  \"package\",\n  \"private\",\n  \"protected\",\n  \"public\",\n  \"static\",\n  // Literal values that cannot be reassigned\n  \"null\",\n  \"true\",\n  \"false\",\n  // Global objects that shouldn't be shadowed\n  \"undefined\",\n]);\n\nconst RESERVED_CONVEX_FILE_NAMES = new Set([\"schema\", \"http\", \"crons\"]);\n\nconst jsIdentifierRegex = /^[a-zA-Z_$][a-zA-Z0-9_$]*$/;\n\n// Stricter than `jsIdentifierRegex`: tables cannot start with `_` (Convex\n// reserves leading underscores for system tables) or `$` (Convex's table\n// naming grammar does not accept it). Letters/digits/underscore only,\n// letter-leading.\nconst tableNameRegex = /^[a-zA-Z][a-zA-Z0-9_]*$/;\n\nconst isReservedJsIdentifier = (identifier: string) =>\n  RESERVED_JS_IDENTIFIERS.has(identifier);\n\nconst isReservedConvexFileName = (fileName: string) =>\n  RESERVED_CONVEX_FILE_NAMES.has(fileName);\n\nconst matchesJsIdentifierPattern = (identifier: string) =>\n  jsIdentifierRegex.test(identifier);\n\nconst matchesTableNamePattern = (identifier: string) =>\n  tableNameRegex.test(identifier);\n\nexport const validateConfectFunctionIdentifier = (identifier: string) => {\n  if (!matchesJsIdentifierPattern(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". Valid identifiers must start with a letter, underscore, or dollar sign, and can only contain letters, numbers, underscores, or dollar signs.`,\n    );\n  }\n\n  if (isReservedJsIdentifier(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". \"${identifier}\" is a reserved JavaScript identifier.`,\n    );\n  }\n\n  if (isReservedConvexFileName(identifier)) {\n    throw new Error(\n      `Expected a valid Confect function identifier, but received: \"${identifier}\". \"${identifier}\" is a reserved Convex file name.`,\n    );\n  }\n};\n\n/**\n * Validate that `identifier` is suitable as a Convex table name (and,\n * equivalently, as a `confect/tables/<identifier>.ts` filename).\n *\n * Rules:\n *\n * - Must match `/^[A-Za-z][A-Za-z0-9_]*$/`—letter-leading, alphanumeric plus\n *   underscore. No `$` (not a valid Convex table name character); no leading\n *   `_` (Convex reserves `_<name>` for its system tables).\n * - Must not be a reserved JavaScript identifier, so the name can also be used as\n *   a binding name in generated code without escaping.\n */\nexport const validateConfectTableIdentifier = (identifier: string) => {\n  if (!matchesTableNamePattern(identifier)) {\n    throw new Error(\n      `Expected a valid Confect table identifier, but received: \"${identifier}\". Valid table identifiers must start with a letter and can only contain letters, numbers, and underscores. Leading underscores are reserved for Convex system tables.`,\n    );\n  }\n\n  if (isReservedJsIdentifier(identifier)) {\n    throw new Error(\n      `Expected a valid Confect table identifier, but received: \"${identifier}\". \"${identifier}\" is a reserved JavaScript identifier.`,\n    );\n  }\n};\n"],"mappings":";;;;;;AAAA,MAAM,0CAA0B,IAAI,IAAI;CAEtC;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CACA;CAEA;CACA;CACA;CAEA;AACF,CAAC;AAED,MAAM,6CAA6B,IAAI,IAAI;CAAC;CAAU;CAAQ;AAAO,CAAC;AAEtE,MAAM,oBAAoB;AAM1B,MAAM,iBAAiB;AAEvB,MAAM,0BAA0B,eAC9B,wBAAwB,IAAI,UAAU;AAExC,MAAM,4BAA4B,aAChC,2BAA2B,IAAI,QAAQ;AAEzC,MAAM,8BAA8B,eAClC,kBAAkB,KAAK,UAAU;AAEnC,MAAM,2BAA2B,eAC/B,eAAe,KAAK,UAAU;AAEhC,MAAa,qCAAqC,eAAuB;CACvE,IAAI,CAAC,2BAA2B,UAAU,GACxC,MAAM,IAAI,MACR,gEAAgE,WAAW,gJAC7E;CAGF,IAAI,uBAAuB,UAAU,GACnC,MAAM,IAAI,MACR,gEAAgE,WAAW,MAAM,WAAW,uCAC9F;CAGF,IAAI,yBAAyB,UAAU,GACrC,MAAM,IAAI,MACR,gEAAgE,WAAW,MAAM,WAAW,kCAC9F;AAEJ;;;;;;;;;;;;;AAcA,MAAa,kCAAkC,eAAuB;CACpE,IAAI,CAAC,wBAAwB,UAAU,GACrC,MAAM,IAAI,MACR,6DAA6D,WAAW,uKAC1E;CAGF,IAAI,uBAAuB,UAAU,GACnC,MAAM,IAAI,MACR,6DAA6D,WAAW,MAAM,WAAW,uCAC3F;AAEJ"}

package/dist/Lazy.d.ts

@@ -1,22 +1,19 @@
 /**
  * Install a lazy memoised property on `target`. The first access runs
- * `compute()` and replaces the getter with a plain, non-writable data
- * property whose value is the computed result. Subsequent accesses hit
- * the V8 fast path for own data properties — no function call, identical
- * returned reference — so first and second-and-subsequent accesses are
- * observably indistinguishable.
+ * `compute()` and replaces the getter with a plain, non-writable data property
+ * whose value is the computed result. Subsequent accesses hit the V8 fast path
+ * for own data properties—no function call, identical returned reference—so
+ * first and second-and-subsequent accesses are observably indistinguishable.
  *
- * The replacement property is `enumerable: true` so the lazy property
- * still participates in `Object.keys` / `JSON.stringify` after it
- * materialises, matching the shape of a plain data property. The property
- * is also `enumerable` before materialising, so presence checks
- * (`"key" in target`, `Object.hasOwn(target, key)`) observe it without
- * forcing the computation.
+ * The replacement property is `enumerable: true` so the lazy property still
+ * participates in `Object.keys`/`JSON.stringify` after it materialises,
+ * matching the shape of a plain data property. The property is also
+ * `enumerable` before materialising, so presence checks (`"key" in target`,
+ * `Object.hasOwn(target, key)`) observe it without forcing the computation.
  *
  * This is the single shared implementation consumed across packages (e.g.
- * `@confect/core`'s lazy `FunctionSpec` schemas and `@confect/server`'s lazy
- * `Table` `Fields` / `Doc` / `tableDefinition`), so there is no chance of the
- * two drifting apart.
+ * `@confect/core`'s lazy `FunctionSpec` schemas and lazy `Table`
+ * `Fields`/`Doc`), so there is no chance of the two drifting apart.
  */
 export declare const defineProperty: <T extends object, K extends PropertyKey>(target: T, key: K, compute: () => unknown) => void;
 //# sourceMappingURL=Lazy.d.ts.map

package/dist/Lazy.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Lazy.d.ts","sourceRoot":"","sources":["../src/Lazy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,EACpE,QAAQ,CAAC,EACT,KAAK,CAAC,EACN,SAAS,MAAM,OAAO,KACrB,IAeF,CAAC"}
+{"version":3,"file":"Lazy.d.ts","sourceRoot":"","sources":["../src/Lazy.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AACH,eAAO,MAAM,cAAc,GAAI,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,WAAW,UAC5D,CAAC,OACJ,CAAC,WACG,MAAM,OAAO,KACrB,IAeF,CAAC"}

package/dist/Lazy.js

@@ -3,23 +3,20 @@ import { __exportAll } from "./_virtual/_rolldown/runtime.js";
 var Lazy_exports = /* @__PURE__ */ __exportAll({ defineProperty: () => defineProperty });
 /**
 * Install a lazy memoised property on `target`. The first access runs
-* `compute()` and replaces the getter with a plain, non-writable data
-* property whose value is the computed result. Subsequent accesses hit
-* the V8 fast path for own data properties — no function call, identical
-* returned reference — so first and second-and-subsequent accesses are
-* observably indistinguishable.
+* `compute()` and replaces the getter with a plain, non-writable data property
+* whose value is the computed result. Subsequent accesses hit the V8 fast path
+* for own data properties—no function call, identical returned reference—so
+* first and second-and-subsequent accesses are observably indistinguishable.
 *
-* The replacement property is `enumerable: true` so the lazy property
-* still participates in `Object.keys` / `JSON.stringify` after it
-* materialises, matching the shape of a plain data property. The property
-* is also `enumerable` before materialising, so presence checks
-* (`"key" in target`, `Object.hasOwn(target, key)`) observe it without
-* forcing the computation.
+* The replacement property is `enumerable: true` so the lazy property still
+* participates in `Object.keys`/`JSON.stringify` after it materialises,
+* matching the shape of a plain data property. The property is also
+* `enumerable` before materialising, so presence checks (`"key" in target`,
+* `Object.hasOwn(target, key)`) observe it without forcing the computation.
 *
 * This is the single shared implementation consumed across packages (e.g.
-* `@confect/core`'s lazy `FunctionSpec` schemas and `@confect/server`'s lazy
-* `Table` `Fields` / `Doc` / `tableDefinition`), so there is no chance of the
-* two drifting apart.
+* `@confect/core`'s lazy `FunctionSpec` schemas and lazy `Table`
+* `Fields`/`Doc`), so there is no chance of the two drifting apart.
 */
 const defineProperty = (target, key, compute) => {
 	Object.defineProperty(target, key, {

package/dist/Lazy.js.map

@@ -1 +1 @@
-{"version":3,"file":"Lazy.js","names":[],"sources":["../src/Lazy.ts"],"sourcesContent":["/**\n * Install a lazy memoised property on `target`. The first access runs\n * `compute()` and replaces the getter with a plain, non-writable data\n * property whose value is the computed result. Subsequent accesses hit\n * the V8 fast path for own data properties — no function call, identical\n * returned reference — so first and second-and-subsequent accesses are\n * observably indistinguishable.\n *\n * The replacement property is `enumerable: true` so the lazy property\n * still participates in `Object.keys` / `JSON.stringify` after it\n * materialises, matching the shape of a plain data property. The property\n * is also `enumerable` before materialising, so presence checks\n * (`\"key\" in target`, `Object.hasOwn(target, key)`) observe it without\n * forcing the computation.\n *\n * This is the single shared implementation consumed across packages (e.g.\n * `@confect/core`'s lazy `FunctionSpec` schemas and `@confect/server`'s lazy\n * `Table` `Fields` / `Doc` / `tableDefinition`), so there is no chance of the\n * two drifting apart.\n */\nexport const defineProperty = <T extends object, K extends PropertyKey>(\n  target: T,\n  key: K,\n  compute: () => unknown,\n): void => {\n  Object.defineProperty(target, key, {\n    configurable: true,\n    enumerable: true,\n    get(this: T) {\n      const value = compute();\n      Object.defineProperty(this, key, {\n        value,\n        writable: false,\n        enumerable: true,\n        configurable: false,\n      });\n      return value;\n    },\n  });\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;AAoBA,MAAa,kBACX,QACA,KACA,YACS;CACT,OAAO,eAAe,QAAQ,KAAK;EACjC,cAAc;EACd,YAAY;EACZ,MAAa;GACX,MAAM,QAAQ,QAAQ;GACtB,OAAO,eAAe,MAAM,KAAK;IAC/B;IACA,UAAU;IACV,YAAY;IACZ,cAAc;GAChB,CAAC;GACD,OAAO;EACT;CACF,CAAC;AACH"}
+{"version":3,"file":"Lazy.js","names":[],"sources":["../src/Lazy.ts"],"sourcesContent":["/**\n * Install a lazy memoised property on `target`. The first access runs\n * `compute()` and replaces the getter with a plain, non-writable data property\n * whose value is the computed result. Subsequent accesses hit the V8 fast path\n * for own data properties—no function call, identical returned reference—so\n * first and second-and-subsequent accesses are observably indistinguishable.\n *\n * The replacement property is `enumerable: true` so the lazy property still\n * participates in `Object.keys`/`JSON.stringify` after it materialises,\n * matching the shape of a plain data property. The property is also\n * `enumerable` before materialising, so presence checks (`\"key\" in target`,\n * `Object.hasOwn(target, key)`) observe it without forcing the computation.\n *\n * This is the single shared implementation consumed across packages (e.g.\n * `@confect/core`'s lazy `FunctionSpec` schemas and lazy `Table`\n * `Fields`/`Doc`), so there is no chance of the two drifting apart.\n */\nexport const defineProperty = <T extends object, K extends PropertyKey>(\n  target: T,\n  key: K,\n  compute: () => unknown,\n): void => {\n  Object.defineProperty(target, key, {\n    configurable: true,\n    enumerable: true,\n    get(this: T) {\n      const value = compute();\n      Object.defineProperty(this, key, {\n        value,\n        writable: false,\n        enumerable: true,\n        configurable: false,\n      });\n      return value;\n    },\n  });\n};\n"],"mappings":";;;;;;;;;;;;;;;;;;;;AAiBA,MAAa,kBACX,QACA,KACA,YACS;CACT,OAAO,eAAe,QAAQ,KAAK;EACjC,cAAc;EACd,YAAY;EACZ,MAAa;GACX,MAAM,QAAQ,QAAQ;GACtB,OAAO,eAAe,MAAM,KAAK;IAC/B;IACA,UAAU;IACV,YAAY;IACZ,cAAc;GAChB,CAAC;GACD,OAAO;EACT;CACF,CAAC;AACH"}

package/dist/MiddlewareAttachment.d.ts

@@ -0,0 +1,171 @@
+import * as Data from "effect/Data";
+import * as Result from "effect/Result";
+import type * as MiddlewareSpec from "./MiddlewareSpec";
+export type MiddlewareAttachment<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec = MiddlewareSpec.AnyMiddlewareSpec> = MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec ? {
+    readonly spec: MiddlewareSpec_;
+    readonly options: [MiddlewareSpec_["~Options"]] extends [never] ? undefined : MiddlewareSpec.Options<MiddlewareSpec_>;
+} : never;
+export type Args<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec> = [
+    MiddlewareSpec_["~Options"]
+] extends [never] ? [] : [options: MiddlewareSpec.Options<MiddlewareSpec_>];
+export type ValidationError = Data.TaggedEnum<{
+    InvalidOptions: {
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+    };
+    ConflictingSpecs: {
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+        readonly previousIndex: number;
+    };
+    EquivalentOptions: {
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+        readonly previousIndex: number;
+    };
+}>;
+export declare const ValidationError: {
+    readonly $is: <Tag extends "ConflictingSpecs" | "EquivalentOptions" | "InvalidOptions">(tag: Tag) => (u: unknown) => u is Extract<{
+        readonly _tag: "ConflictingSpecs";
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+        readonly previousIndex: number;
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "EquivalentOptions";
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+        readonly previousIndex: number;
+    }, {
+        readonly _tag: Tag;
+    }> | Extract<{
+        readonly _tag: "InvalidOptions";
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+    }, {
+        readonly _tag: Tag;
+    }>;
+    readonly $match: {
+        <Cases extends { readonly [Tag in "ConflictingSpecs" | "EquivalentOptions" | "InvalidOptions"]: (args: Extract<{
+            readonly _tag: "ConflictingSpecs";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+            readonly previousIndex: number;
+        } | {
+            readonly _tag: "EquivalentOptions";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+            readonly previousIndex: number;
+        } | {
+            readonly _tag: "InvalidOptions";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(cases: Cases): (value: {
+            readonly _tag: "ConflictingSpecs";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+            readonly previousIndex: number;
+        } | {
+            readonly _tag: "EquivalentOptions";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+            readonly previousIndex: number;
+        } | {
+            readonly _tag: "InvalidOptions";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+        }) => import("effect/Unify").Unify<ReturnType<Cases["ConflictingSpecs" | "EquivalentOptions" | "InvalidOptions"]>>;
+        <Cases extends { readonly [Tag in "ConflictingSpecs" | "EquivalentOptions" | "InvalidOptions"]: (args: Extract<{
+            readonly _tag: "ConflictingSpecs";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+            readonly previousIndex: number;
+        } | {
+            readonly _tag: "EquivalentOptions";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+            readonly previousIndex: number;
+        } | {
+            readonly _tag: "InvalidOptions";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+        }, {
+            readonly _tag: Tag;
+        }>) => any; }>(value: {
+            readonly _tag: "ConflictingSpecs";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+            readonly previousIndex: number;
+        } | {
+            readonly _tag: "EquivalentOptions";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+            readonly previousIndex: number;
+        } | {
+            readonly _tag: "InvalidOptions";
+            readonly middlewareKey: string;
+            readonly location: string;
+            readonly attachmentIndex: number;
+        }, cases: Cases): import("effect/Unify").Unify<ReturnType<Cases["ConflictingSpecs" | "EquivalentOptions" | "InvalidOptions"]>>;
+    };
+    readonly ConflictingSpecs: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "ConflictingSpecs";
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+        readonly previousIndex: number;
+    }, "_tag">;
+    readonly EquivalentOptions: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "EquivalentOptions";
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+        readonly previousIndex: number;
+    }, "_tag">;
+    readonly InvalidOptions: Data.TaggedEnum.ConstructorFrom<{
+        readonly _tag: "InvalidOptions";
+        readonly middlewareKey: string;
+        readonly location: string;
+        readonly attachmentIndex: number;
+    }, "_tag">;
+};
+export declare const formatValidationError: (value: {
+    readonly _tag: "ConflictingSpecs";
+    readonly middlewareKey: string;
+    readonly location: string;
+    readonly attachmentIndex: number;
+    readonly previousIndex: number;
+} | {
+    readonly _tag: "EquivalentOptions";
+    readonly middlewareKey: string;
+    readonly location: string;
+    readonly attachmentIndex: number;
+    readonly previousIndex: number;
+} | {
+    readonly _tag: "InvalidOptions";
+    readonly middlewareKey: string;
+    readonly location: string;
+    readonly attachmentIndex: number;
+}) => string;
+export declare const validateAll: (attachments: ReadonlyArray<MiddlewareAttachment>, location: string) => Result.Result<void, ValidationError>;
+//# sourceMappingURL=MiddlewareAttachment.d.ts.map

package/dist/MiddlewareAttachment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MiddlewareAttachment.d.ts","sourceRoot":"","sources":["../src/MiddlewareAttachment.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,IAAI,MAAM,aAAa,CAAC;AACpC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC,OAAO,KAAK,KAAK,cAAc,MAAM,kBAAkB,CAAC;AAExD,MAAM,MAAM,oBAAoB,CAC9B,eAAe,SAAS,cAAc,CAAC,iBAAiB,GACtD,cAAc,CAAC,iBAAiB,IAChC,eAAe,SAAS,cAAc,CAAC,iBAAiB,GACxD;IACE,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,OAAO,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3D,SAAS,GACT,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;CAC7C,GACD,KAAK,CAAC;AAEV,MAAM,MAAM,IAAI,CAAC,eAAe,SAAS,cAAc,CAAC,iBAAiB,IAAI;IAC3E,eAAe,CAAC,UAAU,CAAC;CAC5B,SAAS,CAAC,KAAK,CAAC,GACb,EAAE,GACF,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC;AAEvD,MAAM,MAAM,eAAe,GAAG,IAAI,CAAC,UAAU,CAAC;IAC5C,cAAc,EAAE;QACd,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;KAClC,CAAC;IACF,gBAAgB,EAAE;QAChB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;QACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;KAChC,CAAC;IACF,iBAAiB,EAAE;QACjB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;QACjC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;KAChC,CAAC;CACH,CAAC,CAAC;AAEH,eAAO,MAAM,eAAe;;;gCAbA,MAAM;2BACX,MAAM;kCACC,MAAM;gCACR,MAAM;;;;;gCAGN,MAAM;2BACX,MAAM;kCACC,MAAM;gCACR,MAAM;;;;;gCAdN,MAAM;2BACX,MAAM;kCACC,MAAM;;;;;;;oCAGR,MAAM;+BACX,MAAM;sCACC,MAAM;oCACR,MAAM;;;oCAGN,MAAM;+BACX,MAAM;sCACC,MAAM;oCACR,MAAM;;;oCAdN,MAAM;+BACX,MAAM;sCACC,MAAM;;;;;;;;;;;;;;;;;;;;;;;oCAGR,MAAM;+BACX,MAAM;sCACC,MAAM;oCACR,MAAM;;;oCAGN,MAAM;+BACX,MAAM;sCACC,MAAM;oCACR,MAAM;;;oCAdN,MAAM;+BACX,MAAM;sCACC,MAAM;;;;;;;;;;;;;;;;;;;;;;;;gCAGR,MAAM;2BACX,MAAM;kCACC,MAAM;gCACR,MAAM;;;;gCAGN,MAAM;2BACX,MAAM;kCACC,MAAM;gCACR,MAAM;;;;gCAdN,MAAM;2BACX,MAAM;kCACC,MAAM;;CAgB6B,CAAC;AAElE,eAAO,MAAM,qBAAqB;;4BAfN,MAAM;uBACX,MAAM;8BACC,MAAM;4BACR,MAAM;;;4BAGN,MAAM;uBACX,MAAM;8BACC,MAAM;4BACR,MAAM;;;4BAdN,MAAM;uBACX,MAAM;8BACC,MAAM;YA8BlC,CAAC;AAEH,eAAO,MAAM,WAAW,gBACT,aAAa,CAAC,oBAAoB,CAAC,YACtC,MAAM,KACf,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,eAAe,CA2CrC,CAAC"}

package/dist/MiddlewareAttachment.js

@@ -0,0 +1,48 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import * as Data from "effect/Data";
+import * as Schema from "effect/Schema";
+import * as Result from "effect/Result";
+//#region src/MiddlewareAttachment.ts
+var MiddlewareAttachment_exports = /* @__PURE__ */ __exportAll({
+	ValidationError: () => ValidationError,
+	formatValidationError: () => formatValidationError,
+	validateAll: () => validateAll
+});
+const ValidationError = Data.taggedEnum();
+const formatValidationError = ValidationError.$match({
+	InvalidOptions: ({ middlewareKey, location, attachmentIndex }) => `Middleware "${middlewareKey}" has invalid options at attachment ${attachmentIndex + 1} on ${location}`,
+	ConflictingSpecs: ({ middlewareKey, location }) => `Different middleware specs share key "${middlewareKey}" on ${location}`,
+	EquivalentOptions: ({ middlewareKey, location, attachmentIndex, previousIndex }) => `Middleware "${middlewareKey}" has equivalent options at attachments ${previousIndex + 1} and ${attachmentIndex + 1} on ${location}`
+});
+const validateAll = (attachments, location) => {
+	for (const [index, attachment] of attachments.entries()) {
+		const schema = attachment.spec.options;
+		if (schema !== void 0 && !Schema.is(schema)(attachment.options)) return Result.fail(ValidationError.InvalidOptions({
+			middlewareKey: attachment.spec.key,
+			location,
+			attachmentIndex: index
+		}));
+		const equivalent = schema === void 0 ? void 0 : Schema.toEquivalence(schema);
+		for (const [previousIndex, previous] of attachments.entries()) {
+			if (previousIndex === index) break;
+			if (previous.spec.key !== attachment.spec.key) continue;
+			if (previous.spec !== attachment.spec) return Result.fail(ValidationError.ConflictingSpecs({
+				middlewareKey: attachment.spec.key,
+				location,
+				attachmentIndex: index,
+				previousIndex
+			}));
+			if (equivalent === void 0 || equivalent(previous.options, attachment.options)) return Result.fail(ValidationError.EquivalentOptions({
+				middlewareKey: attachment.spec.key,
+				location,
+				attachmentIndex: index,
+				previousIndex
+			}));
+		}
+	}
+	return Result.void;
+};
+//#endregion
+export { MiddlewareAttachment_exports, ValidationError, formatValidationError, validateAll };
+
+//# sourceMappingURL=MiddlewareAttachment.js.map

package/dist/MiddlewareAttachment.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MiddlewareAttachment.js","names":[],"sources":["../src/MiddlewareAttachment.ts"],"sourcesContent":["import * as Data from \"effect/Data\";\nimport * as Result from \"effect/Result\";\nimport * as Schema from \"effect/Schema\";\nimport type * as MiddlewareSpec from \"./MiddlewareSpec\";\n\nexport type MiddlewareAttachment<\n  MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec =\n    MiddlewareSpec.AnyMiddlewareSpec,\n> = MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec\n  ? {\n      readonly spec: MiddlewareSpec_;\n      readonly options: [MiddlewareSpec_[\"~Options\"]] extends [never]\n        ? undefined\n        : MiddlewareSpec.Options<MiddlewareSpec_>;\n    }\n  : never;\n\nexport type Args<MiddlewareSpec_ extends MiddlewareSpec.AnyMiddlewareSpec> = [\n  MiddlewareSpec_[\"~Options\"],\n] extends [never]\n  ? []\n  : [options: MiddlewareSpec.Options<MiddlewareSpec_>];\n\nexport type ValidationError = Data.TaggedEnum<{\n  InvalidOptions: {\n    readonly middlewareKey: string;\n    readonly location: string;\n    readonly attachmentIndex: number;\n  };\n  ConflictingSpecs: {\n    readonly middlewareKey: string;\n    readonly location: string;\n    readonly attachmentIndex: number;\n    readonly previousIndex: number;\n  };\n  EquivalentOptions: {\n    readonly middlewareKey: string;\n    readonly location: string;\n    readonly attachmentIndex: number;\n    readonly previousIndex: number;\n  };\n}>;\n\nexport const ValidationError = Data.taggedEnum<ValidationError>();\n\nexport const formatValidationError = ValidationError.$match({\n  InvalidOptions: ({ middlewareKey, location, attachmentIndex }) =>\n    `Middleware \"${middlewareKey}\" has invalid options at attachment ${attachmentIndex + 1} on ${location}`,\n  ConflictingSpecs: ({ middlewareKey, location }) =>\n    `Different middleware specs share key \"${middlewareKey}\" on ${location}`,\n  EquivalentOptions: ({\n    middlewareKey,\n    location,\n    attachmentIndex,\n    previousIndex,\n  }) =>\n    `Middleware \"${middlewareKey}\" has equivalent options at attachments ${previousIndex + 1} and ${attachmentIndex + 1} on ${location}`,\n});\n\nexport const validateAll = (\n  attachments: ReadonlyArray<MiddlewareAttachment>,\n  location: string,\n): Result.Result<void, ValidationError> => {\n  for (const [index, attachment] of attachments.entries()) {\n    const schema = attachment.spec.options;\n    if (schema !== undefined && !Schema.is(schema)(attachment.options)) {\n      return Result.fail(\n        ValidationError.InvalidOptions({\n          middlewareKey: attachment.spec.key,\n          location,\n          attachmentIndex: index,\n        }),\n      );\n    }\n    const equivalent =\n      schema === undefined ? undefined : Schema.toEquivalence(schema);\n    for (const [previousIndex, previous] of attachments.entries()) {\n      if (previousIndex === index) break;\n      if (previous.spec.key !== attachment.spec.key) continue;\n      if (previous.spec !== attachment.spec) {\n        return Result.fail(\n          ValidationError.ConflictingSpecs({\n            middlewareKey: attachment.spec.key,\n            location,\n            attachmentIndex: index,\n            previousIndex,\n          }),\n        );\n      }\n      if (\n        equivalent === undefined ||\n        equivalent(previous.options, attachment.options)\n      ) {\n        return Result.fail(\n          ValidationError.EquivalentOptions({\n            middlewareKey: attachment.spec.key,\n            location,\n            attachmentIndex: index,\n            previousIndex,\n          }),\n        );\n      }\n    }\n  }\n  return Result.void;\n};\n"],"mappings":";;;;;;;;;;AA2CA,MAAa,kBAAkB,KAAK,WAA4B;AAEhE,MAAa,wBAAwB,gBAAgB,OAAO;CAC1D,iBAAiB,EAAE,eAAe,UAAU,sBAC1C,eAAe,cAAc,sCAAsC,kBAAkB,EAAE,MAAM;CAC/F,mBAAmB,EAAE,eAAe,eAClC,yCAAyC,cAAc,OAAO;CAChE,oBAAoB,EAClB,eACA,UACA,iBACA,oBAEA,eAAe,cAAc,0CAA0C,gBAAgB,EAAE,OAAO,kBAAkB,EAAE,MAAM;AAC9H,CAAC;AAED,MAAa,eACX,aACA,aACyC;CACzC,KAAK,MAAM,CAAC,OAAO,eAAe,YAAY,QAAQ,GAAG;EACvD,MAAM,SAAS,WAAW,KAAK;EAC/B,IAAI,WAAW,KAAA,KAAa,CAAC,OAAO,GAAG,MAAM,CAAC,CAAC,WAAW,OAAO,GAC/D,OAAO,OAAO,KACZ,gBAAgB,eAAe;GAC7B,eAAe,WAAW,KAAK;GAC/B;GACA,iBAAiB;EACnB,CAAC,CACH;EAEF,MAAM,aACJ,WAAW,KAAA,IAAY,KAAA,IAAY,OAAO,cAAc,MAAM;EAChE,KAAK,MAAM,CAAC,eAAe,aAAa,YAAY,QAAQ,GAAG;GAC7D,IAAI,kBAAkB,OAAO;GAC7B,IAAI,SAAS,KAAK,QAAQ,WAAW,KAAK,KAAK;GAC/C,IAAI,SAAS,SAAS,WAAW,MAC/B,OAAO,OAAO,KACZ,gBAAgB,iBAAiB;IAC/B,eAAe,WAAW,KAAK;IAC/B;IACA,iBAAiB;IACjB;GACF,CAAC,CACH;GAEF,IACE,eAAe,KAAA,KACf,WAAW,SAAS,SAAS,WAAW,OAAO,GAE/C,OAAO,OAAO,KACZ,gBAAgB,kBAAkB;IAChC,eAAe,WAAW,KAAK;IAC/B;IACA,iBAAiB;IACjB;GACF,CAAC,CACH;EAEJ;CACF;CACA,OAAO,OAAO;AAChB"}

package/dist/MiddlewareSpec.d.ts

@@ -0,0 +1,198 @@
+import type { FunctionType, FunctionVisibility } from "convex/server";
+import type * as Effect from "effect/Effect";
+import type * as Schema from "effect/Schema";
+import type { unhandled } from "effect/Types";
+import type * as FunctionProvenance from "./FunctionProvenance";
+import type * as FunctionSpec from "./FunctionSpec";
+import type * as RuntimeAndFunctionType from "./RuntimeAndFunctionType";
+export declare const TypeId = "~@confect/core/MiddlewareSpec";
+export type TypeId = typeof TypeId;
+export declare const isMiddlewareSpec: (u: unknown) => u is AnyMiddlewareSpec;
+export declare const allFunctionTypes: ReadonlyArray<FunctionType>;
+export interface SupportedFunctionTypes {
+    readonly query: boolean;
+    readonly mutation: boolean;
+    readonly action: boolean;
+}
+/**
+ * Marker success type used by middleware to represent the handler's outcome
+ * without exposing its concrete success value.
+ *
+ * Mirrors `RpcMiddleware.SuccessValue` in Effect.
+ */
+export interface SuccessValue {
+    readonly _: unique symbol;
+}
+/**
+ * The wrap-style middleware implementation shape: receives the downstream
+ * effect (the remaining middleware plus the function handler) and the covered
+ * invocation's metadata, and returns the effect that runs in its place.
+ *
+ * Mirrors `RpcMiddleware.RpcMiddleware` in Effect.
+ */
+export interface MiddlewareImpl<Provides_, E, R, Options_ = never> {
+    (effect: Effect.Effect<SuccessValue, E | unhandled, Provides_>, context: MiddlewareOptions<Options_>): Effect.Effect<SuccessValue, E | unhandled, R>;
+}
+export type MiddlewareOptions<Options_ = never> = {
+    readonly invocation: {
+        readonly name: string;
+        readonly functionType: FunctionType;
+        readonly functionVisibility: FunctionVisibility;
+        readonly args: unknown;
+    };
+} & ([Options_] extends [never] ? unknown : {
+    readonly options: Options_;
+});
+export interface AnyMiddlewareImpl {
+    (effect: Effect.Effect<SuccessValue, any, any>, context: MiddlewareOptions | MiddlewareOptions<unknown>): Effect.Effect<SuccessValue, any, any>;
+}
+/**
+ * The class shape produced by {@link MiddlewareSpec}. Only the static side is
+ * ever used—the class is a value-level carrier for the middleware's key, its
+ * declared functionTypes, and its (lazily-evaluated) error schema, plus the
+ * type-level `Provides`/`Error` metadata. It is deliberately not a
+ * `Context.Tag`: implementations are registered through the group `Registry`
+ * (like `FunctionImpl`s), not resolved from a Layer context.
+ */
+export interface MiddlewareSpec<in out Self, Key_ extends string, Provides_, Requires_, ErrorSchema_ extends Schema.Codec<any, any>, FunctionTypes_ extends FunctionType, OptionsSchema_ extends Schema.Schema<any> = never> {
+    new (_: never): {
+        readonly [TypeId]: TypeId;
+        readonly key: Key_;
+    };
+    readonly [TypeId]: TypeId;
+    readonly key: Key_;
+    readonly functionTypes: SupportedFunctionTypes;
+    readonly error?: ErrorSchema_;
+    readonly options?: OptionsSchema_;
+    readonly "~Provides": Provides_;
+    readonly "~Requires": Requires_;
+    readonly "~Error": ErrorSchema_;
+    readonly "~FunctionTypes": FunctionTypes_;
+    readonly "~Self": Self;
+    readonly "~Options": OptionsSchema_;
+}
+export interface AnyMiddlewareSpec {
+    readonly [TypeId]: TypeId;
+    readonly key: string;
+    readonly functionTypes: SupportedFunctionTypes;
+    readonly error?: Schema.Codec<any, any>;
+    readonly options?: Schema.Schema<any>;
+    readonly "~Provides": any;
+    readonly "~Requires": any;
+    readonly "~Error": any;
+    readonly "~FunctionTypes": FunctionType;
+    readonly "~Options": any;
+}
+export type Options<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_["~Options"]["Type"];
+export type WithoutOptions<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_ extends AnyMiddlewareSpec ? [MiddlewareSpec_["~Options"]] extends [never] ? MiddlewareSpec_ : never : never;
+export type Key<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_["key"];
+export type Provides<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_ extends AnyMiddlewareSpec ? MiddlewareSpec_["~Provides"] : never;
+/**
+ * The services a middleware's implementation may consume from middleware that
+ * runs earlier in the same chain (type-level only, like `provides`).
+ */
+export type Requires<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_ extends AnyMiddlewareSpec ? MiddlewareSpec_["~Requires"] : never;
+export type ErrorSchema<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_ extends AnyMiddlewareSpec ? MiddlewareSpec_["~Error"] : never;
+export type Error<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_ extends AnyMiddlewareSpec ? MiddlewareSpec_["~Error"]["Type"] : never;
+export type EncodedError<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_ extends AnyMiddlewareSpec ? MiddlewareSpec_["~Error"]["Encoded"] : never;
+export type FunctionTypes<MiddlewareSpec_ extends AnyMiddlewareSpec> = MiddlewareSpec_ extends AnyMiddlewareSpec ? MiddlewareSpec_["~FunctionTypes"] : never;
+/**
+ * Declare a middleware's client-safe interface: its identifying key, the
+ * service it provides to downstream handlers, the error schema its failures
+ * encode through, and the function types it may attach to.
+ *
+ * ```ts
+ * class RequireUser extends MiddlewareSpec.MiddlewareSpec<
+ *   RequireUser,
+ *   {
+ *     provides: CurrentUser;
+ *   }
+ * >()("RequireUser", {
+ *   error: () => NotSignedIn,
+ *   functionTypes: { query: true, mutation: true, action: false },
+ * }) {}
+ * ```
+ *
+ * The implementation is server-only and supplied separately via
+ * `MiddlewareImpl.make` (or `makeByFunctionType`/`provides`) in
+ * `@confect/server`.
+ */
+export declare const MiddlewareSpec: <Self, Config extends {
+    provides?: any;
+    requires?: any;
+} = {}>() => <const Key_ extends string, const FunctionTypesConfig_ extends SupportedFunctionTypes, ErrorSchema_ extends Schema.Codec<any, any> = never, OptionsSchema_ extends Schema.Schema<any> = never>(key: Key_, options: {
+    readonly error?: () => ErrorSchema_;
+    readonly options?: () => OptionsSchema_;
+    readonly functionTypes: FunctionTypesConfig_ & ValidateFunctionTypesConfig<FunctionTypesConfig_>;
+}) => MiddlewareSpec<Self, Key_, "provides" extends keyof Config ? Config["provides"] : never, "requires" extends keyof Config ? Config["requires"] : never, ErrorSchema_, FunctionTypesFromConfig<FunctionTypesConfig_>, OptionsSchema_>;
+type FunctionTypesFromConfig<Config extends SupportedFunctionTypes> = {
+    [K in FunctionType]: Config[K] extends true ? K : never;
+}[FunctionType];
+type ValidateFunctionTypesConfig<Config extends SupportedFunctionTypes> = ValidationResult<{
+    [K in keyof Config]: boolean extends Config[K] ? AttachmentError<`Function type flag "${K & string}" must be a literal \`true\` or \`false\`, not a computed \`boolean\``> : never;
+}[keyof Config] | ([FunctionTypesFromConfig<Config>] extends [never] ? AttachmentError<`A middleware must declare at least one function type`> : never)>;
+export declare const errorSchemas: (middlewareSpecs: ReadonlyArray<AnyMiddlewareSpec>) => ReadonlyArray<Schema.Codec<any, any>>;
+/**
+ * A branded, unconstructible type carrying a spec-authoring error message.
+ * Surfaced as (part of) a parameter type so the diagnostic names the exact
+ * problem at the `.middleware()`/`.addFunction()` call site.
+ */
+export interface AttachmentError<Message extends string> {
+    readonly "~@confect/core/MiddlewareSpec/AttachmentError": Message;
+}
+type FunctionTypeOf<FunctionSpec_ extends FunctionSpec.AnyWithProps> = FunctionSpec_["runtimeAndFunctionType"]["functionType"];
+type ValidationResult<Errors> = [Errors] extends [never] ? unknown : Errors;
+/**
+ * A matching-type Convex-provenance function is rejected rather than silently
+ * skipped: its raw handler passes through Confect untouched, so the middleware
+ * could not actually cover it, and skipping it would be a policy hole.
+ */
+export type ValidateFunction<FunctionSpec_ extends FunctionSpec.AnyWithProps, MiddlewareSpec_ extends AnyMiddlewareSpec> = FunctionSpec_ extends any ? MiddlewareSpec_ extends any ? FunctionSpec_ extends {
+    readonly functionProvenance: {
+        readonly _tag: "Convex";
+    };
+} ? FunctionTypeOf<FunctionSpec_> extends FunctionTypes<MiddlewareSpec_> ? AttachmentError<`Convex-provenance function "${FunctionSpec_["name"]}" cannot be covered by middleware "${Key<MiddlewareSpec_>}"—attach middleware only to groups whose matching-type functions are all Confect-provenance`> : never : [
+    Extract<FunctionSpec.MiddlewareSpecs<FunctionSpec_>, {
+        readonly key: Key<WithoutOptions<MiddlewareSpec_>>;
+    }>
+] extends [never] ? FunctionTypeOf<FunctionSpec_> extends FunctionTypes<MiddlewareSpec_> ? never : AttachmentError<`Middleware "${Key<MiddlewareSpec_>}" does not declare function type "${FunctionTypeOf<FunctionSpec_>}", the type of function "${FunctionSpec_["name"]}"`> : AttachmentError<`Middleware "${Key<MiddlewareSpec_>}" is already attached to function "${FunctionSpec_["name"]}"`> : never : never;
+/**
+ * Attachment order is chain order, so requiring `requires` to be satisfied by
+ * already-attached middleware is exactly requiring the provider to run
+ * earlier.
+ */
+export type ValidateAttach<MiddlewareSpec_ extends AnyMiddlewareSpec, Functions_ extends FunctionSpec.AnyWithProps, MiddlewareSpecs_ extends AnyMiddlewareSpec> = [
+    Extract<MiddlewareSpecs_, {
+        readonly key: Key<WithoutOptions<MiddlewareSpec_>>;
+    }>
+] extends [never] ? [Exclude<Requires<MiddlewareSpec_>, Provides<MiddlewareSpecs_>>] extends [
+    never
+] ? ValidationResult<ValidateFunction<Functions_, MiddlewareSpec_>> : AttachmentError<`Middleware "${Key<MiddlewareSpec_>}" requires services that no middleware attached earlier to this group provides—attach the providing middleware first`> : AttachmentError<`Middleware "${Key<MiddlewareSpec_>}" is already attached to this group`>;
+export type ValidateAddedFunction<FunctionSpec_ extends FunctionSpec.AnyWithProps, MiddlewareSpecs_ extends AnyMiddlewareSpec> = [MiddlewareSpecs_] extends [never] ? unknown : ValidationResult<ValidateFunction<FunctionSpec_, MiddlewareSpecs_> | GroupOverlap<FunctionSpec_, MiddlewareSpecs_>>;
+type GroupOverlap<FunctionSpec_ extends FunctionSpec.AnyWithProps, MiddlewareSpecs_ extends AnyMiddlewareSpec> = FunctionSpec.MiddlewareSpecs<FunctionSpec_> extends infer FunctionMiddlewareSpec ? FunctionMiddlewareSpec extends AnyMiddlewareSpec ? [
+    Extract<MiddlewareSpecs_, {
+        readonly key: Key<WithoutOptions<FunctionMiddlewareSpec>>;
+    }>
+] extends [never] ? never : AttachmentError<`Middleware "${Key<FunctionMiddlewareSpec>}" is attached to both function "${FunctionSpec_["name"]}" and its group`> : never : never;
+/**
+ * The parameter-type validation applied to the group spec at `GroupImpl.make`:
+ * every function's attached middleware must have its `requires` services
+ * provided by some middleware covering that function (the group's or the
+ * function's own). Checked here—with the group fully assembled—rather than at
+ * the spec builders, because a function-level middleware's `requires` may
+ * legitimately be satisfied by a group middleware the function spec never sees,
+ * and group attachment is declaratively order-independent with respect to
+ * `addFunction`.
+ */
+export type ValidateImplRequires<Functions_ extends FunctionSpec.AnyWithProps, GroupMiddlewareSpecs_ extends AnyMiddlewareSpec> = ValidationResult<Functions_ extends any ? [
+    Exclude<Requires<FunctionSpec.MiddlewareSpecs<Functions_>>, Provides<GroupMiddlewareSpecs_ | FunctionSpec.MiddlewareSpecs<Functions_>>>
+] extends [never] ? never : AttachmentError<`Function "${Functions_["name"]}" has middleware requiring services that no middleware covering it provides`> : never>;
+export type ValidateFunctionAttach<MiddlewareSpec_ extends AnyMiddlewareSpec, RuntimeAndFunctionType_ extends RuntimeAndFunctionType.RuntimeAndFunctionType, FunctionProvenance_ extends FunctionProvenance.FunctionProvenance, MiddlewareSpecs_ extends AnyMiddlewareSpec> = FunctionProvenance_ extends {
+    readonly _tag: "Convex";
+} ? AttachmentError<`Plain Convex functions cannot have middleware—their raw handlers are passed through untouched`> : [
+    Extract<MiddlewareSpecs_, {
+        readonly key: Key<WithoutOptions<MiddlewareSpec_>>;
+    }>
+] extends [never] ? RuntimeAndFunctionType_["functionType"] extends FunctionTypes<MiddlewareSpec_> ? unknown : AttachmentError<`Middleware "${Key<MiddlewareSpec_>}" does not declare function type "${RuntimeAndFunctionType_["functionType"]}"`> : AttachmentError<`Middleware "${Key<MiddlewareSpec_>}" is already attached to this function`>;
+export {};
+//# sourceMappingURL=MiddlewareSpec.d.ts.map

package/dist/MiddlewareSpec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MiddlewareSpec.d.ts","sourceRoot":"","sources":["../src/MiddlewareSpec.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,eAAe,CAAC;AACtE,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAE7C,OAAO,KAAK,KAAK,MAAM,MAAM,eAAe,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,KAAK,kBAAkB,MAAM,sBAAsB,CAAC;AAChE,OAAO,KAAK,KAAK,YAAY,MAAM,gBAAgB,CAAC;AAEpD,OAAO,KAAK,KAAK,sBAAsB,MAAM,0BAA0B,CAAC;AAExE,eAAO,MAAM,MAAM,kCAAkC,CAAC;AACtD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC;AAEnC,eAAO,MAAM,gBAAgB,MAAO,OAAO,KAAG,CAAC,IAAI,iBACjB,CAAC;AAEnC,eAAO,MAAM,gBAAgB,EAAE,aAAa,CAAC,YAAY,CAIxD,CAAC;AAEF,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,CAAC,EAAE,OAAO,MAAM,CAAC;CAC3B;AAED;;;;;;GAMG;AACH,MAAM,WAAW,cAAc,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC,EAAE,QAAQ,GAAG,KAAK;IAC/D,CACE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,SAAS,EAAE,SAAS,CAAC,EAC7D,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,GACnC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC;CAClD;AAED,MAAM,MAAM,iBAAiB,CAAC,QAAQ,GAAG,KAAK,IAAI;IAChD,QAAQ,CAAC,UAAU,EAAE;QACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC;QACpC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;QAChD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;KACxB,CAAC;CACH,GAAG,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAA;CAAE,CAAC,CAAC;AAE5E,MAAM,WAAW,iBAAiB;IAChC,CACE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,EAC7C,OAAO,EAAE,iBAAiB,GAAG,iBAAiB,CAAC,OAAO,CAAC,GACtD,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;CAC1C;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,cAAc,CAC7B,EAAE,CAAC,GAAG,CAAC,IAAI,EACX,IAAI,SAAS,MAAM,EACnB,SAAS,EACT,SAAS,EACT,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,EAC3C,cAAc,SAAS,YAAY,EACnC,cAAc,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK;IAEjD,KAAK,CAAC,EAAE,KAAK,GAAG;QACd,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;KACpB,CAAC;IACF,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;IACnB,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC;IAChC,QAAQ,CAAC,gBAAgB,EAAE,cAAc,CAAC;IAC1C,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;CACrC;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,aAAa,EAAE,sBAAsB,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IACtC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC;IACvB,QAAQ,CAAC,gBAAgB,EAAE,YAAY,CAAC;IACxC,QAAQ,CAAC,UAAU,EAAE,GAAG,CAAC;CAC1B;AAED,MAAM,MAAM,OAAO,CAAC,eAAe,SAAS,iBAAiB,IAC3D,eAAe,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtC,MAAM,MAAM,cAAc,CAAC,eAAe,SAAS,iBAAiB,IAClE,eAAe,SAAS,iBAAiB,GACrC,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3C,eAAe,GACf,KAAK,GACP,KAAK,CAAC;AAEZ,MAAM,MAAM,GAAG,CAAC,eAAe,SAAS,iBAAiB,IACvD,eAAe,CAAC,KAAK,CAAC,CAAC;AAEzB,MAAM,MAAM,QAAQ,CAAC,eAAe,SAAS,iBAAiB,IAC5D,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,WAAW,CAAC,GAC5B,KAAK,CAAC;AAEZ;;;GAGG;AACH,MAAM,MAAM,QAAQ,CAAC,eAAe,SAAS,iBAAiB,IAC5D,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,WAAW,CAAC,GAC5B,KAAK,CAAC;AAEZ,MAAM,MAAM,WAAW,CAAC,eAAe,SAAS,iBAAiB,IAC/D,eAAe,SAAS,iBAAiB,GAAG,eAAe,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;AAEhF,MAAM,MAAM,KAAK,CAAC,eAAe,SAAS,iBAAiB,IACzD,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACjC,KAAK,CAAC;AAEZ,MAAM,MAAM,YAAY,CAAC,eAAe,SAAS,iBAAiB,IAChE,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,GACpC,KAAK,CAAC;AAEZ,MAAM,MAAM,aAAa,CAAC,eAAe,SAAS,iBAAiB,IACjE,eAAe,SAAS,iBAAiB,GACrC,eAAe,CAAC,gBAAgB,CAAC,GACjC,KAAK,CAAC;AAEZ;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,eAAO,MAAM,cAAc,GACxB,IAAI,EAAE,MAAM,SAAS;IAAE,QAAQ,CAAC,EAAE,GAAG,CAAC;IAAC,QAAQ,CAAC,EAAE,GAAG,CAAA;CAAE,GAAG,EAAE,QAE3D,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,KAAK,CAAC,oBAAoB,SAAS,sBAAsB,EACzD,YAAY,SAAS,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,KAAK,EACnD,cAAc,SAAS,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,OAE5C,IAAI,WACA;IACP,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,YAAY,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,cAAc,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,oBAAoB,GAC1C,2BAA2B,CAAC,oBAAoB,CAAC,CAAC;CACrD,KACA,cAAc,CACf,IAAI,EACJ,IAAI,EACJ,UAAU,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,EAC5D,UAAU,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,GAAG,KAAK,EAC5D,YAAY,EACZ,uBAAuB,CAAC,oBAAoB,CAAC,EAC7C,cAAc,CAyBf,CAAC;AAEJ,KAAK,uBAAuB,CAAC,MAAM,SAAS,sBAAsB,IAAI;KACnE,CAAC,IAAI,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,KAAK;CACxD,CAAC,YAAY,CAAC,CAAC;AAEhB,KAAK,2BAA2B,CAAC,MAAM,SAAS,sBAAsB,IACpE,gBAAgB,CACZ;KACG,CAAC,IAAI,MAAM,MAAM,GAAG,OAAO,SAAS,MAAM,CAAC,CAAC,CAAC,GAC1C,eAAe,CAAC,uBAAuB,CAAC,GAAG,MAAM,uEAAuE,CAAC,GACzH,KAAK;CACV,CAAC,MAAM,MAAM,CAAC,GACf,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9C,eAAe,CAAC,sDAAsD,CAAC,GACvE,KAAK,CAAC,CACb,CAAC;AAEJ,eAAO,MAAM,YAAY,oBACN,aAAa,CAAC,iBAAiB,CAAC,KAChD,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAKpC,CAAC;AAEJ;;;;GAIG;AACH,MAAM,WAAW,eAAe,CAAC,OAAO,SAAS,MAAM;IACrD,QAAQ,CAAC,+CAA+C,EAAE,OAAO,CAAC;CACnE;AAED,KAAK,cAAc,CAAC,aAAa,SAAS,YAAY,CAAC,YAAY,IACjE,aAAa,CAAC,wBAAwB,CAAC,CAAC,cAAc,CAAC,CAAC;AAE1D,KAAK,gBAAgB,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,GAAG,MAAM,CAAC;AAE5E;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAC1B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,eAAe,SAAS,iBAAiB,IACvC,aAAa,SAAS,GAAG,GACzB,eAAe,SAAS,GAAG,GACzB,aAAa,SAAS;IACpB,QAAQ,CAAC,kBAAkB,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAC;CAC1D,GACC,cAAc,CAAC,aAAa,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAClE,eAAe,CAAC,+BAA+B,aAAa,CAAC,MAAM,CAAC,sCAAsC,GAAG,CAAC,eAAe,CAAC,6FAA6F,CAAC,GAC5N,KAAK,GACP;IACI,OAAO,CACL,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,EAC3C;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,CAAA;KAAE,CACvD;CACF,SAAS,CAAC,KAAK,CAAC,GACjB,cAAc,CAAC,aAAa,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAClE,KAAK,GACL,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,cAAc,CAAC,aAAa,CAAC,4BAA4B,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,GAC5K,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,sCAAsC,aAAa,CAAC,MAAM,CAAC,GAAG,CAAC,GACtH,KAAK,GACP,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,cAAc,CACxB,eAAe,SAAS,iBAAiB,EACzC,UAAU,SAAS,YAAY,CAAC,YAAY,EAC5C,gBAAgB,SAAS,iBAAiB,IACxC;IACF,OAAO,CACL,gBAAgB,EAChB;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,CAAA;KAAE,CACvD;CACF,SAAS,CAAC,KAAK,CAAC,GACb,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;IACvE,KAAK;CACN,GACC,gBAAgB,CAAC,gBAAgB,CAAC,UAAU,EAAE,eAAe,CAAC,CAAC,GAC/D,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,sHAAsH,CAAC,GAC5K,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,CAAC,CAAC;AAE9F,MAAM,MAAM,qBAAqB,CAC/B,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,gBAAgB,SAAS,iBAAiB,IACxC,CAAC,gBAAgB,CAAC,SAAS,CAAC,KAAK,CAAC,GAClC,OAAO,GACP,gBAAgB,CACZ,gBAAgB,CAAC,aAAa,EAAE,gBAAgB,CAAC,GACjD,YAAY,CAAC,aAAa,EAAE,gBAAgB,CAAC,CAChD,CAAC;AAEN,KAAK,YAAY,CACf,aAAa,SAAS,YAAY,CAAC,YAAY,EAC/C,gBAAgB,SAAS,iBAAiB,IAE1C,YAAY,CAAC,eAAe,CAAC,aAAa,CAAC,SAAS,MAAM,sBAAsB,GAC5E,sBAAsB,SAAS,iBAAiB,GAC9C;IACE,OAAO,CACL,gBAAgB,EAChB;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,cAAc,CAAC,sBAAsB,CAAC,CAAC,CAAA;KAAE,CAC9D;CACF,SAAS,CAAC,KAAK,CAAC,GACf,KAAK,GACL,eAAe,CAAC,eAAe,GAAG,CAAC,sBAAsB,CAAC,mCAAmC,aAAa,CAAC,MAAM,CAAC,iBAAiB,CAAC,GACtI,KAAK,GACP,KAAK,CAAC;AAEZ;;;;;;;;;GASG;AACH,MAAM,MAAM,oBAAoB,CAC9B,UAAU,SAAS,YAAY,CAAC,YAAY,EAC5C,qBAAqB,SAAS,iBAAiB,IAC7C,gBAAgB,CAClB,UAAU,SAAS,GAAG,GAClB;IACE,OAAO,CACL,QAAQ,CAAC,YAAY,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,EAClD,QAAQ,CACN,qBAAqB,GAAG,YAAY,CAAC,eAAe,CAAC,UAAU,CAAC,CACjE,CACF;CACF,SAAS,CAAC,KAAK,CAAC,GACf,KAAK,GACL,eAAe,CAAC,aAAa,UAAU,CAAC,MAAM,CAAC,6EAA6E,CAAC,GAC/H,KAAK,CACV,CAAC;AAEF,MAAM,MAAM,sBAAsB,CAChC,eAAe,SAAS,iBAAiB,EACzC,uBAAuB,SAAS,sBAAsB,CAAC,sBAAsB,EAC7E,mBAAmB,SAAS,kBAAkB,CAAC,kBAAkB,EACjE,gBAAgB,SAAS,iBAAiB,IACxC,mBAAmB,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACvD,eAAe,CAAC,+FAA+F,CAAC,GAChH;IACI,OAAO,CACL,gBAAgB,EAChB;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,cAAc,CAAC,eAAe,CAAC,CAAC,CAAA;KAAE,CACvD;CACF,SAAS,CAAC,KAAK,CAAC,GACjB,uBAAuB,CAAC,cAAc,CAAC,SAAS,aAAa,CAAC,eAAe,CAAC,GAC5E,OAAO,GACP,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,qCAAqC,uBAAuB,CAAC,cAAc,CAAC,GAAG,CAAC,GACrI,eAAe,CAAC,eAAe,GAAG,CAAC,eAAe,CAAC,wCAAwC,CAAC,CAAC"}

package/dist/MiddlewareSpec.js

@@ -0,0 +1,60 @@
+import { __exportAll } from "./_virtual/_rolldown/runtime.js";
+import { defineProperty } from "./Lazy.js";
+import * as Predicate from "effect/Predicate";
+//#region src/MiddlewareSpec.ts
+var MiddlewareSpec_exports = /* @__PURE__ */ __exportAll({
+	MiddlewareSpec: () => MiddlewareSpec,
+	TypeId: () => TypeId,
+	allFunctionTypes: () => allFunctionTypes,
+	errorSchemas: () => errorSchemas,
+	isMiddlewareSpec: () => isMiddlewareSpec
+});
+const TypeId = "~@confect/core/MiddlewareSpec";
+const isMiddlewareSpec = (u) => Predicate.hasProperty(u, TypeId);
+const allFunctionTypes = [
+	"query",
+	"mutation",
+	"action"
+];
+/**
+* Declare a middleware's client-safe interface: its identifying key, the
+* service it provides to downstream handlers, the error schema its failures
+* encode through, and the function types it may attach to.
+*
+* ```ts
+* class RequireUser extends MiddlewareSpec.MiddlewareSpec<
+*   RequireUser,
+*   {
+*     provides: CurrentUser;
+*   }
+* >()("RequireUser", {
+*   error: () => NotSignedIn,
+*   functionTypes: { query: true, mutation: true, action: false },
+* }) {}
+* ```
+*
+* The implementation is server-only and supplied separately via
+* `MiddlewareImpl.make` (or `makeByFunctionType`/`provides`) in
+* `@confect/server`.
+*/
+const MiddlewareSpec = () => (key, options) => {
+	const { query, mutation, action } = options.functionTypes;
+	if (!query && !mutation && !action) throw new Error(`Middleware "${key}" must declare at least one function type`);
+	function MiddlewareSpecClass() {}
+	const class_ = MiddlewareSpecClass;
+	class_[TypeId] = TypeId;
+	class_.key = key;
+	class_.functionTypes = {
+		query,
+		mutation,
+		action
+	};
+	if (options.error !== void 0) defineProperty(class_, "error", options.error);
+	if (options.options !== void 0) defineProperty(class_, "options", options.options);
+	return class_;
+};
+const errorSchemas = (middlewareSpecs) => middlewareSpecs.flatMap((middlewareSpec) => "error" in middlewareSpec && middlewareSpec.error !== void 0 ? [middlewareSpec.error] : []);
+//#endregion
+export { MiddlewareSpec, MiddlewareSpec_exports, TypeId, allFunctionTypes, errorSchemas, isMiddlewareSpec };
+
+//# sourceMappingURL=MiddlewareSpec.js.map