fix: keep auth-sized e.fn exports under declaration serialize limit

Store var seeds only on PublicFn's W and keep full WithSeed on .with via TerminatingFn so tsc -d no longer inlines the use graph.

Author: ping-maxwell

packages/experimental/src/declaration-emit.test.ts

@@ -41,7 +41,7 @@ describe("declaration emit (TS7056)", () => {
 			expect(dts).not.toMatch(/\$models/);
 			expect(dts).toMatch(/export declare const signUpEmail:/);
 			expect(dts).toMatch(/export declare const signInEmail:/);
-			// Flat `.with` seeds: var leaves + bound creates, not module wrappers.
+			// Compact `W` (var leaves) plus bound creates on intersected `.with`.
 			expect(dts).toMatch(/createUser\?:/);
 			expect(dts).toMatch(/user\?:/);
 		} finally {

packages/experimental/src/error.ts

@@ -169,16 +169,14 @@ export class ControlFlow extends Error {
 	}
 }
 
-type ErrorsOf<F extends PublicFn<any, any, any, any, any, any, any, any>> =
+type ErrorsOf<F extends PublicFn<any, any, any, any, any, any, any>> =
 	// `PublicFn` carries the declared error map in its `Er` type parameter.
 	// Inferring from the generic is cheaper/steadier than pattern-matching the
 	// optional `$schema` object, and avoids declaration-size blowups.
-	F extends PublicFn<any, any, any, any, any, infer Er, any, any, any>
-		? Er
-		: never;
+	F extends PublicFn<any, any, any, any, any, infer Er, any> ? Er : never;
 
 export const getErrors = <
-	F extends PublicFn<any, any, any, any, any, any, any, any>,
+	F extends PublicFn<any, any, any, any, any, any, any>,
 >(
 	fn: F,
 ): ErrorsOf<F> | undefined => fn.$schema?.errors;

packages/experimental/src/fn.ts

@@ -188,19 +188,41 @@ type WithFnsSeed<U> = {
 			: WithFnsSeed<U[K]>;
 };
 
+/** Var seeds only - the half of {@link WithSeed} that stays small in
+ * declaration emit when the `use` fn override map is wide. */
+type WithVarsSeed<RV> = { [K in keyof RV]?: RV[K] };
+
 /**
  * Flat `.with` seed map stored on exported fns. Evaluating ScopeOf /
  * ModuleFns here (instead of embedding those wrappers as type arguments)
  * keeps declaration emit small: `.d.ts` shows leaf var shapes and bound
  * call signatures, not `ScopeOf<ResolvedVars<entire module graph>>`.
+ *
+ * Declaration emit stores {@link WithSeedStored} on the fn (var seeds
+ * only); terminating `.fn()` intersects a full {@link WithSeed} `.with`.
  */
-export type WithSeed<RV, U> = Prettify<
-	{ [K in keyof RV]?: RV[K] } & WithFnsSeed<U>
->;
+export type WithSeed<RV, U> = Prettify<WithVarsSeed<RV> & WithFnsSeed<U>>;
+
+/** What declaration emit stores for `W` - var seeds only so TS does not
+ * inline `BoundFnCall` per used fn from the builder `use` graph. */
+export type WithSeedStored<RV, _U = unknown> = WithVarsSeed<RV>;
 
-/** What `v.fn` / `e.fn` returns: contract params plus a flat {@link WithSeed}
+/** What `v.fn` / `e.fn` returns: contract params plus a stored seed map
  * for `.with`, never the raw ScopeOf / ModuleFns graph. */
 export type PublicFn<
+	A,
+	R,
+	K extends string,
+	I,
+	P extends readonly string[],
+	Er,
+	W = unknown,
+	O = unknown,
+> = FnDefination<A, R, K, I, P, Er, W, O>;
+
+/** Terminating `.fn()` product: compact {@link WithSeedStored} on the
+ * fn for declaration emit, full {@link WithSeed} on `.with` while typing. */
+type TerminatingFn<
 	A,
 	R,
 	K extends string,
@@ -210,7 +232,9 @@ export type PublicFn<
 	RV,
 	U,
 	O = unknown,
-> = FnDefination<A, R, K, I, P, Er, WithSeed<RV, U>, O>;
+> = PublicFn<A, R, K, I, P, Er, WithSeedStored<RV, U>, O> & {
+	with(context: WithSeed<RV, U>): BoundCall<A, R, I, Er>;
+};
 
 /** What `.with` returns: the same callable, context baked in.
  * Re-exported from the package entry so exporting `.with(...)` results
@@ -615,7 +639,7 @@ export interface Fn<
 				Fn<Base, BaseFns, BasePL, Prefix>
 			>,
 		) => R,
-	): PublicFn<
+	): TerminatingFn<
 		void,
 		R,
 		Prefix extends "" ? string : Prefix,
@@ -636,7 +660,7 @@ export interface Fn<
 				Fn<Base, BaseFns, BasePL, `${Prefix}${K}`>
 			>,
 		) => R,
-	): PublicFn<
+	): TerminatingFn<
 		void,
 		R,
 		`${Prefix}${K}`,
@@ -675,7 +699,7 @@ export interface Fn<
 				ChainPL<BasePL, PL>
 			>,
 		) => R,
-	): PublicFn<
+	): TerminatingFn<
 		WidenedArgs<I, ChainPL<BasePL, PL>>,
 		R,
 		Prefix extends "" ? string : Prefix,
@@ -716,7 +740,7 @@ export interface Fn<
 				ChainPL<BasePL, PL>
 			>,
 		) => R,
-	): PublicFn<
+	): TerminatingFn<
 		WidenedArgs<I, ChainPL<BasePL, PL>>,
 		R,
 		`${Prefix}${K}`,