diff --git a/src/index.js b/src/index.js
index 614a048cef..140ab33f66 100644
--- a/src/index.js
+++ b/src/index.js
@@ -300,6 +300,7 @@ export {
   // All validation rules in the GraphQL Specification.
   specifiedRules,
   // Individual validation rules.
+  ExecutableDefinitionsRule,
   FieldsOnCorrectTypeRule,
   FragmentsOnCompositeTypesRule,
   KnownArgumentNamesRule,
@@ -325,6 +326,14 @@ export {
   ValuesOfCorrectTypeRule,
   VariablesAreInputTypesRule,
   VariablesInAllowedPositionRule,
+  // SDL-specific validation rules
+  LoneSchemaDefinitionRule,
+  UniqueOperationTypesRule,
+  UniqueTypeNamesRule,
+  UniqueEnumValueNamesRule,
+  UniqueFieldDefinitionNamesRule,
+  UniqueDirectiveNamesRule,
+  PossibleTypeExtensionsRule,
 } from './validation';
 
 export type { ValidationRule } from './validation';
diff --git a/src/validation/index.js b/src/validation/index.js
index 16fc9bf2fa..942fd5e6fa 100644
--- a/src/validation/index.js
+++ b/src/validation/index.js
@@ -8,6 +8,11 @@ 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,
@@ -128,3 +133,26 @@ export {
 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/tstypes/index.d.ts b/tstypes/index.d.ts
index 942cc2e918..46a19bb1e3 100644
--- a/tstypes/index.d.ts
+++ b/tstypes/index.d.ts
@@ -302,6 +302,7 @@ export {
   // All validation rules in the GraphQL Specification.
   specifiedRules,
   // Individual validation rules.
+  ExecutableDefinitionsRule,
   FieldsOnCorrectTypeRule,
   FragmentsOnCompositeTypesRule,
   KnownArgumentNamesRule,
@@ -327,6 +328,14 @@ export {
   ValuesOfCorrectTypeRule,
   VariablesAreInputTypesRule,
   VariablesInAllowedPositionRule,
+  // SDL-specific validation rules
+  LoneSchemaDefinitionRule,
+  UniqueOperationTypesRule,
+  UniqueTypeNamesRule,
+  UniqueEnumValueNamesRule,
+  UniqueFieldDefinitionNamesRule,
+  UniqueDirectiveNamesRule,
+  PossibleTypeExtensionsRule,
   ValidationRule,
 } from './validation';
 
diff --git a/tstypes/validation/index.d.ts b/tstypes/validation/index.d.ts
index 3c6d260df6..c179949558 100644
--- a/tstypes/validation/index.d.ts
+++ b/tstypes/validation/index.d.ts
@@ -4,6 +4,11 @@ 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,
@@ -124,3 +129,26 @@ export {
 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';