vscode: clearer Proof Jobs view, proving status bar item, finish notices

[0xGeorgii]

Stacked on #520; this is PR 2 of 3. Review this diff alone. When #520 merges, GitHub retargets this PR to main.

Why

From the #519 test:

• Job rows were named after the uploaded .v, showed uncoloured icons and raw statuses, and used a plain-text tooltip.
• Some menus offered the wrong actions: Certificate on failed or canceled jobs, Run Again on Lost.
• The list polled every 10 s even when idle, and gave no word when a job finished.
• The toolchain status bar item turned red while proving worked ([FAIL] Platform with a custom inference.path).

Change

Proof Jobs view

• Rows are named after the source .inf and read like Verified · 15/15 · 2h ago. Icons are coloured codicons, and the tooltip is Markdown. The wording comes from the same jobVerdict as the panel.
• Jobs are grouped into "In progress" and "Finished" while something runs; the list is flat when filtered.
• The filter uses plain names, grouped by in progress and finished. The new Show All Proof Jobs command clears it.
• Error rows are actionable: a rejected key opens Set API Key, a network error retries, and a bad server URL opens the setting.
• Menus follow the server's rules:
  • Open in Portal is on every job, and opens the certificate tab only for runs that can carry one.
  • Run Again is not offered on Lost (the server re-queues it), while Delete is.
  • The view title gains Prove This File and the key commands.
• Polling adapts:
  • every 5 s right after a submit;
  • every 10 s while jobs are running, even when the view is hidden;
  • every 60 s when idle and visible;
  • off when idle and hidden;
  • with backoff on errors.

Status bar

• A proving item shows the running job and its progress (or Proving 2), then the last result. Clicking it opens the job.
• A watched job that finishes triggers a notification with Open, plus Run Again for failures. No notification appears when the job's panel is already in front.
• When the doctor reports a failure but infs still resolves a working infc, the toolchain item shows a warning instead of an error. The Configuration view and the log say "works with issues".

Verification

In node:24: typecheck, 492 tests and the grammar tests pass. New tests cover:

• relativeTime, describeJob, pollDelay and finishedJobs;
• the proving status state;
• the degraded toolchain health;
• the menu matrix (manifest test) and the 25-command schema.

Risk

The job list keeps loading in the background while jobs are running (needed for the status item and notifications), and stops when nothing is running and the view is hidden. jobStatusLabel and jobStatusIconId were removed; their callers now use listVerdict.

🤖 Generated with Claude Code

Confidence Score: 5/5

The PR appears safe to merge; no actionable issue remains from this review.

Diagram

%%{init: {'theme': 'neutral'}}%%
flowchart TD
    A[Refresh jobs] --> B[Load newest page]
    B --> C[Re-read older active jobs]
    C --> D{Read result}
    D -->|Success| E[Use updated job]
    D -->|404| F[Drop deleted job]
    D -->|Other error| G[Keep last known job]
    E --> H[Update tracking]
    F --> H
    G --> H
    H --> I[Update status and finish notices]
    H --> J[Choose next polling delay]

Loading

_{Reviews (6) · Last reviewed commit: "vscode: keep tracking a running job when..." · Reviewed by Greptile}

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!