Change and direct connections
Arrows are static relations from caller to target. This graph does not establish execution order.
Amber: changed declaration · White: connected declaration
Dashed arrow: before-only relation; inspect its freshness and coverage.
Dashed arrow: before-only relation; inspect its freshness and coverage.
Files and exact change ranges
Select a declaration
Before · pinned HEAD
After · saved snapshot
Claim, source anchors and authority
Coverage and verification
Tests were not executed. Direct consumers are verification candidates; a relation does not prove a failure or sufficient test coverage.
Analysis boundaries and failures
Retained evidence and live checkout
This offline report describes immutable captured bytes. It does not check the current checkout or refresh in the background.
Check live freshness explicitly: