Skip to content

Repo com "tsc": "tsc --noEmit" legítimo perde o typecheck #27

Description

@CRangelP

Custo conhecido da correção aplicada em 8c355eb, registrado para decisão.

Contexto

tsc saiu da lista de apelidos de typecheck porque, como nome de script, normalmente é compilação com emissão: o gate escreveria .js/.d.ts/.tsbuildinfo na árvore que está julgando, o git add -A do passo 1.3 levaria isso ao commit da faxina, e o rollback documentado não remove arquivo untracked.

O que se perdeu

Projeto que escreve "tsc": "tsc --noEmit" — que é check, não build — deixa de ter o typecheck reconhecido e cai um nível. É falha fechada, nunca verde falso, mas é autonomia perdida por um nome ambíguo.

Etapas

  • Avaliar ler o valor do script e aceitar tsc quando ele contém --noEmit. Custo: o gate passa a interpretar o conteúdo do script, não só o nome, e isso abre precedente para o resto da resolução.
  • Alternativa: documentar check-types/type-check como os nomes reconhecidos e deixar tsc fora por definição.
  • Se aceitar: caso no gate_test.sh para tsc --noEmit reconhecido e tsc -p . recusado.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions