chore(library-solidity): add comment about reverting for the view function

Author: jatZama

host-contracts/lib/FHE.sol

@@ -9521,7 +9521,12 @@ library FHE {
     ///                             The ABI-encoded list order must match the `handlesList` order.
     /// @param decryptionProof The KMS public decryption proof. It includes the KMS signatures, associated metadata,
     ///                        and the context needed for verification.
-    /// @return true if the signatures verification succeeds, false otherwise.
+    /// @dev Reverts if any of the following conditions are met:
+    ///      - The `decryptionProof` is empty or has an invalid length.
+    ///      - The number of valid signatures is zero or less than the configured KMS signers threshold.
+    ///      - Any signature is produced by an address that is not a registered KMS signer.
+    /// @dev Returns false if any there are enough signatures to reach threshold, but some recovered signer is duplicated.
+    /// @return true if the signatures verification succeeds, false or revert otherwise.
     function isPublicDecryptionResultValid(
         bytes32[] memory handlesList,
         bytes memory abiEncodedCleartexts,

library-solidity/codegen/src/templates/FHE.sol-template

@@ -314,7 +314,12 @@ library FHE {
     ///                             The ABI-encoded list order must match the `handlesList` order.
     /// @param decryptionProof The KMS public decryption proof. It includes the KMS signatures, associated metadata,
     ///                        and the context needed for verification.
-    /// @return true if the signatures verification succeeds, false otherwise.
+    /// @dev Reverts if any of the following conditions are met:
+    ///      - The `decryptionProof` is empty or has an invalid length.
+    ///      - The number of valid signatures is zero or less than the configured KMS signers threshold.
+    ///      - Any signature is produced by an address that is not a registered KMS signer.
+    /// @dev Returns false if any there are enough signatures to reach threshold, but some recovered signer is duplicated.
+    /// @return true if the signatures verification succeeds, false or revert otherwise.
     function isPublicDecryptionResultValid(
         bytes32[] memory handlesList,
         bytes memory abiEncodedCleartexts,

library-solidity/lib/FHE.sol

@@ -9521,7 +9521,12 @@ library FHE {
     ///                             The ABI-encoded list order must match the `handlesList` order.
     /// @param decryptionProof The KMS public decryption proof. It includes the KMS signatures, associated metadata,
     ///                        and the context needed for verification.
-    /// @return true if the signatures verification succeeds, false otherwise.
+    /// @dev Reverts if any of the following conditions are met:
+    ///      - The `decryptionProof` is empty or has an invalid length.
+    ///      - The number of valid signatures is zero or less than the configured KMS signers threshold.
+    ///      - Any signature is produced by an address that is not a registered KMS signer.
+    /// @dev Returns false if any there are enough signatures to reach threshold, but some recovered signer is duplicated.
+    /// @return true if the signatures verification succeeds, false or revert otherwise.
     function isPublicDecryptionResultValid(
         bytes32[] memory handlesList,
         bytes memory abiEncodedCleartexts,