Function verify 

pub fn verify(id: &str) -> bool

Prov IDs use BLADE_RANDOM_LEN random NOID extended-digit characters plus a NOID check character. Minting lives in prov-identity; this crate only verifies IDs. Whether id is a well-formed prov ID: correct length, alphabet-only, and a matching trailing check character. This is what catches a typo’d prov: link before it dangles silently.