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) -> f32

Total energy V(x) = Σ_comp V_comp (PSP-8 System 2).

The five fields are the derived component rollups of the single canonical quadratic energy V(x) = Σ_e w_e‖r_e(x)‖²: each already carries its squared, weighted residual contribution (V_comp = Σ_{e∈comp} w_e‖r_e‖²), so the total is their plain sum. There is no second α/β/γ weighting pass — those per-component weights are folded into the residual weights w_e of the crate’s energy model before the rollups are formed.

pub fn total_weighted(&self, _contract: &BehavioralContract) -> f32

👎Deprecated:

weights are folded into the residual model; use total()

Deprecated alias for EnergyComponents::total. The component rollups are already weighted, so the contract argument is ignored; retained only so older call sites keep compiling during the migration.

pub fn total_simple(&self) -> f32

Total energy for Solo Mode. Identical to EnergyComponents::total now that aggregation carries no separate weights.

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.