SANTA conformance scoreboard

Sigma-Anchored Node Test Apparatus — cross-implementation Ergo consensus conformance.

slice🪨 blitzen-develop
ergoplatform/sigma-rust#develop @ 7f927613c		🎁 blitzen-eni
mwaddip/sigma-rust#eni @ e43c87acd		🪨 comet
fleet-sdk/fleet#master @ 8fd834a94		🪨 dasher
mwaddip/ergots#master @ 24d48c24f		🎁 donner
mwaddip/ergo-node-rust#main @ 5c2ec62dc		🎁 rudolph (control)
—		🪨 vixen
arkadianet/ergo#main @ 732fd7539
block/v6/authored————🎁🎁🪨 1
block/v6/captured————🎁🎁🎁
chain/any/authored————🎁🎁🪨 1
chain/any/captured————🎁🎁🎁
chain/v6/authored————🎁🎁🪨 1
chain/v6/captured————🎁🎁🎁
eval/v5/authored🪨 62🎁—🎁—🎁🪨 3
eval/v5/spec🪨 10🎁—🎁—🎁🎁
eval/v6/authored🪨 41🎁—🎁—🎁🪨 9
eval/v6/captured🪨 62🎁—🎁—🎁🪨 17
eval/v6/spec🪨 15🎁—🎁—🎁🎁
transaction/v6/authored🪨 1🎁—🪨 1—🎁—
transaction/v6/captured🪨 4🎁—🎁—🎁—
wire/v5/vendored🎁🎁🪨 28🎁—🎁🎁
wire/v6/authored🪨 13🎁—🎁—🎁🪨 10

Coal details

Every red instance behind the matrix counts, grouped by library — collapsed by default, click a library to expand. Hover a vector name for its script.

🪨 blitzen-develop — 208 coal

eval/v5/authored

vector / entryexpectedresultmessage
ArithOp.numeric_kind_mismatch / int_long_coerced#0 [value]{"kind":"Long","value":"3"} @ cost 35errored
AvlTree.bad_proof_bytes / contains-0x00-false#0 [panicked]{"kind":"Boolean","value":false} @ cost 217panickedpanic: called `Option::unwrap()` on a `None` value
AvlTree.bad_proof_bytes / contains-truncated-false#1 [panicked]{"kind":"Boolean","value":false} @ cost 237panickedpanic: range end index 98 out of range for slice of length 88
AvlTree.bad_proof_bytes / contains-empty-false#2 [panicked]{"kind":"Boolean","value":false} @ cost 217panickedpanic: index out of bounds: the len is 0 but the index is 0
AvlTree.bad_proof_bytes / get-0x00-errored#3 [panicked]erroredpanickedpanic: called `Option::unwrap()` on a `None` value
AvlTree.bad_proof_bytes / insert-0x00-errored#4 [panicked]erroredpanickedpanic: called `Option::unwrap()` on a `None` value
AvlTree.degenerate_edges / remove-mismatched-op-none#0 [value]{"kind":"Option","value":null} @ cost 407errored
AvlTree.degenerate_edges / insert-empty-entries-none#2 [value]{"kind":"Option","value":null} @ cost 211errored
AvlTree.degenerate_edges / update-empty-entries-none#3 [value]{"kind":"Option","value":null} @ cost 211errored
AvlTree.negative_keylength_tree / contains-false#0 [panicked]{"kind":"Boolean","value":false} @ cost 217panickedpanic: range end index 2147483682 out of range for slice of length 177
AvlTree.negative_keylength_tree / get-errored#1 [panicked]erroredpanickedpanic: range end index 2147483682 out of range for slice of length 177
AvlTree.negative_keylength_tree / insert-errored#2 [panicked]erroredpanickedpanic: range end index 2147483682 out of range for slice of length 177
AvlTree.negative_keylength_tree / remove-none#3 [panicked]{"kind":"Option","value":null} @ cost 362panickedpanic: range end index 2147483748 out of range for slice of length 219
AvlTree.per_op_failure / insert-wrong-val-len-errored [panicked]erroredpanickedpanic: assertion failed: self.tree().value_length.filter(|len| v.len() != *len).is_none()
AvlTree.per_op_failure / update-wrong-val-len-none [panicked]{"kind":"Option","value":null} @ cost 428panickedpanic: assertion failed: self.tree().value_length.filter(|len| v.len() != *len).is_none()
AvlTree.per_op_failure / remove-wrong-len-none [value]{"kind":"Option","value":null} @ cost 407errored
AvlTree.per_op_failure / remove--inf-none [value]{"kind":"Option","value":null} @ cost 407errored
AvlTree.per_op_failure / remove-+inf-none [value]{"kind":"Option","value":null} @ cost 407errored
AvlTree.unsupported_eval_nodes / tree_lookup-errored#0 [reject]errored{"kind":"Option","value":{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byt… @ cost 0
AvlTree.updateDigest_any_length / updateDigest-3byte#0 [value]{"bytes_hex":"01020307200108","kind":"AvlTree"} @ cost 46errored
AvlTree.updateDigest_any_length / updateDigest-3byte-readback#1 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":1},{"kind":"Byte","value":2},{"kind":"By… @ cost 65errored
AvlTree.updateDigest_any_length / updateDigest-empty#2 [value]{"bytes_hex":"07200108","kind":"AvlTree"} @ cost 46errored
AvlTree.updateDigest_any_length / updateDigest-40byte#3 [value]{"bytes_hex":"0102030405060708090a0b0c0d0e0f101112131415161718191a1b1c1d1e1f20212223242526272807… @ cost 46errored
AvlTree.updateDigest_then_contains / updateDigest_3byte_then_contains#0 [value]{"kind":"Boolean","value":false} @ cost 262errored
AvlTree.wrong_tree_proof / contains-false#0 [value]{"kind":"Boolean","value":false} @ cost 257errored
AvlTree.wrong_tree_proof / update-none#4 [value]{"kind":"Option","value":null} @ cost 428errored
AvlTree.wrong_tree_proof / remove-none#5 [value]{"kind":"Option","value":null} @ cost 387errored
Box.accessor_method_form / propositionBytes-99-2#1 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":16},{"kind":"Byte","value":1},{"kind":"B… @ cost 15errored
Box.accessor_method_form / bytes-99-3-garbage-retained#2 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-64},{"kind":"Byte","value":-124},{"kind… @ cost 17errored
Box.accessor_method_form / bytesWithoutRef-99-4-garbage-canonical#3 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-64},{"kind":"Byte","value":-124},{"kind… @ cost 17errored
Box.accessor_method_form / id-99-5-garbage#4 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-119},{"kind":"Byte","value":61},{"kind"… @ cost 17errored
Box.accessor_method_form / creationInfo-99-6#5 [value]{"items":[{"kind":"Int","value":0},{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":17},{… @ cost 21errored
Box.bytes_byte_basis / bytes-garbage-retained#0 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-64},{"kind":"Byte","value":-124},{"kind… @ cost 13{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-64},{"kind":"Byte","value":-124},{"kind… @ cost 0
Box.bytes_byte_basis / id-garbage#4 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-119},{"kind":"Byte","value":61},{"kind"… @ cost 13{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-90},{"kind":"Byte","value":-110},{"kind… @ cost 0
Box.eq_id_basis / box-eq-byte-basis-false#0 [value]{"kind":"Boolean","value":false} @ cost 8{"kind":"Boolean","value":true} @ cost 0
Box.signed_view_u64 / b.value#2^63 [value]{"kind":"Long","value":"-9223372036854775808"} @ cost 33errored
Box.signed_view_u64 / b.value#u64-max [value]{"kind":"Long","value":"-1"} @ cost 33errored
Box.signed_view_u64 / b.R0#2^63 [value]{"kind":"Long","value":"-9223372036854775808"} @ cost 90errored
Box.signed_view_u64 / b.R0#u64-max [value]{"kind":"Long","value":"-1"} @ cost 90errored
Box.signed_view_u64 / b.tokens(0)._2#2^63 [value]{"kind":"Long","value":"-9223372036854775808"} @ cost 85errored
Box.signed_view_u64 / b.tokens(0)._2#u64-max [value]{"kind":"Long","value":"-1"} @ cost 85errored
Box.sub_min_value / b.value#sub-min [value]{"kind":"Long","value":"1"} @ cost 33errored
Context.extension_key_domain / key-0x80-present-errored#0 [reject]errored{"kind":"SigmaProp","raw_hex":"d3"} @ cost 0
Context.op_forms / lastblockutxoroothash-opform#0 [value]{"bytes_hex":"000000000000000000000000000000000000000000000000000000000000000000072000","kind":"… @ cost 15errored
Context.properties / CONTEXT.headers#dummy [value]{"elem":{"tag":"SHeader"},"items":[],"kind":"Coll"} @ cost 20{"elem":{"tag":"SHeader"},"items":[{"bytes_hex":"01e80bfcf7703792df6b8c52f7dd85dd64dfc0f6e84ae9a… @ cost 0
EQ.non_pair_tuple_operand / eq-non-pair-tuple-errored#0 [reject]errored{"kind":"Boolean","value":true} @ cost 0
EQ_of_SigmaProp_conjecture_mismatch / cand-vs-dlog#0 [reject]errored{"kind":"Boolean","value":false} @ cost 0
EQ_of_SigmaProp_conjecture_mismatch / cthreshold-vs-cand#3 [reject]errored{"kind":"Boolean","value":false} @ cost 0
EQ_of_nested_SigmaProp_conjecture_mismatch / coll-cand-vs-dlog#0 [reject]errored{"kind":"Boolean","value":false} @ cost 0
EQ_of_nested_SigmaProp_conjecture_mismatch / tuple-cand-vs-dlog#2 [reject]errored{"kind":"Boolean","value":false} @ cost 0
FuncValue.non_unary_arity / funcvalue-2arg-applied-errored#0 [reject]errored{"kind":"Int","value":7} @ cost 0
FuncValue.non_unary_arity / funcvalue-2arg-bound-errored#0 [reject]errored{"kind":"Int","value":5} @ cost 0
FuncValue.non_unary_arity / funcvalue-0arg-errored#0 [reject]errored{"kind":"Int","value":5} @ cost 0
Tuple.checkType_unsupported / checktype-inline-errored#0 [reject]errored{"items":[{"items":[{"kind":"Boolean","value":true},{"kind":"Boolean","value":true},{"kind":"Boo… @ cost 0
Tuple.checkType_unsupported / checktype-placeholder-errored#0 [reject]errored{"items":[{"items":[{"kind":"Boolean","value":true},{"kind":"Boolean","value":true},{"kind":"Boo… @ cost 0
Tuple.non_pair_arity3 / flat_triple-errored#0 [reject]errored{"items":[{"kind":"Boolean","value":true},{"kind":"Byte","value":7},{"kind":"Short","value":1234… @ cost 0
ValDef.id_int_max_bound / valdef-id-overflow-errored#0 [reject]errored{"kind":"Int","value":7} @ cost 0
atLeast.children_cap / bound-256-of-255-FalseProp#4 [value]{"kind":"SigmaProp","raw_hex":"d2"} @ cost 449errored
atLeast_with_a_degenerate_bound / bound-neg1-TrueProp#1 [value]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 46errored
atLeast_with_a_degenerate_bound / bound-3-gt-size-False#4 [value]{"kind":"SigmaProp","raw_hex":"d2"} @ cost 46errored
atLeast_with_a_degenerate_bound / bound-256-gt-255-False#5 [value]{"kind":"SigmaProp","raw_hex":"d2"} @ cost 46errored
atLeast_with_a_degenerate_bound / empty-input-False#6 [value]{"kind":"SigmaProp","raw_hex":"d2"} @ cost 44errored

eval/v5/spec

vector / entryexpectedresultmessage
BigInt_methods_equivalence / (CBigInt(-88860817679037092071738769298990821415159153878737645888),CBigInt(3593483920164633913))#9 [value]{"items":[{"kind":"BigInt","value":"-88860817679037092071738769298990821411565669958573011975"},… @ cost 332{"items":[{"kind":"BigInt","value":"-88860817679037092071738769298990821411565669958573011975"},… @ cost 0
Numeric_Negation_equivalence / -128#0 [value]{"kind":"Byte","value":-128} @ cost 100errored
Numeric_Negation_equivalence / -32768#9 [value]{"kind":"Short","value":-32768} @ cost 100errored
Numeric_Negation_equivalence / -2147483648#18 [value]{"kind":"Int","value":-2147483648} @ cost 100errored
Numeric_Negation_equivalence / -9223372036854775808#26 [value]{"kind":"Long","value":"-9223372036854775808"} @ cost 100errored
substConstants_equivalence / (Coll(0,8,-45),0)#1 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byte","value":8},{"kind":"By… @ cost 251errored
substConstants_equivalence / (Coll(0,0,8,-45),0)#2 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byte","value":0},{"kind":"By… @ cost 251errored
substConstants_equivalence / (Coll(16,0,8,-45),0)#3 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":16},{"kind":"Byte","value":0},{"kind":"B… @ cost 251errored
substConstants_equivalence / (Coll(16,0,8,-45),0)#4 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":16},{"kind":"Byte","value":0},{"kind":"B… @ cost 251errored
substConstants_equivalence / (Coll(16,1,8,-45,115,0),1)#7 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":16},{"kind":"Byte","value":1},{"kind":"B… @ cost 351errored

eval/v6/authored

vector / entryexpectedresultmessage
AvlTree.bad_proof_bytes_v6 / insert-0x00-none#0 [panicked]{"kind":"Option","value":null} @ cost 268panickedpanic: called `Option::unwrap()` on a `None` value
AvlTree.degenerate_edges_v6 / insert-empty-entries-none#0 [value]{"kind":"Option","value":null} @ cost 211errored
AvlTree.insertOrUpdate / insertOrUpdate#bad-proof [value]{"kind":"Option","value":null} @ cost 443errored
AvlTree.insert_wrong_tree / insert-none#0 [value]{"kind":"Option","value":null} @ cost 308errored
AvlTree.negative_keylength_tree_v6 / insert-none#0 [panicked]{"kind":"Option","value":null} @ cost 278panickedpanic: range end index 2147483682 out of range for slice of length 177
AvlTree.per_op_failure_v6 / insert-wrong-val-len-none [panicked]{"kind":"Option","value":null} @ cost 308panickedpanic: assertion failed: self.tree().value_length.filter(|len| v.len() != *len).is_none()
AvlTree.per_op_failure_v6 / insertOrUpdate-wrong-val-len-none [panicked]{"kind":"Option","value":null} @ cost 443panickedpanic: assertion failed: self.tree().value_length.filter(|len| v.len() != *len).is_none()
AvlTree.unsupported_eval_nodes_v6 / tree_lookup-errored#0 [reject]errored{"kind":"Option","value":{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byt… @ cost 0
Box.getReg_adversarial / getRegV5-dead-branch-accept#1 [value]{"kind":"Boolean","value":true} @ cost 12errored
Box.getReg_dynamic_index / accept-r4-long#0 [value]{"kind":"Option","value":{"kind":"Long","value":"7"}} @ cost 89errored
Box.getReg_dynamic_index / none-absent-r5#2 [value]{"kind":"Option","value":null} @ cost 89errored
Box.getReg_dynamic_index / none-out-of-range-10#3 [value]{"kind":"Option","value":null} @ cost 89errored
DeserializeContext_over_absent_wrong_typed_var / dead-branch-absent#0 [value]{"kind":"Boolean","value":true} @ cost 20errored
DeserializeContext_over_absent_wrong_typed_var / dead-branch-wrong-type#1 [value]{"kind":"Boolean","value":true} @ cost 20errored
FunDef.nTpeArgs_count_bound / nTpeArgs-127-accept#0 [value]{"kind":"Int","value":5} @ cost 13errored
Global.deserializeTo_Box_token_window / destobox-123-accept#1 [value]{"kind":"Int","value":123} @ cost 4295errored
Global.deserializeTo_Box_token_window / destobox-fat-then-reg-errored#4 [reject]errored{"kind":"Int","value":2} @ cost 0
Global.deserializeTo_Header_id_basis / header-eq-id-basis-false#0 [value]{"kind":"Boolean","value":false} @ cost 802{"kind":"Boolean","value":true} @ cost 0
Global.none_pre_v3_dead_branch / none-ubi-dead-branch-v2-errored#0 [reject]errored{"kind":"Boolean","value":true} @ cost 0
Global.powHit_feeding_Coll_HOF / exists#0 [value]{"kind":"Boolean","value":true} @ cost 1230errored
Global.powHit_feeding_Coll_HOF / forall#1 [value]{"kind":"Boolean","value":true} @ cost 1315errored
Global.powHit_feeding_Coll_HOF / filter.size#2 [value]{"kind":"Int","value":2} @ cost 1346errored
GroupElement.expUnsigned / exp-1#0 [value]{"bytes_hex":"0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798","kind":"GroupE… @ cost 906errored
GroupElement.expUnsigned / exp-0#1 [value]{"bytes_hex":"000000000000000000000000000000000000000000000000000000000000000000","kind":"GroupE… @ cost 906errored
GroupElement.expUnsigned / exp-order#2 [value]{"bytes_hex":"000000000000000000000000000000000000000000000000000000000000000000","kind":"GroupE… @ cost 906errored
HOF_FunDef_polymorphic_identity / v3#0 [value]{"kind":"Int","value":7} @ cost 58errored
HOF_FunDef_type_var_body / bound-never-applied-accept#0 [value]{"kind":"Int","value":5} @ cost 13errored
HOF_currying_Apply_of_Apply / add(3)(1)#0 [value]{"kind":"Int","value":4} @ cost 119errored
Header.property_accessors / h.stateRoot#nominal [value]{"bytes_hex":"5c8c00b8403d3701557181c8df800001b6d5009e2201c6ff807d71808c00019780072000","kind":"… @ cost 39{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":92},{"kind":"Byte","value":-116},{"kind"… @ cost 0
Header.property_accessors / h.powOnetimePk#nominal [value]{"bytes_hex":"0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798","kind":"GroupE… @ cost 39{"bytes_hex":"000000000000000000000000000000000000000000000000000000000000000000","kind":"GroupE… @ cost 0
Header.version_unparsedbytes_gate / version-0x80-skips-unparsedbytes#1 [value]{"bytes_hex":"000000000000000000000000000000000000000000000000000000000000000000","kind":"GroupE… @ cost 39{"bytes_hex":"03bedaee069ff4829500b3c07c4d5fe6b3ea3d3bf76c5c28c1d4dcdb1bed0ade0c","kind":"GroupE… @ cost 0
Rule1012_header_size_bit / header-v3-no-size-bit-errored#0 [reject]errored{"kind":"Long","value":"-1"} @ cost 0
SOption.nonzero_data_tag / option-tag-02-some#0 [value]{"kind":"Option","value":{"kind":"Int","value":5}} @ cost 1errored
STypeVar.name_length_bound / name-length-0-accept#0 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_length_bound / name-length-255-accept#1 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-ff-accept#0 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-e282-accept#1 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-c080-accept#2 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-eda080-accept#3 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-61ff62-accept#4 [value]{"kind":"Int","value":5} @ cost 13errored
substConstants_version_source_outer_v3 / subst-outer-v3-option-const-accept#0 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":26},{"kind":"Byte","value":6},{"kind":"B… @ cost 222errored

eval/v6/captured

vector / entryexpectedresultmessage
h111766-67eb9e994be2 / h111766-67eb9e994be2#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 1862not-implemented
h111814-51ad38443b00 / h111814-51ad38443b00#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 1881not-implemented
h111927-7b445b01f356 / h111927-7b445b01f356#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1139not-implemented
h112291-52c30165e5d5 / h112291-52c30165e5d5#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 1343not-implemented
h112291-84ecb7431b61 / h112291-84ecb7431b61#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 1881not-implemented
h112342-f439fa4182cf / h112342-f439fa4182cf#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd0281dcc97683d140b4538cb99c0ed168ed01667b6e0d6d1f505d4ee9ec5198b… @ cost 1881not-implemented
h112379-8c12d3f6ce28 / h112379-8c12d3f6ce28#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1139not-implemented
h113569-a967385bcebd / h113569-a967385bcebd#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1139not-implemented
h1542-1b5c260a496a / h1542-1b5c260a496a#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 939not-implemented
h1822-e3ed1933fb2a / h1822-e3ed1933fb2a#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 1805not-implemented
h210070-982e47eda7eb / h210070-982e47eda7eb#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 183not-implemented
h210076-842bb218d145 / h210076-842bb218d145#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 48988not-implemented
h210080-a1969defacf8 / h210080-a1969defacf8#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 52636not-implemented
h210129-6c51f301c418 / h210129-6c51f301c418#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 84not-implemented
h210178-82e5f2795d3e / h210178-82e5f2795d3e#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 56622not-implemented
h210183-bfbf46194aa7 / h210183-bfbf46194aa7#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 120374not-implemented
h210186-f28f304a17ba / h210186-f28f304a17ba#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 236627not-implemented
h231432-fb4744c753de / h231432-fb4744c753de#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1330not-implemented
h231432-fddb21e1303e / h231432-fddb21e1303e#in1 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1504not-implemented
h231515-0b800cbc6640 / h231515-0b800cbc6640#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1330not-implemented
h23806-a0c70f1ac1f7 / h23806-a0c70f1ac1f7#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 1805not-implemented
h250628-01251d809fae / h250628-01251d809fae#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 614706not-implemented
h2571-3d8b8635ca52 / h2571-3d8b8635ca52#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 938not-implemented
h257245-6b21a028a98c / h257245-6b21a028a98c#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1402not-implemented
h257247-3781e589d6b6 / h257247-3781e589d6b6#in2 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 16not-implemented
h257247-40a6377c54cc / h257247-40a6377c54cc#in1 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 113719not-implemented
h261770-5dad90a5021b / h261770-5dad90a5021b#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1859not-implemented
h264948-bf31b3635b88 / h264948-bf31b3635b88#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1861not-implemented
h265036-9946de43b803 / h265036-9946de43b803#in1 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 132430not-implemented
h265399-83f7c92a5d39 / h265399-83f7c92a5d39#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1861not-implemented
h265560-ef1ac1d85ed7 / h265560-ef1ac1d85ed7#in1 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 227149not-implemented
h2666-8437796cc182 / h2666-8437796cc182#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1436not-implemented
h267637-abc553e94abf / h267637-abc553e94abf#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1861not-implemented
h269611-357328e4444a / h269611-357328e4444a#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1861not-implemented
h273197-0de63e2f5b18 / h273197-0de63e2f5b18#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1861not-implemented
h28286-a707cac43cc6 / h28286-a707cac43cc6#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 1805not-implemented
h28461-884a8e823e3e / h28461-884a8e823e3e#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 1805not-implemented
h28474-527dd0cad822 / h28474-527dd0cad822#in1 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 22836not-implemented
h28474-9b6449d14878 / h28474-9b6449d14878#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 738not-implemented
h28882-c024ed2704d4 / h28882-c024ed2704d4#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 574not-implemented
h28931-costdiverge-colleq / h28931-costdiverge-colleq#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd02856c5e4eb4b915005dccb8e0f42bed1777cae48565be13a77cbf31e3c93f4… @ cost 604not-implemented
h29879-d92c96ca6ea5 / h29879-d92c96ca6ea5#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1123not-implemented
h30866-174f842b6284 / h30866-174f842b6284#in1 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 3008not-implemented
h318040-089df53dc16b / h318040-089df53dc16b#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 4045not-implemented
h321624-5cfe5a53ceda / h321624-5cfe5a53ceda#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 4150not-implemented
h322248-26e77c80bf42 / h322248-26e77c80bf42#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 3971not-implemented
h323069-296824ff6c8b / h323069-296824ff6c8b#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1400not-implemented
h323115-ff8c955a82e5 / h323115-ff8c955a82e5#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1436not-implemented
h323125-5a2643e25a76 / h323125-5a2643e25a76#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1217not-implemented
h323127-6e4a9fe411cb / h323127-6e4a9fe411cb#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 4848not-implemented
h323147-7d54b8e98882 / h323147-7d54b8e98882#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1463not-implemented
h323253-f3c78543d03c / h323253-f3c78543d03c#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd0281dcc97683d140b4538cb99c0ed168ed01667b6e0d6d1f505d4ee9ec5198b… @ cost 1974not-implemented
h323581-6f3db2ce9792 / h323581-6f3db2ce9792#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1414not-implemented
h323630-d110fb3dbaae / h323630-d110fb3dbaae#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1414not-implemented
h323705-4bc141532db1 / h323705-4bc141532db1#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd0281dcc97683d140b4538cb99c0ed168ed01667b6e0d6d1f505d4ee9ec5198b… @ cost 1974not-implemented
h323716-896f328b33d1 / h323716-896f328b33d1#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1244not-implemented
h323718-96fa91ae47de / h323718-96fa91ae47de#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 6435not-implemented
h323735-19a5b21756be / h323735-19a5b21756be#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd0281dcc97683d140b4538cb99c0ed168ed01667b6e0d6d1f505d4ee9ec5198b… @ cost 1974not-implemented
h324677-f0868a4b1f5c / h324677-f0868a4b1f5c#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 1244not-implemented
h33615-7f2709218327 / h33615-7f2709218327#in1 [not-implemented]{"kind":"SigmaProp","raw_hex":"d3"} @ cost 14145not-implemented
h92839-ef080dcdc493 / h92839-ef080dcdc493#in0 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd0281dcc97683d140b4538cb99c0ed168ed01667b6e0d6d1f505d4ee9ec5198b… @ cost 1862not-implemented
h92847-678cb0ba7dc5 / h92847-678cb0ba7dc5#in1 [not-implemented]{"kind":"SigmaProp","raw_hex":"cd0281dcc97683d140b4538cb99c0ed168ed01667b6e0d6d1f505d4ee9ec5198b… @ cost 621not-implemented

eval/v6/spec

vector / entryexpectedresultmessage
BigInt_6.0_features / CBigInt(127)#17 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":127}],"kind":"Coll"} @ cost 79{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byte","value":0},{"kind":"By… @ cost 0
BigInt_6.0_features / CBigInt(32767)#18 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":127},{"kind":"Byte","value":-1}],"kind":… @ cost 79{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byte","value":0},{"kind":"By… @ cost 0
BigInt_6.0_features / CBigInt(-32768)#19 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-128},{"kind":"Byte","value":0}],"kind":… @ cost 79{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":-1},{"kind":"Byte","value":-1},{"kind":"… @ cost 0
BigInt_6.0_features / CBigInt(2147483647)#20 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":127},{"kind":"Byte","value":-1},{"kind":… @ cost 79{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byte","value":0},{"kind":"By… @ cost 0
BigInt_6.0_features / CBigInt(83)#21 [value]{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":false},{"kind":"Boolean","value":t… @ cost 79{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":false},{"kind":"Boolean","value":f… @ cost 0
BigInt_6.0_features / CBigInt(-55)#22 [value]{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":true},{"kind":"Boolean","value":tr… @ cost 79{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":true},{"kind":"Boolean","value":tr… @ cost 0
BigInt_6.0_features / CBigInt(-1)#23 [value]{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":true},{"kind":"Boolean","value":tr… @ cost 79{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":true},{"kind":"Boolean","value":tr… @ cost 0
BigInt_6.0_features / CBigInt(-10001)#24 [value]{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":true},{"kind":"Boolean","value":tr… @ cost 79{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":true},{"kind":"Boolean","value":tr… @ cost 0
GroupElement.expUnsigned / (GroupElement(ECPoint(79be66,483ada,...)),CUnsignedBigInt(1))#0 [value]{"bytes_hex":"0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798","kind":"GroupE… @ cost 999errored
GroupElement.expUnsigned / (GroupElement(ECPoint(79be66,483ada,...)),CUnsignedBigInt(0))#1 [value]{"bytes_hex":"000000000000000000000000000000000000000000000000000000000000000000","kind":"GroupE… @ cost 999errored
GroupElement.expUnsigned / (GroupElement(ECPoint(79be66,483ada,...)),CUnsignedBigInt(115792089237316195423570985008687907852837564279074904382605163141518161494337))#2 [value]{"bytes_hex":"000000000000000000000000000000000000000000000000000000000000000000","kind":"GroupE… @ cost 999errored
UnsignedBigInt_methods / CUnsignedBigInt(127)#12 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":127}],"kind":"Coll"} @ cost 79{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byte","value":0},{"kind":"By… @ cost 0
UnsignedBigInt_methods / CUnsignedBigInt(32767)#13 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":127},{"kind":"Byte","value":-1}],"kind":… @ cost 79{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byte","value":0},{"kind":"By… @ cost 0
UnsignedBigInt_methods / CUnsignedBigInt(2147483647)#14 [value]{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":127},{"kind":"Byte","value":-1},{"kind":… @ cost 79{"elem":{"tag":"SByte"},"items":[{"kind":"Byte","value":0},{"kind":"Byte","value":0},{"kind":"By… @ cost 0
UnsignedBigInt_methods / CUnsignedBigInt(83)#15 [value]{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":false},{"kind":"Boolean","value":t… @ cost 79{"elem":{"tag":"SBoolean"},"items":[{"kind":"Boolean","value":false},{"kind":"Boolean","value":f… @ cost 0

transaction/v6/authored

vector / entryexpectedresultmessage
cost-limit-boundary / cost-limit-reject [valid]valid falsevalid true @ cost null

transaction/v6/captured

vector / entryexpectedresultmessage
atleast-degenerate-bound-184137 / atleast-degenerate-bound-184137 [valid]valid truevalid false @ cost nullVerifier error on input 0: EvalError: eval error: x Evaluation error
bigint-downcast-2666 / bigint-downcast-2666 [valid]valid truevalid false @ cost nullVerifier error on input 0: EvalError: eval error: x Evaluation error
deserialize-context-111927 / deserialize-context-111927 [valid]valid truevalid false @ cost nullVerifier error on input 0: EvalError: DeserializeRegister/DeserializeContext error: Could not find context extension variable 0
powhit-return-type-28474 / powhit-return-type-28474 [valid]valid truevalid false @ cost nullVerifier error on input 1: EvalError: ErgoTree error: Sigma parsing error: InvalidArgument(InvalidArgumentError("Invalid condition tpe: SFunc(SFunc { t_dom: [SUnsignedBigInt], t_range: SBoolean, tpe_params: [] })"))

wire/v6/authored

vector / entryexpectedresultmessage
Box.softfork_header_constant_reject / box-softfork-header-constant-reject#0 [reject]erroredc0843d1adb01016802000000000000000000000000000000…
ErgoTree.sheader_constant_v3_accept / sheader-constant-v3-accept#0 [not-implemented]roundtrip 1bdb01016802000000000000000000000000000000000000…not-implemented
ErgoTree.sheader_constant_v3_malformed_pk_reject / sheader-constant-v3-malformed-pk-reject#0 [not-implemented]roundtrip 1bdb01016802000000000000000000000000000000000000…not-implemented
ErgoTree.sheader_constant_v3_truncated_reject / sheader-constant-v3-truncated-reject#0 [not-implemented]roundtrip 1bc501016802000000000000000000000000000000000000…not-implemented
ErgoTree.unparsed_soft_fork_header_constant / unparsed-soft-fork-header-constant-reject#0 [not-implemented]roundtrip 1adb01016802000000000000000000000000000000000000…not-implemented
ErgoTree.unparsed_soft_fork_option_constant / unparsed-soft-fork-option-constant-roundtrip#0 [not-implemented]roundtrip 1a060128010a7300not-implemented
ErgoTree.unparsed_soft_fork_roundtrip / unparsed-soft-fork-1-byte-body-roundtrip#0 [not-implemented]roundtrip 0b01fdnot-implemented
ErgoTree.unparsed_soft_fork_roundtrip / unparsed-soft-fork-3-byte-body-roundtrip#1 [not-implemented]roundtrip 0b03fd0102not-implemented
STypeVar.name_utf8_roundtrip / name-utf8-ff-roundtrip#0 [not-implemented]roundtrip 1b1501040ad801d701016701ffd901026701ff72027300not-implemented
STypeVar.name_utf8_roundtrip / name-utf8-e282-roundtrip#1 [not-implemented]roundtrip 1b1701040ad801d701016702e282d901026702e282720273…not-implemented
STypeVar.name_utf8_roundtrip / name-utf8-c080-roundtrip#2 [not-implemented]roundtrip 1b1701040ad801d701016702c080d901026702c080720273…not-implemented
STypeVar.name_utf8_roundtrip / name-utf8-eda080-roundtrip#3 [not-implemented]roundtrip 1b1901040ad801d701016703eda080d901026703eda08072…not-implemented
STypeVar.name_utf8_roundtrip / name-utf8-61ff62-roundtrip#4 [not-implemented]roundtrip 1b1901040ad801d70101670361ff62d90102670361ff6272…not-implemented
🪨 comet — 28 coal

wire/v5/vendored

vector / entryexpectedresultmessage
Box / box_6 [roundtrip]roundtrip 90bbe2ee371014040004000e208c27dd9d8a35aac1e3167d…erroredError: ErgoTree parsing without the size flag is not supported.
Constant / sigmaProp_0 [not-implemented]roundtrip 08cd0200205e052506a4bc22dd580b721bfa994fe954ada9…not-implemented
Constant / sigmaProp_1 [not-implemented]roundtrip 08cd0200a4bffdc39c74ce1f31346dd4f47795b9dcd8cd25…not-implemented
Constant / sigmaProp_2 [not-implemented]roundtrip 08cd0200c662d546939237a0195ef8be81fb0f939285c374…not-implemented
SigmaBoolean / trivial-true [not-implemented]roundtrip d3not-implemented
SigmaBoolean / trivial-false [not-implemented]roundtrip d2not-implemented
SigmaBoolean / prove-dlog-basic [not-implemented]roundtrip cd0000000000000000000000000000000000000000000000…not-implemented
SigmaBoolean / prove-dh-tuple-basic [not-implemented]roundtrip ce0000000000000000000000000000000000000000000000…not-implemented
SigmaBoolean / cand-two-leaves [not-implemented]roundtrip 9602cd000000000000000000000000000000000000000000…not-implemented
SigmaBoolean / cor-two-leaves [not-implemented]roundtrip 9702cd000000000000000000000000000000000000000000…not-implemented
SigmaBoolean / cthreshold-2-of-3 [not-implemented]roundtrip 980203cd0000000000000000000000000000000000000000…not-implemented
Transaction / tx_466f1aef [roundtrip]roundtrip 010c7a0f145994fa15b02eca8189b454eeff9eec5ca33fa1…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_88b2de1c [roundtrip]roundtrip 027d931a37b53abb26b9c0a21e3569d4d5f8b7208b4d2244…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_140daf92 [roundtrip]roundtrip 023ebf3eb95b2b0354c850dd1351faa5bb59962413c84ba5…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_6979e509 [roundtrip]roundtrip 02ee61134911cedcea27edb4dca7e8396b4fa338b8ab5b52…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_419e2d1b [roundtrip]roundtrip 023ec11448012e76db8f352a8341917240cb5a21a6ad162d…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_74e556f8 [roundtrip]roundtrip 02e5b1c265249d51da16260a40d76c0b2f97867c260d8f23…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_88ec92c1 [roundtrip]roundtrip 025124c14f3671cce2b44e193cda5fb13a4a98de871629ac…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_b61946f3 [roundtrip]roundtrip 02db8d6d934446b443a303eb4ebf423db2c1ab24a428e217…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_7d093c20 [roundtrip]roundtrip 027cf907006ad84020423e3299361f2f7ee72cf968caf6f7…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_dff4c577 [roundtrip]roundtrip 02d6702a09addc9c4df804fc95c7aed144d6fd48a5f43ecd…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_6d4c70ab [roundtrip]roundtrip 02d5a6acb34b3e5f33ef6418da8b2b3d2b78f46d2e31d66e…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_cd28390c [roundtrip]roundtrip 02e7f5e6e40ce5468e6c97c215b3a42a8976bb385539bc17…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_5c34d5c5 [roundtrip]roundtrip 0224fa3b3c61abd2a07f2eef59c27ec2ffe7e70ffc6f4759…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_48a94ca5 [roundtrip]roundtrip 0291642ee2c1f7c22c9d580e7c6e8db381b250b3297311d8…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_54b8fc11 [roundtrip]roundtrip 02629f98ebf14d128bc3b60d3e7493f3ea4f0fc6e51f56f4…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_c29cba0c [roundtrip]roundtrip 02f829a11d0392957691f6141ec35aa2bbf8c415c8c65bc6…erroredError: ErgoTree parsing without the size flag is not supported.
Transaction / tx_3d7d9972 [roundtrip]roundtrip 0f03e2fd5ef1048b63fbd23a944a1ba9b3bf88d1fffd46af…erroredError: ErgoTree parsing without the size flag is not supported.
🪨 dasher — 1 coal

transaction/v6/authored

vector / entryexpectedresultmessage
cost-limit-boundary / cost-limit-reject [valid]valid falsevalid true @ cost null
🪨 vixen — 42 coal

block/v6/authored

vector / entryexpectedresultmessage
version-gate / version-gate [valid]valid falsevalid true @ cost 12344

chain/any/authored

vector / entryexpectedresultmessage
HeaderVotes.field_rules / count-three-nonfork-reject [value]chain {"valid":false}{"error":null,"valid":true}

chain/v6/authored

vector / entryexpectedresultmessage
ForkVoteGate.preconditions / gate-hostile-122-without-121 [value]chain {"error":"errored"}{"error":null,"valid":true}

eval/v5/authored

vector / entryexpectedresultmessage
Coll.eq_compared_count_coa / mismatch-at-0#1 [cost]cost 20cost 26
Coll.eq_compared_count_coa / mismatch-at-150#2 [cost]cost 22cost 26
Coll.eq_compared_count_coa / mismatch-at-300#3 [cost]cost 24cost 26

eval/v6/authored

vector / entryexpectedresultmessage
FunDef.nTpeArgs_count_bound / nTpeArgs-128-reject#1 [reject]errored{"kind":"Int","value":5} @ cost 13
Global.none_pre_v3_dead_branch / none-ubi-dead-branch-v2-errored#0 [reject]errored{"kind":"Boolean","value":true} @ cost 12
Header.version_unparsedbytes_gate / version-0x80-skips-unparsedbytes#1 [value]{"bytes_hex":"000000000000000000000000000000000000000000000000000000000000000000","kind":"GroupE… @ cost 39{"bytes_hex":"03bedaee069ff4829500b3c07c4d5fe6b3ea3d3bf76c5c28c1d4dcdb1bed0ade0c","kind":"GroupE… @ cost 39
Rule1012_header_size_bit / header-v3-no-size-bit-errored#0 [reject]errored{"kind":"Long","value":"-1"} @ cost 5
STypeVar.name_utf8_leniency / name-utf8-ff-accept#0 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-e282-accept#1 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-c080-accept#2 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-eda080-accept#3 [value]{"kind":"Int","value":5} @ cost 13errored
STypeVar.name_utf8_leniency / name-utf8-61ff62-accept#4 [value]{"kind":"Int","value":5} @ cost 13errored

eval/v6/captured

vector / entryexpectedresultmessage
h111766-67eb9e994be2 / h111766-67eb9e994be2#in0 [cost]cost 1862cost 1864
h112291-52c30165e5d5 / h112291-52c30165e5d5#in0 [cost]cost 1343cost 1345
h261770-5dad90a5021b / h261770-5dad90a5021b#in0 [cost]cost 1859cost 1861
h264948-bf31b3635b88 / h264948-bf31b3635b88#in0 [cost]cost 1861cost 1863
h265399-83f7c92a5d39 / h265399-83f7c92a5d39#in0 [cost]cost 1861cost 1863
h267637-abc553e94abf / h267637-abc553e94abf#in0 [cost]cost 1861cost 1863
h269611-357328e4444a / h269611-357328e4444a#in0 [cost]cost 1861cost 1863
h273197-0de63e2f5b18 / h273197-0de63e2f5b18#in0 [cost]cost 1861cost 1863
h323115-ff8c955a82e5 / h323115-ff8c955a82e5#in0 [cost]cost 1436cost 1437
h323125-5a2643e25a76 / h323125-5a2643e25a76#in0 [cost]cost 1217cost 1218
h323147-7d54b8e98882 / h323147-7d54b8e98882#in0 [cost]cost 1463cost 1465
h323253-f3c78543d03c / h323253-f3c78543d03c#in0 [cost]cost 1974cost 1976
h323705-4bc141532db1 / h323705-4bc141532db1#in0 [cost]cost 1974cost 1976
h323716-896f328b33d1 / h323716-896f328b33d1#in0 [cost]cost 1244cost 1246
h323735-19a5b21756be / h323735-19a5b21756be#in0 [cost]cost 1974cost 1976
h324677-f0868a4b1f5c / h324677-f0868a4b1f5c#in0 [cost]cost 1244cost 1246
h92839-ef080dcdc493 / h92839-ef080dcdc493#in0 [cost]cost 1862cost 1864

wire/v6/authored

vector / entryexpectedresultmessage
Box.softfork_header_constant_reject / box-softfork-header-constant-reject#0 [reject]erroredc0843d1adb01016802000000000000000000000000000000…
ErgoTree.sheader_constant_v3_malformed_pk_reject / sheader-constant-v3-malformed-pk-reject#0 [reject]errored1bdb01016802000000000000000000000000000000000000…
ErgoTree.unparsed_soft_fork_option_constant / unparsed-soft-fork-option-constant-roundtrip#0 [roundtrip]roundtrip 1a060128010a7300errored
ErgoTree.unparsed_soft_fork_roundtrip / unparsed-soft-fork-1-byte-body-roundtrip#0 [roundtrip]roundtrip 0b01fderrored
ErgoTree.unparsed_soft_fork_roundtrip / unparsed-soft-fork-3-byte-body-roundtrip#1 [roundtrip]roundtrip 0b03fd0102errored
STypeVar.name_utf8_roundtrip / name-utf8-ff-roundtrip#0 [roundtrip]roundtrip 1b1501040ad801d701016701ffd901026701ff72027300errored
STypeVar.name_utf8_roundtrip / name-utf8-e282-roundtrip#1 [roundtrip]roundtrip 1b1701040ad801d701016702e282d901026702e282720273…errored
STypeVar.name_utf8_roundtrip / name-utf8-c080-roundtrip#2 [roundtrip]roundtrip 1b1701040ad801d701016702c080d901026702c080720273…errored
STypeVar.name_utf8_roundtrip / name-utf8-eda080-roundtrip#3 [roundtrip]roundtrip 1b1901040ad801d701016703eda080d901026703eda08072…errored
STypeVar.name_utf8_roundtrip / name-utf8-61ff62-roundtrip#4 [roundtrip]roundtrip 1b1901040ad801d70101670361ff62d90102670361ff6272…errored
green — value + cost pass (wire: round-trip-ok)
amber — value-only pass (cost not graded)
red 🪨 N — N divergences (the deliverable)
grey — not in scope
blue — not-impl (roadmap; no verdict yet)
Hover a cell for the per-dimension breakdown — eval value / cost / reject, wire round-trip, tx valid / cost, block valid, or chain value.

Generated from 2b478565f273d8e73e55e37b021dcd3a3c7489d8.