Remove dead Diem code from PoS types: resources, constants, and unused crate

Remove standalone dead code:
- effects.rs from move-core-types (unused module)
- fallible/ crate (unused, no dependents)

Remove all 15 Diem financial resource files (account_config/resources/):
AccountResource, BalanceResource, ChainIdResource, CurrencyInfoResource,
DesignatedDealer, Credential, FreezingBit, KeyRotationCapabilityResource,
PreburnResource, PreburnQueueResource, PreburnWithMetadata, AccountRole,
RoleId, ParentVASP/ChildVASP, WithdrawCapabilityResource — none are used
in production (the PoS executor never reads or writes these types).

Remove unused constants (event.rs, partial diem.rs cleanup) and 13 unused
getters from account_state.rs. Update proptest code to not depend on
removed types.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: peilun-conflux

Cargo.lock

@@ -69,7 +69,6 @@ members = [
     "crates/rpc/rpc-cfx-impl",
     "crates/pos/common/bounded-executor",
     "crates/pos/common/crash-handler",
-    "crates/pos/common/fallible",
     "crates/pos/common/infallible",
     "crates/pos/common/logger",
     "crates/pos/common/metrics",
@@ -209,7 +208,6 @@ bounded-executor = { path = "./crates/pos/common/bounded-executor" }
 #diem-channel = { path = "./crates/pos/common/channel", package = "channel" }
 channel = { path = "./crates/pos/common/channel" }
 crash-handler = { path = "./crates/pos/common/crash-handler" }
-fallible = { path = "./crates/pos/common/fallible" }
 diem-infallible = { path = "./crates/pos/common/infallible" }
 diem-logger = { path = "./crates/pos/common/logger" }
 diem-metrics = { path = "./crates/pos/common/metrics" }

Cargo.toml

@@ -18,7 +18,6 @@ use diem_temppath::TempPath;
 #[allow(unused_imports)]
 use diem_types::{
     account_address::{AccountAddress, HashAccountAddress},
-    account_config::AccountResource,
     contract_event::ContractEvent,
     event::EventKey,
     ledger_info::LedgerInfo,

crates/pos/common/fallible/Cargo.toml

@@ -8,7 +8,6 @@
 //! Core types for Move.
 
 pub mod account_address;
-pub mod effects;
 pub mod gas_schedule;
 pub mod identifier;
 pub mod language_storage;

crates/pos/common/fallible/src/copy_from_slice.rs

@@ -5,34 +5,8 @@
 // Conflux is free software and distributed under GNU General Public License.
 // See http://www.gnu.org/licenses/
 
-use crate::account_config::constants::CORE_CODE_ADDRESS;
 use anyhow::{bail, Result};
-use move_core_types::{
-    identifier::Identifier,
-    language_storage::{ModuleId, StructTag, TypeTag},
-};
-use once_cell::sync::Lazy;
-
-pub const DIEM_MODULE_NAME: &str = "Diem";
-static COIN_MODULE_NAME: Lazy<Identifier> =
-    Lazy::new(|| Identifier::new("Diem").unwrap());
-pub static COIN_MODULE: Lazy<ModuleId> =
-    Lazy::new(|| ModuleId::new(CORE_CODE_ADDRESS, COIN_MODULE_NAME.clone()));
-
-// TODO: This imposes a few implied restrictions:
-//   1) The currency module must be published under the core code address.
-//   2) The module name must be the same as the gas specifier.
-//   3) The struct name must be the same as the module name
-// We need to consider whether we want to switch to a more or fully qualified
-// name.
-pub fn type_tag_for_currency_code(currency_code: Identifier) -> TypeTag {
-    TypeTag::Struct(StructTag {
-        address: CORE_CODE_ADDRESS,
-        module: currency_code.clone(),
-        name: currency_code,
-        type_params: vec![],
-    })
-}
+use move_core_types::identifier::Identifier;
 
 /// In addition to the constraints for valid Move identifiers, currency codes
 /// should consist entirely of uppercase alphanumeric characters (e.g., no