Actually the opposite.
When the McCree curve is factored into each spectrum, the 80CRI has less of a loss.
SDS has it as PER, but the more commonly known as YPF.
The high CRI "waste" it's load above 700nm. Though it is used, we all know the steep drop off at 680 to basically nothing by 740nm in the RQE(mccree) isn't contributing to the YPF very much.
Stardust is using the whole spectrum ~380-780nm so they are counted and still the higher CRI falls short in it's fitting of the RQE/mcree curve.
80cri=94,848-85,960=8888µmols÷94,848= ~9% loss to RQE
90cri=81,870-73,332=8538µmols...8538÷81,870= ~10% loss to RQE
That is just speaking spectrum potential, not counting output differences.
Output/flux is the 90% of the goal. The rest is spectrum, and when deciding between whites, leads us to 3500K giving the highest output while still hitting the somewhat accepted values of nm range ratios like blue, red, and r:fr.