@typescript-eslint/types 8.71.1: AST_NODE_TYPES, AST_TOKEN_TYPES, TSESTree

Clean-room public code sample — generation instructions

Write a brand-new, minimal, self-contained code sample in this clean-room directory.
Do not copy, paraphrase, or reference any existing project source. Work only from this spec.

A csx.json manifest scaffold already exists. Do not recreate it from memory. Preserve its case.goal, packages and symbols; fill its empty case.contract with exact assertions and correct its environment, commands and verifierAdapter for the files you generate.

Goal: verify pkg:npm/%40typescript-eslint/types@8.71.1
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/%40typescript-eslint/types@8.71.1

Rules:
  - One focused purpose; the smallest project that proves the goal.
  - Include a contract test (test/contract.*) that runs OFFLINE and exits 0 exactly when the goal behavior works.
  - Pin every dependency with a lockfile so resolution is reproducible.
  - No secrets, credentials, or tokens. No real URLs (only example.com or localhost). No absolute paths.
  - No personal names, emails, company names, or project identifiers of any kind.
  - No binaries and no generated output (node_modules, dist, target, venv, .git, .env).
  - Keep it under 200 files and 256KB packed.

{"case":{"caseId":"case:sha256:11f1ec19a09661023e4402c0c4d1d31bc9b3c4d7a3ffd4d5dca4fbae38db648a","contract":["AST_NODE_TYPES exports string-literal enum discriminants for standard ESTree nodes (such as Program and VariableDeclaration) and TypeScript-specific AST nodes (such as TSInterfaceDeclaration and TSTypeAnnotation).","AST_TOKEN_TYPES exports string-literal enum discriminants for lexical tokens and comments (such as Identifier, PrivateIdentifier, Keyword, Line, and Block).","TSESTree namespace re-exports AST_NODE_TYPES and AST_TOKEN_TYPES as identical object references at runtime."],"goal":"verify pkg:npm/%40typescript-eslint/types@8.71.1","kind":"HOW","packages":["pkg:npm/%40typescript-eslint/types@8.71.1"],"schemaVersion":1,"symbols":["AST_NODE_TYPES","AST_TOKEN_TYPES","TSESTree"]},"contractCommand":["node","test/contract.mjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","libc":"glibc","libcVersion":"2.39","os":"linux","osVersionBucket":"24","packageManager":"npm","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/%40typescript-eslint/types@8.71.1"],"schemaVersion":1,"subject":"pkg:npm/%40typescript-eslint/types@8.71.1","symbols":["AST_NODE_TYPES","AST_TOKEN_TYPES","TSESTree"],"verifierAdapter":"node-typescript@1"}

{
  "name": "typescript-eslint-types-sample",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "typescript-eslint-types-sample",
      "version": "1.0.0",
      "dependencies": {
        "@typescript-eslint/types": "8.71.1"
      }
    },
    "node_modules/@typescript-eslint/types": {
      "version": "8.71.1",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/types/-/types-8.71.1.tgz",
      "integrity": "sha512-ybYnPTUwg3VQQOFEiBPLs8Jxl1ry2vXdn1kVKguomBbvxpetdu3MKTNDqFNUrlG8ylP9MpZosmXMFYlGQHk1oQ==",
      "license": "MIT",
      "engines": {
        "node": "^18.18.0 || ^20.9.0 || >=21.1.0"
      },
      "funding": {
        "type": "opencollective",
        "url": "https://opencollective.com/typescript-eslint"
      }
    }
  }
}

{
  "name": "typescript-eslint-types-sample",
  "version": "1.0.0",
  "private": true,
  "type": "module",
  "scripts": {
    "test": "node test/contract.mjs"
  },
  "dependencies": {
    "@typescript-eslint/types": "8.71.1"
  }
}

{
  "schemaVersion": 1,
  "goal": "verify pkg:npm/%40typescript-eslint/types@8.71.1",
  "kind": "HOW",
  "packages": [
    "pkg:npm/%40typescript-eslint/types@8.71.1"
  ]
}

