@lincoln504/pi-research 1.3.11 → 1.4.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (83) hide show
  1. package/README.md +2 -2
  2. package/dist/cli.mjs +5558 -4596
  3. package/dist/prompts/research-tool-usage.md +1 -1
  4. package/dist/prompts/researcher.md +1 -0
  5. package/dist/prompts/system-coordinator.md +1 -1
  6. package/dist/prompts/system-lead-router.md +122 -0
  7. package/dist/prompts/system-lead-synthesizer.md +46 -0
  8. package/dist/thread-worker.mjs +123 -30
  9. package/docs/ARCHITECTURE.md +69 -24
  10. package/docs/CHANGELOG.md +215 -0
  11. package/docs/CONFIGURATION.md +108 -8
  12. package/package.json +19 -11
  13. package/scripts/build.cjs +8 -1
  14. package/scripts/cleanup.cjs +26 -5
  15. package/scripts/setup.cjs +25 -1
  16. package/skills/pi-research/SKILL.md +1 -1
  17. package/src/cli.ts +41 -2
  18. package/src/config.ts +12 -8
  19. package/src/constants.ts +1 -1
  20. package/src/core/interfaces/observer-interfaces.ts +3 -3
  21. package/src/core/interfaces/orchestration-interfaces.ts +2 -0
  22. package/src/core/interfaces/planning-interfaces.ts +7 -1
  23. package/src/core/interfaces/scheduler-interfaces.ts +18 -2
  24. package/src/core/llm/agentic-repair.ts +7 -2
  25. package/src/core/llm/inject-date.ts +4 -1
  26. package/src/core/llm/llm-utils.ts +7 -0
  27. package/src/core/planning-service.ts +719 -91
  28. package/src/core/planning-utils.ts +21 -5
  29. package/src/core/service-initialization.ts +19 -3
  30. package/src/core/service-registry.ts +19 -3
  31. package/src/healthcheck/index.ts +11 -2
  32. package/src/index.ts +4 -3
  33. package/src/infrastructure/browser/browser-client.ts +68 -34
  34. package/src/infrastructure/browser/browser-task-scheduler.ts +220 -34
  35. package/src/infrastructure/browser/config.ts +77 -6
  36. package/src/infrastructure/browser/priority-task-queue.ts +55 -1
  37. package/src/infrastructure/browser/scheduler-factory.ts +12 -1
  38. package/src/infrastructure/browser/task-execution-service.ts +17 -7
  39. package/src/infrastructure/browser/thread-worker-browser.ts +66 -20
  40. package/src/infrastructure/browser/thread-worker-messaging.ts +38 -6
  41. package/src/infrastructure/browser/thread-worker.mjs +123 -30
  42. package/src/infrastructure/browser/thread-worker.ts +2 -2
  43. package/src/infrastructure/browser/worker-pool-manager.ts +127 -12
  44. package/src/infrastructure/embedding/embedding-client.ts +14 -4
  45. package/src/infrastructure/embedding/embedding-factory.ts +83 -15
  46. package/src/infrastructure/file-lock-service.ts +214 -19
  47. package/src/infrastructure/gpu-resource-service.ts +15 -1
  48. package/src/infrastructure/knowledge-store-service.ts +14 -0
  49. package/src/infrastructure/research-run-semaphore.ts +1 -1
  50. package/src/infrastructure/service-initialization.ts +7 -0
  51. package/src/knowledge/embedder-init.ts +60 -18
  52. package/src/knowledge/store.ts +11 -5
  53. package/src/logger.ts +11 -0
  54. package/src/orchestration/deep-research-orchestrator.ts +141 -87
  55. package/src/orchestration/quick-research-orchestrator.ts +11 -2
  56. package/src/orchestration/research-orchestration-service.ts +30 -1
  57. package/src/orchestration/research-synthesis-service.ts +53 -1
  58. package/src/orchestration/researcher-executor.ts +53 -2
  59. package/src/orchestration/researcher.ts +15 -2
  60. package/src/prompts/research-tool-usage.md +1 -1
  61. package/src/prompts/researcher.md +1 -0
  62. package/src/prompts/system-coordinator.md +1 -1
  63. package/src/prompts/system-lead-router.md +122 -0
  64. package/src/prompts/system-lead-synthesizer.md +46 -0
  65. package/src/sdk.ts +10 -1
  66. package/src/security/nvd-client.ts +55 -4
  67. package/src/security/osv-client.ts +13 -1
  68. package/src/tools/research-knowledge-search.ts +29 -4
  69. package/src/tools/scrape.ts +6 -0
  70. package/src/tools/search.ts +7 -0
  71. package/src/tools/security.ts +27 -9
  72. package/src/tools/stackexchange.ts +13 -7
  73. package/src/tools/youtube-transcript.ts +26 -12
  74. package/src/utils/cancellation.ts +36 -0
  75. package/src/utils/coverage-digest.ts +204 -0
  76. package/src/utils/llm-usage.ts +33 -6
  77. package/src/utils/log-utils.ts +16 -1
  78. package/src/utils/metrics-summary.ts +20 -4
  79. package/src/utils/metrics.ts +27 -1
  80. package/src/web-research/browser-search.ts +93 -20
  81. package/src/web-research/scraper-utils.ts +55 -14
  82. package/dist/prompts/system-lead-evaluator.md +0 -118
  83. package/src/prompts/system-lead-evaluator.md +0 -118
