diff --git a/framework/base/src/types/interaction/tx_call_deploy.rs b/framework/base/src/types/interaction/tx_call_deploy.rs
index de2e943563..c5f948ea32 100644
--- a/framework/base/src/types/interaction/tx_call_deploy.rs
+++ b/framework/base/src/types/interaction/tx_call_deploy.rs
@@ -9,87 +9,16 @@ use crate::{
 
 use super::{
     contract_call_exec::decode_result, Code, ConsNoRet, ConsRet, DeployCall, FromSource,
-    OriginalResultMarker, RHList, RHListItem, Tx, TxCodeValue, TxEmptyResultHandler, TxEnv,
-    TxFromSourceValue, TxGas, TxPaymentEgldOnly, TxResultHandler, TxScEnv,
+    OriginalResultMarker, RHList, RHListExec, RHListItem, Tx, TxCodeValue, TxEmptyResultHandler,
+    TxEnv, TxFromSourceValue, TxGas, TxPaymentEgldOnly, TxResultHandler, TxScEnv,
 };
 
-pub trait RHListItemDeploy<Env, Original>: RHListItem<Env, Original>
+pub struct DeployRawResult<Api>
 where
-    Env: TxEnv,
-{
-    fn item_deploy_result(
-        self,
-        new_address: &ManagedAddress<Env::Api>,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns;
-}
-
-pub trait RHListDeploy<Env>: RHList<Env>
-where
-    Env: TxEnv,
-{
-    fn list_deploy_result(
-        self,
-        new_address: &ManagedAddress<Env::Api>,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns;
-}
-
-impl<Env> RHListDeploy<Env> for ()
-where
-    Env: TxEnv,
-{
-    fn list_deploy_result(
-        self,
-        _new_address: &ManagedAddress<Env::Api>,
-        _raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns {
-    }
-}
-
-impl<Env, O> RHListDeploy<Env> for OriginalResultMarker<O>
-where
-    Env: TxEnv,
-{
-    fn list_deploy_result(
-        self,
-        _new_address: &ManagedAddress<Env::Api>,
-        _raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns {
-    }
-}
-
-impl<Env, Head, Tail> RHListDeploy<Env> for ConsRet<Env, Head, Tail>
-where
-    Env: TxEnv,
-    Head: RHListItemDeploy<Env, Tail::OriginalResult>,
-    Tail: RHListDeploy<Env>,
-{
-    fn list_deploy_result(
-        self,
-        new_address: &ManagedAddress<Env::Api>,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns {
-        let head_result = self.head.item_deploy_result(new_address, raw_results);
-        let tail_result = self.tail.list_deploy_result(new_address, raw_results);
-        (head_result, tail_result)
-    }
-}
-
-impl<Env, Head, Tail> RHListDeploy<Env> for ConsNoRet<Env, Head, Tail>
-where
-    Env: TxEnv,
-    Head: RHListItemDeploy<Env, Tail::OriginalResult, Returns = ()>,
-    Tail: RHListDeploy<Env>,
+    Api: CallTypeApi,
 {
-    fn list_deploy_result(
-        self,
-        new_address: &ManagedAddress<Env::Api>,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns {
-        self.head.item_deploy_result(new_address, raw_results);
-        self.tail.list_deploy_result(new_address, raw_results)
-    }
+    pub new_address: ManagedAddress<Api>,
+    pub raw_results: ManagedVec<Api, ManagedBuffer<Api>>,
 }
 
 impl<Api, Payment, Gas, CodeValue, RH>
@@ -165,14 +94,18 @@ where
     Payment: TxPaymentEgldOnly<TxScEnv<Api>>,
     Gas: TxGas<TxScEnv<Api>>,
     CodeValue: TxCodeValue<TxScEnv<Api>>,
-    RH: RHListDeploy<TxScEnv<Api>>,
+    RH: RHListExec<DeployRawResult<Api>, TxScEnv<Api>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     /// Synchronously deploys a contract.
     pub fn sync_call(self) -> <RH::ListReturns as NestedTupleFlatten>::Unpacked {
         let (new_address, raw_results, result_handler) = self.execute_deploy_raw();
 
-        let tuple_result = result_handler.list_deploy_result(&new_address, &raw_results);
+        let deploy_raw_result = DeployRawResult {
+            new_address,
+            raw_results,
+        };
+        let tuple_result = result_handler.list_process_result(&deploy_raw_result);
         tuple_result.flatten_unpack()
     }
 }
@@ -192,14 +125,18 @@ where
     Payment: TxPaymentEgldOnly<TxScEnv<Api>>,
     Gas: TxGas<TxScEnv<Api>>,
     FromSourceValue: TxFromSourceValue<TxScEnv<Api>>,
-    RH: RHListDeploy<TxScEnv<Api>>,
+    RH: RHListExec<DeployRawResult<Api>, TxScEnv<Api>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     /// Synchronously deploys a contract from source.
     pub fn sync_call(self) -> <RH::ListReturns as NestedTupleFlatten>::Unpacked {
         let (new_address, raw_results, result_handler) = self.execute_deploy_from_source_raw();
 
-        let tuple_result = result_handler.list_deploy_result(&new_address, &raw_results);
+        let deploy_raw_result = DeployRawResult {
+            new_address,
+            raw_results,
+        };
+        let tuple_result = result_handler.list_process_result(&deploy_raw_result);
         tuple_result.flatten_unpack()
     }
 }
diff --git a/framework/base/src/types/interaction/tx_call_sync.rs b/framework/base/src/types/interaction/tx_call_sync.rs
index 61c73a7b0c..9e45d09875 100644
--- a/framework/base/src/types/interaction/tx_call_sync.rs
+++ b/framework/base/src/types/interaction/tx_call_sync.rs
@@ -9,81 +9,13 @@ use crate::{
 
 use super::{
     contract_call_exec::decode_result, BackTransfers, ConsNoRet, ConsRet, OriginalResultMarker,
-    RHList, RHListItem, Tx, TxDataFunctionCall, TxEnv, TxGas, TxPayment, TxScEnv, TxToSpecified,
+    RHList, RHListExec, RHListItem, Tx, TxDataFunctionCall, TxEnv, TxGas, TxPayment, TxScEnv,
+    TxToSpecified,
 };
 
-pub trait RHListItemSync<Env, Original>: RHListItem<Env, Original>
+pub struct SyncCallRawResult<Api>(pub ManagedVec<Api, ManagedBuffer<Api>>)
 where
-    Env: TxEnv,
-{
-    fn item_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns;
-}
-
-pub trait RHListSync<Env>: RHList<Env>
-where
-    Env: TxEnv,
-{
-    fn list_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns;
-}
-
-impl<Env> RHListSync<Env> for ()
-where
-    Env: TxEnv,
-{
-    fn list_sync_call_result(
-        self,
-        _raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns {
-    }
-}
-
-impl<Env, O> RHListSync<Env> for OriginalResultMarker<O>
-where
-    Env: TxEnv,
-{
-    fn list_sync_call_result(
-        self,
-        _raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns {
-    }
-}
-
-impl<Env, Head, Tail> RHListSync<Env> for ConsRet<Env, Head, Tail>
-where
-    Env: TxEnv,
-    Head: RHListItemSync<Env, Tail::OriginalResult>,
-    Tail: RHListSync<Env>,
-{
-    fn list_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns {
-        let head_result = self.head.item_sync_call_result(raw_results);
-        let tail_result = self.tail.list_sync_call_result(raw_results);
-        (head_result, tail_result)
-    }
-}
-
-impl<Env, Head, Tail> RHListSync<Env> for ConsNoRet<Env, Head, Tail>
-where
-    Env: TxEnv,
-    Head: RHListItemSync<Env, Tail::OriginalResult, Returns = ()>,
-    Tail: RHListSync<Env>,
-{
-    fn list_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::ListReturns {
-        self.head.item_sync_call_result(raw_results);
-        self.tail.list_sync_call_result(raw_results)
-    }
-}
+    Api: CallTypeApi;
 
 impl<Api, To, Payment, Gas, FC, RH> Tx<TxScEnv<Api>, (), To, Payment, Gas, FC, RH>
 where
@@ -92,7 +24,7 @@ where
     Payment: TxPayment<TxScEnv<Api>>,
     Gas: TxGas<TxScEnv<Api>>,
     FC: TxDataFunctionCall<TxScEnv<Api>>,
-    RH: RHListSync<TxScEnv<Api>>,
+    RH: RHListExec<SyncCallRawResult<Api>, TxScEnv<Api>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     fn execute_sync_call_raw(self) -> (ManagedVec<Api, ManagedBuffer<Api>>, RH) {
@@ -121,8 +53,8 @@ where
 
     pub fn sync_call(self) -> <RH::ListReturns as NestedTupleFlatten>::Unpacked {
         let (raw_result, result_handler) = self.execute_sync_call_raw();
-
-        let tuple_result = result_handler.list_sync_call_result(&raw_result);
+        let sync_raw_result = SyncCallRawResult(raw_result);
+        let tuple_result = result_handler.list_process_result(&sync_raw_result);
         tuple_result.flatten_unpack()
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list.rs b/framework/base/src/types/interaction/tx_rh_list.rs
index 2cf4743ef2..4e0bb4327c 100644
--- a/framework/base/src/types/interaction/tx_rh_list.rs
+++ b/framework/base/src/types/interaction/tx_rh_list.rs
@@ -4,6 +4,7 @@ mod returns_new_address;
 mod returns_raw;
 mod returns_similar;
 mod tx_rh_list_cons;
+mod tx_rh_list_exec;
 mod tx_rh_list_item;
 mod with_result_exact;
 mod with_result_new_address;
@@ -16,6 +17,7 @@ pub use returns_new_address::*;
 pub use returns_raw::*;
 pub use returns_similar::*;
 pub use tx_rh_list_cons::*;
+pub use tx_rh_list_exec::*;
 pub use tx_rh_list_item::*;
 pub use with_result_new_address::*;
 pub use with_result_similar::*;
diff --git a/framework/base/src/types/interaction/tx_rh_list/returns_bt.rs b/framework/base/src/types/interaction/tx_rh_list/returns_bt.rs
index 1f1be042e5..ceda028bcd 100644
--- a/framework/base/src/types/interaction/tx_rh_list/returns_bt.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/returns_bt.rs
@@ -1,12 +1,9 @@
 use crate::{
     contract_base::BlockchainWrapper,
-    types::{
-        interaction::tx_call_deploy::RHListItemDeploy, BackTransfers, ManagedAddress,
-        ManagedBuffer, ManagedVec, RHListItemSync, TxEnv,
-    },
+    types::{BackTransfers, ManagedAddress, ManagedBuffer, ManagedVec, TxEnv},
 };
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct ReturnsBackTransfers;
 
@@ -17,27 +14,11 @@ where
     type Returns = BackTransfers<Env::Api>;
 }
 
-impl<Env, Original> RHListItemSync<Env, Original> for ReturnsBackTransfers
+impl<RawResult, Env, Original> RHListItemExec<RawResult, Env, Original> for ReturnsBackTransfers
 where
     Env: TxEnv,
 {
-    fn item_sync_call_result(
-        self,
-        _raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        BlockchainWrapper::<Env::Api>::new().get_back_transfers()
-    }
-}
-
-impl<Env, Original> RHListItemDeploy<Env, Original> for ReturnsBackTransfers
-where
-    Env: TxEnv,
-{
-    fn item_deploy_result(
-        self,
-        _new_address: &ManagedAddress<Env::Api>,
-        _raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
+    fn item_process_result(self, _raw_result: &RawResult) -> Self::Returns {
         BlockchainWrapper::<Env::Api>::new().get_back_transfers()
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list/returns_exact.rs b/framework/base/src/types/interaction/tx_rh_list/returns_exact.rs
index edbc82144d..87a25f0fb2 100644
--- a/framework/base/src/types/interaction/tx_rh_list/returns_exact.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/returns_exact.rs
@@ -1,11 +1,11 @@
 use multiversx_sc_codec::TopDecodeMulti;
 
-use crate::types::{
-    interaction::contract_call_exec::decode_result, ManagedBuffer, ManagedVec, RHListItemSync,
-    TxEnv,
+use crate::{
+    proxy_imports::SyncCallRawResult,
+    types::{interaction::contract_call_exec::decode_result, ManagedBuffer, ManagedVec, TxEnv},
 };
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct ReturnsExact;
 
@@ -16,15 +16,12 @@ where
     type Returns = Original;
 }
 
-impl<Env, Original> RHListItemSync<Env, Original> for ReturnsExact
+impl<Env, Original> RHListItemExec<SyncCallRawResult<Env::Api>, Env, Original> for ReturnsExact
 where
     Env: TxEnv,
     Original: TopDecodeMulti,
 {
-    fn item_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        decode_result::<Env::Api, Original>(raw_results.clone())
+    fn item_process_result(self, raw_result: &SyncCallRawResult<Env::Api>) -> Original {
+        decode_result::<Env::Api, Original>(raw_result.0.clone())
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list/returns_new_address.rs b/framework/base/src/types/interaction/tx_rh_list/returns_new_address.rs
index c9c271e2dd..2b1b9ccad4 100644
--- a/framework/base/src/types/interaction/tx_rh_list/returns_new_address.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/returns_new_address.rs
@@ -1,8 +1,6 @@
-use crate::types::{
-    interaction::tx_call_deploy::RHListItemDeploy, ManagedAddress, ManagedBuffer, ManagedVec, TxEnv,
-};
+use crate::types::{DeployRawResult, ManagedAddress, ManagedBuffer, ManagedVec, TxEnv};
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct ReturnsNewAddress;
 
@@ -13,15 +11,11 @@ where
     type Returns = ManagedAddress<Env::Api>;
 }
 
-impl<Env, Original> RHListItemDeploy<Env, Original> for ReturnsNewAddress
+impl<Env, Original> RHListItemExec<DeployRawResult<Env::Api>, Env, Original> for ReturnsNewAddress
 where
     Env: TxEnv,
 {
-    fn item_deploy_result(
-        self,
-        new_address: &ManagedAddress<Env::Api>,
-        _raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        new_address.clone()
+    fn item_process_result(self, raw_result: &DeployRawResult<Env::Api>) -> Self::Returns {
+        raw_result.new_address.clone()
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list/returns_raw.rs b/framework/base/src/types/interaction/tx_rh_list/returns_raw.rs
index 5f709c04a6..d1b501d77c 100644
--- a/framework/base/src/types/interaction/tx_rh_list/returns_raw.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/returns_raw.rs
@@ -1,9 +1,9 @@
-use crate::types::{
-    interaction::tx_call_deploy::RHListItemDeploy, ManagedAddress, ManagedBuffer, ManagedVec,
-    RHListItemSync, TxEnv,
+use crate::{
+    proxy_imports::SyncCallRawResult,
+    types::{DeployRawResult, ManagedAddress, ManagedBuffer, ManagedVec, TxEnv},
 };
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct ReturnsRaw;
 
@@ -14,27 +14,20 @@ where
     type Returns = ManagedVec<Env::Api, ManagedBuffer<Env::Api>>;
 }
 
-impl<Env, Original> RHListItemSync<Env, Original> for ReturnsRaw
+impl<Env, Original> RHListItemExec<SyncCallRawResult<Env::Api>, Env, Original> for ReturnsRaw
 where
     Env: TxEnv,
 {
-    fn item_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        raw_results.clone()
+    fn item_process_result(self, raw_result: &SyncCallRawResult<Env::Api>) -> Self::Returns {
+        raw_result.0.clone()
     }
 }
 
-impl<Env, Original> RHListItemDeploy<Env, Original> for ReturnsRaw
+impl<Env, Original> RHListItemExec<DeployRawResult<Env::Api>, Env, Original> for ReturnsRaw
 where
     Env: TxEnv,
 {
-    fn item_deploy_result(
-        self,
-        _new_address: &ManagedAddress<Env::Api>,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        raw_results.clone()
+    fn item_process_result(self, raw_result: &DeployRawResult<Env::Api>) -> Self::Returns {
+        raw_result.raw_results.clone()
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list/returns_similar.rs b/framework/base/src/types/interaction/tx_rh_list/returns_similar.rs
index 1233a9bae0..adfb2f3bdb 100644
--- a/framework/base/src/types/interaction/tx_rh_list/returns_similar.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/returns_similar.rs
@@ -3,11 +3,11 @@ use core::marker::PhantomData;
 use multiversx_sc_codec::{CodecFrom, TopEncodeMulti};
 
 use crate::types::{
-    interaction::contract_call_exec::decode_result, ManagedBuffer, ManagedVec, RHListItemSync,
+    interaction::contract_call_exec::decode_result, ManagedBuffer, ManagedVec, SyncCallRawResult,
     TxEnv,
 };
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct ReturnsSimilar<T> {
     _phantom: PhantomData<T>,
@@ -36,16 +36,14 @@ where
     type Returns = T;
 }
 
-impl<Env, Original, T> RHListItemSync<Env, Original> for ReturnsSimilar<T>
+impl<Env, Original, T> RHListItemExec<SyncCallRawResult<Env::Api>, Env, Original>
+    for ReturnsSimilar<T>
 where
     Env: TxEnv,
     Original: TopEncodeMulti,
     T: CodecFrom<Original>,
 {
-    fn item_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        decode_result::<Env::Api, T>(raw_results.clone())
+    fn item_process_result(self, raw_result: &SyncCallRawResult<Env::Api>) -> Self::Returns {
+        decode_result::<Env::Api, T>(raw_result.0.clone())
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list/tx_rh_list_exec.rs b/framework/base/src/types/interaction/tx_rh_list/tx_rh_list_exec.rs
new file mode 100644
index 0000000000..cc39d08561
--- /dev/null
+++ b/framework/base/src/types/interaction/tx_rh_list/tx_rh_list_exec.rs
@@ -0,0 +1,68 @@
+use crate::{proxy_imports::OriginalResultMarker, types::TxEnv};
+
+use super::{ConsNoRet, ConsRet, RHList, RHListItem};
+
+/// Indicates how result processing will undergo for one specific result handler.
+///
+/// Note that the `ResultType` needs to be the first generic type in the definition,
+/// so we can add new implementations of the same result handlers for new raw result types in subsequent crates.
+pub trait RHListItemExec<RawResult, Env, Original>: RHListItem<Env, Original>
+where
+    Env: TxEnv,
+{
+    fn item_process_result(self, raw_result: &RawResult) -> Self::Returns;
+}
+
+impl<RawResult, Env, Original> RHListItemExec<RawResult, Env, Original> for ()
+where
+    Env: TxEnv,
+{
+    fn item_process_result(self, _raw_result: &RawResult) -> Self::Returns {}
+}
+
+/// Indicates how result processing will undergo for an ensemble of result handlers.
+pub trait RHListExec<RawResult, Env>: RHList<Env>
+where
+    Env: TxEnv,
+{
+    fn list_process_result(self, raw_result: &RawResult) -> Self::ListReturns;
+}
+
+impl<RawResult, Env> RHListExec<RawResult, Env> for ()
+where
+    Env: TxEnv,
+{
+    fn list_process_result(self, _raw_result: &RawResult) -> Self::ListReturns {}
+}
+
+impl<RawResult, Env, O> RHListExec<RawResult, Env> for OriginalResultMarker<O>
+where
+    Env: TxEnv,
+{
+    fn list_process_result(self, _raw_result: &RawResult) -> Self::ListReturns {}
+}
+
+impl<RawResult, Env, Head, Tail> RHListExec<RawResult, Env> for ConsRet<Env, Head, Tail>
+where
+    Env: TxEnv,
+    Head: RHListItemExec<RawResult, Env, Tail::OriginalResult>,
+    Tail: RHListExec<RawResult, Env>,
+{
+    fn list_process_result(self, raw_result: &RawResult) -> Self::ListReturns {
+        let head_result = self.head.item_process_result(raw_result);
+        let tail_result = self.tail.list_process_result(raw_result);
+        (head_result, tail_result)
+    }
+}
+
+impl<RawResult, Env, Head, Tail> RHListExec<RawResult, Env> for ConsNoRet<Env, Head, Tail>
+where
+    Env: TxEnv,
+    Head: RHListItemExec<RawResult, Env, Tail::OriginalResult, Returns = ()>,
+    Tail: RHListExec<RawResult, Env>,
+{
+    fn list_process_result(self, raw_result: &RawResult) -> Self::ListReturns {
+        self.head.item_process_result(raw_result);
+        self.tail.list_process_result(raw_result)
+    }
+}
diff --git a/framework/base/src/types/interaction/tx_rh_list/with_result_exact.rs b/framework/base/src/types/interaction/tx_rh_list/with_result_exact.rs
index f3319c5a07..d3045dca25 100644
--- a/framework/base/src/types/interaction/tx_rh_list/with_result_exact.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/with_result_exact.rs
@@ -3,11 +3,11 @@ use core::marker::PhantomData;
 use multiversx_sc_codec::TopDecodeMulti;
 
 use crate::types::{
-    interaction::contract_call_exec::decode_result, ManagedBuffer, ManagedVec, RHListItemSync,
+    interaction::contract_call_exec::decode_result, ManagedBuffer, ManagedVec, SyncCallRawResult,
     TxEnv,
 };
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct WithResultExact<T, F>
 where
@@ -37,17 +37,15 @@ where
     type Returns = ();
 }
 
-impl<Env, Original, F> RHListItemSync<Env, Original> for WithResultExact<Original, F>
+impl<Env, Original, F> RHListItemExec<SyncCallRawResult<Env::Api>, Env, Original>
+    for WithResultExact<Original, F>
 where
     Env: TxEnv,
     Original: TopDecodeMulti,
     F: FnOnce(Original),
 {
-    fn item_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        let t = decode_result::<Env::Api, Original>(raw_results.clone());
+    fn item_process_result(self, raw_result: &SyncCallRawResult<Env::Api>) -> Self::Returns {
+        let t = decode_result::<Env::Api, Original>(raw_result.0.clone());
         (self.f)(t)
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list/with_result_new_address.rs b/framework/base/src/types/interaction/tx_rh_list/with_result_new_address.rs
index 64b2894f1f..5dad91eef6 100644
--- a/framework/base/src/types/interaction/tx_rh_list/with_result_new_address.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/with_result_new_address.rs
@@ -1,10 +1,8 @@
 use core::marker::PhantomData;
 
-use crate::types::{
-    interaction::tx_call_deploy::RHListItemDeploy, ManagedAddress, ManagedBuffer, ManagedVec, TxEnv,
-};
+use crate::types::{DeployRawResult, ManagedAddress, ManagedBuffer, ManagedVec, TxEnv};
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct WithResultNewAddress<Env, F>
 where
@@ -36,16 +34,13 @@ where
     type Returns = ();
 }
 
-impl<Env, F, Original> RHListItemDeploy<Env, Original> for WithResultNewAddress<Env, F>
+impl<Env, F, Original> RHListItemExec<DeployRawResult<Env::Api>, Env, Original>
+    for WithResultNewAddress<Env, F>
 where
     Env: TxEnv,
     F: FnOnce(&ManagedAddress<Env::Api>),
 {
-    fn item_deploy_result(
-        self,
-        new_address: &ManagedAddress<Env::Api>,
-        _raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        (self.f)(new_address);
+    fn item_process_result(self, raw_result: &DeployRawResult<Env::Api>) -> Self::Returns {
+        (self.f)(&raw_result.new_address);
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list/with_result_raw.rs b/framework/base/src/types/interaction/tx_rh_list/with_result_raw.rs
index 8f288604be..35b4053d2a 100644
--- a/framework/base/src/types/interaction/tx_rh_list/with_result_raw.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/with_result_raw.rs
@@ -1,8 +1,8 @@
 use core::marker::PhantomData;
 
-use crate::types::{ManagedBuffer, ManagedVec, RHListItemSync, TxEnv};
+use crate::types::{ManagedBuffer, ManagedVec, SyncCallRawResult, TxEnv};
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct WithResultRaw<Env, F>
 where
@@ -34,15 +34,13 @@ where
     type Returns = ();
 }
 
-impl<Env, F, Original> RHListItemSync<Env, Original> for WithResultRaw<Env, F>
+impl<Env, F, Original> RHListItemExec<SyncCallRawResult<Env::Api>, Env, Original>
+    for WithResultRaw<Env, F>
 where
     Env: TxEnv,
     F: FnOnce(&ManagedVec<Env::Api, ManagedBuffer<Env::Api>>),
 {
-    fn item_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        (self.f)(raw_results)
+    fn item_process_result(self, raw_result: &SyncCallRawResult<Env::Api>) -> Self::Returns {
+        (self.f)(&raw_result.0)
     }
 }
diff --git a/framework/base/src/types/interaction/tx_rh_list/with_result_similar.rs b/framework/base/src/types/interaction/tx_rh_list/with_result_similar.rs
index c9fd9173b2..d2af475447 100644
--- a/framework/base/src/types/interaction/tx_rh_list/with_result_similar.rs
+++ b/framework/base/src/types/interaction/tx_rh_list/with_result_similar.rs
@@ -3,11 +3,11 @@ use core::marker::PhantomData;
 use multiversx_sc_codec::{CodecFrom, TopEncodeMulti};
 
 use crate::types::{
-    interaction::contract_call_exec::decode_result, ManagedBuffer, ManagedVec, RHListItemSync,
+    interaction::contract_call_exec::decode_result, ManagedBuffer, ManagedVec, SyncCallRawResult,
     TxEnv,
 };
 
-use super::RHListItem;
+use super::{RHListItem, RHListItemExec};
 
 pub struct WithResultSimilar<T, F>
 where
@@ -39,18 +39,16 @@ where
     type Returns = ();
 }
 
-impl<Env, Original, T, F> RHListItemSync<Env, Original> for WithResultSimilar<T, F>
+impl<Env, Original, T, F> RHListItemExec<SyncCallRawResult<Env::Api>, Env, Original>
+    for WithResultSimilar<T, F>
 where
     Env: TxEnv,
     Original: TopEncodeMulti,
     T: CodecFrom<Original>,
     F: FnOnce(T),
 {
-    fn item_sync_call_result(
-        self,
-        raw_results: &ManagedVec<Env::Api, ManagedBuffer<Env::Api>>,
-    ) -> Self::Returns {
-        let t = decode_result::<Env::Api, T>(raw_results.clone());
+    fn item_process_result(self, raw_result: &SyncCallRawResult<Env::Api>) -> Self::Returns {
+        let t = decode_result::<Env::Api, T>(raw_result.0.clone());
         (self.f)(t)
     }
 }
diff --git a/framework/base/src/types/interaction/tx_to/tx_to_self.rs b/framework/base/src/types/interaction/tx_to/tx_to_self.rs
index a4adfaa429..87e068ae6f 100644
--- a/framework/base/src/types/interaction/tx_to/tx_to_self.rs
+++ b/framework/base/src/types/interaction/tx_to/tx_to_self.rs
@@ -31,7 +31,8 @@ where
     where
         F: FnOnce(&ManagedAddress<Api>) -> R,
     {
-        let sc_address_handle: Api::ManagedBufferHandle = use_raw_handle(const_handles::ADDRESS_CALLER);
+        let sc_address_handle: Api::ManagedBufferHandle =
+            use_raw_handle(const_handles::ADDRESS_CALLER);
         Api::blockchain_api_impl().load_sc_address_managed(sc_address_handle.clone());
         f(&ManagedAddress::from_handle(sc_address_handle))
     }
diff --git a/framework/scenario/src/facade/world_tx.rs b/framework/scenario/src/facade/world_tx.rs
index 92f842cf55..4a6fd86317 100644
--- a/framework/scenario/src/facade/world_tx.rs
+++ b/framework/scenario/src/facade/world_tx.rs
@@ -6,14 +6,11 @@ mod scenario_env_deploy;
 mod scenario_env_exec;
 mod scenario_env_query;
 pub mod scenario_env_util;
-mod scenario_rh_list;
-mod scenario_rh_list_item;
+mod scenario_rh_impl;
 mod with_tx_raw_response;
 
 pub use expr::*;
 pub use scenario_env::*;
 pub use scenario_env_exec::ScenarioEnvExec;
 pub use scenario_env_query::ScenarioEnvQuery;
-pub use scenario_rh_list::*;
-pub use scenario_rh_list_item::*;
 pub use with_tx_raw_response::WithRawTxResponse;
diff --git a/framework/scenario/src/facade/world_tx/scenario_env_deploy.rs b/framework/scenario/src/facade/world_tx/scenario_env_deploy.rs
index d9317a094c..fadd24d78d 100644
--- a/framework/scenario/src/facade/world_tx/scenario_env_deploy.rs
+++ b/framework/scenario/src/facade/world_tx/scenario_env_deploy.rs
@@ -4,7 +4,7 @@ use multiversx_chain_scenario_format::serde_raw::ValueSubTree;
 use multiversx_sc::{
     tuple_util::NestedTupleFlatten,
     types::{
-        AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer, RHListSync,
+        AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer, RHListExec,
         Tx, TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
         TxFromSpecified, TxGas, TxPayment, TxToSpecified,
     },
@@ -16,7 +16,7 @@ use crate::{
     ScenarioEnvExec, ScenarioTxEnv, ScenarioTxRun, ScenarioWorld,
 };
 
-use super::{scenario_env_util::*, RHListScenario, ScenarioTxEnvData};
+use super::{scenario_env_util::*, ScenarioTxEnvData};
 
 impl<'w, From, Payment, Gas, CodeValue, RH> ScenarioTxRun
     for Tx<
@@ -33,7 +33,7 @@ where
     Payment: TxPayment<ScenarioEnvExec<'w>>,
     Gas: TxGas<ScenarioEnvExec<'w>>,
     CodeValue: TxCodeValue<ScenarioEnvExec<'w>>,
-    RH: RHListScenario<ScenarioEnvExec<'w>>,
+    RH: RHListExec<TxResponse, ScenarioEnvExec<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     type Returns = <RH::ListReturns as NestedTupleFlatten>::Unpacked;
@@ -53,7 +53,7 @@ impl ScenarioWorld {
         Payment: TxPayment<ScenarioTxEnvData>,
         Gas: TxGas<ScenarioTxEnvData>,
         CodeValue: TxCodeValue<ScenarioTxEnvData>,
-        RH: RHListScenario<ScenarioTxEnvData, ListReturns = ()>,
+        RH: RHListExec<TxResponse, ScenarioTxEnvData, ListReturns = ()>,
         F: FnOnce(
             TxBaseWithEnv<ScenarioTxEnvData>,
         ) -> Tx<
diff --git a/framework/scenario/src/facade/world_tx/scenario_env_exec.rs b/framework/scenario/src/facade/world_tx/scenario_env_exec.rs
index 3758673006..e19c515c0b 100644
--- a/framework/scenario/src/facade/world_tx/scenario_env_exec.rs
+++ b/framework/scenario/src/facade/world_tx/scenario_env_exec.rs
@@ -4,7 +4,7 @@ use multiversx_chain_scenario_format::serde_raw::ValueSubTree;
 use multiversx_sc::{
     tuple_util::NestedTupleFlatten,
     types::{
-        AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer, RHListSync,
+        AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer, RHListExec,
         Tx, TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
         TxFromSpecified, TxGas, TxPayment, TxToSpecified,
     },
@@ -16,7 +16,7 @@ use crate::{
     ScenarioTxEnv, ScenarioTxRun, ScenarioWorld,
 };
 
-use super::{scenario_env_util::*, RHListScenario, ScenarioTxEnvData};
+use super::{scenario_env_util::*, ScenarioTxEnvData};
 
 /// Environment for executing transactions.
 pub struct ScenarioEnvExec<'w> {
@@ -49,7 +49,7 @@ where
     To: TxToSpecified<ScenarioEnvExec<'w>>,
     Payment: TxPayment<ScenarioEnvExec<'w>>,
     Gas: TxGas<ScenarioEnvExec<'w>>,
-    RH: RHListScenario<ScenarioEnvExec<'w>>,
+    RH: RHListExec<TxResponse, ScenarioEnvExec<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     type Returns = <RH::ListReturns as NestedTupleFlatten>::Unpacked;
@@ -81,7 +81,7 @@ impl ScenarioWorld {
         To: TxToSpecified<ScenarioTxEnvData>,
         Payment: TxPayment<ScenarioTxEnvData>,
         Gas: TxGas<ScenarioTxEnvData>,
-        RH: RHListScenario<ScenarioTxEnvData, ListReturns = ()>,
+        RH: RHListExec<TxResponse, ScenarioTxEnvData, ListReturns = ()>,
         F: FnOnce(
             TxBaseWithEnv<ScenarioTxEnvData>,
         )
diff --git a/framework/scenario/src/facade/world_tx/scenario_env_query.rs b/framework/scenario/src/facade/world_tx/scenario_env_query.rs
index e7d73ec729..993b4d9636 100644
--- a/framework/scenario/src/facade/world_tx/scenario_env_query.rs
+++ b/framework/scenario/src/facade/world_tx/scenario_env_query.rs
@@ -3,14 +3,14 @@ use std::path::PathBuf;
 use multiversx_sc::{
     tuple_util::NestedTupleFlatten,
     types::{
-        AnnotatedValue, FunctionCall, ManagedAddress, Tx, TxBaseWithEnv, TxEnv, TxFromSpecified,
-        TxGas, TxPayment, TxToSpecified,
+        AnnotatedValue, FunctionCall, ManagedAddress, RHListExec, Tx, TxBaseWithEnv, TxEnv,
+        TxFromSpecified, TxGas, TxPayment, TxToSpecified,
     },
 };
 
 use crate::{
-    api::StaticApi, scenario_model::TxResponse, RHListScenario, ScenarioTxEnv, ScenarioTxEnvData,
-    ScenarioTxRun, ScenarioWorld,
+    api::StaticApi, scenario_model::TxResponse, ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun,
+    ScenarioWorld,
 };
 
 use super::scenario_env_util::*;
@@ -42,7 +42,7 @@ impl<'w, To, RH> ScenarioTxRun
     for Tx<ScenarioEnvQuery<'w>, (), To, (), (), FunctionCall<StaticApi>, RH>
 where
     To: TxToSpecified<ScenarioEnvQuery<'w>>,
-    RH: RHListScenario<ScenarioEnvQuery<'w>>,
+    RH: RHListExec<TxResponse, ScenarioEnvQuery<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     type Returns = <RH::ListReturns as NestedTupleFlatten>::Unpacked;
@@ -64,7 +64,7 @@ impl ScenarioWorld {
     pub fn chain_query<To, RH, F>(&mut self, f: F) -> &mut Self
     where
         To: TxToSpecified<ScenarioTxEnvData>,
-        RH: RHListScenario<ScenarioTxEnvData, ListReturns = ()>,
+        RH: RHListExec<TxResponse, ScenarioTxEnvData, ListReturns = ()>,
         F: FnOnce(
             TxBaseWithEnv<ScenarioTxEnvData>,
         ) -> Tx<ScenarioTxEnvData, (), To, (), (), FunctionCall<StaticApi>, RH>,
diff --git a/framework/scenario/src/facade/world_tx/scenario_env_util.rs b/framework/scenario/src/facade/world_tx/scenario_env_util.rs
index 2e75fa3c5d..eca9bc84ed 100644
--- a/framework/scenario/src/facade/world_tx/scenario_env_util.rs
+++ b/framework/scenario/src/facade/world_tx/scenario_env_util.rs
@@ -2,7 +2,7 @@ use multiversx_chain_scenario_format::serde_raw::ValueSubTree;
 use multiversx_sc::{
     tuple_util::NestedTupleFlatten,
     types::{
-        AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer, RHListSync,
+        AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer, RHListExec,
         Tx, TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
         TxFromSpecified, TxGas, TxPayment, TxToSpecified,
     },
@@ -14,7 +14,7 @@ use crate::{
         AddressValue, BigUintValue, BytesValue, ScCallStep, ScDeployStep, ScQueryStep,
         TransferStep, TxResponse,
     },
-    RHListScenario, ScenarioEnvExec, ScenarioWorld,
+    ScenarioEnvExec, ScenarioWorld,
 };
 
 pub fn address_annotated<Env, Addr>(env: &Env, from: Addr) -> AddressValue
@@ -148,10 +148,10 @@ pub fn process_result<Env, RH>(
 ) -> <RH::ListReturns as NestedTupleFlatten>::Unpacked
 where
     Env: TxEnv,
-    RH: RHListScenario<Env>,
+    RH: RHListExec<TxResponse, Env>,
     RH::ListReturns: NestedTupleFlatten,
 {
     let response = response.expect("step did not return result");
-    let tuple_result = result_handler.item_scenario_result(&response);
+    let tuple_result = result_handler.list_process_result(&response);
     tuple_result.flatten_unpack()
 }
diff --git a/framework/scenario/src/facade/world_tx/scenario_rh_list_item.rs b/framework/scenario/src/facade/world_tx/scenario_rh_impl.rs
similarity index 57%
rename from framework/scenario/src/facade/world_tx/scenario_rh_list_item.rs
rename to framework/scenario/src/facade/world_tx/scenario_rh_impl.rs
index 36440e0313..b0161b52b8 100644
--- a/framework/scenario/src/facade/world_tx/scenario_rh_list_item.rs
+++ b/framework/scenario/src/facade/world_tx/scenario_rh_impl.rs
@@ -1,8 +1,8 @@
 use multiversx_sc::{
     codec::{CodecFrom, TopDecodeMulti, TopEncodeMulti},
     types::{
-        ManagedAddress, RHList, RHListItem, ReturnsExact, ReturnsNewAddress, ReturnsSimilar, TxEnv,
-        WithResultNewAddress, WithResultSimilar,
+        ManagedAddress, RHList, RHListItem, RHListItemExec, ReturnsExact, ReturnsNewAddress,
+        ReturnsSimilar, TxEnv, WithResultNewAddress, WithResultSimilar,
     },
 };
 
@@ -13,19 +13,12 @@ use crate::{
 
 use super::ScenarioTxEnvData;
 
-pub trait RHListItemScenario<Env, Original>: RHListItem<Env, Original>
-where
-    Env: TxEnv,
-{
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::Returns;
-}
-
-impl<Env, Original> RHListItemScenario<Env, Original> for ReturnsExact
+impl<Env, Original> RHListItemExec<TxResponse, Env, Original> for ReturnsExact
 where
     Env: TxEnv,
     Original: TopDecodeMulti,
 {
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::Returns {
+    fn item_process_result(self, tx_response: &TxResponse) -> Self::Returns {
         let response = TypedResponse::<Original>::from_raw(tx_response);
         response
             .result
@@ -33,13 +26,13 @@ where
     }
 }
 
-impl<Env, Original, T> RHListItemScenario<Env, Original> for ReturnsSimilar<T>
+impl<Env, Original, T> RHListItemExec<TxResponse, Env, Original> for ReturnsSimilar<T>
 where
     Env: TxEnv,
     Original: TopEncodeMulti,
     T: CodecFrom<Original>,
 {
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::Returns {
+    fn item_process_result(self, tx_response: &TxResponse) -> Self::Returns {
         let response = TypedResponse::<T>::from_raw(tx_response);
         response
             .result
@@ -47,14 +40,14 @@ where
     }
 }
 
-impl<Env, Original, T, F> RHListItemScenario<Env, Original> for WithResultSimilar<T, F>
+impl<Env, Original, T, F> RHListItemExec<TxResponse, Env, Original> for WithResultSimilar<T, F>
 where
     Env: TxEnv,
     Original: TopEncodeMulti,
     T: CodecFrom<Original>,
     F: FnOnce(T),
 {
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::Returns {
+    fn item_process_result(self, tx_response: &TxResponse) -> Self::Returns {
         let response = TypedResponse::<T>::from_raw(tx_response);
         let value = response
             .result
@@ -63,11 +56,11 @@ where
     }
 }
 
-impl<Env, Original> RHListItemScenario<Env, Original> for ReturnsNewAddress
+impl<Env, Original> RHListItemExec<TxResponse, Env, Original> for ReturnsNewAddress
 where
     Env: TxEnv,
 {
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::Returns {
+    fn item_process_result(self, tx_response: &TxResponse) -> Self::Returns {
         let new_address = tx_response
             .new_deployed_address
             .clone()
@@ -77,12 +70,12 @@ where
     }
 }
 
-impl<Env, Original, F> RHListItemScenario<Env, Original> for WithResultNewAddress<Env, F>
+impl<Env, Original, F> RHListItemExec<TxResponse, Env, Original> for WithResultNewAddress<Env, F>
 where
     Env: TxEnv,
     F: FnOnce(&ManagedAddress<Env::Api>),
 {
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::Returns {
+    fn item_process_result(self, tx_response: &TxResponse) -> Self::Returns {
         let new_address = tx_response
             .new_deployed_address
             .clone()
diff --git a/framework/scenario/src/facade/world_tx/scenario_rh_list.rs b/framework/scenario/src/facade/world_tx/scenario_rh_list.rs
deleted file mode 100644
index 4273b83fe7..0000000000
--- a/framework/scenario/src/facade/world_tx/scenario_rh_list.rs
+++ /dev/null
@@ -1,51 +0,0 @@
-use multiversx_sc::types::{ConsNoRet, ConsRet, OriginalResultMarker, RHList, RHListItem, TxEnv};
-
-use crate::scenario_model::TxResponse;
-
-use super::RHListItemScenario;
-
-pub trait RHListScenario<Env>: RHList<Env>
-where
-    Env: TxEnv,
-{
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::ListReturns;
-}
-
-impl<Env> RHListScenario<Env> for ()
-where
-    Env: TxEnv,
-{
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::ListReturns {}
-}
-
-impl<Env, O> RHListScenario<Env> for OriginalResultMarker<O>
-where
-    Env: TxEnv,
-{
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::ListReturns {}
-}
-
-impl<Env, Head, Tail> RHListScenario<Env> for ConsRet<Env, Head, Tail>
-where
-    Env: TxEnv,
-    Head: RHListItemScenario<Env, Tail::OriginalResult>,
-    Tail: RHListScenario<Env>,
-{
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::ListReturns {
-        let head_result = self.head.item_scenario_result(tx_response);
-        let tail_result = self.tail.item_scenario_result(tx_response);
-        (head_result, tail_result)
-    }
-}
-
-impl<Env, Head, Tail> RHListScenario<Env> for ConsNoRet<Env, Head, Tail>
-where
-    Env: TxEnv,
-    Head: RHListItemScenario<Env, Tail::OriginalResult, Returns = ()>,
-    Tail: RHListScenario<Env>,
-{
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::ListReturns {
-        self.head.item_scenario_result(tx_response);
-        self.tail.item_scenario_result(tx_response)
-    }
-}
diff --git a/framework/scenario/src/facade/world_tx/with_tx_raw_response.rs b/framework/scenario/src/facade/world_tx/with_tx_raw_response.rs
index 51f603a47b..512338aab8 100644
--- a/framework/scenario/src/facade/world_tx/with_tx_raw_response.rs
+++ b/framework/scenario/src/facade/world_tx/with_tx_raw_response.rs
@@ -2,12 +2,12 @@ use core::marker::PhantomData;
 
 use multiversx_sc::{
     codec::TopDecodeMulti,
-    types::{RHListItem, TxEnv},
+    types::{RHListItem, RHListItemExec, TxEnv},
 };
 
 use crate::scenario_model::TxResponse;
 
-use super::{RHListItemScenario, ScenarioTxEnvData};
+use super::ScenarioTxEnvData;
 
 /// Wraps a closure that handles a `TxResponse` object.
 pub struct WithRawTxResponse<F>(pub F)
@@ -22,13 +22,13 @@ where
     type Returns = ();
 }
 
-impl<Env, Original, F> RHListItemScenario<Env, Original> for WithRawTxResponse<F>
+impl<Env, Original, F> RHListItemExec<TxResponse, Env, Original> for WithRawTxResponse<F>
 where
     Env: TxEnv,
     Original: TopDecodeMulti,
     F: FnOnce(&TxResponse),
 {
-    fn item_scenario_result(self, tx_response: &TxResponse) -> Self::Returns {
-        (self.0)(tx_response)
+    fn item_process_result(self, raw_result: &TxResponse) -> Self::Returns {
+        (self.0)(raw_result)
     }
 }
diff --git a/framework/snippets/src/itx/interactor_env_deploy.rs b/framework/snippets/src/itx/interactor_env_deploy.rs
index ea11ecc338..d907db498e 100644
--- a/framework/snippets/src/itx/interactor_env_deploy.rs
+++ b/framework/snippets/src/itx/interactor_env_deploy.rs
@@ -6,14 +6,13 @@ use multiversx_sc_scenario::{
         tuple_util::NestedTupleFlatten,
         types::{
             AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer,
-            RHListSync, Tx, TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
+            RHListExec, Tx, TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
             TxFromSpecified, TxGas, TxPayment, TxToSpecified,
         },
     },
     scenario_env_util::*,
     scenario_model::{AddressValue, BytesValue, ScCallStep, ScDeployStep, TxResponse},
-    RHListScenario, ScenarioEnvExec, ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun,
-    ScenarioWorld,
+    ScenarioEnvExec, ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun, ScenarioWorld,
 };
 
 use crate::{Interactor, InteractorPrepareAsync};
@@ -22,7 +21,7 @@ use super::InteractorEnvExec;
 
 pub struct InteractorDeployStep<'w, RH>
 where
-    RH: RHListScenario<InteractorEnvExec<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvExec<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     world: &'w mut Interactor,
@@ -45,7 +44,7 @@ where
     Payment: TxPayment<InteractorEnvExec<'w>>,
     Gas: TxGas<InteractorEnvExec<'w>>,
     CodeValue: TxCodeValue<InteractorEnvExec<'w>>,
-    RH: RHListScenario<InteractorEnvExec<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvExec<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     type Exec = InteractorDeployStep<'w, RH>;
@@ -63,7 +62,7 @@ where
 
 impl<'w, RH> InteractorDeployStep<'w, RH>
 where
-    RH: RHListScenario<InteractorEnvExec<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvExec<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     pub async fn run(self) -> <RH::ListReturns as NestedTupleFlatten>::Unpacked {
@@ -80,7 +79,7 @@ impl Interactor {
         Payment: TxPayment<ScenarioTxEnvData>,
         Gas: TxGas<ScenarioTxEnvData>,
         CodeValue: TxCodeValue<ScenarioTxEnvData>,
-        RH: RHListScenario<ScenarioTxEnvData, ListReturns = ()>,
+        RH: RHListExec<TxResponse, ScenarioTxEnvData, ListReturns = ()>,
         F: FnOnce(
             TxBaseWithEnv<ScenarioTxEnvData>,
         ) -> Tx<
@@ -111,7 +110,7 @@ impl Interactor {
         Payment: TxPayment<ScenarioTxEnvData>,
         Gas: TxGas<ScenarioTxEnvData>,
         CodeValue: TxCodeValue<ScenarioTxEnvData>,
-        RH: RHListScenario<ScenarioTxEnvData>,
+        RH: RHListExec<TxResponse, ScenarioTxEnvData>,
         RH::ListReturns: NestedTupleFlatten,
         F: FnOnce(
             TxBaseWithEnv<ScenarioTxEnvData>,
diff --git a/framework/snippets/src/itx/interactor_env_exec.rs b/framework/snippets/src/itx/interactor_env_exec.rs
index dc5269e6e9..bc2d9d20da 100644
--- a/framework/snippets/src/itx/interactor_env_exec.rs
+++ b/framework/snippets/src/itx/interactor_env_exec.rs
@@ -6,13 +6,13 @@ use multiversx_sc_scenario::{
         tuple_util::NestedTupleFlatten,
         types::{
             AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer,
-            RHListSync, Tx, TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
+            RHListExec, Tx, TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
             TxFromSpecified, TxGas, TxPayment, TxToSpecified,
         },
     },
     scenario_env_util::*,
     scenario_model::{AddressValue, BytesValue, ScCallStep, ScDeployStep, TxResponse},
-    RHListScenario, ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun, ScenarioWorld,
+    ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun, ScenarioWorld,
 };
 
 use crate::{Interactor, InteractorPrepareAsync};
@@ -43,7 +43,7 @@ impl<'w> ScenarioTxEnv for InteractorEnvExec<'w> {
 
 pub struct InteractorCallStep<'w, RH>
 where
-    RH: RHListScenario<InteractorEnvExec<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvExec<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     world: &'w mut Interactor,
@@ -58,7 +58,7 @@ where
     To: TxToSpecified<InteractorEnvExec<'w>>,
     Payment: TxPayment<InteractorEnvExec<'w>>,
     Gas: TxGas<InteractorEnvExec<'w>>,
-    RH: RHListScenario<InteractorEnvExec<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvExec<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     type Exec = InteractorCallStep<'w, RH>;
@@ -82,7 +82,7 @@ where
 
 impl<'w, RH> InteractorCallStep<'w, RH>
 where
-    RH: RHListScenario<InteractorEnvExec<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvExec<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     pub async fn run(self) -> <RH::ListReturns as NestedTupleFlatten>::Unpacked {
@@ -105,7 +105,7 @@ impl Interactor {
         To: TxToSpecified<ScenarioTxEnvData>,
         Payment: TxPayment<ScenarioTxEnvData>,
         Gas: TxGas<ScenarioTxEnvData>,
-        RH: RHListScenario<ScenarioTxEnvData, ListReturns = ()>,
+        RH: RHListExec<TxResponse, ScenarioTxEnvData, ListReturns = ()>,
         F: FnOnce(
             TxBaseWithEnv<ScenarioTxEnvData>,
         )
diff --git a/framework/snippets/src/itx/interactor_env_query.rs b/framework/snippets/src/itx/interactor_env_query.rs
index 20e61e571f..1628215992 100644
--- a/framework/snippets/src/itx/interactor_env_query.rs
+++ b/framework/snippets/src/itx/interactor_env_query.rs
@@ -5,13 +5,13 @@ use multiversx_sc_scenario::{
     multiversx_sc::{
         tuple_util::NestedTupleFlatten,
         types::{
-            AnnotatedValue, FunctionCall, ManagedAddress, Tx, TxBaseWithEnv, TxEnv,
+            AnnotatedValue, FunctionCall, ManagedAddress, RHListExec, Tx, TxBaseWithEnv, TxEnv,
             TxFromSpecified, TxGas, TxPayment, TxToSpecified,
         },
     },
     scenario_env_util::*,
     scenario_model::{ScQueryStep, TxResponse},
-    RHListScenario, ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun, ScenarioWorld,
+    ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun, ScenarioWorld,
 };
 
 use crate::{Interactor, InteractorPrepareAsync};
@@ -41,7 +41,7 @@ impl<'w> ScenarioTxEnv for InteractorEnvQuery<'w> {
 
 pub struct InteractorQueryStep<'w, RH>
 where
-    RH: RHListScenario<InteractorEnvQuery<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvQuery<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     world: &'w mut Interactor,
@@ -53,7 +53,7 @@ impl<'w, To, RH> InteractorPrepareAsync
     for Tx<InteractorEnvQuery<'w>, (), To, (), (), FunctionCall<StaticApi>, RH>
 where
     To: TxToSpecified<InteractorEnvQuery<'w>>,
-    RH: RHListScenario<InteractorEnvQuery<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvQuery<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     type Exec = InteractorQueryStep<'w, RH>;
@@ -70,7 +70,7 @@ where
 
 impl<'w, RH> InteractorQueryStep<'w, RH>
 where
-    RH: RHListScenario<InteractorEnvQuery<'w>>,
+    RH: RHListExec<TxResponse, InteractorEnvQuery<'w>>,
     RH::ListReturns: NestedTupleFlatten,
 {
     pub async fn run(self) -> <RH::ListReturns as NestedTupleFlatten>::Unpacked {
@@ -90,7 +90,7 @@ impl Interactor {
     pub async fn chain_query<To, RH, F>(&mut self, f: F) -> &mut Self
     where
         To: TxToSpecified<ScenarioTxEnvData>,
-        RH: RHListScenario<ScenarioTxEnvData, ListReturns = ()>,
+        RH: RHListExec<TxResponse, ScenarioTxEnvData, ListReturns = ()>,
         F: FnOnce(
             TxBaseWithEnv<ScenarioTxEnvData>,
         ) -> Tx<ScenarioTxEnvData, (), To, (), (), FunctionCall<StaticApi>, RH>,
diff --git a/framework/snippets/src/itx/interactor_env_transf.rs b/framework/snippets/src/itx/interactor_env_transf.rs
index 993b2b04d6..19a161b18f 100644
--- a/framework/snippets/src/itx/interactor_env_transf.rs
+++ b/framework/snippets/src/itx/interactor_env_transf.rs
@@ -5,8 +5,8 @@ use multiversx_sc_scenario::{
     multiversx_sc::{
         tuple_util::NestedTupleFlatten,
         types::{
-            AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer,
-            RHListSync, Tx, TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
+            AnnotatedValue, Code, DeployCall, FunctionCall, ManagedAddress, ManagedBuffer, Tx,
+            TxBaseWithEnv, TxCodeSource, TxCodeSourceSpecified, TxCodeValue, TxEnv,
             TxFromSpecified, TxGas, TxPayment, TxToSpecified,
         },
     },
@@ -14,7 +14,7 @@ use multiversx_sc_scenario::{
     scenario_model::{
         AddressValue, BytesValue, ScCallStep, ScDeployStep, TransferStep, TxResponse,
     },
-    RHListScenario, ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun, ScenarioWorld,
+    ScenarioTxEnv, ScenarioTxEnvData, ScenarioTxRun, ScenarioWorld,
 };
 
 use crate::{Interactor, InteractorEnvExec, InteractorPrepareAsync};