chore: update rust-simplicity dependency to git master and adapt to new API

Switch to later  master branch of rust-simplicity, which
removes the `Jet` type parameter from nodes and renames broken lock distance/
duration jets. Update all call sites to match the new API and deprecate example
files that use the renamed jets.

Author: stringhandler

Cargo.lock

@@ -32,7 +32,8 @@ docs = []
 base64 = "0.21.2"
 serde = { version = "1.0.188", features = ["derive"], optional = true }
 serde_json = { version = "1.0.105", optional = true }
-simplicity-lang = { version = "0.7.0" }
+# simplicity-lang = { version = "0.7.0" }
+simplicity-lang = { git="https://github.com/BlockstreamResearch/rust-simplicity.git", branch="master" }
 miniscript = "12.3.1"
 either = "1.12.0"
 itertools = "0.13.0"

Cargo.toml

@@ -51,7 +51,7 @@ fn timeout_spend(sender_sig: Signature) {
     let sender_pk: Pubkey = 0x79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798; // 1 * G
     checksig(sender_pk, sender_sig);
     let timeout: Distance = 1000;
-    jet::check_lock_distance(timeout);
+    jet::broken_do_not_use_check_lock_distance(timeout);
 }
 
 fn main() {

examples/escrow_with_delay.simf …amples/deprecated/escrow_with_delay.simfexamples/escrow_with_delay.simf renamed to examples/deprecated/escrow_with_delay.simf examples/escrow_with_delay.simf renamed to examples/deprecated/escrow_with_delay.simf

@@ -24,7 +24,7 @@ fn recursive_covenant() {
 
 fn inherit_spend(inheritor_sig: Signature) {
     let days_180: Distance = 25920;
-    jet::check_lock_distance(days_180);
+    jet::broken_do_not_use_check_lock_distance(days_180);
     let inheritor_pk: Pubkey = 0x79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798; // 1 * G
     checksig(inheritor_pk, inheritor_sig);
 }

examples/escrow_with_delay.timeout.wit …deprecated/escrow_with_delay.timeout.witexamples/escrow_with_delay.timeout.wit renamed to examples/deprecated/escrow_with_delay.timeout.wit examples/escrow_with_delay.timeout.wit renamed to examples/deprecated/escrow_with_delay.timeout.wit

@@ -23,7 +23,7 @@ fn checksig(pk: Pubkey, sig: Signature) {
 
 fn complete_spend(hot_sig: Signature) {
     let timeout: Distance = 1000;
-    jet::check_lock_distance(timeout);
+    jet::broken_do_not_use_check_lock_distance(timeout);
     let hot_pk: Pubkey = 0x79be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798; // 1 * G
     checksig(hot_pk, hot_sig);
 }

examples/last_will.inherit.wit examples/deprecated/last_will.inherit.witexamples/last_will.inherit.wit renamed to examples/deprecated/last_will.inherit.wit

@@ -26,7 +26,7 @@ use crate::value::StructuralValue;
 use crate::witness::Arguments;
 use crate::Value;
 
-type ProgNode<'brand> = Arc<named::ConstructNode<'brand, Elements>>;
+type ProgNode<'brand> = Arc<named::ConstructNode<'brand>>;
 
 /// Each SimplicityHL expression expects an _input value_.
 /// A SimplicityHL expression is translated into a Simplicity expression
@@ -263,7 +263,7 @@ impl Program {
         &self,
         arguments: Arguments,
         include_debug_symbols: bool,
-    ) -> Result<Arc<named::CommitNode<Elements>>, RichError> {
+    ) -> Result<Arc<named::CommitNode>, RichError> {
         types::Context::with_context(|ctx| {
             let mut scope = Scope::new(
                 ctx,
@@ -379,7 +379,7 @@ impl Call {
 
         match self.name() {
             CallName::Jet(name) => {
-                let jet = ProgNode::jet(scope.ctx(), *name);
+                let jet = ProgNode::jet(scope.ctx(), &*name);
                 scope.with_debug_symbol(args, &jet, self)
             }
             CallName::UnwrapLeft(..) => {
@@ -410,7 +410,7 @@ impl Call {
                 args.comp(&body).with_span(self)
             }
             CallName::Assert => {
-                let jet = ProgNode::jet(scope.ctx(), Elements::Verify);
+                let jet = ProgNode::jet(scope.ctx(), &Elements::Verify);
                 scope.with_debug_symbol(args, &jet, self)
             }
             CallName::Panic => {

examples/last_will.simf examples/deprecated/last_will.simfexamples/last_will.simf renamed to examples/deprecated/last_will.simf

@@ -450,12 +450,12 @@ pub fn source_type(jet: Elements) -> Vec<AliasedType> {
          * Time locks
          */
         Elements::CheckLockTime => vec![Time.into()],
-        Elements::CheckLockDistance => vec![Distance.into()],
-        Elements::CheckLockDuration => vec![Duration.into()],
+        Elements::BrokenDoNotUseCheckLockDistance => vec![Distance.into()],
+        Elements::BrokenDoNotUseCheckLockDuration => vec![Duration.into()],
         Elements::CheckLockHeight => vec![Height.into()],
         Elements::TxLockTime
-        | Elements::TxLockDistance
-        | Elements::TxLockDuration
+        | Elements::BrokenDoNotUseTxLockDistance
+        | Elements::BrokenDoNotUseTxLockDuration
         | Elements::TxLockHeight
         | Elements::TxIsFinal => vec![],
         /*
@@ -956,13 +956,13 @@ pub fn target_type(jet: Elements) -> AliasedType {
          * Time locks
          */
         Elements::CheckLockTime
-        | Elements::CheckLockDistance
-        | Elements::CheckLockDuration
+        | Elements::BrokenDoNotUseCheckLockDistance
+        | Elements::BrokenDoNotUseCheckLockDuration
         | Elements::CheckLockHeight => AliasedType::unit(),
         Elements::TxIsFinal => bool(),
         Elements::TxLockTime => Time.into(),
-        Elements::TxLockDistance => Distance.into(),
-        Elements::TxLockDuration => Duration.into(),
+        Elements::BrokenDoNotUseTxLockDistance => Distance.into(),
+        Elements::BrokenDoNotUseTxLockDuration => Duration.into(),
         Elements::TxLockHeight => Height.into(),
         /*
          * Issuance