That one seems to be software controlled. I'm fairly sure I remember having the mic working with the mute LED lit, which was confusing. That was on a x1 carbon gen9.
Correct, its usefulness depends on software working as expected (and not being tampered with)
echo 1 | sudo tee /sys/devices/platform/thinkpad_acpi/leds/platform\:\:micmute/brightness
is enough to turn the LED on without muting the mic.