Merge pull request #5188 from input-output-hk/newhoggy/golden-tests-f…

…or-errors Golden tests for `cardano-api` errors
IntersectMBO · May 9, 2023 · 9507125 · 9507125
2 parents a245e2b + c6429f3
commit 9507125
Show file tree

Hide file tree

Showing 100 changed files with 478 additions and 22 deletions.
diff --git a/cabal.project b/cabal.project
@@ -13,7 +13,7 @@ repository cardano-haskell-packages
 -- See CONTRIBUTING for information about these, including some Nix commands
 -- you need to run if you change them
 index-state:
-  , hackage.haskell.org 2023-04-29T00:00:00Z
+  , hackage.haskell.org 2023-05-03T00:00:00Z
   , cardano-haskell-packages 2023-04-30T00:28:07Z
 
 packages:

diff --git a/cardano-api/ChangeLog.md b/cardano-api/ChangeLog.md
@@ -1,6 +1,10 @@
 # Changelog for cardano-api
 
 ## vNext
+
+
+## 8.0.0 - May 2023
+
 - Add `getSlotForRelativeTime` function ([PR 5130](https://github.com/input-output-hk/cardano-node/pull/5130))
 
 ### Features
@@ -16,6 +20,13 @@
 
 - Expose envirnment construction functionality: `mkProtocolInfoCardano` and `genesisConfigToEnv`
 
+- New error exports:
+  - `TxOutInAnyEra(..)`
+  - `txOutInAnyEra`
+  - `StakePoolMetadataValidationError(..)`
+  - `ScriptHash(..)`
+  ([PR 5188](https://github.com/input-output-hk/cardano-node/pull/5188))
+
 - Rename `TestEnableDevelopmentHardForkEras` to `ExperimentalHardForksEnabled` and
   `TestEnableDevelopmentNetworkProtocols` to `ExperimentalProtocolsEnabled`
   ([PR 4341](https://github.com/input-output-hk/cardano-node/pull/4341))

diff --git a/cardano-api/cardano-api.cabal b/cardano-api/cardano-api.cabal
@@ -228,7 +228,7 @@ test-suite cardano-api-test
                       , cardano-slotting ^>= 0.1
                       , containers
                       , hedgehog
-                      , hedgehog-extras ^>= 0.4.2
+                      , hedgehog-extras ^>= 0.4.3
                       , hedgehog-quickcheck
                       , mtl
                       , microlens
@@ -258,3 +258,32 @@ test-suite cardano-api-test
                         Test.Cardano.Api.Typed.Value
 
   ghc-options:          -threaded -rtsopts -with-rtsopts=-N -with-rtsopts=-T
+
+test-suite cardano-api-golden
+  import:               project-config
+
+  hs-source-dirs:       golden
+  main-is:              cardano-api-golden.hs
+  type:                 exitcode-stdio-1.0
+
+  build-depends:        aeson
+                      , bech32 >= 1.1.0
+                      , bytestring
+                      , cardano-api
+                      , cardano-binary
+                      , cardano-crypto-class
+                      , cardano-ledger-alonzo
+                      , containers
+                      , hedgehog-extras >= 0.4.3.0
+                      , hspec
+                      , hw-hspec-hedgehog
+                      , plutus-core ^>= 1.1
+                      , plutus-ledger-api ^>= 1.1
+                      , text
+
+  ghc-options:          -threaded -rtsopts -with-rtsopts=-N -with-rtsopts=-T
+
+  build-tool-depends:   hspec-discover:hspec-discover
+
+  other-modules:        Test.Golden.ErrorsSpec
+
diff --git a/cardano-api/golden/Test/Golden/ErrorsSpec.hs b/cardano-api/golden/Test/Golden/ErrorsSpec.hs
diff --git a/cardano-api/golden/cardano-api-golden.hs b/cardano-api/golden/cardano-api-golden.hs
@@ -0,0 +1 @@
+{-# OPTIONS_GHC -F -pgmF hspec-discover #-}
diff --git a/cardano-api/golden/files/errors/Bech32DecodeError/Bech32DataPartToBytesError.txt b/cardano-api/golden/files/errors/Bech32DecodeError/Bech32DataPartToBytesError.txt
@@ -0,0 +1 @@
+There was an error in extracting the bytes from the data part of the Bech32-encoded string.
diff --git a/cardano-api/golden/files/errors/Bech32DecodeError/Bech32DecodingError.txt b/cardano-api/golden/files/errors/Bech32DecodeError/Bech32DecodingError.txt
@@ -0,0 +1 @@
+StringToDecodeTooLong
diff --git a/cardano-api/golden/files/errors/Bech32DecodeError/Bech32DeserialiseFromBytesError.txt b/cardano-api/golden/files/errors/Bech32DecodeError/Bech32DeserialiseFromBytesError.txt
@@ -0,0 +1 @@
+There was an error in deserialising the data part of the Bech32-encoded string into a value of the expected type.
diff --git a/cardano-api/golden/files/errors/Bech32DecodeError/Bech32UnexpectedPrefix.txt b/cardano-api/golden/files/errors/Bech32DecodeError/Bech32UnexpectedPrefix.txt
@@ -0,0 +1 @@
+Unexpected Bech32 prefix: the actual prefix is "<text>", but it was expected to be "<text>"
diff --git a/cardano-api/golden/files/errors/Bech32DecodeError/Bech32WrongPrefix.txt b/cardano-api/golden/files/errors/Bech32DecodeError/Bech32WrongPrefix.txt
@@ -0,0 +1 @@
+Mismatch in the Bech32 prefix: the actual prefix is "<text>", but the prefix for this payload value should be "<text>"
diff --git a/cardano-api/golden/files/errors/InputDecodeError/InputBech32DecodeError.txt b/cardano-api/golden/files/errors/InputDecodeError/InputBech32DecodeError.txt
@@ -0,0 +1 @@
+Mismatch in the Bech32 prefix: the actual prefix is "<text>", but the prefix for this payload value should be "<text>"
diff --git a/cardano-api/golden/files/errors/InputDecodeError/InputInvalidError.txt b/cardano-api/golden/files/errors/InputDecodeError/InputInvalidError.txt
@@ -0,0 +1 @@
+Invalid key.
diff --git a/cardano-api/golden/files/errors/InputDecodeError/InputTextEnvelopeError.txt b/cardano-api/golden/files/errors/InputDecodeError/InputTextEnvelopeError.txt
@@ -0,0 +1 @@
+TextEnvelope aeson decode error: <string>
diff --git a/cardano-api/golden/files/errors/InvalidCostModel/InvalidCostModel.txt b/cardano-api/golden/files/errors/InvalidCostModel/InvalidCostModel.txt
@@ -0,0 +1 @@
+Invalid cost model: applyParams error: Internal problem occurred upon generating the applied cost model parameters with JSON error: <string> Cost model: CostModel [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42]
diff --git a/cardano-api/golden/files/errors/JsonDecodeError/JsonDecodeError.txt b/cardano-api/golden/files/errors/JsonDecodeError/JsonDecodeError.txt
@@ -0,0 +1 @@
+<string>
diff --git a/cardano-api/golden/files/errors/LeadershipError/LeaderErrCandidateNonceStillEvolving.txt b/cardano-api/golden/files/errors/LeadershipError/LeaderErrCandidateNonceStillEvolving.txt
@@ -0,0 +1 @@
+Candidate nonce is still evolving
diff --git a/cardano-api/golden/files/errors/LeadershipError/LeaderErrDecodeLedgerStateFailure.txt b/cardano-api/golden/files/errors/LeadershipError/LeaderErrDecodeLedgerStateFailure.txt
@@ -0,0 +1 @@
+Failed to successfully decode ledger state
diff --git a/cardano-api/golden/files/errors/LeadershipError/LeaderErrDecodeProtocolEpochStateFailure.txt b/cardano-api/golden/files/errors/LeadershipError/LeaderErrDecodeProtocolEpochStateFailure.txt
@@ -0,0 +1 @@
+Failed to successfully decode the current epoch state: DecoderErrorVoid
diff --git a/cardano-api/golden/files/errors/LeadershipError/LeaderErrDecodeProtocolStateFailure.txt b/cardano-api/golden/files/errors/LeadershipError/LeaderErrDecodeProtocolStateFailure.txt
@@ -0,0 +1 @@
+Failed to successfully decode protocol state: Attempted to decode Void
diff --git a/cardano-api/golden/files/errors/LeadershipError/LeaderErrGenesisSlot.txt b/cardano-api/golden/files/errors/LeadershipError/LeaderErrGenesisSlot.txt
@@ -0,0 +1 @@
+Leadership schedule currently cannot be calculated from genesis
diff --git a/cardano-api/golden/files/errors/LeadershipError/LeaderErrSlotRangeCalculationFailure.txt b/cardano-api/golden/files/errors/LeadershipError/LeaderErrSlotRangeCalculationFailure.txt
@@ -0,0 +1 @@
+Error while calculating the slot range: <text>
diff --git a/cardano-api/golden/files/errors/LeadershipError/LeaderErrStakeDistribUnstable.txt b/cardano-api/golden/files/errors/LeadershipError/LeaderErrStakeDistribUnstable.txt
@@ -0,0 +1,4 @@
+The current stake distribution is currently unstable and therefore we cannot predict the following epoch's leadership schedule. Please wait until : SlotNo 2 before running the leadership-schedule command again. 
+Current slot: SlotNo 1 
+Stability window: SlotNo 3 
+Calculated last slot of current epoch: SlotNo 4
diff --git a/cardano-api/golden/files/errors/LeadershipError/LeaderErrStakePoolHasNoStake.txt b/cardano-api/golden/files/errors/LeadershipError/LeaderErrStakePoolHasNoStake.txt
@@ -0,0 +1 @@
+The stake pool: "9e734b6c2263c0917bfc550e9c949f41afa3fe000377243bd29df399" has no stake
diff --git a/cardano-api/golden/files/errors/OperationalCertIssueError/OperationalCertKeyMismatch.txt b/cardano-api/golden/files/errors/OperationalCertIssueError/OperationalCertKeyMismatch.txt
@@ -0,0 +1 @@
+Key mismatch: the signing key does not match the one that goes with the counter
diff --git a/...olden/files/errors/ProtocolParametersError/PParamsErrorMissingAlonzoProtocolParameter.txt b/...olden/files/errors/ProtocolParametersError/PParamsErrorMissingAlonzoProtocolParameter.txt
@@ -0,0 +1 @@
+The Alonzo era protocol parameters in use is missing one or more of the following fields: UTxOCostPerWord, CostModels, Prices, MaxTxExUnits, MaxBlockExUnits, MaxValueSize, CollateralPercent, MaxCollateralInputs. Did you intend to use an Alonzo era protocol parameters value?
diff --git a/cardano-api/golden/files/errors/ProtocolParametersError/PParamsErrorMissingMinUTxoValue.txt b/cardano-api/golden/files/errors/ProtocolParametersError/PParamsErrorMissingMinUTxoValue.txt
@@ -0,0 +1 @@
+The ConwayEra protocol parameters value is missing the following field: MinUTxoValue. Did you intend to use a ConwayEra protocol  parameters value?
diff --git a/cardano-api/golden/files/errors/RawBytesHexError/RawBytesHexErrorBase16DecodeFail.txt b/cardano-api/golden/files/errors/RawBytesHexError/RawBytesHexErrorBase16DecodeFail.txt
@@ -0,0 +1 @@
+Expected Base16-encoded bytestring, but got <bytestring>; <string>
diff --git a/cardano-api/golden/files/errors/RawBytesHexError/RawBytesHexErrorRawBytesDecodeFail.txt b/cardano-api/golden/files/errors/RawBytesHexError/RawBytesHexErrorRawBytesDecodeFail.txt
@@ -0,0 +1 @@
+Failed to deserialise <bytestring> as VerificationKey GenesisKey. <string>
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonBytesError/ScriptDataJsonBytesErrorInvalid.txt b/cardano-api/golden/files/errors/ScriptDataJsonBytesError/ScriptDataJsonBytesErrorInvalid.txt
@@ -0,0 +1 @@
+ScriptData is invalid: Constructor numbers in script data value 0 is outside the range 0 .. 2^64-1.
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonBytesError/ScriptDataJsonBytesErrorValue.txt b/cardano-api/golden/files/errors/ScriptDataJsonBytesError/ScriptDataJsonBytesErrorValue.txt
@@ -0,0 +1,2 @@
+Error decoding ScriptData JSON value: JSON schema error within the script data: null
+JSON null values are not supported.
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonError/ScriptDataJsonSchemaError.txt b/cardano-api/golden/files/errors/ScriptDataJsonError/ScriptDataJsonSchemaError.txt
@@ -0,0 +1,2 @@
+JSON schema error within the script data: "<JSON>"
+JSON null values are not supported.
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonError/ScriptDataRangeError.txt b/cardano-api/golden/files/errors/ScriptDataJsonError/ScriptDataRangeError.txt
@@ -0,0 +1,2 @@
+Value out of range within the script data: "<JSON>"
+Constructor numbers in script data value 1 is outside the range 0 .. 2^64-1.
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonBadMapPair.txt b/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonBadMapPair.txt
@@ -0,0 +1,2 @@
+Expected a list of key/value pair { "k": ..., "v": ... } objects.
+Unexpected value: "<JSON>"
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonBadObject.txt b/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonBadObject.txt
@@ -0,0 +1,3 @@
+JSON object does not match the schema.
+Expected a single field named "int", "bytes", "list" or "map".
+Unexpected object field(s): {"<text>":"<JSON>"}
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonBoolNotAllowed.txt b/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonBoolNotAllowed.txt
@@ -0,0 +1 @@
+JSON bool values are not supported.
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonNotObject.txt b/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonNotObject.txt
@@ -0,0 +1 @@
+JSON object expected. Unexpected value: "<JSON>"
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonNullNotAllowed.txt b/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonNullNotAllowed.txt
@@ -0,0 +1 @@
+JSON null values are not supported.
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonNumberNotInteger.txt b/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonNumberNotInteger.txt
@@ -0,0 +1 @@
+JSON numbers must be integers. Unexpected value: 0.0
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonSchemaError.txt b/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonSchemaError.txt
@@ -0,0 +1,2 @@
+JSON schema error within the script data: null
+JSON null values are not supported.
diff --git a/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonTypeMismatch.txt b/cardano-api/golden/files/errors/ScriptDataJsonSchemaError/ScriptDataJsonTypeMismatch.txt
@@ -0,0 +1,2 @@
+The value in the field "<text>" does not have the type required by the schema.
+Unexpected value: "<JSON>"
diff --git a/cardano-api/golden/files/errors/ScriptDataRangeError/ScriptDataConstructorOutOfRange.txt b/cardano-api/golden/files/errors/ScriptDataRangeError/ScriptDataConstructorOutOfRange.txt
@@ -0,0 +1 @@
+Constructor numbers in script data value 1 is outside the range 0 .. 2^64-1.
diff --git a/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorEvaluationFailed.txt b/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorEvaluationFailed.txt
@@ -0,0 +1,6 @@
+The Plutus script evaluation failed: Cost model parameters were not as we expected
+Script debugging logs: <text>
+<text>
+<text>
+<text>
+<text>
diff --git a/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorExecutionUnitsOverflow.txt b/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorExecutionUnitsOverflow.txt
@@ -0,0 +1 @@
+The execution units required by this Plutus script overflows a 64bit word. In a properly configured chain this should be practically impossible. So this probably indicates a chain configuration problem, perhaps with the values in the cost model.
diff --git a/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorMissingCostModel.txt b/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorMissingCostModel.txt
@@ -0,0 +1 @@
+No cost model was found for language PlutusV2
diff --git a/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorMissingScript.txt b/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorMissingScript.txt
@@ -0,0 +1,2 @@
+The redeemer pointer: RdmrPtr Mint 0 points to a Plutus script that does not exist.
+The pointers that can be resolved are: fromList []
diff --git a/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorMissingTxIn.txt b/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorMissingTxIn.txt
@@ -0,0 +1 @@
+The supplied UTxO is missing the txin 210c0a4bb6391baf606843e67863d1474cc462374ab12c42d55f78a0b55b56e0#1
diff --git a/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorNotPlutusWitnessedTxIn.txt b/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorNotPlutusWitnessedTxIn.txt
@@ -0,0 +1 @@
+transaction input 0 (in the order of the TxIds) is not a Plutus script witnessed tx input and cannot be spent using a Plutus script witness.The script hash is "a0d442ce189bc932515c85be74ac939df19ea8450c03030234790921".
diff --git a/...golden/files/errors/ScriptExecutionError/ScriptErrorRedeemerPointsToUnknownScriptHash.txt b/...golden/files/errors/ScriptExecutionError/ScriptErrorRedeemerPointsToUnknownScriptHash.txt
@@ -0,0 +1 @@
+transaction input 0 (in the order of the TxIds) points to a script hash that is not known.
diff --git a/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorTxInWithoutDatum.txt b/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorTxInWithoutDatum.txt
@@ -0,0 +1 @@
+The Plutus script witness for the txin does not have a script datum (according to the UTxO). The txin in question is 210c0a4bb6391baf606843e67863d1474cc462374ab12c42d55f78a0b55b56e0#1
diff --git a/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorWrongDatum.txt b/cardano-api/golden/files/errors/ScriptExecutionError/ScriptErrorWrongDatum.txt
@@ -0,0 +1 @@
+The Plutus script witness has the wrong datum (according to the UTxO). The expected datum value has hash "ee155ace9c40292074cb6aff8c9ccdd273c81648ff1149ef36bcea6ebb8a3e25"
diff --git a/...den/files/errors/StakePoolMetadataValidationError/StakePoolMetadataInvalidLengthError.txt b/...den/files/errors/StakePoolMetadataValidationError/StakePoolMetadataInvalidLengthError.txt
@@ -0,0 +1 @@
+Stake pool metadata must consist of at most 0 bytes, but it consists of 1 bytes.
diff --git a/...golden/files/errors/StakePoolMetadataValidationError/StakePoolMetadataJsonDecodeError.txt b/...golden/files/errors/StakePoolMetadataValidationError/StakePoolMetadataJsonDecodeError.txt
@@ -0,0 +1 @@
+<string>
diff --git a/cardano-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlAesonDecodeError.txt b/cardano-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlAesonDecodeError.txt
@@ -0,0 +1 @@
+Could not JSON decode TextEnvelopeCddl file at: <string> Error: <string>
diff --git a/...lden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlErrByronKeyWitnessUnsupported.txt b/...lden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlErrByronKeyWitnessUnsupported.txt
@@ -0,0 +1 @@
+TextEnvelopeCddl error: Byron key witnesses are currently unsupported.
diff --git a/...no-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlErrCBORDecodingError.txt b/...no-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlErrCBORDecodingError.txt
@@ -0,0 +1 @@
+TextEnvelopeCDDL CBOR decoding error: DecoderErrorVoid
diff --git a/cardano-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlErrUnknownType.txt b/cardano-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlErrUnknownType.txt
@@ -0,0 +1 @@
+Unknown TextEnvelopeCddl type: <text>
diff --git a/cardano-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlTypeError.txt b/cardano-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlTypeError.txt
@@ -0,0 +1 @@
+TextEnvelopeCddl type error:  Expected one of: <text> Actual: <text>
diff --git a/cardano-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlUnknownKeyWitness.txt b/cardano-api/golden/files/errors/TextEnvelopeCddlError/TextEnvelopeCddlUnknownKeyWitness.txt
@@ -0,0 +1 @@
+Unknown key witness specified
diff --git a/cardano-api/golden/files/errors/TextEnvelopeError/TextEnvelopeAesonDecodeError.txt b/cardano-api/golden/files/errors/TextEnvelopeError/TextEnvelopeAesonDecodeError.txt
@@ -0,0 +1 @@
+TextEnvelope aeson decode error: <string>
diff --git a/cardano-api/golden/files/errors/TextEnvelopeError/TextEnvelopeDecodeError.txt b/cardano-api/golden/files/errors/TextEnvelopeError/TextEnvelopeDecodeError.txt
@@ -0,0 +1 @@
+TextEnvelope decode error: DecoderErrorVoid
diff --git a/cardano-api/golden/files/errors/TextEnvelopeError/TextEnvelopeTypeError.txt b/cardano-api/golden/files/errors/TextEnvelopeError/TextEnvelopeTypeError.txt
@@ -0,0 +1 @@
+TextEnvelope type error:  Expected one of: <string>, <string> Actual: <string>
diff --git a/...no-api/golden/files/errors/TransactionValidityError/TransactionValidityCostModelError.txt b/...no-api/golden/files/errors/TransactionValidityError/TransactionValidityCostModelError.txt
@@ -0,0 +1 @@
+An error occurred while converting from the cardano-api cost models to the cardano-ledger cost models. Error: <string> Cost models: fromList [(AnyPlutusScriptVersion PlutusScriptV2,CostModel [0,1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42])]
diff --git a/...-api/golden/files/errors/TransactionValidityError/TransactionValidityTranslationError.txt b/...-api/golden/files/errors/TransactionValidityError/TransactionValidityTranslationError.txt
@@ -0,0 +1 @@
+Error translating the transaction context: TimeTranslationPastHorizon "<text>"
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyEmptyTxIns.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyEmptyTxIns.txt
@@ -0,0 +1 @@
+Transaction body has no inputs
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyEmptyTxInsCollateral.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyEmptyTxInsCollateral.txt
@@ -0,0 +1 @@
+Transaction body has no collateral inputs, but uses Plutus scripts
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyEmptyTxOuts.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyEmptyTxOuts.txt
@@ -0,0 +1 @@
+Transaction body has no outputs
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyInIxOverflow.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyInIxOverflow.txt
@@ -0,0 +1 @@
+Transaction input index is too big, acceptable value is up to 2^32-1, in input TxIn "210c0a4bb6391baf606843e67863d1474cc462374ab12c42d55f78a0b55b56e0" (TxIx 1)
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyMetadataError.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyMetadataError.txt
@@ -0,0 +1 @@
+Error in metadata entry 1: Byte string metadata value must consist of at most 64 bytes, but it consists of 2 bytes.
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyMintAdaError.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyMintAdaError.txt
@@ -0,0 +1 @@
+Transaction cannot mint ada, only non-ada assets
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyMissingProtocolParams.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyMissingProtocolParams.txt
@@ -0,0 +1 @@
+Transaction uses Plutus scripts but does not provide the protocol parameters to hash
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyOutputNegative.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyOutputNegative.txt
@@ -0,0 +1 @@
+Negative quantity (1) in transaction output: TxOutInAnyEra AllegraEra (TxOut (AddressInEra (ShelleyAddressInEra ShelleyBasedEraAllegra) (ShelleyAddress Mainnet (KeyHashObj (KeyHash "250ca83514191f9ceaccee2eb3276d5ad964e17cc31a067691e04ca8")) StakeRefNull)) (TxOutAdaOnly AdaOnlyInAllegraEra (Lovelace 1)) TxOutDatumNone ReferenceScriptNone)
diff --git a/cardano-api/golden/files/errors/TxBodyError/TxBodyOutputOverflow.txt b/cardano-api/golden/files/errors/TxBodyError/TxBodyOutputOverflow.txt
@@ -0,0 +1 @@
+Quantity too large (1 >= 2^64) in transaction output: TxOutInAnyEra AllegraEra (TxOut (AddressInEra (ShelleyAddressInEra ShelleyBasedEraAllegra) (ShelleyAddress Mainnet (KeyHashObj (KeyHash "250ca83514191f9ceaccee2eb3276d5ad964e17cc31a067691e04ca8")) StakeRefNull)) (TxOutAdaOnly AdaOnlyInAllegraEra (Lovelace 1)) TxOutDatumNone ReferenceScriptNone)
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyError.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyError.txt
@@ -0,0 +1 @@
+Transaction body has no inputs
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorAdaBalanceNegative.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorAdaBalanceNegative.txt
@@ -0,0 +1 @@
+The transaction does not balance in its use of ada. The net balance of the transaction is negative: Lovelace 1 lovelace. The usual solution is to provide more inputs, or inputs with more ada.
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorAdaBalanceTooSmall.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorAdaBalanceTooSmall.txt
@@ -0,0 +1,5 @@
+The transaction does balance in its use of ada, however the net balance does not meet the minimum UTxO threshold. 
+Balance: Lovelace 1
+Offending output (change output): addr1vyjse2p4zsv3l882enhzave8d4ddje8p0np35pnkj8sye2qu9km4v + 1 lovelace
+Minimum UTxO threshold: Lovelace 0
+The usual solution is to provide more inputs, or inputs with more ada to meet the minimum UTxO threshold
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorByronEraNotSupported.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorByronEraNotSupported.txt
@@ -0,0 +1 @@
+The Byron era is not yet supported by makeTransactionBodyAutoBalance
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorMinUTxONotMet.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorMinUTxONotMet.txt
@@ -0,0 +1,2 @@
+Minimum UTxO threshold not met for tx output: addr1vyjse2p4zsv3l882enhzave8d4ddje8p0np35pnkj8sye2qu9km4v + 1 lovelace
+Minimum required UTxO: Lovelace 1
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorMissingParamMinUTxO.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorMissingParamMinUTxO.txt
@@ -0,0 +1 @@
+The minUTxOValue protocol parameter is required but missing
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorNonAdaAssetsUnbalanced.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorNonAdaAssetsUnbalanced.txt
@@ -0,0 +1 @@
+Non-Ada assets are unbalanced: 1 lovelace
diff --git a/...es/errors/TxBodyErrorAutoBalance/TxBodyErrorScriptWitnessIndexMissingFromExecUnitsMap.txt b/...es/errors/TxBodyErrorAutoBalance/TxBodyErrorScriptWitnessIndexMissingFromExecUnitsMap.txt
@@ -0,0 +1 @@
+ScriptWitnessIndex (redeemer pointer): ScriptWitnessIndexTxIn 1 is missing from the execution units (redeemer pointer) map: fromList [(ScriptWitnessIndexTxIn 2,ExecutionUnits {executionSteps = 1, executionMemory = 1})]
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorValidityInterval.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyErrorValidityInterval.txt
@@ -0,0 +1 @@
+An error occurred while converting from the cardano-api cost models to the cardano-ledger cost models. Error: <string> Cost models: fromList []
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyScriptBadScriptValidity.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyScriptBadScriptValidity.txt
@@ -0,0 +1 @@
+One or more of the scripts were expected to fail validation, but none did.
diff --git a/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyScriptExecutionError.txt b/cardano-api/golden/files/errors/TxBodyErrorAutoBalance/TxBodyScriptExecutionError.txt
@@ -0,0 +1,3 @@
+The following scripts have execution failures:
+the script for transaction input 1 (in the order of the TxIds) failed with: 
+The execution units required by this Plutus script overflows a 64bit word. In a properly configured chain this should be practically impossible. So this probably indicates a chain configuration problem, perhaps with the values in the cost model.
diff --git a/cardano-api/golden/files/errors/TxMetadataJsonError/TxMetadataJsonSchemaError.txt b/cardano-api/golden/files/errors/TxMetadataJsonError/TxMetadataJsonSchemaError.txt
@@ -0,0 +1,2 @@
+JSON schema error within the metadata item 0: "<JSON>"
+JSON null values are not supported.
diff --git a/cardano-api/golden/files/errors/TxMetadataJsonError/TxMetadataJsonToplevelBadKey.txt b/cardano-api/golden/files/errors/TxMetadataJsonError/TxMetadataJsonToplevelBadKey.txt
@@ -0,0 +1,2 @@
+The JSON metadata top level must be a map (JSON object) with unsigned integer keys.
+Invalid key: "<text>"
diff --git a/cardano-api/golden/files/errors/TxMetadataJsonError/TxMetadataJsonToplevelNotMap.txt b/cardano-api/golden/files/errors/TxMetadataJsonError/TxMetadataJsonToplevelNotMap.txt
@@ -0,0 +1 @@
+The JSON metadata top level must be a map (JSON object) from word to value.
diff --git a/cardano-api/golden/files/errors/TxMetadataJsonError/TxMetadataRangeError.txt b/cardano-api/golden/files/errors/TxMetadataJsonError/TxMetadataRangeError.txt
@@ -0,0 +1,2 @@
+Value out of range within the metadata item 0: "<JSON>"
+Byte string metadata value must consist of at most 64 bytes, but it consists of 0 bytes.
diff --git a/cardano-api/golden/files/errors/TxMetadataRangeError/TxMetadataJsonToplevelNotMap.txt b/cardano-api/golden/files/errors/TxMetadataRangeError/TxMetadataJsonToplevelNotMap.txt
@@ -0,0 +1 @@
+Byte string metadata value must consist of at most 64 bytes, but it consists of 0 bytes.
diff --git a/cardano-api/src/Cardano/Api.hs b/cardano-api/src/Cardano/Api.hs
@@ -223,6 +223,8 @@ module Cardano.Api (
     CtxTx, CtxUTxO,
     TxOut(TxOut),
     TxOutValue(..),
+    TxOutInAnyEra(..),
+    txOutInAnyEra,
     txOutValueToLovelace,
     txOutValueToValue,
     lovelaceToTxOutValue,
@@ -382,7 +384,7 @@ module Cardano.Api (
     -- * Stake pool off-chain metadata
     StakePoolMetadata,
     validateAndHashStakePoolMetadata,
-    StakePoolMetadataValidationError,
+    StakePoolMetadataValidationError(..),
 
     -- * Scripts
     -- | Both 'PaymentCredential's and 'StakeCredential's can use scripts.
@@ -463,19 +465,20 @@ module Cardano.Api (
     scriptDataToJson,
     ScriptDataJsonError (..),
     ScriptDataJsonSchemaError (..),
-    ScriptDataJsonBytesError,
+    ScriptDataJsonBytesError(..),
     scriptDataJsonToHashable,
 
     -- ** Script execution units
     ExecutionUnits(..),
     ExecutionUnitPrices(..),
     CostModel(..),
+    InvalidCostModel(..),
     toAlonzoCostModel,
     fromAlonzoCostModel,
 
     -- ** Script addresses
     -- | Making addresses from scripts.
-    ScriptHash,
+    ScriptHash(..),
     hashScript,
 
     -- * Serialisation