Add EB links to EBGenerated event

data/simulation/trace.shared.d.ts

@@ -71,6 +71,7 @@ interface GeneratedEndorserBlock extends GeneratedBlockEvent {
     id: string;
     pipeline: number;
     input_blocks: BlockRef[];
+    endorser_blocks: BlockRef[];
 }
 
 interface GeneratedVote extends GeneratedBlockEvent {

data/simulation/trace.shared.schema.json

@@ -108,6 +108,12 @@
           },
           "type": "array"
         },
+        "endorser_blocks": {
+          "items": {
+            "$ref": "#/definitions/BlockRef"
+          },
+          "type": "array"
+        },
         "pipeline": {
           "type": "number"
         },
@@ -127,6 +133,7 @@
       "required": [
         "id",
         "input_blocks",
+        "endorser_blocks",
         "pipeline",
         "producer",
         "size_bytes",

leios-trace-hs/src/LeiosEvents.hs

@@ -119,6 +119,7 @@ data Event where
     , pipeline :: !PipelineNo
     , bytes :: !Word64
     , input_blocks :: ![BlockRef]
+    , endorser_blocks :: ![BlockRef]
     } ->
     Event
   RBGenerated ::

leios-trace-verifier/hs-src/test/Spec/Transition.hs

@@ -214,6 +214,7 @@ transition GenerateEB =
     pipeline <- uses stageLength $ (slot `div`) . fromIntegral
     bytes <- lift arbitrary
     input_blocks <- lift . sublistOf =<< uses ibs (fmap BlockRef . S.toList)
+    endorser_blocks <- lift . sublistOf =<< uses ebs (fmap BlockRef . S.toList)
     pure [EBGenerated{..}]
 transition ReceiveEB =
   do

simulation/src/LeiosProtocol/Short/Sim.hs

@@ -355,6 +355,7 @@ sharedEvent leios nodeNames e = case e of
         Shared.EBGenerated
           { bytes = fromIntegral (messageSizeBytes eb)
           , input_blocks = map (Shared.BlockRef . T.pack . mkStringId) eb.inputBlocks
+          , endorser_blocks = map (Shared.BlockRef . T.pack . mkStringId) eb.endorseBlocksEarlierPipeline
           , pipeline = coerce $ endorseBlockPipeline leios eb
           , ..
           }