@zapier/kitcore 0.19.0 → 0.20.0

package/dist/index.d.ts

@@ -1802,6 +1802,10 @@ type DisposeFn = (bag: {
 /** The surfaced shape of one re-exported child: a method's callable or a
  * property's value. */
 type ExportSurface<TChild extends AnyLeafPlugin> = TChild extends MethodPlugin<any, infer TInput, infer TOutput, infer TPositional> ? SurfaceCall<TInput, TOutput, TPositional> : TChild extends PropertyPlugin<any, infer TValue> ? TValue : never;
+/** The bindings a module surfaces: each export under its binding name. */
+type AggregateBindings<TExports extends Record<string, AnyLeafPlugin>> = {
+    [K in keyof TExports]: ExportSurface<TExports[K]>;
+};
 /**
  * The SDK surface a plugin contributes, derived from its descriptor: a
  * method's callable or a property's value under its name, or an aggregate's
@@ -1823,9 +1827,7 @@ type PluginSurface<P extends AnyPlugin> = P extends MethodPlugin<infer TName, in
     [K in TName]: SurfaceCall<TInput, TOutput, TPositional>;
 } : P extends PropertyPlugin<infer TName, infer TValue> ? {
     [K in TName]: TValue;
-} : P extends AggregatePlugin<string, infer TExports> ? {
-    [K in keyof TExports]: ExportSurface<TExports[K]>;
-} : never;
+} : P extends AggregatePlugin<string, infer TExports> ? AggregateBindings<TExports> : never;
 /**
  * The framework-owned access an SDK carries beyond its string surface.
  *
@@ -1861,9 +1863,7 @@ type PropertySdk<TName extends string, TValue> = {
  * surface entry, typed from the re-exported child (callable for a method,
  * value for a property).
  */
-type AggregateSdk<TExports extends Record<string, AnyLeafPlugin>> = {
-    [K in keyof TExports]: ExportSurface<TExports[K]>;
-} & SdkInternals;
+type AggregateSdk<TExports extends Record<string, AnyLeafPlugin>> = AggregateBindings<TExports> & SdkInternals;
 /**
  * The surface a plugin adds to an SDK when passed to `addPlugin`: a method
  * under its name, a property's value, an aggregate's export bindings, or a
@@ -1880,12 +1880,59 @@ type AddedSurface<P> = [P] extends [AnyPlugin] ? [
 type LiteralString<T extends string> = string extends T ? never : T;
 declare const REQUIRES: unique symbol;
 declare const PROVIDES: unique symbol;
-/** Phantom carriers for the requirements ledger; never present at runtime. */
-interface PluginSummary<TRequires extends string = never, TProvides extends string = never> {
+declare const REQUIRED_CONTRACTS: unique symbol;
+declare const PROVIDED_CONTRACTS: unique symbol;
+/**
+ * One id's contract, as the ledger compares it: the binding a consumer of that
+ * id sees. A method's is its {@link SurfaceCall}, a property's is its value, an
+ * aggregate's is its export-bindings record.
+ *
+ * The surfaced binding, not the raw `run`, is the thing compared, because that
+ * is what a consumer actually calls. Under `strictFunctionTypes` that gives the
+ * useful rule: a provider may accept WIDER input and must return a SUBTYPE of
+ * the declared output.
+ */
+interface ContractEntry<TId extends string = string, TBinding = unknown> {
+    readonly id: TId;
+    readonly binding: TBinding;
+}
+/**
+ * The input a contract compares on. A `void` input means "the caller passes
+ * nothing", and the only value that expresses is `undefined`. Comparing the
+ * literal `void` would reject nearly every provider, because `void` is
+ * assignable to almost nothing, so a provider taking an optional argument
+ * would fail a declaration it serves perfectly. A provider that demands real
+ * input is still rejected: `undefined` is not assignable to it.
+ */
+type ContractInput<TInput> = [TInput] extends [void] ? undefined : TInput;
+/** The contract binding a method contributes: its surfaced call signature. */
+type MethodContract<TInput, TOutput, TPositional extends readonly string[] = readonly []> = SurfaceCall<ContractInput<TInput>, TOutput, TPositional>;
+/**
+ * The contract input of a method whose surfaced call carries framework keys on
+ * top of the author's own (`item` adds `CallOutputOptions`, `list` adds those
+ * plus `PaginatedCallInput`).
+ *
+ * A `run` that declares no input infers `unknown`, and intersecting `unknown`
+ * with those keys collapses it to an all-optional object. Comparing against
+ * THAT rejects any declared input sharing no key with it (TypeScript's
+ * weak-type rule), even though the provider reads no input at all and serves
+ * every caller. Keep it `unknown` in that case.
+ */
+type CallContractInput<TInput, TFrameworkInput> = [unknown] extends [
+    TInput
+] ? unknown : TInput & TFrameworkInput;
+/** Phantom carriers for the requirements and contract ledgers; never present at
+ * runtime. The contract parameters default to `never`, so a summary written
+ * with two arguments carries no contract and is unchanged. */
+interface PluginSummary<TRequires extends string = never, TProvides extends string = never, TRequiredContracts extends ContractEntry = never, TProvidedContracts extends ContractEntry = never> {
     /** Declaration ids the plugin's subgraph still needs. @internal */
     readonly [REQUIRES]?: TRequires;
     /** Ids the plugin and its subgraph provide. @internal */
     readonly [PROVIDES]?: TProvides;
+    /** Contracts the plugin's subgraph declared, by id. @internal */
+    readonly [REQUIRED_CONTRACTS]?: TRequiredContracts;
+    /** Contracts the plugin's subgraph implements, by id. @internal */
+    readonly [PROVIDED_CONTRACTS]?: TProvidedContracts;
 }
 /**
  * The id a stand-in declares, carried separately from the requires ledger.
@@ -1914,9 +1961,20 @@ type RequiresOf<P> = P extends {
 type ProvidesOf$1<P> = P extends {
     readonly [PROVIDES]?: infer R;
 } ? Extract<R, string> : never;
+/** The contracts a plugin's subgraph declared (reads the phantom carrier). */
+type RequiredContractsOf<P> = P extends {
+    readonly [REQUIRED_CONTRACTS]?: infer C;
+} ? Extract<C, ContractEntry> : never;
+/** The contracts a plugin's subgraph implements (reads the phantom carrier). */
+type ProvidedContractsOf<P> = P extends {
+    readonly [PROVIDED_CONTRACTS]?: infer C;
+} ? Extract<C, ContractEntry> : never;
 /** Union the requires / provides across an inline imports or exports tuple. */
 type RequiresIn<T extends readonly unknown[]> = RequiresOf<T[number]>;
 type ProvidesIn<T extends readonly unknown[]> = ProvidesOf$1<T[number]>;
+/** Union the contracts across an inline imports or exports tuple. */
+type RequiredContractsIn<T extends readonly unknown[]> = RequiredContractsOf<T[number]>;
+type ProvidedContractsIn<T extends readonly unknown[]> = ProvidedContractsOf<T[number]>;
 /**
  * Reject an `imports` / `exports` value whose type widened to a non-tuple
  * `Plugin[]`: a literal tuple has a literal `length`, a widened array has
@@ -1927,14 +1985,6 @@ type ProvidesIn<T extends readonly unknown[]> = ProvidesOf$1<T[number]>;
 type StaticList<T extends readonly unknown[]> = number extends T["length"] ? {
     readonly __kitcoreError: "must be a fixed inline list of plugins, not a widened Plugin[]; declare them inline so the dependency graph stays statically known";
 } : T;
-/** A leaf provides its own name plus whatever its imports provide. */
-type LeafProvides<TName extends string, TImports extends readonly unknown[]> = TName | ProvidesIn<TImports>;
-/** A leaf requires its imports' requirements, minus what it provides. */
-type LeafRequires<TName extends string, TImports extends readonly unknown[]> = Exclude<RequiresIn<TImports>, LeafProvides<TName, TImports>>;
-/** An aggregate provides its own name plus its imports' and exports' provides. */
-type AggregateProvides<TName extends string, TImports extends readonly unknown[], TExports extends readonly unknown[]> = TName | ProvidesIn<TImports> | ProvidesIn<TExports>;
-/** An aggregate requires its imports' and exports' requirements, minus provides. */
-type AggregateRequires<TName extends string, TImports extends readonly unknown[], TExports extends readonly unknown[]> = Exclude<RequiresIn<TImports> | RequiresIn<TExports>, AggregateProvides<TName, TImports, TExports>>;
 /** A plugin's id as a type: `namespace/name`, or bare `name` when the namespace
  * is empty. The ledger keys on this (matching runtime id resolution), not the
  * bare name, so same-named plugins in different namespaces stay distinct. */
@@ -1942,10 +1992,83 @@ type IdOf<TNamespace extends string, TName extends string> = TNamespace extends
 /** The binding name of an id: its last `/`-separated segment. The inverse view
  * of `IdOf`, used by `declare*` to derive the bare binding from a full id. */
 type LastSegment<TId extends string> = TId extends `${string}/${infer Rest}` ? LastSegment<Rest> : TId;
-/** The `PluginSummary` a leaf carries, keyed on its full id. */
-type LeafSummary<TNamespace extends string, TName extends string, TImports extends readonly unknown[]> = PluginSummary<LeafRequires<IdOf<TNamespace, TName>, TImports>, LeafProvides<IdOf<TNamespace, TName>, TImports>>;
-/** The `PluginSummary` an aggregate carries, keyed on its full id. */
-type AggregateSummary<TNamespace extends string, TName extends string, TImports extends readonly unknown[], TExports extends readonly unknown[]> = PluginSummary<AggregateRequires<IdOf<TNamespace, TName>, TImports, TExports>, AggregateProvides<IdOf<TNamespace, TName>, TImports, TExports>>;
+/**
+ * The `PluginSummary` a leaf carries, keyed on its full id. `TBinding` is the
+ * surfaced binding the leaf implements (its call signature or its value).
+ *
+ * `TBinding` is REQUIRED, deliberately. Defaulting it to `never` would make a
+ * three-argument annotation contribute no contract, so a hand-written
+ * annotation would keep compiling and silently drop the leaf out of the
+ * compatibility check.
+ * A missing argument is a compile error instead.
+ */
+type LeafSummary<TNamespace extends string, TName extends string, TImports extends readonly unknown[], TBinding> = LeafSummaryById<IdOf<TNamespace, TName>, TImports, TBinding>;
+/** {@link LeafSummary} for a leaf whose full id is already known rather than
+ * composed from a namespace and a name, which is what the by-reference
+ * `define*(ref, config)` forms have: the id comes off the stand-in. */
+type LeafSummaryById<TId extends string, TImports extends readonly unknown[], TBinding> = LeafSummaryOf<TId, RequiresIn<TImports>, ProvidesIn<TImports>, RequiredContractsIn<TImports>, ProvidedContractsIn<TImports>, TBinding>;
+/**
+ * {@link LeafSummaryById} with each import ledger already read, so it is read
+ * ONCE per leaf. See the rule on {@link AggregateSummaryOf}.
+ */
+type LeafSummaryOf<TId extends string, TRequires extends string, TProvides extends string, TRequiredContracts extends ContractEntry, TProvidedContracts extends ContractEntry, TBinding> = PluginSummary<Exclude<TRequires, TId | TProvides>, TId | TProvides, TRequiredContracts, ContractEntry<TId, TBinding> | TProvidedContracts>;
+/**
+ * The `PluginSummary` an aggregate carries, keyed on its full id.
+ *
+ * It contributes no contract for its own id. A module's contract IS its
+ * exports, and each export already carries one keyed by its own id, so
+ * `declarePlugin` is checked against the real module leaf by leaf. Carrying the
+ * whole export-bindings record as a second entry would only add the binding
+ * NAMES to the comparison, and it costs a mapped type over every export inside
+ * every enclosing summary. That cost grows with the graph, for nothing.
+ */
+type AggregateSummary<TNamespace extends string, TName extends string, TImports extends readonly unknown[], TExports extends readonly unknown[]> = AggregateSummaryOf<IdOf<TNamespace, TName>, RequiresIn<TImports> | RequiresIn<TExports>, ProvidesIn<TImports> | ProvidesIn<TExports>, RequiredContractsIn<TImports> | RequiredContractsIn<TExports>, ProvidedContractsIn<TImports> | ProvidedContractsIn<TExports>>;
+/**
+ * {@link AggregateSummary} with each child ledger already read, so it is read
+ * ONCE per aggregate.
+ *
+ * THE RULE FOR EVERY SUMMARY: read each child ledger ONCE, at the call site,
+ * and pass it in. A summary's phantom slots must never contain an expression
+ * that reads the children again.
+ *
+ * Duplicating a read makes the cost grow exponentially with graph depth rather
+ * than linearly, and a deep graph then fails to compile at all. TypeScript has
+ * no way to name an intermediate type, so a helper that takes the ledgers as
+ * parameters is the only way to read each one exactly once.
+ *
+ * So `Exclude<TRequires, TId | TProvides>` is safe here: `TProvides` is a
+ * parameter, already resolved, shared by both slots. Inlining it back to
+ * `Exclude<RequiresIn<TImports>, TId | ProvidesIn<TImports>>` reads the
+ * children twice and brings the exponential back. Do not "simplify" these
+ * helpers away. `composition-depth.test.ts` and `import-chain-depth.test.ts`
+ * are the canaries.
+ */
+type AggregateSummaryOf<TId extends string, TRequires extends string, TProvides extends string, TRequiredContracts extends ContractEntry, TProvidedContracts extends ContractEntry> = PluginSummary<Exclude<TRequires, TId | TProvides>, TId | TProvides, TRequiredContracts, TProvidedContracts>;
+/**
+ * The `PluginSummary` a re-export synthetic forwards from its source: the
+ * source's own ledgers, unchanged, since `selectExports` / `omitExports` change
+ * which bindings are visible and never which ids the graph reaches. Each read
+ * appears once, per the rule on {@link AggregateSummaryOf}.
+ *
+ * `TSource` is inferred from an intersection parameter, which is fragile. If it
+ * ever stops binding the source's summary it falls back to `unknown`, these
+ * ledgers come out empty, and every check behind the helper switches off
+ * SILENTLY, with nothing failing to compile. The forwarding case in
+ * `select-exports.test.ts` is the only thing that catches that, so it is
+ * load-bearing rather than illustrative.
+ */
+type ForwardedSummary<TSource> = PluginSummary<RequiresOf<TSource>, ProvidesOf$1<TSource>, RequiredContractsOf<TSource>, ProvidedContractsOf<TSource>>;
+/** The `PluginSummary` a `declarePlugin` declaration carries: its id in the
+ * requirements ledger, plus the contracts its export stand-ins declared, read
+ * once at the call site per the rule on {@link AggregateSummaryOf}. */
+type AggregateDeclarationSummary<TId extends string, TRequiredContracts extends ContractEntry> = PluginSummary<TId, never, TRequiredContracts, never>;
+/** The `PluginSummary` a required declaration carries: its id in the
+ * requirements ledger, and the contract every provider of that id must honor. */
+type DeclarationSummary<TId extends string, TBinding> = PluginSummary<TId, never, ContractEntry<TId, TBinding>, never>;
+/** The optional twin of {@link DeclarationSummary}: it claims no slot, so it is
+ * never a missing dependency, but a provider that DOES appear under the id
+ * still has to honor the contract. */
+type OptionalDeclarationSummary<TId extends string, TBinding> = PluginSummary<never, never, ContractEntry<TId, TBinding>, never>;
 /**
  * The runtime-input channel for `createSdk`. `configuration` maps plugin ids to
  * immutable values; each entry materializes as a static value property under
@@ -1960,20 +2083,80 @@ type AggregateSummary<TNamespace extends string, TName extends string, TImports
 interface CreateSdkOptions {
     configuration?: Record<string, unknown>;
 }
-/** Surfaced by `createSdk` when reachable declarations have no provider. */
-interface MissingDependencies<TIds extends string> {
+/**
+ * Surfaced by `createSdk` when reachable declarations have no provider.
+ *
+ * The guard names the property it checks (`CompletenessOf`) and the brand
+ * names the fault, so the pair shares no root. That is deliberate: "missing"
+ * tells a reader what to do, where "incomplete" only restates the property.
+ */
+interface MissingProviders<TIds extends string> {
     readonly __kitcoreError: "Missing concrete provider(s) for required declaration id(s)";
     readonly missing: TIds;
 }
 /**
  * `unknown` when every reachable declaration is provided, otherwise a
- * `MissingDependencies` brand. `createSdk` takes `root: P & CompletenessOf<P>`,
+ * `MissingProviders` brand. `createSdk` takes `root: P & CompletenessOf<P>`,
  * so a complete root infers `P` unchanged (intersect `unknown`) while an
  * incomplete one fails to assign (the argument lacks `missing`).
  */
 type CompletenessOf<P> = [
     Exclude<RequiresOf<P>, ProvidesOf$1<P>>
-] extends [never] ? unknown : MissingDependencies<Exclude<RequiresOf<P>, ProvidesOf$1<P>>>;
+] extends [never] ? unknown : MissingProviders<Exclude<RequiresOf<P>, ProvidesOf$1<P>>>;
+/** The provided entries registered under one id. */
+type ProvidersFor<TProvided extends ContractEntry, TId extends string> = Extract<TProvided, {
+    readonly id: TId;
+}>;
+/**
+ * The ids whose reachable providers do not all honor the declared contract.
+ *
+ * EVERY provider under an id must honor it, not just one: `declareDefault` lets
+ * a default coexist with an explicit provider, so "some compatible provider
+ * exists" would pass a good default beside a bad explicit one while the runtime
+ * picks the bad one.
+ *
+ * An id with no provider yields nothing here. That is `CompletenessOf`'s
+ * report, and two errors for one cause read worse than one.
+ */
+type IncompatibleIds<TRequired extends ContractEntry, TProvided extends ContractEntry> = TRequired extends ContractEntry ? MismatchedProviders<TRequired, ProvidersFor<TProvided, TRequired["id"]>> : never;
+/** The required id, once per provider of it that fails the contract. An id with
+ * no provider yields `never` here, since a distributive conditional over
+ * `never` is `never`. */
+type MismatchedProviders<TRequired extends ContractEntry, TCandidate extends ContractEntry> = TCandidate extends ContractEntry ? [TCandidate["binding"]] extends [TRequired["binding"]] ? never : ServesEveryDeclaredCall<TCandidate["binding"], TRequired["binding"]> extends true ? never : TRequired["id"] : never;
+/** The keys a caller of `T` must supply. */
+type RequiredKeys<T> = keyof {
+    [K in keyof T as {} extends Pick<T, K> ? never : K]: unknown;
+};
+/**
+ * Rescues a provider that whole-function assignability rejects for a reason
+ * that does not apply here.
+ *
+ * TypeScript's weak-type rule refuses to relate two object types that share no
+ * properties, even when the target needs none of them. So a declaration
+ * promising `{ search: string }` failed against a provider taking
+ * `{ locale?: string }`, though that provider requires nothing and reads
+ * nothing the declaration sends. That contradicts the rule this check is built
+ * on, which is that a provider may accept WIDER input.
+ *
+ * The escape stays sound by demanding all three: the output is still a subtype,
+ * the provider requires no input field, and the two inputs share no key, so
+ * there is no field the provider can read at a type it does not expect.
+ */
+type ServesEveryDeclaredCall<TProvided, TRequired> = TRequired extends (...args: infer TDeclaredArgs) => infer TDeclaredOut ? TProvided extends (...args: infer TProviderArgs) => infer TProviderOut ? [TProviderOut] extends [TDeclaredOut] ? [TDeclaredArgs] extends [readonly [unknown?]] ? [TProviderArgs] extends [readonly [unknown?]] ? [
+    Extract<keyof NonNullable<TDeclaredArgs[0]>, keyof NonNullable<TProviderArgs[0]>>
+] extends [never] ? [RequiredKeys<NonNullable<TProviderArgs[0]>>] extends [never] ? true : false : false : false : false : false : false : false;
+/** Surfaced by `createSdk` when a provider contradicts its declaration. */
+interface IncompatibleProviders<TIds extends string> {
+    readonly __kitcoreError: "Provider(s) do not match the contract declared for the id(s); a provider may accept wider input but must return a subtype of the declared output";
+    readonly incompatible: TIds;
+}
+/**
+ * `unknown` when every provided id honors the contract declared for it,
+ * otherwise an `IncompatibleProviders` brand. `createSdk` takes
+ * `root: P & CompletenessOf<P> & CompatibilityOf<P>`, so a sound graph infers
+ * `P` unchanged (intersect `unknown`) while an unsound one fails to assign.
+ */
+type CompatibilityOf<P> = IncompatibleIds<RequiredContractsOf<P>, ProvidedContractsOf<P>> extends infer TIds extends string ? [TIds] extends [never] ? unknown : IncompatibleProviders<TIds> : never;
 /** Recover the materialized SDK type for a checked root (the summary that
  * rides on the `define*` return is transparent to these). */
 type MethodSdkOf<P> = P extends MethodPlugin<infer TName, infer TInput, infer TOutput, infer TPos> ? Sdk$1<TName, TInput, TOutput, TPos> : never;
@@ -2609,7 +2792,7 @@ declare function defineMethod<const TName extends string, TInput, TOutput, const
         input?: unknown;
     }) => void | Promise<void>;
     run: (bag: MethodRunBag<ImportsOf<TImports>, TInput, TState>) => TOutput;
-} & LeafMetaFields): MethodPlugin<TName, TInput, TOutput, TPositional> & LeafSummary<TNamespace, TName, TImports>;
+} & LeafMetaFields): MethodPlugin<TName, TInput, TOutput, TPositional> & LeafSummary<TNamespace, TName, TImports, MethodContract<TInput, TOutput, TPositional>>;
 declare function defineMethod<const TName extends string, TInput, TResponse extends StrictItem<TResponse>, TData = DataOf<TResponse>, const TImports extends ImportsInput = readonly [], const TNamespace extends string = "", TState = undefined>(config: {
     name: TName;
     namespace?: TNamespace;
@@ -2633,7 +2816,10 @@ declare function defineMethod<const TName extends string, TInput, TResponse exte
 } & LeafMetaFields): MethodPlugin<TName, TInput & CallOutputOptions, Promise<{
     data: TData;
     meta?: ResponseMeta;
-}>, readonly [], ItemRunInput<TInput>> & LeafSummary<TNamespace, TName, TImports>;
+}>, readonly [], ItemRunInput<TInput>> & LeafSummary<TNamespace, TName, TImports, MethodContract<CallContractInput<TInput, CallOutputOptions>, Promise<{
+    data: TData;
+    meta?: ResponseMeta;
+}>>>;
 declare function defineMethod<const TName extends string, TInput, TResponse extends StrictPage$1<TResponse>, TItem = ItemOf$1<TResponse>, const TImports extends ImportsInput = readonly [], const TNamespace extends string = "", TState = undefined>(config: {
     name: TName;
     namespace?: TNamespace;
@@ -2656,7 +2842,7 @@ declare function defineMethod<const TName extends string, TInput, TResponse exte
         input?: unknown;
     }) => void | Promise<void>;
     run: (bag: MethodRunBag<ImportsOf<TImports>, TInput & PageFetchInput, TState>) => TResponse | Promise<TResponse>;
