The seed came from string.GetHashCode, which .NET randomizes per process, so each run drew different samples and the "ring" case occasionally drew fewer than six rejections and failed its coverage assertion (1 in 6 runs), even though every validator decision matched the brute-force reference. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>