Enum EngineStatus 

pub enum EngineStatus {
    Ok,
    DegradedTimeout,
    DegradedError,
}

v0.7-α2 Phase 2D(ADR 0016 Fail-Closed Bottom Line):模型路径执行状态。

caller 通过 BudgetedScanOutcome::status 拿到本枚举,用于审计 ledger 标记(decision_id = model_path_degraded)与 UI 展示退化原因。

Variants

Ok

模型路径在 budget 内成功完成;findings 含 Hard + Model 完整合并

DegradedTimeout

模型路径超 budget(timeout);退化到 Hard-only,findings 缺 Model 增强语义 (Hard 路径继续守 secret 类,fail-closed 不变量保留)

DegradedError

模型路径返 crate::engine::EngineError;同样退化到 Hard-only。 字段为 stringified reason(诊断用,reason 不含 input 内容)

Trait Implementations

impl Clone for EngineStatus

fn clone(&self) -> EngineStatus

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for EngineStatus

impl Debug for EngineStatus

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

Formats the value using the given formatter.

impl Eq for EngineStatus

impl From<EngineStatus> for EngineStatusReport

fn from(s: EngineStatus) -> EngineStatusReport

Converts to this type from the input type.

impl PartialEq for EngineStatus

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