-} & LeafMetaFields): MethodPlugin<TName, TInput & PaginatedCallInput & CallOutputOptions, PaginatedSdkResult<TItem>, readonly [], ListRunInput<TInput>> & LeafSummary<TNamespace, TName, TImports>;
+} & LeafMetaFields): MethodPlugin<TName, TInput & PaginatedCallInput & CallOutputOptions, PaginatedSdkResult<TItem>, readonly [], ListRunInput<TInput>> & LeafSummary<TNamespace, TName, TImports, MethodContract<CallContractInput<TInput, PaginatedCallInput & CallOutputOptions>, PaginatedSdkResult<TItem>>>;
 declare function defineMethod<const TName extends string, TInput, TResponse, TItem, const TImports extends ImportsInput = readonly [], const TNamespace extends string = "", TState = undefined>(config: {
     name: TName;
     namespace?: TNamespace;
@@ -2679,7 +2865,7 @@ declare function defineMethod<const TName extends string, TInput, TResponse, TIt
         input?: unknown;
     }) => void | Promise<void>;
     run: (bag: MethodRunBag<ImportsOf<TImports>, TInput & PageFetchInput, TState>) => TResponse | Promise<TResponse>;
-} & LeafMetaFields): MethodPlugin<TName, TInput & PaginatedCallInput & CallOutputOptions, PaginatedSdkResult<TItem>, readonly [], ListRunInput<TInput>> & LeafSummary<TNamespace, TName, TImports>;
+} & LeafMetaFields): MethodPlugin<TName, TInput & PaginatedCallInput & CallOutputOptions, PaginatedSdkResult<TItem>, readonly [], ListRunInput<TInput>> & LeafSummary<TNamespace, TName, TImports, MethodContract<CallContractInput<TInput, PaginatedCallInput & CallOutputOptions>, PaginatedSdkResult<TItem>>>;
 declare function defineMethod<const TName extends string, TInput, TOutput, const TId extends string, const TImports extends ImportsInput = readonly [], TState = undefined>(ref: MethodPlugin<TName, TInput, TOutput> & StandInId<TId> & RefFormRawOnly<TOutput>, config: {
     imports?: TImports & StaticList<TImports>;
     inputSchema?: z.ZodType<TInput>;
@@ -2695,7 +2881,7 @@ declare function defineMethod<const TName extends string, TInput, TOutput, const
         input?: unknown;
     }) => void | Promise<void>;
     run: (bag: MethodRunBag<ImportsOf<TImports>, NoInfer<TInput>, TState>) => NoInfer<TOutput>;
