The Semantic Contract Surface