Struct WallCrossingEngine 

pub struct WallCrossingEngine {
    pub grassmannian: (usize, usize),
}

Engine for computing wall-crossing phenomena.

Analyzes how the set of stable capabilities changes as the trust level varies.

Fields

grassmannian: (usize, usize)

Grassmannian parameters

Implementations

impl WallCrossingEngine

pub fn new(grassmannian: (usize, usize)) -> Self

Create a new wall-crossing engine.

pub fn compute_walls(&self, namespace: &Namespace) -> Vec<Wall>

Compute all walls for the capabilities in a namespace.

A wall occurs at trust level t where the phase of some capability equals 0 or 1, causing a stability transition.

The wall for σ_λ occurs where:

arg(Z_t(σ_λ)) = 0 or π

i.e., where t · dim(σ_λ) / codim(σ_λ) reaches critical values.

Contract

ensures: walls are sorted by trust_level
ensures: each wall corresponds to exactly one capability

pub fn stable_count_at(&self, namespace: &Namespace, trust_level: f64) -> usize

Compute the number of stable capabilities at a given trust level.

Contract

ensures: result <= namespace.capabilities.len()

pub fn phase_diagram(&self, namespace: &Namespace) -> Vec<(f64, usize)>

Compute the phase diagram: piecewise-constant function trust_level → count of stable capabilities.

Returns sorted (trust_level, count) breakpoints.

Contract

ensures: result is sorted by trust_level (first component)
ensures: result.len() >= 1

Trait Implementations

impl Clone for WallCrossingEngine

fn clone(&self) -> WallCrossingEngine

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for WallCrossingEngine

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

Formats the value using the given formatter.