-} & LeafMetaFields): MethodPlugin<TName, TInput, TOutput> & PluginSummary<LeafRequires<TId, TImports>, LeafProvides<TId, TImports>>;
+} & LeafMetaFields): MethodPlugin<TName, TInput, TOutput> & LeafSummaryById<TId, TImports, MethodContract<TInput, TOutput>>;
 /**
  * Patch how a surface PRESENTS an already-defined method, by reference. Pass
  * the method (or its `declareMethod` stand-in) and any of
@@ -2885,7 +3071,7 @@ declare function defineFormatter<const TImports extends ImportsInput = readonly
  */
 declare function declareMethod<const TId extends string, TInput = unknown, TOutput = unknown>(config: {
     id: LiteralString<TId>;
-}): MethodPlugin<LastSegment<TId>, TInput, TOutput> & PluginSummary<TId, never> & StandInId<TId>;
+}): MethodPlugin<LastSegment<TId>, TInput, TOutput> & DeclarationSummary<TId, MethodContract<TInput, TOutput>> & StandInId<TId>;
 /**
  * Declare an OPTIONAL stand-in for a method registered elsewhere: the method twin
  * of `declareOptionalProperty`. Unlike `declareMethod`, an unsatisfied optional
@@ -2898,7 +3084,7 @@ declare function declareOptionalMethod<const TId extends string, TInput = unknow
     id: LiteralString<TId>;
 }): MethodPlugin<LastSegment<TId>, TInput, TOutput> & {
     optional: true;
-} & PluginSummary<never, never> & StandInId<TId>;
+} & OptionalDeclarationSummary<TId, MethodContract<TInput, TOutput>> & StandInId<TId>;
 /**
  * Define a property leaf. Either a static `value` or a computed `get`, which
  * re-runs live on each read; an optional `setup` runs once at `createSdk`
@@ -2910,7 +3096,7 @@ declare function defineProperty<const TName extends string, TValue, const TNames
     name: TName;
     namespace?: TNamespace;
     value: TValue;
-} & LeafMetaFields): PropertyPlugin<TName, TValue> & PluginSummary<never, IdOf<TNamespace, TName>>;
+} & LeafMetaFields): PropertyPlugin<TName, TValue> & LeafSummary<TNamespace, TName, readonly [], TValue>;
 declare function defineProperty<const TName extends string, TValue, const TImports extends ImportsInput = readonly [], const TNamespace extends string = "", TState = undefined>(config: {
     name: TName;
     namespace?: TNamespace;
@@ -2937,7 +3123,7 @@ declare function defineProperty<const TName extends string, TValue, const TImpor
     /** Templated registry members for this property's dynamic sub-surface (e.g.
      * a proxy): each a bodyless declaration keyed by `path` instead of `name`. */
     dynamicMembers?: readonly DynamicMember[];
