Conformance failure: Empty withdrawals are valid in the spec but not in the implementation

[Soupstraw]

test.txt

[WhatisRT]

Ah, this is about treasury withdrawals, not the regular kind. This is one of those mechanisms that I'd rather have seen implemented in the mempool, but I guess it's what we have now.

What exactly does the implementation prevent here? The empty map and zeros in the map?

[Soupstraw]

Yeah, sorry, I meant treasury withdrawals. The implementation does not allow a treasury withdrawal that sums up to zero:

https://github.com/IntersectMBO/cardano-ledger/blob/master/eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Gov.hs#L509-L511