[wip] add new ledger traces

Author: geo2a

cardano-node/src/Cardano/Node/Tracing/Era/Shelley.hs

@@ -36,6 +36,7 @@ import           Cardano.Ledger.BaseTypes (Mismatch (..), activeSlotLog, strictM
 import           Cardano.Ledger.Chain
 import           Cardano.Ledger.Conway.Governance (govActionIdToText)
 import qualified Cardano.Ledger.Conway.Rules as Conway
+import qualified Cardano.Ledger.Dijkstra.Rules as Dijkstra
 import qualified Cardano.Ledger.Core as Ledger
 import qualified Cardano.Ledger.Hashes as Hashes
 import           Cardano.Ledger.Shelley.API
@@ -1195,6 +1196,37 @@ instance
   forMachine dtal (Conway.CertFailure certFailure) =
     forMachine dtal certFailure
 
+instance
+  ( LogFormatting (PredicateFailure (Ledger.EraRule "CERTS" ledgerera))
+  , LogFormatting (PredicateFailure (Ledger.EraRule "UTXOW" ledgerera))
+  , LogFormatting (PredicateFailure (Ledger.EraRule "GOV" ledgerera))
+  ) => LogFormatting (Dijkstra.DijkstraLedgerPredFailure ledgerera) where
+  forMachine _ = undefined -- TODO(geo2a)
+
+instance
+  (LogFormatting (PredicateFailure (Ledger.EraRule "CERTS" ledgerera))
+  ) => LogFormatting (Dijkstra.DijkstraGovCertPredFailure ledgerera) where
+  forMachine _ = undefined -- TODO(geo2a)
+
+instance
+  (LogFormatting (PredicateFailure (Ledger.EraRule "CERTS" ledgerera))
+  ) => LogFormatting (Dijkstra.DijkstraGovPredFailure ledgerera) where
+  forMachine _ = undefined -- TODO(geo2a)
+
+instance
+  (LogFormatting (PredicateFailure (Ledger.EraRule "UTXOW" ledgerera))
+  ) => LogFormatting (Dijkstra.DijkstraUtxowPredFailure ledgerera) where
+  forMachine _ = undefined -- TODO(geo2a)
+
+instance
+  (LogFormatting (PredicateFailure (Ledger.EraRule "CERTS" ledgerera))
+  ) => LogFormatting (Dijkstra.DijkstraBbodyPredFailure ledgerera) where
+  forMachine _ = undefined -- TODO(geo2a)
+
+instance
+  (LogFormatting (PredicateFailure (Ledger.EraRule "CERTS" ledgerera))
+  ) => LogFormatting (Dijkstra.DijkstraUtxoPredFailure ledgerera) where
+  forMachine _ = undefined -- TODO(geo2a)
 
 instance
   ( Ledger.Crypto crypto

cardano-node/src/Cardano/Tracing/OrphanInstances/Shelley.hs

@@ -38,6 +38,7 @@ import           Cardano.Ledger.Chain
 import           Cardano.Ledger.Conway.Governance (govActionIdToText)
 import           Cardano.Ledger.Conway.Rules (ConwayUtxosPredFailure)
 import qualified Cardano.Ledger.Conway.Rules as Conway
+import qualified Cardano.Ledger.Dijkstra.Rules as Dijkstra
 import qualified Cardano.Ledger.Core as Core
 import qualified Cardano.Ledger.Core as Ledger
 import qualified Cardano.Ledger.Hashes as Hashes
@@ -461,6 +462,37 @@ instance
       mconcat [ "kind" .= String "WithdrawalsNotInRewardsCERTS" , "incorrectWithdrawals" .= unWithdrawals incorrectWithdrawals ]
     Conway.CertFailure f -> toObject verb f
 
+instance
+  ( ToObject (PredicateFailure (Core.EraRule "CERTS" ledgerera))
+  , ToObject (PredicateFailure (Core.EraRule "UTXOW" ledgerera))
+  , ToObject (PredicateFailure (Core.EraRule "GOV" ledgerera))
+  ) => ToObject (Dijkstra.DijkstraLedgerPredFailure ledgerera) where
+  toObject _verb = undefined -- TODO(geo2a)
+
+instance
+  (ToObject (PredicateFailure (Core.EraRule "CERTS" ledgerera))
+  ) => ToObject (Dijkstra.DijkstraGovCertPredFailure ledgerera) where
+  toObject _verb = undefined -- TODO(geo2a)
+
+instance
+  (ToObject (PredicateFailure (Core.EraRule "CERTS" ledgerera))
+  ) => ToObject (Dijkstra.DijkstraGovPredFailure ledgerera) where
+  toObject _verb = undefined -- TODO(geo2a)
+
+instance
+  (ToObject (PredicateFailure (Core.EraRule "UTXOW" ledgerera))
+  ) => ToObject (Dijkstra.DijkstraUtxowPredFailure ledgerera) where
+  toObject _verb = undefined -- TODO(geo2a)
+
+instance
+  (ToObject (PredicateFailure (Core.EraRule "CERTS" ledgerera))
+  ) => ToObject (Dijkstra.DijkstraBbodyPredFailure ledgerera) where
+  toObject _verb = undefined -- TODO(geo2a)
+
+instance
+  (ToObject (PredicateFailure (Core.EraRule "CERTS" ledgerera))
+  ) => ToObject (Dijkstra.DijkstraUtxoPredFailure ledgerera) where
+  toObject _verb = undefined -- TODO(geo2a)
 
 instance
   ( Api.ShelleyLedgerEra era ~ ledgerera