constitution: Add executable that creates json envelope (#6267)

Co-authored-by: Jamie Bertram <[email protected]>

cardano-constitution/cardano-constitution.cabal

@@ -127,3 +127,13 @@ test-suite cardano-constitution-test
  , tasty-hunit
  , tasty-json
  , tasty-quickcheck
+
+executable create-json-envelope
+ import: lang, ghc-version-support, os-support
+ hs-source-dirs: create-json-envelope
+ main-is: Main.hs
+ build-depends:
+ , base
+ , cardano-api ^>=8.48
+ , cardano-constitution
+ , plutus-ledger-api

cardano-constitution/create-json-envelope/Main.hs

@@ -0,0 +1,26 @@
+-- editorconfig-checker-disable-file
+{-# LANGUAGE OverloadedStrings #-}
+module Main where
+
+import Cardano.Api (File (..), PlutusScriptV3, PlutusScriptVersion (PlutusScriptV3),
+ Script (PlutusScript), writeFileTextEnvelope)
+import Cardano.Api.Shelley (PlutusScript (PlutusScriptSerialised))
+import Cardano.Constitution.Validator.Sorted (defaultConstitutionCode)
+import PlutusLedgerApi.Common (serialiseCompiledCode)
+import System.Environment (getArgs)
+import System.Exit
+
+main :: IO ()
+main = do
+ args <- getArgs
+ case args of
+ [file] -> either (error . show) pure
+ =<< writeFileTextEnvelope (File file) (Just "*BE CAREFUL* that this is compiled from a release commit of plutus and not from master") compiledScript
+ _ -> die "USAGE: create-json-envelope OUT_FILE"
+
+compiledScript :: Script PlutusScriptV3
+compiledScript =
+ PlutusScript PlutusScriptV3
+ . PlutusScriptSerialised
+ . serialiseCompiledCode
+ $ defaultConstitutionCode

cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.cbor.size.golden

@@ -1 +1 @@
-2095
+2117

cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.large.budget.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 584116400, exBudgetMemory = ExMemory 2883157}
+ExBudget {exBudgetCPU = ExCPU 592788400, exBudgetMemory = ExMemory 2937357}

cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.pir.golden

@@ -139,14 +139,14 @@
  go ds
  !`$fOrdInteger_$ccompare` : integer -> integer -> Ordering
  = \(eta : integer) (eta : integer) ->
- ifThenElse
+ Bool_match
+ (ifThenElse {Bool} (equalsInteger eta eta) True False)
  {all dead. Ordering}
- (equalsInteger eta eta)
  (/\dead -> EQ)
  (/\dead ->
- ifThenElse
+ Bool_match
+ (ifThenElse {Bool} (lessThanEqualsInteger eta eta) True False)
  {all dead. Ordering}
- (lessThanEqualsInteger eta eta)
  (/\dead -> LT)
  (/\dead -> GT)
  {all dead. dead})
@@ -174,24 +174,24 @@
  letrec
  !euclid : integer -> integer -> integer
  = \(x : integer) (y : integer) ->
- ifThenElse
+ Bool_match
+ (ifThenElse {Bool} (equalsInteger 0 y) True False)
  {all dead. integer}
- (equalsInteger 0 y)
  (/\dead -> x)
  (/\dead -> euclid y (modInteger x y))
  {all dead. dead}
  in
  letrec
  !unsafeRatio : integer -> integer -> Rational
  = \(n : integer) (d : integer) ->
- ifThenElse
+ Bool_match
+ (ifThenElse {Bool} (equalsInteger 0 d) True False)
  {all dead. Rational}
- (equalsInteger 0 d)
  (/\dead -> error {Rational})
  (/\dead ->
- ifThenElse
+ Bool_match
+ (ifThenElse {Bool} (lessThanInteger d 0) True False)
  {all dead. Rational}
- (lessThanInteger d 0)
  (/\dead ->
  unsafeRatio (subtractInteger 0 n) (subtractInteger 0 d))
  (/\dead ->
@@ -252,16 +252,24 @@
  (\(x : integer) (y : integer) ->
  ifThenElse {Bool} (lessThanInteger x y) False True)
  (\(x : integer) (y : integer) ->
- ifThenElse
+ Bool_match
+ (ifThenElse
+ {Bool}
+ (lessThanEqualsInteger x y)
+ True
+ False)
  {all dead. integer}
- (lessThanEqualsInteger x y)
  (/\dead -> y)
  (/\dead -> x)
  {all dead. dead})
  (\(x : integer) (y : integer) ->
- ifThenElse
+ Bool_match
+ (ifThenElse
+ {Bool}
+ (lessThanEqualsInteger x y)
+ True
+ False)
  {all dead. integer}
- (lessThanEqualsInteger x y)
  (/\dead -> x)
  (/\dead -> y)
  {all dead. dead}))
@@ -284,9 +292,13 @@
  ds
  {Bool}
  (\(n' : integer) (d' : integer) ->
- ifThenElse
+ Bool_match
+ (ifThenElse
+ {Bool}
+ (equalsInteger n n')
+ True
+ False)
  {all dead. Bool}
- (equalsInteger n n')
  (/\dead ->
  ifThenElse
  {Bool}
@@ -5307,11 +5319,15 @@
  (unConstrData ds))))
  ~si : pair integer (list data) = unConstrData ds
  in
- ifThenElse
+ Bool_match
+ (ifThenElse
+ {Bool}
+ (equalsInteger
+ 5
+ (fstPair {integer} {list data} si))
+ True
+ False)
  {all dead. data}
- (equalsInteger
- 5
- (fstPair {integer} {list data} si))
  (/\dead ->
  headList
  {data}
@@ -5323,9 +5339,9 @@
  ~ds : pair integer (list data) = unConstrData ds
  !x : integer = fstPair {integer} {list data} ds
  in
- ifThenElse
+ Bool_match
+ (ifThenElse {Bool} (equalsInteger 0 x) True False)
  {all dead. Maybe (List (Tuple2 data data))}
- (equalsInteger 0 x)
  (/\dead ->
  Just
  {List (Tuple2 data data)}
@@ -5335,9 +5351,9 @@
  {data}
  (tailList {data} (sndPair {integer} {list data} ds))))))
  (/\dead ->
- ifThenElse
+ Bool_match
+ (ifThenElse {Bool} (equalsInteger 2 x) True False)
  {all dead. Maybe (List (Tuple2 data data))}
- (equalsInteger 2 x)
  (/\dead -> Nothing {List (Tuple2 data data)})
  (/\dead -> error {Maybe (List (Tuple2 data data))})
  {all dead. dead})

cardano-constitution/test/Cardano/Constitution/Validator/GoldenTests/sorted.small.budget.golden

@@ -1 +1 @@
-ExBudget {exBudgetCPU = ExCPU 85774882, exBudgetMemory = ExMemory 383294}
+ExBudget {exBudgetCPU = ExCPU 88974882, exBudgetMemory = ExMemory 403294}