@tao@mathstodon.xyz Well, that's been done https://arxiv.org/abs/2608.08538