TS2589: component types too deep — breaks host app typecheck

[bntvllnt]

Problem

Registering @vllnt/convex-api-keys as a Convex component adds deeply nested types to the host app's generated api.d.ts. This pushes TypeScript past its recursion limit (TS2589) in files that:

• Use action() / query() / mutation() from _generated/server
• Use v.union() with 6+ literals
• Use createTracedFunctions() or any wrapper that resolves through the full DataModel

Reproduction

// convex.config.ts
import apiKeys from "@vllnt/convex-api-keys/convex.config";
app.use(apiKeys);

// any file using action() from _generated/server
export const myAction = action({ // TS2589: Type instantiation is excessively deep
  args: { type: v.union(v.literal("a"), v.literal("b"), v.literal("c")) },
  ...
});

Workarounds currently needed

• actionGeneric from convex/server instead of action from _generated/server
• *Generic builders (queryGeneric, internalQueryGeneric, etc.) in traced function wrappers
• const internal: any = _internal to break the type chain on ctx.runQuery(internal....) calls
• --max-old-space-size=8192 for web typecheck (OOM from transitive type resolution)

Expected

Registering the component should not increase type depth enough to trigger TS2589 in the host app. Other @convex-dev/* components (workflow, rate-limiter, presence, workpool, crons) don't cause this.

Likely cause

The component's schema or generated types export deeply nested generic types. The sub-components (@convex-dev/aggregate, @convex-dev/sharded-counter, @convex-dev/rate-limiter, @convex-dev/crons) each add type depth, and stacking 4 of them compounds the nesting.

Environment

• @vllnt/convex-api-keys: 0.1.1-canary.f11443e
• convex: 1.31.2
• TypeScript: 5.9.3

[bntvllnt]

Reopening — 0.1.1-canary.61796d1 reduced depth but not enough. Still hitting TS2589 in the host app.

Failing files (songtrivia backend, convex 1.31.2, TS 5.9.3)

convex/quiz/actions/from_artist.ts(25,25): error TS2589
convex/quiz/actions/from_category.ts(25,25): error TS2589
convex/quiz/actions/from_genre.ts(25,25): error TS2589
convex/quiz/actions/from_playlist.ts(25,25): error TS2589
convex/quiz/queries.ts(24,36): error TS2589

These files use createTracedFunctions (which already uses *Generic builders from convex/server) with v.union() validators containing 5+ literals. They pass on main without the apiKeys component registered.

What the canary fixed

• ops/actions.ts with actionGeneric + untyped internal — passes now
• lib/traced.ts with *Generic builders — quiz/queries still fails
• MCP tools/server/http — converted to JS as workaround

What still fails

Any file that:

1. Uses action() or internalQuery() from createTracedFunctions (even with *Generic)
2. Has v.union() with 5+ v.literal() members in args
3. Uses ctx.runQuery(internal.*.queries.*) with the deep internal type

The type budget is still exceeded when combining traced function wrappers + complex validators + deep internal API type.

[bntvllnt]

Fixed in #39 (merged 2026-03-27)