spec update (use cases complete)