@gaganref/confect-core 10.3.1-fork.5 → 10.3.1-fork.50

package/dist/index.d.ts

@@ -1,3 +1,4 @@
+export * as ActionCall from "./ActionCall.js";
 export * as Callback from "./Callback.js";
 export * as FunctionProvenance from "./FunctionProvenance.js";
 export * as FunctionSpec from "./FunctionSpec.js";
@@ -13,11 +14,13 @@ export * as GroupSpec from "./GroupSpec.js";
 export * as Identifier from "./Identifier.js";
 export * as Lazy from "./Lazy.js";
 export * as Manifest from "./Manifest.js";
+export * as ManifestSection from "./ManifestSection.js";
 export * as MiddlewareAttachment from "./MiddlewareAttachment.js";
 export * as MiddlewareSpec from "./MiddlewareSpec.js";
 export * as PaginationError from "./PaginationError.js";
 export * as PaginationOptions from "./PaginationOptions.js";
 export * as PaginationResult from "./PaginationResult.js";
+export * as Profile from "./Profile.js";
 export * as Ref from "./Ref.js";
 export * as Refs from "./Refs.js";
 export * as RuntimeAndFunctionType from "./RuntimeAndFunctionType.js";

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,oBAAoB,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AACtE,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,kBAAkB,MAAM,yBAAyB,CAAC;AAC9D,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,SAAS,MAAM,gBAAgB,CAAC;AAC5C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAC;AAC9C,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAC;AAC1C,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,oBAAoB,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,cAAc,MAAM,qBAAqB,CAAC;AACtD,OAAO,KAAK,eAAe,MAAM,sBAAsB,CAAC;AACxD,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,gBAAgB,MAAM,uBAAuB,CAAC;AAC1D,OAAO,KAAK,OAAO,MAAM,cAAc,CAAC;AACxC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAC;AAChC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,sBAAsB,MAAM,6BAA6B,CAAC;AACtE,OAAO,KAAK,iBAAiB,MAAM,wBAAwB,CAAC;AAC5D,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAClC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC;AAClD,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAC;AACpC,OAAO,KAAK,YAAY,MAAM,mBAAmB,CAAC"}

package/dist/index.js

@@ -1,30 +1,33 @@
-import { App_exports } from "./App.js";
-import { Auth_exports } from "./Auth.js";
 import { Lazy_exports } from "./Lazy.js";
 import { PaginationOptions_exports } from "./PaginationOptions.js";
 import { PaginationResult_exports } from "./PaginationResult.js";
 import { FunctionProvenance_exports } from "./FunctionProvenance.js";
+import { Identifier_exports } from "./Identifier.js";
 import { MiddlewareSpec_exports } from "./MiddlewareSpec.js";
+import { RuntimeAndFunctionType_exports } from "./RuntimeAndFunctionType.js";
+import { FunctionSpec_exports } from "./FunctionSpec.js";
+import { ActionCall_exports } from "./ActionCall.js";
+import { App_exports } from "./App.js";
+import { Auth_exports } from "./Auth.js";
 import { Ref_exports } from "./Ref.js";
 import { Callback_exports } from "./Callback.js";
 import { IdScope_exports } from "./IdScope.js";
 import { GenericId_exports } from "./GenericId.js";
 import { MiddlewareAttachment_exports } from "./MiddlewareAttachment.js";
-import { Identifier_exports } from "./Identifier.js";
 import { GroupSpec_exports } from "./GroupSpec.js";
 import { Spec_exports } from "./Spec.js";
 import { Component_exports } from "./Component.js";
 import { Env_exports } from "./Env.js";
-import { RuntimeAndFunctionType_exports } from "./RuntimeAndFunctionType.js";
-import { FunctionSpec_exports } from "./FunctionSpec.js";
 import { GroupPath_exports } from "./GroupPath.js";
 import { Http_exports } from "./Http.js";
 import { Manifest_exports } from "./Manifest.js";
+import { ManifestSection_exports } from "./ManifestSection.js";
 import { PaginationError_exports } from "./PaginationError.js";
+import { Profile_exports } from "./Profile.js";
 import { Refs_exports } from "./Refs.js";
 import { SchemaToValidator_exports } from "./SchemaToValidator.js";
 import { SystemFields_exports } from "./SystemFields.js";
 import { Table_exports } from "./Table.js";
 import { Types_exports } from "./Types.js";
 import { UserIdentity_exports } from "./UserIdentity.js";
-export { App_exports as App, Auth_exports as Auth, Callback_exports as Callback, Component_exports as Component, Env_exports as Env, FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Http_exports as Http, IdScope_exports as IdScope, Identifier_exports as Identifier, Lazy_exports as Lazy, Manifest_exports as Manifest, MiddlewareAttachment_exports as MiddlewareAttachment, MiddlewareSpec_exports as MiddlewareSpec, PaginationError_exports as PaginationError, PaginationOptions_exports as PaginationOptions, PaginationResult_exports as PaginationResult, Ref_exports as Ref, Refs_exports as Refs, RuntimeAndFunctionType_exports as RuntimeAndFunctionType, SchemaToValidator_exports as SchemaToValidator, Spec_exports as Spec, SystemFields_exports as SystemFields, Table_exports as Table, Types_exports as Types, UserIdentity_exports as UserIdentity };
+export { ActionCall_exports as ActionCall, App_exports as App, Auth_exports as Auth, Callback_exports as Callback, Component_exports as Component, Env_exports as Env, FunctionProvenance_exports as FunctionProvenance, FunctionSpec_exports as FunctionSpec, GenericId_exports as GenericId, GroupPath_exports as GroupPath, GroupSpec_exports as GroupSpec, Http_exports as Http, IdScope_exports as IdScope, Identifier_exports as Identifier, Lazy_exports as Lazy, Manifest_exports as Manifest, ManifestSection_exports as ManifestSection, MiddlewareAttachment_exports as MiddlewareAttachment, MiddlewareSpec_exports as MiddlewareSpec, PaginationError_exports as PaginationError, PaginationOptions_exports as PaginationOptions, PaginationResult_exports as PaginationResult, Profile_exports as Profile, Ref_exports as Ref, Refs_exports as Refs, RuntimeAndFunctionType_exports as RuntimeAndFunctionType, SchemaToValidator_exports as SchemaToValidator, Spec_exports as Spec, SystemFields_exports as SystemFields, Table_exports as Table, Types_exports as Types, UserIdentity_exports as UserIdentity };

package/dist/internal/scalarDocs.d.ts

@@ -0,0 +1,5 @@
+import * as HttpRouter from "effect/http/HttpRouter";
+import type * as HttpApi from "effect/http-api/HttpApi";
+import type * as HttpApiGroup from "effect/http-api/HttpApiGroup";
+export declare const scalarDocs: <Id extends string, Groups extends HttpApiGroup.Constraint>(api: HttpApi.HttpApi<Id, Groups>, path: `/${string}`) => import("effect/Layer").Layer<never, never, HttpRouter.HttpRouter>;
+//# sourceMappingURL=scalarDocs.d.ts.map

package/dist/internal/scalarDocs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalarDocs.d.ts","sourceRoot":"","sources":["../../src/internal/scalarDocs.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,UAAU,MAAM,wBAAwB,CAAC;AAErD,OAAO,KAAK,KAAK,OAAO,MAAM,yBAAyB,CAAC;AACxD,OAAO,KAAK,KAAK,YAAY,MAAM,8BAA8B,CAAC;AAuBlE,eAAO,MAAM,UAAU,GACrB,EAAE,SAAS,MAAM,EACjB,MAAM,SAAS,YAAY,CAAC,UAAU,OAEjC,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,MAAM,CAAC,QAC1B,IAAI,MAAM,EAAE,sEAuChB,CAAC"}

package/dist/internal/scalarDocs.js