import { AST_NODE_TYPES, AST_TOKEN_TYPES, TSESTree } from '@typescript-eslint/types';

export function classifyAstNode(type) {
  return {
    isDeclaration:
      type === AST_NODE_TYPES.VariableDeclaration ||
      type === AST_NODE_TYPES.FunctionDeclaration ||
      type === AST_NODE_TYPES.TSInterfaceDeclaration ||
      type === AST_NODE_TYPES.TSTypeAliasDeclaration,
    isTypeScriptNode: type.startsWith('TS') && type in AST_NODE_TYPES,
    canonicalType: AST_NODE_TYPES[type] ?? null,
  };
}

export function classifyAstToken(tokenType) {
  return {
    isComment:
      tokenType === AST_TOKEN_TYPES.Block || tokenType === AST_TOKEN_TYPES.Line,
    isIdentifierLike:
      tokenType === AST_TOKEN_TYPES.Identifier ||
      tokenType === AST_TOKEN_TYPES.JSXIdentifier ||
      tokenType === AST_TOKEN_TYPES.PrivateIdentifier,
    canonicalToken: AST_TOKEN_TYPES[tokenType] ?? null,
  };
}

export function verifyNamespaceConsistency() {
  return (
    TSESTree.AST_NODE_TYPES === AST_NODE_TYPES &&
    TSESTree.AST_TOKEN_TYPES === AST_TOKEN_TYPES
  );
}

import assert from 'node:assert/strict';
import { AST_NODE_TYPES, AST_TOKEN_TYPES, TSESTree } from '@typescript-eslint/types';
import {
  classifyAstNode,
  classifyAstToken,
  verifyNamespaceConsistency,
} from '../src/index.mjs';

// 1. AST_NODE_TYPES exposes standard ESTree and TypeScript-specific AST node discriminants
assert.equal(AST_NODE_TYPES.Program, 'Program');
assert.equal(AST_NODE_TYPES.VariableDeclaration, 'VariableDeclaration');
assert.equal(AST_NODE_TYPES.TSInterfaceDeclaration, 'TSInterfaceDeclaration');
assert.equal(AST_NODE_TYPES.TSTypeAnnotation, 'TSTypeAnnotation');

const tsInterfaceInfo = classifyAstNode(AST_NODE_TYPES.TSInterfaceDeclaration);
assert.deepEqual(tsInterfaceInfo, {
  isDeclaration: true,
  isTypeScriptNode: true,
  canonicalType: 'TSInterfaceDeclaration',
});

const exprInfo = classifyAstNode(AST_NODE_TYPES.BinaryExpression);
assert.deepEqual(exprInfo, {
  isDeclaration: false,
  isTypeScriptNode: false,
  canonicalType: 'BinaryExpression',
});

// 2. AST_TOKEN_TYPES exposes lexical token and comment type discriminants
assert.equal(AST_TOKEN_TYPES.Identifier, 'Identifier');
assert.equal(AST_TOKEN_TYPES.Keyword, 'Keyword');
assert.equal(AST_TOKEN_TYPES.Line, 'Line');
assert.equal(AST_TOKEN_TYPES.Block, 'Block');

assert.deepEqual(classifyAstToken(AST_TOKEN_TYPES.PrivateIdentifier), {
  isComment: false,
  isIdentifierLike: true,
  canonicalToken: 'PrivateIdentifier',
});

assert.deepEqual(classifyAstToken(AST_TOKEN_TYPES.Block), {
  isComment: true,
  isIdentifierLike: false,
  canonicalToken: 'Block',
});

// 3. TSESTree runtime namespace re-exports identical AST_NODE_TYPES and AST_TOKEN_TYPES references
assert.equal(verifyNamespaceConsistency(), true);
assert.strictEqual(TSESTree.AST_NODE_TYPES, AST_NODE_TYPES);
assert.strictEqual(TSESTree.AST_TOKEN_TYPES, AST_TOKEN_TYPES);