Struct CandidateAggregates 

pub struct CandidateAggregates {
    pub by_layer: Map<String, Value>,
    pub design_invariants: Vec<Value>,
    pub known_hazards: Vec<Value>,
    pub validation_scenarios_ledger: Vec<Value>,
    pub effects_summary: Vec<Value>,
    pub file_scores: Vec<FileScoreTuple>,
    pub top_sym_id: Option<String>,
    pub seen_inv: HashSet<String>,
}

Holds the six parallel collections built up by the per-candidate scan plus the top symbol id (driver for downstream BFS) and the seen_inv dedup set (threaded into the subsequent caller-invariant propagation pass so both invariant sources share one namespace).

Fields

by_layer: Map<String, Value>

design_invariants: Vec<Value>

known_hazards: Vec<Value>

validation_scenarios_ledger: Vec<Value>

effects_summary: Vec<Value>

file_scores: Vec<FileScoreTuple>

top_sym_id: Option<String>

seen_inv: HashSet<String>

Trait Implementations

impl Debug for CandidateAggregates

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

Formats the value using the given formatter.

impl Default for CandidateAggregates

fn default() -> Self

Returns the “default value” for a type.