Enum SymbolicTruncationReason 

pub enum SymbolicTruncationReason {
    ElementCount,
    OutputBytes,
    ItemDepth,
    ItemRevisits,
    ItemCycle,
}

Which bound stopped an extraction early.

SymbolicData had no diagnostics channel at all (#2938), so a drawing that lost 60% of its curves was indistinguishable, in the response, from one that legitimately had nothing more to emit.

The reason matters as much as the fact. #2938’s own lead case is a well-formed nested block import losing content to the PER-ITEM revisit budget while the whole-file totals sit far below the extraction bounds – so a diagnostic that only reported the extraction bounds would have reported nothing on the exact scenario the issue is about.

Variants

ElementCount

[MAX_SYMBOLIC_ELEMENTS] reached.

OutputBytes

[MAX_SYMBOLIC_BYTES] reached.

ItemDepth

One representation item nested deeper than the walk follows.

ItemRevisits

One representation item exhausted its revisit budget: the item was a large acyclic fan-out, or a legitimate deeply-nested block import.

ItemCycle

The walk’s path guard (ItemWalk::enter_node) refused to re-enter a node already on the current path – a genuine cycle in the representation graph, not merely a large fan-out. Distinct from Self::ItemRevisits, whose budget can also be exhausted by an acyclic file (#2938’s lead case); this reason is a cycle and nothing else (#3108).

Implementations

impl SymbolicTruncationReason

pub fn as_wire_str(self) -> &'static str

The wire spelling, identical to what Serialize emits.

The WASM boundary cannot hand a serde enum to JavaScript, so it needs a plain string; having it here rather than a match in wasm-bindings keeps one vocabulary for both surfaces. the_wire_spellings_match_serde pins them together, because two hand-kept lists is how they drift.

Trait Implementations

impl Clone for SymbolicTruncationReason

fn clone(&self) -> SymbolicTruncationReason

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SymbolicTruncationReason

impl Debug for SymbolicTruncationReason

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SymbolicTruncationReason

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for SymbolicTruncationReason

impl PartialEq for SymbolicTruncationReason

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for SymbolicTruncationReason

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SymbolicTruncationReason