Add programs twice to ensure the edition is updated to one

Author: iamalwaysuncomfortable

wasm/src/programs/macros.rs

@@ -54,6 +54,7 @@ macro_rules! authorize {
             if !$process.contains_program(program.id()) {
                 log("Adding program to the process");
                 $process.add_program(&program).map_err(|e| e.to_string())?;
+                $process.add_program(&program).map_err(|e| e.to_string())?;
             }
         }
 
@@ -138,6 +139,7 @@ macro_rules! execute_program {
             if !$process.contains_program(program.id()) {
                 log("Adding program to the process");
                 $process.add_program(&program).map_err(|e| e.to_string())?;
+                $process.add_program(&program).map_err(|e| e.to_string())?;
             }
         }
 

wasm/src/programs/manager/execute.rs

@@ -365,3 +365,45 @@ impl ProgramManager {
         cost_in_microcredits_v2(&stack, &function_id).map_err(|e| e.to_string())
     }
 }
+
+#[cfg(test)]
+mod tests {
+    use super::*;
+    use crate::{
+        Metadata,
+        array,
+        utilities::test::{HELLO_PROGRAM, PROVABLE_API},
+    };
+
+    async fn test_execute_added_program() {
+        // Generate the private key.
+        let private_key = PrivateKey::new();
+
+        // Download the fee prover.
+        let fee_prover_uri = Metadata::fee_public().prover;
+        let fee_proving_key_bytes = reqwest::get(fee_prover_uri).await.unwrap().bytes().await.unwrap().to_vec();
+        let fee_prover = ProvingKey::from_bytes(&fee_proving_key_bytes).unwrap();
+        let fee_verifier = VerifyingKey::fee_public_verifier();
+
+        // Create the execution.
+        let transaction = ProgramManager::execute(
+            &private_key,
+            HELLO_PROGRAM,
+            "main",
+            array!["5u32", "5u32"],
+            0.0,
+            None,
+            Some(PROVABLE_API.to_string()),
+            None,
+            None,
+            None,
+            Some(fee_prover),
+            Some(fee_verifier),
+            None,
+        )
+        .await
+        .unwrap();
+
+        assert!(transaction.is_execute());
+    }
+}

wasm/src/programs/manager/mod.rs

@@ -118,6 +118,7 @@ impl ProgramManager {
                         // If the process does not already contain the program, add it
                         if !process.contains_program(import.id()) {
                             process.add_program(&import).map_err(|err| err.to_string())?;
+                            process.add_program(&import).map_err(|err| err.to_string())?;
                         }
                     }
                 }

wasm/src/utilities/test/mod.rs

@@ -22,3 +22,6 @@ pub use plaintext::*;
 
 pub mod programs;
 pub use programs::*;
+
+pub mod uri;
+pub use uri::*;

wasm/src/utilities/test/programs.rs

@@ -18,6 +18,14 @@ use crate::{array, object};
 
 use js_sys::{Array, Object};
 
+pub const HELLO_PROGRAM: &str = r#"program hello.aleo;
+function main:
+    input r0 as u32.public;
+    input r1 as u32.private;
+    add r0 r1 into r2;
+    output r2 as u32.private;
+"#;
+
 pub const PUZZLE_SPINNER_V002: &str = r#"import puzzle_arcade_coin_v002.aleo;
 import puzzle_arcade_ticket_v002.aleo;
 

wasm/src/utilities/test/uri.rs

@@ -0,0 +1,17 @@
+// Copyright (C) 2019-2025 Provable Inc.
+// This file is part of the Provable SDK library.
+
+// The Provable SDK library is free software: you can redistribute it and/or modify
+// it under the terms of the GNU General Public License as published by
+// the Free Software Foundation, either version 3 of the License, or
+// (at your option) any later version.
+
+// The Provable SDK library is distributed in the hope that it will be useful,
+// but WITHOUT ANY WARRANTY; without even the implied warranty of
+// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+// GNU General Public License for more details.
+
+// You should have received a copy of the GNU General Public License
+// along with the Provable SDK library. If not, see <https://www.gnu.org/licenses/>.
+
+pub const PROVABLE_API: &str = "https://api.explorer.provable.com/v1";