-} & LeafMetaFields): PropertyPlugin<TName, TValue> & LeafSummary<TNamespace, TName, TImports>;
+} & LeafMetaFields): PropertyPlugin<TName, TValue> & LeafSummary<TNamespace, TName, TImports, TValue>;
 /**
  * Provide a value for a declared property BY REFERENCE: pass the
  * `declareProperty` / `declareOptionalProperty` stand-in instead of respelling
@@ -2948,7 +3134,7 @@ declare function defineProperty<const TName extends string, TValue, const TImpor
  */
 declare function defineProperty<const TName extends string, TValue, const TId extends string>(ref: PropertyPlugin<TName, TValue> & StandInId<TId>, config: {
     value: NoInfer<TValue>;
-} & LeafMetaFields): PropertyPlugin<TName, TValue> & PluginSummary<never, TId>;
+} & LeafMetaFields): PropertyPlugin<TName, TValue> & PluginSummary<never, TId, never, ContractEntry<TId, TValue>>;
 /**
  * Declare a stand-in for a property registered elsewhere (a configured factory
  * plugin, e.g. the api client built from options). Carries only a name and a
@@ -2959,7 +3145,7 @@ declare function defineProperty<const TName extends string, TValue, const TId ex
  */
 declare function declareProperty<const TId extends string, TValue = unknown>(config: {
     id: LiteralString<TId>;
-}): PropertyPlugin<LastSegment<TId>, TValue> & PluginSummary<TId, never> & StandInId<TId>;
+}): PropertyPlugin<LastSegment<TId>, TValue> & DeclarationSummary<TId, TValue> & StandInId<TId>;
 /**
  * Declare an OPTIONAL stand-in for a property registered elsewhere. Unlike
  * `declareProperty`, a `declareOptionalProperty` left unsatisfied is NOT a missing
@@ -2975,7 +3161,7 @@ declare function declareProperty<const TId extends string, TValue = unknown>(con
  */
 declare function declareOptionalProperty<const TId extends string, TValue = unknown>(config: {
     id: LiteralString<TId>;
-}): PropertyPlugin<LastSegment<TId>, TValue | undefined> & PluginSummary<never, never> & StandInId<TId>;
+}): PropertyPlugin<LastSegment<TId>, TValue | undefined> & OptionalDeclarationSummary<TId, TValue | undefined> & StandInId<TId>;
 /**
  * Declare a DEFAULT provider for a dependency you own: import the capability the
  * given plugin provides, and fall back to that plugin when nothing else provides
@@ -3057,7 +3243,7 @@ declare function defineHook<const TImports extends ImportsInput = readonly [], T
 declare function declarePlugin<const TId extends string, const TExports extends readonly AnyLeafPlugin[] = readonly []>(config: {
     id: LiteralString<TId>;
     exports?: TExports & StaticList<TExports>;
-}): AggregatePlugin<LastSegment<TId>, ArrayExports<TExports>> & PluginSummary<TId, never>;
+}): AggregatePlugin<LastSegment<TId>, ArrayExports<TExports>> & AggregateDeclarationSummary<TId, RequiredContractsIn<TExports>>;
 /**
  * Function form — the legacy function-plugin identity wrapper: it returns the
  * function unchanged but constrains its return to `PluginProvides` and
@@ -3119,9 +3305,9 @@ type AsExports<T> = T extends Record<string, AnyLeafPlugin> ? T : Record<string,
  * synthetic aggregate over the chosen bindings) that drops straight into either
  * array; the selected bindings keep the source module's identity.
  */
-declare function selectExports<TExports extends Record<string, AnyLeafPlugin>, const TSpecs extends readonly SelectSpec<TExports>[]>(source: AggregatePlugin<string, TExports>, ...specs: TSpecs): AggregatePlugin<string, AsExports<UnionToIntersection<{
+declare function selectExports<TExports extends Record<string, AnyLeafPlugin>, const TSpecs extends readonly SelectSpec<TExports>[], TSource = unknown>(source: AggregatePlugin<string, TExports> & TSource, ...specs: TSpecs): AggregatePlugin<string, AsExports<UnionToIntersection<{
     [I in keyof TSpecs]: ResolveSpec<TExports, TSpecs[I]>;
-}[number]>>>;
+}[number]>>> & ForwardedSummary<TSource>;
 /**
  * Re-export all of a module's exports EXCEPT the named ones, the denylist
  * complement to {@link selectExports}'s allowlist (think TS `Omit` vs `Pick`).
@@ -3133,7 +3319,7 @@ declare function selectExports<TExports extends Record<string, AnyLeafPlugin>, c
  * not surfaced under a binding. That lets a head replace an export's binding
  * with its own plugin while still depending on the original by id.
  */
-declare function omitExports<TExports extends Record<string, AnyLeafPlugin>, const TOmit extends readonly (keyof TExports & string)[]>(source: AggregatePlugin<string, TExports>, omit: TOmit): AggregatePlugin<string, Omit<TExports, TOmit[number]>>;
+declare function omitExports<TExports extends Record<string, AnyLeafPlugin>, const TOmit extends readonly (keyof TExports & string)[], TSource = unknown>(source: AggregatePlugin<string, TExports> & TSource, omit: TOmit): AggregatePlugin<string, Omit<TExports, TOmit[number]>> & ForwardedSummary<TSource>;
 
 /**
  * Lift a legacy function plugin into the module model. The
@@ -3381,7 +3567,7 @@ interface CoreOptions {
  * `CoreOptions | undefined` (absent means kitcore's built-in behavior). Heads
  * supply the value via `createSdk`'s `configuration` or a registered property.
  */
