@tslite/checker 0.14.0 → 1.1.0

package/dist/index.d.cts

@@ -1,12 +1,12 @@
-import { Schema, Schemes, TypeScheme, ObjectSchema, Completion } from '@tslite/type-core';
-export * from '@tslite/type-core';
-import { Scope as Scope$1, BaseNode, Node, types, Expression, SourceLocation } from '@tslite/core';
+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 { Scope as Scope$1, BaseNode, Node, types, Expression, SourceLocation } from '@tslite/ast';
 import { CapabilityProfile, CompiledProfile } from '@tslite/capability';
 import { Span } from '@tslite/language-service';
 
 /**
  * Um nível de escopo léxico (nome → `Schema`), sobre o `Scope<T>` genérico do
- * `core` — a mesma cadeia que o `analysis` usa, com o payload do eixo de tipos.
+ * `ast` — a mesma cadeia que o `behavior` usa, com o payload do eixo de tipos.
  */
 type Scope = Scope$1<Schema>;
 /** Cria um escopo raiz (sem pai). */
@@ -17,9 +17,11 @@ declare const childScope: (parent: Scope, vars: Record<string, Schema>) => Scope
 declare const lookup: (scope: Scope, name: string) => Schema | undefined;
 /**
  * Todos os nomes visíveis a partir de `scope`, com shadowing — o binding mais
- * interno vence. É o que alimenta o autocomplete de identificadores. Uma chave
- * com `.` não é binding: é um caminho estreitado por guard (`narrow`, D13), que
- * mora no mesmo escopo mas não é nome visível.
+ * interno vence. É o que alimenta o autocomplete de identificadores. Duas
+ * chaves moram no mesmo escopo e não são nomes: a que tem `.` é um caminho
+ * estreitado por guard (`narrow`, D13), e a que termina em `#` é o tipo
+ * DECLARADO de um binding mutável (D63) — nenhum identificador tem esses
+ * caracteres.
  */
 declare const visibleNames: (scope: Scope) => Map<string, Schema>;
 /**
@@ -112,7 +114,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" | "const-needs-init" | "cannot-redeclare" | "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" | "forbidden-member" | "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" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "forbidden-member" | "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";
 /**
  * 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
@@ -187,6 +189,29 @@ declare const diag: {
     notCallable: (node: BaseNode, type: Schema) => Diagnostic;
     noSuchMember: (node: BaseNode, type: Schema, key: string) => Diagnostic;
     notObject: (node: BaseNode, type: Schema) => Diagnostic;
+    /**
+     * Ler ou chamar através de um valor que pode ser `null`/`undefined` — o
+     * `checkNonNullTypeWithReporter` do tsc (`checker.ts:24098`), que tem uma mensagem por
+     * combinação, e a variante "Cannot invoke" quando o valor é chamado.
+     */
+    possiblyNullish: (node: BaseNode, nullish: {
+        readonly null: boolean;
+        readonly undefined: boolean;
+    }, invoked?: boolean) => Diagnostic;
+    /**
+     * Usar um valor `unknown` como objeto — ler dele, chamá-lo, indexá-lo ou operar
+     * sobre ele. É o mesmo `checkNonNullTypeWithReporter` (`checker.ts:24102`), no ramo
+     * que vem ANTES do nullish e em três linhas:
+     *
+     *     if (strictNullChecks && type.flags & TypeFlags.Unknown) {
+     *         error(node, Diagnostics.Object_is_of_type_unknown);
+     *         return errorType;
+     *     }
+     *
+     * Um código só e uma mensagem só, para os seis usos (o TS2571 da 3.9.10 — o
+     * TS18046 é de versão posterior e não existe na tag).
+     */
+    unknownValue: (node: BaseNode) => Diagnostic;
     constNeedsInit: (node: BaseNode) => Diagnostic;
     missingArgument: (node: BaseNode, name: string, expected: Schema) => Diagnostic;
     notASchema: (node: BaseNode, name: string) => Diagnostic;
