Struct VaultState

pub struct VaultState {
    pub total_assets: u128,
    pub total_shares: u128,
    pub idle_assets: u128,
    pub external_assets: u128,
    pub fee_anchor: FeeAccrualAnchor,
    pub op_state: OpState,
    pub withdraw_queue: WithdrawQueue,
    pub next_op_id: u64,
}

Core kernel vault state.

This struct contains all the state managed by the kernel. Chain-specific executors are responsible for:

• Persisting this state to storage
• Handling share/asset token balances

Invariants

• total_assets == idle_assets + external_assets
• withdraw_queue.check_invariants()
• next_op_id is monotonically increasing
• Operations can only proceed when op_state allows them

Fields

total_assets: u128

total_shares: u128

idle_assets: u128

external_assets: u128

fee_anchor: FeeAccrualAnchor

op_state: OpState

withdraw_queue: WithdrawQueue

next_op_id: u64

Implementations

impl VaultState

pub fn new() -> Self

pub fn with_initial( total_assets: u128, total_shares: u128, idle_assets: u128, external_assets: u128, timestamp_ns: TimestampNs, ) -> Self

pub fn check_invariant(&self) -> bool

Check the fundamental accounting invariant.

Returns true if total_assets == idle_assets + external_assets.

pub fn allocate_op_id(&mut self) -> u64

Allocate and return the next operation ID.

Increments next_op_id and returns the previous value.

pub fn is_idle(&self) -> bool

Check if the vault is idle (no operation in progress).

pub fn current_op_id(&self) -> Option<u64>

Get the current operation ID if an operation is in progress.

pub fn sync_total_assets(&mut self)

Recompute total_assets from idle_assets + external_assets.

Call this after any mutation of idle_assets or external_assets to restore the fundamental accounting invariant.

pub fn restore_to_idle(&mut self, amount: u128)

Add amount back to idle assets and recompute totals.

Common pattern during abort / emergency-reset paths where in-flight assets are returned to idle.

Trait Implementations

impl BorshDeserialize for VaultState

fn deserialize_reader<__R: Read>(reader: &mut __R) -> Result<Self, Error>

fn deserialize(buf: &mut &[u8]) -> Result<Self, Error>

Deserializes this instance from a given slice of bytes. Updates the buffer to point at the remaining bytes.

fn try_from_slice(v: &[u8]) -> Result<Self, Error>

Deserialize this instance from a slice of bytes.

fn try_from_reader<R>(reader: &mut R) -> Result<Self, Error>

where R: Read,

impl BorshSerialize for VaultState

fn serialize<__W: Write>(&self, writer: &mut __W) -> Result<(), Error>

impl Clone for VaultState

fn clone(&self) -> VaultState

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VaultState

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for VaultState

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for VaultState

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for VaultState

fn eq(&self, other: &VaultState) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for VaultState

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for VaultState

impl StructuralPartialEq for VaultState