Struct UnusedStoreMemberFinding 

pub struct UnusedStoreMemberFinding {
    pub member: UnusedMember,
    pub actions: Vec<IssueAction>,
    pub introduced: Option<AuditIntroduced>,
    pub reachability_caveats: Vec<ReachabilityCaveat>,
}

Wire-shape envelope for an UnusedMember finding consumed under the unused_store_members key (a Pinia state / getters / actions key, or a setup-store returned key, declared but never accessed by any consumer project-wide). Same Rust struct as UnusedClassMemberFinding. Emits only a line-level suppress action: there is no safe auto-fix because a store member can be accessed reflectively (a Pinia plugin, store.$onAction, or dynamic dispatch) in ways syntactic analysis cannot see, so removal is a behavioral change the user must own.

Fields

member: UnusedMember

The underlying dead-code entry.

actions: Vec<IssueAction>

Suggested next steps. 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.

reachability_caveats: Vec<ReachabilityCaveat>

Advisory caveats on the verdict behind this finding. A store member’s usage is collected by the same reachability-free member-access walk a class member’s is, so it takes the member rule unchanged: any module this run analyzed incompletely can hold the access that credits it. Sorted, deduplicated, and omitted from the wire when empty. There is no mutation here to withhold, because a store member offers none on any surface; this is disclosure only, so a reader deciding by hand is told what the run did not see.

Implementations

impl UnusedStoreMemberFinding

pub fn with_actions(member: UnusedMember) -> UnusedStoreMemberFinding

Build the wrapper from a raw UnusedMember. Emits only a line-level suppress action (no auto-fix: store members can be accessed reflectively, so removal is never provably safe).

Trait Implementations

impl CaveatedFinding for UnusedStoreMemberFinding

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 UnusedStoreMemberFinding

fn clone(&self) -> UnusedStoreMemberFinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for UnusedStoreMemberFinding

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for UnusedStoreMemberFinding

fn deserialize<__D>( __deserializer: __D, ) -> Result<UnusedStoreMemberFinding, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for UnusedStoreMemberFinding

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 MutationEvidence for UnusedStoreMemberFinding

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 UnusedStoreMemberFinding

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

where __S: Serializer,

Serialize this value into the given Serde serializer.