pub trait Verifiable { // Required methods fn id(&self) -> CredentialId; fn validate(&self) -> Result<(), AuthError>; // Provided method fn hrp(&self) -> Option<String> { ... } }