fix: add all files

andygolay · andygolay · commit 0be222015938 · 2025-05-06T09:14:02.000-04:00
diff --git a/aptos-move/framework/aptos-framework/doc/account.md b/aptos-move/framework/aptos-framework/doc/account.md
@@ -23,7 +23,6 @@
 -  [Function `create_account_if_does_not_exist`](#0x1_account_create_account_if_does_not_exist)
 -  [Function `create_account`](#0x1_account_create_account)
 -  [Function `create_account_unchecked`](#0x1_account_create_account_unchecked)
--  [Function `destroy_account_from`](#0x1_account_destroy_account_from)
 -  [Function `exists_at`](#0x1_account_exists_at)
 -  [Function `get_guid_next_creation_num`](#0x1_account_get_guid_next_creation_num)
 -  [Function `get_sequence_number`](#0x1_account_get_sequence_number)
@@ -617,16 +616,6 @@ This V2 struct adds the <code><a href="chain_id.md#0x1_chain_id">chain_id</a></c
 
 
 
-<a id="0x1_account_DECOMMISSION_CORE_RESOURCES"></a>
-
-Feature flag for decommissioning core resources.
-
-
-<pre><code><b>const</b> <a href="account.md#0x1_account_DECOMMISSION_CORE_RESOURCES">DECOMMISSION_CORE_RESOURCES</a>: u64 = 222;
-</code></pre>
-
-
-
 <a id="0x1_account_DERIVE_RESOURCE_ACCOUNT_SCHEME"></a>
 
 Scheme identifier used when hashing an account's address together with a seed to derive the address (not the
@@ -963,16 +952,7 @@ is returned. This way, the caller of this function can publish additional resour
     // there cannot be an <a href="account.md#0x1_account_Account">Account</a> resource under new_addr already.
     <b>assert</b>!(!<b>exists</b>&lt;<a href="account.md#0x1_account_Account">Account</a>&gt;(new_address), <a href="../../aptos-stdlib/../move-stdlib/doc/error.md#0x1_error_already_exists">error::already_exists</a>(<a href="account.md#0x1_account_EACCOUNT_ALREADY_EXISTS">EACCOUNT_ALREADY_EXISTS</a>));
 
-    // Check <b>if</b> the feature flag for decommissioning core resources is enabled.
-    <b>if</b> (get_decommission_core_resources_enabled()) {
-        // Assert separately for the core resources <b>address</b> <b>if</b> the feature flag is enabled.
-        <b>assert</b>!(
-            new_address != @0xa550c18,
-            <a href="../../aptos-stdlib/../move-stdlib/doc/error.md#0x1_error_invalid_argument">error::invalid_argument</a>(<a href="account.md#0x1_account_ECANNOT_RESERVED_ADDRESS">ECANNOT_RESERVED_ADDRESS</a>)
-        );
-    };
-
-    // Assert for other reserved addresses.
+    // NOTE: @core_resources gets created via a `create_account` call, so we do not <b>include</b> it below.
     <b>assert</b>!(
         new_address != @vm_reserved && new_address != @aptos_framework && new_address != @aptos_token,
         <a href="../../aptos-stdlib/../move-stdlib/doc/error.md#0x1_error_invalid_argument">error::invalid_argument</a>(<a href="account.md#0x1_account_ECANNOT_RESERVED_ADDRESS">ECANNOT_RESERVED_ADDRESS</a>)
@@ -1036,54 +1016,6 @@ is returned. This way, the caller of this function can publish additional resour
 
 
 
-</details>
-
-<a id="0x1_account_destroy_account_from"></a>
-
-## Function `destroy_account_from`
-
-Destroy the Account resource from a given account.
-Used to destroy the core resources account on mainnet.
-
-
-<pre><code><b>public</b> entry <b>fun</b> <a href="account.md#0x1_account_destroy_account_from">destroy_account_from</a>(<a href="account.md#0x1_account">account</a>: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>, from: <b>address</b>)
-</code></pre>
-
-
-
-<details>
-<summary>Implementation</summary>
-
-
-<pre><code><b>public</b> entry <b>fun</b> <a href="account.md#0x1_account_destroy_account_from">destroy_account_from</a>(<a href="account.md#0x1_account">account</a>: &<a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>, from: <b>address</b>) <b>acquires</b> <a href="account.md#0x1_account_Account">Account</a> {
-    <a href="system_addresses.md#0x1_system_addresses_assert_core_resource">system_addresses::assert_core_resource</a>(<a href="account.md#0x1_account">account</a>);
-
-    // Assert that the feature flag for decommissioning core resources is enabled
-    <b>assert</b>!(
-        std::features::get_decommission_core_resources_enabled(),
-        <a href="account.md#0x1_account_EFLAG_NOT_ENABLED">EFLAG_NOT_ENABLED</a>
-    );
-
-    <b>let</b> <a href="account.md#0x1_account_Account">Account</a> {
-        authentication_key: _,
-        sequence_number: _,
-        guid_creation_num: _,
-        coin_register_events,
-        key_rotation_events,
-        rotation_capability_offer,
-        signer_capability_offer,
-    } = <b>move_from</b>&lt;<a href="account.md#0x1_account_Account">Account</a>&gt;(from);
-
-    <a href="event.md#0x1_event_destroy_handle">event::destroy_handle</a>&lt;<a href="account.md#0x1_account_CoinRegisterEvent">CoinRegisterEvent</a>&gt;(coin_register_events);
-    <a href="event.md#0x1_event_destroy_handle">event::destroy_handle</a>&lt;<a href="account.md#0x1_account_KeyRotationEvent">KeyRotationEvent</a>&gt;(key_rotation_events);
-
-    <b>let</b> <a href="account.md#0x1_account_CapabilityOffer">CapabilityOffer</a> { for: _ } = rotation_capability_offer;
-    <b>let</b> <a href="account.md#0x1_account_CapabilityOffer">CapabilityOffer</a> { for: _ } = signer_capability_offer;
-}
-</code></pre>
-
-
-
 </details>
 
 <a id="0x1_account_exists_at"></a>
diff --git a/aptos-move/framework/aptos-framework/doc/system_addresses.md b/aptos-move/framework/aptos-framework/doc/system_addresses.md
@@ -31,6 +31,7 @@
 
 
 <pre><code><b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/error.md#0x1_error">0x1::error</a>;
+<b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/features.md#0x1_features">0x1::features</a>;
 <b>use</b> <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">0x1::signer</a>;
 </code></pre>
 
@@ -145,7 +146,12 @@ The operation can only be performed by the VM
 
 
 <pre><code><b>public</b> <b>fun</b> <a href="system_addresses.md#0x1_system_addresses_is_core_resource_address">is_core_resource_address</a>(addr: <b>address</b>): bool {
-    addr == @core_resources
+    // Check <b>if</b> the feature flag for decommissioning core resources is enabled.
+    <b>if</b> (get_decommission_core_resources_enabled()) {
+        <b>false</b>
+    } <b>else</b> {
+        addr == @core_resources
+    }
 }
 </code></pre>
 
@@ -497,6 +503,20 @@ Return true if <code>addr</code> is either the VM address or an Aptos Framework
 </code></pre>
 
 
+Specifies that a function aborts if the account does not have the root address.
+
+
+<a id="0x1_system_addresses_AbortsIfNotCoreResource"></a>
+
+
+<pre><code><b>schema</b> <a href="system_addresses.md#0x1_system_addresses_AbortsIfNotCoreResource">AbortsIfNotCoreResource</a> {
+    addr: <b>address</b>;
+    // This enforces <a id="high-level-req-1" href="#high-level-req">high-level requirement 1</a>:
+    <b>aborts_if</b> addr != @core_resources <b>with</b> <a href="../../aptos-stdlib/../move-stdlib/doc/error.md#0x1_error_PERMISSION_DENIED">error::PERMISSION_DENIED</a>;
+}
+</code></pre>
+
+
 
 <a id="@Specification_1_assert_aptos_framework"></a>
 
@@ -546,20 +566,6 @@ Return true if <code>addr</code> is either the VM address or an Aptos Framework
 </code></pre>
 
 
-Specifies that a function aborts if the account does not have the aptos framework address.
-
-
-<a id="0x1_system_addresses_AbortsIfNotAptosFramework"></a>
-
-
-<pre><code><b>schema</b> <a href="system_addresses.md#0x1_system_addresses_AbortsIfNotAptosFramework">AbortsIfNotAptosFramework</a> {
-    <a href="account.md#0x1_account">account</a>: <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>;
-    // This enforces <a id="high-level-req-2" href="#high-level-req">high-level requirement 2</a>:
-    <b>aborts_if</b> <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer_address_of">signer::address_of</a>(<a href="account.md#0x1_account">account</a>) != @aptos_framework <b>with</b> <a href="../../aptos-stdlib/../move-stdlib/doc/error.md#0x1_error_PERMISSION_DENIED">error::PERMISSION_DENIED</a>;
-}
-</code></pre>
-
-
 
 <a id="@Specification_1_assert_vm"></a>
 
@@ -577,18 +583,4 @@ Specifies that a function aborts if the account does not have the aptos framewor
 </code></pre>
 
 
-Specifies that a function aborts if the account does not have the VM reserved address.
-
-
-<a id="0x1_system_addresses_AbortsIfNotVM"></a>
-
-
-<pre><code><b>schema</b> <a href="system_addresses.md#0x1_system_addresses_AbortsIfNotVM">AbortsIfNotVM</a> {
-    <a href="account.md#0x1_account">account</a>: <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer">signer</a>;
-    // This enforces <a id="high-level-req-3" href="#high-level-req">high-level requirement 3</a>:
-    <b>aborts_if</b> <a href="../../aptos-stdlib/../move-stdlib/doc/signer.md#0x1_signer_address_of">signer::address_of</a>(<a href="account.md#0x1_account">account</a>) != @vm_reserved <b>with</b> <a href="../../aptos-stdlib/../move-stdlib/doc/error.md#0x1_error_PERMISSION_DENIED">error::PERMISSION_DENIED</a>;
-}
-</code></pre>
-
-
 [move-book]: https://aptos.dev/move/book/SUMMARY
diff --git a/aptos-move/framework/cached-packages/src/aptos_framework_sdk_builder.rs b/aptos-move/framework/cached-packages/src/aptos_framework_sdk_builder.rs
@@ -37,12 +37,6 @@ type Bytes = Vec<u8>;
 #[cfg_attr(feature = "fuzzing", derive(proptest_derive::Arbitrary))]
 #[cfg_attr(feature = "fuzzing", proptest(no_params))]
 pub enum EntryFunctionCall {
-    /// Destroy the Account resource from a given account.
-    /// Used to destroy the core resources account on mainnet.
-    AccountDestroyAccountFrom {
-        from: AccountAddress,
-    },
-
     /// Offers rotation capability on behalf of `account` to the account at address `recipient_address`.
     /// An account can delegate its rotation capability to only one other address at one time. If the account
     /// has an existing rotation capability offer, calling this function will update the rotation capability offer with
@@ -1136,7 +1130,6 @@ impl EntryFunctionCall {
     pub fn encode(self) -> TransactionPayload {
         use EntryFunctionCall::*;
         match self {
-            AccountDestroyAccountFrom { from } => account_destroy_account_from(from),
             AccountOfferRotationCapability {
                 rotation_capability_sig_bytes,
                 account_scheme,
@@ -1811,23 +1804,6 @@ impl EntryFunctionCall {
     }
 }
 
-/// Destroy the Account resource from a given account.
-/// Used to destroy the core resources account on mainnet.
-pub fn account_destroy_account_from(from: AccountAddress) -> TransactionPayload {
-    TransactionPayload::EntryFunction(EntryFunction::new(
-        ModuleId::new(
-            AccountAddress::new([
-                0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
-                0, 0, 0, 1,
-            ]),
-            ident_str!("account").to_owned(),
-        ),
-        ident_str!("destroy_account_from").to_owned(),
-        vec![],
-        vec![bcs::to_bytes(&from).unwrap()],
-    ))
-}
-
 /// Offers rotation capability on behalf of `account` to the account at address `recipient_address`.
 /// An account can delegate its rotation capability to only one other address at one time. If the account
 /// has an existing rotation capability offer, calling this function will update the rotation capability offer with
@@ -5058,16 +5034,6 @@ pub fn vesting_vest_many(contract_addresses: Vec<AccountAddress>) -> Transaction
 }
 mod decoder {
     use super::*;
-    pub fn account_destroy_account_from(payload: &TransactionPayload) -> Option<EntryFunctionCall> {
-        if let TransactionPayload::EntryFunction(script) = payload {
-            Some(EntryFunctionCall::AccountDestroyAccountFrom {
-                from: bcs::from_bytes(script.args().get(0)?).ok()?,
-            })
-        } else {
-            None
-        }
-    }
-
     pub fn account_offer_rotation_capability(
         payload: &TransactionPayload,
     ) -> Option<EntryFunctionCall> {
@@ -6950,10 +6916,6 @@ type EntryFunctionDecoderMap = std::collections::HashMap<
 static SCRIPT_FUNCTION_DECODER_MAP: once_cell::sync::Lazy<EntryFunctionDecoderMap> =
     once_cell::sync::Lazy::new(|| {
         let mut map: EntryFunctionDecoderMap = std::collections::HashMap::new();
-        map.insert(
-            "account_destroy_account_from".to_string(),
-            Box::new(decoder::account_destroy_account_from),
-        );
         map.insert(
             "account_offer_rotation_capability".to_string(),
             Box::new(decoder::account_offer_rotation_capability),
