@tslite/checker 1.4.0 → 1.5.0

package/dist/index.d.cts

@@ -1,9 +1,12 @@
-import { Schema, Schemes, TypeScheme, ObjectSchema, Completion } from './types/index.cjs';
-export { AnySchema, ApplySchema, ArraySchema, Bindings, DEFAULT_TYPE_LIMITS, Discovery, ElementFlag, FnSchema, GuardSig, INSTANTIATION_COUNT_LIMIT, INSTANTIATION_DEPTH_LIMIT, Incompatibility, IncompatibilityKind, IndexSchema, Instantiation, InstantiationLimitError, KeyofSchema, LiteralSchema, MappedSchema, OverloadSchema, Param, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, VarSchema, apparentType, asLiteralOrigin, baseLiteralType, bindTypeParams, comparable, configureTypeLimits, contravariantInference, covariantInference, discover, equals, erasedSignature, expand1, flagAt, format, formatTypeArgs, formatTypeDiff, freeVars, groundVars, inferFromCandidates, inferredTypes, instantiate, instantiateInContextOf, instantiateLoose, isMissingType, isNumericLiteralName, isObjectOrArrayLiteral, isScheme, isSerializable, isVariadicTuple, join, joinAll, missingType, normalizeUnion, ownProp, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, widen, widenInferred, widenLiteral, widenOrigin, widenType, withoutUndefined } from './types/index.cjs';
+import { VarSchema, Schema, Schemes, TypeScheme, ObjectSchema, Completion } from './types/index.cjs';
+export { AnySchema, ApplySchema, ArraySchema, Bindings, DEFAULT_TYPE_LIMITS, Discovery, ElementFlag, FnSchema, GuardSig, INSTANTIATION_COUNT_LIMIT, INSTANTIATION_DEPTH_LIMIT, Incompatibility, IncompatibilityKind, IndexSchema, Instantiation, InstantiationLimitError, KeyofSchema, LiteralSchema, MappedSchema, OverloadSchema, Param, PathSegment, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, WriteKey, apparentType, asLiteralOrigin, baseLiteralType, bindTypeParams, comparable, configureTypeLimits, contravariantInference, covariantInference, discover, equals, erasedSignature, expand1, flagAt, format, formatTypeArgs, formatTypeDiff, freeVars, groundVars, inferFromCandidates, inferredTypes, instantiate, instantiateInContextOf, instantiateLoose, isMissingType, isNumericLiteralName, isObjectOrArrayLiteral, isScheme, isSerializable, isVariadicTuple, join, joinAll, missingType, normalizeUnion, ownProp, readonlyMember, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, restTypeAtPosition, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, widen, widenInferred, widenLiteral, widenOrigin, widenType, withUndefined, withoutUndefined } from './types/index.cjs';
 import { Scope as Scope$1, BaseNode, Node, types, SourceLocation, Expression } from '@tslite/ast';
 import { CapabilityProfile, CompiledProfile } from '@tslite/capability';
 import { Span } from '@tslite/language-service';
 
+/** As declarações de tipo nominal: o nome e os type params, em ordem. */
+type Nominals = Readonly<Record<string, readonly VarSchema[]>>;
+
 /**
  * Um nível de escopo léxico (nome → `Schema`), sobre o `Scope<T>` genérico do
  * `ast` — a mesma cadeia que o `behavior` usa, com o payload do eixo de tipos.
@@ -73,6 +76,21 @@ interface Env {
      * especificador) é da app (Proposal 005). Default: nenhum.
      */
     readonly modules?: Readonly<Record<string, Schema>>;
+    /**
+     * Os aliases da **lib padrão** (`Partial`, `Pick`, `Record`, `Omit`, `ReturnType`…),
+     * o texto do `lib.es5.d.ts` do tsc 3.9.10 com o corte do TSLite (D79). Ficam ABAIXO
+     * de tudo: um tipo do host ou um alias do programa com o mesmo nome os sombreia.
+     * Vazio com `noLib`.
+     */
+    readonly lib?: Schemes;
+    /**
+     * Os tipos **nominais** que um texto de tipo pode citar pelo nome: o nome e os type
+     * params de cada um. São os `interface` da lib (`Array`, `ReadonlyArray`, `Promise`)
+     * e os que o host declara (`Map`, `Element`…). Um nominal é o `apply` opaco (types
+     * TC2): o texto `Promise<User>` e o construtor `s.apply("Promise", [User])` são o
+     * mesmo tipo, e a aridade é cobrada como a de um alias.
+     */
+    readonly nominals?: Nominals;
 }
 /**
  * O que um `Env` tem além das variáveis. Cada campo espelha o de {@link Env}, e
@@ -85,6 +103,13 @@ interface EnvOptions {
     readonly asserters?: ReadonlySet<string>;
     readonly matchers?: ReadonlySet<string>;
     readonly modules?: Readonly<Record<string, Schema>>;
+    /** Os nominais do host, somados aos da lib (ver {@link Env.nominals}). */
+    readonly nominals?: Nominals;
+    /**
+     * Sem a lib padrão — nem os aliases, nem os nominais dela. É o `--noLib` do tsc: os
+     * nomes da lib passam a ser `unknown-name`, como lá.
+     */
+    readonly noLib?: boolean;
 }
 /**
  * Um catálogo (`Record<string, Schema>`) passado no lugar das opções é o erro que a
@@ -114,7 +139,7 @@ declare const resolveNamed: (env: Env, name: string) => Schema | undefined;
 declare const resolveScheme: (env: Env, name: string) => TypeScheme | undefined;
 
 type Severity = "error" | "warning";
-type DiagnosticCode = "not-assignable" | "unknown-name" | "not-callable" | "no-such-member" | "not-object" | "possibly-nullish" | "unknown-value" | "const-needs-init" | "cannot-redeclare" | "circular-type-alias" | "circular-type-annotation" | "unknown-module" | "not-a-schema" | "type-as-value" | "asserter-needs-name" | "shadows-schema" | "missing-argument" | "excess-argument" | "excess-property" | "spread-argument" | "required-after-optional" | "not-iterable" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "unused-name" | "assign-to-const" | "readonly-write" | "cast-unsound" | "unprovable-value" | "not-arithmetic-operand" | "operator-not-applicable" | "implicit-coercion" | "node-not-allowed" | "name-not-allowed" | "type-feature-not-allowed" | "any-not-allowed" | "narrowing-cast-not-allowed" | "too-deep" | "too-complex-union" | "too-large" | "wrong-result-type";
+type DiagnosticCode = "not-assignable" | "unknown-name" | "not-callable" | "no-such-member" | "not-object" | "possibly-nullish" | "unknown-value" | "const-needs-init" | "cannot-redeclare" | "circular-type-alias" | "circular-type-annotation" | "unknown-module" | "not-a-schema" | "type-as-value" | "asserter-needs-name" | "shadows-schema" | "missing-argument" | "excess-argument" | "excess-property" | "spread-argument" | "required-after-optional" | "not-iterable" | "not-spreadable" | "implicit-any" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "unused-name" | "assign-to-const" | "for-in-destructuring" | "readonly-write" | "cast-unsound" | "unprovable-value" | "not-arithmetic-operand" | "operator-not-applicable" | "implicit-coercion" | "node-not-allowed" | "name-not-allowed" | "type-feature-not-allowed" | "any-not-allowed" | "narrowing-cast-not-allowed" | "too-deep" | "too-complex-union" | "too-large" | "wrong-result-type";
 /**
  * A **classe** do diagnóstico — espelha a divisão de passes do `tsc` (que nós
  * fundimos num walk só): `semantic` é o que o **binder** do tsc pega (validade do
@@ -239,9 +264,46 @@ declare const diag: {
     spreadArgument: (node: BaseNode) => Diagnostic;
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
     notIterable: (node: BaseNode, type: Schema) => Diagnostic;
+    /**
+     * O rest de um padrão de objeto (`{ a, ...rest }`) sobre uma fonte que não é objeto — o
+     * TS2700 do tsc, no elemento do rest (`getTypeForBindingElement`, `checker.ts:7439`: o
+     * `isValidSpreadType` da fonte). O código é o do conceito — a fonte não se espalha —, par do
+     * `not-iterable` do padrão de array.
+     */
+    notSpreadable: (node: BaseNode) => Diagnostic;
+    /**
+     * O `any` que ninguém escreveu — o `noImplicitAny` do tsc 3.9.10, que faz parte do
+     * `--strict` e está sempre ligado aqui (D81). Um código só, com o texto de cada caso (o
+     * `reportImplicitAny`, `checker.ts:18198`, e os sítios do acesso e do `let` evolving): o
+     * código é o conceito, a mensagem diz qual é o caso (D2), como o `possibly-nullish`.
+     */
+    implicitAny: {
+        /** TS7006, no nome do parâmetro sem anotação e sem contexto. */
+        parameter: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7019, no nome do rest sem anotação e sem contexto. */
+        rest: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7031, em cada folha de um parâmetro-padrão sem anotação nem contexto. */
+        bindingElement: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7034, no nome do `let` evolving que uma closure lê. */
+        evolving: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7005, na leitura desse `let` dentro da closure. */
+        variable: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7053, no acesso inteiro: a chave não indexa o objeto. */
+        index: (node: BaseNode, key: Schema, target: Schema) => Diagnostic;
+        /** TS7015, na chave: o objeto só tem índice numérico, e a chave não é número. */
+        indexNotNumber: (node: BaseNode) => Diagnostic;
+    };
+    /**
+     * A posição de um padrão de array além do comprimento de uma tupla — o TS2493 do tsc, no
+     * nome (`getPropertyTypeForIndexType`, `checker.ts:12886`). O código é o `no-such-member`,
+     * o mesmo do acesso `t[5]` (TC43): a posição é uma propriedade que a tupla não tem.
+     */
+    tupleIndexOutOfRange: (node: BaseNode, tuple: Schema, length: number, index: number) => Diagnostic;
     propsMismatch: (node: BaseNode, props: Schema, detail: string) => Diagnostic;
     noMatchingOverload: (node: BaseNode, type: Schema, argTypes: readonly Schema[]) => Diagnostic;
