Enum SemanticProvenance 

pub enum SemanticProvenance {
    Semantic,
    SemanticDiscovered,
}

The guess tag, appended LAST on every edge kind that can carry it. heuristic: true is set only on an edge a heuristic tier emitted and never writes heuristic: false, so this side pairs skip_serializing_if with default: absent == precise, and a precise edge’s bytes are exactly what they were before the tag existed. Only the resolver’s heuristic tiers set it today (both uses-member), but the flag lives on all three targeted kinds because the query layer’s heuristic adjacency is kind-keyed, so a future tier tagging a uses-type edge needs no schema change.

uses-member carries two more appended keys, tier then member, in that order and NOT mirrored onto the other two kinds: neither has a member to name, and no tier tags one today. tier splits the umbrella flag into the two tiers a reader can act on differently; member names the member the reference reads or calls and is written on every uses-member edge, precise ones included, because “which member” is a fact about the reference rather than about the guess. Both are omit-when-None, so a reader of the old shape sees only added keys.

Fills the slot this module’s Edge::UsesMember::source reserved: which of two disjoint populations a compiler-vouched edge belongs to. Semantic stands in place of whatever the ladder would have produced for the SAME reference the extractor already emitted (a per-reference override, one for one). SemanticDiscovered has no extractor reference at all – the site exists only because the admitted artifact named it – so it is never counted against the extractor-emitted population in edges_by_kind or the syntax-lane audit denominator; only the audit’s own tiers.semantic block reports it, and separately from Semantic.

Variants

Semantic

A same-context compiler fact confirmed or overrode the extractor’s own reference at that occurrence.

SemanticDiscovered

A compiler-verified occurrence the syntax extractor emitted no reference for.

Trait Implementations

impl Clone for SemanticProvenance

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SemanticProvenance

impl Debug for SemanticProvenance

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SemanticProvenance

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for SemanticProvenance

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for SemanticProvenance

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for SemanticProvenance