Question: can I consider leafs in QuorumProposalValidated committed?

[pysel]

I am trying to integrate hotshot with evm. I have been reading the codebase, searching for a place where a set of transactions can be considered committed. My current guess is that the specific set of transactions is committed in this block of code: https://github.com/EspressoSystems/HotShot/blob/0.5.79/crates/task-impls/src/quorum_vote/handlers.rs#L42-L56 (using latest release - 0.5.79).

Is it correct? If not, where can I look to get a set of committed transactions / a committed block?

Thanks in advance!

[pysel]

cc: @rob-maron :)