diff --git a/src/index.d.ts b/src/index.d.ts
index b3594d0fa5..feff85d20d 100644
--- a/src/index.d.ts
+++ b/src/index.d.ts
@@ -325,6 +325,14 @@ export {
   ValuesOfCorrectTypeRule,
   VariablesAreInputTypesRule,
   VariablesInAllowedPositionRule,
+  // SDL-specific validation rules
+  LoneSchemaDefinitionRule,
+  UniqueOperationTypesRule,
+  UniqueTypeNamesRule,
+  UniqueEnumValueNamesRule,
+  UniqueFieldDefinitionNamesRule,
+  UniqueDirectiveNamesRule,
+  PossibleTypeExtensionsRule,
   ValidationRule,
 } from './validation/index';
 
diff --git a/src/index.js b/src/index.js
index 7fac793ca7..e8d569cf39 100644
--- a/src/index.js
+++ b/src/index.js
@@ -323,6 +323,14 @@ export {
   ValuesOfCorrectTypeRule,
   VariablesAreInputTypesRule,
   VariablesInAllowedPositionRule,
+  // SDL-specific validation rules
+  LoneSchemaDefinitionRule,
+  UniqueOperationTypesRule,
+  UniqueTypeNamesRule,
+  UniqueEnumValueNamesRule,
+  UniqueFieldDefinitionNamesRule,
+  UniqueDirectiveNamesRule,
+  PossibleTypeExtensionsRule,
 } from './validation/index';
 
 export type { ValidationRule } from './validation/index';
diff --git a/src/validation/index.d.ts b/src/validation/index.d.ts
index c4e38f5940..6fc81e8b55 100644
--- a/src/validation/index.d.ts
+++ b/src/validation/index.d.ts
@@ -4,6 +4,9 @@ export { ValidationContext, ValidationRule } from './ValidationContext';
 
 export { specifiedRules } from './specifiedRules';
 
+// Spec Section: "Executable Definitions"
+export { ExecutableDefinitions as ExecutableDefinitionsRule } from './rules/ExecutableDefinitions';
+
 // Spec Section: "Field Selections on Objects, Interfaces, and Unions Types"
 export { FieldsOnCorrectType as FieldsOnCorrectTypeRule } from './rules/FieldsOnCorrectType';
 
@@ -78,3 +81,12 @@ export { VariablesAreInputTypes as VariablesAreInputTypesRule } from './rules/Va
 
 // Spec Section: "All Variable Usages Are Allowed"
 export { VariablesInAllowedPosition as VariablesInAllowedPositionRule } from './rules/VariablesInAllowedPosition';
+
+// SDL-specific validation rules
+export { LoneSchemaDefinition as LoneSchemaDefinitionRule } from './rules/LoneSchemaDefinition';
+export { UniqueOperationTypes as UniqueOperationTypesRule } from './rules/UniqueOperationTypes';
+export { UniqueTypeNames as UniqueTypeNamesRule } from './rules/UniqueTypeNames';
+export { UniqueEnumValueNames as UniqueEnumValueNamesRule } from './rules/UniqueEnumValueNames';
+export { UniqueFieldDefinitionNames as UniqueFieldDefinitionNamesRule } from './rules/UniqueFieldDefinitionNames';
+export { UniqueDirectiveNames as UniqueDirectiveNamesRule } from './rules/UniqueDirectiveNames';
+export { PossibleTypeExtensions as PossibleTypeExtensionsRule } from './rules/PossibleTypeExtensions';
diff --git a/src/validation/index.js b/src/validation/index.js
index 55dfb26742..8427940102 100644
--- a/src/validation/index.js
+++ b/src/validation/index.js
@@ -8,6 +8,9 @@ export type { ValidationRule } from './ValidationContext';
 // All validation rules in the GraphQL Specification.
 export { specifiedRules } from './specifiedRules';
 
+// Spec Section: "Executable Definitions"
+export { ExecutableDefinitions as ExecutableDefinitionsRule } from './rules/ExecutableDefinitions';
+
 // Spec Section: "Field Selections on Objects, Interfaces, and Unions Types"
 export { FieldsOnCorrectType as FieldsOnCorrectTypeRule } from './rules/FieldsOnCorrectType';
 
@@ -82,3 +85,12 @@ export { VariablesAreInputTypes as VariablesAreInputTypesRule } from './rules/Va
 
 // Spec Section: "All Variable Usages Are Allowed"
 export { VariablesInAllowedPosition as VariablesInAllowedPositionRule } from './rules/VariablesInAllowedPosition';
+
+// SDL-specific validation rules
+export { LoneSchemaDefinition as LoneSchemaDefinitionRule } from './rules/LoneSchemaDefinition';
+export { UniqueOperationTypes as UniqueOperationTypesRule } from './rules/UniqueOperationTypes';
+export { UniqueTypeNames as UniqueTypeNamesRule } from './rules/UniqueTypeNames';
+export { UniqueEnumValueNames as UniqueEnumValueNamesRule } from './rules/UniqueEnumValueNames';
+export { UniqueFieldDefinitionNames as UniqueFieldDefinitionNamesRule } from './rules/UniqueFieldDefinitionNames';
+export { UniqueDirectiveNames as UniqueDirectiveNamesRule } from './rules/UniqueDirectiveNames';
+export { PossibleTypeExtensions as PossibleTypeExtensionsRule } from './rules/PossibleTypeExtensions';