// Copyright (C) Moondance Labs Ltd.

// This file is part of Tanssi.

// Tanssi 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.

// Tanssi 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 Tanssi.  If not, see <http://www.gnu.org/licenses/>.

#![cfg_attr(not(feature = "std"), no_std)]

// `construct_runtime!` does a lot of recursion and requires us to increase the limit to 256.

#![recursion_limit = "256"]

// Make the WASM binary available.

#[cfg(feature = "std")]

include!(concat!(env!("OUT_DIR"), "/wasm_binary.rs"));

use cumulus_pallet_parachain_system::RelayNumberMonotonicallyIncreases;

#[cfg(feature = "std")]

use sp_version::NativeVersion;

#[cfg(any(feature = "std", test))]

pub use sp_runtime::BuildStorage;

pub mod migrations;

pub mod weights;

pub use sp_runtime::{MultiAddress, Perbill, Permill};

use {

    cumulus_primitives_core::AggregateMessageOrigin,

    dp_impl_tanssi_pallets_config::impl_tanssi_pallets_config,

    frame_support::{

        construct_runtime,

        dispatch::DispatchClass,

        genesis_builder_helper::{build_state, get_preset},

        pallet_prelude::DispatchResult,

        parameter_types,

        traits::{

            tokens::ConversionToAssetBalance, ConstBool, ConstU128, ConstU32, ConstU64, ConstU8,

            Contains, InsideBoth, InstanceFilter,

        },

        weights::{

            constants::{

                BlockExecutionWeight, ExtrinsicBaseWeight, RocksDbWeight,

                WEIGHT_REF_TIME_PER_SECOND,

            },

            ConstantMultiplier, Weight, WeightToFee as _, WeightToFeeCoefficient,

            WeightToFeeCoefficients, WeightToFeePolynomial,

        },

    },

    frame_system::{

        limits::{BlockLength, BlockWeights},

        EnsureRoot,

    },

    nimbus_primitives::{NimbusId, SlotBeacon},

    pallet_transaction_payment::FungibleAdapter,

    parity_scale_codec::{Decode, Encode},

    polkadot_runtime_common::SlowAdjustingFeeUpdate,

    scale_info::TypeInfo,

    serde::{Deserialize, Serialize},

    smallvec::smallvec,

    sp_api::impl_runtime_apis,

    sp_consensus_slots::{Slot, SlotDuration},

    sp_core::{MaxEncodedLen, OpaqueMetadata},

    sp_runtime::{

        create_runtime_str, generic, impl_opaque_keys,

        traits::{AccountIdLookup, BlakeTwo256, Block as BlockT, IdentifyAccount, Verify},

        transaction_validity::{TransactionSource, TransactionValidity},

        ApplyExtrinsicResult, MultiSignature,

    },

    sp_std::prelude::*,

    sp_version::RuntimeVersion,

    staging_xcm::{

        IntoVersion, VersionedAssetId, VersionedAssets, VersionedLocation, VersionedXcm,

    },

    xcm_runtime_apis::{

        dry_run::{CallDryRunEffects, Error as XcmDryRunApiError, XcmDryRunEffects},

        fees::Error as XcmPaymentApiError,

    },

};

pub mod xcm_config;

// Polkadot imports

use polkadot_runtime_common::BlockHashCount;

/// Alias to 512-bit hash when used in the context of a transaction signature on the chain.

pub type Signature = MultiSignature;

/// Some way of identifying an account on the chain. We intentionally make it equivalent

/// to the public key of our transaction signing scheme.

pub type AccountId = <<Signature as Verify>::Signer as IdentifyAccount>::AccountId;

/// Balance of an account.

pub type Balance = u128;

/// Index of a transaction in the chain.

pub type Index = u32;

/// A hash of some data used by the chain.

pub type Hash = sp_core::H256;

/// An index to a block.

pub type BlockNumber = u32;

/// The address format for describing accounts.

pub type Address = MultiAddress<AccountId, ()>;

/// Block header type as expected by this runtime.

pub type Header = generic::Header<BlockNumber, BlakeTwo256>;

/// Block type as expected by this runtime.

pub type Block = generic::Block<Header, UncheckedExtrinsic>;

