@typescript-eslint/scope-manager 8.67.0

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/scope-manager@8.67.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/%40typescript-eslint/scope-manager@8.67.0

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:ecf146f65a9c1e4990d649380ae2d4bb07549684ce9c22624df7cb2dbcbad8e7","contract":["assert TSEnumDeclaration creates TSEnumScope and defines TSEnumMember variables","assert ClassDeclaration creates ClassScope and StaticBlock creates ClassStaticBlockScope","assert getDeclaredVariables retrieves variables declared by ClassDeclaration and TSEnumDeclaration nodes","assert TSModuleDeclaration creates TSModuleScope containing scoped variable declarations"],"goal":"verify pkg:npm/%40typescript-eslint/scope-manager@8.67.0","kind":"HOW","packages":["pkg:npm/%40typescript-eslint/scope-manager@8.67.0"],"schemaVersion":1},"contractCommand":["node","test/contract.cjs"],"environment":{"arch":"x64","distro":"ubuntu","ecosystem":"npm","executionContext":"node","language":"javascript","libc":"glibc","libcVersion":"2.39","moduleSystem":"cjs","os":"linux","osVersionBucket":"24","packageManager":"npm","packageManagerVersion":"10.9.8","runtime":"node","runtimeVersion":"22.23.2","schemaVersion":1},"license":"MIT-0","packages":["pkg:npm/%40typescript-eslint/scope-manager@8.67.0"],"schemaVersion":1,"subject":"pkg:npm/%40typescript-eslint/scope-manager@8.67.0","verifierAdapter":"node-typescript@1"}

{
  "name": "sample-typescript-eslint-scope-manager",
  "version": "1.0.0",
  "lockfileVersion": 3,
  "requires": true,
  "packages": {
    "": {
      "name": "sample-typescript-eslint-scope-manager",
      "version": "1.0.0",
      "license": "MIT-0",
      "dependencies": {
        "@typescript-eslint/scope-manager": "8.67.0"
      }
    },
    "node_modules/@typescript-eslint/scope-manager": {
      "version": "8.67.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/scope-manager/-/scope-manager-8.67.0.tgz",
      "integrity": "sha512-EgvsleTwS4E+WzzSvem8fAUubLwatMNF1B5hHSLQxcvs7q2dtRhGyujHwLJSYlG41niJ7GP24Aha2+0mb1b2kg==",
      "license": "MIT",
      "dependencies": {
        "@typescript-eslint/types": "8.67.0",
        "@typescript-eslint/visitor-keys": "8.67.0"
      },
      "engines": {
        "node": "^18.18.0 || ^20.9.0 || >=21.1.0"
      },
      "funding": {
        "type": "opencollective",
        "url": "https://opencollective.com/typescript-eslint"
      }
    },
    "node_modules/@typescript-eslint/types": {
      "version": "8.67.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/types/-/types-8.67.0.tgz",
      "integrity": "sha512-sBtgslww8nsMYUjhdPBiSyUqSzT8uR6g93A2QXnQC8+cGdjz0CyaOdqHDRJb1AtORbZCNUJBBeFA/tNR2uQmww==",
      "license": "MIT",
      "engines": {
        "node": "^18.18.0 || ^20.9.0 || >=21.1.0"
      },
      "funding": {
        "type": "opencollective",
        "url": "https://opencollective.com/typescript-eslint"
      }
    },
    "node_modules/@typescript-eslint/visitor-keys": {
      "version": "8.67.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/visitor-keys/-/visitor-keys-8.67.0.tgz",
      "integrity": "sha512-fkv8dHRDqfGtTHuJeebdrQ7cX6Ad4WAS00rgHh9UGvMycF1mjBfsxry1XsLIFhWZ6Judlh6UdzK+TYlbpCXgnA==",
      "license": "MIT",
      "dependencies": {
        "@typescript-eslint/types": "8.67.0",
        "eslint-visitor-keys": "^5.0.0"
      },
      "engines": {
        "node": "^18.18.0 || ^20.9.0 || >=21.1.0"
      },
      "funding": {
        "type": "opencollective",
        "url": "https://opencollective.com/typescript-eslint"
      }
    },
    "node_modules/eslint-visitor-keys": {
      "version": "5.0.1",
      "resolved": "https://registry.npmjs.org/eslint-visitor-keys/-/eslint-visitor-keys-5.0.1.tgz",
      "integrity": "sha512-tD40eHxA35h0PEIZNeIjkHoDR4YjjJp34biM0mDvplBe//mB+IHCqHDGV7pxF+7MklTvighcCPPZC7ynWyjdTA==",
      "license": "Apache-2.0",
      "engines": {
        "node": "^20.19.0 || ^22.13.0 || >=24"
      },
      "funding": {
        "url": "https://opencollective.com/eslint"
      }
    }
  }
}

{
  "name": "sample-typescript-eslint-scope-manager",
  "version": "1.0.0",
  "private": true,
  "license": "MIT-0",
  "dependencies": {
    "@typescript-eslint/scope-manager": "8.67.0"
  }
}

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

const assert = require("node:assert");
const {
  analyze,
  ScopeManager,
  ScopeType,
  DefinitionType,
  TSEnumScope,
  ClassScope,
  ClassStaticBlockScope,
  TSModuleScope
} = require("@typescript-eslint/scope-manager");

