OMG! By complete coincidence, I just stumbled on this recent thread about a mod doing pretty much exactly what I wanted to do! [Mod] Map Color Clarity UI
It redefines widgetui/palette.json - seems like this is the true source of the mini-map colors, and the .pal files are a red herring …