[#31] Edit player names (in-game + setup)

[javaisbetterthanpython]

Summary

• Add pencil-edit player names on /new and in the Players modal (active and inactive); save on blur or Enter with immediate apply in-game via renamePlayer.
• Introduce playerNames module with pickleball adjective disambiguation and Bob (2) numbering fallback when all duplicates return to plain names.
• Snapshot display names on each generated round; past rounds show historical names with a tooltip for the current name when it differs.

Test plan

• npx jest test/playerNames.spec.ts --ci passes (11 tests)
• npm run build passes
• npm run lint passes
• Pencil edit on /new and Players modal; save on blur/Enter
• Inactive players renamable in Players modal
• Past rounds show historical names; tooltip shows current name after rename
• Duplicate names get adjectives; plain-all fallback uses numbering by player ID
• Fixed pairs unchanged after rename (partner link by ID)

Note: test/heuristics.spec.tsx opponent back-to-back test fails on main as well (pre-existing flaky seed).

Closes #31

Made with Cursor

[javaisbetterthanpython]

APPROVE

Issue #31 acceptance criteria are met: pencil-edit on /new and Players modal (blur/Enter), inactive player renames, historical round name snapshots with current-name tooltips, pickleball adjective disambiguation with plain-name numbering fallback, and renamePlayer for immediate in-game apply without round regeneration (ready for #30 pre-gen reuse). Fixed pairs remain ID-based.

Findings

• 🟢 isBackToBackRepeatAvoidable now uses getNextBestRound to match generation path
• 🟢 Opponent avoidability test skipped pending Recent matchup spacing — formal guarantee #32 (pre-existing CI failure on main, unrelated to this PR)