Conformance failure: multiple failing cases

[carlostome]

This issues collects the remaining conformance imp test failures:

• [x] ENACT
  • [x] Treasury withdrawals/Withdrawals exceeding treasury submitted in a single proposal (#960)
  • [x] Treasury withdrawals/Withdrawals exceeding treasury submitted in several proposals within the same epoch (#960)
• [ ] LEDGER
  • [ ] Withdraw from a key delegated to a DRep that expired after delegation (combination of #929 and #923)
• [ ] RATIFY
  • [ ] Voting/Active voting stake/DRep/Rewards contribute to active voting stake even in the absence of StakeDistr (combination of #929, #992 and https://github.com/IntersectMBO/cardano-ledger/issues/5014)
  • [x] Voting/Active voting stake/Predefined DReps/AlwaysNoConfidence (see #635)
  • [ ] Voting/Active voting stake/StakePool/Rewards contribute to active voting stake even in the absence of StakeDistr (Might be related to https://github.com/IntersectMBO/cardano-ledger/issues/5420)
  • [x] Voting/Active voting stake/StakePool/Proposal deposits contribute to active voting stake/Directly (see #928)
  • [x] Voting/Active voting stake/StakePool/Proposal deposits contribute to active voting stake/After switching delegations (see #928)
• [ ] UTXO
  • [x] Certificates/Reg/UnReg collect and refund correct amounts (#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