Protocollo guidato dal contratto e suite di test

Changed

• Le azioni WebSocket si generano dal contratto, cosi’ aggiungerne una richiede solo una modifica al contratto, e la compressione e’ attiva di default.
• La ricerca delle lobby e la gestione dei numeri casuali vengono ripulite, e i salvataggi di partite con schemi vecchi si caricano senza errori.

Added

• Il backend guadagna una suite doctest per motore, regole e serializzazione.
• Il frontend guadagna un harness Vitest per lobby, gioco e comportamento WebSocket.

Fixed

• Le richieste in sospeso vengono rifiutate alla disconnessione, i doppi invii sono bloccati e le riconnessioni smettono di registrare di nuovo i listener.