/// A Block signed with a Justification

pub type SignedBlock = generic::SignedBlock<Block>;

/// BlockId type as expected by this runtime.

pub type BlockId = generic::BlockId<Block>;

/// The SignedExtension to the basic transaction logic.

pub type SignedExtra = (

    frame_system::CheckNonZeroSender<Runtime>,

    frame_system::CheckSpecVersion<Runtime>,

    frame_system::CheckTxVersion<Runtime>,

    frame_system::CheckGenesis<Runtime>,

    frame_system::CheckEra<Runtime>,

    frame_system::CheckNonce<Runtime>,

    frame_system::CheckWeight<Runtime>,

    pallet_transaction_payment::ChargeTransactionPayment<Runtime>,

    cumulus_primitives_storage_weight_reclaim::StorageWeightReclaim<Runtime>,

);

/// Unchecked extrinsic type as expected by this runtime.

pub type UncheckedExtrinsic =

    generic::UncheckedExtrinsic<Address, RuntimeCall, Signature, SignedExtra>;

/// Extrinsic type that has already been checked.

pub type CheckedExtrinsic = generic::CheckedExtrinsic<AccountId, RuntimeCall, SignedExtra>;

/// Executive: handles dispatch to the various modules.

pub type Executive = frame_executive::Executive<

    Runtime,

    Block,

    frame_system::ChainContext<Runtime>,

    Runtime,

    AllPalletsWithSystem,

>;

pub mod currency {

    use super::Balance;

    pub const MICROUNIT: Balance = 1_000_000;

    pub const MILLIUNIT: Balance = 1_000_000_000;

    pub const UNIT: Balance = 1_000_000_000_000;

    pub const KILOUNIT: Balance = 1_000_000_000_000_000;

    pub const STORAGE_BYTE_FEE: Balance = 100 * MICROUNIT;

}

/// Handles converting a weight scalar to a fee value, based on the scale and granularity of the

/// node's balance type.

///

/// This should typically create a mapping between the following ranges:

///   - `[0, MAXIMUM_BLOCK_WEIGHT]`

///   - `[Balance::min, Balance::max]`

///

/// Yet, it can be used for any other sort of change to weight-fee. Some examples being:

///   - Setting it to `0` will essentially disable the weight fee.

///   - Setting it to `1` will cause the literal `#[weight = x]` values to be charged.

pub struct WeightToFee;

impl WeightToFeePolynomial for WeightToFee {

    type Balance = Balance;

}

/// Opaque types. These are used by the CLI to instantiate machinery that don't need to know

/// the specifics of the runtime. They can then be made to be agnostic over specific formats

/// of data like extrinsics, allowing for them to continue syncing the network through upgrades

/// to even the core data structures.

pub mod opaque {

    use {

        super::*,

        sp_runtime::{generic, traits::BlakeTwo256},

    };

    pub use sp_runtime::OpaqueExtrinsic as UncheckedExtrinsic;

    /// Opaque block header type.

    pub type Header = generic::Header<BlockNumber, BlakeTwo256>;

    /// Opaque block type.

    pub type Block = generic::Block<Header, UncheckedExtrinsic>;

    /// Opaque block identifier type.

    pub type BlockId = generic::BlockId<Block>;

}

impl_opaque_keys! {

    pub struct SessionKeys { }

}

#[sp_version::runtime_version]

pub const VERSION: RuntimeVersion = RuntimeVersion {

    spec_name: create_runtime_str!("container-chain-template"),

    impl_name: create_runtime_str!("container-chain-template"),

    authoring_version: 1,

    spec_version: 800,

    impl_version: 0,

    apis: RUNTIME_API_VERSIONS,

    transaction_version: 1,

    state_version: 1,

};

/// This determines the average expected block time that we are targeting.

/// Blocks will be produced at a minimum duration defined by `SLOT_DURATION`.

/// `SLOT_DURATION` is picked up by `pallet_timestamp` which is in turn picked

/// up by `pallet_aura` to implement `fn slot_duration()`.

///

/// Change this to adjust the block time.

pub const MILLISECS_PER_BLOCK: u64 = 6000;

// NOTE: Currently it is not possible to change the slot duration after the chain has started.

