[3/n][object runtime type tags] Add type tags to object runtime update adapter to handle them (#22092)

## Description 

This updates the object runtime to only hold `TypeTag`s (or
`MoveObjecType`s where appropriate) instead of VM runtime `Type`s.

It's generally a pretty straightforward change, however there are a
couple places worth calling out specifically and I've done so in-line.

## Test plan 

CI + adding new tests to make sure type tags coming from the object
runtime are correctly resolved in newly-published packages.

---

## Release notes

Check each box that your changes affect. If none of the boxes relate to
your changes, release notes aren't required.

For each box you select, include information after the relevant heading
that describes the impact of your changes that a user might notice and
any actions they must take to implement updates.

- [X] Protocol: add a new feature flag that switches the object runtime
to using TypeTags instead of VM runtime types.
- [ ] Nodes (Validators and Full nodes): 
- [ ] gRPC:
- [ ] JSON-RPC: 
- [ ] GraphQL: 
- [ ] CLI: 
- [ ] Rust SDK:

---------

Co-authored-by: Timothy Zakian <timothyzakian@mac.lan>

Author: tzakian

crates/sui-adapter-transactional-tests/tests/init/create_object.move

@@ -0,0 +1,17 @@
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+//# init --addresses Test=0x0
+
+//# publish
+module Test::M1 {
+   public struct X has key {
+       id: UID,
+   }
+
+   fun init(ctx: &mut TxContext) { 
+       sui::transfer::transfer(X { id: object::new(ctx) }, ctx.sender());
+   }
+}
+
+//# view-object 1,1

crates/sui-adapter-transactional-tests/tests/init/create_object.snap

@@ -0,0 +1,22 @@
+---
+source: external-crates/move/crates/move-transactional-test-runner/src/framework.rs
+---
+processed 3 tasks
+
+task 1, lines 6-15:
+//# publish
+created: object(1,0), object(1,1)
+mutated: object(0,0)
+gas summary: computation_cost: 1000000, storage_cost: 6216800,  storage_rebate: 0, non_refundable_storage_fee: 0
+
+task 2, line 17:
+//# view-object 1,1
+Owner: Account Address ( _ )
+Version: 2
+Contents: Test::M1::X {
+    id: sui::object::UID {
+        id: sui::object::ID {
+            bytes: fake(1,1),
+        },
+    },
+}

crates/sui-adapter-transactional-tests/tests/init/emit_event.move

@@ -0,0 +1,17 @@
+// Copyright (c) Mysten Labs, Inc.
+// SPDX-License-Identifier: Apache-2.0
+
+//# init --addresses Test=0x0
+
+//# publish
+module Test::M1 {
+   public struct Event has copy, drop, store {
+       x: u64,
+   }
+
+   fun init(_ctx: &mut TxContext) { 
+       sui::event::emit(Event { x: 1 });
+   }
+}
+
+//# view-object 1,0

crates/sui-adapter-transactional-tests/tests/init/emit_event.snap

@@ -0,0 +1,15 @@
+---
+source: external-crates/move/crates/move-transactional-test-runner/src/framework.rs
+---
+processed 3 tasks
+
+task 1, lines 6-15:
+//# publish
+events: Event { package_id: Test, transaction_module: Identifier("M1"), sender: _, type_: StructTag { address: Test, module: Identifier("M1"), name: Identifier("Event"), type_params: [] }, contents: [1, 0, 0, 0, 0, 0, 0, 0] }
+created: object(1,0)
+mutated: object(0,0)
+gas summary: computation_cost: 1000000, storage_cost: 4689200,  storage_rebate: 0, non_refundable_storage_fee: 0
+
+task 2, line 17:
+//# view-object 1,0
+1,0::M1

crates/sui-open-rpc/spec/openrpc.json

@@ -1375,6 +1375,7 @@
                 "soft_bundle": false,
                 "throughput_aware_consensus_submission": false,
                 "txn_base_cost_as_multiplier": false,
+                "type_tags_in_object_runtime": false,
                 "uncompressed_g1_group_elements": false,
                 "upgraded_multisig_supported": false,
                 "validate_identifier_inputs": false,

crates/sui-protocol-config/src/lib.rs

@@ -694,6 +694,10 @@ struct FeatureFlags {
     // Enable native function for party transfer
     #[serde(skip_serializing_if = "is_false")]
     enable_party_transfer: bool,
+
+    // Signifies the cut-over of using type tags instead of `Type`s in the object runtime.
+    #[serde(skip_serializing_if = "is_false")]
+    type_tags_in_object_runtime: bool,
 }
 
 fn is_false(b: &bool) -> bool {
@@ -1978,6 +1982,10 @@ impl ProtocolConfig {
     pub fn enable_party_transfer(&self) -> bool {
         self.feature_flags.enable_party_transfer
     }
+
+    pub fn type_tags_in_object_runtime(&self) -> bool {
+        self.feature_flags.type_tags_in_object_runtime
+    }
 }
 
 #[cfg(not(msim))]
@@ -3539,6 +3547,7 @@ impl ProtocolConfig {
                     // native function on mainnet.
                     cfg.feature_flags.enable_nitro_attestation_upgraded_parsing = true;
                     cfg.feature_flags.enable_nitro_attestation = true;
+                    cfg.feature_flags.type_tags_in_object_runtime = true;
                 }
                 // Use this template when making changes:
                 //

crates/sui-protocol-config/src/snapshots/sui_protocol_config__test__Mainnet_version_83.snap

@@ -90,6 +90,7 @@ feature_flags:
   enforce_checkpoint_timestamp_monotonicity: true
   max_ptb_value_size_v2: true
   resolve_type_input_ids_to_defining_id: true
+  type_tags_in_object_runtime: true
 max_tx_size_bytes: 131072
 max_input_objects: 2048
 max_size_written_objects: 5000000

crates/sui-protocol-config/src/snapshots/sui_protocol_config__test__Testnet_version_83.snap

@@ -92,6 +92,7 @@ feature_flags:
   enforce_checkpoint_timestamp_monotonicity: true
   max_ptb_value_size_v2: true
   resolve_type_input_ids_to_defining_id: true
+  type_tags_in_object_runtime: true
 max_tx_size_bytes: 131072
 max_input_objects: 2048
 max_size_written_objects: 5000000

crates/sui-protocol-config/src/snapshots/sui_protocol_config__test__version_83.snap

@@ -97,6 +97,7 @@ feature_flags:
   enforce_checkpoint_timestamp_monotonicity: true
   max_ptb_value_size_v2: true
   resolve_type_input_ids_to_defining_id: true
+  type_tags_in_object_runtime: true
 max_tx_size_bytes: 131072
 max_input_objects: 2048
 max_size_written_objects: 5000000

external-crates/move/crates/move-vm-runtime/src/native_functions.rs

@@ -20,7 +20,8 @@ use move_core_types::{
 };
 use move_vm_config::runtime::VMRuntimeLimitsConfig;
 use move_vm_types::{
-    loaded_data::runtime_types::Type, natives::function::NativeResult, values::Value,
+    data_store::DataStore, loaded_data::runtime_types::Type, natives::function::NativeResult,
+    values::Value,
 };
 use std::{
     cell::RefCell,
@@ -158,6 +159,36 @@ impl<'b> NativeContext<'_, 'b> {
         }
     }
 
+    // TODO: This is a bit hacky right now since we need to pass the store, however this is only
+    // used in test scenarios so we have some special knowledge that makes this work. In the new VM
+    // however this is _MUCH_ nicer as we don't need to pass the datastore as the VM's linkage
+    // tables must have the type present.
+    pub fn type_tag_to_fully_annotated_layout_for_test_scenario_only(
+        &self,
+        tag: &TypeTag,
+        store: &impl DataStore,
+    ) -> PartialVMResult<A::MoveTypeLayout> {
+        self.resolver
+            .loader()
+            .get_fully_annotated_type_layout(tag, store)
+            .map_err(|e| e.to_partial())
+    }
+
+    // TODO: This is a bit hacky right now since we need to pass the store, however this is only
+    // used in test scenarios so we have some special knowledge that makes this work. In the new VM
+    // however this is _MUCH_ nicer as we don't need to pass the datastore as the VM's linkage
+    // tables must have the type present.
+    pub fn type_tag_to_layout_for_test_scenario_only(
+        &self,
+        tag: &TypeTag,
+        store: &impl DataStore,
+    ) -> PartialVMResult<R::MoveTypeLayout> {
+        self.resolver
+            .loader()
+            .get_type_layout(tag, store)
+            .map_err(|e| e.to_partial())
+    }
+
     pub fn type_to_abilities(&self, ty: &Type) -> PartialVMResult<AbilitySet> {
         self.resolver.loader().abilities(ty)
     }