Add spec comments onOpenClientClose according to latest spec changes

cardano-scaling · Jul 2, 2024 · 290a4ce · 290a4ce
1 parent 6bb2eb2
commit 290a4ce
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/hydra-node/src/Hydra/HeadLogic.hs b/hydra-node/src/Hydra/HeadLogic.hs
@@ -863,10 +863,19 @@ onOpenClientClose ::
   OpenState tx ->
   Outcome tx
 onOpenClientClose st =
+  -- Spec: η ← combine(S ̄.U)
+  --       ηω ← combine(outputs(S ̄.txω))
+  --       ξ ← S ̄.σ
+  --       postTx (close, S ̄.v, S ̄.s, η, ηω,ξ)
   cause
     OnChainEffect
       { postChainTx =
-          CloseTx headId parameters confirmedSnapshot version (fromMaybe mempty $ Hydra.Snapshot.utxoToDecommit $ getSnapshot confirmedSnapshot)
+          CloseTx
+            headId
+            parameters
+            confirmedSnapshot
+            version
+            (fromMaybe mempty $ Hydra.Snapshot.utxoToDecommit $ getSnapshot confirmedSnapshot)
       }
  where
   CoordinatedHeadState{confirmedSnapshot, version} = coordinatedHeadState