eslint 9.37.0 → 9.39.0

package/lib/types/index.d.ts

@@ -30,18 +30,65 @@ import type {
 	CustomRuleDefinitionType,
 	CustomRuleTypeDefinitions,
 	DeprecatedInfo,
-	Language,
 	LanguageOptions as GenericLanguageOptions,
 	RuleContext as CoreRuleContext,
 	RuleDefinition,
-	RuleVisitor,
 	SourceRange,
 	TextSourceCode,
 	TraversalStep,
+	RulesConfig,
+	GlobalAccess,
+	GlobalsConfig,
+	LinterOptionsConfig,
+	EnvironmentConfig,
+	ObjectMetaProperties as CoreObjectMetaProperties,
+	Plugin as CorePlugin,
+	LintMessage as CoreLintMessage,
+	Processor as CoreProcessor,
+	ConfigObject,
+	LegacyConfigObject,
+	SeverityName,
+	SeverityLevel,
+	Severity as CoreSeverity,
+	EcmaVersion as CoreEcmaVersion,
+	ConfigOverride as CoreConfigOverride,
+	ProcessorFile as CoreProcessorFile,
+	JavaScriptParserOptionsConfig,
+	RulesMeta,
+	RuleConfig,
+	RuleTextEditor,
+	RuleTextEdit,
+	RuleVisitor,
+	BaseConfig as CoreBaseConfig,
+	RuleFixer as CoreRuleFixer,
+	ViolationReportBase,
+	ViolationMessage,
+	ViolationLocation,
+	SuggestionMessage,
+	LintSuggestion as CoreLintSuggestion,
+	JavaScriptSourceType,
+	HasRules as CoreHasRules,
+	SuggestedEditBase,
+	SuggestedEdit,
+	ViolationReport,
 } from "@eslint/core";
-import { JSONSchema4 } from "json-schema";
 import { LegacyESLint } from "./use-at-your-own-risk.js";
 
