From 6cc621e719eeecc80d8d1c3d8062352613a177cd Mon Sep 17 00:00:00 2001
From: jdecroock <decroockjovi@gmail.com>
Date: Sat, 5 Jul 2025 09:21:50 +0200
Subject: [PATCH] Fix cases in validation that cause crashes

---
 spec/Section 5 -- Validation.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/spec/Section 5 -- Validation.md b/spec/Section 5 -- Validation.md
index 206814d6d..68dcbd57f 100644
--- a/spec/Section 5 -- Validation.md	
+++ b/spec/Section 5 -- Validation.md	
@@ -1144,6 +1144,7 @@ DetectFragmentCycles(fragmentDefinition, visited):
   - {visited} must not contain {spread}.
   - Let {nextVisited} be the set including {spread} and members of {visited}.
   - Let {nextFragmentDefinition} be the target of {spread}.
+  - If {nextFragmentDefinition} can't be found, return.
   - {DetectFragmentCycles(nextFragmentDefinition, nextVisited)}.
 
 **Explanatory Text**
@@ -1995,6 +1996,7 @@ variable.
     - Let {variableName} be the name of {variableUsage}.
     - Let {variableDefinition} be the {VariableDefinition} named {variableName}
       defined within {operation}.
+    - If no {variableDefinition} can be found, return.
     - {IsVariableUsageAllowed(variableDefinition, variableUsage)} must be
       {true}.