Ensure every predicate check is imp tested in Conway

[lehins]

This ticket only lists all of the cases for all of the predicate failures. Every predicate failure that is missing an imp test will need a new ticket created that will track a respective imp test implementation.

Naturally, it is often possible to trigger a predicate failure by differ conditions, but we are not trying to be exhaustive. However, we do need to ensure that all predicate failures have at least one imp test written for them.

Here is also a list of tickets that will put check marks on many of the predicate failures below, once those tests have been transitioned to imp spec: #4180, #4181, #4182, #4183

This task is complete when all have checkmarks and a permalink to at least one imp test that is executed by cardano-ledger-conway test suite.

POOL

• - StakePoolNotRegisteredOnKeyPOOL
• - StakePoolRetirementWrongEpochPOOL
• - StakePoolCostTooLowPOOL
• - WrongNetworkPOOL
• - PoolMedataHashTooBig

UTXO

• - BadInputsUTxO
• - OutsideValidityIntervalUTxO
• - MaxTxSizeUTxO
• - InputSetEmptyUTxO
• - FeeTooSmallUTxO
• - ValueNotConservedUTxO
• - WrongNetwork
• - WrongNetworkWithdrawal
• - OutputTooSmallUTxO
• - OutputBootAddrAttrsTooBig
• - OutputTooBigUTxO
• - InsufficientCollateral
• - ScriptsNotPaidUTxO
• - ExUnitsTooBigUTxO
• - CollateralContainsNonADA
• - WrongNetworkInTxBody
• - OutsideForecast
• - TooManyCollateralInputs
• - NoCollateralInputs
• - IncorrectTotalCollateralField
• - BabbageOutputTooSmallUTxO
• - BabbageNonDisjointRefInputs

UTXOW

• - InvalidWitnessesUTXOW
• - MissingVKeyWitnessesUTXOW
• - MissingScriptWitnessesUTXOW
• - ScriptWitnessNotValidatingUTXOW
• - MissingTxBodyMetadataHash
• - MissingTxMetadata
• - ConflictingMetadataHash
• - InvalidMetadata
• - ExtraneousScriptWitnessesUTXOW
• - MissingRedeemers
• - MissingRequiredDatums
• - NotAllowedSupplementalDatums
• - PPViewHashesDontMatch
• - UnspendableUTxONoDatumHash
• - ExtraRedeemers
• - MalformedScriptWitnesses
• - MalformedReferenceScripts

UTXOS

• - ValidationTagMismatch
• - CollectErrors

GOVCERT

• - ConwayDRepAlreadyRegistered
• - ConwayDRepNotRegistered
• - ConwayDRepIncorrectDeposit
• - ConwayCommitteeHasPreviouslyResigned
• - ConwayDRepIncorrectRefund

DELEG

• - IncorrectDepositDELEG
• - StakeKeyRegisteredDELEG
• - StakeKeyNotRegisteredDELEG
• - StakeKeyHasNonZeroRewardAccountBalanceDELEG
• - DRepAlreadyRegisteredForStakeKeyDELEG

GOV

• - GovActionsDoNotExist
• - MalformedProposal
• - ProposalProcedureNetworkIdMismatch
• - TreasuryWithdrawalsNetworkIdMismatch
• - ProposalDepositIncorrect
• - DisallowedVoters
• - ConflictingCommitteeUpdate
• - ExpirationEpochTooSmall
• - InvalidPrevGovActionId
• - VotingOnExpiredGovAction
• - ProposalCantFollow
• - InvalidPolicyHash

[teodanciu]

Taking the UTXOW section