path	# lines of code
releases/rust/esdk/src/concurrent_call.rs	51
releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs	33
releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs	65
releases/rust/esdk/src/conversions/net_v4_0_0_retry_policy.rs	19
releases/rust/esdk/src/conversions/encrypt_output.rs	74
releases/rust/esdk/src/conversions/client.rs	18
releases/rust/esdk/src/conversions/aws_encryption_sdk_config.rs	1
releases/rust/esdk/src/conversions/encrypt.rs	2
releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs	79
releases/rust/esdk/src/conversions/encrypt/_encrypt_output.rs	33
releases/rust/esdk/src/conversions/decrypt_output.rs	74
releases/rust/esdk/src/conversions/error.rs	139
releases/rust/esdk/src/conversions/decrypt_input.rs	106
releases/rust/esdk/src/conversions/encrypt_input.rs	120
releases/rust/esdk/src/conversions/decrypt.rs	2
releases/rust/esdk/src/conversions/aws_encryption_sdk_config/_aws_encryption_sdk_config.rs	60
releases/rust/esdk/src/kms.rs	77
releases/rust/esdk/src/client.rs	34
releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs	139
releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs	165
releases/rust/esdk/src/operation/decrypt/builders.rs	141
releases/rust/esdk/src/operation/encrypt.rs	35
releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs	221
releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs	145
releases/rust/esdk/src/operation/encrypt/builders.rs	177
releases/rust/esdk/src/operation/decrypt.rs	35
releases/rust/esdk/src/standard_library_conversions.rs	252
releases/rust/esdk/src/operation.rs	2
releases/rust/esdk/src/digest.rs	31
releases/rust/esdk/src/deps.rs	5
releases/rust/esdk/src/standard_library_externs.rs	77
releases/rust/esdk/src/conversions.rs	10
releases/rust/esdk/src/ddb.rs	68
releases/rust/esdk/src/time.rs	44
releases/rust/esdk/src/types/_encrypt_input.rs	221
releases/rust/esdk/src/types/_decrypt_output.rs	139
releases/rust/esdk/src/types/_encrypt_output.rs	145
releases/rust/esdk/src/types/aws_encryption_sdk_config.rs	135
releases/rust/esdk/src/types/_decrypt_input.rs	165
releases/rust/esdk/src/types/error.rs	66
releases/rust/esdk/src/types/builders.rs	4
releases/rust/esdk/src/types/_net_v4_0_0_retry_policy.rs	13
releases/rust/esdk/src/client/encrypt.rs	5
releases/rust/esdk/src/client/decrypt.rs	5
releases/rust/esdk/src/local_cmc.rs	41
releases/rust/esdk/src/software_externs.rs	18
releases/rust/esdk/src/rsa.rs	62
releases/rust/esdk/src/error/sealed_unhandled.rs	18
releases/rust/esdk/src/oslang.rs	33
releases/rust/esdk/src/storm_tracker.rs	84
releases/rust/esdk/src/dafny_libraries.rs	179
releases/rust/esdk/src/random.rs	35
releases/rust/esdk/src/aes_gcm.rs	33
releases/rust/esdk/src/ecdsa.rs	250
releases/rust/esdk/src/lib.rs	54
releases/rust/esdk/src/error.rs	9
releases/rust/esdk/src/validation.rs	426
releases/rust/esdk/src/hmac.rs	112
releases/rust/esdk/src/aes_kdf_ctr.rs	64
releases/rust/esdk/src/types.rs	14
releases/rust/esdk/src/uuid.rs	69
releases/rust/esdk/src/ecdh.rs	482
releases/rust/esdk/src/sets.rs	54
releases/rust/esdk/Cargo.toml	33
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go	19
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/errors.go	12
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go	138
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/enums.go	12
releases/go/encryption-sdk/EncryptDecryptHelpers/EncryptDecryptHelpers.go	975
releases/go/encryption-sdk/SharedHeaderFunctions/SharedHeaderFunctions.go	383
releases/go/encryption-sdk/HeaderTypes/HeaderTypes.go	931
releases/go/encryption-sdk/ESDK/ESDK.go	418
releases/go/encryption-sdk/Frames/Frames.go	719
releases/go/encryption-sdk/KeyDerivation/KeyDerivation.go	621
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/api_client.go	54
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_dafny.go	337
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go	365
releases/go/encryption-sdk/HeaderAuth/HeaderAuth.go	370
releases/go/encryption-sdk/Header/Header.go	457
releases/go/encryption-sdk/EncryptedDataKeys/EncryptedDataKeys.go	389
releases/go/encryption-sdk/SerializableTypes/SerializableTypes.go	506
releases/go/encryption-sdk/AwsEncryptionSdkOperations/AwsEncryptionSdkOperations.go	947
releases/go/encryption-sdk/AwsCryptographyEncryptionSdkTypes/AwsCryptographyEncryptionSdkTypes.go	1245
releases/go/encryption-sdk/EncryptionContext/EncryptionContext.go	569
releases/go/encryption-sdk/SerializeFunctions/SerializeFunctions.go	675
releases/go/encryption-sdk/MessageBody/MessageBody.go	954
TestVectors/runtimes/java/build.gradle.kts	62
TestVectors/runtimes/java/src/main/java/software/amazon/cryptography/encryptionsdk/internaldafny/wrapped/__default.java	64
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java	302
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/KeyringToMasterKeyProvider.java	221
TestVectors/runtimes/java/settings.gradle.kts	2
TestVectors/runtimes/rust/src/main.rs	65
TestVectors/runtimes/rust/Cargo.toml	34
TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/smithygenerated/aws_cryptography_encryptionsdk/__init__.py	1
TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/smithygenerated/aws_cryptography_encryptionsdk/shim.py	56
TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/__init__.py	4
TestVectors/runtimes/python/pyproject.toml	24
TestVectors/runtimes/go/TestsFromDafny-go/TestWrappedESDKMain/extern.go	13
TestVectors/runtimes/go/ImplementationFromDafny-go/WrappedESDK/extern.go	9
TestVectors/runtimes/net/Generated/TestVectors/TypeConversion.cs	453
TestVectors/runtimes/net/Generated/TestVectors/AwsEncryptionSdkShim.cs	69
TestVectors/runtimes/net/Extern/WrappedESDK.cs	23
cfn/CI.yaml	169
AwsEncryptionSDK/runtimes/java/build.gradle.kts	56
AwsEncryptionSDK/runtimes/java/src/main/java/software/amazon/cryptography/encryptionsdk/internaldafny/types/__default.java	3
AwsEncryptionSDK/runtimes/java/src/main/java/software/amazon/cryptography/encryptionsdk/internaldafny/__default.java	3
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptOutput.java	89
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java	66
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkConfig.java	81
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptInput.java	147
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/NetV4_0_0_RetryPolicy.java	12
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java	77
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java	98
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptInput.java	101
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptOutput.java	89
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java	99
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ESDK.java	87
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java	320
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java	250
AwsEncryptionSDK/runtimes/java/settings.gradle.kts	2
AwsEncryptionSDK/runtimes/rust/src/lib.rs	54
AwsEncryptionSDK/runtimes/rust/Cargo.toml	33
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/client.py	235
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/errors.py	200
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_protocol.py	19
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/__init__.py	1
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/plugin.py	24
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/serialize.py	17
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafnyImplInterface.py	15
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/config.py	92
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py	156
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py	212
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/deserialize.py	64
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py	278
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/__init__.py	1
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/internaldafny/__init__.py	1
AwsEncryptionSDK/runtimes/python/pyproject.toml	33
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go	19
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go	12
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go	138
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go	12
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go	35
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go	54
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go	346
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go	353
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go	19
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go	12
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go	138
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go	12
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go	35
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go	54
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go	346
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go	353
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/AwsEncryptionSdkException.cs	10
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs	451
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/AwsEncryptionSdkConfig.cs	49
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/NetV4_0_0_RetryPolicy.cs	15
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/EncryptInput.cs	85
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/CollectionOfErrors.cs	20
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/OpaqueError.cs	12
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/EncryptOutput.cs	44
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/OpaqueWithTextError.cs	13
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/ESDK.cs	41
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/DecryptOutput.cs	44
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/DecryptInput.cs	52
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/TestVectors.cs	239
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorGenerator/Generator.cs	182
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/TestVectorTypes.cs	179
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/Utils.cs	92
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs	267
AwsEncryptionSDK/runtimes/net/runsettings.xml	15
AwsEncryptionSDK/codebuild/release/signing_lib.py	140
AwsEncryptionSDK/codebuild/release/upload_assembly.py	4
AwsEncryptionSDK/codebuild/release/retrieve_signed_assembly.py	4
AwsEncryptionSDK/codebuild/release/retrieve_api_access_key.py	4