StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/crt.py (5 lines):
	- line 76: # TODO: update back pressure window once CRT supports it
	- line 88: # TODO: update backpressure window once CRT supports it
	- line 127: # TODO: See how CRT exposes reason.
	- line 216: # TODO: Use CRT connection pooling instead of this basic kind
	- line 235: # TODO: Support TLS configuration, including alpn


StandardLibrary/runtimes/python/pyproject.toml (2 lines):
	- line 8: # TODO: Depend on PyPi once Smithy-Python publishes their Python package there
	- line 20: # TODO: Longer-term, write something to pull this in from the project's project.properties file


AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go (2 lines):
	- line 311: //TODO: Fix this
	- line 318: // TODO: Check the key bytes in Dafny and ensure it's a valid infinity/out-of-bounds key by running it through Java / NET


releases/go/primitives/ECDH/externs.go (2 lines):
	- line 311: //TODO: Fix this
	- line 318: // TODO: Check the key bytes in Dafny and ensure it's a valid infinity/out-of-bounds key by running it through Java / NET


StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/__init__.py (1 line):
	- line 14: # TODO: move all of this out of _private


TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/client.py (1 line):
	- line 273: # TODO: Determine the error type.


StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/utils.py (1 line):
	- line 58: # TODO: add limited bounds checking


releases/go/smithy-dafny-standard-library/FileIO/externs.go (1 line):
	- line 12: // TODO: Drop this once we fix the DafnyLibraries.FileIO extern


AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go (1 line):
	- line 64: //TODO: This is potentially risky. Java is doing this, but not Rust.


AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/ECCUtils.java (1 line):
	- line 158: // TODO SM2


AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/client.py (1 line):
	- line 615: # TODO: Determine the error type.


AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/client.py (1 line):
	- line 311: # TODO: Determine the error type.


StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go (1 line):
	- line 12: // TODO: Drop this once we fix the DafnyLibraries.FileIO extern


ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java (1 line):
	- line 4786: // TODO This should indicate a codegen bug; every error Should have been taken care of.


ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java (1 line):
	- line 8818: // TODO This should indicate a codegen bug; every error Should have been taken care of.


TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/TestWrappedMaterialProvidersMain/extern.go (1 line):
	- line 9: // TODO: Remove this once Dafny bug is fixed.


AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/client.py (1 line):
	- line 753: # TODO: Determine the error type.


releases/go/primitives/Signature/externs.go (1 line):
	- line 64: //TODO: This is potentially risky. Java is doing this, but not Rust.