-declare const coreOptionsPluginRef: PropertyPlugin<"coreOptions", CoreOptions | undefined> & PluginSummary<never, never> & StandInId<"kitcore/coreOptions">;
+declare const coreOptionsPluginRef: PropertyPlugin<"coreOptions", CoreOptions | undefined> & OptionalDeclarationSummary<"kitcore/coreOptions", CoreOptions | undefined> & StandInId<"kitcore/coreOptions">;
 /**
  * Escape hatch. A built-in privileged plugin whose value is the live
  * `SdkContext` (the raw plugin graph). Importing it (`imports.context`) lets a
@@ -3407,7 +3593,9 @@ declare const getRegistryPlugin: MethodPlugin<"getRegistry", {
     package?: string | undefined;
 } | undefined, RegistryResult, readonly [], {
     package?: string | undefined;
-} | undefined> & LeafSummary<"kitcore", "getRegistry", readonly [PropertyPlugin<"context", SdkContext>]>;
+} | undefined> & LeafSummary<"kitcore", "getRegistry", readonly [PropertyPlugin<"context", SdkContext>], (input?: {
+    package?: string | undefined;
+} | undefined) => RegistryResult>;
 
 /** The off-surface escape hatch to an SDK's `SdkContext`. */
 declare function getContext(sdk: unknown): SdkContext;
@@ -3460,15 +3648,16 @@ declare function disposeSdk(sdk: unknown, input?: unknown): Promise<void>;
  * value; an aggregate root its export bindings. `options.configuration`
  * injects runtime values by plugin id (see {@link CreateSdkOptions}).
  */
-declare function createSdk<P extends AnyMethodPlugin>(root: P & CompletenessOf<P>, options?: CreateSdkOptions): MethodSdkOf<P>;
-declare function createSdk<P extends AnyPropertyPlugin>(root: P & CompletenessOf<P>, options?: CreateSdkOptions): PropertySdkOf<P>;
-declare function createSdk<P extends AnyAggregatePlugin>(root: P & CompletenessOf<P>, options?: CreateSdkOptions): AggregateSdkOf<P>;
+declare function createSdk<P extends AnyMethodPlugin>(root: P & CompletenessOf<P> & CompatibilityOf<P>, options?: CreateSdkOptions): MethodSdkOf<P>;
+declare function createSdk<P extends AnyPropertyPlugin>(root: P & CompletenessOf<P> & CompatibilityOf<P>, options?: CreateSdkOptions): PropertySdkOf<P>;
+declare function createSdk<P extends AnyAggregatePlugin>(root: P & CompletenessOf<P> & CompatibilityOf<P>, options?: CreateSdkOptions): AggregateSdkOf<P>;
 declare function createSdk<TSurface>(root: LegacyPlugin<TSurface>, options?: CreateSdkOptions): TSurface & SdkInternals;
 declare function createSdk<TProvides extends PluginProvides, TPlugin extends AnyPlugin>(root: LegacyMergePlugin<TProvides, TPlugin>, options?: CreateSdkOptions): TProvides & {
     getRegistry: (options?: {
         package?: string;
     }) => RegistryResult;
 } & AddedSurface<TPlugin> & SdkInternals;
+declare function createSdk<P extends AnyPlugin>(root: P & CompletenessOf<P> & CompatibilityOf<P>, options?: CreateSdkOptions): never;
 /**
  * Extend an already-built SDK in place with one more plugin (the post-seal
  * extension path). Dispatches on shape: a module-model plugin (`defineMethod` /
@@ -4521,14 +4710,14 @@ type SendHttpRequest = (request: HttpRequest) => ReturnType<typeof fetch>;
  * removes the only boundary below `initializeHttpRequest`, and a retry wrap
  * would then re-initialize and mint a fresh `operationId` per attempt.
  */
-declare const attemptHttpRequestPlugin: MethodPlugin<"attemptHttpRequest", AttemptHttpRequestInput, Promise<Response>, readonly [], AttemptHttpRequestInput> & LeafSummary<"kitcore", "attemptHttpRequest", readonly [MethodPlugin<"prepareHttpRequest", PrepareHttpRequestInput, Promise<HttpRequest>, readonly [], PrepareHttpRequestInput> & LeafSummary<"kitcore", "prepareHttpRequest", readonly []>, MethodPlugin<"authorizeHttpRequest", AuthorizeHttpRequestInput, Promise<HttpRequest>, readonly [], AuthorizeHttpRequestInput> & LeafSummary<"kitcore", "authorizeHttpRequest", readonly []>, MethodPlugin<"dispatchHttpRequest", DispatchHttpRequestInput, Promise<Response>, readonly [], DispatchHttpRequestInput> & LeafSummary<"kitcore", "dispatchHttpRequest", readonly [PropertyPlugin<"httpFetch", typeof fetch | undefined> & PluginSummary<never, never> & StandInId<"kitcore/httpFetch">]>, MethodPlugin<"receiveHttpResponse", ReceiveHttpResponseInput, Promise<Response>, readonly [], ReceiveHttpResponseInput> & LeafSummary<"kitcore", "receiveHttpResponse", readonly []>]>;
+declare const attemptHttpRequestPlugin: MethodPlugin<"attemptHttpRequest", AttemptHttpRequestInput, Promise<Response>, readonly [], AttemptHttpRequestInput> & LeafSummary<"kitcore", "attemptHttpRequest", readonly [MethodPlugin<"prepareHttpRequest", PrepareHttpRequestInput, Promise<HttpRequest>, readonly [], PrepareHttpRequestInput> & LeafSummary<"kitcore", "prepareHttpRequest", readonly [], (input: PrepareHttpRequestInput) => Promise<HttpRequest>>, MethodPlugin<"authorizeHttpRequest", AuthorizeHttpRequestInput, Promise<HttpRequest>, readonly [], AuthorizeHttpRequestInput> & LeafSummary<"kitcore", "authorizeHttpRequest", readonly [], (input: AuthorizeHttpRequestInput) => Promise<HttpRequest>>, MethodPlugin<"dispatchHttpRequest", DispatchHttpRequestInput, Promise<Response>, readonly [], DispatchHttpRequestInput> & LeafSummary<"kitcore", "dispatchHttpRequest", readonly [PropertyPlugin<"httpFetch", typeof fetch | undefined> & OptionalDeclarationSummary<"kitcore/httpFetch", typeof fetch | undefined> & StandInId<"kitcore/httpFetch">], (input: DispatchHttpRequestInput) => Promise<Response>>, MethodPlugin<"receiveHttpResponse", ReceiveHttpResponseInput, Promise<Response>, readonly [], ReceiveHttpResponseInput> & LeafSummary<"kitcore", "receiveHttpResponse", readonly [], (input: ReceiveHttpResponseInput) => Promise<Response>>], (input: AttemptHttpRequestInput) => Promise<Response>>;
 
 /**
  * Completes the operation context: normalizes the caller's request and records
  * whether its body can be sent again. Everything below this stage reads those
  * two facts off `attempt.operation`, and neither changes across retries.
  */
-declare const initializeHttpRequestPlugin: MethodPlugin<"initializeHttpRequest", InitializeHttpRequestInput, Promise<HttpOperationContext>, readonly [], InitializeHttpRequestInput> & LeafSummary<"kitcore", "initializeHttpRequest", readonly []>;
+declare const initializeHttpRequestPlugin: MethodPlugin<"initializeHttpRequest", InitializeHttpRequestInput, Promise<HttpOperationContext>, readonly [], InitializeHttpRequestInput> & LeafSummary<"kitcore", "initializeHttpRequest", readonly [], (input: InitializeHttpRequestInput) => Promise<HttpOperationContext>>;
 
 /**
  * Details about a retry the loop has scheduled.
@@ -4602,7 +4791,7 @@ interface RetryHttpRequestOptions {
     onRetry?: (attempt: RetryHttpRequestAttempt) => void;
 }
 declare const RETRY_HTTP_REQUEST_OPTIONS_ID = "kitcore/retryHttpRequestOptions";
-declare const retryHttpRequestOptionsPluginRef: PropertyPlugin<"retryHttpRequestOptions", RetryHttpRequestOptions | undefined> & PluginSummary<never, never> & StandInId<"kitcore/retryHttpRequestOptions">;
+declare const retryHttpRequestOptionsPluginRef: PropertyPlugin<"retryHttpRequestOptions", RetryHttpRequestOptions | undefined> & OptionalDeclarationSummary<"kitcore/retryHttpRequestOptions", RetryHttpRequestOptions | undefined> & StandInId<"kitcore/retryHttpRequestOptions">;
 /**
  * Re-issue a failed attempt, opt-in by composition.
  *
@@ -4634,9 +4823,9 @@ declare const retryHttpRequestOptionsPluginRef: PropertyPlugin<"retryHttpRequest
  */
 declare const retryHttpRequestPlugin: HookPlugin<string>;
 
-declare const prepareHttpRequestPlugin: MethodPlugin<"prepareHttpRequest", PrepareHttpRequestInput, Promise<HttpRequest>, readonly [], PrepareHttpRequestInput> & LeafSummary<"kitcore", "prepareHttpRequest", readonly []>;
+declare const prepareHttpRequestPlugin: MethodPlugin<"prepareHttpRequest", PrepareHttpRequestInput, Promise<HttpRequest>, readonly [], PrepareHttpRequestInput> & LeafSummary<"kitcore", "prepareHttpRequest", readonly [], (input: PrepareHttpRequestInput) => Promise<HttpRequest>>;
 
