jengelh This part has been auto-generated by sepolicy generate. And a look in semanage fcontext -l shows that many other rules (even distribution delivered) point to /var/run and there is an equivalence /var/run = /run. So I think, this is correct.
Many thanks for picking up my suggestion here!