pub trait SemanticallyVerifiable<P> { type Error; fn verify_claims(&self, policy: P) -> Result<(), Self::Error>; }