diff --git a/program_methods/guest/src/bin/privacy_preserving_circuit/execution_state.rs b/program_methods/guest/src/bin/privacy_preserving_circuit/execution_state.rs
index 4577fd85..aad1bc1c 100644
--- a/program_methods/guest/src/bin/privacy_preserving_circuit/execution_state.rs
+++ b/program_methods/guest/src/bin/privacy_preserving_circuit/execution_state.rs
@@ -397,6 +397,10 @@ impl ExecutionState {
     /// (recorded during `derive_from_outputs`), and an iterator over pre and post states of each
     /// account involved in the execution. Returning everything together keeps the
     /// fields module-private rather than forcing them visible to downstream consumers.
+    #[expect(
+        clippy::type_complexity,
+        reason = "tuple bundles four exit values from one consuming call so all fields stay private; a struct would only rename it"
+    )]
     pub fn into_parts(
         mut self,
     ) -> (