Try #2100:

lib/shelley/src/Cardano/Wallet/Shelley/Compatibility.hs

@@ -88,6 +88,8 @@ module Cardano.Wallet.Shelley.Compatibility
 
       -- * Utilities
     , invertUnitInterval
+    , interval0
+    , interval1
     ) where
 
 import Prelude
@@ -159,6 +161,8 @@ import Data.Proxy
     ( Proxy )
 import Data.Quantity
     ( Percentage, Quantity (..), mkPercentage )
+import Data.Ratio
+    ( (%) )
 import Data.Text
     ( Text )
 import Data.Text.Class
@@ -206,7 +210,7 @@ import Ouroboros.Network.NodeToClient
 import Ouroboros.Network.Point
     ( WithOrigin (..) )
 import Shelley.Spec.Ledger.BaseTypes
-    ( strictMaybeToMaybe, urlToText )
+    ( interval0, strictMaybeToMaybe, urlToText )
 import Type.Reflection
     ( Typeable, typeRep )
 
@@ -1093,3 +1097,6 @@ instance Buildable LocalAddress where
 --
 invertUnitInterval :: SL.UnitInterval -> SL.UnitInterval
 invertUnitInterval = SL.truncateUnitInterval . (1 - ) . SL.intervalValue
+
+interval1 :: SL.UnitInterval
+interval1 = SL.truncateUnitInterval (1 % 1)

lib/shelley/src/Cardano/Wallet/Shelley/Launch.hs

@@ -1139,7 +1139,7 @@ moveInstantaneousRewardsTo tr dir targets = do
         stakeCert <- issueStakeCert tr dir pub stakeVK
         void $ cli tr
             [ "shelley", "governance", "create-mir-certificate"
-            , "--treasury"
+            , "--reserves"
             , "--reward", show reward
             , "--stake-verification-key-file", stakeVK
             , "--out-file", mirCert

lib/shelley/test/unit/Cardano/Wallet/Shelley/CompatibilitySpec.hs

@@ -54,6 +54,8 @@ import Cardano.Wallet.Shelley.Compatibility
     , TPraosStandardCrypto
     , decentralizationLevelFromPParams
     , fromTip
+    , interval0
+    , interval1
     , invertUnitInterval
     , toCardanoHash
     , toPoint
@@ -198,10 +200,10 @@ spec = do
                 checkCoverage $ property $ \i ->
                     let half = SL.truncateUnitInterval (1 % 2) in
                     cover 10 (i == half) "i = 0.5" $
-                    cover 10 (i == SL.interval0) "i = 0" $
-                    cover 10 (i == SL.interval1) "i = 1" $
-                    cover 10 (i > SL.interval0 && i < half) "0 < i < 0.5" $
-                    cover 10 (half < i && i < SL.interval1) "0.5 < i < 1"
+                    cover 10 (i == interval0) "i = 0" $
+                    cover 10 (i == interval1) "i = 1" $
+                    cover 10 (i > interval0 && i < half) "0 < i < 0.5" $
+                    cover 10 (half < i && i < interval1) "0.5 < i < 1"
                     True
 
             it "invertUnitInterval . invertUnitInterval == id" $
@@ -214,10 +216,10 @@ spec = do
                         `shouldBe` 1
 
             it "invertUnitInterval interval0 == interval1" $
-                invertUnitInterval SL.interval0 `shouldBe` SL.interval1
+                invertUnitInterval interval0 `shouldBe` interval1
 
             it "invertUnitInterval interval1 == interval0" $
-                invertUnitInterval SL.interval1 `shouldBe` SL.interval0
+                invertUnitInterval interval1 `shouldBe` interval0
 
             it "invertUnitInterval half == half" $
                 let half = SL.truncateUnitInterval (1 % 2) in
@@ -251,8 +253,8 @@ epochLength = EpochLength 10
 
 instance Arbitrary SL.UnitInterval where
     arbitrary = oneof
-        [ pure SL.interval0
-        , pure SL.interval1
+        [ pure interval0
+        , pure interval1
         , pure $ SL.truncateUnitInterval (1 % 2)
         , SL.truncateUnitInterval . (% 1000) <$> choose (0, 1000)
         ]