-    constraintViolation: (node: BaseNode, name: string, actual: Schema, bound: Schema) => Diagnostic;
+    /** O argumento de tipo fora do bound — o texto do TS2344 da tag, com a constraint no
+     *  lugar do `{1}`. */
+    constraintViolation: (node: BaseNode, actual: Schema, bound: Schema) => Diagnostic;
     unsupported: (node: BaseNode, what: string) => Diagnostic;
     /**
      * Argumento de tipo explícito com aridade errada. Assinatura **sem** type params
@@ -269,11 +331,25 @@ declare const diag: {
      */
     assignToConst: (node: BaseNode, name: string, kind: "const" | "import") => Diagnostic;
     /**
-     * Escrita num alvo `readonly` (`readonly T[]`). É a outra metade do modificador:
-     * a relação (TC29) diz quem pode ser ATRIBUÍDO a quem; isto diz quem pode ser
-     * ESCRITO. Sem os dois, `readonly` seria só decoração. Texto do TS2542.
+     * As chaves de um `for…in` não cabem no alvo dele (`let n: number; for (n in o)`). É a
+     * relação que falha — o tipo das chaves contra o tipo declarado do alvo —, e por isso
+     * o código é o `not-assignable`; o texto é o do TS2405 (`checkForInStatement`).
+     */
+    forInTarget: (node: BaseNode) => Diagnostic;
+    /** `for ([a] in o)` — o alvo de um `for…in` é uma chave, não se desestrutura. TS2491. */
+    forInDestructuring: (node: BaseNode) => Diagnostic;
+    /**
+     * Escrita por um ÍNDICE readonly — `readonly T[]` ou `{ readonly [k: string]: V }`. É
+     * a outra metade do modificador: a relação (TC29) diz quem pode ser ATRIBUÍDO a quem;
+     * isto diz quem pode ser ESCRITO. Texto do TS2542, no acesso inteiro. Os três casos de
+     * escrita recusada pelo `readonly` têm um código só (D77): o nó e o texto são os do tsc.
      */
     readonlyWrite: (node: BaseNode, target: Schema) => Diagnostic;
+    /** Escrita numa PROPRIEDADE readonly — o TS2540, no nome (`o.a`) ou no argumento
+     *  (`o["a"]`). O acesso vira o tipo-erro: a atribuição não é checada depois. D77. */
+    readonlyProperty: (node: BaseNode, name: string) => Diagnostic;
+    /** `delete` de uma PROPRIEDADE readonly — o TS2704, no operando. D77. */
+    readonlyDelete: (node: BaseNode) => Diagnostic;
     /**
      * Cast (`x as T`) entre tipos que não se sobrepõem na régua do tsc (`castOverlaps`:
      * literal da origem alargado + comparabilidade). Erro, como o TS2352 — o texto é o
@@ -320,10 +396,21 @@ declare const diag: {
      */
     notTextConvertible: (node: BaseNode, t: Schema) => Diagnostic;
 };
