One could easily implement an Emacs (SLIME) plugin to "macroexpand" the (pseudo) expresion to real (concrete) Lisp code, and even to try again until the implementation satisfies you.
Then it becomes a concrete Lisp implementation and thus not unpredictable anymore.
Comments
After decades of research, we have finally come up with a way to make programs break in unpredictable ways on every compilation.
One could easily implement an Emacs (SLIME) plugin to "macroexpand" the (pseudo) expresion to real (concrete) Lisp code, and even to try again until the implementation satisfies you.
Then it becomes a concrete Lisp implementation and thus not unpredictable anymore.
Isn’t that just vibe coding with extra steps?
... and yet, the author will probably get an email soon with $500m VC offer for a revolutionary way of coding.