Add Flogger logging and ThreadSafe annotations to Verifier.

PiperOrigin-RevId: 850090876

Author: agxp

src/main/kotlin/Verifier.kt

@@ -42,28 +42,44 @@ import kotlinx.coroutines.guava.future
 import kotlinx.coroutines.runBlocking
 
 /** The result of verifying an Android Key Attestation certificate chain. */
+@ThreadSafe
 sealed interface VerificationResult {
+  @ThreadSafe
   data class Success(
-    val publicKey: PublicKey,
+    @field:ThreadSafe.Suppress(reason = "PublicKey is immutable") val publicKey: PublicKey,
     val challenge: ByteString,
     val securityLevel: SecurityLevel,
     val verifiedBootState: VerifiedBootState,
     val deviceInformation: ProvisioningInfoMap?,
+    @field:ThreadSafe.Suppress(reason = "DeviceIdentity is deeply immutable")
     val attestedDeviceIds: DeviceIdentity,
   ) : VerificationResult
 
-  data object ChallengeMismatch : VerificationResult
+  @ThreadSafe data object ChallengeMismatch : VerificationResult
 
-  data class PathValidationFailure(val cause: CertPathValidatorException) : VerificationResult
+  @ThreadSafe
+  data class PathValidationFailure(
+    @field:ThreadSafe.Suppress(reason = "Exceptions are generally immutable after creation")
+    val cause: CertPathValidatorException
+  ) : VerificationResult
 
-  data class ChainParsingFailure(val cause: Exception) : VerificationResult
+  @ThreadSafe
+  data class ChainParsingFailure(
+    @field:ThreadSafe.Suppress(reason = "Exceptions are generally immutable after creation")
+    val cause: Exception
+  ) : VerificationResult
 
-  data class ExtensionParsingFailure(val cause: ExtensionParsingException) : VerificationResult
+  @ThreadSafe
+  data class ExtensionParsingFailure(
+    @field:ThreadSafe.Suppress(reason = "Exceptions are generally immutable after creation")
+    val cause: ExtensionParsingException
+  ) : VerificationResult
 
+  @ThreadSafe
   data class ExtensionConstraintViolation(val cause: String, val reason: KeyAttestationReason) :
     VerificationResult
 
-  data object SoftwareAttestationUnsupported : VerificationResult
+  @ThreadSafe data object SoftwareAttestationUnsupported : VerificationResult
 }
 
 /**