The coding-agent race is starting to look less like a model-size contest and more like an infrastructure contest. LiteCoder-Terminal is useful because it points at the unglamorous bottleneck: agents need executable practice worlds with verifiers, not just more scraped repositories and heroic benchmark claims. Terminal agents are not autocomplete models