chore: fix imports and comments

src/Cardano/CEM/OffChain.hs

@@ -57,7 +57,6 @@ import Data.Map qualified as Map
 import Data.Maybe (fromJust)
 import Data.Singletons (sing)
 import Data.Spine (HasSpine (..))
-import Debug.Trace (traceShowId)
 import Plutarch (Config (..), (#))
 import Plutarch.Evaluate (evalTerm)
 import Plutarch.Lift (pconstant, plift)
@@ -265,11 +264,11 @@ process (MkCEMAction params transition) ec = case ec of
 -- -----------------------------------------------------------------------------
 
 data TxResolutionError
-  = CEMScriptTxInResolutionError
-  | -- FIXME: record transition and action involved
+  = NoSignerError
+  | CEMScriptTxInResolutionError
+  | -- TODO: record transition and action involved
     PerTransitionErrors [TransitionError]
-  | -- FIXME: this is weird
-    UnhandledSubmittingError TxSubmittingError
+  | UnhandledSubmittingError TxSubmittingError
   deriving stock (Show)
 
 resolveTx ::

src/Cardano/CEM/Testing/StateMachine.hs

@@ -45,7 +45,7 @@ import Cardano.CEM.Monads (
  )
 import Cardano.CEM.Monads.CLB (ClbRunner, execOnIsolatedClb)
 import Cardano.CEM.OffChain (
-  TxResolutionError (CEMScriptTxInResolutionError, UnhandledSubmittingError),
+  TxResolutionError (NoSignerError, UnhandledSubmittingError),
   compileActionConstraints,
   construct,
   process,
@@ -396,9 +396,9 @@ instance
               let
                 (cs, _) = applyMutation mutation cs'
                 mbSignerPKH = getMbMainSigner cs
-              -- \| FIXME: can we delegate handling Nothing case to process/construct?
+              -- \| TODO: can we delegate handling Nothing case to process/construct?
               specSigner <- case mbSignerPKH of
-                Nothing -> ExceptT $ pure $ Left CEMScriptTxInResolutionError -- FIXME:
+                Nothing -> ExceptT $ pure $ Left NoSignerError
                 Just signerPKH -> pure $ findSkForPKH (actors $ config dappParams) signerPKH
               resolutions <- mapM (process cemAction) cs
               let resolvedTx = (construct resolutions) {signer = specSigner}