+//------------------------------------------------------------------------------
+// Helpers
+//------------------------------------------------------------------------------
+
+/** Adds matching `:exit` selectors for all properties of a `RuleVisitor`. */
+type WithExit<RuleVisitorType extends RuleVisitor> = {
+	[Key in keyof RuleVisitorType as
+		| Key
+		| `${Key & string}:exit`]: RuleVisitorType[Key];
+};
+
+//------------------------------------------------------------------------------
+// Exports
+//------------------------------------------------------------------------------
+
 export namespace AST {
 	type TokenType =
 		| "Boolean"
@@ -114,6 +161,10 @@ export namespace Scope {
 		references: Reference[];
 		through: Reference[];
 		functionExpressionScope: boolean;
+		implicit?: {
+			variables: Variable[];
+			set: Map<string, Variable>;
+		};
 	}
 
 	interface Variable {
@@ -154,7 +205,14 @@ export namespace Scope {
 				node: ESTree.FunctionDeclaration | ESTree.FunctionExpression;
 				parent: null;
 		  }
-		| { type: "ImplicitGlobalVariable"; node: ESTree.Program; parent: null }
+		| {
+				type: "ImplicitGlobalVariable";
+				node:
+					| ESTree.AssignmentExpression
+					| ESTree.ForInStatement
+					| ESTree.ForOfStatement;
+				parent: null;
+		  }
 		| {
 				type: "ImportBinding";
 				node:
@@ -222,11 +280,16 @@ export class SourceCode
 
 	getDeclaredVariables(node: ESTree.Node): Scope.Variable[];
 
+	/** @deprecated */
 	getJSDocComment(node: ESTree.Node): ESTree.Comment | null;
 
 	getNodeByRangeIndex(index: number): ESTree.Node | null;
 
-	isSpaceBetweenTokens(first: AST.Token, second: AST.Token): boolean;
+	/** @deprecated Use `isSpaceBetween()` instead. */
+	isSpaceBetweenTokens(
+		first: ESTree.Node | AST.Token,
+		second: ESTree.Node | AST.Token,
+	): boolean;
 
 	getLocFromIndex(index: number): ESTree.Position;
 
@@ -260,6 +323,18 @@ export class SourceCode
 
 	getTokensAfter: SourceCode.UnaryCursorWithCountOptions;
 
+	/** @deprecated Use `getTokenBefore()` instead. */
+	getTokenOrCommentBefore(
+		node: ESTree.Node | AST.Token | ESTree.Comment,
+		skip?: number | undefined,
+	): AST.Token | ESTree.Comment | null;
+
+	/** @deprecated Use `getTokenAfter()` instead. */
+	getTokenOrCommentAfter(
+		node: ESTree.Node | AST.Token | ESTree.Comment,
+		skip?: number | undefined,
+	): AST.Token | ESTree.Comment | null;
+
 	getFirstTokenBetween: SourceCode.BinaryCursorWithSkipOptions;
 
 	getFirstTokensBetween: SourceCode.BinaryCursorWithCountOptions;
@@ -306,9 +381,10 @@ export namespace SourceCode {
 	interface Config {
 		text: string;
 		ast: AST.Program;
-		parserServices?: ParserServices | undefined;
-		scopeManager?: Scope.ScopeManager | undefined;
-		visitorKeys?: VisitorKeys | undefined;
+		hasBOM?: boolean | undefined;
+		parserServices?: ParserServices | null | undefined;
+		scopeManager?: Scope.ScopeManager | null | undefined;
+		visitorKeys?: VisitorKeys | null | undefined;
 	}
 
 	type ParserServices = any;
@@ -603,480 +679,35 @@ export namespace Rule {
 			LangOptions: Linter.LanguageOptions;
 			Code: SourceCode;
 			RuleOptions: any[];
-			Visitor: NodeListener;
+			Visitor: RuleListener;
 			Node: JSSyntaxElement;
 			MessageIds: string;
 			ExtRuleDocs: {};
 		}> {
-		create(context: RuleContext): NodeListener;
+		create(context: RuleContext): RuleListener;
 	}
 
 	type NodeTypes = ESTree.Node["type"];
-	interface NodeListener extends RuleVisitor {
-		ArrayExpression?:
-			| ((node: ESTree.ArrayExpression & NodeParentExtension) => void)
-			| undefined;
-		"ArrayExpression:exit"?:
-			| ((node: ESTree.ArrayExpression & NodeParentExtension) => void)
-			| undefined;
-		ArrayPattern?:
-			| ((node: ESTree.ArrayPattern & NodeParentExtension) => void)
-			| undefined;
-		"ArrayPattern:exit"?:
-			| ((node: ESTree.ArrayPattern & NodeParentExtension) => void)
-			| undefined;
-		ArrowFunctionExpression?:
-			| ((
-					node: ESTree.ArrowFunctionExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ArrowFunctionExpression:exit"?:
-			| ((
-					node: ESTree.ArrowFunctionExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		AssignmentExpression?:
-			| ((
-					node: ESTree.AssignmentExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"AssignmentExpression:exit"?:
-			| ((
-					node: ESTree.AssignmentExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		AssignmentPattern?:
-			| ((node: ESTree.AssignmentPattern & NodeParentExtension) => void)
-			| undefined;
-		"AssignmentPattern:exit"?:
-			| ((node: ESTree.AssignmentPattern & NodeParentExtension) => void)
-			| undefined;
-		AwaitExpression?:
-			| ((node: ESTree.AwaitExpression & NodeParentExtension) => void)
-			| undefined;
-		"AwaitExpression:exit"?:
-			| ((node: ESTree.AwaitExpression & NodeParentExtension) => void)
-			| undefined;
-		BinaryExpression?:
-			| ((node: ESTree.BinaryExpression & NodeParentExtension) => void)
-			| undefined;
-		"BinaryExpression:exit"?:
-			| ((node: ESTree.BinaryExpression & NodeParentExtension) => void)
-			| undefined;
-		BlockStatement?:
-			| ((node: ESTree.BlockStatement & NodeParentExtension) => void)
-			| undefined;
-		"BlockStatement:exit"?:
-			| ((node: ESTree.BlockStatement & NodeParentExtension) => void)
-			| undefined;
-		BreakStatement?:
-			| ((node: ESTree.BreakStatement & NodeParentExtension) => void)
-			| undefined;
-		"BreakStatement:exit"?:
-			| ((node: ESTree.BreakStatement & NodeParentExtension) => void)
-			| undefined;
-		CallExpression?:
-			| ((node: ESTree.CallExpression & NodeParentExtension) => void)
-			| undefined;
-		"CallExpression:exit"?:
-			| ((node: ESTree.CallExpression & NodeParentExtension) => void)
-			| undefined;
-		CatchClause?:
-			| ((node: ESTree.CatchClause & NodeParentExtension) => void)
-			| undefined;
-		"CatchClause:exit"?:
-			| ((node: ESTree.CatchClause & NodeParentExtension) => void)
-			| undefined;
-		ChainExpression?:
-			| ((node: ESTree.ChainExpression & NodeParentExtension) => void)
-			| undefined;
-		"ChainExpression:exit"?:
-			| ((node: ESTree.ChainExpression & NodeParentExtension) => void)
-			| undefined;
-		ClassBody?:
-			| ((node: ESTree.ClassBody & NodeParentExtension) => void)
-			| undefined;
-		"ClassBody:exit"?:
-			| ((node: ESTree.ClassBody & NodeParentExtension) => void)
-			| undefined;
-		ClassDeclaration?:
-			| ((node: ESTree.ClassDeclaration & NodeParentExtension) => void)
-			| undefined;
-		"ClassDeclaration:exit"?:
-			| ((node: ESTree.ClassDeclaration & NodeParentExtension) => void)
-			| undefined;
-		ClassExpression?:
-			| ((node: ESTree.ClassExpression & NodeParentExtension) => void)
-			| undefined;
-		"ClassExpression:exit"?:
-			| ((node: ESTree.ClassExpression & NodeParentExtension) => void)
-			| undefined;
-		ConditionalExpression?:
-			| ((
-					node: ESTree.ConditionalExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ConditionalExpression:exit"?:
-			| ((
-					node: ESTree.ConditionalExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ContinueStatement?:
-			| ((node: ESTree.ContinueStatement & NodeParentExtension) => void)
-			| undefined;
-		"ContinueStatement:exit"?:
-			| ((node: ESTree.ContinueStatement & NodeParentExtension) => void)
-			| undefined;
-		DebuggerStatement?:
-			| ((node: ESTree.DebuggerStatement & NodeParentExtension) => void)
-			| undefined;
-		"DebuggerStatement:exit"?:
-			| ((node: ESTree.DebuggerStatement & NodeParentExtension) => void)
-			| undefined;
-		DoWhileStatement?:
-			| ((node: ESTree.DoWhileStatement & NodeParentExtension) => void)
-			| undefined;
-		"DoWhileStatement:exit"?:
-			| ((node: ESTree.DoWhileStatement & NodeParentExtension) => void)
-			| undefined;
-		EmptyStatement?:
-			| ((node: ESTree.EmptyStatement & NodeParentExtension) => void)
-			| undefined;
-		"EmptyStatement:exit"?:
-			| ((node: ESTree.EmptyStatement & NodeParentExtension) => void)
-			| undefined;
-		ExportAllDeclaration?:
-			| ((
-					node: ESTree.ExportAllDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ExportAllDeclaration:exit"?:
-			| ((
-					node: ESTree.ExportAllDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ExportDefaultDeclaration?:
-			| ((
-					node: ESTree.ExportDefaultDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ExportDefaultDeclaration:exit"?:
-			| ((
-					node: ESTree.ExportDefaultDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ExportNamedDeclaration?:
-			| ((
-					node: ESTree.ExportNamedDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ExportNamedDeclaration:exit"?:
-			| ((
-					node: ESTree.ExportNamedDeclaration & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ExportSpecifier?:
-			| ((node: ESTree.ExportSpecifier & NodeParentExtension) => void)
-			| undefined;
-		"ExportSpecifier:exit"?:
-			| ((node: ESTree.ExportSpecifier & NodeParentExtension) => void)
-			| undefined;
-		ExpressionStatement?:
-			| ((node: ESTree.ExpressionStatement & NodeParentExtension) => void)
-			| undefined;
-		"ExpressionStatement:exit"?:
-			| ((node: ESTree.ExpressionStatement & NodeParentExtension) => void)
-			| undefined;
-		ForInStatement?:
-			| ((node: ESTree.ForInStatement & NodeParentExtension) => void)
-			| undefined;
-		"ForInStatement:exit"?:
-			| ((node: ESTree.ForInStatement & NodeParentExtension) => void)
-			| undefined;
-		ForOfStatement?:
-			| ((node: ESTree.ForOfStatement & NodeParentExtension) => void)
-			| undefined;
-		"ForOfStatement:exit"?:
-			| ((node: ESTree.ForOfStatement & NodeParentExtension) => void)
-			| undefined;
-		ForStatement?:
-			| ((node: ESTree.ForStatement & NodeParentExtension) => void)
-			| undefined;
-		"ForStatement:exit"?:
-			| ((node: ESTree.ForStatement & NodeParentExtension) => void)
-			| undefined;
-		FunctionDeclaration?:
-			| ((node: ESTree.FunctionDeclaration & NodeParentExtension) => void)
-			| undefined;
-		"FunctionDeclaration:exit"?:
-			| ((node: ESTree.FunctionDeclaration & NodeParentExtension) => void)
-			| undefined;
-		FunctionExpression?:
-			| ((node: ESTree.FunctionExpression & NodeParentExtension) => void)
-			| undefined;
-		"FunctionExpression:exit"?:
-			| ((node: ESTree.FunctionExpression & NodeParentExtension) => void)
-			| undefined;
-		Identifier?:
-			| ((node: ESTree.Identifier & NodeParentExtension) => void)
-			| undefined;
-		"Identifier:exit"?:
-			| ((node: ESTree.Identifier & NodeParentExtension) => void)
-			| undefined;
-		IfStatement?:
-			| ((node: ESTree.IfStatement & NodeParentExtension) => void)
-			| undefined;
-		"IfStatement:exit"?:
-			| ((node: ESTree.IfStatement & NodeParentExtension) => void)
-			| undefined;
-		ImportDeclaration?:
-			| ((node: ESTree.ImportDeclaration & NodeParentExtension) => void)
-			| undefined;
-		"ImportDeclaration:exit"?:
-			| ((node: ESTree.ImportDeclaration & NodeParentExtension) => void)
-			| undefined;
-		ImportDefaultSpecifier?:
-			| ((
-					node: ESTree.ImportDefaultSpecifier & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ImportDefaultSpecifier:exit"?:
-			| ((
-					node: ESTree.ImportDefaultSpecifier & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ImportExpression?:
-			| ((node: ESTree.ImportExpression & NodeParentExtension) => void)
-			| undefined;
-		"ImportExpression:exit"?:
-			| ((node: ESTree.ImportExpression & NodeParentExtension) => void)
-			| undefined;
-		ImportNamespaceSpecifier?:
-			| ((
-					node: ESTree.ImportNamespaceSpecifier & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"ImportNamespaceSpecifier:exit"?:
-			| ((
-					node: ESTree.ImportNamespaceSpecifier & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		ImportSpecifier?:
-			| ((node: ESTree.ImportSpecifier & NodeParentExtension) => void)
-			| undefined;
-		"ImportSpecifier:exit"?:
-			| ((node: ESTree.ImportSpecifier & NodeParentExtension) => void)
-			| undefined;
-		LabeledStatement?:
-			| ((node: ESTree.LabeledStatement & NodeParentExtension) => void)
-			| undefined;
-		"LabeledStatement:exit"?:
-			| ((node: ESTree.LabeledStatement & NodeParentExtension) => void)
-			| undefined;
-		Literal?:
-			| ((node: ESTree.Literal & NodeParentExtension) => void)
-			| undefined;
-		"Literal:exit"?:
-			| ((node: ESTree.Literal & NodeParentExtension) => void)
-			| undefined;
-		LogicalExpression?:
-			| ((node: ESTree.LogicalExpression & NodeParentExtension) => void)
-			| undefined;
-		"LogicalExpression:exit"?:
-			| ((node: ESTree.LogicalExpression & NodeParentExtension) => void)
-			| undefined;
-		MemberExpression?:
-			| ((node: ESTree.MemberExpression & NodeParentExtension) => void)
-			| undefined;
-		"MemberExpression:exit"?:
-			| ((node: ESTree.MemberExpression & NodeParentExtension) => void)
-			| undefined;
-		MetaProperty?:
-			| ((node: ESTree.MetaProperty & NodeParentExtension) => void)
-			| undefined;
-		"MetaProperty:exit"?:
-			| ((node: ESTree.MetaProperty & NodeParentExtension) => void)
-			| undefined;
-		MethodDefinition?:
-			| ((node: ESTree.MethodDefinition & NodeParentExtension) => void)
-			| undefined;
-		"MethodDefinition:exit"?:
-			| ((node: ESTree.MethodDefinition & NodeParentExtension) => void)
-			| undefined;
-		NewExpression?:
-			| ((node: ESTree.NewExpression & NodeParentExtension) => void)
-			| undefined;
-		"NewExpression:exit"?:
-			| ((node: ESTree.NewExpression & NodeParentExtension) => void)
-			| undefined;
-		ObjectExpression?:
-			| ((node: ESTree.ObjectExpression & NodeParentExtension) => void)
-			| undefined;
-		"ObjectExpression:exit"?:
-			| ((node: ESTree.ObjectExpression & NodeParentExtension) => void)
-			| undefined;
-		ObjectPattern?:
-			| ((node: ESTree.ObjectPattern & NodeParentExtension) => void)
-			| undefined;
-		"ObjectPattern:exit"?:
-			| ((node: ESTree.ObjectPattern & NodeParentExtension) => void)
-			| undefined;
-		PrivateIdentifier?:
-			| ((node: ESTree.PrivateIdentifier & NodeParentExtension) => void)
-			| undefined;
-		"PrivateIdentifier:exit"?:
-			| ((node: ESTree.PrivateIdentifier & NodeParentExtension) => void)
-			| undefined;
-		Program?: ((node: ESTree.Program) => void) | undefined;
-		"Program:exit"?: ((node: ESTree.Program) => void) | undefined;
-		Property?:
-			| ((node: ESTree.Property & NodeParentExtension) => void)
-			| undefined;
-		"Property:exit"?:
-			| ((node: ESTree.Property & NodeParentExtension) => void)
-			| undefined;
-		PropertyDefinition?:
-			| ((node: ESTree.PropertyDefinition & NodeParentExtension) => void)
-			| undefined;
-		"PropertyDefinition:exit"?:
-			| ((node: ESTree.PropertyDefinition & NodeParentExtension) => void)
-			| undefined;
-		RestElement?:
-			| ((node: ESTree.RestElement & NodeParentExtension) => void)
-			| undefined;
-		"RestElement:exit"?:
-			| ((node: ESTree.RestElement & NodeParentExtension) => void)
-			| undefined;
-		ReturnStatement?:
-			| ((node: ESTree.ReturnStatement & NodeParentExtension) => void)
-			| undefined;
-		"ReturnStatement:exit"?:
-			| ((node: ESTree.ReturnStatement & NodeParentExtension) => void)
-			| undefined;
-		SequenceExpression?:
-			| ((node: ESTree.SequenceExpression & NodeParentExtension) => void)
-			| undefined;
-		"SequenceExpression:exit"?:
-			| ((node: ESTree.SequenceExpression & NodeParentExtension) => void)
-			| undefined;
-		SpreadElement?:
-			| ((node: ESTree.SpreadElement & NodeParentExtension) => void)
-			| undefined;
-		"SpreadElement:exit"?:
-			| ((node: ESTree.SpreadElement & NodeParentExtension) => void)
-			| undefined;
-		StaticBlock?:
-			| ((node: ESTree.StaticBlock & NodeParentExtension) => void)
-			| undefined;
-		"StaticBlock:exit"?:
-			| ((node: ESTree.StaticBlock & NodeParentExtension) => void)
-			| undefined;
-		Super?:
-			| ((node: ESTree.Super & NodeParentExtension) => void)
-			| undefined;
-		"Super:exit"?:
-			| ((node: ESTree.Super & NodeParentExtension) => void)
-			| undefined;
-		SwitchCase?:
-			| ((node: ESTree.SwitchCase & NodeParentExtension) => void)
-			| undefined;
-		"SwitchCase:exit"?:
-			| ((node: ESTree.SwitchCase & NodeParentExtension) => void)
-			| undefined;
-		SwitchStatement?:
-			| ((node: ESTree.SwitchStatement & NodeParentExtension) => void)
-			| undefined;
-		"SwitchStatement:exit"?:
-			| ((node: ESTree.SwitchStatement & NodeParentExtension) => void)
-			| undefined;
-		TaggedTemplateExpression?:
-			| ((
-					node: ESTree.TaggedTemplateExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		"TaggedTemplateExpression:exit"?:
-			| ((
-					node: ESTree.TaggedTemplateExpression & NodeParentExtension,
-			  ) => void)
-			| undefined;
-		TemplateElement?:
-			| ((node: ESTree.TemplateElement & NodeParentExtension) => void)
-			| undefined;
-		"TemplateElement:exit"?:
-			| ((node: ESTree.TemplateElement & NodeParentExtension) => void)
-			| undefined;
-		TemplateLiteral?:
-			| ((node: ESTree.TemplateLiteral & NodeParentExtension) => void)
-			| undefined;
-		"TemplateLiteral:exit"?:
-			| ((node: ESTree.TemplateLiteral & NodeParentExtension) => void)
-			| undefined;
-		ThisExpression?:
-			| ((node: ESTree.ThisExpression & NodeParentExtension) => void)
-			| undefined;
-		"ThisExpression:exit"?:
-			| ((node: ESTree.ThisExpression & NodeParentExtension) => void)
-			| undefined;
-		ThrowStatement?:
-			| ((node: ESTree.ThrowStatement & NodeParentExtension) => void)
-			| undefined;
-		"ThrowStatement:exit"?:
-			| ((node: ESTree.ThrowStatement & NodeParentExtension) => void)
-			| undefined;
-		TryStatement?:
-			| ((node: ESTree.TryStatement & NodeParentExtension) => void)
-			| undefined;
-		"TryStatement:exit"?:
-			| ((node: ESTree.TryStatement & NodeParentExtension) => void)
-			| undefined;
-		UnaryExpression?:
-			| ((node: ESTree.UnaryExpression & NodeParentExtension) => void)
-			| undefined;
-		"UnaryExpression:exit"?:
-			| ((node: ESTree.UnaryExpression & NodeParentExtension) => void)
-			| undefined;
-		UpdateExpression?:
-			| ((node: ESTree.UpdateExpression & NodeParentExtension) => void)
-			| undefined;
-		"UpdateExpression:exit"?:
-			| ((node: ESTree.UpdateExpression & NodeParentExtension) => void)
-			| undefined;
-		VariableDeclaration?:
-			| ((node: ESTree.VariableDeclaration & NodeParentExtension) => void)
-			| undefined;
-		"VariableDeclaration:exit"?:
-			| ((node: ESTree.VariableDeclaration & NodeParentExtension) => void)
-			| undefined;
-		VariableDeclarator?:
-			| ((node: ESTree.VariableDeclarator & NodeParentExtension) => void)
-			| undefined;
-		"VariableDeclarator:exit"?:
-			| ((node: ESTree.VariableDeclarator & NodeParentExtension) => void)
-			| undefined;
-		WhileStatement?:
-			| ((node: ESTree.WhileStatement & NodeParentExtension) => void)
-			| undefined;
-		"WhileStatement:exit"?:
-			| ((node: ESTree.WhileStatement & NodeParentExtension) => void)
-			| undefined;
-		WithStatement?:
-			| ((node: ESTree.WithStatement & NodeParentExtension) => void)
-			| undefined;
-		"WithStatement:exit"?:
-			| ((node: ESTree.WithStatement & NodeParentExtension) => void)
-			| undefined;
-		YieldExpression?:
-			| ((node: ESTree.YieldExpression & NodeParentExtension) => void)
-			| undefined;
-		"YieldExpression:exit"?:
-			| ((node: ESTree.YieldExpression & NodeParentExtension) => void)
-			| undefined;
-	}
+
+	interface NodeListener
+		extends WithExit<
+			{
+				[Node in Rule.Node as Node["type"]]?:
+					| ((node: Node) => void)
+					| undefined;
+			} & {
+				// A `Program` visitor's node type has no `parent` property.
+				Program?: ((node: AST.Program) => void) | undefined;
+			}
+		> {}
 
 	interface NodeParentExtension {
 		parent: Node;
 	}
-	type Node = ESTree.Node & NodeParentExtension;
+
+	type Node =
+		| (AST.Program & { parent: null })
+		| (Exclude<ESTree.Node, ESTree.Program> & NodeParentExtension);
 
 	interface RuleListener extends NodeListener {
 		onCodePathStart?(codePath: CodePath, node: Node): void;
@@ -1087,6 +718,16 @@ export namespace Rule {
 
 		onCodePathSegmentEnd?(segment: CodePathSegment, node: Node): void;
 
+		onUnreachableCodePathSegmentStart?(
+			segment: CodePathSegment,
+			node: Node,
+		): void;
+
+		onUnreachableCodePathSegmentEnd?(
+			segment: CodePathSegment,
+			node: Node,
+		): void;
+
 		onCodePathSegmentLoop?(
 			fromSegment: CodePathSegment,
 			toSegment: CodePathSegment,
@@ -1130,60 +771,7 @@ export namespace Rule {
 		reachable: boolean;
 	}
 
-	interface RuleMetaData {
-		/** Properties often used for documentation generation and tooling. */
-		docs?:
-			| {
-					/** Provides a short description of the rule. Commonly used when generating lists of rules. */
-					description?: string | undefined;
-					/** Historically used by some plugins that divide rules into categories in their documentation. */
-					category?: string | undefined;
-					/** Historically used by some plugins to indicate a rule belongs in their `recommended` configuration. */
-					recommended?: boolean | undefined;
-					/** Specifies the URL at which the full documentation can be accessed. Code editors often use this to provide a helpful link on highlighted rule violations. */
-					url?: string | undefined;
-			  }
-			| undefined;
-		/** Violation and suggestion messages. */
-		messages?: { [messageId: string]: string } | undefined;
-		/**
-		 * Specifies if the `--fix` option on the command line automatically fixes problems reported by the rule.
-		 * Mandatory for fixable rules.
-		 */
-		fixable?: "code" | "whitespace" | undefined;
-		/**
-		 * Specifies the [options](https://eslint.org/docs/latest/extend/custom-rules#options-schemas)
-		 * so ESLint can prevent invalid [rule configurations](https://eslint.org/docs/latest/use/configure/rules#configuring-rules).
-		 * Mandatory for rules with options.
-		 */
-		schema?: JSONSchema4 | JSONSchema4[] | false | undefined;
-
-		/** Any default options to be recursively merged on top of any user-provided options. */
-		defaultOptions?: unknown[];
-
-		/** Indicates whether the rule has been deprecated or provides additional metadata about the deprecation. Omit if not deprecated. */
-		deprecated?: boolean | DeprecatedInfo | undefined;
-		/**
-		 * @deprecated Use deprecated.replacedBy instead.
-		 * The name of the rule(s) this rule was replaced by, if it was deprecated.
-		 */
-		replacedBy?: readonly string[];
-
-		/**
-		 * Indicates the type of rule:
-		 * - `"problem"` means the rule is identifying code that either will cause an error or may cause a confusing behavior. Developers should consider this a high priority to resolve.
-		 * - `"suggestion"` means the rule is identifying something that could be done in a better way but no errors will occur if the code isn't changed.
-		 * - `"layout"` means the rule cares primarily about whitespace, semicolons, commas, and parentheses,
-		 *   all the parts of the program that determine how the code looks rather than how it executes.
-		 *   These rules work on parts of the code that aren't specified in the AST.
-		 */
-		type?: "problem" | "suggestion" | "layout" | undefined;
-		/**
-		 * Specifies whether the rule can return suggestions (defaults to `false` if omitted).
-		 * Mandatory for rules that provide suggestions.
-		 */
-		hasSuggestions?: boolean | undefined;
-	}
+	type RuleMetaData = RulesMeta;
 
 	interface RuleContext
 		extends CoreRuleContext<{
@@ -1194,66 +782,24 @@ export namespace Rule {
 			MessageIds: string;
 		}> {}
 
-	type ReportFixer = (
-		fixer: RuleFixer,
-	) => null | Fix | IterableIterator<Fix> | Fix[];
-
-	interface ReportDescriptorOptionsBase {
-		data?: { [key: string]: string };
-
-		fix?: null | ReportFixer;
-	}
-
-	interface SuggestionReportOptions {
-		data?: { [key: string]: string };
-
-		fix: ReportFixer;
-	}
-
-	type SuggestionDescriptorMessage = { desc: string } | { messageId: string };
-	type SuggestionReportDescriptor = SuggestionDescriptorMessage &
-		SuggestionReportOptions;
-
-	interface ReportDescriptorOptions extends ReportDescriptorOptionsBase {
-		suggest?: SuggestionReportDescriptor[] | null | undefined;
-	}
-
-	type ReportDescriptor = ReportDescriptorMessage &
-		ReportDescriptorLocation &
-		ReportDescriptorOptions;
-	type ReportDescriptorMessage = { message: string } | { messageId: string };
-	type ReportDescriptorLocation =
-		| { node: ESTree.Node }
-		| { loc: AST.SourceLocation | { line: number; column: number } };
-
-	interface RuleFixer {
-		insertTextAfter(
-			nodeOrToken: ESTree.Node | AST.Token,
-			text: string,
-		): Fix;
+	type ReportFixer = CoreRuleFixer;
 
-		insertTextAfterRange(range: AST.Range, text: string): Fix;
+	/** @deprecated Use `ReportDescriptorOptions` instead. */
+	type ReportDescriptorOptionsBase = ViolationReportBase;
 
-		insertTextBefore(
-			nodeOrToken: ESTree.Node | AST.Token,
-			text: string,
-		): Fix;
+	type SuggestionReportOptions = SuggestedEditBase;
+	type SuggestionDescriptorMessage = SuggestionMessage;
+	type SuggestionReportDescriptor = SuggestedEdit;
 
-		insertTextBeforeRange(range: AST.Range, text: string): Fix;
+	// redundant with ReportDescriptorOptionsBase but kept for clarity
+	type ReportDescriptorOptions = ViolationReportBase;
 
-		remove(nodeOrToken: ESTree.Node | AST.Token): Fix;
+	type ReportDescriptor = ViolationReport<ESTree.Node>;
+	type ReportDescriptorMessage = ViolationMessage;
+	type ReportDescriptorLocation = ViolationLocation<ESTree.Node>;
 
-		removeRange(range: AST.Range): Fix;
-
-		replaceText(nodeOrToken: ESTree.Node | AST.Token, text: string): Fix;
-
-		replaceTextRange(range: AST.Range, text: string): Fix;
-	}
-
-	interface Fix {
-		range: AST.Range;
-		text: string;
-	}
+	type RuleFixer = RuleTextEditor<ESTree.Node | AST.Token>;
+	type Fix = RuleTextEdit;
 }
 
 export type JSRuleDefinitionTypeOptions = CustomRuleTypeDefinitions;
@@ -1264,7 +810,7 @@ export type JSRuleDefinition<
 	{
 		LangOptions: Linter.LanguageOptions;
 		Code: SourceCode;
-		Visitor: Rule.NodeListener;
+		Visitor: Rule.RuleListener;
 		Node: JSSyntaxElement;
 	},
 	Options
@@ -1329,21 +875,21 @@ export namespace Linter {
 	 *
 	 * @see [Rule Severities](https://eslint.org/docs/latest/use/configure/rules#rule-severities)
 	 */
-	type Severity = 0 | 1 | 2;
+	type Severity = SeverityLevel;
 
 	/**
 	 * The human readable severity level for a rule.
 	 *
 	 * @see [Rule Severities](https://eslint.org/docs/latest/use/configure/rules#rule-severities)
 	 */
-	type StringSeverity = "off" | "warn" | "error";
+	type StringSeverity = SeverityName;
 
 	/**
 	 * The numeric or human readable severity level for a rule.
 	 *
 	 * @see [Rule Severities](https://eslint.org/docs/latest/use/configure/rules#rule-severities)
 	 */
-	type RuleSeverity = Severity | StringSeverity;
+	type RuleSeverity = CoreSeverity;
 
 	/**
 	 * An array containing the rule severity level, followed by the rule options.
@@ -1360,167 +906,44 @@ export namespace Linter {
 	 *
 	 * @see [Rules](https://eslint.org/docs/latest/use/configure/rules)
 	 */
-	type RuleEntry<Options extends any[] = any[]> =
-		| RuleSeverity
-		| RuleSeverityAndOptions<Options>;
+	type RuleEntry<Options extends any[] = any[]> = RuleConfig<Options>;
 
 	/**
 	 * The rules config object is a key/value map of rule names and their severity and options.
 	 */
-	interface RulesRecord {
-		[rule: string]: RuleEntry;
-	}
+	type RulesRecord = RulesConfig;
 
 	/**
 	 * A configuration object that may have a `rules` block.
 	 */
-	interface HasRules<Rules extends RulesRecord = RulesRecord> {
-		rules?: Partial<Rules> | undefined;
-	}
+	type HasRules<Rules extends RulesConfig = RulesConfig> =
+		CoreHasRules<Rules>;
 
 	/**
 	 * The ECMAScript version of the code being linted.
 	 */
-	type EcmaVersion =
-		| 3
-		| 5
-		| 6
-		| 7
-		| 8
-		| 9
-		| 10
-		| 11
-		| 12
-		| 13
-		| 14
-		| 15
-		| 16
-		| 17
-		| 2015
-		| 2016
-		| 2017
-		| 2018
-		| 2019
-		| 2020
-		| 2021
-		| 2022
-		| 2023
-		| 2024
-		| 2025
-		| 2026
-		| "latest";
+	type EcmaVersion = CoreEcmaVersion;
 
 	/**
 	 * The type of JavaScript source code.
 	 */
-	type SourceType = "script" | "module" | "commonjs";
+	type SourceType = JavaScriptSourceType;
 
 	/**
 	 * ESLint legacy configuration.
 	 *
 	 * @see [ESLint Legacy Configuration](https://eslint.org/docs/latest/use/configure/)
 	 */
-	interface BaseConfig<
-		Rules extends RulesRecord = RulesRecord,
-		OverrideRules extends RulesRecord = Rules,
-	> extends HasRules<Rules> {
-		$schema?: string | undefined;
-
-		/**
-		 * An environment provides predefined global variables.
-		 *
-		 * @see [Environments](https://eslint.org/docs/latest/use/configure/language-options-deprecated#specifying-environments)
-		 */
-		env?: { [name: string]: boolean } | undefined;
-
-		/**
-		 * Extending configuration files.
-		 *
-		 * @see [Extends](https://eslint.org/docs/latest/use/configure/configuration-files-deprecated#extending-configuration-files)
-		 */
-		extends?: string | string[] | undefined;
-
-		/**
-		 * Specifying globals.
-		 *
-		 * @see [Globals](https://eslint.org/docs/latest/use/configure/language-options-deprecated#specifying-globals)
-		 */
-		globals?: Linter.Globals | undefined;
-
-		/**
-		 * Disable processing of inline comments.
-		 *
-		 * @see [Disabling Inline Comments](https://eslint.org/docs/latest/use/configure/rules-deprecated#disabling-inline-comments)
-		 */
-		noInlineConfig?: boolean | undefined;
-
-		/**
-		 * Overrides can be used to use a differing configuration for matching sub-directories and files.
-		 *
-		 * @see [How do overrides work](https://eslint.org/docs/latest/use/configure/configuration-files-deprecated#how-do-overrides-work)
-		 */
-		overrides?: Array<ConfigOverride<OverrideRules>> | undefined;
-
-		/**
-		 * Parser.
-		 *
-		 * @see [Working with Custom Parsers](https://eslint.org/docs/latest/extend/custom-parsers)
-		 * @see [Specifying Parser](https://eslint.org/docs/latest/use/configure/parser-deprecated)
-		 */
-		parser?: string | undefined;
-
-		/**
-		 * Parser options.
-		 *
-		 * @see [Working with Custom Parsers](https://eslint.org/docs/latest/extend/custom-parsers)
-		 * @see [Specifying Parser Options](https://eslint.org/docs/latest/use/configure/language-options-deprecated#specifying-parser-options)
-		 */
-		parserOptions?: ParserOptions | undefined;
-
-		/**
-		 * Which third-party plugins define additional rules, environments, configs, etc. for ESLint to use.
-		 *
-		 * @see [Configuring Plugins](https://eslint.org/docs/latest/use/configure/plugins-deprecated#configure-plugins)
-		 */
-		plugins?: string[] | undefined;
-
-		/**
-		 * Specifying processor.
-		 *
-		 * @see [processor](https://eslint.org/docs/latest/use/configure/plugins-deprecated#specify-a-processor)
-		 */
-		processor?: string | undefined;
-
-		/**
-		 * Report unused eslint-disable comments as warning.
-		 *
-		 * @see [Report unused eslint-disable comments](https://eslint.org/docs/latest/use/configure/rules-deprecated#report-unused-eslint-disable-comments)
-		 */
-		reportUnusedDisableDirectives?: boolean | undefined;
-
-		/**
-		 * Settings.
-		 *
-		 * @see [Settings](https://eslint.org/docs/latest/use/configure/configuration-files-deprecated#adding-shared-settings)
-		 */
-		settings?: { [name: string]: any } | undefined;
-	}
+	type BaseConfig<
+		Rules extends RulesConfig = RulesConfig,
+		OverrideRules extends RulesConfig = Rules,
+	> = CoreBaseConfig<Rules, OverrideRules>;
 
 	/**
 	 * The overwrites that apply more differing configuration to specific files or directories.
 	 */
-	interface ConfigOverride<Rules extends RulesRecord = RulesRecord>
-		extends BaseConfig<Rules> {
-		/**
-		 * The glob patterns for excluded files.
-		 */
-		excludedFiles?: string | string[] | undefined;
-
-		/**
-		 * The glob patterns for target files.
-		 */
-		files: string | string[];
-	}
+	type ConfigOverride<Rules extends RulesConfig = RulesConfig> =
+		CoreConfigOverride<Rules>;
 
 	/**
 	 * ESLint legacy configuration.
@@ -1528,78 +951,21 @@ export namespace Linter {
 	 * @see [ESLint Legacy Configuration](https://eslint.org/docs/latest/use/configure/)
 	 */
 	// https://github.com/eslint/eslint/blob/v8.57.0/conf/config-schema.js
-	interface LegacyConfig<
-		Rules extends RulesRecord = RulesRecord,
-		OverrideRules extends RulesRecord = Rules,
-	> extends BaseConfig<Rules, OverrideRules> {
-		/**
-		 * Tell ESLint to ignore specific files and directories.
-		 *
-		 * @see [Ignore Patterns](https://eslint.org/docs/latest/use/configure/ignore-deprecated#ignorepatterns-in-config-files)
-		 */
-		ignorePatterns?: string | string[] | undefined;
-
-		/**
-		 * @see [Using Configuration Files](https://eslint.org/docs/latest/use/configure/configuration-files-deprecated#using-configuration-files)
-		 */
-		root?: boolean | undefined;
-	}
+	type LegacyConfig<
+		Rules extends RulesConfig = RulesConfig,
+		OverrideRules extends RulesConfig = Rules,
+	> = LegacyConfigObject<Rules, OverrideRules>;
 
 	/**
 	 * Parser options.
 	 *
 	 * @see [Specifying Parser Options](https://eslint.org/docs/latest/use/configure/language-options#specifying-parser-options)
 	 */
-	interface ParserOptions {
-		/**
-		 * Allow the use of reserved words as identifiers (if `ecmaVersion` is 3).
-		 *
-		 * @default false
-		 */
-		allowReserved?: boolean | undefined;
-
-		/**
-		 * Accepts any valid ECMAScript version number or `'latest'`:
-		 *
-		 * - A version: es3, es5, es6, es7, es8, es9, es10, es11, es12, es13, es14, ..., or
-		 * - A year: es2015, es2016, es2017, es2018, es2019, es2020, es2021, es2022, es2023, ..., or
-		 * - `'latest'`
-		 *
-		 * When it's a version or a year, the value must be a number - so do not include the `es` prefix.
-		 *
-		 * Specifies the version of ECMAScript syntax you want to use. This is used by the parser to determine how to perform scope analysis, and it affects the default
-		 *
-		 * @default 5
-		 */
-		ecmaVersion?: EcmaVersion | undefined;
-
-		/**
-		 * The type of JavaScript source code. Possible values are "script" for
-		 * traditional script files, "module" for ECMAScript modules (ESM), and
-		 * "commonjs" for CommonJS files.
-		 *
-		 * @default 'script'
-		 *
-		 * @see https://eslint.org/docs/latest/use/configure/language-options-deprecated#specifying-parser-options
-		 */
-		sourceType?: SourceType | undefined;
-
-		/**
-		 * An object indicating which additional language features you'd like to use.
-		 *
-		 * @see https://eslint.org/docs/latest/use/configure/language-options-deprecated#specifying-parser-options
-		 */
-		ecmaFeatures?:
-			| {
-					globalReturn?: boolean | undefined;
-					impliedStrict?: boolean | undefined;
-					jsx?: boolean | undefined;
-					[key: string]: any;
-			  }
-			| undefined;
-		[key: string]: any;
-	}
+	type ParserOptions = JavaScriptParserOptionsConfig;
 
+	/**
+	 * Options used for linting code with `Linter#verify` and `Linter#verifyAndFix`.
+	 */
 	interface LintOptions {
 		filename?: string | undefined;
 		preprocess?: ((code: string) => string[]) | undefined;
@@ -1614,57 +980,8 @@ export namespace Linter {
 		reportUnusedDisableDirectives?: boolean | undefined;
 	}
 
-	interface LintSuggestion {
-		/** A short description. */
-		desc: string;
-
-		/** Fix result info. */
-		fix: Rule.Fix;
-
-		/** Id referencing a message for the description. */
-		messageId?: string | undefined;
-	}
-
-	interface LintMessage {
-		/** The 1-based column number. */
-		column: number;
-
-		/** The 1-based line number. */
-		line: number;
-
-		/** The 1-based column number of the end location. */
-		endColumn?: number | undefined;
-
-		/** The 1-based line number of the end location. */
-		endLine?: number | undefined;
-
-		/** The ID of the rule which makes this message. */
-		ruleId: string | null;
-
-		/** The reported message. */
-		message: string;
-
-		/** The ID of the message in the rule's meta. */
-		messageId?: string | undefined;
-
-		/**
-		 * Type of node.
-		 * @deprecated `nodeType` is deprecated and will be removed in the next major version.
-		 */
-		nodeType?: string | undefined;
-
-		/** If `true` then this is a fatal error. */
-		fatal?: true | undefined;
-
-		/** The severity of this message. */
-		severity: Exclude<Severity, 0>;
-
-		/** Information for autofix. */
-		fix?: Rule.Fix | undefined;
-
-		/** Information for suggestions. */
-		suggestions?: LintSuggestion[] | undefined;
-	}
+	type LintSuggestion = CoreLintSuggestion;
+	type LintMessage = CoreLintMessage;
 
 	interface LintSuppression {
 		kind: string;
@@ -1725,114 +1042,19 @@ export namespace Linter {
 		visitorKeys?: SourceCode.VisitorKeys | undefined;
 	}
 
-	interface ProcessorFile {
-		text: string;
-		filename: string;
-	}
+	type ProcessorFile = CoreProcessorFile;
 
 	// https://eslint.org/docs/latest/extend/plugins#processors-in-plugins
-	interface Processor<
-		T extends string | ProcessorFile = string | ProcessorFile,
-	> extends ESLint.ObjectMetaProperties {
-		/** If `true` then it means the processor supports autofix. */
-		supportsAutofix?: boolean | undefined;
-
-		/** The function to extract code blocks. */
-		preprocess?(text: string, filename: string): T[];
-
-		/** The function to merge messages. */
-		postprocess?(
-			messages: LintMessage[][],
-			filename: string,
-		): LintMessage[];
-	}
-
-	interface Config<Rules extends RulesRecord = RulesRecord> {
-		/**
-		 * An string to identify the configuration object. Used in error messages and
-		 * inspection tools.
-		 */
-		name?: string;
+	type Processor<T extends string | ProcessorFile = string | ProcessorFile> =
+		CoreProcessor<T>;
 
-		/**
-		 * Path to the directory where the configuration object should apply.
-		 * `files` and `ignores` patterns in the configuration object are
-		 * interpreted as relative to this path.
-		 */
-		basePath?: string;
-
-		/**
-		 * An array of glob patterns indicating the files that the configuration
-		 * object should apply to. If not specified, the configuration object applies
-		 * to all files
-		 */
-		files?: Array<string | string[]>;
-
-		/**
-		 * An array of glob patterns indicating the files that the configuration
-		 * object should not apply to. If not specified, the configuration object
-		 * applies to all files matched by files
-		 */
-		ignores?: string[];
-
-		/**
-		 * The name of the language used for linting. This is used to determine the
-		 * parser and other language-specific settings.
-		 * @since 9.7.0
-		 */
-		language?: string;
-
-		/**
-		 * An object containing settings related to how JavaScript is configured for
-		 * linting.
-		 */
-		languageOptions?: LanguageOptions;
-
-		/**
-		 * An object containing settings related to the linting process
-		 */
-		linterOptions?: LinterOptions;
-
-		/**
-		 * Either an object containing preprocess() and postprocess() methods or a
-		 * string indicating the name of a processor inside of a plugin
-		 * (i.e., "pluginName/processorName").
-		 */
-		processor?: string | Processor;
-
-		/**
-		 * An object containing a name-value mapping of plugin names to plugin objects.
-		 * When files is specified, these plugins are only available to the matching files.
-		 */
-		plugins?: Record<string, ESLint.Plugin>;
-
-		/**
-		 * An object containing the configured rules. When files or ignores are specified,
-		 * these rule configurations are only available to the matching files.
-		 */
-		rules?: Partial<Rules>;
-
-		/**
-		 * An object containing name-value pairs of information that should be
-		 * available to all rules.
-		 */
-		settings?: Record<string, unknown>;
-	}
+	type Config<Rules extends RulesConfig = RulesConfig> = ConfigObject<Rules>;
 
 	/** @deprecated  Use `Config` instead of `FlatConfig` */
-	type FlatConfig<Rules extends RulesRecord = RulesRecord> = Config<Rules>;
-
-	type GlobalConf =
-		| boolean
-		| "off"
-		| "readable"
-		| "readonly"
-		| "writable"
-		| "writeable";
-
-	interface Globals {
-		[name: string]: GlobalConf;
-	}
+	type FlatConfig<Rules extends RulesConfig = RulesConfig> = Config<Rules>;
+
+	type GlobalConf = GlobalAccess;
+	type Globals = GlobalsConfig;
 
 	interface LanguageOptions extends GenericLanguageOptions {
 		/**
@@ -1869,24 +1091,7 @@ export namespace Linter {
 		parserOptions?: Linter.ParserOptions | undefined;
 	}
 
-	interface LinterOptions {
-		/**
-		 * A boolean value indicating if inline configuration is allowed.
-		 */
-		noInlineConfig?: boolean;
-
-		/**
-		 * A severity value indicating if and how unused disable directives should be
-		 * tracked and reported.
-		 */
-		reportUnusedDisableDirectives?: Severity | StringSeverity | boolean;
-
-		/**
-		 * A severity value indicating if and how unused inline configs should be
-		 * tracked and reported.
-		 */
-		reportUnusedInlineConfigs?: Severity | StringSeverity;
-	}
+	type LinterOptions = LinterOptionsConfig;
 
 	/**
 	 * Performance statistics.
@@ -1977,45 +1182,14 @@ export class ESLint {
 }
 
 export namespace ESLint {
-	type ConfigData<Rules extends Linter.RulesRecord = Linter.RulesRecord> =
-		Omit<Linter.LegacyConfig<Rules>, "$schema">;
-
-	interface Environment {
-		/** The definition of global variables. */
-		globals?: Linter.Globals | undefined;
-
-		/** The parser options that will be enabled under this environment. */
-		parserOptions?: Linter.ParserOptions | undefined;
-	}
-
-	interface ObjectMetaProperties {
-		/** @deprecated Use `meta.name` instead. */
-		name?: string | undefined;
-
-		/** @deprecated Use `meta.version` instead. */
-		version?: string | undefined;
-
-		meta?: {
-			name?: string | undefined;
-			version?: string | undefined;
-		};
-	}
-
-	interface Plugin extends ObjectMetaProperties {
-		meta?: ObjectMetaProperties["meta"] & {
-			namespace?: string | undefined;
-		};
-		configs?:
-			| Record<
-					string,
-					Linter.LegacyConfig | Linter.Config | Linter.Config[]
-			  >
-			| undefined;
-		environments?: Record<string, Environment> | undefined;
-		languages?: Record<string, Language> | undefined;
-		processors?: Record<string, Linter.Processor> | undefined;
-		rules?: Record<string, RuleDefinition> | undefined;
-	}
+	type ConfigData<Rules extends Linter.RulesRecord = RulesConfig> = Omit<
+		Linter.LegacyConfig<Rules>,
+		"$schema"
+	>;
+
+	type Environment = EnvironmentConfig;
+	type ObjectMetaProperties = CoreObjectMetaProperties;
+	type Plugin = CorePlugin;
 
 	type FixType = "directive" | "problem" | "suggestion" | "layout";