-- GPS: центр карты по умолчанию и списки доступа к GPS-вкладке.
-- allowed_user_ids / allowed_role_ids: NULL или [] = доступ у всех;
-- иначе доступ по user.id ∈ allowed_user_ids ИЛИ членство в роли из allowed_role_ids
-- (admin'ам приложения доступ всегда).
ALTER TABLE gps_settings
  ADD COLUMN IF NOT EXISTS default_lat DOUBLE PRECISION,
  ADD COLUMN IF NOT EXISTS default_lng DOUBLE PRECISION,
  ADD COLUMN IF NOT EXISTS default_zoom INTEGER,
  ADD COLUMN IF NOT EXISTS allowed_user_ids JSONB,
  ADD COLUMN IF NOT EXISTS allowed_role_ids JSONB;