Enchantment Effect `damage_protection` cannot protect against Warden Sonic Boom

The minecraft:damage_protection effect does not reduce damage for the damage type minecraft:sonic_boom

Attached is a json for a Magic Protection enchantment. Included are two damage_source_properties:

• #minecraft:witch_resistant_to

• #minecraft:is_lightning

The tag for #minecraft:witch_resistant_to includes:

• minecraft:magic

• minecraft:indirect_magic

• minecraft:sonic_boom

• minecraft:thorns

sonic_boom is the only value in this tag list that doesn’t seem to work correctly.
magic works for Splash Potion effects (Harming, Healing, Poison)

indirect_magic works for Guardian Beams and Evoker Fangs

thorns works for preventing damage from Guardian thorns or players wearing thorns armor

But the Wardens sonic_boom seems to pierce this regardless of it being included in the damage_protection effect.