The founder (Steven De Keninck aka enki) gave a talk at Siggraph2019 https://www.youtube.com/watch?v=tX4H_ctggYo
You should join the discord https://discord.gg/vGY6pPk
plus, dont Hilbert spaces assume they are infinitessimally detailed (ie: complete)? which seems like it could lead to potential collisions with set-theoretic geometry, eg possibly some potential for a physical manifestation of the banach-tarski paradox, which would clearly violate conservation laws