WIP: we're now starting to engage with spent handlers in channel handler

src/channel_handler/mod.rs

@@ -1100,15 +1100,15 @@ impl ChannelHandler {
         let state_number = usize_from_atom(&rem_conditions[0])
             .ok_or_else(|| Error::StrErr("Unconvertible state number".to_string()))?;
 
-        let our_parity = self.unroll.coin.state_number & 1;
+        let our_parity = full_coin.coin.state_number & 1;
         let their_parity = state_number & 1;
 
         debug!(
             "CHANNEL COIN SPENT: my state {} coin state {} channel coin state {state_number}",
             self.current_state_number, full_coin.coin.state_number
         );
 
-        match state_number.cmp(&self.current_state_number) {
+        match state_number.cmp(&full_coin.coin.state_number) {
             Ordering::Greater => Err(Error::StrErr(format!(
                 "Reply from the future onchain {} (me {}) vs {}",
                 state_number, self.current_state_number, self.unroll.coin.state_number

src/potato_handler.rs

@@ -1632,7 +1632,7 @@ impl PotatoHandler {
         penv: &mut dyn PeerEnv<'a, G, R>,
         action: GameAction,
     ) -> Result<(), Error>
-where
+    where
         G: ToLocalUI + BootstrapTowardWallet + WalletSpendInterface + PacketSender + 'a,
     {
         if !matches!(self.handshake_state, HandshakeState::Finished(_)) {
@@ -1652,6 +1652,40 @@ where
 
         Ok(())
     }
+
+    fn handle_channel_coin_spent<'a, G, R: Rng + 'a>(
+        &mut self,
+        penv: &mut dyn PeerEnv<'a, G, R>,
+        coin_id: &CoinString,
+        puzzle_and_solution: Option<(&Program, &Program)>,
+    ) -> Result<(), Error>
+    where
+        G: ToLocalUI + BootstrapTowardWallet + WalletSpendInterface + PacketSender + 'a,
+    {
+        let (puzzle, solution) =
+            if let Some((puzzle, solution)) = puzzle_and_solution {
+                (puzzle, solution)
+            } else {
+                return Err(Error::StrErr("Retrieve of puzzle and solution failed for channel coin".to_string()));
+            };
+
+        let mut ch = self.channel_handler_mut()?;
+        let (env, _) = penv.env();
+        let run_puzzle = puzzle.to_nodeptr(env.allocator)?;
+        let run_args = solution.to_nodeptr(env.allocator)?;
+        let conditions = run_program(
+            env.allocator.allocator(),
+            &chia_dialect(),
+            run_puzzle,
+            run_args,
+            0,
+        ).into_gen()?;
+        let cs_spend_result = ch.channel_coin_spent(
+            env,
+            conditions.1,
+        )?;
+        todo!();
+    }
 }
 
 impl<G: ToLocalUI + BootstrapTowardWallet + WalletSpendInterface + PacketSender, R: Rng>
@@ -1893,8 +1927,8 @@ impl<G: ToLocalUI + BootstrapTowardWallet + WalletSpendInterface + PacketSender,
     fn coin_puzzle_and_solution<'a>(
         &mut self,
         penv: &mut dyn PeerEnv<'a, G, R>,
-        _coin_id: &CoinString,
-        _puzzle_and_solution: Option<(&Program, &Program)>,
+        coin_id: &CoinString,
+        puzzle_and_solution: Option<(&Program, &Program)>,
     ) -> Result<(), Error>
     where
         G: 'a,
@@ -1907,8 +1941,10 @@ impl<G: ToLocalUI + BootstrapTowardWallet + WalletSpendInterface + PacketSender,
                 return Ok(());
             };
 
-        let mut ch = self.channel_handler_mut()?;
-        let (env, _) = penv.env();
-        todo!();
+        if *coin_id == state_coin_id {
+            return self.handle_channel_coin_spent(penv, coin_id, puzzle_and_solution);
+        }
+
+        Ok(())
     }
 }