-declare const authorizeHttpRequestPlugin: MethodPlugin<"authorizeHttpRequest", AuthorizeHttpRequestInput, Promise<HttpRequest>, readonly [], AuthorizeHttpRequestInput> & LeafSummary<"kitcore", "authorizeHttpRequest", readonly []>;
+declare const authorizeHttpRequestPlugin: MethodPlugin<"authorizeHttpRequest", AuthorizeHttpRequestInput, Promise<HttpRequest>, readonly [], AuthorizeHttpRequestInput> & LeafSummary<"kitcore", "authorizeHttpRequest", readonly [], (input: AuthorizeHttpRequestInput) => Promise<HttpRequest>>;
 
 declare const HTTP_FETCH_ID = "kitcore/httpFetch";
 /**
@@ -4645,10 +4834,10 @@ declare const HTTP_FETCH_ID = "kitcore/httpFetch";
  * `dispatchHttpRequest` wrap slot that hosts use to replace dispatch. When
  * absent, dispatch uses `globalThis.fetch`.
  */
-declare const httpFetchPluginRef: PropertyPlugin<"httpFetch", typeof fetch | undefined> & PluginSummary<never, never> & StandInId<"kitcore/httpFetch">;
-declare const dispatchHttpRequestPlugin: MethodPlugin<"dispatchHttpRequest", DispatchHttpRequestInput, Promise<Response>, readonly [], DispatchHttpRequestInput> & LeafSummary<"kitcore", "dispatchHttpRequest", readonly [PropertyPlugin<"httpFetch", typeof fetch | undefined> & PluginSummary<never, never> & StandInId<"kitcore/httpFetch">]>;
+declare const httpFetchPluginRef: PropertyPlugin<"httpFetch", typeof fetch | undefined> & OptionalDeclarationSummary<"kitcore/httpFetch", typeof fetch | undefined> & StandInId<"kitcore/httpFetch">;
+declare const dispatchHttpRequestPlugin: MethodPlugin<"dispatchHttpRequest", DispatchHttpRequestInput, Promise<Response>, readonly [], DispatchHttpRequestInput> & LeafSummary<"kitcore", "dispatchHttpRequest", readonly [PropertyPlugin<"httpFetch", typeof fetch | undefined> & OptionalDeclarationSummary<"kitcore/httpFetch", typeof fetch | undefined> & StandInId<"kitcore/httpFetch">], (input: DispatchHttpRequestInput) => Promise<Response>>;
 
-declare const receiveHttpResponsePlugin: MethodPlugin<"receiveHttpResponse", ReceiveHttpResponseInput, Promise<Response>, readonly [], ReceiveHttpResponseInput> & LeafSummary<"kitcore", "receiveHttpResponse", readonly []>;
+declare const receiveHttpResponsePlugin: MethodPlugin<"receiveHttpResponse", ReceiveHttpResponseInput, Promise<Response>, readonly [], ReceiveHttpResponseInput> & LeafSummary<"kitcore", "receiveHttpResponse", readonly [], (input: ReceiveHttpResponseInput) => Promise<Response>>;
 
 /**
  * The transport orchestrator: turn an {@link HttpRequestInput} into a native
@@ -4677,7 +4866,7 @@ declare const receiveHttpResponsePlugin: MethodPlugin<"receiveHttpResponse", Rec
  * No retry by default: with nothing composed this runs exactly one attempt.
  * `retryHttpRequestPlugin` is opt-in.
  */
