Bumped the spec to include fixes to SecurityGroup parameters

cabal.project

@@ -24,8 +24,8 @@ source-repository-package
   -- !WARNING!:
   -- MAKE SURE THIS POINTS TO A COMMIT IN `MAlonzo-code` BEFORE MERGE!
   subdir: generated
-  --sha256: sha256-CebCHTM0lvIAJ5lx0LRcMEDeU4nGVWJlkvhJPE5tI9Y=
-  tag: 0f9eb79886f4d45a2cbb241af49b9e199735bd37
+  --sha256: sha256-MSQpX5wkb/LfgGw5sHl5g0DeHVAZF7oNxlM1sUOEB3Q=
+  tag: 9ea3e2123e89538fa89ce633db0652650f7291dc
 
 -- NOTE: If you would like to update the above, look for the `MAlonzo-code`
 -- branch in the `formal-ledger-specifications` repo and copy the SHA of

environment.yaml

@@ -0,0 +1,14 @@
+id: lazy-environments
+language: Haskell
+rule:
+  kind: strict_field
+  inside:
+    kind: data_type
+    stopBy: end
+    has:
+      field: name
+      regex: '.*Env$'
+  has:
+    field: type
+    pattern: $TYPE
+fix: ' $TYPE'

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

@@ -869,6 +869,15 @@ votingSpec =
             . constitutionAnchorL
       expectNoCurrentProposals
       conAnchor `shouldNotBe` anchor
+    it "can submit SPO votes" $ do
+      spoHash <- freshKeyHash
+      registerPool spoHash
+      passNEpochs 3
+      gaId <-
+        submitParameterChange SNothing $
+          def
+            & ppuMinFeeAL .~ SJust (Coin 100)
+      submitVote_ @era VoteYes (StakePoolVoter spoHash) gaId
 
 constitutionSpec ::
   forall era.

libs/cardano-ledger-conformance/src/Test/Cardano/Ledger/Conformance/SpecTranslate/Conway/Pool.hs

@@ -13,7 +13,6 @@ import Cardano.Ledger.CertState
 import Cardano.Ledger.Core
 import Cardano.Ledger.PoolParams
 import Cardano.Ledger.Shelley.Rules
-import Data.Map.Strict (mapKeys)
 import qualified Lib as Agda
 import Test.Cardano.Ledger.Conformance
 import Test.Cardano.Ledger.Conformance.SpecTranslate.Conway.Base ()
@@ -38,8 +37,8 @@ instance SpecTranslate ctx (PState era) where
 
   toSpecRep PState {..} =
     Agda.MkPState
-      <$> toSpecRep (mapKeys (hashToInteger . unKeyHash) psStakePoolParams)
-      <*> toSpecRep (mapKeys (hashToInteger . unKeyHash) psRetiring)
+      <$> toSpecRep psStakePoolParams
+      <*> toSpecRep psRetiring
 
 instance SpecTranslate ctx PoolCert where
   type SpecRep PoolCert = Agda.DCert

remove-extra-parens.yaml

@@ -0,0 +1,12 @@
+id: remove-extra-parens
+language: Haskell
+rule:
+  kind: field
+  all:
+  - has:
+      field: name
+      pattern: $NAME
+  - has:
+      field: type
+      pattern: ($TYPE)
+fix: '$NAME :: $TYPE'

sgconfig.yml

@@ -0,0 +1,2 @@
+ruleDirs:
+- ./rules