Remove unused ErrAssignRedeemersPastHorizon for now

It seems we can no longer construct this error as the ledger no longer
returns the actual `PastHorizon`. This commit removes it, with the
intention that we can re-add it being explicitly rendered in our API
instead of being lumped under TranslationErrors. It would probably also
be nice to render all the other TranslationErrors explicitly.

lib/core/src/Cardano/Wallet/Api/Server.hs

@@ -5052,8 +5052,6 @@ instance IsServerError ErrAssignRedeemers where
                 , "part of the API request. The unknown inputs are:\n\n"
                 , pretty ins
                 ]
-        ErrAssignRedeemersPastHorizon e ->
-            toServerError e
         ErrAssignRedeemersTranslationError e ->
             apiError err400 TranslationError $ T.unwords
                 [ "The transaction I was given contains bits that cannot "

lib/core/src/Cardano/Wallet/Transaction.hs

@@ -507,8 +507,6 @@ data ErrAssignRedeemers
     -- ^ The given redeemer target couldn't be located in the transaction.
     | ErrAssignRedeemersInvalidData Redeemer String
     -- ^ Redeemer's data isn't a valid Plutus' data.
-    | ErrAssignRedeemersPastHorizon PastHorizonException
-    -- ^ Evaluating the Plutus script failed past the visible horizon.
     | ErrAssignRedeemersUnresolvedTxIns [TxIn]
     -- ^ The transaction contains inputs which couldn't be resolved.
     | ErrAssignRedeemersTranslationError String

lib/shelley/src/Cardano/Wallet/Shelley/Transaction.hs

@@ -90,6 +90,8 @@ import Cardano.Ledger.Era
     ( Crypto, Era, ValidateScript (..) )
 import Cardano.Ledger.Shelley.API
     ( StrictMaybe (..) )
+import Cardano.Slotting.EpochInfo
+    ( EpochInfo )
 import Cardano.Slotting.EpochInfo.API
     ( hoistEpochInfo )
 import Cardano.Wallet.CoinSelection
@@ -208,6 +210,8 @@ import Control.Monad.Trans.State.Strict
     ( StateT (..), execStateT, get, modify' )
 import Data.Bifunctor
     ( bimap )
+import Data.Either
+    ( fromRight )
 import Data.Function
     ( (&) )
 import Data.Functor
@@ -1170,6 +1174,20 @@ _assignScriptRedeemers pparams ti resolveInput redeemers tx =
                 modify' addScriptIntegrityHashBabbage
             pure $ Cardano.ShelleyTx ShelleyBasedEraBabbage babbageTx'
   where
+    epochInfo :: EpochInfo (Either T.Text)
+    epochInfo = hoistEpochInfo (left (T.pack . show) . runIdentity . runExceptT)
+        -- Because `TimeInterpreter` conflates the monad for fetching the
+        -- interpreter with the possibility of errors, we cope with this `error`
+        -- call for now. A nicer solution would be exposing either
+        -- `EpochInfo` or `Cardano.EraHistory` in the `NetworkLayer` directly,
+        -- or - perhaps at some point - reimagining the `TimeInterpreter`
+        -- abstraction.
+        $ fromRight
+            (error "`toEpochInfo ti` can never fail")
+            (toEpochInfo ti)
+
+    systemStart = getSystemStart ti
+
     -- | Assign redeemers with null execution units to the input transaction.
     --
     -- Redeemers are determined from the context given to the caller via the
@@ -1276,11 +1294,6 @@ _assignScriptRedeemers pparams ti resolveInput redeemers tx =
         let utxo = utxoFromAlonzoTx alonzoTx
         let pparams' = Cardano.toLedgerPParams Cardano.ShelleyBasedEraAlonzo pparams
         let costs = toCostModelsAsArray (Alonzo.unCostModels $ Alonzo._costmdls pparams')
-        let systemStart = getSystemStart ti
-
-        epochInfo <- hoistEpochInfo (left (T.pack . show . ErrAssignRedeemersPastHorizon) . runIdentity . runExceptT)
-            <$> left ErrAssignRedeemersPastHorizon (toEpochInfo ti)
-
         let res = evaluateTransactionExecutionUnits
                 pparams'
                 alonzoTx
@@ -1305,10 +1318,6 @@ _assignScriptRedeemers pparams ti resolveInput redeemers tx =
         let utxo = utxoFromBabbageTx babbageTx
         let pparams' = Cardano.toLedgerPParams Cardano.ShelleyBasedEraBabbage pparams
         let costs = toCostModelsAsArray (Alonzo.unCostModels $ Babbage._costmdls pparams')
-        let systemStart = getSystemStart ti
-
-        epochInfo <- hoistEpochInfo (left (T.pack . show . ErrAssignRedeemersPastHorizon) . runIdentity . runExceptT)
-            <$> left ErrAssignRedeemersPastHorizon (toEpochInfo ti)
 
         let res = evaluateTransactionExecutionUnits
                 pparams'

specifications/api/swagger.yaml

@@ -3287,7 +3287,7 @@ components:
         - new_passphrase
       properties:
         mnemonic_second_factor: *walletSecondFactor
-        mnemonic_sentence: 
+        mnemonic_sentence:
           <<: *walletMnemonicSentence
           description: The mnemonic list of words to restore the wallet
         new_passphrase: