Zhe Ye, Hantao Lou, Yuechun Sun, Peiyang Song, Zhengxu Yan, Timothe Kasriel, Qingyang Zhang, Kaiyu Yang, Soonho Kong, Jingxuan He, and Dawn Song

Actor across 1 radar case, incl. as cascade root

Cases

• cascade-root-for vero-formally-verified-agent-repositories

Receipts (deposited as cases close)

• none yet — receipts append when linked cases resolve or expire