Module graph_provider

Structs§

build_property_graph: Build the property graph from the proven graph_index extractor (#682.1).
open_best_effort: Open an already-built graph, kicking off a one-shot background build when the property graph is not fully populated so the next call is fast. Returns None on this call when nothing is ready yet. Best-effort callers (dashboards, context gate, stats, ctx_graph) use this; callers that need a graph right now use open_or_build, which builds synchronously instead.
open_or_build