fix(contracts): infer V from keyof S & string in parseContract to fix TS2345 in 15 edge functions

[adm01-debug]

🐛 Bug

Job Edge Functions — Deno typecheck falha em 15 de 81 edge functions desde o merge do PR #87 (feat(contracts): migrate 13 edge functions to parseContract).

Funções afetadas: bi-copilot, block-ip-temporarily, e2e-cleanup, force-global-logout, kit-ai-builder, market-intelligence-insights, ownership-audit, ownership-repair, product-webhook, send-transactional-email, simulation-orchestrator, step-up-verify, sync-external-db, trends-insights, webhook-dispatcher.

Erro típico (em cada uma):

TS2345 [ERROR]: Argument of type '{ name: string; versions: { "1": ZodObject<...>; "2": ZodObject<...>; }; defaultVersion: "1"; ... }' 
is not assignable to parameter of type 'ContractSchemas<"1"> & { versions: { "1": ..., "2": ... } }'.
  The types returned by 'versions["1"].deepPartial()' are incompatible between these types.
    Type 'ZodOptional<ZodString>' is missing the following properties from type 'ZodString': _regex, _addCheck, email, url, and 39 more.

🔍 Causa-raiz

A signature anterior era:

export async function parseContract<
  V extends string,
  S extends Record<V, z.ZodTypeAny>,
>(
  req: Request,
  schemas: ContractSchemas<V> & { versions: S },
  ...
)

Cadeia de inferência problemática:

1. Os schemas definem defaultVersion: "1" as const → TypeScript infere V = "1" (literal)
2. ContractSchemas<V> exige versions: Record<V, z.ZodTypeAny> = Record<"1", ...>
3. Mas versions: { "1": ..., "2": ... } tem mais chaves que o Record<"1", ...> exigido
4. A intersecção & { versions: S } faz versions["1"] virar ZodTypeAny & ZodObject<...>
5. Quando TypeScript chama .deepPartial() nesse tipo intersectado, devolve um tipo incompatível
6. Resultado: TS2345 em cada call de parseContract()

✅ Fix

Inverte a ordem de inferência: S é o generic primário, e V é derivado de S via keyof S & string:

