Alexey Kuleshevich

Looks like we might be able to get it done for the next intra-era hard fork

Another reproducer from [CI](https://github.com/IntersectMBO/cardano-ledger/actions/runs/12756869517/job/35558458440?pr=4811#step:14:114): ``` Use --quickcheck-replay="(SMGen 9691748105170960432 18368457056822691145,71)" to reproduce. Use -p '/Only valid CHAIN STS signals are generated/' to rerun this test only. ```

One more reproducer in `cardano-ledger-shelley`: ``` Only valid CHAIN STS signals are generated: FAIL (114.84s) *** Failed! (after 74 tests and 1 shrink): Exception while generating shrink-list: AssertionViolation (ShelleyLEDGER ShelleyEra)...

From the looks of it is that during generation of random data we are doing too many discards and looks like a 1000 discards is a limit. Maybe @Soupstraw has...

One more reproducer from: https://github.com/IntersectMBO/cardano-ledger/actions/runs/12551960858/job/34998743498?pr=4815 ``` This failure can be reproduced by running: > recheckAt (Seed 9535376334929010916 17341373825005128865) "84:a8NkJ5kJ5kLk3BAgT2jGbbHjKjGjGiGuGhG3hG4hLbnBH46" ts_prop_updateUTxO_Valid Use "--pattern '$NF ~ /ts_prop_updateUTxO_Valid/' --hedgehog-replay '84:a8NkJ5kJ5kLk3BAgT2jGbbHjKjGjGiGuGhG3hG4hLbnBH46 Seed 9535376334929010916 17341373825005128865'"...

This is a noble goal. However, it is one that requires an enormous amount of work. I can tell this for a fact from experience of trying to implement conformance...

> It may sound counter-intuitive, but it would be really useful for unboxing structures that contain some boxed data. I had similar thoughts a while ago, but never really had...

My personal opinion is that Unbox instances can already be implemented in any way a user wishes them to be implemented, because there are currently no formal laws that describe...

> I think it would be better to make all uses of foldl' from Foldable unqualified, and where there's an ambiguity with one of the specialized versions (eg from Set)...

Yes, Plutus with different versions are guaranteed to have distinct hashes. It can still be a problem for scripts of the same plutus version. We had already ran into something...