const ast = {
  type: "Program",
  body: [
    // enum Direction { Up = "UP", Down = "DOWN" }
    {
      type: "TSEnumDeclaration",
      id: { type: "Identifier", name: "Direction", range: [5, 14], decorators: [] },
      body: {
        type: "TSEnumBody",
        members: [
          {
            type: "TSEnumMember",
            id: { type: "Identifier", name: "Up", range: [17, 19] },
            initializer: { type: "Literal", value: "UP", raw: "\"UP\"", range: [22, 26] },
            range: [17, 26]
          },
          {
            type: "TSEnumMember",
            id: { type: "Identifier", name: "Down", range: [28, 32] },
            initializer: { type: "Literal", value: "DOWN", raw: "\"DOWN\"", range: [35, 41] },
            range: [28, 41]
          }
        ],
        range: [15, 43]
      },
      range: [0, 43],
      decorators: []
    },
    // class ConfigService { static { ConfigService.init(); } }
    {
      type: "ClassDeclaration",
      id: { type: "Identifier", name: "ConfigService", range: [50, 63], decorators: [] },
      implements: [],
      decorators: [],
      body: {
        type: "ClassBody",
        body: [
          {
            type: "StaticBlock",
            body: [
              {
                type: "ExpressionStatement",
                expression: {
                  type: "CallExpression",
                  callee: {
                    type: "MemberExpression",
                    object: { type: "Identifier", name: "ConfigService", range: [80, 93] },
                    property: { type: "Identifier", name: "init", range: [94, 98] },
                    computed: false,
                    range: [80, 98]
                  },
                  arguments: [],
                  range: [80, 100]
                },
                range: [80, 101]
              }
            ],
            range: [71, 103]
          }
        ],
        range: [64, 105]
      },
      range: [44, 105]
    },
    // namespace Utils { const VERSION = "1.0.0"; }
    {
      type: "TSModuleDeclaration",
      id: { type: "Identifier", name: "Utils", range: [116, 121] },
      body: {
        type: "TSModuleBlock",
        body: [
          {
            type: "VariableDeclaration",
            kind: "const",
            declarations: [
              {
                type: "VariableDeclarator",
                id: { type: "Identifier", name: "VERSION", range: [141, 148], decorators: [] },
                init: { type: "Literal", value: "1.0.0", raw: "\"1.0.0\"", range: [151, 158] },
                range: [141, 158]
              }
            ],
            range: [134, 159],
            decorators: []
          }
        ],
        range: [122, 161]
      },
      range: [106, 161]
    }
  ],
  sourceType: "module",
  range: [0, 161],
  comments: [],
  tokens: []
};

const scopeManager = analyze(ast, { sourceType: "module" });

// 1. Assert TSEnumDeclaration creates TSEnumScope and defines TSEnumMember variables
const enumNode = ast.body[0];
const enumScope = scopeManager.acquire(enumNode);
assert(enumScope instanceof TSEnumScope, "acquire on TSEnumDeclaration returns TSEnumScope instance");
assert.strictEqual(enumScope.type, ScopeType.tsEnum, "enum scope has type ScopeType.tsEnum");
assert(enumScope.set.has("Up") && enumScope.set.has("Down"), "enum members Up and Down exist in enum scope");
assert.strictEqual(enumScope.set.get("Up").defs[0].type, DefinitionType.TSEnumMember, "enum member def is TSEnumMember");

// 2. Assert ClassDeclaration creates ClassScope and StaticBlock creates ClassStaticBlockScope
const classNode = ast.body[1];
const classScope = scopeManager.acquire(classNode);
assert(classScope instanceof ClassScope, "acquire on ClassDeclaration returns ClassScope instance");
assert.strictEqual(classScope.type, ScopeType.class, "class scope has type ScopeType.class");
const staticBlockNode = classNode.body.body[0];
const staticBlockScope = scopeManager.acquire(staticBlockNode);
assert(staticBlockScope instanceof ClassStaticBlockScope, "acquire on StaticBlock returns ClassStaticBlockScope");
assert.strictEqual(staticBlockScope.type, ScopeType.classStaticBlock, "static block scope has type ScopeType.classStaticBlock");
assert.strictEqual(staticBlockScope.upper, classScope, "static block upper scope is class scope");

// 3. Assert getDeclaredVariables retrieves variables declared by ClassDeclaration and TSEnumDeclaration nodes
const classVars = scopeManager.getDeclaredVariables(classNode);
assert.strictEqual(classVars.length, 2, "ClassDeclaration defines class identifier in outer and inner class scope");
assert.strictEqual(classVars[0].name, "ConfigService", "outer declared class variable is ConfigService");
assert.strictEqual(classVars[0].defs[0].type, DefinitionType.ClassName, "class variable def is ClassName");
assert.strictEqual(classVars[0].scope.type, ScopeType.module, "first class variable belongs to module scope");
assert.strictEqual(classVars[1].scope.type, ScopeType.class, "second class variable belongs to inner class scope");

const enumVars = scopeManager.getDeclaredVariables(enumNode);
assert.strictEqual(enumVars.length, 1, "TSEnumDeclaration declares 1 variable in parent scope");
assert.strictEqual(enumVars[0].name, "Direction", "declared enum variable is Direction");
assert.strictEqual(enumVars[0].defs[0].type, DefinitionType.TSEnumName, "enum variable def is TSEnumName");

// 4. Assert TSModuleDeclaration creates TSModuleScope containing scoped variable declarations
const moduleNode = ast.body[2];
const moduleScope = scopeManager.acquire(moduleNode);
assert(moduleScope instanceof TSModuleScope, "acquire on TSModuleDeclaration returns TSModuleScope");
assert.strictEqual(moduleScope.type, ScopeType.tsModule, "module scope has type ScopeType.tsModule");
assert(moduleScope.set.has("VERSION"), "VERSION variable defined inside namespace scope");
assert.strictEqual(moduleScope.set.get("VERSION").defs[0].type, DefinitionType.Variable, "VERSION definition is Variable");