diff --git a/src/runtime/mod.rs b/src/runtime/mod.rs
index fc81a34aa55275f57d89ec6ca7b85c4a5838dc22..8e24363ee27705cf72012d3e3264efbd972e16e5 100644
--- a/src/runtime/mod.rs
+++ b/src/runtime/mod.rs
@@ -97,8 +97,17 @@ struct ChannelIdStream {
 
 #[derive(Debug)]
 enum RoundHistory {
-    Consistent(Predicate, (MonoN, PolyN), Vec<(MonoP, PolyP)>),
-    Inconsistent(SolutionStorage, PolyN, Vec<PolyP>),
+    Consistent {
+        decision: Predicate,
+        native_component: (MonoN, PolyN),
+        protocol_components: Box<[(MonoP, PolyP)]>,
+    },
+    Inconsistent {
+        error: SyncErr,
+        subtree_solutions: SolutionStorage,
+        native_component: PolyN,
+        protocol_components: Box<[PolyP]>,
+    },
 }
 
 #[derive(Debug)]