Update hprop_ledger_events_propose_new_constitution to work with the new checks

Author: palas

.gitattributes

@@ -6,3 +6,4 @@ configuration/cardano/mainnet-byron-genesis.json text eol=lf
 configuration/cardano/mainnet-conway-genesis.json text eol=lf
 configuration/cardano/mainnet-shelley-genesis.json text eol=lf
 cardano-testnet/test/cardano-testnet-test/files/sample-proposal-anchor text eol=lf
+cardano-testnet/test/cardano-testnet-test/files/sample-constitution-anchor text eol=lf

cardano-testnet/test/cardano-testnet-test/Cardano/Testnet/Test/Gov/ProposeNewConstitution.hs

@@ -30,8 +30,10 @@ import           Data.String
 import qualified Data.Text as Text
 import           GHC.Exts (IsList (..))
 import           Lens.Micro
+import           System.Directory (makeAbsolute)
 import           System.FilePath ((</>))
 
+import           Test.Cardano.CLI.Hash (serveFilesWhile)
 import           Testnet.Components.Configuration
 import           Testnet.Components.Query
 import           Testnet.Defaults
@@ -40,7 +42,7 @@ import           Testnet.Process.Cli.DRep
 import           Testnet.Process.Cli.Keys
 import           Testnet.Process.Cli.SPO (createStakeKeyRegistrationCertificate)
 import           Testnet.Process.Cli.Transaction
