test: retire the precedence rule from two test docstrings

Both tests survived the pool merge on their assertions but still taught
the deleted named-over-synthesized ranking: the upper-bound test now
states the one-admitted-probe rule its innocence actually rests on (the
floor is one probe of four), and the inclusive-ceiling test matches the
source's wording, which no longer calls that probe "named" (Patch76
review).

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01QiuyTYBQ2opBVPp8xzMq3r

Author: kingpanther13

tests/src/unit/test_dependency_diagnostics.py

@@ -406,22 +406,22 @@ def test_wildcard_floor_still_probes(self):
         assert requirement_forces_conflict("mcp==1.9.0", wildcard)
 
     def test_upper_bound_admitting_the_named_floor_is_innocent(self):
-        """Patch76 review on #2245: a named probe outranks a synthesized one.
+        """Patch76 review on #2245: one admitted probe proves innocence.
 
-        ``mcp<=1.24.0`` admits the violated spec's own floor, so enforcing
-        it can never hold the package below that floor — blaming it for
-        rejecting the invented successor 1.24.0.0.1 pointed the user at an
-        integration that cannot be the culprit.
+        ``mcp<=1.24.0`` admits the violated spec's own floor — one probe of
+        the four that survive the filter — so enforcing it can never hold
+        the package below that floor, and blaming it would point the user
+        at an integration that cannot be the culprit.
         """
         assert not requirement_forces_conflict("mcp<=1.24.0", self._VIOLATION)
 
     def test_inclusive_ceiling_probe_cannot_convict_alone(self):
-        """Patch76 on #2245: an inclusive ceiling survives as a named probe.
+        """Patch76 on #2245: an inclusive ceiling survives as a probe.
 
-        Under ``mcp<=2.0,>=1.24.0`` the probes are 1.24.0 AND 2.0; demanding
-        both blamed ``mcp<=1.24.0`` for the ceiling although it admits the
-        floor and can never hold the package below it. One admitted probe
-        proves innocence.
+        Under ``mcp<=2.0,>=1.24.0`` the probes include 1.24.0 AND 2.0;
+        demanding every one blamed ``mcp<=1.24.0`` for the ceiling although
+        it admits the floor and can never hold the package below it. One
+        admitted probe proves innocence.
         """
         inclusive_ceiling = DependencyViolation(
             package="mcp",