Wrong assumptions stop getting built. When a coding agent hits a gap in your spec, it knows to ask you in Grove instead of guessing.