See discussion [here](https://github.com/tweag/cardano-canonical-ledger/pull/78#discussion_r2427994175).