Surely the big story here is just how good Terra and Luna are on higher reasoning levels - why use Sol for agentic coding? It just seems to escalate cost dramatically for little or no gain.
This demonstrates how the smaller models capabilities also appear to scale well with test-time compute - impressive!