feat: report refresh phase progress telemetry (Fixes #479)

[Karthik Nadig (karthiknadig)]

Summary

• expose a refreshId in refresh results for operation correlation
• emit started/completed telemetry for locators, PATH, global virtualenvs, and workspaces
• include per-locator start/completion timing without paths or environment data
• preserve one operation ID for concurrent identical refresh requests
• document and test the JSON-RPC telemetry payload

Validation

• cargo test -p pet-core
• cargo test -p pet-reporter refresh_progress_serializes_privacy_safe_fields
• cargo test -p pet --test jsonrpc_server_test
• cargo test -p pet refresh_progress_reports_phases_and_locator_timing
• .\scripts\rust-precommit.ps1

Fixes #479

[github-actions]

Performance Report (Linux) ➖

Metric	PR (P50)	PR (P95)	Baseline (P50)	Delta	Change
Server Startup	1ms	1ms	0ms	1ms	N/A%
Full Refresh	50ms	624ms	50ms	0ms	0%

Results based on 10 iterations. P50 = median, P95 = 95th percentile.

---

Legend

• 🚀 Significant speedup (>100ms faster)
• ✅ Faster than baseline
• ➖ No significant change
• 🔺 Slower than baseline (>100ms)
• ⚠️ Significant slowdown (>500ms)

[github-actions]

Performance Report (macOS)

Metric	PR (P50)	PR (P95)	Baseline (P50)	Delta
Server Startup	89ms	16868ms	119ms	-30ms
Full Refresh	227ms	30352ms	282ms	-55ms

Results based on 10 iterations. P50 = median, P95 = 95th percentile.

---

Legend

• 🚀 Significant speedup (>100ms faster)
• ✅ Faster than baseline
• ➖ No significant change
• 🔺 Slower than baseline (>100ms)
• ⚠️ Significant slowdown (>500ms)

[github-actions]

Performance Report (Windows) ➖

Metric	PR (P50)	PR (P95)	Baseline (P50)	Delta	Change
Server Startup	8ms	12ms	9ms	-1ms	-11.1%
Full Refresh	154ms	1512ms	137ms	17ms	12.4%

Results based on 10 iterations. P50 = median, P95 = 95th percentile.

---

Legend

• 🚀 Significant speedup (>100ms faster)
• ✅ Faster than baseline
• ➖ No significant change
• 🔺 Slower than baseline (>100ms)
• ⚠️ Significant slowdown (>500ms)

[github-actions]

Test Coverage Report (Linux)

Metric	Value
Current Coverage	80.5%
Base Branch Coverage	80.4%
Delta	.1% ✅

---

Coverage increased! Great work!

[github-actions]

Test Coverage Report (Windows)

Metric	Value
Current Coverage	77.4%
Base Branch Coverage	77.19%
Delta	0.21% ✅

---

Coverage increased! Great work!

[Copilot]

Pull request overview

This PR adds privacy-safe refresh progress telemetry to PET’s JSON-RPC refresh flow so timeouts can be diagnosed by identifying which major phase (and which locator within the locator phase) was running when a refresh was interrupted. It introduces a refreshId for correlating refresh results and progress events, and updates documentation and tests to validate payload shape and privacy constraints.

Changes:

• Add refreshId to the refresh result for correlation across refresh responses and progress telemetry.
• Emit RefreshProgress telemetry (started/completed) for the major refresh phases and per-locator timing within the locators phase.
• Document and test the JSON-RPC telemetry payload, including field casing and ensuring no path/environment data is included.

Show a summary per file

File	Description
docs/JSONRPC.md	Documents refreshId in refresh results and the RefreshProgress telemetry payload shape and privacy guarantees.
crates/pet/src/jsonrpc.rs	Generates refreshId, includes it in refresh results, and passes it into refresh discovery for progress reporting.
crates/pet/src/find.rs	Implements RefreshProgress emission for phase start/complete and per-locator start/complete with elapsed timings.
crates/pet-core/src/telemetry/mod.rs	Adds the RefreshProgress telemetry event variant and event name mapping.
crates/pet-core/src/telemetry/refresh_progress.rs	Defines the telemetry model (RefreshProgress, phase/status enums) with camelCase serialization.
crates/pet-reporter/src/jsonrpc.rs	Adds serialization test ensuring RefreshProgress payload is camelCase and privacy-safe.
crates/pet/tests/jsonrpc_client.rs	Extends test client to deserialize refreshId and to filter/wait for telemetry events by name.
crates/pet/tests/jsonrpc_server_test.rs	Updates JSON-RPC integration tests to validate RefreshPerformance and RefreshProgress counts and refreshId correlation + privacy checks.
crates/pet/src/lib.rs	Updates find_and_report_envs call sites for the new optional refresh_id parameter.
crates/pet/tests/ci_test.rs	Updates find_and_report_envs call sites for the new optional refresh_id parameter.
crates/pet/tests/ci_poetry.rs	Updates find_and_report_envs call sites for the new optional refresh_id parameter.
crates/pet/tests/ci_jupyter_container.rs	Updates find_and_report_envs call sites for the new optional refresh_id parameter.
crates/pet/tests/ci_homebrew_container.rs	Updates find_and_report_envs call sites for the new optional refresh_id parameter.

Review details

• Files reviewed: 13/13 changed files
• Comments generated: 0
• Review effort level: Low