The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization