LLMs plus DST are great, but won't get you all the way there. The simulation will discover bugs that span the context window and the agent will struggle to fix them even when it gets the feedback that something is wrong. The other half of the answer is modularity—implementation architectures where non-local reasoning outside the type system doesn't leak between components. Components doing that job are a big part of where @convex is headed.