//       Attempting to do so will brick block production.

pub const SLOT_DURATION: u64 = MILLISECS_PER_BLOCK;

// Time is measured by number of blocks.

pub const MINUTES: BlockNumber = 60_000 / (MILLISECS_PER_BLOCK as BlockNumber);

pub const HOURS: BlockNumber = MINUTES * 60;

pub const DAYS: BlockNumber = HOURS * 24;

pub const SUPPLY_FACTOR: Balance = 100;

// Unit = the base number of indivisible units for balances

pub const UNIT: Balance = 1_000_000_000_000;

pub const MILLIUNIT: Balance = 1_000_000_000;

pub const MICROUNIT: Balance = 1_000_000;

pub const STORAGE_BYTE_FEE: Balance = 100 * MICROUNIT * SUPPLY_FACTOR;

/// The existential deposit. Set to 1/10 of the Connected Relay Chain.

pub const EXISTENTIAL_DEPOSIT: Balance = MILLIUNIT;

/// We assume that ~5% of the block weight is consumed by `on_initialize` handlers. This is

/// used to limit the maximal weight of a single extrinsic.

const AVERAGE_ON_INITIALIZE_RATIO: Perbill = Perbill::from_percent(5);

/// We allow `Normal` extrinsics to fill up the block up to 75%, the rest can be used by

/// `Operational` extrinsics.

const NORMAL_DISPATCH_RATIO: Perbill = Perbill::from_percent(75);

/// We allow for 0.5 of a second of compute with a 12 second average block time.

const MAXIMUM_BLOCK_WEIGHT: Weight = Weight::from_parts(

    WEIGHT_REF_TIME_PER_SECOND.saturating_div(2),

    cumulus_primitives_core::relay_chain::MAX_POV_SIZE as u64,

);

/// The version information used to identify this runtime when compiled natively.

#[cfg(feature = "std")]

parameter_types! {

    pub const Version: RuntimeVersion = VERSION;

    // This part is copied from Substrate's `bin/node/runtime/src/lib.rs`.

    //  The `RuntimeBlockLength` and `RuntimeBlockWeights` exist here because the

    // `DeletionWeightLimit` and `DeletionQueueDepth` depend on those to parameterize

    // the lazy contract deletion.

    pub RuntimeBlockLength: BlockLength =

        BlockLength::max_with_normal_ratio(5 * 1024 * 1024, NORMAL_DISPATCH_RATIO);

    pub RuntimeBlockWeights: BlockWeights = BlockWeights::builder()

        .base_block(BlockExecutionWeight::get())

        .avg_block_initialization(AVERAGE_ON_INITIALIZE_RATIO)

        .build_or_panic();

    pub const SS58Prefix: u16 = 42;

}

// Configure FRAME pallets to include in runtime.

impl frame_system::Config for Runtime {

    /// The identifier used to distinguish between accounts.

    type AccountId = AccountId;

    /// The aggregated dispatch type that is available for extrinsics.

    type RuntimeCall = RuntimeCall;

    /// The lookup mechanism to get account ID from whatever is passed in dispatchers.

    type Lookup = AccountIdLookup<AccountId, ()>;

    /// The index type for storing how many extrinsics an account has signed.

    type Nonce = Index;

    /// The index type for blocks.

    type Block = Block;

    /// The type for hashing blocks and tries.

    type Hash = Hash;

    /// The hashing algorithm used.

    type Hashing = BlakeTwo256;

    /// The ubiquitous event type.

    type RuntimeEvent = RuntimeEvent;

    /// The ubiquitous origin type.

    type RuntimeOrigin = RuntimeOrigin;

    /// Maximum number of block number to block hash mappings to keep (oldest pruned first).

    type BlockHashCount = BlockHashCount;

    /// Runtime version.

    type Version = Version;

    /// Converts a module to an index of this module in the runtime.

    type PalletInfo = PalletInfo;

    /// The data to be stored in an account.

    type AccountData = pallet_balances::AccountData<Balance>;

    /// What to do if a new account is created.

    type OnNewAccount = ();

    /// What to do if an account is fully reaped from the system.

    type OnKilledAccount = ();

    /// The weight of database operations that the runtime can invoke.

    type DbWeight = RocksDbWeight;

