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§
- Parity
Report - Quantified comparison of PropertyGraph vs graph_index facade output.
Functions§
- compare
- Build an in-memory PropertyGraph from
indexand compare it, through the sharedGraphProviderfacade, against the same index served as graph_index. Pure in-memory — no disk, no rescan. - format_
report - Render a
ParityReportas a compact, deterministic text block.