Struct DeadCodeAuditLedger 

pub struct DeadCodeAuditLedger { /* private fields */ }

Exhaustive dead-code comparison ledger shared by audit verdict and output.

Implementations

impl DeadCodeAuditLedger

pub fn records(&self) -> &[AuditFindingRecord]

Classified findings in deterministic output order.

pub const fn keys(&self) -> &FxHashSet<String>

Stable current-run key set for cache snapshots and graph hashes.

pub fn introduced_count(&self) -> usize

Number of visible findings introduced since the base snapshot.

pub fn visible_count(&self) -> usize

Number of findings whose effective severity is not off.

pub fn inherited_count(&self) -> usize

Number of visible findings inherited from the base snapshot.

pub fn has_introduced_errors(&self) -> bool

Whether an introduced finding has effective error severity.

pub fn has_introduced_warnings(&self) -> bool

Whether an introduced finding has effective warning severity.

pub fn demote_unattributable_introductions( &mut self, head_syntactic: &FxHashSet<String>, )

Demote introduced findings that have no syntactic counterpart in the current head run to inherited (advisory) status.

Used by the audit’s degraded type-aware path: when base and head semantic identities cannot be compared, attribution diffs the pre-refinement syntactic key sets. A head finding absent from its own syntactic set exists only because of semantic evidence and cannot be attributed against a syntactic base, so it must not fail the new-only gate. Findings present syntactically keep their classification, so a genuinely new syntactic finding still gates.

pub fn annotate_results(&self, results: &mut AnalysisResults)

Persist comparison membership into existing typed output fields.

StaleSuppression is the sole legacy finding without a typed introduced slot. Its serializer keeps a narrow stable-key fallback.

Trait Implementations

impl Clone for DeadCodeAuditLedger

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DeadCodeAuditLedger

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

Formats the value using the given formatter.

impl Default for DeadCodeAuditLedger

fn default() -> Self

Returns the “default value” for a type.