Yes! That does appear to be the case for EC_TEMP1 and VSOC MOS being the same sensor. I ramped up the fan directly above the sensor, and aside from a slightly different polling rate, they matched.
I'm not sure if your goal is to change the name of the temp, but if so, would you like me to plug...
I seem to be missing thermistor temps from my gigabyte motherboard (only one is plugged in). I just want to verify I'm not missing something before submitting a bug report. Thanks!