@@ -126,12 +126,12 @@ deriving instance Show (SigHashJet a b)
126126data TimeLockJet a b where
127127 CheckLockHeight :: TimeLockJet TimeLock. Height ()
128128 CheckLockTime :: TimeLockJet TimeLock. Time ()
129- CheckLockDistance :: TimeLockJet TimeLock. Distance ()
130- CheckLockDuration :: TimeLockJet TimeLock. Duration ()
129+ BrokenDoNotUseCheckLockDistance :: TimeLockJet TimeLock. Distance ()
130+ BrokenDoNotUseCheckLockDuration :: TimeLockJet TimeLock. Duration ()
131131 TxLockHeight :: TimeLockJet () TimeLock. Height
132132 TxLockTime :: TimeLockJet () TimeLock. Time
133- TxLockDistance :: TimeLockJet () TimeLock. Distance
134- TxLockDuration :: TimeLockJet () TimeLock. Duration
133+ BrokenDoNotUseTxLockDistance :: TimeLockJet () TimeLock. Distance
134+ BrokenDoNotUseTxLockDuration :: TimeLockJet () TimeLock. Duration
135135 TxIsFinal :: TimeLockJet () TimeLock. Bit
136136deriving instance Eq (TimeLockJet a b )
137137deriving instance Show (TimeLockJet a b )
@@ -249,12 +249,12 @@ specificationSigHash BuildTaptweak = Prog.buildTaptweak
249249specificationTimeLock :: (Assert term , Primitive term ) => TimeLockJet a b -> term a b
250250specificationTimeLock CheckLockHeight = TimeLock. checkLockHeight
251251specificationTimeLock CheckLockTime = TimeLock. checkLockTime
252- specificationTimeLock CheckLockDistance = TimeLock. checkLockDistance
253- specificationTimeLock CheckLockDuration = TimeLock. checkLockDuration
252+ specificationTimeLock BrokenDoNotUseCheckLockDistance = TimeLock. checkLockDistance
253+ specificationTimeLock BrokenDoNotUseCheckLockDuration = TimeLock. checkLockDuration
254254specificationTimeLock TxLockHeight = TimeLock. txLockHeight
255255specificationTimeLock TxLockTime = TimeLock. txLockTime
256- specificationTimeLock TxLockDistance = TimeLock. txLockDistance
257- specificationTimeLock TxLockDuration = TimeLock. txLockDuration
256+ specificationTimeLock BrokenDoNotUseTxLockDistance = TimeLock. txLockDistance
257+ specificationTimeLock BrokenDoNotUseTxLockDuration = TimeLock. txLockDuration
258258specificationTimeLock TxIsFinal = TimeLock. txIsFinal
259259
260260specificationIssuance :: (Assert term , Primitive term ) => IssuanceJet a b -> term a b
@@ -420,10 +420,10 @@ implementationTimeLock CheckLockTime env x | txIsFinal (envTx env) = guard $ fro
420420 | otherwise = guard $ fromWord32 x <= 0
421421 where
422422 lock = fromIntegral . sigTxLock . envTx $ env
423- implementationTimeLock CheckLockDistance env x | fromWord16 x <= fromIntegral (txLockDistance (envTx env)) = Just ()
424- | otherwise = Nothing
425- implementationTimeLock CheckLockDuration env x | fromWord16 x <= fromIntegral (txLockDuration (envTx env)) = Just ()
426- | otherwise = Nothing
423+ implementationTimeLock BrokenDoNotUseCheckLockDistance env x | fromWord16 x <= fromIntegral (txLockDistance (envTx env)) = Just ()
424+ | otherwise = Nothing
425+ implementationTimeLock BrokenDoNotUseCheckLockDuration env x | fromWord16 x <= fromIntegral (txLockDuration (envTx env)) = Just ()
426+ | otherwise = Nothing
427427implementationTimeLock TxLockHeight env () | txIsFinal (envTx env) = Just (toWord32 0 )
428428 | Left l <- parseLock lock = Just . toWord32 $ fromIntegral l
429429 | otherwise = Just (toWord32 0 )
@@ -434,8 +434,8 @@ implementationTimeLock TxLockTime env () | txIsFinal (envTx env) = Just (toWord3
434434 | otherwise = Just (toWord32 0 )
435435 where
436436 lock = fromIntegral . sigTxLock . envTx $ env
437- implementationTimeLock TxLockDistance env () = Just . toWord16 . fromIntegral $ txLockDistance (envTx env)
438- implementationTimeLock TxLockDuration env () = Just . toWord16 . fromIntegral $ txLockDuration (envTx env)
437+ implementationTimeLock BrokenDoNotUseTxLockDistance env () = Just . toWord16 . fromIntegral $ txLockDistance (envTx env)
438+ implementationTimeLock BrokenDoNotUseTxLockDuration env () = Just . toWord16 . fromIntegral $ txLockDuration (envTx env)
439439implementationTimeLock TxIsFinal env () = Just $ toBit (txIsFinal (envTx env))
440440
441441implementationIssuance :: IssuanceJet a b -> PrimEnv -> a -> Maybe b
@@ -553,12 +553,12 @@ sigHashCatalogue = book
553553timeLockCatalogue = book
554554 [ SomeArrow CheckLockHeight
555555 , SomeArrow CheckLockTime
556- , SomeArrow CheckLockDistance
557- , SomeArrow CheckLockDuration
556+ , SomeArrow BrokenDoNotUseCheckLockDistance
557+ , SomeArrow BrokenDoNotUseCheckLockDuration
558558 , SomeArrow TxLockHeight
559559 , SomeArrow TxLockTime
560- , SomeArrow TxLockDistance
561- , SomeArrow TxLockDuration
560+ , SomeArrow BrokenDoNotUseTxLockDistance
561+ , SomeArrow BrokenDoNotUseTxLockDuration
562562 , SomeArrow TxIsFinal
563563 ]
564564issuanceCatalogue = book
@@ -671,12 +671,12 @@ putJetBitSigHash BuildTaptweak = putPositive 35
671671putJetBitTimeLock :: TimeLockJet a b -> DList Bool
672672putJetBitTimeLock CheckLockHeight = putPositive 1
673673putJetBitTimeLock CheckLockTime = putPositive 2
674- putJetBitTimeLock CheckLockDistance = putPositive 3
675- putJetBitTimeLock CheckLockDuration = putPositive 4
674+ putJetBitTimeLock BrokenDoNotUseCheckLockDistance = putPositive 3
675+ putJetBitTimeLock BrokenDoNotUseCheckLockDuration = putPositive 4
676676putJetBitTimeLock TxLockHeight = putPositive 5
677677putJetBitTimeLock TxLockTime = putPositive 6
678- putJetBitTimeLock TxLockDistance = putPositive 7
679- putJetBitTimeLock TxLockDuration = putPositive 8
678+ putJetBitTimeLock BrokenDoNotUseTxLockDistance = putPositive 7
679+ putJetBitTimeLock BrokenDoNotUseTxLockDuration = putPositive 8
680680putJetBitTimeLock TxIsFinal = putPositive 9
681681
682682putJetBitIssuance :: IssuanceJet a b -> DList Bool
@@ -1294,12 +1294,12 @@ jetCostSigHash BuildTaptweak = cost "BuildTaptweak"
12941294jetCostTimeLock :: TimeLockJet a b -> Weight
12951295jetCostTimeLock CheckLockHeight = cost " CheckLockHeight"
12961296jetCostTimeLock CheckLockTime = cost " CheckLockTime"
1297- jetCostTimeLock CheckLockDistance = cost " CheckLockDistance"
1298- jetCostTimeLock CheckLockDuration = cost " CheckLockDuration"
1297+ jetCostTimeLock BrokenDoNotUseCheckLockDistance = cost " CheckLockDistance"
1298+ jetCostTimeLock BrokenDoNotUseCheckLockDuration = cost " CheckLockDuration"
12991299jetCostTimeLock TxLockHeight = cost " TxLockHeight"
13001300jetCostTimeLock TxLockTime = cost " TxLockTime"
1301- jetCostTimeLock TxLockDistance = cost " TxLockDistance"
1302- jetCostTimeLock TxLockDuration = cost " TxLockDuration"
1301+ jetCostTimeLock BrokenDoNotUseTxLockDistance = cost " TxLockDistance"
1302+ jetCostTimeLock BrokenDoNotUseTxLockDuration = cost " TxLockDuration"
13031303jetCostTimeLock TxIsFinal = cost " TxIsFinal"
13041304
13051305jetCostIssuance :: IssuanceJet a b -> Weight
0 commit comments