@@ -0,0 +1,43 @@
+import * as Effect from "effect/Effect";
+import * as HttpRouter from "effect/http/HttpRouter";
+import * as HttpServerResponse from "effect/http/HttpServerResponse";
+import * as OpenApi from "effect/http-api/OpenApi";
+//#region src/internal/scalarDocs.ts
+const escape = (value) => value.replaceAll("&", "&amp;").replaceAll("<", "&lt;").replaceAll(">", "&gt;");
+const escapeAttribute = (value) => escape(value).replaceAll("\"", "&quot;").replaceAll("'", "&#39;");
+const escapeJson = (value) => JSON.stringify(value).replaceAll("<", "\\u003c").replaceAll("\u2028", "\\u2028").replaceAll("\u2029", "\\u2029");
+const scalarDocs = (api, path) => HttpRouter.use((router) => {
+	let response;
+	return router.add("GET", path, Effect.sync(() => {
+		if (response !== void 0) return response;
+		const spec = OpenApi.fromApi(api);
+		const description = (tag) => !spec.info.description ? "" : `<meta name="${tag}" content="${escapeAttribute(spec.info.description)}"/>`;
+		response = HttpServerResponse.html(`<!doctype html>
+<html>
+  <head>
+    <meta charset="utf-8" />
+    <title>${escape(spec.info.title)}</title>
+    ${description("description")}
+    ${description("og:description")}
+    <meta
+      name="viewport"
+      content="width=device-width, initial-scale=1" />
+  </head>
+  <body>
+    <div id="api-reference-container"></div>
+    <script src="${escapeAttribute("https://cdn.jsdelivr.net/npm/@scalar/api-reference@latest/dist/browser/standalone.min.js")}" crossorigin><\/script>
+    <script>
+      window.Scalar.createApiReference(document.getElementById('api-reference-container'), {
+        ...${escapeJson({ _integration: "html" })},
+        content: ${escapeJson(spec)}
+      })
+    <\/script>
+  </body>
+</html>`);
+		return response;
+	}));
+});
+//#endregion
+export { scalarDocs };
+
+//# sourceMappingURL=scalarDocs.js.map

