diff --git a/src/runtime/mod.rs b/src/runtime/mod.rs
index eb8b9070a228c6849028a08cdbb06c0c6d2d5ddf..fc81a34aa55275f57d89ec6ca7b85c4a5838dc22 100644
--- a/src/runtime/mod.rs
+++ b/src/runtime/mod.rs
@@ -6,7 +6,7 @@ pub(crate) mod communication;
 pub(crate) mod connector;
 pub(crate) mod endpoint;
 pub mod errors;
-pub mod experimental;
+// pub mod experimental;
 mod serde;
 pub(crate) mod setup;
 
@@ -95,11 +95,18 @@ struct ChannelIdStream {
     next_channel_index: ChannelIndex,
 }
 
+#[derive(Debug)]
+enum RoundHistory {
+    Consistent(Predicate, (MonoN, PolyN), Vec<(MonoP, PolyP)>),
+    Inconsistent(SolutionStorage, PolyN, Vec<PolyP>),
+}
+
 #[derive(Debug)]
 struct Controller {
     protocol_description: Arc<ProtocolD>,
     inner: ControllerInner,
     ephemeral: ControllerEphemeral,
+    round_histories: Vec<RoundHistory>,
 }
 #[derive(Debug)]
 struct ControllerInner {