Early Childhood elementatry and secondary education
Higher education and workforce investment subcommittee
I've also seen some commercials for high school home learning products for home schoolers. I don't know how good they are.
But if good products are out there, the school systems don't seem to be thinking about using them. Maybe federal evaluation and guidance could change that.
The fed gov does seem to have some interest in the idea. For example: https://en.wikipedia.org/wiki/Digital_Promise
Also, some states seem interested. But, all levels of government have so much bureaucracy, they always move so slowly.
Yes, it might be good to identify existing CAL software. (Khan Academy might be a good example. It does involve self-testing and points for advancement.)