Struct TypeAwareMeta 

pub struct TypeAwareMeta {

    pub identity: Option<SemanticAnalysisIdentity>,
    pub required_completeness: Option<SemanticCompletenessRequirement>,
    pub queries: Vec<SemanticQuerySummary>,
    pub candidate_decisions: Vec<SemanticCandidateDecision>,
    pub symbol_traces: Vec<SemanticSymbolTrace>,
    pub api_surface: Option<ApiSurfaceResult>,
    pub symbol_impacts: Vec<SemanticSymbolImpact>,
    pub type_coupling: Option<TypeCouplingReport>,
    pub executed: bool,
    pub protocol_version: u32,
    pub sidecar_version: Option<String>,
    pub backend: String,
    pub backend_version: Option<String>,
    pub selected_tsconfigs: Vec<String>,
    pub candidate_count: usize,
    pub confirmed_used_count: usize,
    pub contract_preserved_count: usize,
    pub no_static_references_count: usize,
    pub fix_eligible_count: usize,
    pub unresolved_count: usize,
    pub abstained_count: usize,
    pub abstention_reasons: TypeAwareAbstentionCounts,
    pub projects: Vec<TypeAwareProjectMeta>,
    pub warning_count: usize,
    pub warnings: Vec<String>,
    pub elapsed_ms: u64,
    pub phase_timings_ms: TypeAwarePhaseTimings,
}

Bounded provenance emitted when the opt-in type-aware pass runs.

Fields

identity: Option<SemanticAnalysisIdentity>

Compatibility identity used by audit, baselines, snapshots, and stores.

required_completeness: Option<SemanticCompletenessRequirement>

Effective CLI or repository policy for incomplete semantic evidence.

queries: Vec<SemanticQuerySummary>

Compact status for every requested semantic query.

candidate_decisions: Vec<SemanticCandidateDecision>

Bounded decision and evidence for each semantic dead-code candidate.

symbol_traces: Vec<SemanticSymbolTrace>

Checker-backed trace evidence requested by focused symbol queries.

api_surface: Option<ApiSurfaceResult>

Package-public surface and confirmed private type leaks.

symbol_impacts: Vec<SemanticSymbolImpact>

Exact-symbol blast radius and targeted-test recommendations.

type_coupling: Option<TypeCouplingReport>

Advisory project-local public-signature coupling.

executed: bool

Whether the semantic companion executed at least one query.

protocol_version: u32

Version of Fallow’s backend-neutral sidecar protocol.

sidecar_version: Option<String>

Version of the sidecar package that executed the query.

backend: String

Semantic backend capability identifier.

backend_version: Option<String>

Backend compiler or engine version that executed the query.

selected_tsconfigs: Vec<String>

TypeScript project configs selected for candidate files.

candidate_count: usize

Number of candidate findings sent to the sidecar.

confirmed_used_count: usize

Number of candidates confirmed as used and removed.

contract_preserved_count: usize

Number of candidates preserved because they implement or override a contract.

no_static_references_count: usize

Number of candidates with complete, closed-world no-static-reference evidence.

fix_eligible_count: usize

Number of retained class members eligible for a guarded type-aware fix.

unresolved_count: usize

Number of candidates retained because semantic use was unresolved.

abstained_count: usize

Number of candidates retained because semantic analysis abstained.

abstention_reasons: TypeAwareAbstentionCounts

Stable abstention reason counts for automation and diagnostics.

projects: Vec<TypeAwareProjectMeta>

Per-project semantic refinement status and evidence.

warning_count: usize

Number of bounded warnings returned by the sidecar.

warnings: Vec<String>

Bounded semantic warnings. Findings mentioned here were retained.

elapsed_ms: u64

Semantic pass duration as reported by the sidecar.

phase_timings_ms: TypeAwarePhaseTimings

Bounded semantic phase timings reported by the sidecar.

Trait Implementations

impl Clone for TypeAwareMeta

fn clone(&self) -> TypeAwareMeta

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeAwareMeta

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

Formats the value using the given formatter.

impl Default for TypeAwareMeta

fn default() -> TypeAwareMeta

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for TypeAwareMeta

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for TypeAwareMeta

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

where __S: Serializer,

Serialize this value into the given Serde serializer.