Struct EvalTrace 

pub struct EvalTrace {
    pub cell: String,
    pub formula: Option<String>,
    pub resolved_refs: Vec<(String, CellValue)>,
    pub dispatched_fn: Option<String>,
    pub operand_values: Vec<CellValue>,
    pub coercions: Vec<String>,
    pub short_circuited: Option<ExcelError>,
}

A per-cell evidence record the executor emits as it computes — the classifier consumes it as the deciding evidence for a mismatch. Owned and serde/schemars-clean.

Fields

cell: String

The cell_key (sheet!addr) this trace describes.

formula: Option<String>

The serialized Expr formula (a debug render); None for a literal.

resolved_refs: Vec<(String, CellValue)>

Each resolved ref/range-member key + the CellValue it carried in env.

dispatched_fn: Option<String>

The semantics::apply function name dispatched (when the cell is a Call).

operand_values: Vec<CellValue>

The materialized scalar/range-flattened operands fed to the function/leaf.

coercions: Vec<String>

Human-readable coercion notes.

short_circuited: Option<ExcelError>

The preflight error this cell short-circuited on, if any (D-04).

Trait Implementations

impl Clone for EvalTrace

fn clone(&self) -> EvalTrace

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvalTrace

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

Formats the value using the given formatter.

impl Default for EvalTrace

fn default() -> EvalTrace

Returns the “default value” for a type.

impl JsonSchema for EvalTrace

fn schema_name() -> Cow<'static, str>

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn inline_schema() -> bool

Whether JSON Schemas generated for this type should be included directly in parent schemas, rather than being re-used where possible using the $ref keyword.

impl Serialize for EvalTrace

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

where __S: Serializer,

Serialize this value into the given Serde serializer.