mirror of
https://github.com/zkldi/Tachi.git
synced 2026-09-27 09:28:12 +03:00
* only rebuild chart leaderboard when ranking changes * document partition invariant for leaderboard refresh Adds an explanatory comment noting that the ranking-change check assumes an UPDATE never moves a pb between (chart_id, lens) partitions (true today), plus a trailing newline. Keeps DISTINCT for clarity. --------- Co-authored-by: zk <zkldi@proton.me>