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