Did Shao Yong ever annotate Sixty-four hexagrams of the Book of Changes? Not imperial but solemn.

Shao Yong is a famous figure in the cultural history of China, and his name is associated with Yi-ology, Neo-Confucianism and Elephant Mathematics. His three handed down works, Huang Shishu, Yu Quan and Yi Jinong, have all been recorded in the official history. I'm sure Shao Yong is the authoritative figure of the sixty-four hexagrams in the Book of Changes, but I haven't seen the official saying that he has such a handed down book; Maybe he didn't publish it but passed it on to future generations, and there are also such cases. Later generations have seen two books by Shao Yongshu: The True Number of Heluo and The Divine Number of Iron Plate. Among them, the true number of Heluo is indeed a life letter with sixty-four hexagrams in the Book of Changes. However, since the Ming Dynasty, some people have questioned that these two books are in the name of Shao Yong. Therefore, this is still controversial and remains to be verified. At present, there is no need for a standard answer.