Update TSP specification.md

finished specification