Skip to main content

Module graph_parity

Module graph_parity 

Source
Expand description

Shadow-mode parity harness (#682.3): prove the PropertyGraph reproduces everything graph_index exposes through the GraphProvider facade — symbols, edges and structural dependencies — before any backend flip (#682.4) relies on PG.

The mirror (populate_from_project_index) sources PG from the very ProjectIndex that graph_index produces, so equivalence is expected by construction. This harness is the executable proof and the regression gate that it stays so: it asserts PG loses nothing graph_index exposed (exact counts + inventory + symbol lookups, and a structural-edge / dependency superset — PG may legitimately expose more, never less).

Structs§

ParityReport
Quantified comparison of PropertyGraph vs graph_index facade output.

Functions§

compare
Build an in-memory PropertyGraph from index and compare it, through the shared GraphProvider facade, against the same index served as graph_index. Pure in-memory — no disk, no rescan.
format_report
Render a ParityReport as a compact, deterministic text block.