-/** Coletor de diagnósticos — acumula durante o walk, sem `throw`. */
+/**
+ * Coletor de diagnósticos — acumula durante o walk, sem `throw`.
+ *
+ * Guarda cada diagnóstico UMA vez: um segundo com o mesmo nó, o mesmo código e a mesma
+ * mensagem não entra. É a coleção do tsc (`createDiagnosticCollection`, que insere pelo
+ * `insertSorted` e não repete o que o `compareDiagnostics` acha igual), e é o que deixa
+ * um argumento ser tipado mais de uma vez — as rodadas da chamada (D53, D81) — sem que o
+ * erro de dentro dele saia duas vezes.
+ */
 interface DiagnosticSink {
-    /** Diagnósticos coletados, na ordem em que foram reportados. */
+    /** Diagnósticos coletados, na ordem em que foram reportados, sem repetição. */
     readonly all: readonly Diagnostic[];
+    /** Quantas vezes o `report` foi chamado, as repetições inclusive: é o que responde "esta
+     *  operação acusou algo?", mesmo quando o que ela acusou já tinha sido acusado. */
+    readonly reported: number;
     report(d: Diagnostic): void;
     /** `true` se há ao menos um diagnóstico de severidade `error`. */
     hasErrors(): boolean;
@@ -380,6 +467,13 @@ interface CheckResult {
      * paralelas divergem.
      */
     readonly schemes: Schemes;
+    /**
+     * Os tipos NOMINAIS que um texto de tipo pode citar (`Promise`, `Array`, e os do
+     * host), com os type params de cada um — os que nenhum scheme sombreia. Publicado
+     * pela mesma razão dos `schemes`: é a outra metade do catálogo de nomes de tipo
+     * (D79).
+     */
+    readonly nominals: Nominals;
 }
 /**
  * Tipa `node` no ambiente `env` (a borda da DI: data, states, funções globais).
@@ -782,4 +876,4 @@ declare function anchorDiagnostics<A>(root: object, diagnostics: readonly Diagno
  */
 declare function spanOf(text: string, loc: SourceLocation | null | undefined): Span | undefined;
 
-export { type AnchorDiagnosticsOptions, type AnchoredDiagnostic, type Anchors, BINARY_OP, BINARY_OPS, type BinaryOpCategory, type BinaryOpSpec, type BindingMap, type CheckOptions, type CheckResult, type CheckerErrorCode, Completion, type Diagnostic, type DiagnosticCode, type DiagnosticData, type DiagnosticKind, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, ObjectSchema, type Occurrence, type OpResult, type Profile, type ReferenceSymbol, Schema, Schemes, type Scope, type Severity, type Shorthand, type TypeOverlay, type TypeRefSite, TypeScheme, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, collectReferences, collectUnused, componentProps, componentPropsOf, contextualTypeAt, createAnchors, createEnv, createSink, diag, diagnosticsAt, extractModuleType, fromCapability, guard, guardsFromCompiled, lookup, lowerValue, makeDiagnostic, maxArgs, maxCallNesting, maxDepth, maxFunctionNesting, maxNestingOf, maxNodes, memberCompletions, memberDepth, opResultSchema, resolveNamed, resolveScheme, resultType, rootScope, sameSymbol, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };
+export { type AnchorDiagnosticsOptions, type AnchoredDiagnostic, type Anchors, BINARY_OP, BINARY_OPS, type BinaryOpCategory, type BinaryOpSpec, type BindingMap, type CheckOptions, type CheckResult, type CheckerErrorCode, Completion, type Diagnostic, type DiagnosticCode, type DiagnosticData, type DiagnosticKind, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, type Nominals, ObjectSchema, type Occurrence, type OpResult, type Profile, type ReferenceSymbol, Schema, Schemes, type Scope, type Severity, type Shorthand, type TypeOverlay, type TypeRefSite, TypeScheme, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, VarSchema, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, collectReferences, collectUnused, componentProps, componentPropsOf, contextualTypeAt, createAnchors, createEnv, createSink, diag, diagnosticsAt, extractModuleType, fromCapability, guard, guardsFromCompiled, lookup, lowerValue, makeDiagnostic, maxArgs, maxCallNesting, maxDepth, maxFunctionNesting, maxNestingOf, maxNodes, memberCompletions, memberDepth, opResultSchema, resolveNamed, resolveScheme, resultType, rootScope, sameSymbol, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };

package/dist/index.d.ts

@@ -1,9 +1,12 @@
-import { Schema, Schemes, TypeScheme, ObjectSchema, Completion } from './types/index.js';
-export { AnySchema, ApplySchema, ArraySchema, Bindings, DEFAULT_TYPE_LIMITS, Discovery, ElementFlag, FnSchema, GuardSig, INSTANTIATION_COUNT_LIMIT, INSTANTIATION_DEPTH_LIMIT, Incompatibility, IncompatibilityKind, IndexSchema, Instantiation, InstantiationLimitError, KeyofSchema, LiteralSchema, MappedSchema, OverloadSchema, Param, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, VarSchema, apparentType, asLiteralOrigin, baseLiteralType, bindTypeParams, comparable, configureTypeLimits, contravariantInference, covariantInference, discover, equals, erasedSignature, expand1, flagAt, format, formatTypeArgs, formatTypeDiff, freeVars, groundVars, inferFromCandidates, inferredTypes, instantiate, instantiateInContextOf, instantiateLoose, isMissingType, isNumericLiteralName, isObjectOrArrayLiteral, isScheme, isSerializable, isVariadicTuple, join, joinAll, missingType, normalizeUnion, ownProp, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, widen, widenInferred, widenLiteral, widenOrigin, widenType, withoutUndefined } from './types/index.js';
+import { VarSchema, Schema, Schemes, TypeScheme, ObjectSchema, Completion } from './types/index.js';
+export { AnySchema, ApplySchema, ArraySchema, Bindings, DEFAULT_TYPE_LIMITS, Discovery, ElementFlag, FnSchema, GuardSig, INSTANTIATION_COUNT_LIMIT, INSTANTIATION_DEPTH_LIMIT, Incompatibility, IncompatibilityKind, IndexSchema, Instantiation, InstantiationLimitError, KeyofSchema, LiteralSchema, MappedSchema, OverloadSchema, Param, PathSegment, Prop, ScalarSchema, TYPE_EVAL_DEPTH_LIMIT, TupleSchema, TypeEvalLimitError, TypeEvalLimits, TypeForm, TypePosition, UnionSchema, UnionTooComplexError, UnknownSchema, VarCandidates, WriteKey, apparentType, asLiteralOrigin, baseLiteralType, bindTypeParams, comparable, configureTypeLimits, contravariantInference, covariantInference, discover, equals, erasedSignature, expand1, flagAt, format, formatTypeArgs, formatTypeDiff, freeVars, groundVars, inferFromCandidates, inferredTypes, instantiate, instantiateInContextOf, instantiateLoose, isMissingType, isNumericLiteralName, isObjectOrArrayLiteral, isScheme, isSerializable, isVariadicTuple, join, joinAll, missingType, normalizeUnion, ownProp, readonlyMember, renameTypeParams, resetInstantiationCount, resetTypeLimits, resolveConditional, resolveOp, resolveTypeOp, restIndex, restTypeAtPosition, s, sampleValue, silentNever, substitute, subtype, typeAtPosition, typeDiff, typeFeatures, typeLimits, typeNeedsParens, typeParamArity, unify, widen, widenInferred, widenLiteral, widenOrigin, widenType, withUndefined, withoutUndefined } from './types/index.js';
 import { Scope as Scope$1, BaseNode, Node, types, SourceLocation, Expression } from '@tslite/ast';
 import { CapabilityProfile, CompiledProfile } from '@tslite/capability';
 import { Span } from '@tslite/language-service';
 
+/** As declarações de tipo nominal: o nome e os type params, em ordem. */
+type Nominals = Readonly<Record<string, readonly VarSchema[]>>;
+
 /**
  * Um nível de escopo léxico (nome → `Schema`), sobre o `Scope<T>` genérico do
  * `ast` — a mesma cadeia que o `behavior` usa, com o payload do eixo de tipos.
@@ -73,6 +76,21 @@ interface Env {
      * especificador) é da app (Proposal 005). Default: nenhum.
      */
     readonly modules?: Readonly<Record<string, Schema>>;
+    /**
+     * Os aliases da **lib padrão** (`Partial`, `Pick`, `Record`, `Omit`, `ReturnType`…),
+     * o texto do `lib.es5.d.ts` do tsc 3.9.10 com o corte do TSLite (D79). Ficam ABAIXO
+     * de tudo: um tipo do host ou um alias do programa com o mesmo nome os sombreia.
+     * Vazio com `noLib`.
+     */
+    readonly lib?: Schemes;
+    /**
+     * Os tipos **nominais** que um texto de tipo pode citar pelo nome: o nome e os type
+     * params de cada um. São os `interface` da lib (`Array`, `ReadonlyArray`, `Promise`)
+     * e os que o host declara (`Map`, `Element`…). Um nominal é o `apply` opaco (types
+     * TC2): o texto `Promise<User>` e o construtor `s.apply("Promise", [User])` são o
+     * mesmo tipo, e a aridade é cobrada como a de um alias.
+     */
+    readonly nominals?: Nominals;
 }
 /**
  * O que um `Env` tem além das variáveis. Cada campo espelha o de {@link Env}, e
@@ -85,6 +103,13 @@ interface EnvOptions {
     readonly asserters?: ReadonlySet<string>;
     readonly matchers?: ReadonlySet<string>;
     readonly modules?: Readonly<Record<string, Schema>>;
+    /** Os nominais do host, somados aos da lib (ver {@link Env.nominals}). */
+    readonly nominals?: Nominals;
+    /**
+     * Sem a lib padrão — nem os aliases, nem os nominais dela. É o `--noLib` do tsc: os
+     * nomes da lib passam a ser `unknown-name`, como lá.
+     */
+    readonly noLib?: boolean;
 }
 /**
  * Um catálogo (`Record<string, Schema>`) passado no lugar das opções é o erro que a
@@ -114,7 +139,7 @@ declare const resolveNamed: (env: Env, name: string) => Schema | undefined;
 declare const resolveScheme: (env: Env, name: string) => TypeScheme | undefined;
 
 type Severity = "error" | "warning";
-type DiagnosticCode = "not-assignable" | "unknown-name" | "not-callable" | "no-such-member" | "not-object" | "possibly-nullish" | "unknown-value" | "const-needs-init" | "cannot-redeclare" | "circular-type-alias" | "circular-type-annotation" | "unknown-module" | "not-a-schema" | "type-as-value" | "asserter-needs-name" | "shadows-schema" | "missing-argument" | "excess-argument" | "excess-property" | "spread-argument" | "required-after-optional" | "not-iterable" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "unused-name" | "assign-to-const" | "readonly-write" | "cast-unsound" | "unprovable-value" | "not-arithmetic-operand" | "operator-not-applicable" | "implicit-coercion" | "node-not-allowed" | "name-not-allowed" | "type-feature-not-allowed" | "any-not-allowed" | "narrowing-cast-not-allowed" | "too-deep" | "too-complex-union" | "too-large" | "wrong-result-type";
+type DiagnosticCode = "not-assignable" | "unknown-name" | "not-callable" | "no-such-member" | "not-object" | "possibly-nullish" | "unknown-value" | "const-needs-init" | "cannot-redeclare" | "circular-type-alias" | "circular-type-annotation" | "unknown-module" | "not-a-schema" | "type-as-value" | "asserter-needs-name" | "shadows-schema" | "missing-argument" | "excess-argument" | "excess-property" | "spread-argument" | "required-after-optional" | "not-iterable" | "not-spreadable" | "implicit-any" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "unused-name" | "assign-to-const" | "for-in-destructuring" | "readonly-write" | "cast-unsound" | "unprovable-value" | "not-arithmetic-operand" | "operator-not-applicable" | "implicit-coercion" | "node-not-allowed" | "name-not-allowed" | "type-feature-not-allowed" | "any-not-allowed" | "narrowing-cast-not-allowed" | "too-deep" | "too-complex-union" | "too-large" | "wrong-result-type";
 /**
  * A **classe** do diagnóstico — espelha a divisão de passes do `tsc` (que nós
  * fundimos num walk só): `semantic` é o que o **binder** do tsc pega (validade do
@@ -239,9 +264,46 @@ declare const diag: {
     spreadArgument: (node: BaseNode) => Diagnostic;
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
     notIterable: (node: BaseNode, type: Schema) => Diagnostic;
+    /**
+     * O rest de um padrão de objeto (`{ a, ...rest }`) sobre uma fonte que não é objeto — o
+     * TS2700 do tsc, no elemento do rest (`getTypeForBindingElement`, `checker.ts:7439`: o
+     * `isValidSpreadType` da fonte). O código é o do conceito — a fonte não se espalha —, par do
+     * `not-iterable` do padrão de array.
+     */
+    notSpreadable: (node: BaseNode) => Diagnostic;
+    /**
+     * O `any` que ninguém escreveu — o `noImplicitAny` do tsc 3.9.10, que faz parte do
+     * `--strict` e está sempre ligado aqui (D81). Um código só, com o texto de cada caso (o
+     * `reportImplicitAny`, `checker.ts:18198`, e os sítios do acesso e do `let` evolving): o
+     * código é o conceito, a mensagem diz qual é o caso (D2), como o `possibly-nullish`.
+     */
+    implicitAny: {
+        /** TS7006, no nome do parâmetro sem anotação e sem contexto. */
+        parameter: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7019, no nome do rest sem anotação e sem contexto. */
+        rest: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7031, em cada folha de um parâmetro-padrão sem anotação nem contexto. */
+        bindingElement: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7034, no nome do `let` evolving que uma closure lê. */
+        evolving: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7005, na leitura desse `let` dentro da closure. */
+        variable: (node: BaseNode, name: string) => Diagnostic;
+        /** TS7053, no acesso inteiro: a chave não indexa o objeto. */
+        index: (node: BaseNode, key: Schema, target: Schema) => Diagnostic;
+        /** TS7015, na chave: o objeto só tem índice numérico, e a chave não é número. */
+        indexNotNumber: (node: BaseNode) => Diagnostic;
+    };
+    /**
+     * A posição de um padrão de array além do comprimento de uma tupla — o TS2493 do tsc, no
+     * nome (`getPropertyTypeForIndexType`, `checker.ts:12886`). O código é o `no-such-member`,
+     * o mesmo do acesso `t[5]` (TC43): a posição é uma propriedade que a tupla não tem.
+     */
+    tupleIndexOutOfRange: (node: BaseNode, tuple: Schema, length: number, index: number) => Diagnostic;
     propsMismatch: (node: BaseNode, props: Schema, detail: string) => Diagnostic;
     noMatchingOverload: (node: BaseNode, type: Schema, argTypes: readonly Schema[]) => Diagnostic;