-export interface ContractSchemas<V extends string = string> {
-  versions: Record<V, z.ZodTypeAny>;
+export interface ContractSchemas<
+  V extends string = string,
+  S extends Record<V, z.ZodTypeAny> = Record<V, z.ZodTypeAny>,
+> {
+  versions: S;
   defaultVersion: V;
   ...
 }

 export async function parseContract<
-  V extends string,
-  S extends Record<V, z.ZodTypeAny>,
+  S extends Record<string, z.ZodTypeAny>,
 >(
   req: Request,
-  schemas: ContractSchemas<V> & { versions: S },
+  schemas: ContractSchemas<keyof S & string, S>,
   ...
-): Promise<ParseResult<V, S>> {
+): Promise<ParseResult<keyof S & string, S>> {
   ...
+  type V = keyof S & string;

Por quê funciona: agora S é inferido livremente das chaves de versions (sem restrição prévia), e V é derivado. schema.versions["X"] passa a ser o ZodObject concreto (não a intersecção problemática). defaultVersion continua sendo tipado como V (qualquer chave válida de S).

🧪 Validação em lab

Container Linux limpo, Deno 2.8.0 (TypeScript 6.0.3), cache zerado:

Validação	Antes	Depois
node scripts/typecheck-edge-functions.mjs	15/81 ❌	81/81 ✅
npx vitest run tests/contracts/ (92 testes)	n/a	92/92 ✅
deno check supabase/functions/trends-insights/index.ts (isolado)	TS2345	exit 0

🛡️ Análise de compatibilidade

• ContractSchemas agora aceita 2 generics, mas o segundo (S) tem default = Record<V, z.ZodTypeAny> → chamadores que usam ContractSchemas<V> em 1 arg continuam funcionando.
• Busca no codebase: ContractSchemas só aparece em 2 lugares — sua definição em parse.ts e o re-export em _shared/contracts/index.ts. Nenhum schema usa como anotação (todos usam inferência). Zero risco de quebrar terceiros.
• Runtime: zero mudanças — só tipos. Os 92 testes de contracts confirmam o comportamento idêntico.

🤔 Por quê só agora?

PR #87 mergeou hoje cedo (06:42 -0300) com CI verde. O job ficou vermelho depois sem ninguém tocar nesses arquivos. Hipótese: Deno 2.x faz auto-update do toolchain TypeScript embarcado. Entre o merge e os runs subsequentes, a versão do TS ficou mais estrita na resolução de generics, expondo o bug que sempre esteve lá. O fix em si nunca foi compatível com a inferência rigorosa — só passou por sorte/cache.

🛣️ Plano "10/10" — progresso

• ✅ fix(ci): adicionar gpt-engineer-app[bot] à whitelist do Branch Protection Sentinel #1 Migrations sync guard (PR fix(ci): allowlist docs/redeploy/ + migration align_wave_3_5_2 no guard check-no-db-push #111, mergeado 5f3ec9d)
• 🟢 fix(imports): corrigir 32 imports quebrados pelo refactor T1 (19/mai) #2 Edge Deno typecheck (este PR)
• 🟡 chore: remover 6 scripts refactor_imports*.cjs lixo (origem dos 32 imports quebrados) #3 Test Coverage (próximo)
• 🟡 feat(ci): Sentinel aceita familia Lovable via regex (resiliente a renomeacoes) #4 quality "Run tests" (próximo, provavelmente compartilha causa com chore: remover 6 scripts refactor_imports*.cjs lixo (origem dos 32 imports quebrados) #3)

🤖 PR proposto pelo Claude (Agente BPM/Tech Lead). Lab-test completo: 81/81 edge functions + 92/92 contract tests passam.

---

Summary by cubic

Fixes TS2345 type errors in 15 edge functions by changing parseContract to infer version V from keyof S & string. Restores Deno typecheck to 81/81 with no runtime changes.

• Bug Fixes
  • Make S extends Record<string, z.ZodTypeAny> the primary generic and derive V as keyof S & string.
  • Update ContractSchemas to accept V and S (with defaults) and set versions: S; adjust parseContract signature and return type accordingly.
  • Validation: Edge Deno typecheck 81/81; contract tests 92/92 pass.

^{Written for commit b4c08b3. Summary will update on new commits. Review in cubic}

Summary by CodeRabbit

• Refactor
  • Melhorada a modelagem genérica de esquemas de validação para aumentar a segurança de tipos e reduzir acoplamento entre versões suportadas e definições de schema. O fluxo de processamento e comportamento da aplicação permanecem inalterados.

[vercel]

The latest updates on your projects. Learn more about Vercel for GitHub.

Project	Deployment	Actions	Updated (UTC)
we-dream-big	Ready	Preview, Comment	May 22, 2026 8:38pm

[supabase]

This pull request has been ignored for the connected project doufsxqlfjyuvxuezpln due to reaching the limit of concurrent preview branches.
Go to Project Integrations Settings ↗︎ if you wish to update this limit.

---

Preview Branches by Supabase.
Learn more about Supabase Branching ↗︎.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro

Run ID: 9298ae4d-556c-45b3-9334-1f117f53664e

📥 Commits

Reviewing files that changed from the base of the PR and between 57d9f8f and b4c08b3.

📒 Files selected for processing (1)

• supabase/functions/_shared/contracts/parse.ts

---

Walkthrough

A PR refatora a parametrização de genéricos em parseContract para melhorar inferência de tipos entre versões suportadas e schemas Zod. ContractSchemas agora aceita explicitamente o mapeamento versão→schema como segundo parâmetro, e parseContract usa esse tipo para retornar um resultado tipado corretamente sem necessidade de asserções.

Changes

Refatoração de Genéricos em parseContract

Layer / File(s)	Summary
Parametrização dupla de ContractSchemas e parseContract supabase/functions/_shared/contracts/parse.ts	ContractSchemas<V, S> passa a aceitar mapeamento versão→schema explicitamente; parseContract<S> trabalha com S extends Record<string, z.ZodTypeAny>, recebendo schemas: ContractSchemas<keyof S & string, S> e retornando ParseResult<keyof S & string, S> para melhor acoplamento de tipos sem alterar a execução interna.

Estimated code review effort

🎯 2 (Simple) | ⏱️ ~10 minutos

🚥 Pre-merge checks | ✅ 5

✅ Passed checks (5 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	O título descreve precisamente a correção aplicada: ajuste da inferência de V a partir de keyof S & string para resolver o erro TS2345 em 15 funções edge.
Docstring Coverage	✅ Passed	Docstring coverage is 100.00% which is sufficient. The required threshold is 80.00%.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

_{✏️ Tip: You can configure your own custom pre-merge checks in the settings.}

✨ Finishing Touches

📝 Generate docstrings

• Create stacked PR
• Commit on current branch

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch fix/edge-functions-deno-typecheck

---

_{Comment @coderabbitai help to get the list of available commands and usage tips.}

[Copilot]

Pull request overview

This PR fixes TypeScript inference issues in the shared Edge Function contract parser by changing parseContract to infer the supported version union (V) from the keys of the provided versions object, resolving TS2345 typecheck failures in multiple Edge Functions without changing runtime behavior.

Changes:

• Extend ContractSchemas to parameterize versions as a generic S (defaulting to Record<V, ZodTypeAny>) instead of forcing Record<V, ...>.
• Update parseContract to infer S first and derive V as keyof S & string, avoiding problematic intersections on versions["1"].
• Adjust parseContract return type accordingly, preserving existing runtime logic.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[cubic-dev-ai]

No issues found across 1 file

_{Re-trigger cubic}