[static ptb] Initial check in

crates/sui-types/src/base_types.rs

@@ -955,6 +955,11 @@ pub const RESOLVED_UTF8_STR: (&AccountAddress, &IdentStr, &IdentStr) = (
 
 pub const TX_CONTEXT_MODULE_NAME: &IdentStr = ident_str!("tx_context");
 pub const TX_CONTEXT_STRUCT_NAME: &IdentStr = ident_str!("TxContext");
+pub const RESOLVED_TX_CONTEXT: (&AccountAddress, &IdentStr, &IdentStr) = (
+    &SUI_FRAMEWORK_ADDRESS,
+    STD_UTF8_MODULE_NAME,
+    STD_UTF8_STRUCT_NAME,
+);
 
 pub fn move_ascii_str_layout() -> A::MoveStructLayout {
     A::MoveStructLayout {

crates/sui-types/src/coin.rs

@@ -14,6 +14,7 @@ use crate::{
     SUI_FRAMEWORK_ADDRESS,
 };
 use move_core_types::{
+    account_address::AccountAddress,
     annotated_value::{MoveFieldLayout, MoveStructLayout, MoveTypeLayout},
     ident_str,
     identifier::IdentStr,
@@ -24,6 +25,8 @@ use serde::{Deserialize, Serialize};
 
 pub const COIN_MODULE_NAME: &IdentStr = ident_str!("coin");
 pub const COIN_STRUCT_NAME: &IdentStr = ident_str!("Coin");
+pub const RESOLVED_COIN_STRUCT: (&AccountAddress, &IdentStr, &IdentStr) =
+    (&SUI_FRAMEWORK_ADDRESS, COIN_MODULE_NAME, COIN_STRUCT_NAME);
 pub const COIN_METADATA_STRUCT_NAME: &IdentStr = ident_str!("CoinMetadata");
 pub const COIN_TREASURE_CAP_NAME: &IdentStr = ident_str!("TreasuryCap");
 pub const REGULATED_COIN_METADATA_STRUCT_NAME: &IdentStr = ident_str!("RegulatedCoinMetadata");

external-crates/move/Cargo.toml

@@ -155,6 +155,7 @@ move-borrow-graph = { path = "crates/move-borrow-graph" }
 move-bytecode-source-map = { path = "crates/move-bytecode-source-map" }
 move-bytecode-utils = { path = "crates/move-bytecode-utils" }
 move-bytecode-verifier = { path = "crates/move-bytecode-verifier" }
+move-bytecode-verifier-analyzer = { path = "crates/move-bytecode-verifier-analyzer" }
 move-bytecode-verifier-meter = { path = "crates/move-bytecode-verifier-meter" }
 move-bytecode-viewer = { path = "crates/move-bytecode-viewer" }
 move-cli = { path = "crates/move-cli" }

sui-execution/latest/sui-adapter/src/execution_mode.rs

@@ -47,6 +47,23 @@ pub trait ExecutionMode {
         argument_updates: Self::ArgumentUpdates,
         command_result: &[Value],
     ) -> Result<(), ExecutionError>;
+
+    // == Arg/Result V2 ==
+
+    const TRACK_EXECUTION: bool;
+
+    fn add_argument_update_v2(
+        acc: &mut Self::ArgumentUpdates,
+        arg: Argument,
+        bytes: Vec<u8>,
+        type_: TypeTag,
+    ) -> Result<(), ExecutionError>;
+
+    fn finish_command_v2(
+        acc: &mut Self::ExecutionResults,
+        argument_updates: Vec<(Argument, Vec<u8>, TypeTag)>,
+        command_result: Vec<(Vec<u8>, TypeTag)>,
+    ) -> Result<(), ExecutionError>;
 }
 
 #[derive(Copy, Clone)]
@@ -93,6 +110,25 @@ impl ExecutionMode for Normal {
     ) -> Result<(), ExecutionError> {
         Ok(())
     }
+
+    const TRACK_EXECUTION: bool = false;
+
+    fn add_argument_update_v2(
+        _acc: &mut Self::ArgumentUpdates,
+        _arg: Argument,
+        _bytes: Vec<u8>,
+        _type_: TypeTag,
+    ) -> Result<(), ExecutionError> {
+        invariant_violation!("should not be called");
+    }
+
+    fn finish_command_v2(
+        _acc: &mut Self::ExecutionResults,
+        _argument_updates: Vec<(Argument, Vec<u8>, TypeTag)>,
+        _command_result: Vec<(Vec<u8>, TypeTag)>,
+    ) -> Result<(), ExecutionError> {
+        invariant_violation!("should not be called");
+    }
 }
 
 #[derive(Copy, Clone)]
@@ -139,6 +175,25 @@ impl ExecutionMode for Genesis {
     ) -> Result<(), ExecutionError> {
         Ok(())
     }
+
+    const TRACK_EXECUTION: bool = false;
+
+    fn add_argument_update_v2(
+        _acc: &mut Self::ArgumentUpdates,
+        _arg: Argument,
+        _bytes: Vec<u8>,
+        _type_: TypeTag,
+    ) -> Result<(), ExecutionError> {
+        invariant_violation!("should not be called");
+    }
+
+    fn finish_command_v2(
+        _acc: &mut Self::ExecutionResults,
+        _argument_updates: Vec<(Argument, Vec<u8>, TypeTag)>,
+        _command_result: Vec<(Vec<u8>, TypeTag)>,
+    ) -> Result<(), ExecutionError> {
+        invariant_violation!("should not be called");
+    }
 }
 
 #[derive(Copy, Clone)]
@@ -191,6 +246,25 @@ impl ExecutionMode for System {
     ) -> Result<(), ExecutionError> {
         Ok(())
     }
+
+    const TRACK_EXECUTION: bool = false;
+
+    fn add_argument_update_v2(
+        _acc: &mut Self::ArgumentUpdates,
+        _arg: Argument,
+        _bytes: Vec<u8>,
+        _type_: TypeTag,
+    ) -> Result<(), ExecutionError> {
+        invariant_violation!("should not be called");
+    }
+
+    fn finish_command_v2(
+        _acc: &mut Self::ExecutionResults,
+        _argument_updates: Vec<(Argument, Vec<u8>, TypeTag)>,
+        _command_result: Vec<(Vec<u8>, TypeTag)>,
+    ) -> Result<(), ExecutionError> {
+        invariant_violation!("should not be called");
+    }
 }
 
 /// WARNING! Using this mode will bypass all normal checks around Move entry functions! This
