Crate sinter_core 

Structs

Edge

Directed edge src -> dst. The graph is a multigraph: parallel edges that differ in relation, evidence, or confidence coexist.

Embed

A type embedding another (Go embedded struct field): member lookup on the owner falls through to the embedded type. Lookup fact, not an edge.

FieldBinding

A declared field and its written type. Resolution uses this fact for receiver chains such as self.harness.check() without pretending that the field access itself is a symbol definition.

FileFacts

Everything extraction produces for one file. Content-addressed: the hash is the incrementality key — same bytes, same facts. The persisted set of FileFacts is the source of truth every derived table rebuilds from.

Graph

Directed multigraph over typed nodes.

LocalBinding

A local binding (parameter, let/const, loop variable, catch variable) that shadows outer names. Not a symbol — recorded so resolution never binds a shadowed reference to the outer definition it no longer means.

Node

A symbol with enough content that a query result saves the consumer a file read: signature, doc comment, and exact byte span.

NodeId

Identifier of a graph node.

Reference

A use of a name that extraction saw but has not bound to a definition.

Span

Byte range of a symbol in its source file. end is exclusive; a valid span has end > start.

SymbolKey

A declaration handle that is independent of byte offsets.

TraitImpl

An impl block naming the trait it implements (impl Runner for Widget). Pairing fact for dynamic-dispatch edges: methods defined inside span implement the same-named methods of the trait trait_name resolves to.

UnresolvedReference

Persisted unresolved outcome: the reference plus the coverage context that produced the miss.

Enums

Confidence

CorpusScope

Repository role of a source file and every graph node declared in it.

Evidence

What binds this edge to its target (R2: evidence or nothing). Global name uniqueness is not evidence and has no variant here.

GraphError

Relation

SymbolKind

UnresolvedReason

Why a reference remained outside the graph. These are deliberately outcome descriptions, not guesses at a compiler diagnostic.

Functions

rel_display

Render a repo-relative path with / separators on every platform.