"""proteus.web.arena — multi-user competition arena (SKELETON).

Design: docs/superpowers/specs/2026-06-02-arena-leaderboard-db-design.md
Subpackages: api (REST routes), db (ORM + migrations), leaderboard
(aggregation), worker (eval queue + runner). Not implemented yet.
"""