Conformance failure: multiple failing cases

[carlostome]

This issues collects the remaining conformance imp test failures:

• ENACT
  • Treasury withdrawals/Withdrawals exceeding treasury submitted in a single proposal (Acnt passed to RATIFY in EPOCH does not contain donations #960)
  • Treasury withdrawals/Withdrawals exceeding treasury submitted in several proposals within the same epoch (Acnt passed to RATIFY in EPOCH does not contain donations #960)
• LEDGER
  • Withdraw from a key delegated to a DRep that expired after delegation (combination of DRep expiration is "bumped" when there are no proposals even if the DRep has already expired #929 and Conformance failure: bump of DRep's expiration epoch when there is only one expired proposal #923)
• RATIFY
  • Voting/Active voting stake/DRep/Rewards contribute to active voting stake even in the absence of StakeDistr (combination of DRep expiration is "bumped" when there are no proposals even if the DRep has already expired #929, Refactor accepted by CC #992 and Inconsistent voting stake calculation when compared to leader election cardano-ledger#5014)
  • Voting/Active voting stake/Predefined DReps/AlwaysNoConfidence (see Conformance failure: DRep delegations are not removed after the DRep is deregistered #635)
  • Voting/Active voting stake/StakePool/Rewards contribute to active voting stake even in the absence of StakeDistr (Might be related to SPO ratification takes less epochs than expected cardano-ledger#5420)
  • Voting/Active voting stake/StakePool/Proposal deposits contribute to active voting stake/Directly (see Governance deposits do not count towards the stake of SPOs wrt voting purposes #928)
  • Voting/Active voting stake/StakePool/Proposal deposits contribute to active voting stake/After switching delegations (see Governance deposits do not count towards the stake of SPOs wrt voting purposes #928)
• UTXO
  • Certificates/Reg/UnReg collect and refund correct amounts (Agda spec doesn't remove vote delegations when unregistering dreps #949)

To execute any of these tests run:

cabal test cardano-ledger-conformance --test-options='--match "PATTERN"'

where PATTERN is any of the items in the list.

[WhatisRT]

Here's the deposits bug: it should be acnt'' in RatifyEnv at https://github.com/IntersectMBO/formal-ledger-specifications/blob/master/src/Ledger/Conway/Specification/Epoch.lagda.md?plain=1#L732