Добавить фильтр по device_id в интерфейс push-кампаний.

Бывает, данных от клиента недостаточно для сегментации. Сейчас предлагается использовать push-api в этом случае.

Но тогда мы лишаемся интерфейса метрики, сегментации метрики итп.

Может быть добавить в интерфейс push-кампании возможность импортировать список устройств (в виде csv) в качестве дополнительного фильтра?

Альтернативные варианты - заполнять с сервера пользовательский профиль.