Struct ScopeDimensions 

pub struct ScopeDimensions {
    pub domain: ScopeValue,
    pub subdomain: ScopeValue,
    pub class: ScopeValue,
    pub instance: ScopeValue,
    pub identity: ScopeValue,
    pub extra: BTreeMap<String, ScopeValue>,
    pub conditions: Vec<Value>,
}

A multi-dimensional scope: the five named SIGNATIF dimensions plus an extension map for scheme-registered dimensions.

Fields

domain: ScopeValue

Top-level business or regulatory domain.

subdomain: ScopeValue

Subdivision of the domain.

class: ScopeValue

Class of objects the authority may attest.

instance: ScopeValue

A specific instance identifier (batch, serial, lot).

identity: ScopeValue

Authorized actor identity.

extra: BTreeMap<String, ScopeValue>

Scheme-registered extension dimensions.

conditions: Vec<Value>

Executable scope conditions (JSON Logic subset) evaluated at verification time against the artifact and its chain (§11).

Implementations

impl ScopeDimensions

pub fn unconstrained() -> Self

Unconstrained scope (all wildcards).

pub fn dimensions(&self) -> impl Iterator<Item = (&'static str, &ScopeValue)>

Iterate over (dimension, value) pairs, named dimensions first.

pub fn get(&self, dimension: &str) -> Option<&ScopeValue>

Look up a dimension by name, including extensions.

pub fn set(&mut self, dimension: &str, value: ScopeValue)

Set a dimension value by name (including extensions).

pub fn narrows_within(&self, parent: &ScopeDimensions) -> bool

The monotonic narrowing invariant: self (child) narrows within parent on every dimension. Dimensions absent from the parent are unconstrained by the parent and therefore always satisfied.

pub fn first_widened_dimension( &self, parent: &ScopeDimensions, ) -> Option<String>

Returns the first dimension on which self widens relative to parent, if any — used to produce precise hard-failure errors.

Trait Implementations

impl Clone for ScopeDimensions

fn clone(&self) -> ScopeDimensions

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ScopeDimensions

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

Formats the value using the given formatter.

impl Default for ScopeDimensions

fn default() -> ScopeDimensions

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for ScopeDimensions

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for ScopeDimensions

impl PartialEq for ScopeDimensions

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for ScopeDimensions