diff --git a/go.mod b/go.mod
index 508acb3..2ae40d7 100644
--- a/go.mod
+++ b/go.mod
@@ -7,10 +7,10 @@ require (
 	github.com/google/go-cmp v0.7.0
 	github.com/spf13/cobra v1.10.2
 	github.com/spf13/viper v1.21.0
-	go.thesmos.sh/eidos v1.2.0
+	go.thesmos.sh/eidos v1.3.0
 	go.thesmos.sh/eidos/backend/golang v1.2.0
 	go.thesmos.sh/eidos/cli v1.2.0
-	go.thesmos.sh/eidos/frontend/golang v1.2.0
+	go.thesmos.sh/eidos/frontend/golang v1.3.0
 	golang.org/x/tools v0.45.0
 	pgregory.net/rapid v1.3.0
 )
diff --git a/go.sum b/go.sum
index e49fed0..7aad7ba 100644
--- a/go.sum
+++ b/go.sum
@@ -45,16 +45,16 @@ github.com/stretchr/testify v1.11.1 h1:7s2iGBzp5EwR7/aIZr8ao5+dra3wiQyKjjFuvgVKu
 github.com/stretchr/testify v1.11.1/go.mod h1:wZwfW3scLgRK+23gO65QZefKpKQRnfz6sD981Nm4B6U=
 github.com/subosito/gotenv v1.6.0 h1:9NlTDc1FTs4qu0DDq7AEtTPNw6SVm7uBMsUCUjABIf8=
 github.com/subosito/gotenv v1.6.0/go.mod h1:Dk4QP5c2W3ibzajGcXpNraDfq2IrhjMIvMSWPKKo0FU=
-go.thesmos.sh/eidos v1.2.0 h1:1mEg7A05owToSsZYAQ4FupuAwmWPUfL/MHdnYAX+Hy0=
-go.thesmos.sh/eidos v1.2.0/go.mod h1:9wEqiy2rG8zJ/9r0ehG+8k6apyFjvSMYWux1m75X0/U=
+go.thesmos.sh/eidos v1.3.0 h1:bGcSZoA4DFflQ1rq1E35+AXK3L0rqEqlsbi4NDg+qxw=
+go.thesmos.sh/eidos v1.3.0/go.mod h1:9wEqiy2rG8zJ/9r0ehG+8k6apyFjvSMYWux1m75X0/U=
 go.thesmos.sh/eidos/backend/golang v1.2.0 h1:rZAMuWtGAORtZHRkSwRHATK2XmlmWuuQ1fx1VrZSHaE=
 go.thesmos.sh/eidos/backend/golang v1.2.0/go.mod h1:iSN1mkTf6DXrGLZYaXSE11NxEaKfYVmjdvorXaMtH+8=
 go.thesmos.sh/eidos/cli v1.2.0 h1:2oQda46F5xnzy/nfIY2XsUuoOsIBn0Adx1zgmqcV+vE=
 go.thesmos.sh/eidos/cli v1.2.0/go.mod h1:yCsBx2ZfUbIvNkLuqurdZ8I3E2jEl9gLPge7fhcv054=
-go.thesmos.sh/eidos/eidostest v1.2.0 h1:tcWt/k8C6i0+le3Rf2YYG7n7nkqPVfXOcOy9DeSVpQo=
-go.thesmos.sh/eidos/eidostest v1.2.0/go.mod h1:o54O5cOUhgWWza6zSZTI5TgHE0VPNNe/1Th8JNdtJeE=
-go.thesmos.sh/eidos/frontend/golang v1.2.0 h1:Lydgn38h0Fz1EPS1zxJBdknXomqpfoQpkN7cjF61pvM=
-go.thesmos.sh/eidos/frontend/golang v1.2.0/go.mod h1:gDtICfIXvzbvU9ydc5S7NRj2CE57QnRrOonQVJyGwrM=
+go.thesmos.sh/eidos/eidostest v1.3.0 h1:d1anpmv+6gbfgTI2WvM2pbjlUuJ8FSFwN72U8L3YxCo=
+go.thesmos.sh/eidos/eidostest v1.3.0/go.mod h1:DMTWJl/FhEdu+aKIZXQDYYbx0/Yyfrn7Vm37/ZVlxQA=
+go.thesmos.sh/eidos/frontend/golang v1.3.0 h1:8c6MjPySAOzZiYd6bWP7rJFEMiR20XAIZJCchj1DChU=
+go.thesmos.sh/eidos/frontend/golang v1.3.0/go.mod h1:bGjQaWdWeg5LOJ71wpOSAv+fjv/f0Yb6biHr6ARlWrM=
 go.yaml.in/yaml/v3 v3.0.4 h1:tfq32ie2Jv2UxXFdLJdh3jXuOzWiL1fo0bu/FbuKpbc=
 go.yaml.in/yaml/v3 v3.0.4/go.mod h1:DhzuOOF2ATzADvBadXxruRBLzYTpT36CKvDb3+aBEFg=
 golang.org/x/mod v0.36.0 h1:JJjpVx6myfUsUdAzZuOSTTmRE0PfZeNWzzvKrP7amb4=