-    constraintViolation: (node: BaseNode, name: string, actual: Schema, bound: Schema) => Diagnostic;
+    /** O argumento de tipo fora do bound — o texto do TS2344 da tag, com a constraint no
+     *  lugar do `{1}`. */
+    constraintViolation: (node: BaseNode, actual: Schema, bound: Schema) => Diagnostic;
     unsupported: (node: BaseNode, what: string) => Diagnostic;
     /**
      * Argumento de tipo explícito com aridade errada. Assinatura **sem** type params
@@ -269,11 +331,25 @@ declare const diag: {
      */
     assignToConst: (node: BaseNode, name: string, kind: "const" | "import") => Diagnostic;
     /**
-     * Escrita num alvo `readonly` (`readonly T[]`). É a outra metade do modificador:
-     * a relação (TC29) diz quem pode ser ATRIBUÍDO a quem; isto diz quem pode ser
-     * ESCRITO. Sem os dois, `readonly` seria só decoração. Texto do TS2542.
+     * As chaves de um `for…in` não cabem no alvo dele (`let n: number; for (n in o)`). É a
+     * relação que falha — o tipo das chaves contra o tipo declarado do alvo —, e por isso
+     * o código é o `not-assignable`; o texto é o do TS2405 (`checkForInStatement`).
+     */
+    forInTarget: (node: BaseNode) => Diagnostic;
+    /** `for ([a] in o)` — o alvo de um `for…in` é uma chave, não se desestrutura. TS2491. */
+    forInDestructuring: (node: BaseNode) => Diagnostic;
+    /**
+     * Escrita por um ÍNDICE readonly — `readonly T[]` ou `{ readonly [k: string]: V }`. É
+     * a outra metade do modificador: a relação (TC29) diz quem pode ser ATRIBUÍDO a quem;
+     * isto diz quem pode ser ESCRITO. Texto do TS2542, no acesso inteiro. Os três casos de
+     * escrita recusada pelo `readonly` têm um código só (D77): o nó e o texto são os do tsc.
      */
     readonlyWrite: (node: BaseNode, target: Schema) => Diagnostic;