    /// The basic call filter to use in dispatchable.

    type BaseCallFilter = InsideBoth<MaintenanceMode, TxPause>;

    /// Weight information for the extrinsics of this pallet.

    type SystemWeightInfo = weights::frame_system::SubstrateWeight<Runtime>;

    /// Block & extrinsics weights: base values and limits.

    type BlockWeights = RuntimeBlockWeights;

    /// The maximum length of a block (in bytes).

    type BlockLength = RuntimeBlockLength;

    /// This is used as an identifier of the chain. 42 is the generic substrate prefix.

    type SS58Prefix = SS58Prefix;

    /// The action to take on a Runtime Upgrade

    type OnSetCode = cumulus_pallet_parachain_system::ParachainSetCode<Self>;

    type MaxConsumers = frame_support::traits::ConstU32<16>;

    type RuntimeTask = RuntimeTask;

    type SingleBlockMigrations = ();

    type MultiBlockMigrator = ();

    type PreInherents = ();

    type PostInherents = ();

    type PostTransactions = ();

}

parameter_types! {

    pub const ExistentialDeposit: Balance = EXISTENTIAL_DEPOSIT;

}

impl pallet_balances::Config for Runtime {

    type MaxLocks = ConstU32<50>;

    /// The type for recording an account's balance.

    type Balance = Balance;

    /// The ubiquitous event type.

    type RuntimeEvent = RuntimeEvent;

    type DustRemoval = ();

    type ExistentialDeposit = ExistentialDeposit;

    type AccountStore = System;

    type MaxReserves = ConstU32<50>;

    type ReserveIdentifier = [u8; 8];

    type FreezeIdentifier = RuntimeFreezeReason;

    type MaxFreezes = ConstU32<0>;

    type RuntimeHoldReason = RuntimeHoldReason;

    type RuntimeFreezeReason = RuntimeFreezeReason;

    type WeightInfo = weights::pallet_balances::SubstrateWeight<Runtime>;

}

parameter_types! {

    pub const TransactionByteFee: Balance = 1;

}

impl pallet_transaction_payment::Config for Runtime {

    type RuntimeEvent = RuntimeEvent;

    // This will burn the fees

    type OnChargeTransaction = FungibleAdapter<Balances, ()>;

    type OperationalFeeMultiplier = ConstU8<5>;

    type WeightToFee = WeightToFee;

    type LengthToFee = ConstantMultiplier<Balance, TransactionByteFee>;

    type FeeMultiplierUpdate = SlowAdjustingFeeUpdate<Self>;

}

parameter_types! {

    pub const ReservedXcmpWeight: Weight = MAXIMUM_BLOCK_WEIGHT.saturating_div(4);

    pub const ReservedDmpWeight: Weight = MAXIMUM_BLOCK_WEIGHT.saturating_div(4);

    pub const RelayOrigin: AggregateMessageOrigin = AggregateMessageOrigin::Parent;

}

pub const RELAY_CHAIN_SLOT_DURATION_MILLIS: u32 = 6000;

pub const UNINCLUDED_SEGMENT_CAPACITY: u32 = 3;

pub const BLOCK_PROCESSING_VELOCITY: u32 = 1;

type ConsensusHook = pallet_async_backing::consensus_hook::FixedVelocityConsensusHook<

    Runtime,

    BLOCK_PROCESSING_VELOCITY,

    UNINCLUDED_SEGMENT_CAPACITY,

>;

impl cumulus_pallet_parachain_system::Config for Runtime {

    type WeightInfo = weights::cumulus_pallet_parachain_system::SubstrateWeight<Runtime>;

    type RuntimeEvent = RuntimeEvent;

    type OnSystemEvent = ();

    type OutboundXcmpMessageSource = XcmpQueue;

    type SelfParaId = parachain_info::Pallet<Runtime>;

    type DmpQueue = frame_support::traits::EnqueueWithOrigin<MessageQueue, RelayOrigin>;

    type ReservedDmpWeight = ReservedDmpWeight;

    type XcmpMessageHandler = XcmpQueue;

    type ReservedXcmpWeight = ReservedXcmpWeight;

    type CheckAssociatedRelayNumber = RelayNumberMonotonicallyIncreases;