-declare const sendHttpRequestPlugin: MethodPlugin<"sendHttpRequest", HttpRequestInput, Promise<Response>, readonly [], HttpRequestInput> & LeafSummary<"kitcore", "sendHttpRequest", readonly [MethodPlugin<"initializeHttpRequest", InitializeHttpRequestInput, Promise<HttpOperationContext>, readonly [], InitializeHttpRequestInput> & LeafSummary<"kitcore", "initializeHttpRequest", readonly []>, MethodPlugin<"attemptHttpRequest", AttemptHttpRequestInput, Promise<Response>, readonly [], AttemptHttpRequestInput> & LeafSummary<"kitcore", "attemptHttpRequest", readonly [MethodPlugin<"prepareHttpRequest", PrepareHttpRequestInput, Promise<HttpRequest>, readonly [], PrepareHttpRequestInput> & LeafSummary<"kitcore", "prepareHttpRequest", readonly []>, MethodPlugin<"authorizeHttpRequest", AuthorizeHttpRequestInput, Promise<HttpRequest>, readonly [], AuthorizeHttpRequestInput> & LeafSummary<"kitcore", "authorizeHttpRequest", readonly []>, MethodPlugin<"dispatchHttpRequest", DispatchHttpRequestInput, Promise<Response>, readonly [], DispatchHttpRequestInput> & LeafSummary<"kitcore", "dispatchHttpRequest", readonly [PropertyPlugin<"httpFetch", typeof fetch | undefined> & PluginSummary<never, never> & StandInId<"kitcore/httpFetch">]>, MethodPlugin<"receiveHttpResponse", ReceiveHttpResponseInput, Promise<Response>, readonly [], ReceiveHttpResponseInput> & LeafSummary<"kitcore", "receiveHttpResponse", readonly []>]>]>;
+declare const sendHttpRequestPlugin: MethodPlugin<"sendHttpRequest", HttpRequestInput, Promise<Response>, readonly [], HttpRequestInput> & LeafSummary<"kitcore", "sendHttpRequest", readonly [MethodPlugin<"initializeHttpRequest", InitializeHttpRequestInput, Promise<HttpOperationContext>, readonly [], InitializeHttpRequestInput> & LeafSummary<"kitcore", "initializeHttpRequest", readonly [], (input: InitializeHttpRequestInput) => Promise<HttpOperationContext>>, MethodPlugin<"attemptHttpRequest", AttemptHttpRequestInput, Promise<Response>, readonly [], AttemptHttpRequestInput> & LeafSummary<"kitcore", "attemptHttpRequest", readonly [MethodPlugin<"prepareHttpRequest", PrepareHttpRequestInput, Promise<HttpRequest>, readonly [], PrepareHttpRequestInput> & LeafSummary<"kitcore", "prepareHttpRequest", readonly [], (input: PrepareHttpRequestInput) => Promise<HttpRequest>>, MethodPlugin<"authorizeHttpRequest", AuthorizeHttpRequestInput, Promise<HttpRequest>, readonly [], AuthorizeHttpRequestInput> & LeafSummary<"kitcore", "authorizeHttpRequest", readonly [], (input: AuthorizeHttpRequestInput) => Promise<HttpRequest>>, MethodPlugin<"dispatchHttpRequest", DispatchHttpRequestInput, Promise<Response>, readonly [], DispatchHttpRequestInput> & LeafSummary<"kitcore", "dispatchHttpRequest", readonly [PropertyPlugin<"httpFetch", typeof fetch | undefined> & OptionalDeclarationSummary<"kitcore/httpFetch", typeof fetch | undefined> & StandInId<"kitcore/httpFetch">], (input: DispatchHttpRequestInput) => Promise<Response>>, MethodPlugin<"receiveHttpResponse", ReceiveHttpResponseInput, Promise<Response>, readonly [], ReceiveHttpResponseInput> & LeafSummary<"kitcore", "receiveHttpResponse", readonly [], (input: ReceiveHttpResponseInput) => Promise<Response>>], (input: AttemptHttpRequestInput) => Promise<Response>>], (input: HttpRequestInput) => Promise<Response>>;
 
 /**
  * `fetch` — native `fetch(url, init)` ergonomics over the transport. It
@@ -4706,7 +4895,7 @@ declare const fetchPlugin: MethodPlugin<"fetch", {
 }, Promise<Response>, readonly ["url", "init"], {
     url: string | URL;
     init?: Omit<HttpRequestInput, "url">;
-}> & LeafSummary<"kitcore", "fetch", readonly [MethodPlugin<"sendHttpRequest", HttpRequestInput, Promise<Response>, readonly [], HttpRequestInput> & LeafSummary<"kitcore", "sendHttpRequest", readonly [MethodPlugin<"initializeHttpRequest", InitializeHttpRequestInput, Promise<HttpOperationContext>, readonly [], InitializeHttpRequestInput> & LeafSummary<"kitcore", "initializeHttpRequest", readonly []>, MethodPlugin<"attemptHttpRequest", AttemptHttpRequestInput, Promise<Response>, readonly [], AttemptHttpRequestInput> & LeafSummary<"kitcore", "attemptHttpRequest", readonly [MethodPlugin<"prepareHttpRequest", PrepareHttpRequestInput, Promise<HttpRequest>, readonly [], PrepareHttpRequestInput> & LeafSummary<"kitcore", "prepareHttpRequest", readonly []>, MethodPlugin<"authorizeHttpRequest", AuthorizeHttpRequestInput, Promise<HttpRequest>, readonly [], AuthorizeHttpRequestInput> & LeafSummary<"kitcore", "authorizeHttpRequest", readonly []>, MethodPlugin<"dispatchHttpRequest", DispatchHttpRequestInput, Promise<Response>, readonly [], DispatchHttpRequestInput> & LeafSummary<"kitcore", "dispatchHttpRequest", readonly [PropertyPlugin<"httpFetch", typeof fetch | undefined> & PluginSummary<never, never> & StandInId<"kitcore/httpFetch">]>, MethodPlugin<"receiveHttpResponse", ReceiveHttpResponseInput, Promise<Response>, readonly [], ReceiveHttpResponseInput> & LeafSummary<"kitcore", "receiveHttpResponse", readonly []>]>]>]>;
+}> & LeafSummary<"kitcore", "fetch", readonly [MethodPlugin<"sendHttpRequest", HttpRequestInput, Promise<Response>, readonly [], HttpRequestInput> & LeafSummary<"kitcore", "sendHttpRequest", readonly [MethodPlugin<"initializeHttpRequest", InitializeHttpRequestInput, Promise<HttpOperationContext>, readonly [], InitializeHttpRequestInput> & LeafSummary<"kitcore", "initializeHttpRequest", readonly [], (input: InitializeHttpRequestInput) => Promise<HttpOperationContext>>, MethodPlugin<"attemptHttpRequest", AttemptHttpRequestInput, Promise<Response>, readonly [], AttemptHttpRequestInput> & LeafSummary<"kitcore", "attemptHttpRequest", readonly [MethodPlugin<"prepareHttpRequest", PrepareHttpRequestInput, Promise<HttpRequest>, readonly [], PrepareHttpRequestInput> & LeafSummary<"kitcore", "prepareHttpRequest", readonly [], (input: PrepareHttpRequestInput) => Promise<HttpRequest>>, MethodPlugin<"authorizeHttpRequest", AuthorizeHttpRequestInput, Promise<HttpRequest>, readonly [], AuthorizeHttpRequestInput> & LeafSummary<"kitcore", "authorizeHttpRequest", readonly [], (input: AuthorizeHttpRequestInput) => Promise<HttpRequest>>, MethodPlugin<"dispatchHttpRequest", DispatchHttpRequestInput, Promise<Response>, readonly [], DispatchHttpRequestInput> & LeafSummary<"kitcore", "dispatchHttpRequest", readonly [PropertyPlugin<"httpFetch", typeof fetch | undefined> & OptionalDeclarationSummary<"kitcore/httpFetch", typeof fetch | undefined> & StandInId<"kitcore/httpFetch">], (input: DispatchHttpRequestInput) => Promise<Response>>, MethodPlugin<"receiveHttpResponse", ReceiveHttpResponseInput, Promise<Response>, readonly [], ReceiveHttpResponseInput> & LeafSummary<"kitcore", "receiveHttpResponse", readonly [], (input: ReceiveHttpResponseInput) => Promise<Response>>], (input: AttemptHttpRequestInput) => Promise<Response>>], (input: HttpRequestInput) => Promise<Response>>], (arg: string | URL, arg_1?: Omit<HttpRequestInput, "url"> | undefined) => Promise<Response>>;
 
 /**
  * Headers with every credential value masked, as a plain object a logger can
@@ -4752,9 +4941,9 @@ interface NormalizedConnection {
     value: string;
 }
 
-declare const defaultConnectionSchemePlugin: MethodPlugin<"defaultConnectionScheme", DefaultConnectionSchemeInput, string | undefined, readonly [], DefaultConnectionSchemeInput> & LeafSummary<"kitcore", "defaultConnectionScheme", readonly []>;
+declare const defaultConnectionSchemePlugin: MethodPlugin<"defaultConnectionScheme", DefaultConnectionSchemeInput, string | undefined, readonly [], DefaultConnectionSchemeInput> & LeafSummary<"kitcore", "defaultConnectionScheme", readonly [], (input: DefaultConnectionSchemeInput) => string | undefined>;
 
-declare const normalizeConnectionPlugin: MethodPlugin<"normalizeConnection", NormalizeConnectionInput, NormalizedConnection | undefined, readonly [], NormalizeConnectionInput> & LeafSummary<"kitcore", "normalizeConnection", readonly [MethodPlugin<"defaultConnectionScheme", DefaultConnectionSchemeInput, string | undefined, readonly [], DefaultConnectionSchemeInput> & LeafSummary<"kitcore", "defaultConnectionScheme", readonly []>]>;
+declare const normalizeConnectionPlugin: MethodPlugin<"normalizeConnection", NormalizeConnectionInput, NormalizedConnection | undefined, readonly [], NormalizeConnectionInput> & LeafSummary<"kitcore", "normalizeConnection", readonly [MethodPlugin<"defaultConnectionScheme", DefaultConnectionSchemeInput, string | undefined, readonly [], DefaultConnectionSchemeInput> & LeafSummary<"kitcore", "defaultConnectionScheme", readonly [], (input: DefaultConnectionSchemeInput) => string | undefined>], (input?: NormalizeConnectionInput | undefined) => NormalizedConnection | undefined>;
 
 /**
  * SELECT which connection REFERENCE a call should use: the explicit one if the
@@ -4772,6 +4961,6 @@ declare const normalizeConnectionPlugin: MethodPlugin<"normalizeConnection", Nor
  * fatal depends on what the caller declared it needs, which this stage cannot
  * see, so this stays policy-free.
  */
-declare const resolveConnectionPlugin: MethodPlugin<"resolveConnection", ResolveConnectionInput, string | undefined, readonly [], ResolveConnectionInput> & LeafSummary<"kitcore", "resolveConnection", readonly []>;
+declare const resolveConnectionPlugin: MethodPlugin<"resolveConnection", ResolveConnectionInput, string | undefined, readonly [], ResolveConnectionInput> & LeafSummary<"kitcore", "resolveConnection", readonly [], (input: ResolveConnectionInput) => string | undefined>;
 
