Skip to main content

Module graph_enricher

lean_ctx::core

Module graph_enricher 

Source
Expand description

Unified Graph Enricher — indexes Git history, tests, and knowledge into the PropertyGraph.

Three enrichment passes:

  1. Git commits: git log → Commit nodes + changed_in edges
  2. Test files: naming/annotation heuristics → Test nodes + tested_by edges
  3. Knowledge bridge: ctx_knowledge facts → Knowledge nodes + mentioned_in edges

Structs§

CommitInfo
EnrichmentStats

Functions§

enrich_graph
index_git_history
index_knowledge
index_tests