Conformance: UTxO plumbing and translation #4519
Draft
IOG Hydra / ci/hydra-build:x86_64-darwin.required
failed
Aug 19, 2024 in 24m 1s
Build dependency failed
1 failed steps
Details
Failed Steps
Step 2
Derivation
/nix/store/wixlvfxglw6bxs0df0mv7ygv4ypfqadi-cardano-ledger-conformance-test-tests-0.1.0.0-check.drv
Log
Running phase: unpackPhase
unpacking source archive /nix/store/f8apq5rcgvml1fs6dapbv5sqkfj9awzk-source-root-libs-cardano-ledger-conformance-test-tests-root
source root is source-root-libs-cardano-ledger-conformance-test-tests-root
Running phase: patchPhase
Running phase: buildPhase
/nix/store/yz2j5rz3rxg4pjhmlzxfc98a8rcyr3fw-cardano-ledger-conformance-test-tests-0.1.0.0/bin:
patching script interpreter paths in /private/tmp/nix-build-cardano-ledger-conformance-test-tests-0.1.0.0-check.drv-0/tmp.TzAsg0dkn3/bin
ConformaceSpec
Translation
Hashes are displayed in the same way in the implementation and in the spec
TxId StandardCrypto [✔] (6ms)
+++ OK, passed 100 tests.
Conway
MiniTrace
50 MiniTrace tests with trace length of 50
POOL [✔] (14938ms)
+++ OK, passed 50 tests:
58% RegPool
42% RetirePool
DELEG [✔] (16109ms)
+++ OK, passed 50 tests:
46% RegKey
24% RegK&DelegateWithKey
18% DelegateWithKey
12% UnRegKey
COVCERT [✔] (20130ms)
+++ OK, passed 50 tests:
26% ConwayRegDRep
26% ConwayUpdateDRep
22% ConwayResignCommitteeColdKey
16% ConwayUnRegDRep
10% ConwayAuthCommitteeHotKey
CERT [✔] (41051ms)
+++ OK, passed 50 tests:
30% RegKey
14% ConwayAuthCommitteeHotKey
10% RegK&DelegateWithKey
10% UnRegKey
8% ConwayUnRegDRep
8% ConwayUpdateDRep
6% DelegateWithKey
4% ConwayRegDRep
4% ConwayResignCommitteeColdKey
4% RetirePool
2% RegPool
RATIFY [✔] (8951ms)
+++ OK, passed 50 tests:
22% 0 GovActionStates
10% 10 GovActionStates
8% 1 GovActionStates
8% 3 GovActionStates
4% 12 GovActionStates
4% 31 GovActionStates
4% 42 GovActionStates
4% 6 GovActionStates
4% 7 GovActionStates
4% 9 GovActionStates
2% 11 GovActionStates
2% 14 GovActionStates
2% 15 GovActionStates
2% 17 GovActionStates
2% 2 GovActionStates
2% 20 GovActionStates
2% 22 GovActionStates
2% 27 GovActionStates
2% 29 GovActionStates
2% 37 GovActionStates
2% 4 GovActionStates
2% 40 GovActionStates
2% 45 GovActionStates
2% 8 GovActionStates
ENACT [✔] (23186ms)
+++ OK, passed 50 tests:
30% UpdateCommittee
22% TreasuryWithdrawals
16% InfoAction
10% HardForkInitiation
10% NewConstitution
6% NoConfidence
6% ParameterChange
GOV [‐]
# PENDING: No reason given
UTXO [‐]
# PENDING: No reason given
EPOCH [‐]
# PENDING: No reason given
NEWEPOCH [‐]
# PENDING: No reason given
Generators
GovEnv (ConwayEra StandardCrypto) generates in reasonable time [✔] (42174ms)
+++ OK, passed 100 tests.
Proposals (ConwayEra StandardCrypto) generates in reasonable time [✔] (286475ms)
+++ OK, passed 100 tests.
GovSignal (ConwayEra StandardCrypto) generates in reasonable time [✔] (246998ms)
+++ OK, passed 100 tests.
Conformance
Ticks transition graph
ENACT [‐]
# PENDING: No reason given
RATIFY [✔] (323827ms)
+++ OK, passed 100 tests; 767 discarded:
83% CC yes votes ratio =0%
7% CC yes votes ratio 0%-20%
2% CC yes votes ratio 20%-40%
1% CC yes votes ratio 40%-60%
87% DRep yes votes ratio =0%
3% DRep yes votes ratio 0%-20%
2% DRep yes votes ratio =100%
1% DRep yes votes ratio 80%-100%
61% SPO yes votes ratio =0%
11% SPO yes votes ratio =100%
6% SPO yes votes ratio 40%-60%
5% SPO yes votes ratio 20%-40%
4% SPO yes votes ratio 0%-20%
4% SPO yes votes ratio 60%-80%
2% SPO yes votes ratio 80%-100%
EPOCH [‐]
# PENDING: No reason given
NEWEPOCH [‐]
# PENDING: No reason given
Blocks transition graph
DELEG [‐]
# PENDING: No reason given
GOVCERT [‐]
# PENDING: No reason given
POOL [✔] (29676ms)
+++ OK, passed 100 tests; 129 discarded:
54% RegPool
46% RetirePool
CERT [‐]
# PENDING: No reason given
CERTS [‐]
# PENDING: No reason given
GOV [✔] (379197ms)
+++ OK, passed 100 tests; 71 discarded.
UTXO [✘] (905ms)
ImpTests
RATIFY
NoConfidence accepted conforms [✔] (2319ms)
Failures:
test/Test/Cardano/Ledger/Conformance/Spec/Conway.hs:56:7:
1) Conway.Conformance, Blocks transition graph, UTXO
uncaught exception: ImpException
Log:
Deep evaluating state
Failed with Exception:
unsafeMkProposals: runProposalsAddAction failed for GovActionId {gaidTxId = TxId {unTxId = SafeHash "a58482130c0c49439e8b47f70fb0c9637c3bc46fe6a742de0041a26502d95a01"}, gaidGovActionIx = GovActionIx {unGovActionIx = 2}}
CallStack (from HasCallStack):
error, called at src/Cardano/Ledger/Conway/Governance/Proposals.hs:347:20 in cardano-ledger-conway-1.16.1.0-CABiitg2QlnSAITbfVVSR:Cardano.Ledger.Conway.Governance.Proposals
unsafeMkProposals, called at src/Test/Cardano/Ledger/Constrained/Conway/Instances.hs:1188:13 in cardano-ledger-test-9.9.9.9-LW4V163qkPIC9gTED3u84j:Test.Cardano.Ledger.Constrained.Conway.Instances
(after 1 test)
`()`
UtxoEnv {
ueSlot = SlotNo 0,
uePParams = ConwayPParams {
cppMinFeeA = Coin 1,
cppMinFeeB = Coin 1,
cppMaxBBSize = 2,
cppMaxTxSize = 2,
cppMaxBHSize = 1,
cppKeyDeposit = Coin 0,
cppPoolDeposit = Coin 2,
cppEMax = EpochInterval 1,
cppNOpt = 0,
cppA0 = _%_ 2353381789558968539 10000,
cppRho = _%_ 474306804402029 500000000000000,
cppTau = _%_ 1107 2500,
cppProtocolVersion = ProtVer {pvMajor = Version 1, pvMinor = 1},
cppMinPoolCost = Coin 2,
cppCoinsPerUTxOByte = Coin 0,
cppCostModels = CostModels {
_costModelsValid = Map.fromList
[
_×_
PlutusV2
(CostModel
PlutusV2
[
`-1`,
0,
1,
0,
1,
`-1`,
0,
0,
1,
`-1`,
`-1`,
1,
`-1`,
0,
0,
1,
1,
`-1`,
0,
1,
1,
1,
`-1`,
0,
1,
`-1`,
1,
0,
1,
`-1`,
1,
0,
0,
`-1`,
1,
1,
1,
`-1`,
0,
0,
1,
1,
`-1`,
1,
`-1`,
0,
0,
`-1`,
0,
0,
0,
`-1`,
1,
`-1`,
1,
`-1`,
1,
`-1`,
0,
1,
`-1`,
1,
0,
`-1`,
`-1`,
`-1`,
`-1`,
0,
1,
1,
`-1`,
`-1`,
0,
1,
0,
`-1`,
`-1`,
0,
0,
`-1`,
0,
1,
`-1`,
0,
0,
0,
1,
`-1`,
`-1`,
1,
`-1`,
1,
0,
`-1`,
0,
1,
1,
0,
`-1`,
0,
`-1`,
`-1`,
1,
`-1`,
1,
`-1`,
1,
0,
`-1`,
1,
1,
0,
1,
1,
1,
0,
0,
0,
1,
1,
`-1`,
`-1`,
1,
0,
1,
`-1`,
1,
`-1`,
0,
0,
1,
1,
`-1`,
1,
1,
`-1`,
1,
1,
`-1`,
0,
0,
`-1`,
`-1`,
`-1`,
1,
`-1`,
0,
`-1`,
1,
`-1`,
0,
`-1`,
`-1`,
1,
`-1`,
1,
1,
0,
`-1`,
1,
0,
`-1`,
0,
`-1`,
0,
`-1`,
1,
`-1`,
`-1`,
0,
1,
`-1`,
0,
`-1`,
`-1`,
1])],
_costModelsUnknown = Map.fromList [_×_ 104 []]},
cppPrices = Prices {
prMem = _%_ 2496671788009392017 5000,
prSteps = _%_ 4825745281719429117 50000},
cppMaxTxExUnits = ExUnits 1 2,
cppMaxBlockExUnits = ExUnits 0 2,
cppMaxValSize = 1,
cppCollateralPercentage = 2,
cppMaxCollateralInputs = 0,
cppPoolVotingThresholds = PoolVotingThresholds {
pvtMotionNoConfidence = _%_ 65266276721 100000000000,
pvtCommitteeNormal = _%_ 1312573 6250000,
pvtCommitteeNoConfidence = _%_ 28709735875507 1000000000000000,
pvtHardForkInitiation = _%_ 1163 2500,
pvtPPSecurityGroup = _%_ 60649891 100000000},
cppDRepVotingThresholds = DRepVotingThresholds {
dvtMotionNoConfidence = _%_ 307661101 2500000000,
dvtCommitteeNormal = _%_ 63 200,
dvtCommitteeNoConfidence = _%_ 1221369204979203223 2000000000000000000,
dvtUpdateToConstitution = _%_ 95557277333 100000000000,
dvtHardForkInitiation = _%_ 12141 20000,
dvtPPNetworkGroup = _%_ 1673 40000,
dvtPPEconomicGroup = _%_ 1 2,
dvtPPTechnicalGroup = _%_ 147 1000,
dvtPPGovGroup = _%_ 27556817207923 31250000000000,
dvtTreasuryWithdrawal = _%_ 19 200},
cppCommitteeMinSize = 0,
cppCommitteeMaxTermLength = EpochInterval 1,
cppGovActionLifetime = EpochInterval 2,
cppGovActionDeposit = Coin 2,
cppDRepDeposit = Coin 1,
cppDRepActivity = EpochInterval 0,
cppMinFeeRefScriptCostPerByte = _%_ 4514569900506059127 1000000000000000},
ueCertState = CertState {
certVState = VState {
vsDReps = Map.fromList
[
_×_
(ScriptHashObj
(ScriptHash
"4b05278e543250c396dcb4e6a553f686a38e8e9712fb679588d9059d"))
DRepState {
drepExpiry = EpochNo 1,
drepAnchor = SJust
Anchor {
anchorUrl = Url "v",
anchorDataHash = SafeHash
"b0c47550f993549cd5cee8a4c40685e9d6302c765c9f17af98f831d0886b11e9"},
drepDeposit = Coin 2}],
vsCommitteeState = CommitteeState
(Map.fromList
[
_×_
(KeyHashObj
(KeyHash
"1d2332fd4b53c27878403b188181fec97adbab0f9247d7a30b70c548"))
(CommitteeMemberResigned SNothing),
_×_
(KeyHashObj
(KeyHash
"776a019557b9501d7613bf0cae6c37d7578251172ec328bac0bee8a8"))
(CommitteeHotCredential
(ScriptHashObj
(ScriptHash
"3db3624b13f933fd1be71d9589ae89d8210da68df3aaaa3fc967b773")))]),
vsNumDormantEpochs = EpochNo 1},
certPState = PState {
psStakePoolParams = Map.fromList
[
_×_
(KeyHash "0b8f95245aaec8f7f475703832518d2ba0b65b6ab70f414bc80bea15")
PoolParams {
ppId = KeyHash
"2dfa19e970b1b568140e9866d166b0247bab73742307d843bff34928",
ppVrf =
"2e3878b1e6833b0b5df274783e429561c8bdd31db16768ce2228e04720907427",
ppPledge = Coin 0,
ppCost = Coin 1,
ppMargin = _%_ 5040591397189993 500000000000000000,
ppRewardAccount = RewardAccount {
raNetwork = Testnet,
raCredential = KeyHashObj
(KeyHash
"20d1370198918be1c495083370adb50bd1f030a8f5285fe90bc95087")},
ppOwners = Set.fromList
[
KeyHash
"cbc0cf389758787a65cec8165b2ea851f0a3532909f4bd42d3fc0884",
KeyHash
"ea32e97bd0b0db4b1f8a1f6e645208845f023e7ac47baf2e86accca8"],
ppRelays = StrictSeqFromList [],
ppMetadata = SNothing},
_×_
(KeyHash "732e75c037758f91ff1113d9280aad8430a92b392268837813c2f5bb")
PoolParams {
ppId = KeyHash
"797f97baa1f90e87d618b368a2a4fbb45fb92ffa5dd4c3993f9df0ff",
ppVrf =
"c08ff0e9ddfbce235a6907b9d2363538d215afe67a3267770cf9badce5498445",
ppPledge = Coin 0,
ppCost = Coin 1,
ppMargin = _%_ 71865407 195312500,
ppRewardAccount = RewardAccount {
raNetwork = Mainnet,
raCredential = ScriptHashObj
(ScriptHash
"58a7938af69c7f693974be1a75c95d49b5af16dcdc2eb49c9e0aa375")},
ppOwners = Set.fromList [],
ppRelays = StrictSeqFromList [],
ppMetadata = SJust PoolMetadata {pmUrl = Url "?", pmHash = ""}}],
psFutureStakePoolParams = Map.fromList
[
_×_
(KeyHash "a8d012275bf03a69fe2e0e721740379ad8cb100b65a19d2dffef61a1")
PoolParams {
ppId = KeyHash
"1fed14f0bc8c8ab0299c9a12bf42a57c1c3bac885004596eeede21bb",
ppVrf =
"f751e84b0a60179458cea13f07ff6488f758c5ae9c6a3952ac5bfe826bc10d0d",
ppPledge = Coin 1,
ppCost = Coin 2,
ppMargin = _%_ 3463 5000,
ppRewardAccount = RewardAccount {
raNetwork = Testnet,
raCredential = ScriptHashObj
(ScriptHash
"70647a59dadbe4a96bcee2a760b04ab829bdde59fe40462d3858320c")},
ppOwners = Set.fromList
[
KeyHash
"37cfb22e606bb9bd3626dc9797e4bbbde480bf6346ee571a78508df4",
KeyHash
"b686e4a2b30ed72f5e0c38c77e06ed6894a9620d6e0ea867bf5fc15b"],
ppRelays = StrictSeqFromList [],
ppMetadata = SJust PoolMetadata {pmUrl = Url "\f", pmHash = ""}},
_×_
(KeyHash "c278bf33a3c552da27492f763d49ff52d3a01ddef8eabab2860bb3a0")
PoolParams {
ppId = KeyHash
"2c77fe9d6ec4a5d5306bd7bb2c24809fee75f2b05d49fe8b07a46435",
ppVrf =
"c6d7df841edd8382661fd9f39c1d41db59b7a2f3e84c9c36b8c18da81f61f986",
ppPledge = Coin 2,
ppCost = Coin 0,
ppMargin = _%_ 62484011 100000000,
ppRewardAccount = RewardAccount {
raNetwork = Mainnet,
raCredential = ScriptHashObj
(ScriptHash
"6f95c2efe4c00cbb6ef94ff1fcd92a36944625ced69c679658bd9185")},
ppOwners = Set.fromList
[
KeyHash
"52dd2657de5d4f28198a9e7226c5607e47b65ff77942bb32a49a7d2f"],
ppRelays = StrictSeqFromList
[
SingleHostName
(SJust (Port 0))
(DnsName "Bh0bPZKlKAinRgL1bxdxvRxthY62AarPPa47B1bzO.com")],
ppMetadata = SJust PoolMetadata {pmUrl = Url "", pmHash = ""}}],
psRetiring = Map.fromList [],
psDeposits = Map.fromList
[
_×_
(KeyHash "0b8f95245aaec8f7f475703832518d2ba0b65b6ab70f414bc80bea15")
(Coin 2),
_×_
(KeyHash "732e75c037758f91ff1113d9280aad8430a92b392268837813c2f5bb")
(Coin 2)]},
certDState = DState {
dsUnified = UMap {
umElems = Map.fromList
[
_×_
(ScriptHashObj
(ScriptHash
"30edb63f2d52425f55e628b4026c2d581a90c3dbf11e7c19e362fe98"))
(TFEFE
RDPair {rdReward = Coin 2, rdDeposit = Coin 0}
(KeyHash
"8fee492ca6e1ff1e6a69ea19087b2dbe2b297b88005d3fc09a6681c4")),
_×_
(KeyHashObj
(KeyHash
"188596074a92311bd9717c408cdf6494866dc56738906f878770947a"))
(TEEEF
(DRepScriptHash
(ScriptHash
"619398b6bc25a654134831f2d3ab902a03a5dd0f185ea3bf83c9b75b"))),
_×_
(KeyHashObj
(KeyHash
"f025b237e7ec20dbc006b468e8645434301e1b2e76e54e63ba445f25"))
(TEEEF
(DRepKeyHash
(KeyHash
"7e9eb707a6da6bc639810802eb2c462121b3d9513f92df9ab4855629")))],
umPtrs = Map.fromList []},
dsFutureGenDelegs = Map.fromList [],
dsGenDelegs = GenDelegs
(Map.fromList
[
_×_
(KeyHash
"87ac6a02e8ebba71cced8bd9dbf5cffe8724a4eef698dca4c661f467")
GenDelegPair {
genDelegKeyHash = KeyHash
"d2f7416de4856816f0a131d0bf58627d28a47ee0bc1973ee469361c4",
genDelegVrfHash =
"b3d78d0ca69680ae98067c4cdcdb95abafd2d47970a00ff13e9ce200e622722a"}]),
dsIRewards = InstantaneousRewards {
iRReserves = Map.fromList
[
_×_
(ScriptHashObj
(ScriptHash
"61bee77417261ac24828b242d540f059033ca24098b941cc888f4e10"))
(Coin 2)],
iRTreasury = Map.fromList
[
_×_
(ScriptHashObj
(ScriptHash
"33036a1ffb854825d7330d70efaf1f2986b044b2289c4a8c2d7dfe37"))
(Coin 0),
_×_
(KeyHashObj
(KeyHash
"91783818e7dd0e9897af56a3437202dcc762b7d4538049b139721f5d"))
(Coin 1)],
deltaReserves = DeltaCoin 1,
deltaTreasury = DeltaCoin `-1`}}}}
Exception thrown while showing test case:
unsafeMkProposals: runProposalsAddAction failed for GovActionId {gaidTxId = TxId {unTxId = SafeHash "a58482130c0c49439e8b47f70fb0c9637c3bc46fe6a742de0041a26502d95a01"}, gaidGovActionIx = GovActionIx {unGovActionIx = 2}}
CallStack (from HasCallStack):
error, called at src/Cardano/Ledger/Conway/Governance/Proposals.hs:347:20 in cardano-ledger-conway-1.16.1.0-CABiitg2QlnSAITbfVVSR:Cardano.Ledger.Conway.Governance.Proposals
unsafeMkProposals, called at src/Test/Cardano/Ledger/Constrained/Conway/Instances.hs:1188:13 in cardano-ledger-test-9.9.9.9-LW4V163qkPIC9gTED3u84j:Test.Cardano.Ledger.Constrained.Conway.Instances
To rerun use: --match "/Conway/Conformance/Blocks transition graph/UTXO/" --seed 320928396
Randomized with seed 320928396
Finished in 1436.0607 seconds
26 examples, 1 failure, 11 pending
Loading