[Macaron27]

What

• Multi-proxy networks: set storage.type: mysql on every proxy, then redis.enabled: true with a unique redis.proxy-id on each. Requests, accept/deny, join/leave messages, status, current server, /f list and tab completion then work across proxies.
• Single proxy: unchanged. Network.LOCAL is a no-op.

How

• One code path: every cross-proxy change is an Event (a sealed interface of records). The proxy where it happens applies it, then publishes it; every other proxy applies the same event in Friends.apply.
• RedisNetwork (Jedis 8):
  • presence hash of who is online where;
  • one key per pending request, with a TTL;
  • a heartbeat per proxy, so a dead proxy's players are shown offline after about 30–40 s;
  • pub/sub fan-out, with a resync after every reconnect;
  • a SET NX claim so crossing accepts on two proxies can't both go through.
• Publish order: events go out through the SQL queue, so other proxies only see a change once it is stored.

Fixes found by the new tests

• Cache vs database drift under concurrency: accept racing remove, and two concurrent /f best toggles. Fixed with one lock around decide, cache update and queued write.
• Stale profile load: a friendship change while a player's profile was still loading was missed.
• Two cross-proxy ordering races: see .claude/known_errors.md.

Tests

86 tests pass locally (SQLite, MySQL 8.0.46, Redis 8.10.2):

• an in-memory two/three-proxy hub;
• randomized cache-vs-database checks with a deliberately slow database;
• a concurrency stress test;
• real-Redis tests.

Each race guard has a test that fails when the guard is removed. The exception is the lock: its random stress test only fails occasionally without it.

Also tested with two real Velocity 4.2.0 proxies sharing MySQL and Redis: logins on both proxies, correct events, a kill -9 on one proxy reaped by the other after about 40 s, and clean shutdown.

Not covered: gameplay through a real client on a backend server (the local test client can log in but not play).

🤖 Generated with Claude Code