Adjust semantics of ConwayWdrlNotDelegatedToDRep

eras/conway/impl/CHANGELOG.md

@@ -8,6 +8,10 @@
 
 * Add `whenBootstrap`
 
+## 1.17.2.0
+
+* Change the state used for `ConwayWdrlNotDelegatedToDRep` predicate failure checking
+
 ## 1.17.1.0
 
 * Add `processDelegation`

eras/conway/impl/src/Cardano/Ledger/Conway/Rules/Ledger.hs

@@ -417,17 +417,15 @@ ledgerTransition = do
             committee = govState ^. committeeGovStateL
             proposals = govState ^. proposalsGovStateL
             committeeProposals = proposalsWithPurpose grCommitteeL proposals
-        certStateAfterCERTS <-
-          trans @(EraRule "CERTS" era) $
-            TRC
-              ( CertsEnv tx pp slot currentEpoch committee committeeProposals
-              , certState
-              , StrictSeq.fromStrict $ txBody ^. certsTxBodyL
-              )
 
-        -- Starting with version 10, we don't allow withdrawals into RewardAcounts that are KeyHashes and not delegated to Dreps
+        -- Starting with version 10, we don't allow withdrawals into RewardAcounts that are
+        -- KeyHashes and not delegated to Dreps.
+        --
+        -- We also need to make sure we are using the certState before certificates are applied,
+        -- because otherwise it would not be possible to unregister a reward account and withdraw
+        -- all funds from it in the same transaction.
         unless (HF.bootstrapPhase (pp ^. ppProtocolVersionL)) $ do
-          let dUnified = dsUnified $ certDState certStateAfterCERTS
+          let dUnified = dsUnified $ certDState certState
               wdrls = unWithdrawals $ tx ^. bodyTxL . withdrawalsTxBodyL
               delegatedAddrs = DRepUView dUnified
               wdrlsKeyHashes =
@@ -437,6 +435,14 @@ ledgerTransition = do
                 Set.filter (not . (`UMap.member` delegatedAddrs) . KeyHashObj) wdrlsKeyHashes
           failOnNonEmpty nonExistentDelegations ConwayWdrlNotDelegatedToDRep
 
+        certStateAfterCERTS <-
+          trans @(EraRule "CERTS" era) $
+            TRC
+              ( CertsEnv tx pp slot currentEpoch committee committeeProposals
+              , certState
+              , StrictSeq.fromStrict $ txBody ^. certsTxBodyL
+              )
+
         -- Votes and proposals from signal tx
         let govSignal =
               GovSignal

eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/LedgerSpec.hs

@@ -118,6 +118,31 @@ spec = do
     ifBootstrap (submitTx_ tx >> (lookupReward cred `shouldReturn` mempty)) $ do
       submitFailingTx tx [injectFailure $ ConwayWdrlNotDelegatedToDRep [kh]]
 
+  it "Withdraw and unregister staking credential in the same transaction" $ do
+    refund <- getsNES $ nesEsL . curPParamsEpochStateL . ppKeyDepositL
+    kh <- freshKeyHash
+    let cred = KeyHashObj kh
+    ra <- registerStakeCredential cred
+    Positive newDeposit <- arbitrary
+    modifyPParams $ \pp ->
+      pp
+        & ppGovActionLifetimeL .~ EpochInterval 2
+        & ppKeyDepositL .~ Coin newDeposit
+
+    submitAndExpireProposalToMakeReward cred
+    reward <- lookupReward cred
+
+    (drep, _, _) <- setupSingleDRep 1_000_000
+
+    _ <- delegateToDRep cred (Coin 1_000_000) (DRepCredential drep)
+
+    let tx =
+          mkBasicTx $
+            mkBasicTxBody
+              & certsTxBodyL .~ [UnRegDepositTxCert cred refund]
+              & (withdrawalsTxBodyL .~ Withdrawals [(ra, reward)])
+    submitTx_ tx
+
   it "Withdraw from a key delegated to an expired DRep" $ do
     modifyPParams $ \pp ->
       pp

eras/shelley/impl/testlib/Test/Cardano/Ledger/Shelley/ImpTest.hs

@@ -685,7 +685,7 @@ instance
                 & ppMaxBBSizeL .~ 65536
                 & ppMaxTxSizeL .~ 16384
                 & ppKeyDepositL .~ Coin 2_000_000
-                & ppKeyDepositL .~ Coin 500_000_000
+                & ppPoolDepositL .~ Coin 500_000_000
                 & ppEMaxL .~ EpochInterval 18
                 & ppNOptL .~ 150
                 & ppA0L .~ (3 %! 10)