package/dist/internal/scalarDocs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scalarDocs.js","names":[],"sources":["../../src/internal/scalarDocs.ts"],"sourcesContent":["import * as Effect from \"effect/Effect\";\nimport * as HttpRouter from \"effect/http/HttpRouter\";\nimport * as HttpServerResponse from \"effect/http/HttpServerResponse\";\nimport type * as HttpApi from \"effect/http-api/HttpApi\";\nimport type * as HttpApiGroup from \"effect/http-api/HttpApiGroup\";\nimport * as OpenApi from \"effect/http-api/OpenApi\";\n\nconst escape = (value: string) =>\n  value\n    .replaceAll(\"&\", \"&amp;\")\n    .replaceAll(\"<\", \"&lt;\")\n    .replaceAll(\">\", \"&gt;\");\n\nconst escapeAttribute = (value: string) =>\n  escape(value).replaceAll('\"', \"&quot;\").replaceAll(\"'\", \"&#39;\");\n\nconst escapeJson = (value: unknown) =>\n  JSON.stringify(value)\n    .replaceAll(\"<\", \"\\\\u003c\")\n    .replaceAll(\"\\u2028\", \"\\\\u2028\")\n    .replaceAll(\"\\u2029\", \"\\\\u2029\");\n\n// WORKAROUND: Effect 4.0.6's HttpApiScalar module imports its inline Scalar\n// script dynamically, and Convex's bundler then splits a schema that reaches it\n// into an imported chunk, which Convex refuses. This copies `layerCdn`'s page\n// byte for byte. Remove when `checkSchemaBundle.mjs` passes with\n// `HttpApiScalar.layerCdn` restored.\nexport const scalarDocs = <\n  Id extends string,\n  Groups extends HttpApiGroup.Constraint,\n>(\n  api: HttpApi.HttpApi<Id, Groups>,\n  path: `/${string}`,\n) =>\n  HttpRouter.use((router) => {\n    let response: HttpServerResponse.HttpServerResponse | undefined;\n    return router.add(\n      \"GET\",\n      path,\n      Effect.sync(() => {\n        if (response !== undefined) return response;\n        const spec = OpenApi.fromApi(api);\n        const description = (tag: string) =>\n          !spec.info.description\n            ? \"\"\n            : `<meta name=\"${tag}\" content=\"${escapeAttribute(spec.info.description)}\"/>`;\n        response = HttpServerResponse.html(`<!doctype html>\n<html>\n  <head>\n    <meta charset=\"utf-8\" />\n    <title>${escape(spec.info.title)}</title>\n    ${description(\"description\")}\n    ${description(\"og:description\")}\n    <meta\n      name=\"viewport\"\n      content=\"width=device-width, initial-scale=1\" />\n  </head>\n  <body>\n    <div id=\"api-reference-container\"></div>\n    <script src=\"${escapeAttribute(\"https://cdn.jsdelivr.net/npm/@scalar/api-reference@latest/dist/browser/standalone.min.js\")}\" crossorigin></script>\n    <script>\n      window.Scalar.createApiReference(document.getElementById('api-reference-container'), {\n        ...${escapeJson({ _integration: \"html\" })},\n        content: ${escapeJson(spec)}\n      })\n    </script>\n  </body>\n</html>`);\n        return response;\n      }),\n    );\n  });\n"],"mappings":";;;;;AAOA,MAAM,UAAU,UACd,MACG,WAAW,KAAK,OAAO,CAAC,CACxB,WAAW,KAAK,MAAM,CAAC,CACvB,WAAW,KAAK,MAAM;AAE3B,MAAM,mBAAmB,UACvB,OAAO,KAAK,CAAC,CAAC,WAAW,MAAK,QAAQ,CAAC,CAAC,WAAW,KAAK,OAAO;AAEjE,MAAM,cAAc,UAClB,KAAK,UAAU,KAAK,CAAC,CAClB,WAAW,KAAK,SAAS,CAAC,CAC1B,WAAW,UAAU,SAAS,CAAC,CAC/B,WAAW,UAAU,SAAS;AAOnC,MAAa,cAIX,KACA,SAEA,WAAW,KAAK,WAAW;CACzB,IAAI;CACJ,OAAO,OAAO,IACZ,OACA,MACA,OAAO,WAAW;EAChB,IAAI,aAAa,KAAA,GAAW,OAAO;EACnC,MAAM,OAAO,QAAQ,QAAQ,GAAG;EAChC,MAAM,eAAe,QACnB,CAAC,KAAK,KAAK,cACP,KACA,eAAe,IAAI,aAAa,gBAAgB,KAAK,KAAK,WAAW,EAAE;EAC7E,WAAW,mBAAmB,KAAK;;;;aAI9B,OAAO,KAAK,KAAK,KAAK,EAAE;MAC/B,YAAY,aAAa,EAAE;MAC3B,YAAY,gBAAgB,EAAE;;;;;;;mBAOjB,gBAAgB,0FAA0F,EAAE;;;aAGlH,WAAW,EAAE,cAAc,OAAO,CAAC,EAAE;mBAC/B,WAAW,IAAI,EAAE;;;;QAI5B;EACA,OAAO;CACT,CAAC,CACH;AACF,CAAC"}

package/package.json

