Implement SupportsTwoPhaseValidation instance for DijkstraEra

Author: teodanciu

ouroboros-consensus-cardano/src/shelley/Ouroboros/Consensus/Shelley/Eras.hs

@@ -53,6 +53,10 @@ import qualified Cardano.Ledger.Conway.Rules as SL
   )
 import qualified Cardano.Ledger.Conway.State as CG
 import Cardano.Ledger.Dijkstra (DijkstraEra)
+import qualified Cardano.Ledger.Dijkstra.Rules as Dijkstra
+import qualified Cardano.Ledger.Dijkstra.Rules as SL
+  (DijkstraLedgerPredFailure (..)
+  )
 import Cardano.Ledger.Mary (MaryEra)
 import Cardano.Ledger.Shelley (ShelleyEra)
 import qualified Cardano.Ledger.Shelley.API as SL
@@ -317,4 +321,14 @@ instance SupportsTwoPhaseValidation ConwayEra where
     _ -> False
 
 instance SupportsTwoPhaseValidation DijkstraEra where
-  isIncorrectClaimedFlag _ = error "TODO(ledger)"
+  isIncorrectClaimedFlag _ = \case
+    SL.DijkstraUtxowFailure
+      ( Dijkstra.UtxoFailure
+          ( Dijkstra.UtxosFailure
+              ( Conway.ValidationTagMismatch
+                  (Alonzo.IsValid _claimedFlag)
+                  _validationErrs
+                )
+            )
+        ) -> True
+    _ -> False