-export { type AdaptError, type AdaptErrorOptions, type AdaptPage, type AggregatePlugin, type Annotations, type ArrayResolver$1 as ArrayResolver, type AsyncContext, type AttemptHttpRequestInput, type AuthorizeHttpRequestInput, type BoundFormatter, type BoundResolver, CONTEXT, CORE_ERROR_SYMBOL, CORE_OPTIONS_ID, CORE_SIGNAL_SYMBOL, type CallContext, type CallOrigin, type CategoryDefinition, type ComposedAnnotator, type ConstantResolver$1 as ConstantResolver, type Controller, type ControllerAction, type ControllerAffordance, type ControllerAnswerFn, type ControllerChoice, type ControllerError, type ControllerIssue, type ControllerListingPage, type ControllerListingPosition, type ControllerMethodDescription, type ControllerMethodSummary, type ControllerPagination, type ControllerParameterDescription, type ControllerPath, type ControllerQuestion, type ControllerResult, type ControllerSdk, type ControllerSelectPage, type ControllerState, type CoreApiError, CoreCancelledSignal, CoreDisposeError, CoreError, CoreErrorCode, type CoreErrorOptions, type CoreOptions, CoreSignal, type CreateSdkOptions, type DefaultConnectionSchemeInput, type DeprecatedPromptConfigChoice, type DeprecationLogger, type DeprecationWarning, type DispatchHttpRequestInput, type DisposeFn, type DynamicListResolver, type DynamicMember, type DynamicResolver$1 as DynamicResolver, type DynamicSearchResolver, type FieldsResolver, type FormattedItem, type Formatter, type FunctionDeprecation, type FunctionRegistryEntry, HTTP_FETCH_ID, type HookAnnotator, type HookPlugin, type HttpAttemptContext, type HttpFetchInit, type HttpOperationContext, type HttpOperationStart, type HttpPipelineState, type HttpRequest, type HttpRequestInput, type HttpResponse, type InitializeHttpRequestInput, type LeafMeta, type LeafSummary, type LegacyMergePlugin, type LegacyPlugin, type ListItemsResult, type ListPromptConfig, type MethodAnnotator, type MethodAttachment, type MethodHooks, type MethodOverridePlugin, type MethodPlugin, type MethodScope, type Resolver as ModelResolver, type NegatableMetadata, type NormalizeConnectionInput, type NormalizedConnection, type OnMethodEnd, type OnMethodEndContext, type OnMethodStart, type OnMethodStartContext, type OutputDataValidationReport, type OutputFormatter, type OverridableMetaFields, type PaginatedSdkFunction, type PaginatedSdkResult, type Plugin, type PluginMeta, type PluginProvides, type PluginStack, type PluginSummary, type PluginSurface, type PositionalMetadata, type PrepareHttpRequestInput, type PromptConfig, type PromptConfigChoice, type PropertyPlugin, RETRY_HTTP_REQUEST_OPTIONS_ID, type ReceiveHttpResponseInput, type RegistryResult, type RequiredSdkOf, type ResolveConnectionInput, type Resolver$1 as Resolver, type ResolverConfig, type ResolverFieldItem, type ResolverMetadata, type ResolverPromptConfig, type ResolverRequirement, type ResolverType, type ResponseMeta, type RetryHttpRequestAttempt, type RetryHttpRequestOptions, STABILITY_LEVELS, STABILITY_TITLES, type Sdk, type SdkContext, type SdkContextCarrier, type SdkPage, type SendHttpRequest, type StabilityLevel, type StabilityNotice, type StabilityNoticeLogger, type StandInId, type StaticResolver$1 as StaticResolver, type ValidResolvers, addPlugin, applyStabilityLabel, attemptHttpRequestPlugin, authorizeHttpRequestPlugin, canonicalInputSchema, composePlugins, concatLists, concatPaginated, coreOptionsPluginRef, createAsyncContext, createController, createCoreError, createCorePlugin, createDeprecationLogger, createFunction, createPaginatedFunction, createPaginatedPluginMethod, createPluginMethod, createPluginStack, createPrefixedCursor, createSdk, createStabilityNoticeLogger, createValidator, dangerousContextPlugin, declareDefault, declareMethod, declareOptionalMethod, declareOptionalProperty, declarePlugin, declareProperty, decodeIncomingCursor, defaultConnectionSchemePlugin, defaultLogDeprecation, defineFormatter, defineHook, defineLegacyMerge, defineMethod, defineMethodOverride, defineOverride, definePlugin, defineProperty, defineResolver, dispatchHttpRequestPlugin, disposeSdk, fetchPlugin, fromFunctionPlugin, getContext, getCoreErrorCause, getCoreErrorCode, getCurrentDepth, getCurrentScope, getFieldDescriptions, getNegatable, getOutputSchema, getRegistry, getRegistryPlugin, getSchemaDescription, httpFetchPluginRef, initializeHttpRequestPlugin, isCoreCancelledSignal, isCoreError, isCoreSignal, isNestedMethodCall, isPositional, isTelemetryNested, normalizeConnectionPlugin, normalizeStability, objectShapeOf, omitExports, openEnum, paginate, paginateBuffered, paginateMaxItems, prepareHttpRequestPlugin, receiveHttpResponsePlugin, redactHeaders, redactHttpRequest, resolveConnectionPlugin, resolvePlugin, retryHttpRequestOptionsPluginRef, retryHttpRequestPlugin, runInMethodScope, runWithTelemetryContext, selectExports, sendHttpRequestPlugin, splitPrefixedCursor, toIterable, toSnakeCase, toTitleCase, unwrapSchema, validateOptions, withOutputSchema, withPositional, withResolver };
+export { type AdaptError, type AdaptErrorOptions, type AdaptPage, type AggregatePlugin, type Annotations, type ArrayResolver$1 as ArrayResolver, type AsyncContext, type AttemptHttpRequestInput, type AuthorizeHttpRequestInput, type BoundFormatter, type BoundResolver, CONTEXT, CORE_ERROR_SYMBOL, CORE_OPTIONS_ID, CORE_SIGNAL_SYMBOL, type CallContext, type CallOrigin, type CategoryDefinition, type ComposedAnnotator, type ConstantResolver$1 as ConstantResolver, type ContractEntry, type Controller, type ControllerAction, type ControllerAffordance, type ControllerAnswerFn, type ControllerChoice, type ControllerError, type ControllerIssue, type ControllerListingPage, type ControllerListingPosition, type ControllerMethodDescription, type ControllerMethodSummary, type ControllerPagination, type ControllerParameterDescription, type ControllerPath, type ControllerQuestion, type ControllerResult, type ControllerSdk, type ControllerSelectPage, type ControllerState, type CoreApiError, CoreCancelledSignal, CoreDisposeError, CoreError, CoreErrorCode, type CoreErrorOptions, type CoreOptions, CoreSignal, type CreateSdkOptions, type DeclarationSummary, type DefaultConnectionSchemeInput, type DeprecatedPromptConfigChoice, type DeprecationLogger, type DeprecationWarning, type DispatchHttpRequestInput, type DisposeFn, type DynamicListResolver, type DynamicMember, type DynamicResolver$1 as DynamicResolver, type DynamicSearchResolver, type FieldsResolver, type FormattedItem, type Formatter, type FunctionDeprecation, type FunctionRegistryEntry, HTTP_FETCH_ID, type HookAnnotator, type HookPlugin, type HttpAttemptContext, type HttpFetchInit, type HttpOperationContext, type HttpOperationStart, type HttpPipelineState, type HttpRequest, type HttpRequestInput, type HttpResponse, type InitializeHttpRequestInput, type LeafMeta, type LeafSummary, type LegacyMergePlugin, type LegacyPlugin, type ListItemsResult, type ListPromptConfig, type MethodAnnotator, type MethodAttachment, type MethodContract, type MethodHooks, type MethodOverridePlugin, type MethodPlugin, type MethodScope, type Resolver as ModelResolver, type NegatableMetadata, type NormalizeConnectionInput, type NormalizedConnection, type OnMethodEnd, type OnMethodEndContext, type OnMethodStart, type OnMethodStartContext, type OptionalDeclarationSummary, type OutputDataValidationReport, type OutputFormatter, type OverridableMetaFields, type PaginatedSdkFunction, type PaginatedSdkResult, type Plugin, type PluginMeta, type PluginProvides, type PluginStack, type PluginSummary, type PluginSurface, type PositionalMetadata, type PrepareHttpRequestInput, type PromptConfig, type PromptConfigChoice, type PropertyPlugin, RETRY_HTTP_REQUEST_OPTIONS_ID, type ReceiveHttpResponseInput, type RegistryResult, type RequiredSdkOf, type ResolveConnectionInput, type Resolver$1 as Resolver, type ResolverConfig, type ResolverFieldItem, type ResolverMetadata, type ResolverPromptConfig, type ResolverRequirement, type ResolverType, type ResponseMeta, type RetryHttpRequestAttempt, type RetryHttpRequestOptions, STABILITY_LEVELS, STABILITY_TITLES, type Sdk, type SdkContext, type SdkContextCarrier, type SdkPage, type SendHttpRequest, type StabilityLevel, type StabilityNotice, type StabilityNoticeLogger, type StandInId, type StaticResolver$1 as StaticResolver, type ValidResolvers, addPlugin, applyStabilityLabel, attemptHttpRequestPlugin, authorizeHttpRequestPlugin, canonicalInputSchema, composePlugins, concatLists, concatPaginated, coreOptionsPluginRef, createAsyncContext, createController, createCoreError, createCorePlugin, createDeprecationLogger, createFunction, createPaginatedFunction, createPaginatedPluginMethod, createPluginMethod, createPluginStack, createPrefixedCursor, createSdk, createStabilityNoticeLogger, createValidator, dangerousContextPlugin, declareDefault, declareMethod, declareOptionalMethod, declareOptionalProperty, declarePlugin, declareProperty, decodeIncomingCursor, defaultConnectionSchemePlugin, defaultLogDeprecation, defineFormatter, defineHook, defineLegacyMerge, defineMethod, defineMethodOverride, defineOverride, definePlugin, defineProperty, defineResolver, dispatchHttpRequestPlugin, disposeSdk, fetchPlugin, fromFunctionPlugin, getContext, getCoreErrorCause, getCoreErrorCode, getCurrentDepth, getCurrentScope, getFieldDescriptions, getNegatable, getOutputSchema, getRegistry, getRegistryPlugin, getSchemaDescription, httpFetchPluginRef, initializeHttpRequestPlugin, isCoreCancelledSignal, isCoreError, isCoreSignal, isNestedMethodCall, isPositional, isTelemetryNested, normalizeConnectionPlugin, normalizeStability, objectShapeOf, omitExports, openEnum, paginate, paginateBuffered, paginateMaxItems, prepareHttpRequestPlugin, receiveHttpResponsePlugin, redactHeaders, redactHttpRequest, resolveConnectionPlugin, resolvePlugin, retryHttpRequestOptionsPluginRef, retryHttpRequestPlugin, runInMethodScope, runWithTelemetryContext, selectExports, sendHttpRequestPlugin, splitPrefixedCursor, toIterable, toSnakeCase, toTitleCase, unwrapSchema, validateOptions, withOutputSchema, withPositional, withResolver };