Remove some spec related todo's as the spec is updated

CHANGELOG.md

@@ -12,7 +12,6 @@ changes.
 
 - **BETA** hydra-node now supports incremental commits in beta mode. We would like to test out this feature
   with the community members building on Hydra. This feature means you can commit funds to a Head while it is running.
-  TODO: Implement missing spec changes.
 
 - There is a new `--deposit-deadline` argument to hydra-node that determines the maximum time for the hydra-node to detect a deposit.
   After this time has passed users can recover a deposit in case it wasn't observed previously.

hydra-plutus/src/Hydra/Contract/Deposit.hs

@@ -24,7 +24,6 @@ import PlutusTx qualified
 
 data DepositRedeemer
   = -- | Claims already deposited funds.
-    -- FIXME: Make sure to change the spec and add head CS to the Claim redeemer.
     Claim CurrencySymbol
   | -- | Recovers m number of deposited outputs.
     Recover Integer

hydra-plutus/src/Hydra/Contract/Head.hs

@@ -256,8 +256,6 @@ checkIncrement ::
   IncrementRedeemer ->
   Bool
 checkIncrement ctx@ScriptContext{scriptContextTxInfo = txInfo} openBefore redeemer =
-  -- FIXME: spec is mentioning the n also needs to be unchanged - what is n here? utxo hash?
-  -- "parameters cid, 𝑘̃ H , 𝑛, 𝑇 stay unchanged"
   mustNotChangeParameters (prevParties, nextParties) (prevCperiod, nextCperiod) (prevHeadId, nextHeadId)
     && mustIncreaseVersion
     && mustIncreaseValue
@@ -438,7 +436,6 @@ checkClose ctx openBefore redeemer =
           version == 0
             && snapshotNumber' == 0
             && utxoHash' == initialUtxoHash
-      -- FIXME: reflect the new CloseAny redeemer in the spec as well
       CloseAny{signature} ->
         traceIfFalse $(errorCode FailedCloseAny) $
           snapshotNumber' > 0

hydra-plutus/src/Hydra/Contract/HeadState.hs

@@ -52,7 +52,6 @@ data ClosedDatum = ClosedDatum
   -- ^ Spec: s
   , utxoHash :: Hash
   -- ^ Spec: η. Digest of snapshotted UTxO
-  -- | TODO: add alphaUTxOHash to the spec
   , alphaUTxOHash :: Hash
   , omegaUTxOHash :: Hash
   -- ^ Spec: ηΔ. Digest of UTxO still to be distributed
@@ -182,10 +181,8 @@ data Input
   | Abort
   | Fanout
       { numberOfFanoutOutputs :: Integer
-      , -- TODO: add this to the spec
-        numberOfCommitOutputs :: Integer
+      , numberOfCommitOutputs :: Integer
       , numberOfDecommitOutputs :: Integer
-      -- ^ Spec: n
       }
   deriving stock (Generic, Show)
 

hydra-tx/src/Hydra/Tx/Fanout.hs

@@ -52,8 +52,7 @@ fanoutTx scriptRegistry utxo utxoToCommit utxoToDecommit (headInput, headOutput)
     toScriptData $
       Head.Fanout
         { numberOfFanoutOutputs = fromIntegral $ length $ toList utxo
-        , -- TODO: Update the spec with this new field 'numberOfCommitOutputs'
-          numberOfCommitOutputs = fromIntegral $ length orderedTxOutsToCommit
+        , numberOfCommitOutputs = fromIntegral $ length orderedTxOutsToCommit
         , numberOfDecommitOutputs = fromIntegral $ length orderedTxOutsToDecommit
         }