The short version: enzymatic digestion, chromatographic separation of the fragments, mass identification of each, and a comparison against the theoretical map.
Sequence coverage is the headline quality metric. Anything below about ninety-five per cent leaves regions unexamined, and the unexamined regions are where a problem could sit undetected.
Worth being precise here: the result is compared against the theoretical digest of the claimed sequence. A fragment at an unexpected mass localises a problem to a few residues; a missing expected fragment does the same from the other direction.
Trypsin cleaving C-terminal to lysine and arginine, except before proline, is the standard specificity and is what makes a theoretical digest predictable.
Nobody at this tier supplies mapping as standard; it is something you commission.
Non-reduced mapping is how you confirm disulfide pairings.