@hadooppei/hwcode 1.0.12 → 1.0.15

package/.pi/dist/lib/working-directory.js

@@ -0,0 +1,170 @@
+import { realpathSync, statSync } from "node:fs";
+import { homedir } from "node:os";
+import { isAbsolute, resolve } from "node:path";
+import { activeWorkflow } from "./workflows/state.js";
+export const WORKING_DIRECTORY_STATE_TYPE = "hwcode-working-directory";
+const workingDirectories = new Map();
+function isWorkingDirectoryState(value) {
+    if (!value || typeof value !== "object")
+        return false;
+    const data = value;
+    return data.version === 1
+        && typeof data.cwd === "string"
+        && (data.previousCwd === undefined || typeof data.previousCwd === "string");
+}
+export function findPersistedWorkingDirectory(entries) {
+    for (const entry of [...entries].reverse()) {
+        if (entry.type !== "custom" || entry.customType !== WORKING_DIRECTORY_STATE_TYPE)
+            continue;
+        if (isWorkingDirectoryState(entry.data))
+            return entry.data;
+    }
+    return undefined;
+}
+export function canonicalizeDirectory(path) {
+    const canonical = realpathSync(path);
+    if (!statSync(canonical).isDirectory())
+        throw new Error(`Not a directory: ${path}`);
+    return canonical;
+}
+function initialState(source) {
+    const persisted = findPersistedWorkingDirectory(source.getEntries());
+    if (persisted)
+        return { ...persisted, cwd: canonicalizeDirectory(persisted.cwd) };
+    return { version: 1, cwd: canonicalizeDirectory(source.getCwd()) };
+}
+export function getWorkingDirectoryState(source) {
+    return workingDirectories.get(source.getSessionId()) ?? initialState(source);
+}
+export function getWorkingDirectory(source) {
+    return getWorkingDirectoryState(source).cwd;
+}
+export function setWorkingDirectoryState(source, state) {
+    workingDirectories.set(source.getSessionId(), state);
+}
+export function resetWorkingDirectoryState(source) {
+    const state = initialState(source);
+    setWorkingDirectoryState(source, state);
+    return state;
+}
+export function clearWorkingDirectoryState(source) {
+    workingDirectories.delete(source.getSessionId());
+}
+function expandHome(path, home) {
+    if (path === "~" || path === "$HOME" || path === "${HOME}")
+        return home;
+    if (path.startsWith("~/"))
+        return resolve(home, path.slice(2));
+    if (path.startsWith("$HOME/"))
+        return resolve(home, path.slice(6));
+    if (path.startsWith("${HOME}/"))
+        return resolve(home, path.slice(8));
+    return path;
+}
+export function resolveDirectoryArgument(base, argument, previousCwd, home = homedir()) {
+    if (argument === "-") {
+        if (!previousCwd)
+            throw new Error("No previous working directory is available.");
+        return canonicalizeDirectory(previousCwd);
+    }
+    const expanded = expandHome(argument || home, home);
+    return canonicalizeDirectory(isAbsolute(expanded) ? expanded : resolve(base, expanded));
+}
+export function resolveWorkingPath(base, path, home = homedir()) {
+    const expanded = expandHome(path, home);
+    return isAbsolute(expanded) ? expanded : resolve(base, expanded);
+}
+function readShellWord(command, start) {
+    let value = "";
+    let quote;
+    let index = start;
+    for (; index < command.length; index += 1) {
+        const character = command[index];
+        if (quote) {
+            if (character === quote) {
+                quote = undefined;
+                continue;
+            }
+            if (character === "\\" && quote === '"' && index + 1 < command.length) {
+                index += 1;
+                value += command[index];
+                continue;
+            }
+            value += character;
+            continue;
+        }
+        if (character === "'" || character === '"') {
+            quote = character;
+            continue;
+        }
+        if (character === "\\" && index + 1 < command.length) {
+            index += 1;
+            value += command[index];
+            continue;
+        }
+        if (/\s/u.test(character) || character === ";" || character === "&")
+            break;
+        if ("|<>`".includes(character) || character === "$" && command[index + 1] === "(")
+            return undefined;
+        value += character;
+    }
+    if (quote || value.length === 0)
+        return undefined;
+    return { value, end: index };
+}
+/** Parse a leading persistent `cd`, optionally followed by `&&` or `;`. */
+export function parseLeadingDirectoryChange(command) {
+    let index = 0;
+    while (/\s/u.test(command[index] ?? ""))
+        index += 1;
+    if (command.slice(index, index + 2) !== "cd")
+        return undefined;
+    const next = command[index + 2];
+    if (next && !/\s/u.test(next) && next !== ";" && command.slice(index + 2, index + 4) !== "&&") {
+        return undefined;
+    }
+    index += 2;
+    while (/\s/u.test(command[index] ?? ""))
+        index += 1;
+    if (command.slice(index, index + 2) === "--") {
+        index += 2;
+        while (/\s/u.test(command[index] ?? ""))
+            index += 1;
+    }
+    let argument = "";
+    if (index < command.length && command[index] !== ";" && command.slice(index, index + 2) !== "&&") {
+        const word = readShellWord(command, index);
+        if (!word)
+            return undefined;
+        argument = word.value;
+        index = word.end;
+    }
+    while (/\s/u.test(command[index] ?? ""))
+        index += 1;
+    if (index >= command.length)
+        return { argument, remainder: "" };
+    if (command.slice(index, index + 2) === "&&")
+        index += 2;
+    else if (command[index] === ";")
+        index += 1;
+    else
+        return undefined;
+    return { argument, remainder: command.slice(index).trimStart() };
+}
+export function getActiveWorkflowRoot(entries) {
+    return activeWorkflow(entries)?.root;
+}
+export function findLatestWorkflowRoot(entries) {
+    for (const entry of [...entries].reverse()) {
+        if (entry.type !== "custom" || entry.customType !== "hwcode-workflow-state"
+            || !entry.data || typeof entry.data !== "object")
+            continue;
+        const root = entry.data.root;
+        if (typeof root === "string" && root)
+            return root;
+    }
+    return undefined;
+}
+export function shellQuote(value) {
+    return `'${value.replaceAll("'", `'"'"'`)}'`;
+}