    type ConsensusHook = ConsensusHook;

}

pub struct ParaSlotProvider;

impl sp_core::Get<(Slot, SlotDuration)> for ParaSlotProvider {

}

parameter_types! {

    pub const ExpectedBlockTime: u64 = MILLISECS_PER_BLOCK;

}

impl pallet_async_backing::Config for Runtime {

    type AllowMultipleBlocksPerSlot = ConstBool<true>;

    type GetAndVerifySlot =

        pallet_async_backing::ParaSlot<RELAY_CHAIN_SLOT_DURATION_MILLIS, ParaSlotProvider>;

    type ExpectedBlockTime = ExpectedBlockTime;

}

impl parachain_info::Config for Runtime {}

parameter_types! {

    pub const Period: u32 = 6 * HOURS;

    pub const Offset: u32 = 0;

}

impl pallet_sudo::Config for Runtime {

    type RuntimeCall = RuntimeCall;

    type RuntimeEvent = RuntimeEvent;

    type WeightInfo = weights::pallet_sudo::SubstrateWeight<Runtime>;

}

impl pallet_utility::Config for Runtime {

    type RuntimeEvent = RuntimeEvent;

    type RuntimeCall = RuntimeCall;

    type PalletsOrigin = OriginCaller;

    type WeightInfo = weights::pallet_utility::SubstrateWeight<Runtime>;

}

/// The type used to represent the kinds of proxying allowed.

#[derive(

    Copy,

    Clone,

    Eq,

    PartialEq,

    Ord,

    PartialOrd,

    Encode,

    Debug,

    Serialize,

)]

#[allow(clippy::unnecessary_cast)]

pub enum ProxyType {

    Any = 0,

    NonTransfer = 1,

    Governance = 2,

    CancelProxy = 3,

    Balances = 4,

}

impl Default for ProxyType {

}

impl InstanceFilter<RuntimeCall> for ProxyType {

            ProxyType::NonTransfer => {

                    RuntimeCall::System(..)

                        | RuntimeCall::ParachainSystem(..)

                        | RuntimeCall::Timestamp(..)

                        | RuntimeCall::Proxy(..)

                )

            }

            // We don't have governance yet

                RuntimeCall::Proxy(pallet_proxy::Call::reject_announcement { .. })

            ),

            ProxyType::Balances => {

            }

        }

        }

}

impl pallet_proxy::Config for Runtime {

    type RuntimeEvent = RuntimeEvent;

    type RuntimeCall = RuntimeCall;

    type Currency = Balances;

    type ProxyType = ProxyType;

    // One storage item; key size 32, value size 8

    type ProxyDepositBase = ConstU128<{ deposit(1, 8) }>;

    // Additional storage item size of 33 bytes (32 bytes AccountId + 1 byte sizeof(ProxyType)).

    type ProxyDepositFactor = ConstU128<{ deposit(0, 33) }>;

    type MaxProxies = ConstU32<32>;

    type MaxPending = ConstU32<32>;

    type CallHasher = BlakeTwo256;

    type AnnouncementDepositBase = ConstU128<{ deposit(1, 8) }>;

    // Additional storage item size of 68 bytes:

    // - 32 bytes AccountId

    // - 32 bytes Hasher (Blake2256)

    // - 4 bytes BlockNumber (u32)

    type AnnouncementDepositFactor = ConstU128<{ deposit(0, 68) }>;

    type WeightInfo = weights::pallet_proxy::SubstrateWeight<Runtime>;

}

pub struct XcmExecutionManager;

impl xcm_primitives::PauseXcmExecution for XcmExecutionManager {

}

impl pallet_migrations::Config for Runtime {

    type RuntimeEvent = RuntimeEvent;

    type MigrationsList = (migrations::TemplateMigrations<Runtime, XcmpQueue, PolkadotXcm>,);

    type XcmExecutionManager = XcmExecutionManager;

}

/// Maintenance mode Call filter

pub struct MaintenanceFilter;

impl Contains<RuntimeCall> for MaintenanceFilter {

}

/// Normal Call Filter

/// We dont allow to create nor mint assets, this for now is disabled

/// We only allow transfers. For now creation of assets will go through

