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>,
}

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.

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<(), Error>

Formats the value using the given formatter.

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

fn deserialize<__D>( __deserializer: __D, ) -> Result<FileFacts, <__D as Deserializer<'de>>::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 as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FileFacts