Consistent Treatment of Muons in Binary Neutron Star Mergers - Henrique Gieg; Ramon Jaeger; Maximiliano Ujevic; Tim Dietrich (2026)