Enum AnaLowerError 

pub enum AnaLowerError {
    Unsupported(&'static str),
    NoAnalogRegion,
    UnboundedInput(String),
    UnloweredOp(String),
    ExactnessUnprovable {
        eps_math: f64,
    },
    ContradictoryContract {
        var: String,
        lo: f64,
        hi: f64,
    },
    ConvergenceUnprovable {
        reason: String,
    },
    ThermalModelDisconnected,
    ThermalBudgetExceeded {
        node: usize,
        tier: usize,
        t_junction_c: f64,
        t_max_c: f64,
        cooling: &'static str,
    },
    ResidualExceedsBudget {
        linf: f64,
        required: f64,
    },
    Unplaceable(AnaUnplaceable),
}

Why the analog tier declines a program — a SOUND refusal, never wrong silicon.

Variants

Unsupported(&'static str)

The program uses an op outside the mixed-signal SoC model (concurrency / networking).

NoAnalogRegion

The program has no float dataflow to map onto the analog plane.

UnboundedInput(String)

Float dataflow is present but an input has no declared range — refused, because gain scaling without bounds would be a guess.

UnloweredOp(String)

An op inside the region has no witnessed analog tile — a named lowering gap, never a silent drop.

ExactnessUnprovable

The integer lane’s exactness proof failed: the error budget reaches or exceeds half an integer grid step, so the rounded readout cannot be guaranteed to be the VM’s integer. Shrink the ranges/depth, use more converter bits, or calibrate.

Fields

eps_math: f64

ContradictoryContract

A declared range is empty (lo > hi) — no value can satisfy it, so no scaling or certificate built on it can mean anything. Refused for bare and dimensioned contracts alike (the runtime twin simply fires the impossible assert when reached).

Fields

var: String

lo: f64

hi: f64

ConvergenceUnprovable

The relaxation lane’s admission gate: no cited convergence theorem covers this system (asymmetric, indefinite, malformed) — refused, never settled into a wrong answer.

Fields

reason: String

ThermalModelDisconnected

The stack’s thermal network has heat with nowhere to go (a floating island / no cooling boundary) — no steady state exists, so no temperature map is emitted.

ThermalBudgetExceeded

The CERTIFIED temperature map’s hottest junction exceeds the stack’s declared cooling budget — the same program may compile under a stronger cooling class; under this one it refuses. “Meets its budget under forced-air cooling, proven” is the checker’s verdict, not the producer’s word.

Fields

node: usize

tier: usize

t_junction_c: f64

t_max_c: f64

cooling: &'static str

ResidualExceedsBudget

The settled answer’s EXACT residual exceeds the demanded certificate budget — the run is under-settled (or the demand unrealistic); no certificate is emitted.

Fields

linf: f64

required: f64

Unplaceable(AnaUnplaceable)

The netlist cannot be realized on the requested target.

Trait Implementations

impl Clone for AnaLowerError

fn clone(&self) -> AnaLowerError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnaLowerError

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

Formats the value using the given formatter.

impl Display for AnaLowerError

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

Formats the value using the given formatter.

impl Error for AnaLowerError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.

impl PartialEq for AnaLowerError

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