Explore pull request stats and agent effort

Engineering teams can now explore pull request delivery alongside coding-session activity in Sessions → Summary. PR stats count pull requests merged in the selected period, while effort includes all recorded work from their linked sessions, including work done before that period.

Hover over a time point to inspect the Summary charts together, or click to pin it while you compare. Separate coverage for turns and tokens shows which PRs have measurements, and the PR list lets you inspect the measured or unavailable subset.

For pull requests that have no linked session, open the review sheet to link contributing sessions or dismiss the PR. Dismissed pull requests remain available in the Dismissed view if you want to link them later.