Same cycles and pairs as 8505a723, relabelled: proof pairs 3→4..5→6 give
K_case = 7, window K..K+2 with remain-settled pairs, last scored cycle 11.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Same cycles and pairs as 8505a723, relabelled: proof pairs 3→4..5→6 give
K_case = 7, window K..K+2 with remain-settled pairs, last scored cycle 11.
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>