[Github-Samuel]

The live map and dev toolbar changes are taken from #315. Its other parts (a second player-detail normalisation already covered by 66614ff, a Squawk badge tooltip, and a version bump) are left out.

Changes

• Live map stays sharp when zoomed. The tile layer carried will-change-transform, so Chromium rasterised it once and stretched that bitmap as scale() grew. Removing it lets the layer re-rasterise at the zoomed scale.
• Fewer tile downloads. Tiles are 1024 px, but the zoom picker aimed for about 160 px per tile on screen and so fetched far more detail than it could show. It now picks the lowest level whose tiles are never drawn above their native size (ceil(log2(screenPx / 1024))).
• Map style tabs stay in English. They read label from the phone Maps styles, which follows the phone locale (Atlas showed as "Atlante" on an Italian phone). The rest of the admin panel is English, so the page now keeps its own labels.
• Dev buttons no longer overlap (dev builds only). Replay boot covered Show Setup and Ryde data, and Payphone and 24h shared top-[84px]. They now sit in one wrapping row, with an Admin button that opens the panel in the browser preview.

Measured (dev server, main vs this branch)

	main	this branch
Tiles fetched at 16x	49 (z6)	16 (z3)
Edge variance of the map at 16x	266	1295
Pan frame time p95, 3 drags	4.3 ms	4.3 ms
Overlapping dev buttons	3 pairs	0

Tested in game on the dev server: zoom, pan, style switching and fullscreen on the live map.

Gates

• tsc --noEmit: pass
• oxlint: 0 errors, 24 existing warnings, none in touched lines
• knip: pass
• i18n:check: pass (7203 keys)
• vitest: 885/885
• Phone and tablet bundles rebuilt