Struct EnergyComponents 

pub struct EnergyComponents {
    pub v_syn: f32,
    pub v_str: f32,
    pub v_log: f32,
    pub v_boot: f32,
    pub v_sheaf: f32,
}

Energy components for Lyapunov calculation

Fields

v_syn: f32

Syntactic energy (from LSP diagnostics)

v_str: f32

Structural energy (from contract verification)

v_log: f32

Logic energy (from test results)

v_boot: f32

Bootstrapping energy (from command exit codes)

v_sheaf: f32

Sheaf validation energy (cross-node consistency)

Implementations

impl EnergyComponents

pub fn total(&self, contract: &BehavioralContract) -> f32

Calculate total energy: V(x) = αV_syn + βV_str + γ*V_log + V_boot + V_sheaf

pub fn total_simple(&self) -> f32

Calculate total energy for Solo Mode (implicit weights = 1.0) Used when no BehavioralContract is available

Trait Implementations

impl Clone for EnergyComponents

fn clone(&self) -> EnergyComponents

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EnergyComponents

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

Formats the value using the given formatter.

impl Default for EnergyComponents

fn default() -> EnergyComponents

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for EnergyComponents

fn deserialize<__D>( __deserializer: __D, ) -> Result<EnergyComponents, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for EnergyComponents

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

where __S: Serializer,

Serialize this value into the given Serde serializer.