diff --git a/Cargo.toml b/Cargo.toml
index 199d15005d..dcb2f58ac4 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -28,7 +28,7 @@ derive_more = { version = "1", features = ["from", "debug"] }
 thiserror = "1.0.59"
 url = { version = "2.5.0", features = ["serde"] }
 convert_case = "0.6.0"
-tailcall-valid = "0.1.1"
+tailcall-valid = "0.1.3"
 
 [dependencies]
 # dependencies specific to CLI must have optional = true and the dep should be added to default feature.
diff --git a/src/core/blueprint/operators/enum_alias.rs b/src/core/blueprint/operators/enum_alias.rs
index 9ad1c83595..9e6ccbb057 100644
--- a/src/core/blueprint/operators/enum_alias.rs
+++ b/src/core/blueprint/operators/enum_alias.rs
@@ -19,7 +19,7 @@ pub fn update_enum_alias<'a>() -> TryFold<
             let enum_type = config.enums.get(field.type_of.name());
             if let Some(enum_type) = enum_type {
                 let has_alias = enum_type.variants.iter().any(|v| v.alias.is_some());
-                if !has_alias {
+                if (!has_alias) {
                     return Valid::succeed(b_field);
                 }
                 let mut map = HashMap::<String, String>::new();
diff --git a/src/core/config/transformer/rename_types.rs b/src/core/config/transformer/rename_types.rs
index 26d9b599c9..5e70630156 100644
--- a/src/core/config/transformer/rename_types.rs
+++ b/src/core/config/transformer/rename_types.rs
@@ -133,7 +133,7 @@ impl Transform for RenameTypes {
                     .collect();
             }
 
-            config
+            Valid::succeed(config)
         })
     }
 }
diff --git a/src/core/generator/proto/connect_rpc.rs b/src/core/generator/proto/connect_rpc.rs
index 4363631e2c..cb7f2f31c1 100644
--- a/src/core/generator/proto/connect_rpc.rs
+++ b/src/core/generator/proto/connect_rpc.rs
@@ -26,7 +26,7 @@ impl Transform for ConnectRPC {
             }
         }
 
-        Valid::succeed(config)
+        Valid::success(config)
     }
 }
 
diff --git a/src/core/jit/transform/auth_planner.rs b/src/core/jit/transform/auth_planner.rs
index ba725aa222..0be9b7b00a 100644
--- a/src/core/jit/transform/auth_planner.rs
+++ b/src/core/jit/transform/auth_planner.rs
@@ -33,7 +33,7 @@ impl<A: Debug> Transform for AuthPlanner<A> {
             .reduce(|a, b| a.and(b))
             .map(|auth| IR::Protect(auth, Box::new(IR::Dynamic(DynamicValue::default()))));
 
-        Valid::succeed(plan)
+        Valid::ok(plan)
     }
 }
 
diff --git a/src/core/jit/transform/check_cache.rs b/src/core/jit/transform/check_cache.rs
index 5839261d29..a085ab1ac1 100644
--- a/src/core/jit/transform/check_cache.rs
+++ b/src/core/jit/transform/check_cache.rs
@@ -49,6 +49,6 @@ impl<A> Transform for CheckCache<A> {
 
         plan.min_cache_ttl = ttl;
 
-        Valid::succeed(plan)
+        Valid::ok(plan)
     }
 }
diff --git a/src/core/jit/transform/check_const.rs b/src/core/jit/transform/check_const.rs
index 6b6cb95822..b32cf1578b 100644
--- a/src/core/jit/transform/check_const.rs
+++ b/src/core/jit/transform/check_const.rs
@@ -44,6 +44,6 @@ impl<A> Transform for CheckConst<A> {
 
         plan.is_const = is_const;
 
-        Valid::succeed(plan)
+        Valid::ok(plan)
     }
 }
diff --git a/src/core/jit/transform/check_dedupe.rs b/src/core/jit/transform/check_dedupe.rs
index 82870333b1..67d6438f8e 100644
--- a/src/core/jit/transform/check_dedupe.rs
+++ b/src/core/jit/transform/check_dedupe.rs
@@ -46,6 +46,6 @@ impl<A> Transform for CheckDedupe<A> {
 
         plan.is_dedupe = dedupe;
 
-        Valid::succeed(plan)
+        Valid::ok(plan)
     }
 }
diff --git a/src/core/jit/transform/check_protected.rs b/src/core/jit/transform/check_protected.rs
index c2c86a8a04..0be7477fe1 100644
--- a/src/core/jit/transform/check_protected.rs
+++ b/src/core/jit/transform/check_protected.rs
@@ -42,6 +42,6 @@ impl<A> Transform for CheckProtected<A> {
             None => true,
         });
 
-        Valid::succeed(plan)
+        Valid::ok(plan)
     }
 }
diff --git a/src/core/jit/transform/skip.rs b/src/core/jit/transform/skip.rs
index 0ecd315515..c687d4bae6 100644
--- a/src/core/jit/transform/skip.rs
+++ b/src/core/jit/transform/skip.rs
@@ -30,7 +30,7 @@ where
         let variables: &Variables<Var> = self.variables;
         skip(&mut plan.selection, variables);
 
-        Valid::succeed(plan)
+        Valid::ok(plan)
     }
 }
 
diff --git a/src/core/variance.rs b/src/core/variance.rs
index e45f38384d..6a7adbf4d6 100644
--- a/src/core/variance.rs
+++ b/src/core/variance.rs
@@ -61,6 +61,6 @@ pub trait Covariant: Sized {
 /// of the type.
 impl<A: Primitive + Sized> Invariant for A {
     fn unify(self, other: Self) -> Valid<Self, String> {
-        Valid::succeed(self.merge_right(other))
+        Valid::ok(self.merge_right(other))
     }
 }