It’s very clear under Colorado law he shouldn’t have been sold the gun.
He had two assault charges that should have prevented him from buying the gun when the background check happened.
Either the background check people failed at their job or somehow the juvenile records are excluded in background checks which if that’s the case is a massive loophole.