Struct FacetError 

pub struct FacetError {
    pub code: &'static str,
    pub component: &'static str,
    pub n: u32,
    pub message: String,
    pub codeberg_url: String,
}

A raised facett UI error — the typed carrier of a facet-<component>-<n> code + its human message + the codeberg source URL. Build it with facet_err!. It renders the message (red) plus the code (pink in debug), folds into state_json via FacetError::to_json, and reports Severity::Error.

Fields

code: &'static str

The stable code (facet-<component>-<n>).

component: &'static str

The component slug.

n: u32

The per-component number.

message: String

The human-readable message (UX unchanged; may carry runtime detail).

codeberg_url: String

The codeberg source URL for the component (resolved from the REGISTRY).

Implementations

impl FacetError

pub fn new( component: &'static str, n: u32, code: &'static str, message: impl Into<String>, ) -> Self

Construct from parts — normally called by facet_err!, which supplies the compile-time component/n/code. The codeberg URL is resolved from the REGISTRY (repo root if the code is not yet registered).

pub fn severity(&self) -> Severity

This error’s structural Severity — always Severity::Error (a raised FacetError is RED and fails the Robot-UI gate).

pub fn to_json(&self) -> Value

The observable JSON an error site folds into its pane’s state_json — the CODE (not just the message) so robot tests + consumers key off it: { code, component, n, message, codeberg_url, severity: "error" }.

pub fn reaction(&self) -> Option<Reaction>

The canonical Reaction a consumer must take for this error (Phase 2).

pub fn semantics(&self) -> Semantics

The a11y Semantics for this error — a Severity::Error atom carrying the code, so the Robot-UI gate reads the code straight off the AccessKit tree.

pub fn with_consumer_prefix( &self, prefix: impl Into<String>, ) -> MountedFacetError

Namespace this error with a CONSUMER mount-prefix. A facett component can be mounted in MULTIPLE places in a consuming app (korp mounts facet-map in both its cases and analysis modes), so the consumer prepends ITS OWN mount-prefix when it surfaces/reacts to a facett error: korp/cases:facet-map-2 vs korp/analysis:facet-map-2 — the SAME base facet code facet-map-2, two distinct mount points a robot test can pin apart.

The base facett code stays facet-<component>-<n>; the prefix is additive and applied only by the consumer (this is Phase-1 API that Phase-2 wires in).

pub fn render(&self, ui: &mut Ui) -> Response

Render the error into ui: the human message in the warm failure RED, then the CODE in code_color (clear pink in debug, subdued in release), and an AccessKit node carrying Severity::Error + the code. UX is unchanged (the message is always shown); the pink code is the added diagnostic stripe.

pub fn render_demo(&self, ui: &mut Ui) -> Response

Render for a SHOWCASE / catalog (the facett-demo error-code slide) — the SAME visual (message + pink code chip) as render, but the a11y atom is a neutral Severity::Info Label, NOT an Error. This is what a demonstration surface (which shows error codes on purpose, as a catalog) uses so it does NOT trip the Robot-UI HARD GATE or the deck error-atom net. A LIVE pane raising a real failure uses render.

Trait Implementations

impl Clone for FacetError

fn clone(&self) -> FacetError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FacetError

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

Formats the value using the given formatter.

impl Eq for FacetError

impl PartialEq for FacetError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FacetError