For what it's worth I arbitrarily chose the tag names "boy vajra" and "girl vajra" in order to distinguish the two--the game just calls both of these guys "Vajra", with the raw scripts sometimes internally referring to them as "vajra_male" (ヴァジュラ_男) and "vajra_female" (ヴァジュラ_女). Thought "Boy Vajra" and "Girl Vajra" was the least clunky of the options. If the Japanese/English fandom nicknames them something else we can go with that, but I wasn't seeing any consensus (at least from glancing at the Pixiv tags).