Struct UnusedFileFinding 

pub struct UnusedFileFinding {
    pub file: UnusedFile,
    pub actions: Vec<IssueAction>,
    pub introduced: Option<AuditIntroduced>,
    pub reachability_caveats: Vec<ReachabilityCaveat>,
}

Wire-shape envelope for an UnusedFile finding. The bare finding flattens in via #[serde(flatten)], with a typed actions array populated at construction time and the audit-pass introduced flag attached as an optional sibling.

Fields

file: UnusedFile

The underlying dead-code entry.

actions: Vec<IssueAction>

Suggested next steps: a delete-file primary and a suppress-file secondary. Always emitted (possibly empty for forward-compat).

introduced: Option<AuditIntroduced>

Set by the audit pass when this finding is introduced relative to the merge-base. None when serialized directly from Rust.

reachability_caveats: Vec<ReachabilityCaveat>

Advisory caveats on the reachability verdict behind this finding. Sorted, deduplicated, and omitted from the wire when empty, so a run that analyzed every discovered file is byte-identical. Never gates the finding or the delete-file action, though fallow fix does withhold the removal of a caveated finding as low confidence.

Implementations

impl UnusedFileFinding

pub fn with_actions(file: UnusedFile) -> Self

Build the wrapper from a raw UnusedFile, computing the typed actions array inline. introduced stays None and is set later by annotate_dead_code_json if the audit pass runs.

Trait Implementations

impl CaveatedFinding for UnusedFileFinding

fn set_reachability_caveats(&mut self, caveats: Vec<ReachabilityCaveat>)

Store caveats and downgrade every mutating action the gate now withholds. The field itself stays pub (a renderer test builds an already-caveated fixture directly, without running the annotation pass); every non-test writer goes through this setter instead of the field so the downgrade travels with the write.

impl Clone for UnusedFileFinding

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 UnusedFileFinding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UnusedFileFinding

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl MutationEvidence for UnusedFileFinding

fn reachability_caveats(&self) -> &[ReachabilityCaveat]

The advisory caveats recorded on the reachability verdict behind this finding. Empty when the run analyzed every file it discovered.

fn may_auto_apply_mutation(&self) -> bool

Whether this finding’s mutation may be applied without a human first being told the evidence is incomplete. THE gate: never re-derive it, never widen it per surface.

impl Serialize for UnusedFileFinding

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

where __S: Serializer,

Serialize this value into the given Serde serializer.