>because a non-determinist chain of reasoning is not the same as a fully deterministic algorithm.

It is not. But rust's borrow checker has its costs. It forces awkward implementations. Either suffer the horrible life time syntax, or pay the price of clone everywhere.

If you use C and run LLMs over it once in a while, I think it will get you most of the way.