diff --git a/.github/workflows/library_go_tests.yml b/.github/workflows/library_go_tests.yml
index 4ed1ccbd04..cfaa5b69fc 100644
--- a/.github/workflows/library_go_tests.yml
+++ b/.github/workflows/library_go_tests.yml
@@ -95,6 +95,13 @@ jobs:
         run: |
           make purge_polymorph_code
 
+      - name: Use latest minor or patch releases
+        if: github.event_name == 'schedule'
+        working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go
+        shell: bash
+        run: |
+          go get -u ./...
+
       - name: Test ${{ matrix.library }}
         working-directory: ./${{ matrix.library }}
         shell: bash
diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml
index 930e3a9ebd..8eeb3a1a98 100644
--- a/.github/workflows/library_interop_tests.yml
+++ b/.github/workflows/library_interop_tests.yml
@@ -182,6 +182,13 @@ jobs:
         run: |
           make purge_polymorph_code
 
+      - name: Use latest minor or patch releases
+        if: matrix.language == 'go' && github.event_name == 'schedule'
+        working-directory: ./${{ matrix.library }}/runtimes/go/TestsFromDafny-go
+        shell: bash
+        run: |
+          go get -u ./...
+
       - name: Setup gradle
         if: matrix.language == 'java'
         uses: gradle/gradle-build-action@v2
diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
index 3ab8dabe8c..b1f420b169 100644
--- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
+++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -34,10 +34,9 @@ require (
 )
 
 replace (
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
-
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 )
 
-replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
index b07528776c..6bc100446b 100644
--- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
+++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,16 +2,15 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/m
 
 go 1.23.0
 
-replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../ImplementationFromDafny-go
 
 replace (
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
-
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../ImplementationFromDafny-go
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 )
 
-replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 
 require (
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0
diff --git a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod
index 2b2b9fbb96..19da224bc9 100644
--- a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod
+++ b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,7 +2,7 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/p
 
 go 1.23.0
 
-replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../ImplementationFromDafny-go
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../ImplementationFromDafny-go
 
 require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
 
diff --git a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod
index 7be7ab8d51..3c5c84fb8c 100644
--- a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod
+++ b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,11 +2,11 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/s
 
 go 1.23.0
 
-replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 => ../ImplementationFromDafny-go
+replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../ImplementationFromDafny-go
 
 require (
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
-	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
+	github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1
 )
 
 require github.com/google/uuid v1.6.0 // indirect
diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
index 82d07ede5c..e5088609a5 100644
--- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
+++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod
@@ -3,10 +3,10 @@ module github.com/aws/aws-cryptographic-material-providers-library/testvectors
 go 1.23.2
 
 replace (
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
 )
 
diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
index 166ea60228..72d716b822 100644
--- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
+++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod
@@ -3,12 +3,12 @@ module github.com/aws/aws-cryptographic-material-providers-library/testvectors/t
 go 1.23.2
 
 replace (
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
+	github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
 	github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/
-	github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0 => ../ImplementationFromDafny-go
+	github.com/aws/aws-cryptographic-material-providers-library/testvectors => ../ImplementationFromDafny-go
 )
 
 require (