Struct BackendProfile 

pub struct BackendProfile { /* private fields */ }

TYPED planning view, derived DETERMINISTICALLY from a raw snapshot. The planner consults THIS, never the map.

Holds a per-RequirementKind machine CEILING: the strongest enforcement the machine can actually back for that kind right now.

Implementations

impl BackendProfile

pub fn from_ceiling(ceiling: BTreeMap<RequirementKind, SupportVerdict>) -> Self

Build a typed profile from an explicit per-kind ceiling table. A kind absent from the table is the fail-closed bottom.

pub fn ceiling_for(&self, kind: RequirementKind) -> SupportVerdict

The machine ceiling SupportVerdict for one requirement kind; the fail-closed bottom if unknown.

pub fn enforced_kinds(&self) -> Vec<RequirementKind>

The requirement kinds this ceiling advertises at Enforcement::Enforced, in canonical order — exactly the cells the qualification coupling gate must find a Proven ledger row for.

Trait Implementations

impl Clone for BackendProfile

fn clone(&self) -> BackendProfile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BackendProfile

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

Formats the value using the given formatter.

impl Eq for BackendProfile

impl PartialEq for BackendProfile

fn eq(&self, other: &BackendProfile) -> 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 StructuralPartialEq for BackendProfile