@@ -1,9 +1,9 @@
 {
   "name": "@gaganref/confect-core",
-  "version": "10.3.1-fork.5",
+  "version": "10.3.1-fork.50",
   "peerDependencies": {
-    "convex": "^1.46.0",
-    "effect": "^4.0.0"
+    "convex": "^1.48.0",
+    "effect": ">=4.0.0 <4.1.0"
   },
   "description": "Shared specs and schemas used by all Confect packages",
   "author": "RJ Dellecese",

package/src/ActionCall.ts

@@ -0,0 +1,25 @@
+import * as Context from "effect/Context";
+import type * as Effect from "effect/Effect";
+import type * as Schema from "effect/Schema";
+import * as FunctionSpec from "./FunctionSpec.js";
+import * as MiddlewareSpec from "./MiddlewareSpec.js";
+import type * as Ref from "./Ref.js";
+
+export interface Call {
+  <Target extends Ref.AnyQuery | Ref.AnyMutation>(
+    target: Target,
+    ...args: Ref.OptionalArgs<NoInfer<Target>>
+  ): Effect.Effect<Ref.Returns<Target>, Ref.Error<Target> | Schema.SchemaError>;
+}
+
+export class ActionCall extends Context.Service<ActionCall, Call>()(
+  "@confect/core/ActionCall",
+) {}
+export class Middleware extends MiddlewareSpec.MiddlewareSpec<
+  Middleware,
+  { provides: ActionCall }
+>()("@confect/core/ActionCall/Middleware", {
+  functionTypes: { query: false, mutation: false, action: true },
+}) {}
+
+export const profile = FunctionSpec.extend()({ middleware: [Middleware] });

package/src/App.ts

@@ -3,6 +3,7 @@ import type { Infer, Validator } from "convex/values";
 import type * as HttpApi from "effect/http-api/HttpApi";
 import * as Predicate from "effect/Predicate";
 import type * as Env from "./Env.js";
+import type * as MiddlewareSpec from "./MiddlewareSpec.js";
 
 const TypeId = "~@confect/core/App";
 const MountTypeId = "~@confect/core/App/Mount";
@@ -48,13 +49,21 @@ type HttpOptions =
   | { readonly httpPrefix?: never; readonly api?: never }
   | { readonly httpPrefix: HttpPrefix; readonly api?: Api };
 
-export type Options<D extends Definition> = HttpOptions &
-  ([RequiredKeys<EnvOf<D>>] extends [never]
+export type Options<D extends Definition> = HttpOptions & {
+  /**
+   * The package specifier of the module whose `register(t, name)` the generated
+   * test registry calls for this mount, in place of the component package's own
+   * `<package>/test`. The kit registers the mount's children.
+   */
+  readonly testing?: string;
+} & ([RequiredKeys<EnvOf<D>>] extends [never]
     ? { readonly env?: Bindings<EnvOf<D>> }
     : { readonly env: Bindings<EnvOf<D>> });
 
 type Exact<D extends Definition, O> = {
-  readonly [K in Exclude<keyof O, "env" | "httpPrefix" | "api">]: never;
+  readonly [
+    K in Exclude<keyof O, "env" | "httpPrefix" | "api" | "testing">
+  ]: never;
 } & (O extends { readonly env: infer B }
   ? {
       readonly env: { readonly [K in Exclude<keyof B, keyof EnvOf<D>>]: never };
@@ -66,6 +75,7 @@ export interface MountData {
   readonly httpPrefix: HttpPrefix | undefined;
   readonly api: Api | undefined;
   readonly env: Readonly<Record<string, string | Env.AnyEntry | undefined>>;
+  readonly testing: string | undefined;
 }
 
 /**
@@ -106,6 +116,7 @@ export function mount(
     readonly httpPrefix?: HttpPrefix;
     readonly api?: Api;
     readonly env?: MountData["env"];
+    readonly testing?: string;
   },
 ): AnyMount {
   return {
@@ -114,6 +125,7 @@ export function mount(
     httpPrefix: options?.httpPrefix,
     api: options?.api,
     env: options?.env ?? {},
+    testing: options?.testing,
     // The overloads above carry the precise types; this body serves both.
   } as AnyMount;
 }
@@ -144,6 +156,7 @@ export interface App<
   readonly kind: K;
   readonly env: E;
   readonly mounts: M;
+  readonly requiresMiddleware: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;
 }
 
 export type Any = App<Env.Any, Readonly<Record<string, AnyMount>>>;
@@ -175,6 +188,7 @@ export const make = <
 >(
   options: {
     readonly env: E;
+    readonly requiresMiddleware?: ReadonlyArray<MiddlewareSpec.AnyMiddlewareSpec>;
     readonly mounts?: M & OwnedBy<NoInfer<Env.Name<E>>, NoInfer<M>>;
   } & ([K] extends ["app"] ? { readonly kind?: K } : { readonly kind: K }),
 ): App<E, M, K> => ({
@@ -182,6 +196,7 @@ export const make = <
   kind: options.kind ?? ("app" as K),
   env: options.env,
   mounts: options.mounts ?? ({} as M),
+  requiresMiddleware: options.requiresMiddleware ?? [],
 });
 
 export const isApp = (u: unknown): u is Any =>
@@ -207,4 +222,5 @@ export const mounts = (
     httpPrefix: installed.httpPrefix,
     api: installed.api,
     env: installed.env,
+    testing: installed.testing,
   }));

package/src/Auth.ts

@@ -1,9 +1,11 @@
 import type { AuthProvider } from "convex/server";
 import * as Predicate from "effect/Predicate";
 import type * as App from "./App.js";
+import type * as Env from "./Env.js";
 import type { TypeError } from "./Types.js";
 
 const TypeId = "~@confect/core/Auth";
+const CloudUrlTypeId = "~@confect/core/Auth/CloudUrl";
 const SiteUrlTypeId = "~@confect/core/Auth/SiteUrl";
 
 /**
@@ -15,19 +17,59 @@ export interface SiteUrl {
   readonly path: string;
 }
 
-type Url = string | SiteUrl;
+/**
+ * The deployment's cloud URL (`CONVEX_CLOUD_URL`) plus a path.
+ */
+export interface CloudUrl {
+  readonly [CloudUrlTypeId]: typeof CloudUrlTypeId;
+  readonly path: string;
+}
 
-type WithSiteUrl<P> = P extends unknown
+type Url =
+  | string
+  | SiteUrl
+  | CloudUrl
+  | Env.Entry<string, string, string, false>;
+
+type WithUrls<P> = P extends unknown
   ? {
-      [K in keyof P]: K extends "domain" | "issuer" | "jwks" ? Url : P[K];
+      [K in keyof P]: K extends "domain" | "issuer" | "jwks" | "applicationID"
+        ? Url
+        : P[K];
     }
   : never;
 
 /**
- * Convex's `AuthProvider`, with `domain`, `issuer` and `jwks` also taking a
- * {@link SiteUrl}.
+ * Convex's provider list with deployment URLs and required, public env strings.
+ */
+export type Provider = WithUrls<AuthProvider> & {
+  /**
+   * Application-defined token family, copied to the runtime provider data.
+   */
+  readonly family?: string;
+  /**
+   * Application-defined issuer name, for example a trusted service.
+   */
+  readonly name?: string;
+};
+
+/**
+ * The cloud URL, or a path under it, resolved when Convex loads auth config.
  */
-export type Provider = WithSiteUrl<AuthProvider>;
+export const cloudUrl = (path: `/${string}` | "" = ""): CloudUrl => ({
+  [CloudUrlTypeId]: CloudUrlTypeId,
+  path,
+});
+
+/**
+ * The path of a cloud URL placeholder, or `undefined` for another value.
+ */
+export const cloudUrlPath = (u: unknown): string | undefined =>
+  Predicate.hasProperty(u, CloudUrlTypeId) &&
+  Predicate.hasProperty(u, "path") &&
+  typeof u.path === "string"
+    ? u.path
+    : undefined;
 
 export interface Auth<A extends App.Any> {
   readonly [TypeId]: typeof TypeId;

package/src/Callback.ts

@@ -145,6 +145,7 @@ const fromText = <Contract_ extends Any>(
       [],
       // Convex types a handle as a string that is also a function reference.
       text as unknown as FunctionReference<any, any>,
+      contract.functionType,
     ),
     { [HandleTypeId]: contract.id },
   ) as unknown as Handle<Contract_>;

package/src/Component.ts

@@ -358,6 +358,8 @@ export const bind = <
                 spec: rebaseMiddleware(attachment.spec),
               })),
               nativeRef,
+              ref.functionType,
+              ref.reservedArgument,
             );
           }),
           Match.exhaustive,