Struct FileFacts 

pub struct FileFacts {
    pub file: String,
    pub content_hash: String,
    pub has_syntax_errors: bool,
    pub nodes: Vec<Node>,
    pub contains: Vec<Edge>,
    pub references: Vec<Reference>,
    pub locals: Vec<LocalBinding>,
    pub fields: Vec<FieldBinding>,
    pub embeds: Vec<Embed>,
    pub trait_impls: Vec<TraitImpl>,
    pub scopes: Vec<(NodeId, CorpusScope)>,
    pub body_terms: Vec<(NodeId, Vec<String>)>,
}

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.

Fields

file: String

Repo-relative path.

content_hash: String

blake3 of the source bytes, hex.

has_syntax_errors: bool

Tree-sitter reported syntax errors; facts are best-effort partial.

nodes: Vec<Node>

File node plus every definition, content-bearing.

contains: Vec<Edge>

Structural containment edges (Certain).

references: Vec<Reference>

Reference sites: calls, imports. Resolution input.

locals: Vec<LocalBinding>

Local bindings that shadow outer names. Resolution suppression input.

fields: Vec<FieldBinding>

Declared field types for field-receiver resolution.

embeds: Vec<Embed>

Type embeddings (promoted members). Resolution lookup input.

trait_impls: Vec<TraitImpl>

Trait-impl blocks. Dynamic-dispatch edge input.

scopes: Vec<(NodeId, CorpusScope)>

Node-level scope overrides (sparse): nodes whose role differs from their file’s path-derived scope, e.g. a Rust #[cfg(test)] module’s members or a @generated header’s file node.

body_terms: Vec<(NodeId, Vec<String>)>

Body-only identifier words per function/method (sparse): words the body uses that the name, signature, and doc do not. Ranking evidence for concept-phrased questions.

Trait Implementations

impl Clone for FileFacts

fn clone(&self) -> FileFacts

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FileFacts

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for FileFacts

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for FileFacts

impl PartialEq for FileFacts

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FileFacts

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 FileFacts