@@ -0,0 +1,122 @@
1
+ # Research Lead — Routing
2
+
3
+ You decide whether this research run continues or ends.
4
+
5
+ You are given the message in two parts.
6
+
7
+ **NEW SINCE YOUR LAST DECISION** holds the **full reports** from the researchers that have just finished. This is the evidence your decision turns on — read it. Each report is preceded by the **coverage digest** its own researcher wrote for it: treat that as a *claim*, and check it against the report underneath. A digest saying `Gaps: none` above a thin or hedged report is the single most important thing you can catch, because nobody else will.
8
+
9
+ **REVIEWED IN EARLIER ROUNDS** holds only the coverage digests of reports you already read in full on a previous round and already judged. They are not repeated in full — you have seen them.
10
+
11
+ Everything specific to this run — the root query, the current round and round budget, the agenda so far, the queries already executed, any additional user guidance, and the phase guidance for this particular round — is supplied in a **RUN CONTEXT** block at the END of the message you are given, after the reports. Read that block before deciding; the instructions below tell you how to decide, the RUN CONTEXT tells you what you are deciding about.
12
+
13
+ You never write the report. When you decide the research is complete, a separate synthesis step reads every full report and writes it. Your output is a decision, not prose.
14
+
15
+ ## CRITICAL: Steering Compliance Checkpoint
16
+ - **STRICT STEERING**: If the RUN CONTEXT block carries an "ADDITIONAL USER GUIDANCE" section, you MUST treat every point in it as a **mandatory rule and instruction** for your decisions, next round goals, and queries. Do not ignore them. They are directional requirements.
17
+ - **STEERING SATISFACTION**: Before deciding to FINISH, you MUST explicitly verify that ALL user steering requirements are actually covered by the findings — not merely claimed by a digest. If ANY steering requirement is unaddressed, or only superficially covered, you MUST DELEGATE — do NOT finish. The user's guidance takes priority over round budget or feeling that research is "complete enough."
18
+
19
+ {{disabled_tools_section}}
20
+
21
+ ---
22
+
23
+ ## Complexity-Aware Decision Thresholds
24
+
25
+ **Complexity Level**: {{complexity_label}}
26
+
27
+ {{complexity_guidance}}
28
+
29
+ The phase guidance for the current round appears in the RUN CONTEXT block; it refines these thresholds for where this run currently sits in its round budget.
30
+
31
+ ---
32
+
33
+ ## Reading the evidence
34
+
35
+ For **earlier rounds** you have only the digest, and you already judged that work when it arrived. For **new reports** you have the prose; the digest beside it is a claim to verify.
36
+
37
+ Read a digest as follows:
38
+
39
+ - **`Covered`** tells you what is established. Treat a specific, concrete `Covered` line as reliable; treat a vague one ("general background on the topic") as weak coverage that may need a follow-up.
40
+ - **`Gaps`** is a researcher telling you directly what it could not reach. A non-"none" `Gaps` line on a topic the root query asks about is the strongest possible signal to delegate.
41
+ - **`Unsubstantiated`** flags claims that were looked for and not grounded. Delegating a targeted follow-up on those is usually higher value than opening a new angle.
42
+ - **`Sources: 0` or a very low count** means that researcher produced little usable material regardless of what its other lines claim. Re-cover that goal.
43
+ - **A digest that says coverage is unknown** was derived mechanically because that researcher emitted no digest of its own. For a new report that costs you nothing — read the report. For an earlier round it means coverage there is unverified, so weigh it accordingly.
44
+
45
+ **Verify the new reports rather than trusting their digests.** For each new report, read the prose and ask whether it actually establishes what its `Covered` line claims. Specific, sourced prose backs the claim up. Hedged prose, "not found in sources", a handful of thin paragraphs, or a report that never reaches its stated topic does not — in that case the goal is still open however confidently the digest is worded, and you should delegate it again.
46
+
47
+ Then compare everything covered — earlier digests plus what the new reports actually establish — against the root query and the initial agenda. What the root query asks for and nothing covers is a gap.
48
+
49
+ ---
50
+
51
+ ## Decision Framework
52
+
53
+ **FINISH if:** Coverage across the new reports and the earlier digests meets the complexity-specific synthesis criteria above. ("Finish" is the decision; the literal value you emit for it is `"action": "synthesize"`.)
54
+ **DELEGATE if:** Coverage meets the complexity-specific delegation criteria above.
55
+ **Note on Guidance**: If the user provides additional guidance mid-research (via Alt+Enter or direct follow-up), those messages will be provided to you. You MUST incorporate them into your next round's delegation goals and queries.
56
+
57
+ **STAY IN SCOPE (every delegation):**
58
+ - Going deeper on in-scope material is always welcome. Widening to new areas (breadth) is the drift to avoid — only do it when genuinely appropriate and helpful for the topic.
59
+ - A gap is missing depth on what was asked — not a broader topic next to it. Don't add anything the query didn't ask for, even if it came up in the findings.
60
+ - Match the query's scope-bounding constraints exactly — don't broaden them, don't narrow them.
61
+
62
+ **COMMON MISTAKES TO AVOID:**
63
+ - Do NOT finish early just because you've done "enough" rounds. Finish only when the evidence shows comprehensive coverage across all major topics the query asks about.
64
+ - Do NOT finish with gaps remaining, hoping they can be "filled in later". Complete the research first.
65
+ - Do NOT invent a gap outside the query's scope just to keep going or fill the budget. Finish what was asked; don't add what wasn't.
66
+ - Do NOT write findings, prose, or a report. You have read findings, but writing the report is a separate step's job. A `reason` is one sentence.
67
+
68
+ Use unique, targeted queries for any new researchers.
69
+
70
+ **Decision**: Return valid JSON in a code block:
71
+
72
+ **If the research is complete**:
73
+ ```json
74
+ {
75
+ "action": "synthesize",
76
+ "reason": "<one sentence naming the coverage that makes this complete>"
77
+ }
78
+ ```
79
+
80
+ **If delegating**:
81
+ ```json
82
+ {
83
+ "action": "delegate",
84
+ "researchers": [
85
+ {
86
+ "id": "<CURRENT_ROUND>.1",
87
+ "name": "<Researcher Specialty>",
88
+ "goal": "<Focused gap or new angle to investigate>",
89
+ "queries": ["<query_1>", "<query_2>", "<query_3>", "..."]
90
+ }
91
+ ],
92
+ "allQueries": ["<flat_list_of_all_queries_from_all_new_researchers>"]
93
+ }
94
+ ```
95
+
96
+ **DELEGATION REQUIREMENTS**:
97
+ - **CRITICAL — Queries are mandatory**: Every researcher MUST have at least one query. Never plan a researcher without queries. Researchers receive ONLY the search results you delegate to them.
98
+ - **Maximize queries**: For EACH researcher, generate the maximum number of targeted, specific queries within the budget. Do not plan fewer than needed — fill the budget. Queries should target primary sources and authoritative evidence.
99
+ - **YouTube discovery**: For roughly one in {{youtube_query_every_n}} queries, append the word `youtube` to the query text (e.g. `"<topic> analysis youtube"`). DuckDuckGo rarely surfaces YouTube on its own, and YouTube links let researchers read video transcripts. Skip only when the gap is clearly unsuited to video.
100
+ - **Temporal anchoring**: Anchor every new time-sensitive query to the current month and year shown at the top of this prompt. Use that exact year (and month where relevant); never default to an older year than the one shown there unless the user explicitly asks about the past.
101
+ - **Flexible coverage**: Use up to {{max_team_size}} researchers to cover distinct angles in parallel. Scale based on research gaps — a single well-targeted researcher is often sufficient for focused gaps.
102
+ - **Source diversity**: Encourage researchers to find multiple authoritative sources per topic area to enable comprehensive citations in the final synthesis.
103
+
104
+ ---
105
+
106
+ ## Quality Standards for Delegation
107
+
108
+ When delegating, ensure:
109
+ - **Query Specificity**: Each new query targets distinct, unexplored territory
110
+ - **No Redundancy**: Do not repeat queries from previous rounds
111
+ - **Specialized Focus**: Each new researcher has a clear, distinct angle
112
+ - **Gap-Driven**: Only delegate when the evidence shows a gap that existing coverage cannot resolve
113
+ - **Progressive Depth**: New queries go deeper, or to a new angle still inside the query's scope — never outside it, and never repeating surface-level coverage
114
+
115
+ ---
116
+
117
+ ## Output Requirements
118
+
119
+ - **Researcher IDs**: Use Round.Index format — the current round number from the RUN CONTEXT block, then the researcher index. In round 3 that is **3.1**, **3.2**, and so on.
120
+ - **Query Budget**: Use the complexity-specific budget ({{query_budget}} per researcher). Fill each researcher's query budget completely.
121
+ - **Team Size**: Scale researcher count to match the gaps. Use up to {{max_team_size}} researchers when delegating, but a single well-targeted researcher is often sufficient for focused gaps. Don't pad the team when fewer researchers will cover the remaining gaps efficiently.
122
+ - **Format**: ONLY return valid JSON in a code block. Never return report prose.
@@ -0,0 +1,46 @@
1
+ # Research Lead — Synthesis
2
+
3
+ You write the final report for this research run.
4
+
5
+ The research is finished. Every researcher report collected during the run is supplied to you in full, followed by a **Global Source List**, followed by a **RUN CONTEXT** block carrying the root query and any additional user guidance. Read the RUN CONTEXT block before writing: the instructions below tell you how to write, it tells you what the report is about.
6
+
7
+ You do not decide anything and you do not plan further research. Your only output is the report.
8
+
9
+ ## CRITICAL: Steering Compliance
10
+ If the RUN CONTEXT block carries an "ADDITIONAL USER GUIDANCE" section, treat every point in it as a **mandatory rule** governing the report's content, structure, and emphasis. The user's guidance overrides your own judgment about what to include or how to organize.
11
+
12
+ {{disabled_tools_section}}
13
+
14
+ ---
15
+
16
+ ## Synthesis Protocol
17
+
18
+ 1. **Organization**: Organize the report logically **BY TOPIC**. Do NOT structure it by researcher or round.
19
+ 2. **Anonymity**: Do NOT reference "researchers", "agents", "reports", or the research process. Present the findings as a direct, unified knowledge base.
20
+ 3. **Master Links List**: A **Global Source List** has been provided to you, after the findings. Use these sequential numbers [1], [2], [3], etc., for all inline citations. The researcher reports provided to you have already been normalized to these global numbers. This list includes all URLs found during live research and any relevant entries from the **Local and Global Knowledge Stores**.
21
+ 4. **Exhaustive Synthesis**: Use ALL findings from ALL reports. Include every fact, date, name, and statistic verbatim. Longer is better.
22
+ 5. **Strict Grounding**: Every sentence must come from a report. Use [N] inline citations. No prior knowledge.
23
+ 6. **CRITICAL — Links at Bottom Only**:
24
+ - Write all topic sections first with inline citations [1], [2], etc., using the numbers from the **Global Source List**.
25
+ - Place exactly ONE `CITED LINKS` section at the VERY END of the entire synthesis.
26
+ - This section must contain the complete master list of all unique URLs exactly as provided in the **Global Source List**.
27
+ - Do NOT include any links within topic sections or subsections.
28
+ - Format: `[1] https://url.com [Source: ...] — brief description` on each line.
29
+
30
+ > **MANDATORY TERMINATION RULE**: Your synthesis is not complete until it ends with `CITED LINKS`. Do NOT close the JSON object or stop generating until this section is written in full. A synthesis without `CITED LINKS` is a failed output.
31
+
32
+ ---
33
+
34
+ ## Output Requirements
35
+
36
+ - **Synthesis Quality**: Logical topic-based structure in plain prose, maximal detail, NO mention of researchers, NO markdown headings or bullets.
37
+ - **Format**: ONLY return valid JSON in a code block:
38
+
39
+ ```json
40
+ {
41
+ "action": "synthesize",
42
+ "content": "<Plain prose report with [N] citations, organized by topic. No markdown headings, bullets, or bold text. Followed by the mandatory CITED LINKS section.>"
43
+ }
44
+ ```
45
+
46
+ {{partial_synthesis_section}}
package/src/sdk.ts CHANGED
@@ -44,7 +44,7 @@ import { runHealthCheck } from './healthcheck/index.ts';
44
44
  import { buildModelRegistry as sharedBuildModelRegistry, resolveModel } from './core/llm/model-registry-factory.ts';
