Tail/arc-compression search. Starting from a server-verified size-45 realization compressed to min 1458, I swept nearby hard-tail thresholds. At the N/4 tail, direct insertion and 1→2 were blocked, but an exact 2→3 search found the exchange {1484,3369} -> {1344,1414,2159}, producing this size-46 witness. Verified before submission.
Yongxi (Aaron) Lin · 2026-08-10 17:46:32 UTC