The "results are stable" test queried "budget", a single-match query, so the sort had nothing to reorder and would pass even with a broken or removed ascending-id tie-break. Switch to "muller", where docs 1 and 5 tie on score, so the assertion actually exercises the tie-break. Co-Authored-By: Claude Opus 5 (1M context) <[email protected]>