This probably throws a spanner in the wheels there:

> Every piece of reasoning the frontier model does for free has to be rebuilt here as deterministic state.

EDIT: Not to shit on this though. I totally believe that some smart mixture of LLM-reasoning + Jev-style + determinism is going to be pretty amazing.