So...did someone make a call to AS on my behalf about this? Or maybe the suggestion to wait a bit "just to see if it somehow fixes itself" wins the day.

My miles balance updated sometime in the past few days. I hadn't contacted AS yet and haven't taken any other flights in the meantime. It now reflects exactly the 4602 EQM increase you called out for the entire itinerary, [MENTION=850794]Flying for Fun[/MENTION], and not a mystery partial 2500 increase or my original 4448 calculation.

My most recent BOA card activity and ticket purchase bonuses also posted to RDM in the past couple days. Those aren't related to EQM, of course, but maybe that shook something loose that was stuck in the EQM/RDM vending machine?

Baffling, but of course I'm fine with the end result.