I set this PR to be a Draft PR because EBGenerated is an event in the shared schema. I'm not sure if that needs to be updated as part of this PR, and if so, I think @SupernaviX would need to push a commit adding it to the Rust simulator as well?

@yveshauser do you have any advice about how to fix this CI failure on this PR? Perhaps it'd make sense for you to push an Agda commit to it? https://github.com/input-output-hk/ouroboros-leios/actions/runs/15734666849/job/44344067399?pr=416

• I renamed it to endorser_blocks, since I just found the parsing code in the trace-processor code that anticipates a field of that name.
• I added my best-guess of the necessary change to leios-trace-verifier:Spec.Transition. But that code is not included in the cabal.project file, and I don't know why not.

I set this PR to be a Draft PR because EBGenerated is an event in the shared schema. I'm not sure if that needs to be updated as part of this PR, and if so, I think @SupernaviX would need to push a commit adding it to the Rust simulator as well?

The rust simulation already includes this endorser_blocks field (I'd assumed the haskell sim had it as well). So it's safe to add to the shared trace schema.

I updated the schema files and rebased onto main.