package/.pi/extensions/knowledge.ts

@@ -1,6 +1,6 @@
 import { randomUUID } from "node:crypto";
 import { existsSync } from "node:fs";
-import { dirname } from "node:path";
+import { dirname, resolve, sep } from "node:path";
 import { fileURLToPath } from "node:url";
 import { Worker } from "node:worker_threads";
 
@@ -10,16 +10,17 @@ import { defineTool, type ExtensionAPI, type ExtensionContext } from "@earendil-
 import {
   buildKnowledgeExtractionPrompt, type ExistingKnowledgeContext, KNOWLEDGE_EXTRACTION_SYSTEM_PROMPT,
 } from "../lib/knowledge/extractor.ts";
-import { matchKnowledge } from "../lib/knowledge/matcher.ts";
+import { matchKnowledge, recallKnowledge } from "../lib/knowledge/matcher.ts";
 import { loadKnowledgeById, loadKnowledgeSnapshot, projectKnowledgeKey } from "../lib/knowledge/store.ts";
 import type { KnowledgeWorkerInput, KnowledgeWorkerOutput } from "../lib/knowledge/worker-protocol.ts";
 import { KNOWLEDGE_RUNTIME_DEFAULTS } from "../lib/runtime/defaults.ts";
-import { getWorkingDirectory } from "../lib/working-directory.ts";
+import { findLatestWorkflowRoot, getWorkingDirectory } from "../lib/working-directory.ts";
 
 interface ActiveReview {
   requestId: string;
   leaderToken: string;
   controller: AbortController;
+  abortReason?: string;
 }
 
 interface ProcessKnowledgeRuntime {
@@ -58,8 +59,17 @@ function updateCapability(): void {
   post({ type: "configure", modelAvailable: available, sessionsRoot: runtime.sessionsRoot });
 }
 
-function cancelActiveReview(): void {
-  runtime.activeReview?.controller.abort();
+function cancelActiveReview(reason: string): void {
+  const review = runtime.activeReview;
+  if (!review || review.controller.signal.aborted) return;
+  review.abortReason = reason;
+  review.controller.abort();
+}
+
+export function isExpectedReviewInterruption(reason: string): boolean {
+  return reason === "foreground-model-became-busy"
+    || reason === "session-shutdown"
+    || reason === "knowledge-worker-restarting";
 }
 
 function reportWorkerIssue(error: unknown): void {
@@ -95,18 +105,39 @@ function workerEntryUrl(): URL {
 
 async function runReview(message: Extract<KnowledgeWorkerOutput, { type: "review_request" }>): Promise<void> {
   let timeout: NodeJS.Timeout | undefined;
+  let review: ActiveReview | undefined;
   try {
     const ctx = runtime.context;
     if (!ctx?.model || !ctx.modelRegistry.hasConfiguredAuth(ctx.model)) throw new Error("no-configured-model");
-    if (!ctx.isIdle() || ctx.hasPendingMessages()) throw new Error("model-executor-is-busy");
+    if (!ctx.isIdle() || ctx.hasPendingMessages()) {
+      post({
+        type: "review_deferred",
+        leaderToken: message.leaderToken,
+        requestId: message.requestId,
+        reason: "model-executor-is-busy",
+      });
+      return;
+    }
     const controller = new AbortController();
-    runtime.activeReview = { requestId: message.requestId, leaderToken: message.leaderToken, controller };
-    timeout = setTimeout(() => controller.abort(), KNOWLEDGE_RUNTIME_DEFAULTS.review.modelTimeoutMs);
+    review = { requestId: message.requestId, leaderToken: message.leaderToken, controller };
+    runtime.activeReview = review;
+    timeout = setTimeout(() => {
+      if (controller.signal.aborted) return;
+      review!.abortReason = "knowledge-review-model-timeout";
+      controller.abort();
+    }, KNOWLEDGE_RUNTIME_DEFAULTS.review.modelTimeoutMs);
     timeout.unref();
     const snapshot = loadKnowledgeSnapshot(message.task.projectKey);
-    const related: ExistingKnowledgeContext[] = matchKnowledge(
-      message.task.delta,
-      snapshot.catalog,
+    const applicableCatalog = {
+      ...snapshot.catalog,
+      items: snapshot.catalog.items.filter((entry) => (
+        entry.scope === "global" || entry.scope === `project:${message.task.projectKey}`
+      )),
+    };
+    const related: ExistingKnowledgeContext[] = recallKnowledge(
+      message.task.recallQuery || message.task.delta,
+      applicableCatalog,
+      message.task.loadedKnowledgeIds ?? [],
       KNOWLEDGE_RUNTIME_DEFAULTS.review.maxExistingContextItems,
     ).map((entry, index) => {
       const reference: ExistingKnowledgeContext = {
@@ -141,15 +172,19 @@ async function runReview(message: Extract<KnowledgeWorkerOutput, { type: "review
       },
       { signal: controller.signal, reasoningEffort: "low", cacheRetention: "none", sessionId: randomUUID() },
     );
-    if (controller.signal.aborted) throw new Error("knowledge-review-aborted-or-timed-out");
+    if (controller.signal.aborted) throw new Error(review.abortReason ?? "knowledge-review-interrupted");
     const raw = response.content.filter((item): item is { type: "text"; text: string } => item.type === "text")
       .map((item) => item.text).join("\n");
     post({ type: "review_result", leaderToken: message.leaderToken, requestId: message.requestId, raw });
   } catch (error) {
-    post({
-      type: "review_result", leaderToken: message.leaderToken, requestId: message.requestId,
-      error: error instanceof Error ? error.message : String(error),
-    });
+    const reason = review?.controller.signal.aborted
+      ? review.abortReason ?? "knowledge-review-interrupted"
+      : error instanceof Error ? error.message : String(error);
+    if (reason === "model-executor-is-busy" || isExpectedReviewInterruption(reason)) {
+      post({ type: "review_deferred", leaderToken: message.leaderToken, requestId: message.requestId, reason });
+    } else {
+      post({ type: "review_result", leaderToken: message.leaderToken, requestId: message.requestId, error: reason });
+    }
     try { updateCapability(); } catch { /* The worker lease will recover even if the extension context changed. */ }
   } finally {
     clearTimeout(timeout);
@@ -165,7 +200,7 @@ function handleWorkerMessage(message: KnowledgeWorkerOutput): void {
   }
   if (message.type === "review_request") { void runReview(message); return; }
   if (message.type === "review_cancel" && runtime.activeReview?.requestId === message.requestId) {
-    runtime.activeReview.controller.abort();
+    cancelActiveReview(message.reason);
     return;
   }
   if (message.type === "review_failed") reportWorkerIssue(message.error);
@@ -180,7 +215,7 @@ function ensureWorker(): Worker | undefined {
   worker.on("message", (message: KnowledgeWorkerOutput) => handleWorkerMessage(message));
   worker.on("error", (error) => {
     reportWorkerIssue(error);
-    cancelActiveReview();
+    cancelActiveReview("knowledge-worker-restarting");
     if (runtime.worker === worker) {
       runtime.worker = undefined;
       runtime.modelAvailable = undefined;
@@ -210,7 +245,13 @@ function configureForContext(ctx: ExtensionContext): void {
 }
 
 function currentProject(ctx: ExtensionContext): { root: string; key: string } {
-  const root = getWorkingDirectory(ctx.sessionManager);
+  const workingDirectory = resolve(getWorkingDirectory(ctx.sessionManager));
+  const workflowRootValue = findLatestWorkflowRoot(ctx.sessionManager.getEntries());
+  const workflowRoot = workflowRootValue ? resolve(workflowRootValue) : undefined;
+  const root = workflowRoot
+    && (workingDirectory === workflowRoot || workingDirectory.startsWith(`${workflowRoot}${sep}`))
+    ? workflowRoot
+    : workingDirectory;
   return { root, key: projectKnowledgeKey(root) };
 }
 
@@ -270,14 +311,14 @@ export default function registerKnowledgeExtension(pi: ExtensionAPI): void {
 
   pi.on("input", (_event, ctx) => {
     runtime.context = ctx;
-    cancelActiveReview();
+    cancelActiveReview("foreground-model-became-busy");
     updateCapability();
     return undefined;
   });
 
   pi.on("agent_start", (_event, ctx) => {
     runtime.context = ctx;
-    cancelActiveReview();
+    cancelActiveReview("foreground-model-became-busy");
   });
 
   pi.on("agent_settled", (_event, ctx) => {
@@ -287,7 +328,7 @@ export default function registerKnowledgeExtension(pi: ExtensionAPI): void {
   });
 
   pi.on("session_shutdown", (event) => {
-    cancelActiveReview();
+    cancelActiveReview("session-shutdown");
     if (event.reason === "quit") {
       runtime.context = undefined;
       updateCapability();

package/.pi/lib/knowledge/extractor.ts

@@ -19,12 +19,14 @@ Persist only knowledge that is likely to be useful in future sessions:
 - reusable architecture, testing, debugging, deployment, or operational knowledge.
 Do not persist task summaries, guesses, temporary IDs, credentials, secrets, private data, or facts recoverable by simply reading the repository.
 Do not persist mutable inventory such as current cloud resources, names, availability, status, timestamps, or account snapshots. Preserve the discovery method or selection rule instead. If useful procedure is mixed with volatile facts, remove the volatile facts.
+Do not persist hypotheses, suspected causes, or statements marked as possible, pending validation, or unconfirmed. Omit them until direct evidence verifies them.
 Treat failed, unsupported, invalid, or corrected operations as negative evidence. Never present an operation as valid when the supplied evidence says it failed; use only a verified alternative or record an explicit warning. Never invent commands or parameters absent from successful evidence.
 Use storageHint "rule" only for one short imperative instruction of at most 240 characters. A rule must not contain incident narration, example resource names, IDs, timestamps, or evidence details. Use "topic" for multi-step SOPs and detailed experience.
 Relevant existing knowledge may be supplied. If a candidate has the same intent as an existing item, do not add a translated, renamed, or reformatted duplicate. Set targetId to that exact existing ID and action to "reinforce" when the existing content remains correct, or "revise" only when the delta explicitly proves a correction. Use targetId null only for genuinely new knowledge.
 Scope may be "global" only for an explicit user directive intended across projects; otherwise use "project".
 The prior validation context is only for checking facts and contradictions; do not persist it again unless the new delta independently reinforces it. Prefer accumulated workflow successfulSteps and failedApproaches over assistant narration.
 Each summary must be one complete sentence of at most 160 characters. Keep each topic body under 2200 characters. Escape line breaks and quotes inside JSON strings. Set durability to "stable" only after removing facts likely to change or be cheaply rediscovered. Return at most 3 candidates.
+The body must not repeat the title as a Markdown H1. The storage renderer supplies the H1. Replace any necessary example resource value with an obvious placeholder instead of a real project, namespace, image, network, or resource name.
 Return: {"candidates":[{"key":"stable semantic key","targetId":"existing-id or null","title":"...","summary":"one complete sentence","keywords":["..."],"scope":"global|project","body":"markdown body","evidence":["verified evidence"],"confidence":0.0,"storageHint":"rule|topic","action":"add|reinforce|revise","explicitUserDirective":false,"durability":"stable"}]}
 Return {"candidates":[]} when nothing meets the threshold.`;
 

package/.pi/lib/knowledge/matcher.ts

@@ -80,7 +80,7 @@ function phraseScore(query: string, title: SearchField, summary: SearchField, ke
 export function matchKnowledge(
   query: string,
   catalog: KnowledgeCatalog,
-  limit = KNOWLEDGE_RUNTIME_DEFAULTS.storage.maxLookupResults,
+  limit: number = KNOWLEDGE_RUNTIME_DEFAULTS.storage.maxLookupResults,
 ): KnowledgeCatalogEntry[] {
   const normalizedQuery = normalizeSearchText(query);
   const compactQuery = normalizedQuery.replace(/\s+/gu, "");
@@ -120,3 +120,38 @@ export function matchKnowledge(
     .slice(0, limit)
     .map(({ item }) => item);
 }
+
+/** Keeps explicitly loaded knowledge in review context, then fills the remainder with cheap lexical recall. */
+export function recallKnowledge(
+  query: string,
+  catalog: KnowledgeCatalog,
+  preferredIds: string[],
+  limit: number = KNOWLEDGE_RUNTIME_DEFAULTS.storage.maxLookupResults,
+): KnowledgeCatalogEntry[] {
+  if (limit <= 0) return [];
+  const recalled: KnowledgeCatalogEntry[] = [];
+  const seen = new Set<string>();
+  const lexicalMatches = matchKnowledge(query, catalog, catalog.items.length);
+  const lexicalRank = new Map(lexicalMatches.map((entry, index) => [entry.id, index]));
+  const preferred = preferredIds.map((id, index) => ({
+    entry: catalog.items.find((item) => item.id === id), index,
+  })).filter((item): item is { entry: KnowledgeCatalogEntry; index: number } => Boolean(item.entry))
+    .sort((left, right) => (
+      (lexicalRank.get(left.entry.id) ?? Number.MAX_SAFE_INTEGER)
+      - (lexicalRank.get(right.entry.id) ?? Number.MAX_SAFE_INTEGER)
+      || left.index - right.index
+    ));
+  for (const { entry } of preferred) {
+    if (seen.has(entry.id)) continue;
+    recalled.push(entry);
+    seen.add(entry.id);
+    if (recalled.length >= limit) return recalled;
+  }
+  for (const entry of lexicalMatches) {
+    if (seen.has(entry.id)) continue;
+    recalled.push(entry);
+    seen.add(entry.id);
+    if (recalled.length >= limit) break;
+  }
+  return recalled;
+}

package/.pi/lib/knowledge/review-status.ts

@@ -23,6 +23,12 @@ export interface KnowledgeReviewStatus {
     attempt: number;
     startedAt: string;
   };
+  lastDeferred?: {
+    reviewKey: string;
+    sessionKey: string;
+    deferredAt: string;
+    reason: string;
+  };
   lastReview?: {
     reviewKey: string;
     sessionKey: string;

package/.pi/lib/knowledge/review-worker.ts

@@ -113,6 +113,23 @@ function finishReview(
   publishReviewStatus();
 }
 
+function deferReview(task: KnowledgeReviewTask, reason: string): void {
+  clearTimeout(activeDeadlineTimer);
+  activeDeadlineTimer = undefined;
+  const attempts = reviewAttempts.get(task.reviewKey) ?? 1;
+  if (attempts <= 1) reviewAttempts.delete(task.reviewKey);
+  else reviewAttempts.set(task.reviewKey, attempts - 1);
+  if (!reviewStatus) return;
+  reviewStatus.activeReview = undefined;
+  reviewStatus.lastDeferred = {
+    reviewKey: task.reviewKey,
+    sessionKey: task.sessionKey,
+    deferredAt: new Date().toISOString(),
+    reason: boundedError(reason),
+  };
+  publishReviewStatus();
+}
+
 function removeLeaderMetadata(token: string): void {
   try {
     const current = JSON.parse(readFileSync(paths.knowledgeLeader, "utf8")) as { leaderToken?: string };
@@ -332,6 +349,13 @@ function handleReviewResult(message: Extract<KnowledgeWorkerInput, { type: "revi
   }
 }
 
+function handleReviewDeferred(message: Extract<KnowledgeWorkerInput, { type: "review_deferred" }>): void {
+  const task = activeTask;
+  if (!task || message.requestId !== task.requestId || message.leaderToken !== leaderToken || !leaderServer) return;
+  deferReview(task, message.reason);
+  activeTask = undefined;
+}
+
 const scanTimer = setInterval(() => { void scanForReview(); }, KNOWLEDGE_RUNTIME_DEFAULTS.review.intervalMs);
 scanTimer.unref();
 
@@ -348,6 +372,7 @@ parentPort.on("message", (message: KnowledgeWorkerInput) => {
     } else scheduleElection(0);
     return;
   }
+  if (message.type === "review_deferred") { handleReviewDeferred(message); return; }
   if (message.type === "review_result") { handleReviewResult(message); return; }
   if (message.type === "scan_now") { void scanForReview(); return; }
   stopped = true;

package/.pi/lib/knowledge/session-scanner.ts

@@ -1,12 +1,13 @@
 import { createHash, randomUUID } from "node:crypto";
 import { readFileSync, readdirSync, statSync } from "node:fs";
-import { resolve } from "node:path";
+import { resolve, sep } from "node:path";
 
 import {
   buildContextEntries, parseSessionEntries, type SessionEntry, type SessionHeader,
 } from "@earendil-works/pi-coding-agent";
 
 import { KNOWLEDGE_RUNTIME_DEFAULTS } from "../runtime/defaults.ts";
+import { findLatestWorkflowRoot } from "../working-directory.ts";
 import { knowledgeDeltaDigest } from "./extractor.ts";
 import { sanitizeKnowledgeText } from "./sanitize.ts";
 import { projectKnowledgeKey } from "./store.ts";
@@ -21,6 +22,9 @@ interface ReviewPiece {
 
 const FAILURE_EVIDENCE_RE = /(?:\b(?:error|failed|failure|invalid|unsupported|mistyp(?:e|ed)|typo)\b|not supported|失败|错误|不支持|无效)/iu;
 const INJECTED_SKILL_RE = /<skill\b[^>]*>[\s\S]*?<\/skill>/giu;
+const SAFE_KNOWLEDGE_ID_RE = /^[a-z0-9][a-z0-9-]{0,79}$/u;
+const MAX_RECALL_QUERY_CHARS = 4_000;
+const MAX_LOADED_KNOWLEDGE_IDS = 8;
 
 function hash(value: string, length = 64): string {
   return createHash("sha256").update(value).digest("hex").slice(0, length);
@@ -104,14 +108,114 @@ function buildValidationContext(entries: SessionEntry[]): string {
     .slice(0, KNOWLEDGE_RUNTIME_DEFAULTS.review.maxPriorContextChars);
 }
 
+function messageRecord(entry: SessionEntry): Record<string, unknown> | undefined {
+  return entry.type === "message" && entry.message && typeof entry.message === "object"
+    ? entry.message as unknown as Record<string, unknown>
+    : undefined;
+}
+
+function loadedKnowledgeIds(entries: SessionEntry[]): string[] {
+  const ids: string[] = [];
+  for (const entry of entries) {
+    const content = messageRecord(entry)?.content;
+    if (!Array.isArray(content)) continue;
+    for (const item of content) {
+      if (!item || typeof item !== "object") continue;
+      const call = item as Record<string, unknown>;
+      if (call.type !== "toolCall" || call.name !== "hwcode_knowledge_lookup"
+        || !call.arguments || typeof call.arguments !== "object") continue;
+      const id = (call.arguments as Record<string, unknown>).id;
+      if (typeof id !== "string" || !SAFE_KNOWLEDGE_ID_RE.test(id)) continue;
+      const existing = ids.indexOf(id);
+      if (existing >= 0) ids.splice(existing, 1);
+      ids.push(id);
+    }
+  }
+  return ids.slice(-MAX_LOADED_KNOWLEDGE_IDS);
+}
+
+function compactRecallValue(value: unknown, maxChars = 600): string {
+  return typeof value === "string" ? sanitizeKnowledgeText(value).replace(/\s+/gu, " ").trim().slice(0, maxChars) : "";
+}
+
+function workflowRecallLines(entry: SessionEntry): string[] {
+  if (entry.type !== "custom" || !entry.customType.startsWith("hwcode-workflow")
+    || !entry.data || typeof entry.data !== "object") return [];
+  const data = entry.data as Record<string, unknown>;
+  const details = data.details && typeof data.details === "object" ? data.details as Record<string, unknown> : undefined;
+  const lines: string[] = [];
+  const request = compactRecallValue(details?.request ?? data.request, 800);
+  if (request) lines.push(`Task objective: ${request}`);
+
+  const addSteps = (label: string, value: unknown, maxItems: number): void => {
+    if (!Array.isArray(value)) return;
+    for (const raw of value.slice(-maxItems)) {
+      if (typeof raw === "string") {
+        const text = compactRecallValue(raw);
+        if (text) lines.push(`${label}: ${text}`);
+        continue;
+      }
+      if (!raw || typeof raw !== "object") continue;
+      const step = raw as Record<string, unknown>;
+      const parts = [step.approach, step.intent, step.reason].map((item) => compactRecallValue(item, 320)).filter(Boolean);
+      if (typeof step.command === "string") parts.push(step.command);
+      if (Array.isArray(step.args)) {
+        const operation = step.args.slice(0, 2).filter((item): item is string => typeof item === "string")
+          .map((item) => compactRecallValue(item, 100)).filter(Boolean).join(" ");
+        if (operation) parts.push(operation);
+      }
+      const text = [...new Set(parts)].join("; ");
+      if (text) lines.push(`${label}: ${text}`);
+    }
+  };
+  addSteps("Verified success", details?.successfulSteps ?? data.successfulSteps, 12);
+  addSteps("Verified failure", details?.failedApproaches ?? data.failedApproaches, 8);
+  return lines;
+}
+
+function buildRecallQuery(entries: SessionEntry[], ids: string[]): string {
+  const lines: string[] = [];
+  const workflows = entries.map(workflowRecallLines).filter((item) => item.length > 0);
+  const workflowLines = workflows.at(-1) ?? [];
+  lines.push(...workflowLines.filter((line) => line.startsWith("Task objective:")));
+
+  for (const entry of entries.slice().reverse()) {
+    const message = messageRecord(entry);
+    if (!message || message.role !== "user") continue;
+    const text = compactRecallValue(textContent(message.content).replace(INJECTED_SKILL_RE, ""), 800);
+    if (text) lines.push(`User request: ${text}`);
+    if (lines.filter((line) => line.startsWith("User request:")).length >= 2) break;
+  }
+  for (const entry of entries.slice().reverse()) {
+    const message = messageRecord(entry);
+    if (!message || message.role !== "assistant") continue;
+    const text = compactRecallValue(textContent(message.content), 1_000);
+    if (text) { lines.push(`Latest conclusion: ${text}`); break; }
+  }
+  for (const id of ids) lines.push(`Loaded knowledge: ${id}`);
+  lines.push(...workflowLines.filter((line) => line.startsWith("Verified failure:")));
+  lines.push(...workflowLines.filter((line) => line.startsWith("Verified success:")));
+  return lines.join("\n").slice(0, MAX_RECALL_QUERY_CHARS);
+}
+
 function projectRootForSession(header: SessionHeader, branch: SessionEntry[]): string {
+  const sessionRoot = resolve(header.cwd);
+  const workflowRootValue = findLatestWorkflowRoot(branch);
+  const workflowRoot = workflowRootValue ? resolve(workflowRootValue) : undefined;
+  let workingDirectory = sessionRoot;
   for (const entry of branch.slice().reverse()) {
     if (entry.type !== "custom" || entry.customType !== "hwcode-working-directory"
       || !entry.data || typeof entry.data !== "object") continue;
     const cwd = (entry.data as Record<string, unknown>).cwd;
-    if (typeof cwd === "string" && cwd) return resolve(cwd);
+    if (typeof cwd !== "string" || !cwd) continue;
+    workingDirectory = resolve(cwd);
+    break;
+  }
+  if (workflowRoot && (workingDirectory === workflowRoot || workingDirectory.startsWith(`${workflowRoot}${sep}`))) {
+    return workflowRoot;
   }
-  return resolve(header.cwd);
+  if (workingDirectory === sessionRoot || workingDirectory.startsWith(`${sessionRoot}${sep}`)) return sessionRoot;
+  return workingDirectory;
 }
 
 export function discoverSessionFiles(root: string): string[] {
@@ -153,10 +257,12 @@ export function readReviewTask(
   const pending = branch.slice(cursorIndex + 1);
   if (pending.length === 0) return undefined;
   const delta = buildDelta(pending);
+  const loadedIds = loadedKnowledgeIds(pending);
+  const recallQuery = buildRecallQuery(pending, loadedIds);
   const context = cursorIndex >= 0 ? buildValidationContext(branch.slice(0, cursorIndex + 1)) : "";
   const firstEntryId = pending[0].id;
   const lastEntryId = pending[pending.length - 1].id;
-  const deltaDigest = knowledgeDeltaDigest(delta || `${firstEntryId}\0${lastEntryId}`);
+  const deltaDigest = knowledgeDeltaDigest(`${delta || `${firstEntryId}\0${lastEntryId}`}\0${recallQuery}\0${loadedIds.join("\0")}`);
   const sessionFileHash = hash(resolve(sessionFile), 16);
   const sessionKey = hash(header.id, 24);
   const reviewKey = hash(`${header.id}\0${firstEntryId}\0${lastEntryId}\0${deltaDigest}`);
@@ -164,7 +270,8 @@ export function readReviewTask(
   return {
     requestId: randomUUID(), reviewKey, sessionId: header.id, sessionKey, sessionFileHash,
     projectRoot, projectKey: projectKnowledgeKey(projectRoot),
-    firstEntryId, lastEntryId, context, delta, deltaDigest, fileSize: stat.size, fileMtimeMs: stat.mtimeMs,
+    firstEntryId, lastEntryId, context, delta, recallQuery, loadedKnowledgeIds: loadedIds,
+    deltaDigest, fileSize: stat.size, fileMtimeMs: stat.mtimeMs,
   };
 }