Struct FacetMismatch 

pub struct FacetMismatch {
    pub facet: &'static str,
    pub actual: &'static str,
    pub bound: String,
    pub admits_count: usize,
}

The single facet constraint a capability failed, named in the taxonomy’s own vocabulary.

Exists because the engine was write-only: admits answered yes/no and nothing reported WHICH axis said no, so both a user asking “why was this denied” and an author debugging a resolver had to bisect by editing facets and re-running. That is not a hypothetical cost — it is how an incomplete loopback delta got mistaken for a flawed approach.

Fields

facet: &'static str

Dotted facet path as the taxonomy spells it (network.payload, locus.remote).

actual: &'static str

The capability’s term (sends-host-data).

bound: String

The constraint it failed (<= fetches, one of [pinned, na]).

admits_count: usize

How many of that axis’s terms the bound DOES admit — how close this clause came.

Used to rank clauses, not shown. A level inherits its ancestors’ clauses (developer carries paranoid’s observe clause), so several can match on operation and the first is often the strictest. Reporting that one names a bound the author never intended for this capability: a cat of a machine-locus path was blamed on <= temp (paranoid’s read floor) when the read bound that actually matters is <= worktree-trusted.

Trait Implementations

impl Clone for FacetMismatch

fn clone(&self) -> FacetMismatch

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FacetMismatch

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

Formats the value using the given formatter.

impl Display for FacetMismatch

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

Formats the value using the given formatter.

impl Eq for FacetMismatch

impl PartialEq for FacetMismatch

fn eq(&self, other: &FacetMismatch) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FacetMismatch