@@ -250,6 +324,27 @@ impl<const SKIP_ALL_CHECKS: bool> ExecutionMode for DevInspect<SKIP_ALL_CHECKS>
         acc.push((argument_updates, command_bytes));
         Ok(())
     }
+
+    const TRACK_EXECUTION: bool = true;
+
+    fn add_argument_update_v2(
+        acc: &mut Self::ArgumentUpdates,
+        arg: Argument,
+        bytes: Vec<u8>,
+        type_: TypeTag,
+    ) -> Result<(), ExecutionError> {
+        acc.push((arg, bytes, type_));
+        Ok(())
+    }
+
+    fn finish_command_v2(
+        acc: &mut Self::ExecutionResults,
+        argument_updates: Vec<(Argument, Vec<u8>, TypeTag)>,
+        command_result: Vec<(Vec<u8>, TypeTag)>,
+    ) -> Result<(), ExecutionError> {
+        acc.push((argument_updates, command_result));
+        Ok(())
+    }
 }
 
 fn value_to_bytes_and_tag(

sui-execution/latest/sui-adapter/src/lib.rs

@@ -12,6 +12,7 @@ pub mod execution_value;
 pub mod gas_charger;
 pub mod gas_meter;
 pub mod programmable_transactions;
+pub mod static_programmable_transactions;
 pub mod temporary_store;
 pub mod type_layout_resolver;
 pub mod type_resolver;

sui-execution/latest/sui-adapter/src/programmable_transactions/context.rs

@@ -795,8 +795,7 @@ mod checked {
                         }
                     }
                 }
-            }
-            // add transfers from TransferObjects command
+            } // add transfers from TransferObjects command
             for (recipient, object_value) in additional_transfers {
                 let owner = Owner::AddressOwner(recipient);
                 add_additional_write(&mut additional_writes, owner, object_value)?;