chore(release): 1.9.0 [skip ci]

# [1.9.0](v1.8.0...v1.9.0) (2025-01-31)

### Bug Fixes

* CI ([d9e2a1e](d9e2a1e))
* DafnyLibraries.FileIO extern ([b150c48](b150c48))
* ECDH ValidatePublicKey err msg ([34a48fc](34a48fc))
* for test vectors, use SetToSequenceSorted ([#1034](#1034)) ([21ad206](21ad206))
* **GHW:** check-files apply to PR, not to diff b/w HEAD and branch ([#1075](#1075)) ([1f53a92](1f53a92))
* improve golang externs ([#1133](#1133)) ([b6ee16e](b6ee16e))
* **Java:** Improve Collection of Errors string ([#1056](#1056)) ([9e195a1](9e195a1))
* line breaks ([21536c7](21536c7))
* PR comments ([798214b](798214b))
* PR comments ([a21c0b3](a21c0b3))
* PR comments ([7dd95bc](7dd95bc))
* PR comments ([eed0d87](eed0d87))
* PR comments ([435515e](435515e))
* re-enable aes_gcm_192 ([#1143](#1143)) ([23650a9](23650a9))
* region ([5930ae4](5930ae4))
* region ([e3454b5](e3454b5))
* remove [@sensitive](https://github.com/sensitive) from smithy models ([#1123](#1123)) ([c939f3a](c939f3a))
* repo rename ([#1218](#1218)) ([c2f003c](c2f003c))
* revert pyproject.toml drop ([b5dbb5c](b5dbb5c))
* rust code used for testing must be allowed dead code ([#1148](#1148)) ([5997919](5997919))
* SetToSequence should be a method, not a function ([#1035](#1035)) ([1169bc8](1169bc8))
* smithy-dafny ([#1136](#1136)) ([6005777](6005777))

### Features

* Adds CI ([511ed35](511ed35))
* check in polymorph go generated code  ([#1137](#1137)) ([d0fefbf](d0fefbf))
* Check-in polymorph generated code ([bfc7cb9](bfc7cb9))
* ddb Go externs ([1e3737b](1e3737b))
* **ddb:** Go release v0.0.1 ([#1201](#1201)) ([5293bfd](5293bfd))
* **ddb:** Go release v0.0.3 ([#1210](#1210)) ([983f553](983f553))
* **Go:** Go module rename ([#1196](#1196)) ([b0876ac](b0876ac))
* kms externs for Go ([2d1f6d1](2d1f6d1))
* **kms:** Go release v0.0.1 ([#1199](#1199)) ([9c80544](9c80544))
* mpl externs ([#1105](#1105)) ([29bc52e](29bc52e))
* **mpl:** Go release v0.0.1 ([#1211](#1211)) ([4508ab8](4508ab8))
* Primitives CI ([ce6e942](ce6e942))
* Primitives for Go ([8066826](8066826))
* **primitives:** Go release v0.0.1 ([#1203](#1203)) ([6bf0bbe](6bf0bbe))
* StandardLibrary for Go ([587b57e](587b57e))
* StandardLibrary for Go ([94b4fd0](94b4fd0))
* StandardLibrary for Go ([6ce1ce3](6ce1ce3))
* **StdLib:** Go v0.0.1 release ([#1195](#1195)) ([95e54bf](95e54bf))

AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs

@@ -3,4 +3,4 @@
 [assembly: AssemblyTitle("AWS.Cryptography.MaterialProviders")]
 
 // This should be kept in sync with the version number in MPL.csproj
-[assembly: AssemblyVersion("1.8.0")]
+[assembly: AssemblyVersion("1.9.0")]

AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj

@@ -5,7 +5,7 @@
       <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
       <IsPackable>true</IsPackable>
 
-      <Version>1.8.0</Version>
+      <Version>1.9.0</Version>
 
       <AssemblyName>AWS.Cryptography.MaterialProviders</AssemblyName>
       <PackageId>AWS.Cryptography.MaterialProviders</PackageId>

AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "aws-cryptographic-material-providers"
-version = "1.8.0"
+version = "1.9.0"
 description = "AWS Cryptographic Material Providers Library for Python"
 authors = ["AWS Crypto Tools <aws-crypto-tools@amazon.com>"]
 packages = [
@@ -13,10 +13,10 @@ readme = "README.rst"
 
 [tool.poetry.dependencies]
 python = "^3.11.0"
-aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
-aws-cryptography-internal-kms = {path = "../../../ComAmazonawsKms/runtimes/python"}
-aws-cryptography-internal-dynamodb = {path = "../../../ComAmazonawsDynamodb/runtimes/python"}
-aws-cryptography-internal-primitives = {path = "../../../AwsCryptographyPrimitives/runtimes/python"}
+aws-cryptography-internal-standard-library = "1.9.0"
+aws-cryptography-internal-kms = "1.9.0"
+aws-cryptography-internal-dynamodb = "1.9.0"
+aws-cryptography-internal-primitives = "1.9.0"
 
 # Package testing
 

AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr

@@ -1,179 +1,238 @@
 file_format_version = "1.0"
-dafny_version = "4.8.0.0"
+dafny_version = "4.9.2.0"
 [options_by_module.AwsCryptographyKeyStoreTypes]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AbstractAwsCryptographyKeyStoreOperations]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AbstractAwsCryptographyKeyStoreService]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsCryptographyMaterialProvidersTypes]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsArnParsing]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsMrkMatchForDecrypt]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsUtils]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.KeyStoreErrorMessages]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.KmsArn]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.Structure]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.KMSKeystoreOperations]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.DDBKeystoreOperations]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.CreateKeys]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.CreateKeyStoreTable]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.GetKeys]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsCryptographyKeyStoreOperations]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.KeyStore]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AbstractAwsCryptographyMaterialProvidersOperations]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AbstractAwsCryptographyMaterialProvidersService]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AlgorithmSuites]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.Materials]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.Keyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.MultiKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsMrkAreUnique]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.Constants]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.MaterialWrapping]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.CanonicalEncryptionContext]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.IntermediateKeyWrapping]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.EdkWrapping]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.ErrorMessages]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.StrictMultiKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsDiscoveryKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.DiscoveryMultiKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsMrkDiscoveryKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.MrkAwareDiscoveryMultiKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsMrkKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.MrkAwareStrictMultiKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.LocalCMC]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.SynchronizedLocalCMC]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.StormTracker]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.StormTrackingCMC]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.CacheConstants]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsHierarchicalKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsRsaKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.EcdhEdkWrapping]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.RawECDHKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsKmsEcdhKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.RawAESKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.RawRSAKeyring]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.CMM]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.Defaults]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.Commitment]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.DefaultCMM]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.DefaultClientSupplier]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.Utils]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.RequiredEncryptionContextCMM]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsCryptographyMaterialProvidersOperations]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false
 [options_by_module.MaterialProviders]
 legacy-module-names = false
 python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+rust-sync = false

AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs

@@ -3,4 +3,4 @@
 [assembly: AssemblyTitle("AWS.Cryptography.Internal.AwsCryptographyPrimitives")]
 
 // This should be kept in sync with the version number in Crypto.csproj
-[assembly: AssemblyVersion("1.8.0")]
+[assembly: AssemblyVersion("1.9.0")]

AwsCryptographyPrimitives/runtimes/net/Crypto.csproj

@@ -5,7 +5,7 @@
     <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
     <IsPackable>true</IsPackable>
 
-    <Version>1.8.0</Version>
+    <Version>1.9.0</Version>
 
     <AssemblyName>AWS.Cryptography.Internal.AwsCryptographyPrimitives</AssemblyName>
     <PackageId>AWS.Cryptography.Internal.AwsCryptographyPrimitives</PackageId>

AwsCryptographyPrimitives/runtimes/python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "aws-cryptography-internal-primitives"
-version = "1.8.0"
+version = "1.9.0"
 description = ""
 authors = ["AWS Crypto Tools <aws-crypto-tools@amazon.com>"]
 packages = [
@@ -12,7 +12,7 @@ include = ["**/internaldafny/generated/*.py"]
 
 [tool.poetry.dependencies]
 python = "^3.11.0"
-aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
+aws-cryptography-internal-standard-library = "1.9.0"
 cryptography = "^43.0.1"
 
 # Package testing

AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr

@@ -1,59 +1,78 @@
 file_format_version = "1.0"
-dafny_version = "4.8.0.0"
+dafny_version = "4.9.2.0"
 [options_by_module.AwsCryptographyPrimitivesTypes]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.AbstractAwsCryptographyPrimitivesOperations]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.AbstractAwsCryptographyPrimitivesService]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.ExternRandom]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.Random]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.AESEncryption]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.ExternDigest]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.Digest]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.HMAC]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.WrappedHMAC]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.HKDF]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.WrappedHKDF]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.Signature]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.KdfCtr]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.RSAEncryption]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.ECDH]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.AwsCryptographyPrimitivesOperations]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.AtomicPrimitives]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false
 [options_by_module.AesKdfCtr]
 legacy-module-names = false
 python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+rust-sync = false