/// asset-manager, while minting/burning only happens through xcm messages

/// This can change in the future

pub struct NormalFilter;

impl Contains<RuntimeCall> for NormalFilter {

}

impl pallet_maintenance_mode::Config for Runtime {

    type RuntimeEvent = RuntimeEvent;

    type NormalCallFilter = NormalFilter;

    type MaintenanceCallFilter = MaintenanceFilter;

    type MaintenanceOrigin = EnsureRoot<AccountId>;

    type XcmExecutionManager = XcmExecutionManager;

}

impl pallet_root_testing::Config for Runtime {

    type RuntimeEvent = RuntimeEvent;

}

impl pallet_tx_pause::Config for Runtime {

    type RuntimeEvent = RuntimeEvent;

    type RuntimeCall = RuntimeCall;

    type PauseOrigin = EnsureRoot<AccountId>;

    type UnpauseOrigin = EnsureRoot<AccountId>;

    type WhitelistedCalls = ();

    type MaxNameLen = ConstU32<256>;

    type WeightInfo = weights::pallet_tx_pause::SubstrateWeight<Runtime>;

}

impl dp_impl_tanssi_pallets_config::Config for Runtime {

    const SLOT_DURATION: u64 = SLOT_DURATION;

    type TimestampWeights = weights::pallet_timestamp::SubstrateWeight<Runtime>;

    type AuthorInherentWeights = weights::pallet_author_inherent::SubstrateWeight<Runtime>;

    type AuthoritiesNotingWeights = weights::pallet_cc_authorities_noting::SubstrateWeight<Runtime>;

}

parameter_types! {

    // One storage item; key size 32; value is size 4+4+16+32. Total = 1 * (32 + 56)

    pub const DepositBase: Balance = currency::deposit(1, 88);

    // Additional storage item size of 32 bytes.

    pub const DepositFactor: Balance = currency::deposit(0, 32);

    pub const MaxSignatories: u32 = 100;

}

impl pallet_multisig::Config for Runtime {

    type RuntimeEvent = RuntimeEvent;

    type RuntimeCall = RuntimeCall;

    type Currency = Balances;

    type DepositBase = DepositBase;

    type DepositFactor = DepositFactor;

    type MaxSignatories = MaxSignatories;

    type WeightInfo = weights::pallet_multisig::SubstrateWeight<Runtime>;

}

impl_tanssi_pallets_config!(Runtime);

// Create the runtime by composing the FRAME pallets that were previously configured.

#[cfg(feature = "runtime-benchmarks")]

mod benches {

    frame_benchmarking::define_benchmarks!(

        [frame_system, frame_system_benchmarking::Pallet::<Runtime>]

        [cumulus_pallet_parachain_system, ParachainSystem]

        [pallet_timestamp, Timestamp]

        [pallet_sudo, Sudo]

        [pallet_utility, Utility]

        [pallet_proxy, Proxy]

        [pallet_tx_pause, TxPause]

        [pallet_balances, Balances]

        [pallet_multisig, Multisig]

        [pallet_cc_authorities_noting, AuthoritiesNoting]

        [pallet_author_inherent, AuthorInherent]

        [cumulus_pallet_xcmp_queue, XcmpQueue]

        [cumulus_pallet_dmp_queue, DmpQueue]

        [pallet_xcm, PalletXcmExtrinsicsBenchmark::<Runtime>]

        [pallet_xcm_benchmarks::generic, pallet_xcm_benchmarks::generic::Pallet::<Runtime>]

        [pallet_message_queue, MessageQueue]

        [pallet_assets, ForeignAssets]

        [pallet_foreign_asset_creator, ForeignAssetsCreator]

        [pallet_asset_rate, AssetRate]

        [pallet_xcm_executor_utils, XcmExecutorUtils]

    );

}

#[allow(dead_code)]

struct CheckInherents;

#[allow(deprecated)]

impl cumulus_pallet_parachain_system::CheckInherents<Block> for CheckInherents {

}

cumulus_pallet_parachain_system::register_validate_block! {

    Runtime = Runtime,

    CheckInherents = CheckInherents,

    BlockExecutor = pallet_author_inherent::BlockExecutor::<Runtime, Executive>,

}