Enum LowerDiagnosticCategoryV2 

pub enum LowerDiagnosticCategoryV2 {
    PlanValidation,
    TargetMismatch,
    SourcePayloadMismatch,
    BoundaryBinding,
    DagShape,
    UnsupportedIntent,
    PolicyConflict,
    SpecValidation,
    InternalInvariant,
}

Structured categories for v2 lowering diagnostics.

Variants

PlanValidation

The authored source contract failed pre-lowering validation.

TargetMismatch

The requested lowering target did not match the authored target.

SourcePayloadMismatch

The authored source payload did not match the selected target.

BoundaryBinding

Boundary bindings did not reference the required ingress or egress shapes.

DagShape

The authored DAG or topology shape is not accepted by lowering.

UnsupportedIntent

The authored lane intent or option is not supported by the lowering target.

PolicyConflict

The authored runtime policy combinations conflict.

SpecValidation

The lowered spec failed canonical validation.

InternalInvariant

An internal lowering invariant failed.

Trait Implementations

impl Clone for LowerDiagnosticCategoryV2

fn clone(&self) -> LowerDiagnosticCategoryV2

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LowerDiagnosticCategoryV2

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for LowerDiagnosticCategoryV2

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for LowerDiagnosticCategoryV2

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for LowerDiagnosticCategoryV2

impl Eq for LowerDiagnosticCategoryV2

impl StructuralPartialEq for LowerDiagnosticCategoryV2