У них нет оформленных прав. У них есть ровно то, что написано в постановлении. Сотрудники за зарплату разработали для компании ПО. А потом это ПО ушло на лево без документального оформления этого перехода.
Нет оформленных прав - значит нет никаких. А есть только голословное утверждение о якобы наличии таких прав. Статься 1295 ГК РФ утверждает, не то, что nginx является служебным произведением, а то, что произведения, созданные в порядке исполнения служебных обязанностей, являются служебными. А факт того, что конкретное произведение создано в порядке выполнения служебных обязанностей, должен быть подтверждён документально. Очевидно, что такого документального подтверждения нет, иначе оно было указано в постановлении о возбуждении уголовного дела. Юридическим абсурдом явяелся сочетание "неустановленные лица в пределах установленных трудовых обязанностей", поскольку установленные трудовые обязанности могут быть только у установленного лица. Также в постановлении устанавливается дата совершения преступления не позднее 4 октября 2004 года. Поскольку часть 3 статьи 146 УК РФ редусматривает максимальную санкцию 6 лет (то есть максимальная санкция менее 10 лет), срок давности по этому составу преступления истёк 4 октября 2014 года и уже на основании истечения срока давности должно было быть вынесено постановление об отказе в возбуждении уголовного дела.