I am of the non-expert opinion that Chakrasamvara is not included here, at least not in explicit form. All these deities are red, really, or are at least strongly associated with the Pema family and with "magnetizing." Varahi isn't "Pema family," but she's most certainly recognized for Power-gathering or magnetizing functions or qualities, amongst other things. I think the phrase "Demchog" means "Supreme Bliss," and not specifically the name of "Khorlo Dompa," "Khorlo Demchok," etc.
In the lineage prayer for Chogling Sangtik Phurba, for example, I read "demchok" in connection with the "Benzra Heruka," but it's clear the reference is to Yangdak Heruka, specifically, if one knows about the cycle of Sangtik Khor Sum.
Of course, the major Yidams of HYT in Sarma are really all-encompassing...all Buddha Families are implicitly there, and sometimes explicitly as well. And the real identity of Khorlo Dompa is truly Immutable Supreme Bliss...but I'll go on record as disagreeing with the translation that includes "Cakrasamvara" by name. Other deities can certainly be of the same ultimate identity--in fact, in some sense they all are.
Always willing to be proven wrong, though!
May any merit generated by on-line discussion
Be dedicated to the Ultimate Benefit of All Sentient Beings.