@@ -195,7 +220,21 @@ declare const diag: {
     shadowsSchema: (node: BaseNode, name: string) => Diagnostic;
     unknownModule: (node: BaseNode, source: string) => Diagnostic;
     cannotRedeclare: (node: BaseNode, name: string) => Diagnostic;
+    circularTypeAlias: (node: BaseNode, name: string) => Diagnostic;
+    circularTypeAnnotation: (node: BaseNode, name: string) => Diagnostic;
     excessArgument: (node: BaseNode, expected: number, got: number) => Diagnostic;
+    /**
+     * A ARIDADE de uma chamada, com o texto do `getArgumentArityError` do tsc
+     * (`checker.ts:25477`): `Expected {range} arguments, but got {got}.` (TS2554), e
+     * `Expected at least {min} arguments, but got {got}.` quando a assinatura tem rest
+     * (TS2555). O `range` é `min` ou `min-max`, e o plural é sempre plural, como lá.
+     *
+     * O CÓDIGO continua dizendo a direção — `missing-argument` quando faltam, e
+     * `excess-argument` quando sobram —, que é informação que o texto do tsc perdeu ao
+     * usar um único TS2554 para os dois. A régua é a D2: o código é o contrato, a mensagem
+     * é prosa.
+     */
+    argumentArity: (node: BaseNode, range: string, got: number, kind: "missing" | "excess", atLeast?: boolean) => Diagnostic;
     excessProperty: (node: BaseNode, name: string, target: Schema) => Diagnostic;
     spreadArgument: (node: BaseNode) => Diagnostic;
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
@@ -207,10 +246,12 @@ declare const diag: {
     /**
      * Argumento de tipo explícito com aridade errada. Assinatura **sem** type params
      * declarados conta como `expected: 0` — é o que o tsc faz quando
-     * `Signature.typeParameters` é `undefined` (ele nunca infere a lista). Mensagem no
-     * texto do TS2558.
+     * `Signature.typeParameters` é `undefined` (ele nunca infere a lista). Com default, o
+     * esperado é a faixa (`"1-2"`). Mensagem no texto do TS2558, que é sempre plural.
      */
-    wrongTypeArgumentCount: (node: BaseNode, expected: number, got: number) => Diagnostic;
+    wrongTypeArgumentCount: (node: BaseNode, expected: number | string, got: number) => Diagnostic;
+    /** Nenhuma sobrecarga aceita a aridade, e há uma abaixo e outra acima (≅ TS2743). */
+    noOverloadTypeArgumentCount: (node: BaseNode, got: number, below: number, above: number) => Diagnostic;
     /** Referência a um alias com aridade errada — as frases do tsc: TS2315 para um
      *  tipo que não é genérico, TS2314 para o resto (com o intervalo quando há default). */
     genericTypeArity: (node: BaseNode, name: string, min: number, max: number) => Diagnostic;
@@ -353,7 +394,7 @@ interface CheckOptions {
      * Sem ele, `check` faz **só type-checking** (sem opinar sobre capability).
      *
      * Capability **desinstala** features (o que pode existir em runtime — junto do
-     * interpret/printer); é ortogonal aos `limits`/`resultType` abaixo, que **validam**.
+     * interpret/codegen); é ortogonal aos `limits`/`resultType` abaixo, que **validam**.
      */
     readonly profile?: CapabilityProfile;
     /**
@@ -442,7 +483,7 @@ declare const FUNCTION_KINDS: readonly ["ArrowFunctionExpression", "FunctionExpr
 /**
  * O guard de **capability**: percorre `root` e reporta `node-not-allowed` em todo
  * nó proibido por `compiled` — via `nodeViolation`, a **fonte única** de gating
- * compartilhada com o interpret e o printer. É o que `fromCapability` monta (+ o
+ * compartilhada com o interpret e o codegen. É o que `fromCapability` monta (+ o
  * host allowlist). Garante que os 3 consumidores concordam por construção.
  */
 declare function capabilityNodes(compiled: CompiledProfile, severity?: Severity): Guard;
@@ -681,4 +722,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, 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 OpResult, type Profile, type Scope, type Severity, type TypeOverlay, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, 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, 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, ObjectSchema, type OpResult, type Profile, Schema, Schemes, type Scope, type Severity, type TypeOverlay, TypeScheme, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, 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, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };

package/dist/index.d.ts

@@ -1,12 +1,12 @@
-import { Schema, Schemes, TypeScheme, ObjectSchema, Completion } from '@tslite/type-core';
-export * from '@tslite/type-core';
-import { Scope as Scope$1, BaseNode, Node, types, Expression, SourceLocation } from '@tslite/core';
+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 { Scope as Scope$1, BaseNode, Node, types, Expression, SourceLocation } from '@tslite/ast';
 import { CapabilityProfile, CompiledProfile } from '@tslite/capability';
 import { Span } from '@tslite/language-service';
 
 /**
  * Um nível de escopo léxico (nome → `Schema`), sobre o `Scope<T>` genérico do
- * `core` — a mesma cadeia que o `analysis` usa, com o payload do eixo de tipos.
+ * `ast` — a mesma cadeia que o `behavior` usa, com o payload do eixo de tipos.
  */
 type Scope = Scope$1<Schema>;
 /** Cria um escopo raiz (sem pai). */
@@ -17,9 +17,11 @@ declare const childScope: (parent: Scope, vars: Record<string, Schema>) => Scope
 declare const lookup: (scope: Scope, name: string) => Schema | undefined;
 /**
  * Todos os nomes visíveis a partir de `scope`, com shadowing — o binding mais
- * interno vence. É o que alimenta o autocomplete de identificadores. Uma chave
- * com `.` não é binding: é um caminho estreitado por guard (`narrow`, D13), que
- * mora no mesmo escopo mas não é nome visível.
+ * interno vence. É o que alimenta o autocomplete de identificadores. Duas
+ * chaves moram no mesmo escopo e não são nomes: a que tem `.` é um caminho
+ * estreitado por guard (`narrow`, D13), e a que termina em `#` é o tipo
+ * DECLARADO de um binding mutável (D63) — nenhum identificador tem esses
+ * caracteres.
  */
 declare const visibleNames: (scope: Scope) => Map<string, Schema>;
 /**
@@ -112,7 +114,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" | "const-needs-init" | "cannot-redeclare" | "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" | "forbidden-member" | "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" | "props-mismatch" | "no-matching-overload" | "constraint-violation" | "wrong-type-argument-count" | "unsupported" | "forbidden-member" | "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";
 /**
  * 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
@@ -187,6 +189,29 @@ declare const diag: {
     notCallable: (node: BaseNode, type: Schema) => Diagnostic;
     noSuchMember: (node: BaseNode, type: Schema, key: string) => Diagnostic;
     notObject: (node: BaseNode, type: Schema) => Diagnostic;
+    /**
+     * Ler ou chamar através de um valor que pode ser `null`/`undefined` — o
+     * `checkNonNullTypeWithReporter` do tsc (`checker.ts:24098`), que tem uma mensagem por
+     * combinação, e a variante "Cannot invoke" quando o valor é chamado.
+     */
+    possiblyNullish: (node: BaseNode, nullish: {
+        readonly null: boolean;
+        readonly undefined: boolean;
+    }, invoked?: boolean) => Diagnostic;
+    /**
+     * Usar um valor `unknown` como objeto — ler dele, chamá-lo, indexá-lo ou operar
+     * sobre ele. É o mesmo `checkNonNullTypeWithReporter` (`checker.ts:24102`), no ramo
+     * que vem ANTES do nullish e em três linhas:
+     *
+     *     if (strictNullChecks && type.flags & TypeFlags.Unknown) {
+     *         error(node, Diagnostics.Object_is_of_type_unknown);
+     *         return errorType;
+     *     }
+     *
+     * Um código só e uma mensagem só, para os seis usos (o TS2571 da 3.9.10 — o
+     * TS18046 é de versão posterior e não existe na tag).
+     */
+    unknownValue: (node: BaseNode) => Diagnostic;
     constNeedsInit: (node: BaseNode) => Diagnostic;
     missingArgument: (node: BaseNode, name: string, expected: Schema) => Diagnostic;
     notASchema: (node: BaseNode, name: string) => Diagnostic;
@@ -195,7 +220,21 @@ declare const diag: {
     shadowsSchema: (node: BaseNode, name: string) => Diagnostic;
     unknownModule: (node: BaseNode, source: string) => Diagnostic;
     cannotRedeclare: (node: BaseNode, name: string) => Diagnostic;
+    circularTypeAlias: (node: BaseNode, name: string) => Diagnostic;
+    circularTypeAnnotation: (node: BaseNode, name: string) => Diagnostic;
     excessArgument: (node: BaseNode, expected: number, got: number) => Diagnostic;
+    /**
+     * A ARIDADE de uma chamada, com o texto do `getArgumentArityError` do tsc
+     * (`checker.ts:25477`): `Expected {range} arguments, but got {got}.` (TS2554), e
+     * `Expected at least {min} arguments, but got {got}.` quando a assinatura tem rest
+     * (TS2555). O `range` é `min` ou `min-max`, e o plural é sempre plural, como lá.
+     *
+     * O CÓDIGO continua dizendo a direção — `missing-argument` quando faltam, e
+     * `excess-argument` quando sobram —, que é informação que o texto do tsc perdeu ao
+     * usar um único TS2554 para os dois. A régua é a D2: o código é o contrato, a mensagem
+     * é prosa.
+     */
+    argumentArity: (node: BaseNode, range: string, got: number, kind: "missing" | "excess", atLeast?: boolean) => Diagnostic;
     excessProperty: (node: BaseNode, name: string, target: Schema) => Diagnostic;
     spreadArgument: (node: BaseNode) => Diagnostic;
     requiredAfterOptional: (node: BaseNode) => Diagnostic;
@@ -207,10 +246,12 @@ declare const diag: {
     /**
      * Argumento de tipo explícito com aridade errada. Assinatura **sem** type params
      * declarados conta como `expected: 0` — é o que o tsc faz quando
-     * `Signature.typeParameters` é `undefined` (ele nunca infere a lista). Mensagem no
-     * texto do TS2558.
+     * `Signature.typeParameters` é `undefined` (ele nunca infere a lista). Com default, o
+     * esperado é a faixa (`"1-2"`). Mensagem no texto do TS2558, que é sempre plural.
      */
-    wrongTypeArgumentCount: (node: BaseNode, expected: number, got: number) => Diagnostic;
+    wrongTypeArgumentCount: (node: BaseNode, expected: number | string, got: number) => Diagnostic;
+    /** Nenhuma sobrecarga aceita a aridade, e há uma abaixo e outra acima (≅ TS2743). */
+    noOverloadTypeArgumentCount: (node: BaseNode, got: number, below: number, above: number) => Diagnostic;
     /** Referência a um alias com aridade errada — as frases do tsc: TS2315 para um
      *  tipo que não é genérico, TS2314 para o resto (com o intervalo quando há default). */
     genericTypeArity: (node: BaseNode, name: string, min: number, max: number) => Diagnostic;
@@ -353,7 +394,7 @@ interface CheckOptions {
      * Sem ele, `check` faz **só type-checking** (sem opinar sobre capability).
      *
      * Capability **desinstala** features (o que pode existir em runtime — junto do
-     * interpret/printer); é ortogonal aos `limits`/`resultType` abaixo, que **validam**.
+     * interpret/codegen); é ortogonal aos `limits`/`resultType` abaixo, que **validam**.
      */
     readonly profile?: CapabilityProfile;
     /**
@@ -442,7 +483,7 @@ declare const FUNCTION_KINDS: readonly ["ArrowFunctionExpression", "FunctionExpr
 /**
  * O guard de **capability**: percorre `root` e reporta `node-not-allowed` em todo
  * nó proibido por `compiled` — via `nodeViolation`, a **fonte única** de gating
- * compartilhada com o interpret e o printer. É o que `fromCapability` monta (+ o
+ * compartilhada com o interpret e o codegen. É o que `fromCapability` monta (+ o
  * host allowlist). Garante que os 3 consumidores concordam por construção.
  */
 declare function capabilityNodes(compiled: CompiledProfile, severity?: Severity): Guard;
@@ -681,4 +722,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, 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 OpResult, type Profile, type Scope, type Severity, type TypeOverlay, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, 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, 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, ObjectSchema, type OpResult, type Profile, Schema, Schemes, type Scope, type Severity, type TypeOverlay, TypeScheme, UNARY_OPS, type UnaryOpSpec, type UnusedOptions, anchorDiagnostics, annotate, annotateReturn, asExpression, binaryOpsProducing, calleeAllowlist, capabilityNodes, check, childScope, collectBindings, collectMutations, 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, scopeAt, scopeCompletions, spanOf, typeAt, unaryOpsProducing, visibleNames };