[Fusion] Refactor satisfiability validator

dictionary.txt

@@ -38,13 +38,13 @@ CCPA
 chillicream
 Codespaces
 colocated
-csclient
 combinators
 contentfiles
 Contoso
 conv
 CQRS
 creds
+csclient
 CUST
 dataloaders
 debuggable
@@ -224,6 +224,7 @@ vsix
 VXNlcjox
 websockets
 Wilhuff
+worklist
 Wunder
 xact
 xunit

src/HotChocolate/Fusion/src/Fusion.Composition/Extensions/PathNodeExtensions.cs

@@ -0,0 +1,42 @@
+using HotChocolate.Fusion.Collections;
+using HotChocolate.Fusion.Satisfiability;
+
+namespace HotChocolate.Fusion.Extensions;
+
+internal static class PathNodeExtensions
+{
+    extension(PathNode? path)
+    {
+        public bool ContainsItem(SatisfiabilityPathItem item)
+        {
+            for (var node = path; node is not null; node = node.Parent)
+            {
+                if (node.Item == item)
+                {
+                    return true;
+                }
+            }
+
+            return false;
+        }
+
+        public string ToPathString()
+        {
+            if (path is null)
+            {
+                return string.Empty;
+            }
+
+            var items = new List<SatisfiabilityPathItem>();
+
+            for (var node = path; node is not null; node = node.Parent)
+            {
+                items.Add(node.Item);
+            }
+
+            items.Reverse();
+
+            return string.Join(" -> ", items);
+        }
+    }
+}

src/HotChocolate/Fusion/src/Fusion.Composition/Properties/CompositionResources.resx

@@ -495,9 +495,6 @@
   <data name="SatisfiabilityValidator_CycleDetected" xml:space="preserve">
     <value>Cycle detected: {0} -&gt; {1}.</value>
   </data>
-  <data name="SatisfiabilityValidator_MaxRecursionDepthReached" xml:space="preserve">
-    <value>Satisfiability validation reached the maximum recursion depth ({0}) while visiting type '{1}'. Validation of deeply nested fields may be incomplete.</value>
-  </data>
   <data name="SatisfiabilityValidator_NodeTypeHasNoNodeLookup" xml:space="preserve">
     <value>Type '{0}' implements the 'Node' interface, but no source schema provides a non-internal 'Query.node&lt;Node&gt;' lookup field for this type.</value>
   </data>

src/HotChocolate/Fusion/src/Fusion.Composition/Satisfiability/PathNode.cs

@@ -0,0 +1,10 @@
+using HotChocolate.Fusion.Collections;
+
+namespace HotChocolate.Fusion.Satisfiability;
+
+internal sealed class PathNode(SatisfiabilityPathItem item, PathNode? parent)
+{
+    public SatisfiabilityPathItem Item { get; } = item;
+
+    public PathNode? Parent { get; } = parent;
+}

src/HotChocolate/Fusion/src/Fusion.Composition/Satisfiability/WorkItem.cs

@@ -0,0 +1,7 @@
+using HotChocolate.Types.Mutable;
+
+namespace HotChocolate.Fusion.Satisfiability;
+
+internal readonly record struct WorkItem(
+    MutableObjectTypeDefinition ObjectType,
+    PathNode? Path);