Enum StepBodyError 

pub enum StepBodyError {
    Text(String),
    Refused(KernelRefusal),
}

Why one body did not import: the builders’ legacy text, or a TYPED refusal from the one gate that mints one today, the shell-closure gate (builder/closure.rs). The class rides to the feature boundary through import_step_bodies; every other producer inside the importer still returns text and is preserved verbatim (typed-refusal plan, item 1).

Variants

Text(String)

Refused(KernelRefusal)

Implementations

impl StepBodyError

pub fn message(&self) -> &str

The human text either way — the refusal’s own message, verbatim.

pub fn closure_refusal(&self) -> bool

Whether this is the shell-closure gate’s refusal (RefusalClass::UnsoundResult { defect: SoundnessDefect::VectorArea }, builder/closure.rs): the one typed class the body lanes treat as a REFUSED body rather than a body that failed to build. Every other producer that went typed on 2026-10-03 (the pinched-vertex split, the BREP_WITH_VOIDS certifications, the post-build validation) keeps the outcome its text had: counted in failed, skipped on an opportunistic surface-model sheet, never a whole-file refusal.

pub fn with_context(self, f: impl FnOnce(&str) -> String) -> Self

The same error with its text rewritten by f, the class untouched.

Trait Implementations

impl Clone for StepBodyError

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StepBodyError

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

Formats the value using the given formatter.

impl Display for StepBodyError

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

Formats the value using the given formatter.

impl From<&str> for StepBodyError

fn from(text: &str) -> Self

Converts to this type from the input type.

impl From<KernelRefusal> for StepBodyError

fn from(refusal: KernelRefusal) -> Self

Converts to this type from the input type.

impl From<String> for StepBodyError

fn from(text: String) -> Self

Converts to this type from the input type.

impl PartialEq for StepBodyError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StepBodyError