+    /** Escrita numa PROPRIEDADE readonly — o TS2540, no nome (`o.a`) ou no argumento
+     *  (`o["a"]`). O acesso vira o tipo-erro: a atribuição não é checada depois. D77. */
+    readonlyProperty: (node: BaseNode, name: string) => Diagnostic;
+    /** `delete` de uma PROPRIEDADE readonly — o TS2704, no operando. D77. */
+    readonlyDelete: (node: BaseNode) => Diagnostic;
     /**
      * Cast (`x as T`) entre tipos que não se sobrepõem na régua do tsc (`castOverlaps`:
      * literal da origem alargado + comparabilidade). Erro, como o TS2352 — o texto é o
@@ -320,10 +396,21 @@ declare const diag: {
      */
     notTextConvertible: (node: BaseNode, t: Schema) => Diagnostic;
 };
-/** Coletor de diagnósticos — acumula durante o walk, sem `throw`. */
+/**
+ * Coletor de diagnósticos — acumula durante o walk, sem `throw`.
+ *
+ * Guarda cada diagnóstico UMA vez: um segundo com o mesmo nó, o mesmo código e a mesma
+ * mensagem não entra. É a coleção do tsc (`createDiagnosticCollection`, que insere pelo
+ * `insertSorted` e não repete o que o `compareDiagnostics` acha igual), e é o que deixa
+ * um argumento ser tipado mais de uma vez — as rodadas da chamada (D53, D81) — sem que o
+ * erro de dentro dele saia duas vezes.
+ */
 interface DiagnosticSink {
-    /** Diagnósticos coletados, na ordem em que foram reportados. */
+    /** Diagnósticos coletados, na ordem em que foram reportados, sem repetição. */
     readonly all: readonly Diagnostic[];
+    /** Quantas vezes o `report` foi chamado, as repetições inclusive: é o que responde "esta
+     *  operação acusou algo?", mesmo quando o que ela acusou já tinha sido acusado. */
+    readonly reported: number;
     report(d: Diagnostic): void;
     /** `true` se há ao menos um diagnóstico de severidade `error`. */
     hasErrors(): boolean;
@@ -380,6 +467,13 @@ interface CheckResult {
      * paralelas divergem.
      */
     readonly schemes: Schemes;
+    /**
+     * Os tipos NOMINAIS que um texto de tipo pode citar (`Promise`, `Array`, e os do
+     * host), com os type params de cada um — os que nenhum scheme sombreia. Publicado
+     * pela mesma razão dos `schemes`: é a outra metade do catálogo de nomes de tipo
+     * (D79).
+     */
+    readonly nominals: Nominals;
 }
 /**
  * Tipa `node` no ambiente `env` (a borda da DI: data, states, funções globais).
@@ -782,4 +876,4 @@ declare function anchorDiagnostics<A>(root: object, diagnostics: readonly Diagno
  */
 declare function spanOf(text: string, loc: SourceLocation | null | undefined): Span | undefined;
 
-export { type AnchorDiagnosticsOptions, type AnchoredDiagnostic, type Anchors, BINARY_OP, BINARY_OPS, type BinaryOpCategory, type BinaryOpSpec, type BindingMap, type CheckOptions, type CheckResult, type CheckerErrorCode, Completion, type Diagnostic, type DiagnosticCode, type DiagnosticData, type DiagnosticKind, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, ObjectSchema, type Occurrence, type OpResult, type Profile, type ReferenceSymbol, Schema, Schemes, type Scope, type Severity, type Shorthand, type TypeOverlay, type TypeRefSite, TypeScheme, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, collectReferences, collectUnused, componentProps, componentPropsOf, contextualTypeAt, createAnchors, createEnv, createSink, diag, diagnosticsAt, extractModuleType, fromCapability, guard, guardsFromCompiled, lookup, lowerValue, makeDiagnostic, maxArgs, maxCallNesting, maxDepth, maxFunctionNesting, maxNestingOf, maxNodes, memberCompletions, memberDepth, opResultSchema, resolveNamed, resolveScheme, resultType, rootScope, sameSymbol, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };
+export { type AnchorDiagnosticsOptions, type AnchoredDiagnostic, type Anchors, BINARY_OP, BINARY_OPS, type BinaryOpCategory, type BinaryOpSpec, type BindingMap, type CheckOptions, type CheckResult, type CheckerErrorCode, Completion, type Diagnostic, type DiagnosticCode, type DiagnosticData, type DiagnosticKind, type DiagnosticSink, type Env, type EnvOptions, FUNCTION_KINDS, type Guard, type GuardContext, LOGICAL_OPS, type LogicalOpSpec, type LowerValueOptions, type MissingProperty, type Nominals, ObjectSchema, type Occurrence, type OpResult, type Profile, type ReferenceSymbol, Schema, Schemes, type Scope, type Severity, type Shorthand, type TypeOverlay, type TypeRefSite, TypeScheme, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, VarSchema, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, collectReferences, collectUnused, componentProps, componentPropsOf, contextualTypeAt, createAnchors, createEnv, createSink, diag, diagnosticsAt, extractModuleType, fromCapability, guard, guardsFromCompiled, lookup, lowerValue, makeDiagnostic, maxArgs, maxCallNesting, maxDepth, maxFunctionNesting, maxNestingOf, maxNodes, memberCompletions, memberDepth, opResultSchema, resolveNamed, resolveScheme, resultType, rootScope, sameSymbol, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };