From d5cedc3e1ca21c164c8fe3ba2211dceeb7b65c2d Mon Sep 17 00:00:00 2001 From: Russell O'Connor Date: Tue, 18 Nov 2025 16:21:46 -0500 Subject: [PATCH 1/2] Remove unused enumerate function This function has be unused since 371180fa14c7c66416c909ce70b66b94699966fe. Its behaviour is more or less replicated with Simplicity.Serialization.treeEvalBitStream. --- Haskell-Generate/GenPrimitive.hs | 7 ------- 1 file changed, 7 deletions(-) diff --git a/Haskell-Generate/GenPrimitive.hs b/Haskell-Generate/GenPrimitive.hs index 74185cf4a..827e90bcd 100644 --- a/Haskell-Generate/GenPrimitive.hs +++ b/Haskell-Generate/GenPrimitive.hs @@ -20,13 +20,6 @@ import Simplicity.Serialization import Simplicity.Ty import Simplicity.Weight --- :TODO: This tool should probably be moved to Simplicity.Serialization for general use. -enumerate :: (Cont (DList a) void -> Cont (DList a) Bool -> Cont (DList a) a) -> [a] -enumerate tree = runCont (tree end branch) (:) [] - where - end = cont $ \k -> id - branch = cont $ \k -> k False . k True - jetList :: [SomeArrow JetType] jetList = sortBy (compare `on` name) $ Map.elems jetMap where From d27b7e6f6b4e41f5f1725b102f8f80edc04a13ba Mon Sep 17 00:00:00 2001 From: Russell O'Connor Date: Wed, 19 Nov 2025 14:06:28 -0500 Subject: [PATCH 2/2] Add CMR regression tests Add a test to make sure deployed Elements jet's CMRs remain fixed. The CMR includes the weight, specifications, and types of all the jets. --- .../Tests/Simplicity/Elements/Regression.hs | 519 ++++++++++++++++++ Haskell/Tests/Simplicity/Elements/Tests.hs | 4 +- Simplicity.cabal | 2 +- 3 files changed, 523 insertions(+), 2 deletions(-) create mode 100644 Haskell/Tests/Simplicity/Elements/Regression.hs diff --git a/Haskell/Tests/Simplicity/Elements/Regression.hs b/Haskell/Tests/Simplicity/Elements/Regression.hs new file mode 100644 index 000000000..7f4ac488d --- /dev/null +++ b/Haskell/Tests/Simplicity/Elements/Regression.hs @@ -0,0 +1,519 @@ +{-# LANGUAGE GADTs, ScopedTypeVariables #-} +-- | This module performs some regression testing to make sure that consensus critical items, just as jet CMR don't change. +module Simplicity.Elements.Regression (tests) where + +import Data.Foldable (length, toList) +import Lens.Family2 (review, over) + +import Test.Tasty (TestTree, testGroup) +import Test.Tasty.HUnit (Assertion, (@?=), assertBool, testCase) + +import Simplicity.CoreJets +import Simplicity.Digest +import Simplicity.Elements.Jets as Elements +import Simplicity.MerkleRoot +import Simplicity.Serialization +import Simplicity.Tree +import Simplicity.Ty +import Simplicity.Ty.Word +import qualified Simplicity.Word as Word + +tests :: TestTree +tests = testGroup "Regression" + [ testCase "jet count" assert_jet_count + , assert_jet_cmrs + ] + +wordJets :: BinTree (SomeArrow JetType) +regularJets :: BinTree (SomeArrow JetType) +(Branch wordJets regularJets) = treeEvalBitStream Elements.getJetBit + +assert_jet_count :: Assertion +assert_jet_count = length regularJets @?= 471 + +assert_jet_cmr :: (TyC a, TyC b) => JetType a b -> Assertion +assert_jet_cmr jt = commitmentRoot (asJet jt) @?= review (over be256) (expected_cmr jt) + +assert_jet_cmrs :: TestTree +assert_jet_cmrs = testGroup "CMRs" [testCase (show jt) (assert_jet_cmr jt) | SomeArrow jt <- someWordJets ++ (toList regularJets)] + where + someWordJets = take 6 (toList wordJets) + +expected_cmr :: JetType a b -> Word.Word256 +expected_cmr (CoreJet (WordJet Verify)) = 0x343e6dc16b3f52e83e3b4ccc99b8c6f96a074fe399327af364bc285e299745a2 +expected_cmr (CoreJet (WordJet Low1)) = 0xf27b69bb091609f59e0033050d01a5bc77ff07d942707a79cf5ee410a998a043 +expected_cmr (CoreJet (WordJet Low8)) = 0x217b5643956b4833aa5622f00f0688ba860d4adbf940cbdcd2b59f26d61593b1 +expected_cmr (CoreJet (WordJet Low16)) = 0x977cbd1e7ffc05e716d9c1b49f7d517f853dbf3e98a4c748046eacf417f89c2f +expected_cmr (CoreJet (WordJet Low32)) = 0xbe4169828f076778b60d5456f7886ed7f30b101d6ccbd9ea0c4db142eac66b12 +expected_cmr (CoreJet (WordJet Low64)) = 0x019a66bfba1751688be71389ed7bf371b3014dfb329562ac3b3e9dfe9206a5bc +expected_cmr (CoreJet (WordJet High1)) = 0xc32d877e670d6c037cb33533289e19a724c368aa7551daa6d2dacccd8c95f4d0 +expected_cmr (CoreJet (WordJet High8)) = 0xcbd78d50af7799855adc4903dbbefc1345d51484f03d3c755caaa5caa97d4a14 +expected_cmr (CoreJet (WordJet High16)) = 0x4164ab6e2ff8eef63c06c080f1dec6970b4c5c31c02305abccd8ed2c5e1c45ce +expected_cmr (CoreJet (WordJet High32)) = 0xd3a7ce9cd5d5fb679a98ef57b86322770cb66fb6f0616e1634cfa84c8f6809c6 +expected_cmr (CoreJet (WordJet High64)) = 0x4af91faf8e39f4da7c28a8796594a9228213d7323eea2ca630752ce4c57f16e1 +expected_cmr (CoreJet (WordJet Complement1)) = 0xed74eeb83a00c713cc14f33efe553383cd0411cc3020fd89279316675d910e66 +expected_cmr (CoreJet (WordJet Complement8)) = 0x6916b28fb574d9c908a3f33f74bf06f7ed937254247f9efc2603d7171dd497be +expected_cmr (CoreJet (WordJet Complement16)) = 0x61fdd904a4aeb7eb7684af618e25aae907cd1db0f62d9703c5b854e1663cac9f +expected_cmr (CoreJet (WordJet Complement32)) = 0xfeb02cc36e195b462ae504a912dadfe66ad47f23a0cb3baea21d31aaa0ce101d +expected_cmr (CoreJet (WordJet Complement64)) = 0x45072d5aa0e5c37c9e521dcc92e8f39a5f75e7d928670acab79cd8c8b5b59e1a +expected_cmr (CoreJet (WordJet And1)) = 0xb773cefa418957fea7dfb49c6c43b3dbfa35fa3d80de8cfd4d70c08d945f5fba +expected_cmr (CoreJet (WordJet And8)) = 0xac828b724c5f5340b51e76e7b6e8b23aeab7533fd8c091ae2a515530ae7ab200 +expected_cmr (CoreJet (WordJet And16)) = 0x57dd730b1c8ddff13cae2769562be0abc6ca3bc802da0abbb7fc138ca463da59 +expected_cmr (CoreJet (WordJet And32)) = 0x753e332ddfa096f08399ffaa7ec4da4035bcbaa142e6e38d4cb607ce1f0b051d +expected_cmr (CoreJet (WordJet And64)) = 0xf1ad5e6c63ee5c890b0f2e711561b905316487ac4044dd230cf6a736f81bd4f3 +expected_cmr (CoreJet (WordJet Or1)) = 0x9bf59174410a809d3da2b58c7e0d05c55cec38bdaa5fcac382a311770ee0eb38 +expected_cmr (CoreJet (WordJet Or8)) = 0x84b53689f21d4e697d0fe8988ce736ab72c9c86f847589daa9ae6a784630e620 +expected_cmr (CoreJet (WordJet Or16)) = 0xdd9a3193d619d959fa0b6d8b47af7854f7e0467ba35901ce43d800fcaf730ff9 +expected_cmr (CoreJet (WordJet Or32)) = 0x9a019f07df4996b33e647f4de7e56c1d8f03269cbfa3c7582cfe808e909870b7 +expected_cmr (CoreJet (WordJet Or64)) = 0xc24f358005f803772b1c3e439cf1b709bd9f4d42527591303a36f6b1c3cf29cc +expected_cmr (CoreJet (WordJet Xor1)) = 0x9dc9fe42f7eb34649f1c72d2e5dd167db21be5321372d5ca7f6a184f93e05ee3 +expected_cmr (CoreJet (WordJet Xor8)) = 0xd8335f4890c1d8ed766c7135902e01a0094e3a9816f70c847cc3d7c000406efe +expected_cmr (CoreJet (WordJet Xor16)) = 0x1fcaf40bdedd72e797b09fe78753b0ab27872c0bd12b034955fbfac23812ef26 +expected_cmr (CoreJet (WordJet Xor32)) = 0x1d49fc94f22b5d31b7f9efb5378e5f8a42626aed4e92799348d6b788dfe86b1c +expected_cmr (CoreJet (WordJet Xor64)) = 0x7a3f3f55204783653344311d1dc509d35b6639c0d8b967a207806cd87d31d6e6 +expected_cmr (CoreJet (WordJet Maj1)) = 0xcb2d986d7f00107a3c25f6b2f14891d02e20ae16f0a1252c92d9b58ae73388aa +expected_cmr (CoreJet (WordJet Maj8)) = 0x8930d1d0991b0a581d0b1d85ad72147d6649a35993283fc97214431f0b6a7aa8 +expected_cmr (CoreJet (WordJet Maj16)) = 0x0af6d0c171fe33a2159bf98800f0412c2597e99784d074fdfa33d7fde597ddfd +expected_cmr (CoreJet (WordJet Maj32)) = 0x3060838d48456f3392d5d69b5eec089276cd58bb67a12c642ec73aeb9adacbdd +expected_cmr (CoreJet (WordJet Maj64)) = 0x8ebcc17457ea2b14231b0e901ea7b1d47b9b78986372a4416fe73f6763feb24b +expected_cmr (CoreJet (WordJet XorXor1)) = 0x1e107b05ff941d31d7578b437328ba52f3ff20a068c0d2bdef08768093cc7c63 +expected_cmr (CoreJet (WordJet XorXor8)) = 0xc2da6e9ca64d8a73c1772667b3d7a0938bcb8a6c43fd0473eec71b77494aad94 +expected_cmr (CoreJet (WordJet XorXor16)) = 0xb776989da5095c4be94b1aef759466e11f639c1939471fa18e36e7e490c38961 +expected_cmr (CoreJet (WordJet XorXor32)) = 0xd168fac1ac7fc48357be1b653375ec5e3f05823aae6ac985e9403eeab12bb9f8 +expected_cmr (CoreJet (WordJet XorXor64)) = 0x361c57930ef97d49cbc679faef1e3bcffb787995b961e5537d2b1eebc9c9a6e8 +expected_cmr (CoreJet (WordJet Ch1)) = 0xb841b857a4aa50eaca27a26f7442fcbfe954677ae6d455f605654989e35aeb13 +expected_cmr (CoreJet (WordJet Ch8)) = 0x353f63b0f8cb54f5ae6575af8ca2242ceee9f27a84186eb80e620d5e2e8548ec +expected_cmr (CoreJet (WordJet Ch16)) = 0x9cff11a09b6041e5f2639ae4c065a18fc675db2fbd985408e28f027a99110e11 +expected_cmr (CoreJet (WordJet Ch32)) = 0x071cef8039c79f7131cd6a5fe493dc268f9db58f7b20a85555e297bdd216cf40 +expected_cmr (CoreJet (WordJet Ch64)) = 0xd555d21963b0192fc97214b63dc1c3af758b291158f0e1a3bcfdea679c666da6 +expected_cmr (CoreJet (WordJet Some1)) = 0xfbdad6b022a0c78ff35604aafacd27cc10f51ee0698c41f1ada90397618d526f +expected_cmr (CoreJet (WordJet Some8)) = 0x2d8c8f71ee5e7582f0ed65f526c02605dcb93c0bddb9433aff3f25c228acda8a +expected_cmr (CoreJet (WordJet Some16)) = 0x7e2ccdbfc24dd8d8a904b017dd4f57e7c87496348aca7d0458c9d16b68bcda1c +expected_cmr (CoreJet (WordJet Some32)) = 0x4536aeb121c4273ffc2a48fed9eed0312ebd972dec5681f47ead0f62d954452a +expected_cmr (CoreJet (WordJet Some64)) = 0x7f0bbd9d6631c1309f901c2f0d7a0d284a34416cf750db1fe2b9f3d6ed709409 +expected_cmr (CoreJet (WordJet All8)) = 0x1d3ec7fb6a07847c92b8a998e1f6b478319d050a387642f4032d2f7d2e027fcd +expected_cmr (CoreJet (WordJet All16)) = 0x16f0c9307eb8f4c1fdd1bafaef2879242958498e8f5b2e0d29f06553dc06a0bd +expected_cmr (CoreJet (WordJet All32)) = 0x0eb8b40d29021747eec451d4e663586a436c2db0932675daf2166123bfe452a6 +expected_cmr (CoreJet (WordJet All64)) = 0xa65c82d53d382ee29aa88b7718a97fbbce6475ec32c4b4cd6908fde45d81b624 +expected_cmr (CoreJet (WordJet Eq1)) = 0x607f6b8f5d25b80e05a2bf79d62e870799522cc3e39ce96257455293f9b2b2ed +expected_cmr (CoreJet (WordJet Eq8)) = 0x99787ba2672dd0eb4d7d2ea99449de8f798e7cb181a5e166e1a53f9802b62064 +expected_cmr (CoreJet (WordJet Eq16)) = 0xc996e42b979abc530cc271636671e92054876a1ecaed1433fd619a25fe6d03ad +expected_cmr (CoreJet (WordJet Eq32)) = 0x66d38903e73b1a1320c68a4a3970d71f94ba9e2b1516839943fb15e44ebf57fb +expected_cmr (CoreJet (WordJet Eq64)) = 0xd6a666b4e0f9f575508dbf3b31ceea68393c7db2e98bc592fdd26fae837a0b87 +expected_cmr (CoreJet (WordJet Eq256)) = 0x778d1506c735d2776b950facefc159b678dec03828cf0273eeea64a9da98c12c +expected_cmr (CoreJet (WordJet FullLeftShift8_1)) = 0x733fed0847a2ffac9aabf50a2feb50598984f16d8b732468b3d315c01ea4299b +expected_cmr (CoreJet (WordJet FullLeftShift16_1)) = 0x14dcc3466fa828a3f0740451b8037d7ad603eadc80aaeadc664434ac2ad7fd9c +expected_cmr (CoreJet (WordJet FullLeftShift32_1)) = 0xce33b5d0c58d2d0b9b5a9944d3dabda023cd44647be67cf4082830bb205f8fbb +expected_cmr (CoreJet (WordJet FullLeftShift64_1)) = 0xd463ccdc7fd14e5e894162b2ae714128a10dc92000b54c843b649ccb775626e5 +expected_cmr (CoreJet (WordJet FullLeftShift8_2)) = 0xb4474d0ba1cf4fa2d64cd4fe67bdc92cb89efa70cb99af7791bf7ef6e909d2c7 +expected_cmr (CoreJet (WordJet FullLeftShift16_2)) = 0xafb7e928b052c2287921662cd8ab122fe074efd251a5c9cfbcaa369d06337392 +expected_cmr (CoreJet (WordJet FullLeftShift32_2)) = 0x3faea9b573fc069d8f430faca897b6871ea09573c715094b1f1be0818488a716 +expected_cmr (CoreJet (WordJet FullLeftShift64_2)) = 0x48c89b191a51b6ab034c80eaff348238d93fb31c1e92e7f2ae49317e0e33f82d +expected_cmr (CoreJet (WordJet FullLeftShift8_4)) = 0x8eb522b9970474adbb7ab0de37c4e7a056a1cb212e4103e4a8cbbbb63d975606 +expected_cmr (CoreJet (WordJet FullLeftShift16_4)) = 0x166f348c59e26f89a83a991f67e5dbf710cfae3d6d96938282bb44c1afa7109b +expected_cmr (CoreJet (WordJet FullLeftShift32_4)) = 0xcdbb0d23310590113c934fe66004d2a11da9cbf8873d00dee7f02296ff0a2f12 +expected_cmr (CoreJet (WordJet FullLeftShift64_4)) = 0x293132eb15ddf41774b0005a3b5c50959fa8982b759e832827c74fa82850666c +expected_cmr (CoreJet (WordJet FullLeftShift16_8)) = 0xc0cd015de8ac4fccd8db89f4e5142fde279755b542a24f57a2a3c7c1f50d1db5 +expected_cmr (CoreJet (WordJet FullLeftShift32_8)) = 0xccd924e1a61849420ff62ed8b245a3aa18c98c41f9c5a3c0b885863c449b7d14 +expected_cmr (CoreJet (WordJet FullLeftShift64_8)) = 0xe6abded8be585eb0b6d46e0c5eb28a745f4e5c56fd6521f8f396cb21a758f74c +expected_cmr (CoreJet (WordJet FullLeftShift32_16)) = 0x1cb36e6f99308515d4b711909c574b2124c1ff422d8d7d9482e25d8788b3b957 +expected_cmr (CoreJet (WordJet FullLeftShift64_16)) = 0x882dce212a0e61f8f94cb5e32e00a5287cf64f20c21fca84f1e3df7f4a6291cd +expected_cmr (CoreJet (WordJet FullLeftShift64_32)) = 0x3975907333e127306255b7f88939e2857f42ae1bf0c66240a8224c8da38bb1be +expected_cmr (CoreJet (WordJet FullRightShift8_1)) = 0xd9d4b16d37e4eb5cc5150426e3e86cf60abbdfa1d0ecb41582965e8000cbd291 +expected_cmr (CoreJet (WordJet FullRightShift16_1)) = 0xb379e296e9a98fb3b5662b8ba04e3cc1a43c74429e931233fdd7fc8fe6b7a2e0 +expected_cmr (CoreJet (WordJet FullRightShift32_1)) = 0xad0d5c75ea68437191770d7fdf804bbc9d573d5f10199823d809c9c46cd275ad +expected_cmr (CoreJet (WordJet FullRightShift64_1)) = 0x03afb547c30913f16f3e370d7f9ca0290b615b4285051bb93c3c1a9b72ee8de4 +expected_cmr (CoreJet (WordJet FullRightShift8_2)) = 0x079aa16617198ad5df2c98a63af76c1b3e120fd2106b225f63fd06ac571d04a4 +expected_cmr (CoreJet (WordJet FullRightShift16_2)) = 0xaeb8c60806a479207758e39083b4a9a7a14da4ee9bc1097fc5cb4b75540d7578 +expected_cmr (CoreJet (WordJet FullRightShift32_2)) = 0x44384b1506d443d2f8a2882b4563d7931a7ebce64acf0d02ee59ec69d3065239 +expected_cmr (CoreJet (WordJet FullRightShift64_2)) = 0x0673bff21e375e5dbcaf3804664825dd674844d2fdb784a4fefbc925cf6b27ad +expected_cmr (CoreJet (WordJet FullRightShift8_4)) = 0x9d9d3f638a846386a21e715f394616864a2ef7984a88cd95505566297be7e06c +expected_cmr (CoreJet (WordJet FullRightShift16_4)) = 0x60b7f08475cc0cce64dca12d9f6a919c30618110eda14065929c004e7fc1b0fb +expected_cmr (CoreJet (WordJet FullRightShift32_4)) = 0x2e9a8ab5a1817bd0b8a46626994917a0de1a745e99520ce6ebcc67d4636551b7 +expected_cmr (CoreJet (WordJet FullRightShift64_4)) = 0x4c25f6011fd3d1ac18e11eb43061fad69f3ce39f7a99cede50cc85bf88bfba82 +expected_cmr (CoreJet (WordJet FullRightShift16_8)) = 0xf79dba3e0af3d6a559a9e9dffea710af623fe6e6644b897995d71b8a4167ddb0 +expected_cmr (CoreJet (WordJet FullRightShift32_8)) = 0xaf47d4f96e7d8026d44e6eca1b807f73344ce2eaf700b2c82b4bb00261a86f94 +expected_cmr (CoreJet (WordJet FullRightShift64_8)) = 0xa51df9448602fa81001aa1b5b13be88d4b2f4d0f60740801cef991002fe37d6d +expected_cmr (CoreJet (WordJet FullRightShift32_16)) = 0x455299fd6f42ab49dbb709e65a3b5366250bdc545d6229e8e236056ddd1977fd +expected_cmr (CoreJet (WordJet FullRightShift64_16)) = 0x1fb056fcb690cee3cff72c7decda806d2146c492ae731a6b94b8bb4f1599b0cc +expected_cmr (CoreJet (WordJet FullRightShift64_32)) = 0x356f7dd46ba33f84b06672fde9a2972e80f3ea965ae8bc0bff67aa2f69f10b56 +expected_cmr (CoreJet (WordJet Leftmost8_1)) = 0x5a730b58e3abcb2f4de22159803023102cd66421911920ca21a2a05c9b211ce8 +expected_cmr (CoreJet (WordJet Leftmost16_1)) = 0xde6a4c98337e680d6e6ee2bf36d3a0817d2a9a98325f87e5eceb8a6f1168f5ca +expected_cmr (CoreJet (WordJet Leftmost32_1)) = 0x5fb8e6342ab74ee2c9225b872fa0c912046a69dbb719bcd6c8d79b7660c4ebca +expected_cmr (CoreJet (WordJet Leftmost64_1)) = 0xb924d33b5efefc8e2042081925917cff239b31c8bdbdf4acae6bb8d9cd217b4f +expected_cmr (CoreJet (WordJet Leftmost8_2)) = 0x25790856103dce6c7bbb3dd718b169109cae853799d12456c85d8349ec18dc53 +expected_cmr (CoreJet (WordJet Leftmost16_2)) = 0x005809b8051a2a502833b22c2c17981eaf9dd1d3dbc8f8c894516c1d5f31146c +expected_cmr (CoreJet (WordJet Leftmost32_2)) = 0x123068554595427e3c1de243bab66f3348368aaa44617d6a02479fb704bcfd1e +expected_cmr (CoreJet (WordJet Leftmost64_2)) = 0xbcec97f43ba55cd40d85a1e76cbade7b0b1e9f139747793dcb3480bee1f751ca +expected_cmr (CoreJet (WordJet Leftmost8_4)) = 0x73d9f018157a14784ee70b219ceb4042fa621d0ee6d545a0fdbab9444346e331 +expected_cmr (CoreJet (WordJet Leftmost16_4)) = 0x9c50ee2284d857c47c0544471354105e98dfe02754d2e42de11d3234ed10b642 +expected_cmr (CoreJet (WordJet Leftmost32_4)) = 0x55a87b66c339e363e03d4daac62290eba93c1a3a7382cbf61f20b34a505124ad +expected_cmr (CoreJet (WordJet Leftmost64_4)) = 0xd2d6452092d6566f89a1f64e736596f9000e5e6f63e40017d0cb80f3f7adfd18 +expected_cmr (CoreJet (WordJet Leftmost16_8)) = 0x5a1a72914e149c22b464c8f6a3d9cf41b07192bef0d8a1cc7cbe5704a9e8ea70 +expected_cmr (CoreJet (WordJet Leftmost32_8)) = 0x9f345bee0b162d42a035718f8ca1adc8ac2f710dc40052a82566e6d807bef8b8 +expected_cmr (CoreJet (WordJet Leftmost64_8)) = 0xf77b62bb01b90511b6d06ebf2e36c06565acb5aad1efc77c36a10a261de921da +expected_cmr (CoreJet (WordJet Leftmost32_16)) = 0x54ae50b46b5b2e68f536c01c39617b0cee42e1c49a2cd1d26af8ea8715ac4d11 +expected_cmr (CoreJet (WordJet Leftmost64_16)) = 0x12aa85e05c1e9622279c4c2ddcf897c95ddcc0113997283b6b3e0949bc8113cb +expected_cmr (CoreJet (WordJet Leftmost64_32)) = 0x9c89693986e55733ab962a300b0579503d83de8ac19b179b417e1ca25385b38f +expected_cmr (CoreJet (WordJet Rightmost8_1)) = 0x999b686e60b3d1ecd6c6d77fbca82cb2abbd4182c8211267475fa0c1901d89f9 +expected_cmr (CoreJet (WordJet Rightmost16_1)) = 0x3f3c4346871742265e87f001b46de7d198751b34faa18018de60c8468d9b98a4 +expected_cmr (CoreJet (WordJet Rightmost32_1)) = 0xcb0db569a36186a25605a9d2e4e10a20c111d50c34f17246520bc454d8682836 +expected_cmr (CoreJet (WordJet Rightmost64_1)) = 0x5e8fb49face034481dc653618e2a8b65eaf0993f28844cc9b130cacce45e82de +expected_cmr (CoreJet (WordJet Rightmost8_2)) = 0x5307ffbf516cd0eef3ff4387b9052c144a4dfa2329237c6b274992b2c8047b60 +expected_cmr (CoreJet (WordJet Rightmost16_2)) = 0x78f171476a3b0ed1e3a5455a5fbbcc901981b3230fea1264204dacd081f94080 +expected_cmr (CoreJet (WordJet Rightmost32_2)) = 0x00b8815ad7423dd58cb98be82cad26675c3bf54a0bedbade3464b4fe5a4e8ce6 +expected_cmr (CoreJet (WordJet Rightmost64_2)) = 0x83d2da6f3420d779bcb8f60d0b696eed74c31db08addbebd1235a5df8f59c42f +expected_cmr (CoreJet (WordJet Rightmost8_4)) = 0x7f52e645bbbbd79269c43ef02db982f8c63633c179e4069173933604cc635bca +expected_cmr (CoreJet (WordJet Rightmost16_4)) = 0x75a1dfb6ae2c066b2d0e2093048adbc50d4650656fb2d3578b57d9de4c61c8b5 +expected_cmr (CoreJet (WordJet Rightmost32_4)) = 0x3dfa7a20198e42d6a7948c8ed8e0d47ec7c0007b3d6866ca15e3da045b8563c7 +expected_cmr (CoreJet (WordJet Rightmost64_4)) = 0x841bbd652742ddd3adeae43cfed6329f2fd62e6fecd0fd58e3c3fb8b5a0e4dd5 +expected_cmr (CoreJet (WordJet Rightmost16_8)) = 0xee769c1cc8a3fdd1838fc9f0490ce70393fd91ba3cbd4abd08649fb9c44311bd +expected_cmr (CoreJet (WordJet Rightmost32_8)) = 0x17b58d6e304b1c7e5dbf0c4df6fcc803c008944c7995555b94e1289b2549be99 +expected_cmr (CoreJet (WordJet Rightmost64_8)) = 0xa0a61c7658a18623bf1d011a9792d518fbd024142a904400ecdeea92457a0a81 +expected_cmr (CoreJet (WordJet Rightmost32_16)) = 0x06faa3be678cd6fdd7f3112ebf2c48627afa7875f7068d26a9cc045b2c8f11bc +expected_cmr (CoreJet (WordJet Rightmost64_16)) = 0xc64ca9965536f237bc4d166e4aeca56eac2662e63accb98b6e542560f9e538da +expected_cmr (CoreJet (WordJet Rightmost64_32)) = 0x7d2dff6e3dd504bb0e5703a033586d27d96644c048ab34a45bf535129d501167 +expected_cmr (CoreJet (WordJet LeftPadLow1_8)) = 0xdc5a47f8d77765c994cbe86aae44a9c5ff2ebc3810d79cd83bd2c4098c762bf5 +expected_cmr (CoreJet (WordJet LeftPadLow1_16)) = 0x4aa40520faed72e6e9be3be6930f1e32b0b182c4327ada94a71f006d149015f9 +expected_cmr (CoreJet (WordJet LeftPadLow1_32)) = 0xcfb4753bb9ba3621ba0937825fade643098e385ed68efb16ff58ecf365d7e5e2 +expected_cmr (CoreJet (WordJet LeftPadLow1_64)) = 0xe6f1c09b5fe126d0ea86e7bfc0b28e849f8f7efd31064ea4fd1cca071b45db93 +expected_cmr (CoreJet (WordJet LeftPadLow8_16)) = 0xac1a4c9783e4dbed2700eb2952e3062a5a72712f82159861b08e67ef4a71f5f2 +expected_cmr (CoreJet (WordJet LeftPadLow8_32)) = 0x3da5f1a8c97819ae7e10b9364ff84996d0d73e698a49da691f69a273254201cd +expected_cmr (CoreJet (WordJet LeftPadLow8_64)) = 0x25bc18d49f934072277d3f613bf16c118df197bc92872d2affe417adeaaf1a85 +expected_cmr (CoreJet (WordJet LeftPadLow16_32)) = 0x21537f7d8f97f2203cccb035ef1d46289ee8aa50f0236077d0d0b210700440a1 +expected_cmr (CoreJet (WordJet LeftPadLow16_64)) = 0x6b2ea9630c5dde037aab2bf733219b99c7edc2ecedb9a03adfd169430b08bb9c +expected_cmr (CoreJet (WordJet LeftPadLow32_64)) = 0x2d88e4d01e0108c0d6880f3ce8482bb0951f2b3fc5df4b1adb184a1bfd1f6465 +expected_cmr (CoreJet (WordJet LeftPadHigh1_8)) = 0x6c277c4cd053dd3502dbe0bbc14eb0b36a201abef3b174b0ebfe052018b67e67 +expected_cmr (CoreJet (WordJet LeftPadHigh1_16)) = 0x93aed6f68750774b2dbf8314cadebe5a415243fbdf7c2eea8b223df3261e3bdb +expected_cmr (CoreJet (WordJet LeftPadHigh1_32)) = 0x008298f82fb6cf37e9dc703ea4f949565c2965a7c7f4fa22f55456423408a3ab +expected_cmr (CoreJet (WordJet LeftPadHigh1_64)) = 0x2b454ebd791ec7dacedcb86c69d026794a5dc3725261e7dc1650cc888117fc4f +expected_cmr (CoreJet (WordJet LeftPadHigh8_16)) = 0x2178dc76c04c79d91815d38c967f34213ffcc6c5f243c9562973f090ca5caefa +expected_cmr (CoreJet (WordJet LeftPadHigh8_32)) = 0xa4e86b53e5d00faf0b3e9d53202af7738dcb8887a18dfee5be34c497698ca6b7 +expected_cmr (CoreJet (WordJet LeftPadHigh8_64)) = 0xc843a72c41170f403433c436a39b05cf193c27d8be3530f9b94e42d763003d54 +expected_cmr (CoreJet (WordJet LeftPadHigh16_32)) = 0x888c7e0ab0031475c514f9b37c81f45a47314984e5027508ddc5eb8d8d10beb9 +expected_cmr (CoreJet (WordJet LeftPadHigh16_64)) = 0x526b3505450136d681a50b4bde4fa612da9d69bd08170ea32d0a2651115072eb +expected_cmr (CoreJet (WordJet LeftPadHigh32_64)) = 0x5d41221cf6158297b06c1957112c0d12f3eb917a2f509a539d5c9b7910219b65 +expected_cmr (CoreJet (WordJet LeftExtend1_8)) = 0x5a831ca99621517a2b354e5cac38bc3a30c4001f20d25d7797addcac5da86106 +expected_cmr (CoreJet (WordJet LeftExtend1_16)) = 0x9a48a4778e7c3c285ab65329d1ccc4999d2d194e005bd7946949533d8cba806c +expected_cmr (CoreJet (WordJet LeftExtend1_32)) = 0xdab6a533cbcbe8362cf1d5a16ea37cbc7edc7fc8a9428571e171ec6ee44d0800 +expected_cmr (CoreJet (WordJet LeftExtend1_64)) = 0x110e5c1ef0b469a7638570da944d232e0f28c46151a225357de3e90457a88ea2 +expected_cmr (CoreJet (WordJet LeftExtend8_16)) = 0xfea1f25a82fdf6f8669cc40fbb8e54a92658bfab94eb082f717ba265b5d844b4 +expected_cmr (CoreJet (WordJet LeftExtend8_32)) = 0x09d703ca46f75d051a93d0e8a2af0501a38e848683ef109c1fb4b5be20e6315d +expected_cmr (CoreJet (WordJet LeftExtend8_64)) = 0xd3dafcbdab69a2bb320f8d230cefd09c27a154c51e7e5cd5334eafed19e20df4 +expected_cmr (CoreJet (WordJet LeftExtend16_32)) = 0xdcf42b6542f6d41cb7b50e7c772f3c7f6e432232f2ba2079b386a05d7b466add +expected_cmr (CoreJet (WordJet LeftExtend16_64)) = 0x2eee48a92237947c1a517df995f44f1dfef20ddb4e9b530b22d18a0a7fd628aa +expected_cmr (CoreJet (WordJet LeftExtend32_64)) = 0x84fcc69ba1db50dbd5363cf2777957601de2568adf07af4161debb1e5e37310a +expected_cmr (CoreJet (WordJet RightPadLow1_8)) = 0x59d72270ef0e8f770c8d11f31773f9b6e90a4aeceb5bfb3dfe968c4e9dac5fe8 +expected_cmr (CoreJet (WordJet RightPadLow1_16)) = 0x7914c8f22247c2c34b9c84e92d1444aec2e17a0ef586bab2788ee6ef68840d98 +expected_cmr (CoreJet (WordJet RightPadLow1_32)) = 0x31b6ce26e559f76cf366f4806985ecc299550f15d4c3a6729e29d70e39895652 +expected_cmr (CoreJet (WordJet RightPadLow1_64)) = 0xc5524ae6548acd63082d94893e18f9edbb9231e76bb4e11bbff6a7bd16f4b029 +expected_cmr (CoreJet (WordJet RightPadLow8_16)) = 0xaba47a536e1227e122baacf19cfd2823b9b78d79cc06d34c348b14a1a15abd64 +expected_cmr (CoreJet (WordJet RightPadLow8_32)) = 0x8f80a6c274716b6722041134ea1c68aabf0213298f4e18f8f492dc53808a3174 +expected_cmr (CoreJet (WordJet RightPadLow8_64)) = 0xd69c85e7b2d7e949436cb1295e4aa70557d75e7cbdec02cca85fbfb13308b210 +expected_cmr (CoreJet (WordJet RightPadLow16_32)) = 0x7731d560d37592d1a31f7362967ab2e47592aca6e92ab858823792dae5d2db52 +expected_cmr (CoreJet (WordJet RightPadLow16_64)) = 0x0fe1c0db9d4a2d63e2ba4a33117aadba64514a2b87a7a4e793faacfe6b363447 +expected_cmr (CoreJet (WordJet RightPadLow32_64)) = 0xd4227d066f18b911d6f5d9bfb9d9f46e9aeadbbefa34d474432a1e789e4886ff +expected_cmr (CoreJet (WordJet RightPadHigh1_8)) = 0x7103c0fe00f522a2216c4a6be5f7e0eb4d703ca78f9c598f6b3dfde437d80c84 +expected_cmr (CoreJet (WordJet RightPadHigh1_16)) = 0xff1297d878e26e1959bcc7e8aef97ac0b65adc39923ec6505e50f98305733b6c +expected_cmr (CoreJet (WordJet RightPadHigh1_32)) = 0x283f8afb41382d2be18f8a77c314ba1776cb80c8ec36ca12aa67b32bb64ed843 +expected_cmr (CoreJet (WordJet RightPadHigh1_64)) = 0xa342352860a3350d79c3e9fc7a4ab3789b8b0297856fd169ca4d7de25f7d7cc4 +expected_cmr (CoreJet (WordJet RightPadHigh8_16)) = 0xc0e2fd46f7883b1285a6f1a1db96d93c2548040fcd3f5c23fbb20b5e83037c96 +expected_cmr (CoreJet (WordJet RightPadHigh8_32)) = 0x291e627708520c2ca6aece32a877b77849c4a7a213cb89e1bda7c5c5fe755f73 +expected_cmr (CoreJet (WordJet RightPadHigh8_64)) = 0x6b6fa2372ed25e4a34d4ae172342adbb259be8987600db192ecb8da434b9d88f +expected_cmr (CoreJet (WordJet RightPadHigh16_32)) = 0x3e4e5e9e71e137a2686343e05ac56316acfc58991cb38db1b3234413f730a142 +expected_cmr (CoreJet (WordJet RightPadHigh16_64)) = 0xde09df9d43ddad2d691204986cf0819d6b8045bca414d80af2162892a9257ead +expected_cmr (CoreJet (WordJet RightPadHigh32_64)) = 0x5dc9107d4534958ce4422767563a031a380f60d3837148ab3c8cc9c4c7d996a2 +expected_cmr (CoreJet (WordJet RightExtend8_16)) = 0xbcb2683a8cb8b8c235faa896a9c069e1b55bb0558e739e70e28914211e3275c8 +expected_cmr (CoreJet (WordJet RightExtend8_32)) = 0x6ddb5548fd583cd2d3586e6b8bf995246b61934f4976446777dd5740b319e462 +expected_cmr (CoreJet (WordJet RightExtend8_64)) = 0xda4f9c21455126820758a2e4b53fceb4523e6e7a2923a1a161fc37892ac8da2a +expected_cmr (CoreJet (WordJet RightExtend16_32)) = 0x780716d3e8291a51e45ada50558efe411c475c085eec5a28ad9791c312fee2bc +expected_cmr (CoreJet (WordJet RightExtend16_64)) = 0xc770497e452308ebf52e51b0585e9151e0ffc35086ab772d7241532a1be15e07 +expected_cmr (CoreJet (WordJet RightExtend32_64)) = 0x42b43adc74b5266c91d73df491dcae59738804eb440b23da327530487486b7e8 +expected_cmr (CoreJet (WordJet LeftShiftWith8)) = 0xdd9cc1cea74909481ff58f876ff66e0f5d52bf89b0258fa95b320002c32a7915 +expected_cmr (CoreJet (WordJet LeftShiftWith16)) = 0xe29107885550450eb727d0cf14e104ae12f83a24e2e2aca3cce433de2f35d7b3 +expected_cmr (CoreJet (WordJet LeftShiftWith32)) = 0xf39250c45a1310cc638c788deec5c365b4d176d10efbf4c601cf5eebe0a573e9 +expected_cmr (CoreJet (WordJet LeftShiftWith64)) = 0xad8794cfaef2b7f774fa68d309bbc98dfee58c40400b2eb578a212f438bd07ab +expected_cmr (CoreJet (WordJet RightShiftWith8)) = 0xfcb5be6507f0ca44be2be1cc3c3cfe3994404b8083bd7602b2102cb1fcfa2c61 +expected_cmr (CoreJet (WordJet RightShiftWith16)) = 0xfd977030e3a25a32e775b8d5e87174a7a9e8731ec36cf1326420ad91502e6e98 +expected_cmr (CoreJet (WordJet RightShiftWith32)) = 0x2829ba021f54077affb66ac6b6dfd3fef38bc41491845a41ce9dd370586c2d04 +expected_cmr (CoreJet (WordJet RightShiftWith64)) = 0x006fa3c54579754786fc64dc32e19a225cc152c94deeb3c6ab2967ddbfc64653 +expected_cmr (CoreJet (WordJet LeftShift8)) = 0xab9d3e9ac39038ad88b103f072254c0ec6e27475e275c245e88cce0d072e6446 +expected_cmr (CoreJet (WordJet LeftShift16)) = 0xb05360184d0602b581405e32960b31c05219358de89efdf49464723dd625617a +expected_cmr (CoreJet (WordJet LeftShift32)) = 0x34bf54f594c2621007f8c78b30fad39672009bb366aace1e5e41ee4d9cc541a8 +expected_cmr (CoreJet (WordJet LeftShift64)) = 0x5de953f04deaed9047567647a1eb7abe665feccbe7ed10cb7dbe691273c094b0 +expected_cmr (CoreJet (WordJet RightShift8)) = 0xa4c3546ff27e56d64e918ab2fa6d00fc2704585b25bde0049d6d8f48d8cf1cd0 +expected_cmr (CoreJet (WordJet RightShift16)) = 0x8b5e0feb958130f0508332159e54c2df98af83521acab3084fd4f7c3a2ccea77 +expected_cmr (CoreJet (WordJet RightShift32)) = 0x4b1f2580e0850d38e2a1157338052f1c379f9d8157f62d33890af24fd9a7f73e +expected_cmr (CoreJet (WordJet RightShift64)) = 0x91a297d7b58a393bf59025947747c86dd487659cc56fb5a6f6439955129a9563 +expected_cmr (CoreJet (WordJet LeftRotate8)) = 0x9e966e880c6b0c483c90beeed7c5737ca5f3facf85aab3d531ad34bd7b1a9b68 +expected_cmr (CoreJet (WordJet LeftRotate16)) = 0x88c12337cd754f8380986d86fe3a89e262746653e1badd9cc9b47645fe57195a +expected_cmr (CoreJet (WordJet LeftRotate32)) = 0x39816ccd9e9cf1191f065d2eb7a7fb83828d91ec7d9977a1fc70be9b31a468b9 +expected_cmr (CoreJet (WordJet LeftRotate64)) = 0x8b2355c31e3b614bd4b41c3ecf277424d026766b37bc6c105621f4f6a16f9bdf +expected_cmr (CoreJet (WordJet RightRotate8)) = 0x00c7c26d95a50b5af9349ffe47e1d43f3d761f17a7453c984791e87dc6a311c8 +expected_cmr (CoreJet (WordJet RightRotate16)) = 0xe510708247f91b4f0a8a22a446b8137d0d42bee74c8c1edd6d446edb2013b598 +expected_cmr (CoreJet (WordJet RightRotate32)) = 0x98915731412922dbc516a7373afc4de64809f83b264bcfca6ae74883dbe104d6 +expected_cmr (CoreJet (WordJet RightRotate64)) = 0x9e2fb98adf1029339dbe45a22a54a390ca0986edcea32eacb82ebcc894a2711a +expected_cmr (CoreJet (ArithJet One8)) = 0xff594e22bfd75813c056e0a234ed12fa8287d1d5316f23902bf079dbcc4f4ea8 +expected_cmr (CoreJet (ArithJet One16)) = 0x3f9f8dd14c46ee02471557929ac2bb6c1aca00521d8afaf0dcd9f2ca7f31e604 +expected_cmr (CoreJet (ArithJet One32)) = 0x478dc39dc3995e2edb7ec674656cae798f52e572926174a668cc97bca448d1cc +expected_cmr (CoreJet (ArithJet One64)) = 0xa392cefc0da53c65aee612f5c6816ca892fc156d43714876b3a00568e1ba3eba +expected_cmr (CoreJet (ArithJet FullAdd8)) = 0xed3ba5b79ea45b187a2d43e8ed802de1ed4426596cbe32e757c8511915ffa5cf +expected_cmr (CoreJet (ArithJet FullAdd16)) = 0xfc9e5df83bfdb9028c87d139f8583903cb2a07042a73e53481deb52ff1f1f884 +expected_cmr (CoreJet (ArithJet FullAdd32)) = 0xa7d98d50d045cb906b195e6511879495c851095949a9c01e6039a84b2a5ec909 +expected_cmr (CoreJet (ArithJet FullAdd64)) = 0x7aecc8c9053bb2fb170c1c972fd4002564e152a06d9f458075e38c7a0698a7f4 +expected_cmr (CoreJet (ArithJet Add8)) = 0xd7328c0914ee999efa0a6cb26eb40912c215c062e58a981ae6b2e4a80474a1da +expected_cmr (CoreJet (ArithJet Add16)) = 0x26ae0994ce8b771af7ad2851b83b49a5950536589f67bd855947046029751c0d +expected_cmr (CoreJet (ArithJet Add32)) = 0x3d7674466ed69e1dbedcd48057a9e6288c222532fbc5048049928cfb77f829d9 +expected_cmr (CoreJet (ArithJet Add64)) = 0x9b56e61eefe2805ca87396bdfb03f5e1b1385f7ac4bff7684026a07cf97fb6f6 +expected_cmr (CoreJet (ArithJet FullIncrement8)) = 0xd304ea28a95d496d14b4f2fb5c860372ecf247befde3ea3b2ad67bce99039dbc +expected_cmr (CoreJet (ArithJet FullIncrement16)) = 0x81380adaa3a547f1bc4bbb646bda9d9fb7bd4dc1b3a9f3dd220b56a47c2798fb +expected_cmr (CoreJet (ArithJet FullIncrement32)) = 0xa760a8449a2ab5dedb4ee51bf5c25a8f06af0666df7fc419b498b90976d698cb +expected_cmr (CoreJet (ArithJet FullIncrement64)) = 0xc6af30dd286d6e21c38860ed1e2f212a21b2fd1edeadb5e0fce2e3fd75b7f3c2 +expected_cmr (CoreJet (ArithJet Increment8)) = 0x0c717e84df67823f5741b3d55dbeb4729c2bd62f5d1def3cabccdd6cb8dcb56c +expected_cmr (CoreJet (ArithJet Increment16)) = 0xdf274888ce4cebdd5708b38dc3dbb19cc2f0364b2463e99cf5aab4f8a23ea58a +expected_cmr (CoreJet (ArithJet Increment32)) = 0x54f757aea76bc7a39fc43d19b8dd563a6807df0277a56fcb501089ce7d06774c +expected_cmr (CoreJet (ArithJet Increment64)) = 0x79ed5f7799fb09da510429a20128bed091d8587647071285cdec3a0c95709e5b +expected_cmr (CoreJet (ArithJet FullSubtract8)) = 0x6885e141ae234c1e2a7e4f235298939036969c950f2cefd459b498ac3dd89220 +expected_cmr (CoreJet (ArithJet FullSubtract16)) = 0x1fc88e2329f4aaf12b30513f7a21cf5d8de24b600a19a21741281b4d61aac633 +expected_cmr (CoreJet (ArithJet FullSubtract32)) = 0x782705fb42e36a7ef831200c617738d31e13b1d0e7ceed693f13338835b30acb +expected_cmr (CoreJet (ArithJet FullSubtract64)) = 0xb2856a9180231bee3cb89230f75c292af3e75239dbeb396548441e6b5a27e813 +expected_cmr (CoreJet (ArithJet Subtract8)) = 0x40950b86f6f1f99355dee11f77daf279a0cb6c6d156ae44b7d5d257164b267c5 +expected_cmr (CoreJet (ArithJet Subtract16)) = 0x569e6c6b39e7d812659b67aac08ad15099eead798fd1d42da17ee3f0d4d4492a +expected_cmr (CoreJet (ArithJet Subtract32)) = 0x19d35e0af1e16514a6dfc29a914187133964c480f660e7eb924ee16dbaa249cb +expected_cmr (CoreJet (ArithJet Subtract64)) = 0x523e118628bf3ac1a6be5a72bdb1141b89e0e001e402adda8258790003f88ad8 +expected_cmr (CoreJet (ArithJet Negate8)) = 0xd871c542473f4dd902d31fe3fc9ac0f3319e42e80cae2181ffc85e6c60fb0988 +expected_cmr (CoreJet (ArithJet Negate16)) = 0xf642173b85ef21969d8d9048807e3d4facf3f5f9e59aa5cf0c60f87422ed7c8f +expected_cmr (CoreJet (ArithJet Negate32)) = 0x549b65ce97c6b334b8ae9456960e365bb284d76d4005e921f489bc3626171b06 +expected_cmr (CoreJet (ArithJet Negate64)) = 0x35acca27ce658579ef1c55ad1abea0050d9366d12209ad13052549c3436491d0 +expected_cmr (CoreJet (ArithJet FullDecrement8)) = 0x7c5e94a9980281821737b1ce73bfda4c79ef649b3d05cc1c00c4a8b64b949bbe +expected_cmr (CoreJet (ArithJet FullDecrement16)) = 0xd4c2edda872c05506f792cf546a89d4d7cffcb1e17f5da6103100e7e73a7737d +expected_cmr (CoreJet (ArithJet FullDecrement32)) = 0x7cc2304d174312102e9b736345c77f771d1f6a9c9e1d1cd8db8cb4613980c8c2 +expected_cmr (CoreJet (ArithJet FullDecrement64)) = 0x15c163454bcd754430da5579bbcaad26e57e95c772224b7b83c705f7deb64aa6 +expected_cmr (CoreJet (ArithJet Decrement8)) = 0x2892ceb3b6ec5325d0c1b9f520425e4b05c2e1f437e0b3f581f41b9d0f7dff4d +expected_cmr (CoreJet (ArithJet Decrement16)) = 0xe34db11879272b327a3bd034c0f61ef60a2be96fdfe0b2d57ffe39ce714c78fb +expected_cmr (CoreJet (ArithJet Decrement32)) = 0x019ead5a7305606dc950fb55476d09c17d66f570dab510b90d2a27e2266599cf +expected_cmr (CoreJet (ArithJet Decrement64)) = 0x34752cf4e1d0a431f017a68bebfab741bbc88affb57cc0b3025ccfdd67622f35 +expected_cmr (CoreJet (ArithJet FullMultiply8)) = 0xd3d24554c466dd603754524736a71eb235def9b506965e32d56826e19fbad6c1 +expected_cmr (CoreJet (ArithJet FullMultiply16)) = 0x88470cbf9b4dec37ea05d7b630f2f112547567d34f33d96e5f611bd9da97abb5 +expected_cmr (CoreJet (ArithJet FullMultiply32)) = 0x28040600a66e1a0c52258520488b94c820c6cf86ca27ae39034dddcab904d1d5 +expected_cmr (CoreJet (ArithJet FullMultiply64)) = 0x53014f35a8df2091af3ef9b8d16b38b9bc9661bfdbc957333fba2a948c1e8c25 +expected_cmr (CoreJet (ArithJet Multiply8)) = 0x29da13374f7cb308405fe230f899485c500e6e9520c15e8a76e53a92e7ac64d6 +expected_cmr (CoreJet (ArithJet Multiply16)) = 0x46e62abf8e30a7746de0e929f7beeddbde8b269bab08f76e9547108b1c360174 +expected_cmr (CoreJet (ArithJet Multiply32)) = 0x2decdc5b0c6ff63d11f53852e0deed114481355bb6c6ce1546ae9f815bee7750 +expected_cmr (CoreJet (ArithJet Multiply64)) = 0xbfa8626dbf10001de390d997f2ee7b190c24a78cfecb91f5d7c10c3f9ddbb1e6 +expected_cmr (CoreJet (ArithJet IsZero8)) = 0xb4baa50938108426740d82cf1211e0ed126de3b76b8d259c50ad4b8fcab10ab6 +expected_cmr (CoreJet (ArithJet IsZero16)) = 0xa25abd9cd2a4070c742ef8deb068292246032b96a517223b128cfc12d215c5ba +expected_cmr (CoreJet (ArithJet IsZero32)) = 0x612a480ced6a79da6119546e056b8df9fa95d1124b96d601e1d3ea918cc56069 +expected_cmr (CoreJet (ArithJet IsZero64)) = 0x18e8e1776ba080ccd3e1d60cb753414536bf70df185f72c9e070796f4c63cc71 +expected_cmr (CoreJet (ArithJet IsOne8)) = 0x0aba9e576e64d2804c8ac4682bbba5390ebc31a6e3e2650f9219235df4a6ecbb +expected_cmr (CoreJet (ArithJet IsOne16)) = 0x8435879ccb8644198dcb9a0cd73546d701fdd5a4c44323f563971599c37d16fb +expected_cmr (CoreJet (ArithJet IsOne32)) = 0xddfbd9f0a2e67c07dedb89e896b6c4f7d45c5147eed0614e4ce7d08769aff82d +expected_cmr (CoreJet (ArithJet IsOne64)) = 0x35c525548e48eea0f77b3bf97ab67a1ffe8fb094ede3325e4064b1659c6d0765 +expected_cmr (CoreJet (ArithJet Le8)) = 0x0fb72d9f8ee2370aba55663a4899162e40ca5514713efb25e4a89e2a104b34db +expected_cmr (CoreJet (ArithJet Le16)) = 0x63da727ccb4c6a9d4e000964e763bff934eaafd044287e1268d07ecdfde207e1 +expected_cmr (CoreJet (ArithJet Le32)) = 0xdee29a91656d7ae73df4956fd8a2c6b627aab51c1129f9fe7f6ed3e34792c762 +expected_cmr (CoreJet (ArithJet Le64)) = 0x01c55df7d4465966659ddfc94b36d033242c2ec593cee1212244077566ed015f +expected_cmr (CoreJet (ArithJet Lt8)) = 0x73d0044655c0df45c271a1713ff9b9a43dde56e674d1754e76edb16f949c4fab +expected_cmr (CoreJet (ArithJet Lt16)) = 0x56a20d55edb44388180544c3ed404145a3b66fd2c4113842f64eaeafbad4bb06 +expected_cmr (CoreJet (ArithJet Lt32)) = 0xcab0dc5b0ecbf6d24816fc2010fc31193663c306968d9cee3b004c0bc184b478 +expected_cmr (CoreJet (ArithJet Lt64)) = 0x47d67e52b27ba78edd075aa270ded007a7a9a68499344f2862f5069049a0cefe +expected_cmr (CoreJet (ArithJet Min8)) = 0x6b012ca3185dc005e8942cfbc9f238dcedaf0c0043526447e3ec31cefa6e4064 +expected_cmr (CoreJet (ArithJet Min16)) = 0xf158f40a860993b4107fb271fb4c8f955ba4542ad1821cd2f13c880ca4bee2e2 +expected_cmr (CoreJet (ArithJet Min32)) = 0xe5e413dc5de5e22d66f32d8dbf50053ed278e175c0d4b344ebd461beb108e55e +expected_cmr (CoreJet (ArithJet Min64)) = 0x43d82f6c6128aa01a997bb17e5e7f501e7be7db9589e566de97a32eae7e7b339 +expected_cmr (CoreJet (ArithJet Max8)) = 0x6bc10370f3e7a7b92acb1423bbdf0b3d7e3cd0d2dbc705a34d8dc99c910422fb +expected_cmr (CoreJet (ArithJet Max16)) = 0xe0114717691ac1a739288fc6ffa1c6507c43e6f1d4c18770ffa166ae839dd533 +expected_cmr (CoreJet (ArithJet Max32)) = 0x1d723cb389942219ec103485317fa5d87ee15c24b2080f5046650d80308b189d +expected_cmr (CoreJet (ArithJet Max64)) = 0x0073ac3c6ea939dcc7eee4ea63dcfd752037355b484f6e7016b300e2d28c07c3 +expected_cmr (CoreJet (ArithJet Median8)) = 0xa4a0b6310ff0ed4a4c3e03ebc7a91306ef660424bc95a0d3f2fdb71fb6afd8b7 +expected_cmr (CoreJet (ArithJet Median16)) = 0x2414e3c439659d8aa9d087e1ade77266673d1c8bd4e7501b22ac46a3ff39975d +expected_cmr (CoreJet (ArithJet Median32)) = 0x0792356b610b57d0ec199e98535ea9bccce843a5df5dd2408c414886dfd6bd1e +expected_cmr (CoreJet (ArithJet Median64)) = 0x0766d89b430ffdf038691b18439cd6fc4929172ea884fdaf166936b38b15fd0c +expected_cmr (CoreJet (ArithJet DivMod128_64)) = 0x2296b70f600e8a214ad070b2194a677d3051bc1c490183975f2a1d3e0cade378 +expected_cmr (CoreJet (ArithJet DivMod8)) = 0x48cd501bb2aa2acae014fe208bb9941d07a9bffe1ad6cd3d36fc6b0860f6eba7 +expected_cmr (CoreJet (ArithJet DivMod16)) = 0x648fab864374846abf4f9d9defe275614d33f4829c36a47ecb53d7bfb605485f +expected_cmr (CoreJet (ArithJet DivMod32)) = 0xbd3d4d552d7b347bd8a44e3ee224c846be230ff6e2044ddb97f48e27d20c4225 +expected_cmr (CoreJet (ArithJet DivMod64)) = 0xfa6bad6a95e2aba4305bfe91cc47acc3d99b92e675e69d3b37bb09133d390d0f +expected_cmr (CoreJet (ArithJet Divide8)) = 0x2ccfbc7c02bf4d530493bb22867a951d8ae913126687597284e9bbb3e1e7e349 +expected_cmr (CoreJet (ArithJet Divide16)) = 0x470b01a57c4f9d8f997fcde006191611dda4c98ba2a5f1da134ae4c22d52e920 +expected_cmr (CoreJet (ArithJet Divide32)) = 0xab03acd893610c3c6582e7f7fbe5e7562574a7b26646f1c2fdc6e76e445a77a1 +expected_cmr (CoreJet (ArithJet Divide64)) = 0xebfc56fbb8a47e73ffabb7ea228ac78437be820eddfa47814ccebd261bd8cfff +expected_cmr (CoreJet (ArithJet Modulo8)) = 0x5c63c77a1608e2f6a3748c110fbb9a1c569fb4d540f3dd2e4f80e90dd5ea9982 +expected_cmr (CoreJet (ArithJet Modulo16)) = 0x62c179ac84c5750b425f9a1b8f81edaa7f5cf22c19d86b0dcf96dea6bad99b3b +expected_cmr (CoreJet (ArithJet Modulo32)) = 0xa1f01c106fc36a764e99b23398e21e7c267f889fccebd1487d3de1cc67c32bd9 +expected_cmr (CoreJet (ArithJet Modulo64)) = 0x50c82fd03109c98b7237e91674041964381e6c2ebbe25bf3e0d37a9f060f1502 +expected_cmr (CoreJet (ArithJet Divides8)) = 0x0b5502ac4f21f230a09ccfaffaac77a7c41b2bf30b1468481e4dfb98b6187a0d +expected_cmr (CoreJet (ArithJet Divides16)) = 0x5fc3ac384d5f45404156971a768d93bc064bc17c15a37c27019ddeef17046dd4 +expected_cmr (CoreJet (ArithJet Divides32)) = 0xcc45b405246438f765740b4fb0a34dc81b34780198863b0fb186446adfbb09de +expected_cmr (CoreJet (ArithJet Divides64)) = 0xdc473bfdec30ab98d48cd08884ef4fffef3d4b16ad5c37112a2035b99bb77458 +expected_cmr (CoreJet (HashJet Sha256Block)) = 0x0c97a008ade87bb1e0ac06b7d0313023362858ef90ec14ec9cb95f0da964e008 +expected_cmr (CoreJet (HashJet Sha256Iv)) = 0x7389f0025305dce828d4a1fe83743046a367c923f18abf365e391e5b04af1a47 +expected_cmr (CoreJet (HashJet Sha256Ctx8Add1)) = 0x37066c67ad95249d4ba6e18144ca0a415d9c832aa6b60628e97c967eb1793383 +expected_cmr (CoreJet (HashJet Sha256Ctx8Add2)) = 0x8bae3e7e1ed4dcba6e645aa14341bbae0dbb3ae21bb63dc030ca0e447a857ec2 +expected_cmr (CoreJet (HashJet Sha256Ctx8Add4)) = 0xd7d745614b37a7e07dce22f64e7b1edfe23beda851f1e76f1a6b028fcc5e9fc0 +expected_cmr (CoreJet (HashJet Sha256Ctx8Add8)) = 0x9c988330799a680bfe73d7caa3689fe4e483da4ee6d818587927c7f43392def7 +expected_cmr (CoreJet (HashJet Sha256Ctx8Add16)) = 0x8299252040cb39e326a248d5c788f9516d15a2ff4145bb64ad6577ae1a3ef727 +expected_cmr (CoreJet (HashJet Sha256Ctx8Add32)) = 0x39239a43a84bac6f2969bfa95bfe6a04fcba8092895939f12a1ce0e26321ec10 +expected_cmr (CoreJet (HashJet Sha256Ctx8Add64)) = 0xfdc434ce83dbdce0782aa36d418def7f99af8293afb29e839fe4948f6234f77f +expected_cmr (CoreJet (HashJet Sha256Ctx8Add128)) = 0x2dcf484c257f67940ca375ba98e83ce0e2a71e16da5051d1bb19fb5f346f154f +expected_cmr (CoreJet (HashJet Sha256Ctx8Add256)) = 0x44b717e1970999b66b693d8c9d1d3b0605c2b7a6213e6ba56c69af8d7fae1686 +expected_cmr (CoreJet (HashJet Sha256Ctx8Add512)) = 0xbe368032d86ebcf213ca45ba6ecab54cb1f2661d403da05906300bc51137aab5 +expected_cmr (CoreJet (HashJet Sha256Ctx8AddBuffer511)) = 0xc027e1062996ae94ac3971a2c4fae54997ebf09b9f7da575639be617167f02e3 +expected_cmr (CoreJet (HashJet Sha256Ctx8Finalize)) = 0xcbba1f1d8a97ab4d1fa9686e7aeef066fb5bf290716eae10e70b619996c59594 +expected_cmr (CoreJet (HashJet Sha256Ctx8Init)) = 0xa53c7679e3ae0347d4d79126a7c7e49ac0dec90cdf935799cddb58da8f4496e4 +expected_cmr (CoreJet (Secp256k1Jet PointVerify1)) = 0x90a3d669b00da795efb2bed8c370c9e3ea0f19c41c7cf23e492e33171a47f5ff +expected_cmr (CoreJet (Secp256k1Jet Decompress)) = 0x13973317d587418ef3063631a6edb0acfa1cbe4983d7574b1b305f9661c048cb +expected_cmr (CoreJet (Secp256k1Jet LinearVerify1)) = 0x278313d7ce4ad58911de24ee540d19ecebb62f4ab4a71e2aadd4512b2e4bc2e2 +expected_cmr (CoreJet (Secp256k1Jet LinearCombination1)) = 0x6d9f4a870fbf740c220efff307b5ed91a58c5e51a8adfc3b159030f512d39941 +expected_cmr (CoreJet (Secp256k1Jet Scale)) = 0xc04543dc85ef11374a930f4a948eb735a6500a1a7158d573123f07217175f318 +expected_cmr (CoreJet (Secp256k1Jet Generate)) = 0xdf44e17d2a559dd0a7034954ab33377778b151f1cd1e4f9fd31b361d34a8d973 +expected_cmr (CoreJet (Secp256k1Jet GejInfinity)) = 0x88a952db3816e94259a67537fa8fca1a35a907a86f51ede451fd32ec253d9c62 +expected_cmr (CoreJet (Secp256k1Jet GejNormalize)) = 0x5de0976ae7f38b36f0022814966db2baed5c476714944d741a8979c4bcf8be25 +expected_cmr (CoreJet (Secp256k1Jet GejNegate)) = 0xb32c74cab2c7500b73f8ec0560fe23fc4c21aa66596d7f2acf4967886b76d856 +expected_cmr (CoreJet (Secp256k1Jet GeNegate)) = 0x1ed0ced8dd2558e3485f6fc32d69a2405ecaee312dc4dc65e0fd347773f5983d +expected_cmr (CoreJet (Secp256k1Jet GejDouble)) = 0x1edd0582e2fcad99b12d506d29b50a63017f676928be511369006e07cb80d982 +expected_cmr (CoreJet (Secp256k1Jet GejAdd)) = 0x5a1c310349e8ff5c5a61ac3e10123f74e87faba14c78bc83f9e3413687ecf28b +expected_cmr (CoreJet (Secp256k1Jet GejGeAddEx)) = 0x78f0871b8173abde718711263b3ac1d922337ed5ed138d294962d65ce559bd92 +expected_cmr (CoreJet (Secp256k1Jet GejGeAdd)) = 0x1ea710d56eafee325d2607ddb45ff0170adec2e0ee9bcc68e4b93e1de6ad3568 +expected_cmr (CoreJet (Secp256k1Jet GejRescale)) = 0xdcfc72a768d5be770f8db278aeafd18e27704c64f8b40fa6fe54ca94727a076e +expected_cmr (CoreJet (Secp256k1Jet GejIsInfinity)) = 0x2980a735414e4321afeffefa8837edb0a3309a337d59b7bdea921c13056b0428 +expected_cmr (CoreJet (Secp256k1Jet GejEquiv)) = 0x027471059487a12ca207f0940594d6cd87fc930a8b5b31434a16a2d67f1d8dd4 +expected_cmr (CoreJet (Secp256k1Jet GejGeEquiv)) = 0xba899a006216d1c93bd5ecbe0080d9078a500a729bbd396a004af51d4ff7d93a +expected_cmr (CoreJet (Secp256k1Jet GejXEquiv)) = 0x52cc214709c0d9fca9db1d09cc807c75cf5a6313ca540a772d4ea9921f37e624 +expected_cmr (CoreJet (Secp256k1Jet GejYIsOdd)) = 0xfe0106afb9d9e24fd4dbe54511fe272f4dcb307a0ea56d591ceb93ab4bf88745 +expected_cmr (CoreJet (Secp256k1Jet GejIsOnCurve)) = 0x0187e1e5ef7634a5f016124d4feb5a93dde6aa78176cda48b165a9aa8e0449f2 +expected_cmr (CoreJet (Secp256k1Jet GeIsOnCurve)) = 0x69f0e7a0c5fff87084ed6925f8db762e419e057b96834dce9699b0b009423059 +expected_cmr (CoreJet (Secp256k1Jet ScalarNormalize)) = 0xa061e19d75c325a26d565aad7e3f9ae26b222f25e802174f6bacd511277aeaa5 +expected_cmr (CoreJet (Secp256k1Jet ScalarNegate)) = 0x0705acdfb86640000e3d3bad509a14a78c171f61edc08423b042b94748439cf8 +expected_cmr (CoreJet (Secp256k1Jet ScalarAdd)) = 0x34baa40b2e0aa8cb7e97c73e3ed3b365a15b7c3f7661fb19715ec605c1149d11 +expected_cmr (CoreJet (Secp256k1Jet ScalarSquare)) = 0x49f734a2659ca0ab7c9e67fcfc3c0d72af0f917c9edcb9929d177a0f0de89d59 +expected_cmr (CoreJet (Secp256k1Jet ScalarMultiply)) = 0xb2bcc390d637b9e03fbfc42fff71d22e7200f69329cef7169e68a8c71a7f0a4b +expected_cmr (CoreJet (Secp256k1Jet ScalarMultiplyLambda)) = 0x89d5855c5f85c0035d27b0c09e20330b001c684b5986abced8360cd39b08c4e1 +expected_cmr (CoreJet (Secp256k1Jet ScalarInvert)) = 0x6231bdab73ca34ea7e837daad692ede5babfae09b5756d2ab36c5a36475a6589 +expected_cmr (CoreJet (Secp256k1Jet ScalarIsZero)) = 0xf75eda06ce6af09fae37db4e6225e6a8ac86a23637627d626409190ff3b39d90 +expected_cmr (CoreJet (Secp256k1Jet FeNormalize)) = 0xc51beffa215e9cde8e933bb94680bae012c4daab3d04b6cbf0733fd735733538 +expected_cmr (CoreJet (Secp256k1Jet FeNegate)) = 0x3b0d7b5c2e6c3aeb5e00085b9d30585aff054e325a998361113bfd2328c008f6 +expected_cmr (CoreJet (Secp256k1Jet FeAdd)) = 0xb0593e187ee7333c47a05467df66d5820a6f5bef914a4b76e5d163314b5ef20e +expected_cmr (CoreJet (Secp256k1Jet FeSquare)) = 0x5a6e7b2eac73f4e44dfa28fb86bb117b65606f2874d565c9799c63e0fe692b1a +expected_cmr (CoreJet (Secp256k1Jet FeMultiply)) = 0x5669929b5f31fa3d02c5839dd06354cd171635f3a0727f322abfc994ba6290de +expected_cmr (CoreJet (Secp256k1Jet FeMultiplyBeta)) = 0x7a7813450d82e935690f433e65df707a4dd17534a00ddd40dd85e3e3f78402c3 +expected_cmr (CoreJet (Secp256k1Jet FeInvert)) = 0x343e9c90f128506056b548d2ed5e223c81f5b06a1ed86b7cd9354057aa595102 +expected_cmr (CoreJet (Secp256k1Jet FeSquareRoot)) = 0xe00142ea03094a304ac82bc1e2d2dc71fb064ed082856735b14ff2c7faf036f0 +expected_cmr (CoreJet (Secp256k1Jet FeIsZero)) = 0x28ff41699a881aafb7a976c0c576353f7fe54463b6aa754cf2c6329af2650e3b +expected_cmr (CoreJet (Secp256k1Jet FeIsOdd)) = 0xdcf0375d20818a99f723f8123cbd051a3878a42824b3740f6821a5fa123f14c7 +expected_cmr (CoreJet (Secp256k1Jet HashToCurve)) = 0x76f7ca1db944ee315ed362fee0673c5894f8853b446070901b857901f9499d9b +expected_cmr (CoreJet (Secp256k1Jet Swu)) = 0xabf70be00b30f577f987cb50488996ba3596dbf9c1e844a8b1b8b710853b65eb +expected_cmr (CoreJet (SignatureJet CheckSigVerify)) = 0xb58015546d2852665dd21bf11266267020fa5e275001dd4618fa415625952e68 +expected_cmr (CoreJet (SignatureJet Bip0340Verify)) = 0xc9c45a8aec8659143bfe2af6ead48d4e0542453acae84b9bbb97656b670bdfdd +expected_cmr (CoreJet (BitcoinJet ParseLock)) = 0x3d3836fd3085c1fbac6cd5fa0dbf4a3fb255459317a266d6d6f7382bb05f07ad +expected_cmr (CoreJet (BitcoinJet ParseSequence)) = 0x74f35c019ef514b70ab008bf2a126de7e00f6e3ccd285d51dbd3ac71bea9c88d +expected_cmr (CoreJet (BitcoinJet TapdataInit)) = 0x6c67e5c10735305ee7deb59a6c6ac2effcab4ff7bb479ea70081606e60484ca7 +expected_cmr (ElementsJet (SigHashJet SigAllHash)) = 0x6ac53d3f93b8caf3ea8534ae612abd32325d2b0fec17de36af0f71aa978f7cde +expected_cmr (ElementsJet (SigHashJet TxHash)) = 0xc36102aeda8bcf62a85e714b18e4c50cd417ffbf86d73734e02cbfcb5313fccf +expected_cmr (ElementsJet (SigHashJet TapEnvHash)) = 0x7227077193ec17418ebf7877afdc7097bd5eed57e826df6605c648691d003403 +expected_cmr (ElementsJet (SigHashJet OutputsHash)) = 0x95b3511aea00d043a4e028b25a171c742ec2ff7ad3a7df2f1f6edad08bad2b69 +expected_cmr (ElementsJet (SigHashJet InputsHash)) = 0x523cd71c5789882f8375a5a54560def8463d1c51e56b7e112693e77b844f4740 +expected_cmr (ElementsJet (SigHashJet IssuancesHash)) = 0x58659f3f7e0130c4fc916f49bc32eaa0883acb9022fcad5e7805839a99e50cf9 +expected_cmr (ElementsJet (SigHashJet InputUtxosHash)) = 0x9c48ab31c050ed065aed516866c16c1b96c195ea8e18b024bfc0b8175849f04e +expected_cmr (ElementsJet (SigHashJet OutputHash)) = 0x7cb17f8fc7a1ae4efce30a1454e52f8585213cd0f367a127ac27bb9766ea9eee +expected_cmr (ElementsJet (SigHashJet OutputAmountsHash)) = 0x40236963e10ef8ad9cb6e0a7c79ac8660d2fc1a57feff88515a7852791b186cb +expected_cmr (ElementsJet (SigHashJet OutputScriptsHash)) = 0x21333ac958a4ebfd5eab7956db73ed03269426af8d7d2498de57eef68704fb0a +expected_cmr (ElementsJet (SigHashJet OutputNoncesHash)) = 0x50f18766de9828db0a8c41d7beb840f77bc6e121ff123d5496f1ea0d6a78b83a +expected_cmr (ElementsJet (SigHashJet OutputRangeProofsHash)) = 0x0d7d8ac97af9539abba64d8104d17e970854677c27461d25df21a7f6b662081e +expected_cmr (ElementsJet (SigHashJet OutputSurjectionProofsHash)) = 0x3630b5208302641bf19c4bf5ca047ac3eb7af54d5d3f5bf8f1d41312499d6384 +expected_cmr (ElementsJet (SigHashJet InputHash)) = 0x3309bb46b3158d23124f8cedaaa1ed3b09a8aefe81212e11335523b6b207c544 +expected_cmr (ElementsJet (SigHashJet InputOutpointsHash)) = 0x140a2baead083baac806128ab649e52bbd3c6456700cbcfc6dbb2959173a4df2 +expected_cmr (ElementsJet (SigHashJet InputSequencesHash)) = 0xc888c873302b92b00f206852c9eaef000b40109a53dd686a53f11db5074d9937 +expected_cmr (ElementsJet (SigHashJet InputAnnexesHash)) = 0xded1522efa5a2b376173e440de227ad0c92be2edce7c23b51480e50a77fc564b +expected_cmr (ElementsJet (SigHashJet InputScriptSigsHash)) = 0x6c7481420124b6645d32ff9b454a1c92c67186410e23cf609915df9072120fc6 +expected_cmr (ElementsJet (SigHashJet IssuanceHash)) = 0x6e9f8ae8c45bfb7e4e0cf2d00f66832b479de7582cdbc851d0b3230fdfbbb78d +expected_cmr (ElementsJet (SigHashJet IssuanceAssetAmountsHash)) = 0x70f11c3b3b5d1657d3b7c7eeec850c30a32ea96aa36426fa30ebf5499851a880 +expected_cmr (ElementsJet (SigHashJet IssuanceTokenAmountsHash)) = 0x94b5a4595b674dbfc49c4e8ea1a9abc93ed2f7707c4212a32b5b86ac1318c9de +expected_cmr (ElementsJet (SigHashJet IssuanceRangeProofsHash)) = 0x7e97f519534831c77acf73a20fd53cb31d1d156c9acbbf873d1492d60d1367d8 +expected_cmr (ElementsJet (SigHashJet IssuanceBlindingEntropyHash)) = 0xbfb6a93444e2a0b3fb7c13d1589a787b66e84b69b6274cea20ad9999eb8ca67c +expected_cmr (ElementsJet (SigHashJet InputUtxoHash)) = 0x8503d0526ba95a8fba8ca1351c7991c2a386b72fa81431eadbab62cc1f5dc518 +expected_cmr (ElementsJet (SigHashJet InputAmountsHash)) = 0x2b4df47e758ffe88e9cd5d396df3d7f9ec2fbd5a5395a6d8c1ab704400c64f70 +expected_cmr (ElementsJet (SigHashJet InputScriptsHash)) = 0xdc13519e753e58753c70988541ad8a0bb5888d0846e35e4d4273f65685322ae9 +expected_cmr (ElementsJet (SigHashJet TapleafHash)) = 0xd45a661fc9100e2ea9df789ca2346da842717ef6a8c824184f2da8c7fb016203 +expected_cmr (ElementsJet (SigHashJet TappathHash)) = 0x9da906e3ec086065be144136b51620b66ddf4d713857354eba3b97c77585f443 +expected_cmr (ElementsJet (SigHashJet OutpointHash)) = 0x8d2a5aa06e98c41b30fd0703e5e54c86b42bee33bc89cb6093cdb09405a72d9d +expected_cmr (ElementsJet (SigHashJet AssetAmountHash)) = 0xa864d1f1f83950b63196fe88baec2e4228953230be45c88c4e0b99178b338f07 +expected_cmr (ElementsJet (SigHashJet NonceHash)) = 0xfb1e0344dcdaf9db91b987e8f96610679f05deb206b401057502a484aa87f8bf +expected_cmr (ElementsJet (SigHashJet AnnexHash)) = 0xeba1b7fb2ea8d57af3b6273e5182fb99db1708b2d0afb9c6ad0358cc3f647dc8 +expected_cmr (ElementsJet (SigHashJet BuildTapleafSimplicity)) = 0x736e9fcefb5b873e09f2681e74e49f5a1056f90af52ab3ec5b197727d39834be +expected_cmr (ElementsJet (SigHashJet BuildTapbranch)) = 0xcbecf9bce172c50f585951dff0e0523db109e57025ec37de2c3a74d4a673f225 +expected_cmr (ElementsJet (SigHashJet BuildTaptweak)) = 0x38741f80a2bf10f8f8723077c6741cbeae2dcac857901b813725806f21898ee3 +expected_cmr (ElementsJet (TimeLockJet CheckLockHeight)) = 0x9e7898d037627134d2bd70c7fca9cba45eaf267d4d09ad50a9ef717a8f2749db +expected_cmr (ElementsJet (TimeLockJet CheckLockTime)) = 0x68673d12e2732faa1d39e2136b1406afa098a84c96e8d60502a2dd61c59570bb +expected_cmr (ElementsJet (TimeLockJet CheckLockDistance)) = 0x7f78c7a77a25ada223267d239a5922f764b8ac0c2fcef68eb93c0d92da4af515 +expected_cmr (ElementsJet (TimeLockJet CheckLockDuration)) = 0x73dac8e25d87eaf382c2a77206ad38b9384361e7d0dc87c0fa7af7ea524597b7 +expected_cmr (ElementsJet (TimeLockJet TxLockHeight)) = 0xc20257f8e76ecd0ae7ad634f5dfa68ae9a5eded0e2eebe4ee52cb47acfb0264c +expected_cmr (ElementsJet (TimeLockJet TxLockTime)) = 0x3ee1900542d01efd4e9a01d4efb1f9dd992ced35b7a752f83da593381538dea4 +expected_cmr (ElementsJet (TimeLockJet TxLockDistance)) = 0x4c7773b818cb7ee5f54f925aad015677a043a72f316a187cc28c696cfcb90807 +expected_cmr (ElementsJet (TimeLockJet TxLockDuration)) = 0xcc9c64c8b6eb4bf09694af5a35d957a405e66c1b35224ed675878918452440b2 +expected_cmr (ElementsJet (TimeLockJet TxIsFinal)) = 0x8b3145722470a07de90a28ba89f3f8864261009654ce866cd8eaf76c5d8626eb +expected_cmr (ElementsJet (IssuanceJet Issuance)) = 0x5c646312c169c68027979e1bc326c5dc95e5c5168d00d98e9d504a7cde21d768 +expected_cmr (ElementsJet (IssuanceJet IssuanceAsset)) = 0x690bf918e1527756cfbbf51c831362143756d52d04e1294f1264950c6267e5c9 +expected_cmr (ElementsJet (IssuanceJet IssuanceToken)) = 0xbc2cb7e964b2a2aed79b75c5f4408fe84a6dc9b9e8cd2c694d57c5f9b61205b9 +expected_cmr (ElementsJet (IssuanceJet IssuanceEntropy)) = 0x6ddf99f28c70198d65417a836074f1b9b610f21f5119fd550f60b6f8e995bbf3 +expected_cmr (ElementsJet (IssuanceJet CalculateIssuanceEntropy)) = 0xa6e7c434aee5a7330c1fc246f71dcf051ce54bdee7b8e63957be18c2d751c653 +expected_cmr (ElementsJet (IssuanceJet CalculateAsset)) = 0x676f988e547251e7a09eede1920a9c5d35e75759e6d8d49b580ceb3e146bcf7e +expected_cmr (ElementsJet (IssuanceJet CalculateExplicitToken)) = 0x875228020b456c998aad3ac5c4836f719445dcbe6bd274e8ca145d82797e1b92 +expected_cmr (ElementsJet (IssuanceJet CalculateConfidentialToken)) = 0x8e4029056074339840c0e7009b66f382bb98d7dde719dd2c9f2fd3acd9325ac6 +expected_cmr (ElementsJet (IssuanceJet LbtcAsset)) = 0x2af7f73ae3fbbfa2d23a8774e6e3ca093254da2fd2a9f397a6ae0a30bb48f0d7 +expected_cmr (ElementsJet (TransactionJet ScriptCMR)) = 0xec15f59c524d941469811954654f635830ecd7de517662b25ca4e8d05c2cce89 +expected_cmr (ElementsJet (TransactionJet InternalKey)) = 0x9b742e471b0e591a972b0d4421f9c9659397f5daba2c14dac62c4a339cc3e7ec +expected_cmr (ElementsJet (TransactionJet CurrentIndex)) = 0x15e1051ff23f851c19131f0de6edc4882376a25790dbd9102824aa22a889ae84 +expected_cmr (ElementsJet (TransactionJet NumInputs)) = 0xb2288ebaadcbcfce1c631964c86b127d6f91dc657c59a7fb453e9111d87481f5 +expected_cmr (ElementsJet (TransactionJet NumOutputs)) = 0x267d41654493903e0257751ae6d42d9ce1bb92246d0ef767c337b0c32b1972fd +expected_cmr (ElementsJet (TransactionJet LockTime)) = 0xa16897c5db4927c6cb07b165bd2cc38b36a602686c74a19034aa3787ac582a0b +expected_cmr (ElementsJet (TransactionJet OutputAsset)) = 0x575a49bab21ffee8e5bd00edce32406104a05ddef5fc31a1a645b129548c8f3e +expected_cmr (ElementsJet (TransactionJet OutputAmount)) = 0x55e413992169408e338e11a8d7be602b3ec9511e7eb691df32d9797a6395a1a1 +expected_cmr (ElementsJet (TransactionJet OutputNonce)) = 0x7175fd99a2baa1c3afaaf7fabdaa67c2c827483bc8a0b97650cb7942ea295a18 +expected_cmr (ElementsJet (TransactionJet OutputScriptHash)) = 0x2f5139266f143a33e1668e594f43e8d1394407e3a9b8b802b39a5e1edc54e851 +expected_cmr (ElementsJet (TransactionJet OutputNullDatum)) = 0x38a5a7e861b3b36cce683a772db0c8628b7fd3b4cf8e7bce70758fa6f6f147bf +expected_cmr (ElementsJet (TransactionJet OutputIsFee)) = 0x9fbbe8aebdedd577ae466280a99b67b7343287ef340692534a00980315e51772 +expected_cmr (ElementsJet (TransactionJet OutputSurjectionProof)) = 0x091660081d52c33f17a956bddac62aa2d2ed928f8cffef4cf8dbb697b153aa65 +expected_cmr (ElementsJet (TransactionJet OutputRangeProof)) = 0x6ff9ef3dac504310dfbc60561d2addeb44932f777e7f13adf0774eb6b14df966 +expected_cmr (ElementsJet (TransactionJet TotalFee)) = 0x4eba3f22bac0a465e4d08a9ac40518ef972c2e8612090a51e3203fcbd2f4edbe +expected_cmr (ElementsJet (TransactionJet CurrentPegin)) = 0x369ad5f6d760481cb353a9bacf900ff162b76040c07ad0a83e52fccef1295790 +expected_cmr (ElementsJet (TransactionJet CurrentPrevOutpoint)) = 0xa1ec909c81e508e86e1361ba82e5fb47a2c76bffba7321a6fc13cb12af7f697c +expected_cmr (ElementsJet (TransactionJet CurrentAsset)) = 0x03c84459a5ecdfdb46e3d38ecb79ff22243fdcf70d80da1ba45699e7008eecfe +expected_cmr (ElementsJet (TransactionJet CurrentAmount)) = 0x9e7bc96d06c1f4a4d2bd4333d55643cba6863d3a338e31dc0d1795584156ea69 +expected_cmr (ElementsJet (TransactionJet CurrentScriptHash)) = 0xbfaf858443cec8337e37839dc41135027184580c892157ce730418c08d5ed838 +expected_cmr (ElementsJet (TransactionJet CurrentSequence)) = 0x0f4224f9aa8644f5c0f7910f1739041aec8e7af77b5f38cfdca0fdf48267a6c3 +expected_cmr (ElementsJet (TransactionJet CurrentAnnexHash)) = 0x5f68bdafd417febb10dee16b1d47c21fa97efc919157c7f7bc54a61dc4f9f7d6 +expected_cmr (ElementsJet (TransactionJet CurrentScriptSigHash)) = 0x8baa9df854fe33eeea66195c97ce18ed701e107eea7e02fb2603b2c121575066 +expected_cmr (ElementsJet (TransactionJet CurrentReissuanceBlinding)) = 0xb71550c8f62e7aacff13e8d3c0ae054ef036409d76c06579c026ad68a1b561f8 +expected_cmr (ElementsJet (TransactionJet CurrentNewIssuanceContract)) = 0x237815675e9e9cf4d8548560c761e3ba7f64dcf25c99521be9d857e4ea41d868 +expected_cmr (ElementsJet (TransactionJet CurrentReissuanceEntropy)) = 0x8b2715327a0ac6b0d18a2e51fbda46c4b118ee0637d114ae3e58a23b45d67ff8 +expected_cmr (ElementsJet (TransactionJet CurrentIssuanceAssetAmount)) = 0xdc410ec69946f08b9c4a40cf38819cbb014e98fce0a9b196514557477fe1c2a7 +expected_cmr (ElementsJet (TransactionJet CurrentIssuanceTokenAmount)) = 0xe3ea9c6170955f27b01b120cd63a360850cc700f4725193bdff88e01dfb04ead +expected_cmr (ElementsJet (TransactionJet CurrentIssuanceAssetProof)) = 0xe5c1c6f7ea0296148e76f8b179d415198273dcc8e1fd891f83ef2bdfb0692936 +expected_cmr (ElementsJet (TransactionJet CurrentIssuanceTokenProof)) = 0x92e7d9ddbf756e3e622a44d4d00e84236bcce42f16f3200e8b89c03c441e458a +expected_cmr (ElementsJet (TransactionJet InputPegin)) = 0xdb376f4ae84ec051a494d7668039727b53353be5ae045be76c4b04dabd5bbfbb +expected_cmr (ElementsJet (TransactionJet InputPrevOutpoint)) = 0x91f4d6ec484f60cae9297858cac47dad50db07dc1f937ac6144c9cb4a9ef79d2 +expected_cmr (ElementsJet (TransactionJet InputAsset)) = 0x872b3653d65ae7f9166cbf70d4fd31404798884d611b647fb9f4a307c48011b8 +expected_cmr (ElementsJet (TransactionJet InputAmount)) = 0xdd65ac32c87d996b407200feefc479a9119c1f28caa488b0aac3acf59378d6ba +expected_cmr (ElementsJet (TransactionJet InputScriptHash)) = 0xc316df21778e624105ca59904b9208e2d423228b3eb1cf68b8eca47bbc7b2ff3 +expected_cmr (ElementsJet (TransactionJet InputSequence)) = 0x3c6e4a3c21ced524736c545c20e4e2def7678f084cd12bcd6506a5200b5c1738 +expected_cmr (ElementsJet (TransactionJet InputAnnexHash)) = 0x0fd9e4c6316b37286e8854430e7d741821dc89544a3a59f03dfa40e532b8107f +expected_cmr (ElementsJet (TransactionJet InputScriptSigHash)) = 0x941f2b4f3b7f2097d6ea00e97c1e2ba01cb26487c5d2f4723738b37c732c05c4 +expected_cmr (ElementsJet (TransactionJet ReissuanceBlinding)) = 0xeb6e581e20ba0babe904c8da71a81f7c88b9cf4f42d78b540c1b398c3f105ccc +expected_cmr (ElementsJet (TransactionJet NewIssuanceContract)) = 0xdb64808c3ff44880d72bc295d9ac0643e51404de5398ad9e931bd3d2adbca6c4 +expected_cmr (ElementsJet (TransactionJet ReissuanceEntropy)) = 0xd1d22c497f129c6d6fdbe491364a3513bcd66e15618cbbe2e50739bd834db7f8 +expected_cmr (ElementsJet (TransactionJet IssuanceAssetAmount)) = 0x83605146ff26a49ca16f1c4a6e0ce0b7c214df12c377f522523deb6d5d0ee44d +expected_cmr (ElementsJet (TransactionJet IssuanceTokenAmount)) = 0x7e106464a13b6764ce74d3fe6ba1cbd5f4aeb86bbbdf5888ddf9901dd8b619aa +expected_cmr (ElementsJet (TransactionJet IssuanceAssetProof)) = 0x0b061f9f670c05dc39f438313c1379d9bf63f44f9876b956693b41b7f94c6c9d +expected_cmr (ElementsJet (TransactionJet IssuanceTokenProof)) = 0x46ed5275f55ab341f57c3519ffedf4e37f3f59c97ce9b8e17fffae16c6cc1c0e +expected_cmr (ElementsJet (TransactionJet TapleafVersion)) = 0xddb0edd6ce1e07983d1a6226f00b125189af13bd5cd068123ad43f48201b006f +expected_cmr (ElementsJet (TransactionJet Tappath)) = 0x42c0c1f2ef0e28ae7defa15e84a06f35fbf6fc897b29f683fe1a24e30dc58baf +expected_cmr (ElementsJet (TransactionJet Version)) = 0x087fc95c41003348759fd840372c6f912d9be4e61eee3c6a7a40dc13c9c1bc70 +expected_cmr (ElementsJet (TransactionJet GenesisBlockHash)) = 0x0060b60d02b1336072846acff44dd0f4346c74a35e7b56423f9519c442d15daf +expected_cmr (ElementsJet (TransactionJet TransactionId)) = 0x08b8eb3c2d2d958458e163e94334950c0bb914a0b9d214fc5e9de8f70a17a0d4 +expected_cmr (ConstWordJet (ConstWordContent SingleV 0)) = 0xa51cfd799d0bc368f48208032fc3881953f35aa7fd2b985cb237cbad143e30d2 +expected_cmr (ConstWordJet (ConstWordContent SingleV 1)) = 0xfd49252606a2febe2ad17de13b0a738b1b023bad8f7307e6bb7b65a8b83153cb +expected_cmr (ConstWordJet (ConstWordContent (DoubleV SingleV) 0)) = 0xe93b30864811cc800369118d7573ab400d872e2338e406b051de69fb76cd57d4 +expected_cmr (ConstWordJet (ConstWordContent (DoubleV SingleV) 1)) = 0x31a87b65445c9893c575df925d5472858483a465c59d3ccbd74f609ca8a77d23 +expected_cmr (ConstWordJet (ConstWordContent (DoubleV SingleV) 2)) = 0x7e83d146509bc020c64683fe5158c5826046a69050eb0336e743d173e05647f0 +expected_cmr (ConstWordJet (ConstWordContent (DoubleV SingleV) 3)) = 0x0a4f2b4f2f4b0f5d83f565060f3634e35d1e0d0d4309363c58fb6c571d2d42b2 diff --git a/Haskell/Tests/Simplicity/Elements/Tests.hs b/Haskell/Tests/Simplicity/Elements/Tests.hs index 24bdfb51e..ce48d141e 100644 --- a/Haskell/Tests/Simplicity/Elements/Tests.hs +++ b/Haskell/Tests/Simplicity/Elements/Tests.hs @@ -20,6 +20,7 @@ import Simplicity.Elements.DataTypes import Simplicity.Elements.Jets import Simplicity.Elements.Term import Simplicity.Elements.TestEval +import qualified Simplicity.Elements.Regression as Regression import Simplicity.Elements.Primitive (primEnv, primEnvHash, envTx, envTap) import qualified Simplicity.Elements.Programs.TimeLock as Prog import Simplicity.Elements.Semantics @@ -46,7 +47,8 @@ toW8 = toWord8 . fromIntegral tests :: TestTree tests = testGroup "Elements" - [ testGroup "TimeLock" + [ Regression.tests + , testGroup "TimeLock" [ testProperty "tx_is_final" prop_tx_is_final , testProperty "tx_lock_height" prop_tx_lock_height , testProperty "tx_lock_time" prop_tx_lock_time diff --git a/Simplicity.cabal b/Simplicity.cabal index c93919a0e..a31b38407 100644 --- a/Simplicity.cabal +++ b/Simplicity.cabal @@ -230,7 +230,7 @@ Test-Suite testsuite Simplicity.FFI.Bitstream, Simplicity.FFI.Dag, Simplicity.Elements.FFI.Primitive, Simplicity.Elements.TestEval, Simplicity.Elements.Tests, Simplicity.Elements.FFI.Tests, - Simplicity.Elements.Serialization.Tests, + Simplicity.Elements.Regression, Simplicity.Elements.Serialization.Tests, Simplicity.FFI.Tests, Simplicity.Programs.Tests, Simplicity.Serialization.Tests,