@typescript-eslint/scope-manager 8.69.0: ScopeManager

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 @typescript-eslint/scope-manager.ScopeManager in pkg:npm/%40typescript-eslint/scope-manager@8.69.0
Kind: HOW

Use EXACTLY these public packages and versions:
  - pkg:npm/%40typescript-eslint/scope-manager@8.69.0
Demonstrate these symbols/APIs:
  - @typescript-eslint/scope-manager.ScopeManager

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:b692ee39573e763fd4c28cd769a1520cf298208efd22859030700e5ffe4a67fb","constraints":{"executionContext":"node"},"contract":["assert ScopeManager options query methods report correct configuration flags","assert acquire with inner flag distinguishes outermost global scope from innermost module scope","assert addGlobals dynamically registers identifiers and resolves unallocated through references","assert variables getter aggregates and sorts all declared variables across managed scopes"],"goal":"verify @typescript-eslint/scope-manager.ScopeManager in pkg:npm/%40typescript-eslint/scope-manager@8.69.0","kind":"HOW","packages":["pkg:npm/%40typescript-eslint/scope-manager@8.69.0"],"schemaVersion":1,"symbols":["@typescript-eslint/scope-manager.ScopeManager"]},"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.69.0"],"schemaVersion":1,"subject":"pkg:npm/%40typescript-eslint/scope-manager@8.69.0","symbols":["@typescript-eslint/scope-manager.ScopeManager"],"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.69.0"
      }
    },
    "node_modules/@typescript-eslint/scope-manager": {
      "version": "8.69.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/scope-manager/-/scope-manager-8.69.0.tgz",
      "integrity": "sha512-ewfspqWvSxKSOaplqAUNbaSFO0eB6w1EtQ+esfYFRm3614Ty4uNtExkcbgd6nWsXphbqKyf9ZYdbZdv2xEoWEQ==",
      "license": "MIT",
      "dependencies": {
        "@typescript-eslint/types": "8.69.0",
        "@typescript-eslint/visitor-keys": "8.69.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.69.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/types/-/types-8.69.0.tgz",
      "integrity": "sha512-K3VrubUPhlo9VDBS6QdI8YB5j7ClpqLRdefcz6PFrhnwicehBweqQ9Evhl4l+FYz0HdDmMqIiSX0aldGRYtDCA==",
      "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.69.0",
      "resolved": "https://registry.npmjs.org/@typescript-eslint/visitor-keys/-/visitor-keys-8.69.0.tgz",
      "integrity": "sha512-+rmdgPA+EXkNgKYvHvFfhrs35utXbwaC5PGpDquSXcoXQDKUA5UjV0LmTucG/4JXkM31BTu4TilHtrN8IVBe8w==",
      "license": "MIT",
      "dependencies": {
        "@typescript-eslint/types": "8.69.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.69.0"
  }
}

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

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

// 1. Assert ScopeManager options query methods report correct configuration flags
const smModule = analyze(
  { type: "Program", sourceType: "module", body: [], range: [0, 0] },
  {
    sourceType: "module",
    globalReturn: true,
    impliedStrict: true
  }
);
assert(smModule instanceof ScopeManager, "analyze returns a ScopeManager instance");
assert.strictEqual(smModule.isModule(), true, "isModule returns true for module sourceType");
assert.strictEqual(smModule.isGlobalReturn(), true, "isGlobalReturn returns true when enabled");
assert.strictEqual(smModule.isImpliedStrict(), true, "isImpliedStrict returns true when enabled");
assert.strictEqual(smModule.isES6(), true, "isES6 returns true");
assert.strictEqual(smModule.isStrictModeSupported(), true, "isStrictModeSupported returns true");

const smScript = analyze(
  { type: "Program", sourceType: "script", body: [], range: [0, 0] },
  {
    sourceType: "script"
  }
);
assert.strictEqual(smScript.isModule(), false, "isModule returns false for script sourceType");
assert.strictEqual(smScript.isGlobalReturn(), false, "isGlobalReturn defaults to false");
assert.strictEqual(smScript.isImpliedStrict(), false, "isImpliedStrict defaults to false");

// 2. Assert acquire with inner flag distinguishes outermost global scope from innermost module scope
const programAst = {
  type: "Program",
  sourceType: "module",
  body: [
    {
      type: "VariableDeclaration",
      kind: "const",
      declarations: [
        {
          type: "VariableDeclarator",
          id: { type: "Identifier", name: "answer", range: [6, 12], decorators: [] },
          init: { type: "Literal", value: 42, raw: "42", range: [15, 17] },
          range: [6, 17]
        }
      ],
      range: [0, 18],
      decorators: []
    }
  ],
  range: [0, 18],
  comments: [],
  tokens: []
};
const sm = analyze(programAst, { sourceType: "module" });
const outerScope = sm.acquire(programAst);
const innerScope = sm.acquire(programAst, true);
assert.strictEqual(outerScope, sm.globalScope, "outer scope is globalScope");
assert.strictEqual(outerScope.type, ScopeType.global, "outer scope type is global");
assert.strictEqual(innerScope.type, ScopeType.module, "inner scope type is module");
assert.notStrictEqual(outerScope, innerScope, "outer and inner scopes are distinct");

// 3. Assert addGlobals dynamically registers identifiers and resolves unallocated through references
const callAst = {
  type: "Program",
  sourceType: "module",
  body: [
    {
      type: "ExpressionStatement",
      expression: {
        type: "CallExpression",
        callee: { type: "Identifier", name: "customGlobalHook", range: [0, 16] },
        arguments: [],
        range: [0, 18]
      },
      range: [0, 19]
    }
  ],
  range: [0, 19],
  comments: [],
  tokens: []
};
const smGlobals = analyze(callAst, { sourceType: "module" });
assert.strictEqual(smGlobals.globalScope.through.length, 1, "through contains unresolved call before addGlobals");
assert.strictEqual(smGlobals.globalScope.through[0].identifier.name, "customGlobalHook");
assert.strictEqual(smGlobals.globalScope.set.has("customGlobalHook"), false, "globalScope does not yet have customGlobalHook");

smGlobals.addGlobals(["customGlobalHook"]);
assert.strictEqual(smGlobals.globalScope.set.has("customGlobalHook"), true, "customGlobalHook added to globalScope");
assert.strictEqual(smGlobals.globalScope.through.length, 0, "through references are resolved after addGlobals");

// 4. Assert variables getter aggregates and sorts all declared variables across managed scopes
const allVars = sm.variables;
assert(Array.isArray(allVars), "sm.variables returns an array");
assert(allVars.length > 0, "sm.variables contains variables");
const localAnswerVar = allVars.find((v) => v.name === "answer");
assert(localAnswerVar, "declared variable answer is in sm.variables");
assert.strictEqual(localAnswerVar.name, "answer");
for (let i = 1; i < allVars.length; i++) {
  assert(allVars[i].$id >= allVars[i - 1].$id, "variables are sorted by $id ascending");
}