Refactor gov/proposals/v0 namespace definition to include the proposal order

Author: joaosreis

cabal.project

@@ -104,8 +104,8 @@ source-repository-package
   type: git
   location: https://github.com/tweag/cardano-cls.git
   subdir: merkle-tree-incremental mempack-scls scls-cbor scls-cardano scls-format scls-core
-  --sha256: sha256-BoAotLgxMipOIMcZrmlr6EtQzqC5HyEA0ZpK8nvCmJs=
-  tag: 5161deb34247a51160f2e8d58b6cc2d48044ea2c
+  --sha256: sha256-fasMDDKpCU9P0PALMOpX4Vutt9EZfmPdMRldEEPiTII=
+  tag: b607576e149318518c8de7136bcd908551d4bc27
 
 constraints:
   -- Happy version 2.2.1 fails to compile haskell-src-exts

libs/cardano-ledger-canonical-state/src/Cardano/Ledger/CanonicalState/Namespace/GovProposals/V0.hs

@@ -41,7 +41,7 @@ import Cardano.SCLS.Versioned (Versioned (..))
 import Data.MemPack
 import Data.MemPack.ByteOrdered
 import Data.Proxy (Proxy (..))
-import Data.Word (Word16)
+import Data.Word (Word16, Word64)
 import GHC.Generics (Generic)
 
 newtype CanonicalGovActionIx = CanonicalGovActionIx Word16
@@ -76,9 +76,7 @@ instance IsKey GovProposalIn where
     gaidGovActionIx <- unpackM
     return $ GovProposalIn CanonicalGovActionId {..}
 
--- | Canonical wrapper over gov action state. Because this is on-chain data
--- we create a wrapper for that.
-newtype GovProposalOut v = GovProposalOut v
+newtype GovProposalOut v = GovProposalOut (Word64, v)
   deriving (Eq, Show, Generic)
   deriving newtype (ToCanonicalCBOR "gov/proposals/v0")
   deriving newtype (FromCanonicalCBOR "gov/proposals/v0")