-import           Testnet.Process.Run (execCli', mkExecConfig)
+import           Testnet.Process.Run (addEnvVarsToConfig, execCli', mkExecConfig)
 import           Testnet.Property.Util (integrationWorkspace)
 import           Testnet.Start.Types
 import           Testnet.Types
@@ -102,21 +104,19 @@ hprop_ledger_events_propose_new_constitution = integrationWorkspace "propose-new
 
   -- Create Conway constitution
   gov <- H.createDirectoryIfMissing $ work </> "governance"
-  proposalAnchorFile <- H.note $ gov </> "sample-proposal-anchor"
-  constitutionFile <- H.note $ gov </> "sample-constitution"
   constitutionActionFp <- H.note $ gov </> "constitution.action"
 
-  H.writeFile proposalAnchorFile $
-    unlines [ "These are the reasons:  " , "" , "1. First" , "2. Second " , "3. Third" ]
-  H.copyFile
-    "test/cardano-testnet-test/files/input/sample-constitution.txt"
-    constitutionFile
+  let proposalAnchorDataIpfsHash = "QmexFJuEn5RtnHEqpxDcqrazdHPzAwe7zs2RxHLfMH5gBz"
+  proposalAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+  let constitutionAnchorDataIpfsHash = "QmXGkenkhh3NsotVwbNGToGsPuvJLgRT9aAz5ToyKAqdWP"
+  constitutionAnchorFile <- H.noteM $ liftIO $ makeAbsolute $ "test" </> "cardano-testnet-test" </> "files" </> "sample-proposal-anchor"
+
   constitutionHash <- execCli' execConfig
-    [ "hash", "anchor-data", "--file-text", constitutionFile
+    [ "hash", "anchor-data", "--file-binary", constitutionAnchorFile
     ]
 
   proposalAnchorDataHash <- execCli' execConfig
-    [ "hash", "anchor-data", "--file-text", proposalAnchorFile
+    [ "hash", "anchor-data", "--file-binary", proposalAnchorFile
     ]
 
   -- Register stake address
@@ -169,33 +169,48 @@ hprop_ledger_events_propose_new_constitution = integrationWorkspace "propose-new
       , "--script-file", guardRailScriptFp
       ]
 
-  minDRepDeposit <- getMinDRepDeposit epochStateView ceo
-  void $ execCli' execConfig
-    [ "conway", "governance", "action", "create-constitution"
-    , "--testnet"
-    , "--governance-action-deposit", show minDRepDeposit
-    , "--deposit-return-stake-verification-key-file", verificationKeyFp stakeKeys
-    , "--anchor-url", "https://tinyurl.com/3wrwb2as"
-    , "--anchor-data-hash", proposalAnchorDataHash
-    , "--constitution-url", "https://tinyurl.com/2pahcy6z"
-    , "--constitution-hash", constitutionHash
-    , "--constitution-script-hash", constitutionScriptHash
-    , "--out-file", constitutionActionFp
-    ]
+  let relativeUrlProposal = ["ipfs", proposalAnchorDataIpfsHash]
+      relativeUrlConstitution = ["ipfs", constitutionAnchorDataIpfsHash]
 
   txbodyFp <- H.note $ work </> "tx.body"
+  minDRepDeposit <- getMinDRepDeposit epochStateView ceo
 
-  H.noteShowM_ $ waitForBlocks epochStateView 1
-  txin2 <- findLargestUtxoForPaymentKey epochStateView sbe wallet1
-
-  void $ execCli' execConfig
-    [ "conway", "transaction", "build"
-    , "--change-address", Text.unpack $ paymentKeyInfoAddr wallet1
-    , "--tx-in", Text.unpack $ renderTxIn txin2
-    , "--tx-out", Text.unpack (paymentKeyInfoAddr wallet0) <> "+" <> show @Int 5_000_000
-    , "--proposal-file", constitutionActionFp
-    , "--out-file", txbodyFp
+  -- Create temporary HTTP server with files required by the call to `cardano-cli`
+  -- In this case, the server emulates an IPFS gateway
+  serveFilesWhile
+    [ (relativeUrlProposal, proposalAnchorFile)
+    , (relativeUrlConstitution, constitutionAnchorFile)
     ]
+    ( \port -> do
+        let execConfig' = addEnvVarsToConfig execConfig [("IPFS_GATEWAY_URI", "http://localhost:" ++ show port ++ "/")]
+
+        void $ execCli' execConfig'
+          [ "conway", "governance", "action", "create-constitution"
+          , "--testnet"
+          , "--governance-action-deposit", show minDRepDeposit
+          , "--deposit-return-stake-verification-key-file", verificationKeyFp stakeKeys
+          , "--anchor-url", "ipfs://" ++ proposalAnchorDataIpfsHash
+          , "--anchor-data-hash", proposalAnchorDataHash
+          , "--check-anchor-data"
+          , "--constitution-url", "ipfs://" ++ constitutionAnchorDataIpfsHash
+          , "--constitution-hash", constitutionHash
+          , "--check-constitution-hash"
+          , "--constitution-script-hash", constitutionScriptHash
+          , "--out-file", constitutionActionFp
+          ]
+
+        H.noteShowM_ $ waitForBlocks epochStateView 1
+        txin2 <- findLargestUtxoForPaymentKey epochStateView sbe wallet1
+
+        void $ execCli' execConfig'
+          [ "conway", "transaction", "build"
+          , "--change-address", Text.unpack $ paymentKeyInfoAddr wallet1
+          , "--tx-in", Text.unpack $ renderTxIn txin2
+          , "--tx-out", Text.unpack (paymentKeyInfoAddr wallet0) <> "+" <> show @Int 5_000_000
+          , "--proposal-file", constitutionActionFp
+          , "--out-file", txbodyFp
+          ]
+    )
 
   signedProposalTx <- signTx execConfig cEra gov "signed-proposal"
                            (File txbodyFp) [Some $ paymentKeyInfoPair wallet1]

cardano-testnet/test/cardano-testnet-test/files/sample-constitution-anchor

@@ -0,0 +1,50 @@
+Preamble
+
+We, the zaniest inhabitants of the peculiar and bewildering land of Barataria, in honor of our illustrious Governor, Sancho Panza, renowned for his comically charming ordinances, do hereby present this Constitution to tickle your fancy and uphold the values of laughter, merriment, and the pursuit of hilarity for all our citizens.
+
+Article I: The Right to Absurdity
+
+Wine-Watering Rights: Every Baratarian shall have the inalienable right to water down their wine as they see fit, provided they can still manage a tipsy jig.
+
+Fashion Freedom: Citizens are encouraged to dress inappropriately for the sheer joy of it, as long as it does not involve the use of sharp objects, poisonous animals, or explosives.
+
+Article II: The Role of Government: Keeping It Lighthearted
+
+Official Clown: There shall be an official court jester whose duty is to make the Governor laugh at least once a day. Failure to amuse may result in banishment to a neighboring kingdom.
+
+Puns and Pranks: All government proceedings shall include at least one pun and one harmless prank per session to maintain the mirthful spirit of Barataria.
+
+Article III: The Economic Circus
+
+Foolish Redistribution: The government shall engage in a monthly "wealth lottery," redistributing riches by catapulting bags of gold into the air and letting them fall where they may.
+
+Tax Deductions for Silly Hats: Citizens who wear absurd hats shall receive generous tax deductions, fostering creativity and fashion-forward thinking.
+
+Article IV: Justice, Comedy, and the Absurd
+
+Trial by Tickling: In the interest of justice and merriment, all trials shall include a "tickle test" to determine guilt or innocence. Giggles are considered a sign of innocence.
+
+Innocent Until Proven Clueless: It shall be presumed that every Baratarian is innocent of any wrongdoing until they can convincingly demonstrate their utter cluelessness in court.
+
+Article V: Education and Clown Colleges
+
+Clown Colleges for All: Barataria shall establish Clown Colleges to ensure that every citizen has the opportunity to master the art of clowning and perform slapstick humor.
+
+Silly Science: Research grants shall be awarded to projects that explore the science of whoopee cushions, banana peels, and rubber chickens.
+
+Article VI: Defense and Pranks
+
+Pillow Fort Defense: Barataria's defense strategy shall revolve around building impregnable pillow forts and inviting would-be invaders to epic pillow fights to resolve conflicts.
+
+War Declarations through Whoopie Cushions: Before declaring war, Barataria shall send a diplomatic envoy to the offending nation armed only with whoopee cushions to express our discontent.
+
+Article VII: Amendments and Clown-novations
+
+Whimsical Amendments: Amendments to this Constitution shall be proposed in the form of a joke or a riddle, and they must receive a hearty laugh from at least three-quarters of the citizens to be adopted.
+Article VIII: Final Pratfalls
+
+Ratification with a Pie in the Face: This Constitution shall be ratified in a grand ceremony involving a pie in the face of the official ratifier, ensuring a silly and sticky beginning for Barataria.
+
+Effective Clowning Date: This Constitution shall come into effect immediately upon the eruption of the first uncontrollable fit of laughter.
+
+In witness whereof, we, the undersigned jesters, pranksters, and merrymakers, do hereby establish and adopt this Constitution to make Barataria a haven of hilarity, where laughter reigns supreme, and seriousness is only allowed on April Fool's Day.