45
45
  import { scrapeSingle } from './web-research/web-scraper.ts';
46
46
  import { validateInitialLinks } from './utils/url-utils.ts';
47
- import { validateUrlForSSRF } from './web-research/scraper-utils.ts';
47
+ import { validateUrlForSSRF, disposeSsrfSafeFetcher } from './web-research/scraper-utils.ts';
48
48
  import type { ScrapeResult } from './core/interfaces/scheduler-interfaces.ts';
49
49
  import { randomUUID } from 'node:crypto';
50
50
  import type { ResearchDepth } from './types/index.ts';
@@ -954,6 +954,15 @@ async function _doShutdown(): Promise<void> {
954
954
  errors.push(err instanceof Error ? err : new Error(String(err)));
955
955
  }
956
956
 
957
+ // Release the module-level undici Agent's keep-alive sockets. Nothing else
958
+ // owns it, so a long-lived host would otherwise hold them past teardown.
959
+ try {
960
+ await disposeSsrfSafeFetcher();
961
+ } catch (err) {
962
+ logger.error('[SDK] Error disposing SSRF fetcher:', err);
963
+ errors.push(err instanceof Error ? err : new Error(String(err)));
964
+ }
965
+
957
966
  if (globalContainer) {
958
967
  // Dispose all services in one DAG-ordered teardown. disposeCoreServices first
959
968
  // clears the embedding-server state while the StateManager is still alive, then
@@ -22,7 +22,6 @@ import type {
22
22
  } from './nvd-types.ts';
23
23
  import { createTimeoutSignal, retryWithBackoff, isTransientError } from '../web-research/retry-utils.ts';
24
24
  import { CircuitBreaker } from '../utils/circuit-breaker.ts';
25
- import { safeUnref } from '../utils/safe-unref.ts';
26
25
  import { metrics } from '../utils/metrics.ts';
27
26
  import { readJsonCapped, BodyTooLargeError, MAX_BULK_JSON_BODY_BYTES } from '../utils/http-body.ts';
28
27
  import {
@@ -77,7 +76,15 @@ class NVDRateLimiter {
77
76
  signal?.removeEventListener('abort', onAbort);
78
77
  resolve();
79
78
  }, waitTime);
80
- safeUnref(timeoutId);
79
+ // NOT unref'd. This timer IS the operation, not a watchdog racing one:
80
+ // nothing else will ever settle this promise, so unref'ing it let Node
81
+ // consider the process idle while an NVD search was mid-spacing. With no
82
+ // other ref'd handle the search simply never resumed — the awaited
83
+ // promise stayed unsettled and the caller got no result and no error.
84
+ // Every other unref in this codebase guards a timeout against real I/O
85
+ // that holds the loop open by itself; this one had nothing behind it.
86
+ // Bounded (≤6s, or ≤600ms with NVD_API_KEY) and abortable below, so
87
+ // keeping it ref'd cannot delay shutdown beyond one spacing interval.
81
88
  const onAbort = () => {
82
89
  clearTimeout(timeoutId as unknown as ReturnType<typeof setTimeout>);
83
90
  reject(Object.assign(new Error('NVD search aborted'), { name: 'AbortError' }));
@@ -392,6 +399,8 @@ async function fetchPaginated(
392
399
  const signal = options?.signal;
393
400
  let startIndex = 0;
394
401
  let totalPagesFetched = 0;
402
+ // Whether the one-time jump to the newest window (below) has been performed.
403
+ let seekedToNewest = false;
395
404
 
396
405
  while (totalPagesFetched < maxPages && allVulnerabilities.length < maxResults) {
397
406
  if (signal?.aborted) break; // stop paginating promptly on cancel
@@ -433,10 +442,40 @@ async function fetchPaginated(
433
442
  }
434
443
  metrics.increment('nvd_cache_hits_total', 1);
435
444
 
445
+ const responseData = data as Record<string, unknown> | undefined;
446
+ const reportedTotal = typeof responseData?.['totalResults'] === 'number'
447
+ ? responseData['totalResults'] as number
448
+ : undefined;
449
+
450
+ // NVD 2.0 returns keyword matches OLDEST FIRST and offers no sort parameter
451
+ // (`sortBy` is a 404), so paging from index 0 and stopping at maxResults kept
452
+ // precisely the least useful window: a `security_search` for "openssl"
453
+ // returned CVE-1999-0428 through 2004 out of 566 matches and could never
454
+ // reach the ones published this month. Seek once to the tail instead, so the
455
+ // rows we keep are the most recent. Only fires when the match set is larger
456
+ // than what we return — a query whose results all fit is already complete, so
457
+ // the common (and every mocked) case still costs exactly one request.
458
+ //
459
+ // Interaction with the `v2` supplemental pass (searchSingleTerm), deliberate:
460
+ // that pass admits only entries carrying NO v3/v4 metric, and NVD scores
461
+ // essentially every modern CVE with v3 — so v2-only rows live at the OLD end.
462
+ // Seeking to the tail therefore makes the supplement return little or nothing
463
+ // once a match set is large. That is the intended trade, not an oversight: the
464
+ // supplement was the channel feeding 1999-era advisories into results that are
465
+ // supposed to describe the current picture. A genuinely legacy product still
466
+ // works, because its own v2 match set is small enough that no seek fires.
467
+
468
+ if (!seekedToNewest && startIndex === 0 && reportedTotal !== undefined && reportedTotal > maxResults) {
469
+ seekedToNewest = true;
470
+ startIndex = reportedTotal - maxResults;
471
+ allVulnerabilities.length = 0; // the oldest window we just read is not what we want
472
+ totalPagesFetched++;
473
+ continue;
474
+ }
475
+
436
476
  allVulnerabilities.push(...admitted);
437
477
 
438
- const responseData = data as Record<string, unknown> | undefined;
439
- if (responseData?.['totalResults'] !== undefined && typeof responseData['totalResults'] === 'number' && startIndex + pageSize >= responseData['totalResults']) {
478
+ if (reportedTotal !== undefined && startIndex + pageSize >= reportedTotal) {
440
479
  break;
441
480
  }
442
481
 
@@ -447,6 +486,18 @@ async function fetchPaginated(
447
486
  metrics.increment('nvd_pagination_requests_total', totalPagesFetched);
448
487
  metrics.observe('nvd_pagination_pages_fetched', totalPagesFetched);
449
488
 
489
+ // Newest first within the window. NVD's own order is ascending, so without
490
+ // this the caller's slice() would again favour the older end of whatever we
491
+ // gathered. Undated entries sort last rather than jumping to the front.
492
+ allVulnerabilities.sort((a, b) => {
493
+ const ta = a.published ? Date.parse(a.published) : NaN;
494
+ const tb = b.published ? Date.parse(b.published) : NaN;
495
+ if (Number.isNaN(ta) && Number.isNaN(tb)) return 0;
496
+ if (Number.isNaN(ta)) return 1;
497
+ if (Number.isNaN(tb)) return -1;
498
+ return tb - ta;
499
+ });
500
+
450
501
  return allVulnerabilities.slice(0, maxResults);
451
502
  }
452
503
 
@@ -230,7 +230,19 @@ export async function searchOSV(
230
230
  }
231
231
  }
232
232
 
233
- vulnerabilities.push(...Array.from(uniqueVulns.values()));
233
+ // Newest first, so the slice(0, maxResults) below keeps the advisories most
234
+ // likely to matter. OSV returns a package's vulnerabilities in ID order,
235
+ // which is effectively alphabetical — truncating that dropped whichever
236
+ // advisories happened to sort late, recency playing no part. Undated entries
237
+ // sort last rather than displacing dated ones.
238
+ vulnerabilities.push(...Array.from(uniqueVulns.values()).sort((a, b) => {
239
+ const ta = a.published ? Date.parse(a.published) : NaN;
240
+ const tb = b.published ? Date.parse(b.published) : NaN;
241
+ if (Number.isNaN(ta) && Number.isNaN(tb)) return 0;
242
+ if (Number.isNaN(ta)) return 1;
243
+ if (Number.isNaN(tb)) return -1;
244
+ return tb - ta;
245
+ }));
234
246
 
235
247
  if (failures.length > 0 && failures.length === terms.length) {
236
248
  throw new Error(`All OSV lookups failed: ${failures.join('; ')}`);
@@ -54,6 +54,7 @@ import { loadPrompt } from '../core/llm/prompts.ts';
54
54
  import { formatParentContext } from '../orchestration/session-context.ts';
55
55
  import { getConfig, type ConfigInterface, type Config } from '../config.ts';
56
56
  import { createKnowledgeSearchPanel } from '../tui/knowledge-search-panel.ts';
57
+ import { isCancellation } from '../utils/cancellation.ts';
57
58
 
58
59
  // ---------------------------------------------------------------------------
59
60
  // Phase 1: Tool Parameters
@@ -114,6 +115,17 @@ export function formatQueriesBlock(queries: string[]): string {
114
115
  /** Widget ID for the knowledge search TUI panel */
115
116
  const KNOWLEDGE_WIDGET_ID = 'pi-research-knowledge-search';
116
117
 
118
+ /**
119
+ * How many knowledge searches are currently showing the widget.
120
+ *
121
+ * The widget ID is a single global slot and `setWidget` replaces rather than
122
+ * stacks, but this tool is `executionMode: 'parallel'` and can also be driven
123
+ * concurrently by the `/knowledge-store` slash command. Without a refcount the
124
+ * first call to finish tears the widget down while a sibling is still running,
125
+ * leaving an in-flight search with no indicator. Only the last one out removes it.
126
+ */
127
+ let knowledgeWidgetRefCount = 0;
128
+
117
129
  /**
118
130
  * System string returned when the answer is NOT found in the research
119
131
  * knowledge store. The exact phrasing is critical — the main pi agent
@@ -140,6 +152,7 @@ export const RESEARCH_KNOWLEDGE_MAYBE_STRING =
140
152
  */
141
153
  function showKnowledgeSearchWidget(ctx: ExtensionContext): void {
142
154
  if (ctx.mode !== 'tui' || !ctx.hasUI) return;
155
+ knowledgeWidgetRefCount++;
143
156
  try {
144
157
  const panelFactory = createKnowledgeSearchPanel();
145
158
  ctx.ui.setWidget(KNOWLEDGE_WIDGET_ID, panelFactory as any, { placement: 'aboveEditor' });
@@ -149,10 +162,15 @@ function showKnowledgeSearchWidget(ctx: ExtensionContext): void {
149
162
  }
150
163
 
151
164
  /**
152
- * Remove the knowledge search TUI widget.
165
+ * Remove the knowledge search TUI widget once the last concurrent search is done.
153
166
  */
154
167
  function hideKnowledgeSearchWidget(ctx: ExtensionContext): void {
155
168
  if (ctx.mode !== 'tui' || !ctx.hasUI) return;
169
+ // show() incremented under the identical guard, so the counter stays balanced.
170
+ // Clamp anyway: a stray hide must never drive it negative and wedge the
171
+ // widget on-screen for the rest of the session.
172
+ knowledgeWidgetRefCount = Math.max(0, knowledgeWidgetRefCount - 1);
173
+ if (knowledgeWidgetRefCount > 0) return;
156
174
  try {
157
175
  ctx.ui.setWidget(KNOWLEDGE_WIDGET_ID, undefined as any, { placement: 'aboveEditor' });
158
176
  } catch (err) {
@@ -422,6 +440,7 @@ export async function runBackgroundExtraction(
422
440
  maxTokens: number,
423
441
  thinkingLevel: Config['LLM_THINKING_LEVEL'],
424
442
  signal?: AbortSignal,
443
+ sessionId?: string,
425
444
  ): Promise<ResearchKnowledgeSynthesisResponse> {
426
445
  const promptTemplate = loadPrompt('research-knowledge-search-extractor');
427
446
  if (!promptTemplate) {
@@ -462,7 +481,8 @@ export async function runBackgroundExtraction(
462
481
  }, buildSafeOptions(model, {
463
482
  apiKey: auth.apiKey,
464
483
  headers: auth.headers,
465
- signal
484
+ signal,
485
+ sessionId,
466
486
  }, maxTokens, thinkingLevel)),
467
487
  llmTimeout,
468
488
  'knowledge-search-extraction',
@@ -520,6 +540,7 @@ export async function runBackgroundExtraction(
520
540
  context: 'Knowledge search extraction — synthesizing answer from reference documents',
521
541
  serviceName: 'ResearchKnowledgeSearch',
522
542
  signal,
543
+ sessionId,
523
544
  // Match the budget of the call being repaired so a large synthesis is not re-truncated
524
545
  // at repairJsonWithLlm's smaller default (16384). Mirrors the planning-service repairs.
525
546
  maxTokens,
@@ -955,6 +976,11 @@ export function createResearchKnowledgeSearchTool(iface?: ConfigInterface): Tool
955
976
  config.SYNTHESIS_MAX_TOKENS,
956
977
  config.LLM_THINKING_LEVEL,
957
978
  signal,
979
+ // Cache/session-affinity hint only (keeps repeated calls on the same warmed
980
+ // replica) — same resolution research-config.ts uses, since this tool has no
981
+ // researchId of its own to key on. ctx.sessionId is read defensively: it is
982
+ // not on every host's ExtensionContext shape, hence the `as any`.
983
+ (ctx as any).sessionId || ctx.sessionManager?.getSessionId(),
958
984
  );
959
985
 
960
986
  const durationMs = Date.now() - startTime;
@@ -966,7 +992,6 @@ export function createResearchKnowledgeSearchTool(iface?: ConfigInterface): Tool
966
992
  return buildSteeringResult(result, urls);
967
993
  } catch (error) {
968
994
  const durationMs = Date.now() - startTime;
969
- const msg = error instanceof Error ? error.message : String(error);
970
995
 
971
996
  // A CANCELLED search is not an empty store. Reporting the miss string here
972
997
  // told the calling agent, definitively, that the knowledge store has
@@ -974,7 +999,7 @@ export function createResearchKnowledgeSearchTool(iface?: ConfigInterface): Tool
974
999
  // the very work the user just interrupted. Propagate the abort instead;
975
1000
  // the run is ending either way. (Same misclassification as the search
976
1001
  // layer's "browser workers may be unavailable" on Ctrl-C.)
977
- if (signal?.aborted || (error instanceof Error && error.name === 'AbortError') || /^(aborted|research (aborted|cancelled))$/i.test(msg)) {
1002
+ if (isCancellation(error, signal)) {
978
1003
  metrics.observe('research_knowledge_search_duration_ms', durationMs, { status: 'cancelled' });
979
1004
  metrics.increment('research_knowledge_search_total', 1, { status: 'cancelled' });
980
1005
  logger.debug('[research-knowledge-search] Cancelled mid-search — propagating rather than reporting an empty store.');
@@ -31,6 +31,7 @@ import { ServiceNames } from '../core/service-interfaces.ts';
31
31
  import type { IKnowledgeStoreService } from '../core/service-interfaces.ts';
32
32
  import { logger } from '../logger.ts';
33
33
  import { metrics } from '../utils/metrics.ts';
34
+ import { isCancellation } from '../utils/cancellation.ts';
34
35
 
35
36
  export function createScrapeTool(options: {
36
37
  ctx: ExtensionContext;
@@ -267,6 +268,11 @@ export function createScrapeTool(options: {
267
268
  }, container);
268
269
  freshResults = Array.isArray(results) ? results : [];
269
270
  } catch (error) {
271
+ // A cancelled scrape is not a failed scrape — see isCancellation.
272
+ if (isCancellation(error, signal)) {
273
+ metrics.increment('tool_scrape_calls_total', 1, { status: 'cancelled' });
274
+ throw error;
275
+ }
270
276
  const message = error instanceof Error ? error.message : String(error);
271
277
  logger.error(`[scrape tool] Scrape failed: ${message}`);
272
278
  metrics.increment('tool_scrape_calls_total', 1, { status: 'error' });
@@ -13,6 +13,7 @@ import type { SystemResearchState } from '../orchestration/deep-research-types.t
13
13
  import { logger } from '../logger.ts';
14
14
  import { type Config, getConfig } from '../config.ts';
15
15
  import { metrics } from '../utils/metrics.ts';
16
+ import { isCancellation } from '../utils/cancellation.ts';
16
17
  import { tryGetServiceContainerFromCtx } from '../core/service-registry.ts';
17
18
 
18
19
  export function createSearchTool(options: {
@@ -134,6 +135,12 @@ export function createSearchTool(options: {
134
135
  };
135
136
  } catch (error) {
136
137
  const elapsed = Date.now() - startTime;
138
+ // A cancelled search is not a failed search — see isCancellation.
139
+ if (isCancellation(error, signal)) {
140
+ metrics.observe('tool_search_duration_ms', elapsed, { status: 'cancelled' });
141
+ metrics.increment('tool_search_calls_total', 1, { status: 'cancelled' });
142
+ throw error;
143
+ }
137
144
  metrics.observe('tool_search_duration_ms', elapsed, { status: 'error' });
138
145
  metrics.increment('tool_search_calls_total', 1, { status: 'error' });
139
146
  const msg = error instanceof Error ? error.message : String(error);
@@ -11,6 +11,7 @@ import { searchSecurityDatabases } from '../security/index.ts';
11
11
  import type { ToolUsageTracker } from '../utils/tool-usage-tracker.ts';
12
12
  import { getMaxGatheringCalls } from '../constants.ts';
13
13
  import { metrics } from '../utils/metrics.ts';
14
+ import { isCancellation } from '../utils/cancellation.ts';
14
15
  import type { SecuritySearchParams } from '../security/types.ts';
15
16
 
16
17
  const MAX_DESCRIPTION_CHARS = 300;
@@ -78,7 +79,24 @@ export function createSecuritySearchTool(options: {
78
79
  _extensionCtx,
79
80
  ): Promise<AgentToolResult<unknown>> {
80
81
  const startTime = Date.now();
81
- metrics.increment('tool_security_search_calls_total', 1);
82
+
83
+ // Every exit path below increments `tool_security_search_calls_total` itself
84
+ // (labeled with its own status) — there is no separate unconditional increment
85
+ // here. There used to be one, which double-counted every single call: sumCounter
86
+ // matches both the bare key and every labeled variant of the same base name, so
87
+ // the Session Metrics / Research Summary view reported exactly 2x the real count.
88
+
89
+ // Validate BEFORE spending the budget: a rejected call did no work, and charging
90
+ // it against the shared MAX_GATHERING_CALLS allowance turns a malformed call into
91
+ // a permanently lost one. See youtube-transcript for the sharpest case (a single
92
+ // allowed call, forfeited by a schema violation).
93
+ if (!Value.Check(SecuritySearchParamsSchema, params)) {
94
+ metrics.increment('tool_security_search_calls_total', 1, { status: 'invalid_params' });
95
+ return {
96
+ content: [{ type: 'text', text: 'Invalid parameters for security_search tool.' }],
97
+ details: { error: 'invalid_parameters' },
98
+ };
99
+ }
82
100
 
83
101
  // Record call in tracker - returns false if limit reached
84
102
  const allowed = options.tracker.recordCall('security_search');
@@ -90,14 +108,6 @@ export function createSecuritySearchTool(options: {
90
108
  };
91
109
  }
92
110
 
93
- if (!Value.Check(SecuritySearchParamsSchema, params)) {
94
- metrics.increment('tool_security_search_calls_total', 1, { status: 'invalid_params' });
95
- return {
96
- content: [{ type: 'text', text: 'Invalid parameters for security_search tool.' }],
97
- details: { error: 'invalid_parameters' },
98
- };
99
- }
100
-
101
111
  const p = params as SecuritySearchParamsType;
102
112
 
103
113
  const terms = p.terms;
@@ -167,6 +177,14 @@ export function createSecuritySearchTool(options: {
167
177
  results = await searchSecurityDatabases(searchParams, signal);
168
178
  } catch (error) {
169
179
  const duration = Date.now() - startTime;
180
+ // A cancelled search is not a database outage — see isCancellation. The
181
+ // "temporary issue - try again later" text below invites exactly the retry
182
+ // the user just interrupted.
183
+ if (isCancellation(error, signal)) {
184
+ metrics.observe('tool_security_search_duration_ms', duration, { status: 'cancelled' });
185
+ metrics.increment('tool_security_search_calls_total', 1, { status: 'cancelled' });
186
+ throw error;
187
+ }
170
188
  metrics.observe('tool_security_search_duration_ms', duration, { status: 'error' });
171
189
  metrics.increment('tool_security_search_calls_total', 1, { status: 'error' });
172
190
  const errorMsg = error instanceof Error ? error.message : String(error);
@@ -10,6 +10,7 @@ import { Value } from 'typebox/value';
10
10
  import { stackexchangeCommand } from '../stackexchange/index.ts';
11
11
  import type { ToolUsageTracker } from '../utils/tool-usage-tracker.ts';
12
12
  import { getMaxGatheringCalls } from '../constants.ts';
13
+ import { isCancellation } from '../utils/cancellation.ts';
13
14
 
14
15
  export function createStackexchangeTool(options: {
15
16
  ctx: ExtensionContext;
@@ -74,6 +75,15 @@ export function createStackexchangeTool(options: {
74
75
  _onUpdate,
75
76
  extensionCtx,
76
77
  ): Promise<AgentToolResult<unknown>> {
78
+ // Validate BEFORE spending the budget — see security.ts. A rejected call did no
79
+ // work and must not consume one of MAX_GATHERING_CALLS.
80
+ if (!Value.Check(StackExchangeParamsSchema, params)) {
81
+ return {
82
+ content: [{ type: 'text', text: 'Invalid parameters for stackexchange tool.' }],
83
+ details: { error: 'invalid_parameters' },
84
+ };
85
+ }
86
+
77
87
  // Record call in tracker - returns false if limit reached
78
88
  const allowed = tracker.recordCall('stackexchange');
79
89
  if (!allowed) {
@@ -83,13 +93,6 @@ export function createStackexchangeTool(options: {
83
93
  };
84
94
  }
85
95
 
86
- if (!Value.Check(StackExchangeParamsSchema, params)) {
87
- return {
88
- content: [{ type: 'text', text: 'Invalid parameters for stackexchange tool.' }],
89
- details: { error: 'invalid_parameters' },
90
- };
91
- }
92
-
93
96
  const p = params as StackExchangeParams;
94
97
  const command = p.command;
95
98
 
@@ -105,6 +108,9 @@ export function createStackexchangeTool(options: {
105
108
  signal,
106
109
  });
107
110
  } catch (error) {
111
+ // A cancelled query was never rate-limited — see isCancellation. Naming a
112
+ // quota the run never hit is a cause the agent can carry into its report.
113
+ if (isCancellation(error, signal)) throw error;
108
114
  const errorMsg = error instanceof Error ? error.message : String(error);
109
115
  return {
110
116
  content: [
@@ -24,6 +24,7 @@ import { cacheScrapedContent, registerScrapedLinks, registerTranscribedLinks, re
24
24
  import { type Config, getConfig } from '../config.ts';
25
25
  import { logger } from '../logger.ts';
26
26
  import { metrics } from '../utils/metrics.ts';
27
+ import { isCancellation } from '../utils/cancellation.ts';
27
28
 
28
29
  export function createYoutubeTranscriptTool(options: {
29
30
  ctx: ExtensionContext;
@@ -75,18 +76,12 @@ export function createYoutubeTranscriptTool(options: {
75
76
  _onUpdate: AgentToolUpdateCallback<unknown>,
76
77
  extensionCtx: ExtensionContext,
77
78
  ): Promise<AgentToolResult<unknown>> {
78
- // Rate-limit enforcement (one call per researcher).
79
- if (tracker) {
80
- const allowed = tracker.recordCall('youtube_transcript');
81
- if (!allowed) {
82
- metrics.increment('tool_youtube_transcript_calls_total', 1, { status: 'rate_limited' });
83
- return {
84
- content: [{ type: 'text', text: tracker.getLimitMessage('youtube_transcript') }],
85
- details: { blocked: true, reason: 'limit_reached' },
86
- };
87
- }
88
- }
89
-
79
+ // Validate BEFORE spending the budget. Charging a rejected call is not a rate
80
+ // limit, it is a forfeit: this tool's schema caps `urls` at maxVideos while the
81
+ // per-researcher allowance is a single call, so a researcher passing one URL too
82
+ // many got a validation error AND lost its only call — and the retry was then told
83
+ // "You have already used your one youtube_transcript call", which is false. The
84
+ // round loses transcripts entirely. grep and search already validate first.
90
85
  if (!Value.Check(YoutubeParamsSchema, params)) {
91
86
  metrics.increment('tool_youtube_transcript_calls_total', 1, { status: 'invalid_params' });
92
87
  return {
@@ -105,6 +100,19 @@ export function createYoutubeTranscriptTool(options: {
105
100
  };
106
101
  }
107
102
 
103
+ // Rate-limit enforcement (one call per researcher), now that the call is one that
104
+ // would actually do work.
105
+ if (tracker) {
106
+ const allowed = tracker.recordCall('youtube_transcript');
107
+ if (!allowed) {
108
+ metrics.increment('tool_youtube_transcript_calls_total', 1, { status: 'rate_limited' });
109
+ return {
110
+ content: [{ type: 'text', text: tracker.getLimitMessage('youtube_transcript') }],
111
+ details: { blocked: true, reason: 'limit_reached' },
112
+ };
113
+ }
114
+ }
115
+
108
116
  // Resolve config against the live cwd for timeout/lang. The video cap stays
109
117
  // `maxVideos` (the factory value the schema's maxItems was built from) so the
110
118
  // schema gate and the command-level cap can never disagree. The PoToken
@@ -151,6 +159,12 @@ export function createYoutubeTranscriptTool(options: {
151
159
 
152
160
  return result;
153
161
  } catch (error) {
162
+ // A cancelled batch is not bot-protection — see isCancellation. "Continue
163
+ // with the rest of your research" is the opposite of what a Ctrl-C means.
164
+ if (isCancellation(error, signal)) {
165
+ metrics.increment('tool_youtube_transcript_calls_total', 1, { status: 'cancelled' });
166
+ throw error;
167
+ }
154
168
  const errorMsg = error instanceof Error ? error.message : String(error);
155
169
  logger.error(`[youtube_transcript tool] Failed: ${errorMsg}`);
156
170
  metrics.increment('tool_youtube_transcript_calls_total', 1, { status: 'error' });