pulseed 0.1.4 → 0.1.5

package/dist/knowledge/knowledge-manager-query.js

@@ -0,0 +1,287 @@
+import { randomUUID } from "node:crypto";
+import { z } from "zod";
+import { TaskSchema } from "../types/task.js";
+import { KnowledgeGapSignalSchema, ContradictionResultSchema, } from "../types/knowledge.js";
+import { loadDomainKnowledge } from "./knowledge-search.js";
+// ─── LLM response schemas ───
+export const GapDetectionResponseSchema = z.object({
+    has_gap: z.boolean(),
+    signal_type: z
+        .enum([
+        "interpretation_difficulty",
+        "strategy_deadlock",
+        "stall_information_deficit",
+        "new_domain",
+        "prerequisite_missing",
+    ])
+        .optional(),
+    missing_knowledge: z.string().optional(),
+    source_step: z.string().optional(),
+    related_dimension: z.string().nullable().optional(),
+});
+export const AcquisitionTaskFieldsSchema = z.object({
+    knowledge_target: z.string(),
+    // Allow up to 6 from LLM; we clamp to 5 in generateAcquisitionTask
+    knowledge_questions: z.array(z.string()).min(3),
+    in_scope: z.array(z.string()),
+    out_of_scope: z.array(z.string()),
+});
+export const ContradictionCheckResponseSchema = z.object({
+    has_contradiction: z.boolean(),
+    conflicting_entry_id: z.string().nullable().default(null),
+    resolution: z.string().nullable().default(null),
+});
+// ─── detectKnowledgeGap ───
+/**
+ * Detect whether the given context reveals a knowledge gap.
+ *
+ * Fast-path heuristics:
+ *   - confidence < 0.3 → interpretation_difficulty
+ *   - strategies empty  → strategy_deadlock
+ *
+ * Otherwise, delegate to LLM for deeper analysis.
+ */
+export async function detectKnowledgeGap(deps, context) {
+    const { llmClient, gateway } = deps;
+    // Fast-path: low confidence → interpretation difficulty
+    if (context.confidence < 0.3) {
+        return KnowledgeGapSignalSchema.parse({
+            signal_type: "interpretation_difficulty",
+            missing_knowledge: "Observation confidence is too low to interpret results reliably",
+            source_step: "gap_recognition",
+            related_dimension: null,
+        });
+    }
+    // Fast-path: strategies is an explicit empty array (tried and found none) → strategy deadlock.
+    // null/undefined means "not yet available" and must NOT trigger this fast-path.
+    if (Array.isArray(context.strategies) && context.strategies.length === 0) {
+        return KnowledgeGapSignalSchema.parse({
+            signal_type: "strategy_deadlock",
+            missing_knowledge: "No strategies available — domain knowledge needed to generate hypotheses",
+            source_step: "strategy_selection",
+            related_dimension: null,
+        });
+    }
+    // LLM-based detection for borderline cases
+    const prompt = `Analyze the following context and determine whether there is a knowledge gap that would prevent effective progress.
+
+Observations (${context.observations.length} items): ${JSON.stringify(context.observations).slice(0, 500)}
+Strategies (${(context.strategies ?? []).length} items): ${JSON.stringify(context.strategies ?? []).slice(0, 500)}
+Confidence: ${context.confidence}
+
+Determine if there is a knowledge gap. Respond with JSON:
+{
+  "has_gap": boolean,
+  "signal_type": "interpretation_difficulty" | "strategy_deadlock" | "stall_information_deficit" | "new_domain" | "prerequisite_missing" | null,
+  "missing_knowledge": "description of what is missing" | null,
+  "source_step": "gap_recognition" | "strategy_selection" | "task_generation" | null,
+  "related_dimension": "dimension name" | null
+}`;
+    let parsed;
+    if (gateway) {
+        try {
+            parsed = await gateway.execute({
+                purpose: "knowledge_gap_detection",
+                additionalContext: { gap_detection_prompt: prompt },
+                responseSchema: GapDetectionResponseSchema,
+                maxTokens: 512,
+            });
+        }
+        catch {
+            return null;
+        }
+    }
+    else {
+        const response = await llmClient.sendMessage([{ role: "user", content: prompt }], {
+            system: "You are a knowledge gap detector. Analyze contexts to identify missing domain knowledge. Respond with JSON only.",
+            max_tokens: 512,
+        });
+        try {
+            parsed = llmClient.parseJSON(response.content, GapDetectionResponseSchema);
+        }
+        catch {
+            return null;
+        }
+    }
+    if (!parsed.has_gap) {
+        return null;
+    }
+    return KnowledgeGapSignalSchema.parse({
+        signal_type: parsed.signal_type ?? "interpretation_difficulty",
+        missing_knowledge: parsed.missing_knowledge ?? "Unspecified knowledge gap detected",
+        source_step: parsed.source_step ?? "gap_recognition",
+        related_dimension: parsed.related_dimension ?? null,
+    });
+}
+// ─── generateAcquisitionTask ───
+/**
+ * Generate a knowledge acquisition Task for the given signal and goal.
+ * The task will have task_category: "knowledge_acquisition", 3-5 research
+ * questions, and explicit scope limits.
+ */
+export async function generateAcquisitionTask(deps, signal, goalId) {
+    const { llmClient, gateway, stateManager } = deps;
+    const prompt = `You are generating a knowledge acquisition task for an AI orchestrator.
+
+Goal ID: ${goalId}
+Knowledge Gap Signal:
+  Type: ${signal.signal_type}
+  Missing Knowledge: ${signal.missing_knowledge}
+  Source Step: ${signal.source_step}
+  Related Dimension: ${signal.related_dimension ?? "none"}
+
+Generate a research task with 3-5 specific questions that, when answered, will resolve this knowledge gap.
+The task must be scoped to information collection only — no system changes.
+
+Respond with JSON:
+{
+  "knowledge_target": "concise description of what knowledge is needed",
+  "knowledge_questions": ["question 1", "question 2", "question 3"],
+  "in_scope": ["item 1", "item 2"],
+  "out_of_scope": ["item 1", "item 2"]
+}`;
+    let fields;
+    if (gateway) {
+        fields = await gateway.execute({
+            purpose: "knowledge_acquisition",
+            goalId,
+            additionalContext: { acquisition_prompt: prompt },
+            responseSchema: AcquisitionTaskFieldsSchema,
+            maxTokens: 1024,
+        });
+    }
+    else {
+        const response = await llmClient.sendMessage([{ role: "user", content: prompt }], {
+            system: "You generate knowledge acquisition tasks. Produce 3-5 specific research questions. Respond with JSON only.",
+            max_tokens: 1024,
+        });
+        fields = llmClient.parseJSON(response.content, AcquisitionTaskFieldsSchema);
+    }
+    // Clamp questions to 3-5
+    const questions = fields.knowledge_questions.slice(0, 5);
+    const taskId = randomUUID();
+    const now = new Date().toISOString();
+    const criteriaDescription = `All ${questions.length} research questions are answered with cited sources: ${questions.join("; ")}`;
+    const task = TaskSchema.parse({
+        id: taskId,
+        goal_id: goalId,
+        strategy_id: null,
+        target_dimensions: signal.related_dimension
+            ? [signal.related_dimension]
+            : [],
+        primary_dimension: signal.related_dimension ?? "knowledge",
+        work_description: `Research task: ${fields.knowledge_target}`,
+        rationale: `Knowledge gap detected (${signal.signal_type}): ${signal.missing_knowledge}`,
+        approach: `Research the following questions using web search and document analysis:
+${questions.map((q, i) => `${i + 1}. ${q}`).join("\n")}`,
+        success_criteria: [
+            {
+                description: criteriaDescription,
+                verification_method: "Verify each question has a cited answer in the task output",
+                is_blocking: true,
+            },
+        ],
+        scope_boundary: {
+            in_scope: ["Information collection", "Web search", "Document reading", ...fields.in_scope],
+            out_of_scope: [
+                "System modifications",
+                "Code changes",
+                "Data mutations",
+                ...fields.out_of_scope,
+            ],
+            blast_radius: "None — read-only research task",
+        },
+        constraints: [
+            `In scope: ${fields.in_scope.join(", ")}. Out of scope: ${fields.out_of_scope.join(", ")}`,
+            "No system modifications allowed",
+            "Maximum 3-5 research questions per task",
+        ],
+        reversibility: "reversible",
+        estimated_duration: { value: 4, unit: "hours" },
+        task_category: "knowledge_acquisition",
+        status: "pending",
+        created_at: now,
+    });
+    // Persist
+    await stateManager.writeRaw(`tasks/${goalId}/${taskId}.json`, task);
+    return task;
+}
+// ─── checkContradiction ───
+/**
+ * Check whether a new entry contradicts existing same-tag entries.
+ * Uses LLM to compare answers for entries sharing tags with the new entry.
+ */
+export async function checkContradiction(deps, goalId, newEntry) {
+    const { llmClient, gateway, stateManager } = deps;
+    // Load entries that share at least one tag with the new entry
+    const domainKnowledge = await loadDomainKnowledge(stateManager, goalId);
+    const candidateEntries = domainKnowledge.entries.filter((existing) => existing.entry_id !== newEntry.entry_id &&
+        existing.tags.some((tag) => newEntry.tags.includes(tag)) &&
+        existing.superseded_by === null);
+    if (candidateEntries.length === 0) {
+        return ContradictionResultSchema.parse({
+            has_contradiction: false,
+            conflicting_entry_id: null,
+            resolution: null,
+        });
+    }
+    const existingSummary = candidateEntries
+        .map((e) => `Entry ${e.entry_id}:
+  Question: ${e.question}
+  Answer: ${e.answer}
+  Tags: ${e.tags.join(", ")}`)
+        .join("\n\n");
+    const prompt = `Check whether the new knowledge entry contradicts any existing entries.
+
+New Entry:
+  Question: ${newEntry.question}
+  Answer: ${newEntry.answer}
+  Tags: ${newEntry.tags.join(", ")}
+
+Existing Entries (same tags):
+${existingSummary}
+
+Determine if there is a factual contradiction. Respond with JSON:
+{
+  "has_contradiction": boolean,
+  "conflicting_entry_id": "entry_id of the conflicting entry" | null,
+  "resolution": "explanation of the contradiction and suggested resolution" | null
+}`;
+    if (gateway) {
+        try {
+            const parsed = await gateway.execute({
+                purpose: "knowledge_contradiction",
+                goalId,
+                additionalContext: { contradiction_prompt: prompt },
+                responseSchema: ContradictionCheckResponseSchema,
+                maxTokens: 512,
+            });
+            return ContradictionResultSchema.parse(parsed);
+        }
+        catch {
+            return ContradictionResultSchema.parse({
+                has_contradiction: false,
+                conflicting_entry_id: null,
+                resolution: null,
+            });
+        }
+    }
+    else {
+        const response = await llmClient.sendMessage([{ role: "user", content: prompt }], {
+            system: "You are a knowledge consistency checker. Detect factual contradictions between knowledge entries. Respond with JSON only.",
+            max_tokens: 512,
+        });
+        try {
+            const parsed = llmClient.parseJSON(response.content, ContradictionCheckResponseSchema);
+            return ContradictionResultSchema.parse(parsed);
+        }
+        catch {
+            return ContradictionResultSchema.parse({
+                has_contradiction: false,
+                conflicting_entry_id: null,
+                resolution: null,
+            });
+        }
+    }
+}
+//# sourceMappingURL=knowledge-manager-query.js.map

package/dist/knowledge/knowledge-manager-query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-manager-query.js","sourceRoot":"","sources":["../../src/knowledge/knowledge-manager-query.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,OAAO,EACL,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,uBAAuB,CAAC;AAM/B,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAW5D,+BAA+B;AAE/B,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC,MAAM,CAAC;IACjD,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB,WAAW,EAAE,CAAC;SACX,IAAI,CAAC;QACJ,2BAA2B;QAC3B,mBAAmB;QACnB,2BAA2B;QAC3B,YAAY;QACZ,sBAAsB;KACvB,CAAC;SACD,QAAQ,EAAE;IACb,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACxC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;CACpD,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,MAAM,CAAC;IAClD,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,mEAAmE;IACnE,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/C,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;CAClC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvD,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE;IAC9B,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;IACzD,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC;CAChD,CAAC,CAAC;AAEH,6BAA6B;AAE7B;;;;;;;;GAQG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAAwB,EACxB,OAIC;IAED,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;IAEpC,wDAAwD;IACxD,IAAI,OAAO,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;QAC7B,OAAO,wBAAwB,CAAC,KAAK,CAAC;YACpC,WAAW,EAAE,2BAA2B;YACxC,iBAAiB,EACf,iEAAiE;YACnE,WAAW,EAAE,iBAAiB;YAC9B,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC;IACL,CAAC;IAED,+FAA+F;IAC/F,gFAAgF;IAChF,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzE,OAAO,wBAAwB,CAAC,KAAK,CAAC;YACpC,WAAW,EAAE,mBAAmB;YAChC,iBAAiB,EACf,0EAA0E;YAC5E,WAAW,EAAE,oBAAoB;YACjC,iBAAiB,EAAE,IAAI;SACxB,CAAC,CAAC;IACL,CAAC;IAED,2CAA2C;IAC3C,MAAM,MAAM,GAAG;;gBAED,OAAO,CAAC,YAAY,CAAC,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;cAC3F,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,MAAM,YAAY,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;cACnG,OAAO,CAAC,UAAU;;;;;;;;;EAS9B,CAAC;IAED,IAAI,MAAkD,CAAC;IACvD,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC;gBAC7B,OAAO,EAAE,yBAAyB;gBAClC,iBAAiB,EAAE,EAAE,oBAAoB,EAAE,MAAM,EAAE;gBACnD,cAAc,EAAE,0BAA0B;gBAC1C,SAAS,EAAE,GAAG;aACf,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,WAAW,CAC1C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EACnC;YACE,MAAM,EACJ,kHAAkH;YACpH,UAAU,EAAE,GAAG;SAChB,CACF,CAAC;QAEF,IAAI,CAAC;YACH,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC,CAAC;QAC7E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;QACpB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,wBAAwB,CAAC,KAAK,CAAC;QACpC,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,2BAA2B;QAC9D,iBAAiB,EACf,MAAM,CAAC,iBAAiB,IAAI,oCAAoC;QAClE,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,iBAAiB;QACpD,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,IAAI;KACpD,CAAC,CAAC;AACL,CAAC;AAED,kCAAkC;AAElC;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAwB,EACxB,MAA0B,EAC1B,MAAc;IAEd,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAElD,MAAM,MAAM,GAAG;;WAEN,MAAM;;UAEP,MAAM,CAAC,WAAW;uBACL,MAAM,CAAC,iBAAiB;iBAC9B,MAAM,CAAC,WAAW;uBACZ,MAAM,CAAC,iBAAiB,IAAI,MAAM;;;;;;;;;;;EAWvD,CAAC;IAED,IAAI,MAAmD,CAAC;IACxD,IAAI,OAAO,EAAE,CAAC;QACZ,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC;YAC7B,OAAO,EAAE,uBAAuB;YAChC,MAAM;YACN,iBAAiB,EAAE,EAAE,kBAAkB,EAAE,MAAM,EAAE;YACjD,cAAc,EAAE,2BAA2B;YAC3C,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,WAAW,CAC1C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EACnC;YACE,MAAM,EACJ,4GAA4G;YAC9G,UAAU,EAAE,IAAI;SACjB,CACF,CAAC;QAEF,MAAM,GAAG,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,EAAE,2BAA2B,CAAC,CAAC;IAC9E,CAAC;IAED,yBAAyB;IACzB,MAAM,SAAS,GAAG,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzD,MAAM,MAAM,GAAG,UAAU,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAErC,MAAM,mBAAmB,GAAG,OAAO,SAAS,CAAC,MAAM,wDAAwD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAElI,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC;QAC5B,EAAE,EAAE,MAAM;QACV,OAAO,EAAE,MAAM;QACf,WAAW,EAAE,IAAI;QACjB,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;YACzC,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAC;YAC5B,CAAC,CAAC,EAAE;QACN,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,WAAW;QAC1D,gBAAgB,EAAE,kBAAkB,MAAM,CAAC,gBAAgB,EAAE;QAC7D,SAAS,EAAE,2BAA2B,MAAM,CAAC,WAAW,MAAM,MAAM,CAAC,iBAAiB,EAAE;QACxF,QAAQ,EAAE;EACZ,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QACpD,gBAAgB,EAAE;YAChB;gBACE,WAAW,EAAE,mBAAmB;gBAChC,mBAAmB,EACjB,4DAA4D;gBAC9D,WAAW,EAAE,IAAI;aAClB;SACF;QACD,cAAc,EAAE;YACd,QAAQ,EAAE,CAAC,wBAAwB,EAAE,YAAY,EAAE,kBAAkB,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAC;YAC1F,YAAY,EAAE;gBACZ,sBAAsB;gBACtB,cAAc;gBACd,gBAAgB;gBAChB,GAAG,MAAM,CAAC,YAAY;aACvB;YACD,YAAY,EAAE,gCAAgC;SAC/C;QACD,WAAW,EAAE;YACX,aAAa,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC1F,iCAAiC;YACjC,yCAAyC;SAC1C;QACD,aAAa,EAAE,YAAY;QAC3B,kBAAkB,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;QAC/C,aAAa,EAAE,uBAAuB;QACtC,MAAM,EAAE,SAAS;QACjB,UAAU,EAAE,GAAG;KAChB,CAAC,CAAC;IAEH,UAAU;IACV,MAAM,YAAY,CAAC,QAAQ,CAAC,SAAS,MAAM,IAAI,MAAM,OAAO,EAAE,IAAI,CAAC,CAAC;IAEpE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,6BAA6B;AAE7B;;;GAGG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAAwB,EACxB,MAAc,EACd,QAAwB;IAExB,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IAElD,8DAA8D;IAC9D,MAAM,eAAe,GAAG,MAAM,mBAAmB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACxE,MAAM,gBAAgB,GAAG,eAAe,CAAC,OAAO,CAAC,MAAM,CACrD,CAAC,QAAQ,EAAE,EAAE,CACX,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;QACvC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACxD,QAAQ,CAAC,aAAa,KAAK,IAAI,CAClC,CAAC;IAEF,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClC,OAAO,yBAAyB,CAAC,KAAK,CAAC;YACrC,iBAAiB,EAAE,KAAK;YACxB,oBAAoB,EAAE,IAAI;YAC1B,UAAU,EAAE,IAAI;SACjB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,eAAe,GAAG,gBAAgB;SACrC,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,SAAS,CAAC,CAAC,QAAQ;cACb,CAAC,CAAC,QAAQ;YACZ,CAAC,CAAC,MAAM;UACV,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACxB;SACA,IAAI,CAAC,MAAM,CAAC,CAAC;IAEhB,MAAM,MAAM,GAAG;;;cAGH,QAAQ,CAAC,QAAQ;YACnB,QAAQ,CAAC,MAAM;UACjB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;;;EAGhC,eAAe;;;;;;;EAOf,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,OAAO,CAAC;gBACnC,OAAO,EAAE,yBAAyB;gBAClC,MAAM;gBACN,iBAAiB,EAAE,EAAE,oBAAoB,EAAE,MAAM,EAAE;gBACnD,cAAc,EAAE,gCAAgC;gBAChD,SAAS,EAAE,GAAG;aACf,CAAC,CAAC;YACH,OAAO,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,yBAAyB,CAAC,KAAK,CAAC;gBACrC,iBAAiB,EAAE,KAAK;gBACxB,oBAAoB,EAAE,IAAI;gBAC1B,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,MAAM,SAAS,CAAC,WAAW,CAC1C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,EACnC;YACE,MAAM,EACJ,2HAA2H;YAC7H,UAAU,EAAE,GAAG;SAChB,CACF,CAAC;QAEF,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,SAAS,CAAC,SAAS,CAChC,QAAQ,CAAC,OAAO,EAChB,gCAAgC,CACjC,CAAC;YACF,OAAO,yBAAyB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACjD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,yBAAyB,CAAC,KAAK,CAAC;gBACrC,iBAAiB,EAAE,KAAK;gBACxB,oBAAoB,EAAE,IAAI;gBAC1B,UAAU,EAAE,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/knowledge/knowledge-manager.d.ts

@@ -1,4 +1,4 @@
-import { StateManager } from "../state-manager.js";
+import { StateManager } from "../state/state-manager.js";
 import type { ILLMClient } from "../llm/llm-client.js";
 import type { IPromptGateway } from "../prompt/gateway.js";
 import type { Task } from "../types/task.js";
@@ -8,6 +8,7 @@ import type { IEmbeddingClient } from "./embedding-client.js";
 import { searchKnowledge, searchAcrossGoals, searchByEmbedding, querySharedKnowledge } from "./knowledge-search.js";
 import { classifyDomainStability, getStaleEntries, generateRevalidationTasks, computeRevalidationDue } from "./knowledge-revalidation.js";
 export { searchKnowledge, searchAcrossGoals, searchByEmbedding, querySharedKnowledge, classifyDomainStability, getStaleEntries, generateRevalidationTasks, computeRevalidationDue, };
+export { detectKnowledgeGap, generateAcquisitionTask, checkContradiction } from "./knowledge-manager-query.js";
 /**
  * KnowledgeManager detects knowledge gaps, generates research tasks,
  * and persists/retrieves domain knowledge entries.
@@ -23,25 +24,11 @@ export declare class KnowledgeManager {
     private readonly embeddingClient?;
     private readonly gateway?;
     constructor(stateManager: StateManager, llmClient: ILLMClient, vectorIndex?: VectorIndex, embeddingClient?: IEmbeddingClient, gateway?: IPromptGateway);
-    /**
-     * Detect whether the given context reveals a knowledge gap.
-     *
-     * Fast-path heuristics:
-     *   - confidence < 0.3 → interpretation_difficulty
-     *   - strategies empty  → strategy_deadlock
-     *
-     * Otherwise, delegate to LLM for deeper analysis.
-     */
     detectKnowledgeGap(context: {
         observations: unknown[];
         strategies: unknown[] | null | undefined;
         confidence: number;
     }): Promise<KnowledgeGapSignal | null>;
-    /**
-     * Generate a knowledge acquisition Task for the given signal and goal.
-     * The task will have task_category: "knowledge_acquisition", 3-5 research
-     * questions, and explicit scope limits.
-     */
     generateAcquisitionTask(signal: KnowledgeGapSignal, goalId: string): Promise<Task>;
     /**
      * Persist a KnowledgeEntry to ~/.pulseed/goals/<goal_id>/domain_knowledge.json
@@ -53,10 +40,6 @@ export declare class KnowledgeManager {
      * An entry matches if ALL provided tags appear in the entry's tags array.
      */
     loadKnowledge(goalId: string, tags?: string[]): Promise<KnowledgeEntry[]>;
-    /**
-     * Check whether a new entry contradicts existing same-tag entries.
-     * Uses LLM to compare answers for entries sharing tags with the new entry.
-     */
     checkContradiction(goalId: string, newEntry: KnowledgeEntry): Promise<ContradictionResult>;
     /**
      * Returns knowledge entries whose tags include the given dimension name.

package/dist/knowledge/knowledge-manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"knowledge-manager.d.ts","sourceRoot":"","sources":["../../src/knowledge/knowledge-manager.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAS7C,OAAO,KAAK,EACV,cAAc,EAEd,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,eAAe,EACf,cAAc,EACf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EAGrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACvB,MAAM,6BAA6B,CAAC;AAUrC,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,uBAAuB,EACvB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,GACvB,CAAC;AAuCF;;;;;;;GAOG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAe;IAC5C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAa;IACvC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAc;IAC3C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAmB;IACpD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAiB;gBAGxC,YAAY,EAAE,YAAY,EAC1B,SAAS,EAAE,UAAU,EACrB,WAAW,CAAC,EAAE,WAAW,EACzB,eAAe,CAAC,EAAE,gBAAgB,EAClC,OAAO,CAAC,EAAE,cAAc;IAW1B;;;;;;;;OAQG;IACG,kBAAkB,CAAC,OAAO,EAAE;QAChC,YAAY,EAAE,OAAO,EAAE,CAAC;QACxB,UAAU,EAAE,OAAO,EAAE,GAAG,IAAI,GAAG,SAAS,CAAC;QACzC,UAAU,EAAE,MAAM,CAAC;KACpB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAuFtC;;;;OAIG;IACG,uBAAuB,CAC3B,MAAM,EAAE,kBAAkB,EAC1B,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,IAAI,CAAC;IAuGhB;;OAEG;IACG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC;IA4CzE;;;;OAIG;IACG,aAAa,CACjB,MAAM,EAAE,MAAM,EACd,IAAI,CAAC,EAAE,MAAM,EAAE,GACd,OAAO,CAAC,cAAc,EAAE,CAAC;IAe5B;;;OAGG;IACG,kBAAkB,CACtB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,cAAc,GACvB,OAAO,CAAC,mBAAmB,CAAC;IAuF/B;;OAEG;IACG,oBAAoB,CACxB,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,cAAc,EAAE,CAAC;IAM5B;;;OAGG;IACG,eAAe,CACnB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,MAAU,GACf,OAAO,CAAC,cAAc,EAAE,CAAC;IAU5B;;;;OAIG;IACG,iBAAiB,CACrB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,MAAU,GACf,OAAO,CAAC,cAAc,EAAE,CAAC;IAU5B;;;;OAIG;IACG,yBAAyB,CAC7B,KAAK,EAAE,cAAc,EACrB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,oBAAoB,CAAC;IAsDhC;;;OAGG;IACG,oBAAoB,CACxB,IAAI,EAAE,MAAM,EAAE,EACd,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,oBAAoB,EAAE,CAAC;IAMlC;;;OAGG;IACG,iBAAiB,CACrB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,MAAU,GACf,OAAO,CAAC;QAAE,KAAK,EAAE,oBAAoB,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAUjE;;;OAGG;IACG,uBAAuB,CAC3B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,cAAc,EAAE,GACxB,OAAO,CAAC,eAAe,CAAC;IAQ3B;;OAEG;IACG,eAAe,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;IAIxD;;;OAGG;IACG,yBAAyB,CAAC,YAAY,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAMtF;;;;OAIG;IACG,cAAc,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC;IAO3D;;;OAGG;IACG,oBAAoB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC;IAO3E;;;OAGG;IACG,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,GAAE,MAAW,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAQrF;;;;OAIG;IACG,qBAAqB,CACzB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,SAAS,GAAG,SAAS,GAC7B,OAAO,CAAC,IAAI,CAAC;IAQhB;;;OAGG;IACG,iBAAiB,IAAI,OAAO,CAAC,MAAM,CAAC;YAS5B,oBAAoB;CAGnC"}
+{"version":3,"file":"knowledge-manager.d.ts","sourceRoot":"","sources":["../../src/knowledge/knowledge-manager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE3D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,kBAAkB,CAAC;AAS7C,OAAO,KAAK,EACV,cAAc,EAEd,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,eAAe,EACf,cAAc,EACf,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EAGrB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,uBAAuB,EACvB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,EACvB,MAAM,6BAA6B,CAAC;AAerC,OAAO,EACL,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,uBAAuB,EACvB,eAAe,EACf,yBAAyB,EACzB,sBAAsB,GACvB,CAAC;AAGF,OAAO,EAAE,kBAAkB,EAAE,uBAAuB,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAO/G;;;;;;;GAOG;AACH,qBAAa,gBAAgB;IAC3B,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAe;IAC5C,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAa;IACvC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAc;IAC3C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAmB;IACpD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAiB;gBAGxC,YAAY,EAAE,YAAY,EAC1B,SAAS,EAAE,UAAU,EACrB,WAAW,CAAC,EAAE,WAAW,EACzB,eAAe,CAAC,EAAE,gBAAgB,EAClC,OAAO,CAAC,EAAE,cAAc;IAWpB,kBAAkB,CAAC,OAAO,EAAE;QAChC,YAAY,EAAE,OAAO,EAAE,CAAC;QACxB,UAAU,EAAE,OAAO,EAAE,GAAG,IAAI,GAAG,SAAS,CAAC;QACzC,UAAU,EAAE,MAAM,CAAC;KACpB,GAAG,OAAO,CAAC,kBAAkB,GAAG,IAAI,CAAC;IAShC,uBAAuB,CAC3B,MAAM,EAAE,kBAAkB,EAC1B,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,IAAI,CAAC;IAUhB;;OAEG;IACG,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC;IA4CzE;;;;OAIG;IACG,aAAa,CACjB,MAAM,EAAE,MAAM,EACd,IAAI,CAAC,EAAE,MAAM,EAAE,GACd,OAAO,CAAC,cAAc,EAAE,CAAC;IAetB,kBAAkB,CACtB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,cAAc,GACvB,OAAO,CAAC,mBAAmB,CAAC;IAU/B;;OAEG;IACG,oBAAoB,CACxB,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,cAAc,EAAE,CAAC;IAM5B;;;OAGG;IACG,eAAe,CACnB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,MAAU,GACf,OAAO,CAAC,cAAc,EAAE,CAAC;IAU5B;;;;OAIG;IACG,iBAAiB,CACrB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,MAAU,GACf,OAAO,CAAC,cAAc,EAAE,CAAC;IAU5B;;;;OAIG;IACG,yBAAyB,CAC7B,KAAK,EAAE,cAAc,EACrB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,oBAAoB,CAAC;IAsDhC;;;OAGG;IACG,oBAAoB,CACxB,IAAI,EAAE,MAAM,EAAE,EACd,MAAM,CAAC,EAAE,MAAM,GACd,OAAO,CAAC,oBAAoB,EAAE,CAAC;IAMlC;;;OAGG;IACG,iBAAiB,CACrB,KAAK,EAAE,MAAM,EACb,IAAI,GAAE,MAAU,GACf,OAAO,CAAC;QAAE,KAAK,EAAE,oBAAoB,CAAC;QAAC,UAAU,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAUjE;;;OAGG;IACG,uBAAuB,CAC3B,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,cAAc,EAAE,GACxB,OAAO,CAAC,eAAe,CAAC;IAQ3B;;OAEG;IACG,eAAe,IAAI,OAAO,CAAC,oBAAoB,EAAE,CAAC;IAIxD;;;OAGG;IACG,yBAAyB,CAAC,YAAY,EAAE,oBAAoB,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;IAMtF;;;;OAIG;IACG,cAAc,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC;IAO3D;;;OAGG;IACG,oBAAoB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC;IAO3E;;;OAGG;IACG,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,GAAE,MAAW,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAQrF;;;;OAIG;IACG,qBAAqB,CACzB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,SAAS,GAAG,SAAS,GAC7B,OAAO,CAAC,IAAI,CAAC;IAQhB;;;OAGG;IACG,iBAAiB,IAAI,OAAO,CAAC,MAAM,CAAC;YAS5B,oBAAoB;CAGnC"}

package/dist/knowledge/knowledge-manager.js

@@ -1,40 +1,12 @@
-import { randomUUID } from "node:crypto";
-import { z } from "zod";
-import { TaskSchema } from "../types/task.js";
-import { KnowledgeEntrySchema, DomainKnowledgeSchema, KnowledgeGapSignalSchema, ContradictionResultSchema, SharedKnowledgeEntrySchema, } from "../types/knowledge.js";
+import { KnowledgeEntrySchema, DomainKnowledgeSchema, SharedKnowledgeEntrySchema, } from "../types/knowledge.js";
 import { searchKnowledge, searchAcrossGoals, searchByEmbedding, querySharedKnowledge, loadSharedEntries, loadDomainKnowledge, } from "./knowledge-search.js";
 import { classifyDomainStability, getStaleEntries, generateRevalidationTasks, computeRevalidationDue, } from "./knowledge-revalidation.js";
 import { recordDecision, enrichDecisionRecord, queryDecisions, updateDecisionOutcome, purgeOldDecisions, } from "./knowledge-decisions.js";
+import { detectKnowledgeGap as _detectKnowledgeGap, generateAcquisitionTask as _generateAcquisitionTask, checkContradiction as _checkContradiction, } from "./knowledge-manager-query.js";
 // Re-export for backward compatibility
 export { searchKnowledge, searchAcrossGoals, searchByEmbedding, querySharedKnowledge, classifyDomainStability, getStaleEntries, generateRevalidationTasks, computeRevalidationDue, };
-// ─── LLM response schemas ───
-const GapDetectionResponseSchema = z.object({
-    has_gap: z.boolean(),
-    signal_type: z
-        .enum([
-        "interpretation_difficulty",
-        "strategy_deadlock",
-        "stall_information_deficit",
-        "new_domain",
-        "prerequisite_missing",
-    ])
-        .optional(),
-    missing_knowledge: z.string().optional(),
-    source_step: z.string().optional(),
-    related_dimension: z.string().nullable().optional(),
-});
-const AcquisitionTaskFieldsSchema = z.object({
-    knowledge_target: z.string(),
-    // Allow up to 6 from LLM; we clamp to 5 in generateAcquisitionTask
-    knowledge_questions: z.array(z.string()).min(3),
-    in_scope: z.array(z.string()),
-    out_of_scope: z.array(z.string()),
-});
-const ContradictionCheckResponseSchema = z.object({
-    has_contradiction: z.boolean(),
-    conflicting_entry_id: z.string().nullable().default(null),
-    resolution: z.string().nullable().default(null),
-});
+// Re-export standalone LLM query functions
+export { detectKnowledgeGap, generateAcquisitionTask, checkContradiction } from "./knowledge-manager-query.js";
 // ─── KnowledgeManager ───
 /** Key used to store all SharedKnowledgeEntries as a flat array. */
 const SHARED_KB_PATH = "memory/shared-knowledge/entries.json";
@@ -60,176 +32,12 @@ export class KnowledgeManager {
         this.gateway = gateway;
     }
     // ─── detectKnowledgeGap ───
-    /**
-     * Detect whether the given context reveals a knowledge gap.
-     *
-     * Fast-path heuristics:
-     *   - confidence < 0.3 → interpretation_difficulty
-     *   - strategies empty  → strategy_deadlock
-     *
-     * Otherwise, delegate to LLM for deeper analysis.
-     */
     async detectKnowledgeGap(context) {
-        // Fast-path: low confidence → interpretation difficulty
-        if (context.confidence < 0.3) {
-            return KnowledgeGapSignalSchema.parse({
-                signal_type: "interpretation_difficulty",
-                missing_knowledge: "Observation confidence is too low to interpret results reliably",
-                source_step: "gap_recognition",
-                related_dimension: null,
-            });
-        }
-        // Fast-path: strategies is an explicit empty array (tried and found none) → strategy deadlock.
-        // null/undefined means "not yet available" and must NOT trigger this fast-path.
-        if (Array.isArray(context.strategies) && context.strategies.length === 0) {
-            return KnowledgeGapSignalSchema.parse({
-                signal_type: "strategy_deadlock",
-                missing_knowledge: "No strategies available — domain knowledge needed to generate hypotheses",
-                source_step: "strategy_selection",
-                related_dimension: null,
-            });
-        }
-        // LLM-based detection for borderline cases
-        const prompt = `Analyze the following context and determine whether there is a knowledge gap that would prevent effective progress.
-
-Observations (${context.observations.length} items): ${JSON.stringify(context.observations).slice(0, 500)}
-Strategies (${(context.strategies ?? []).length} items): ${JSON.stringify(context.strategies ?? []).slice(0, 500)}
-Confidence: ${context.confidence}
-
-Determine if there is a knowledge gap. Respond with JSON:
-{
-  "has_gap": boolean,
-  "signal_type": "interpretation_difficulty" | "strategy_deadlock" | "stall_information_deficit" | "new_domain" | "prerequisite_missing" | null,
-  "missing_knowledge": "description of what is missing" | null,
-  "source_step": "gap_recognition" | "strategy_selection" | "task_generation" | null,
-  "related_dimension": "dimension name" | null
-}`;
-        let parsed;
-        if (this.gateway) {
-            try {
-                parsed = await this.gateway.execute({
-                    purpose: "knowledge_gap_detection",
-                    additionalContext: { gap_detection_prompt: prompt },
-                    responseSchema: GapDetectionResponseSchema,
-                    maxTokens: 512,
-                });
-            }
-            catch {
-                return null;
-            }
-        }
-        else {
-            const response = await this.llmClient.sendMessage([{ role: "user", content: prompt }], {
-                system: "You are a knowledge gap detector. Analyze contexts to identify missing domain knowledge. Respond with JSON only.",
-                max_tokens: 512,
-            });
-            try {
-                parsed = this.llmClient.parseJSON(response.content, GapDetectionResponseSchema);
-            }
-            catch {
-                return null;
-            }
-        }
-        if (!parsed.has_gap) {
-            return null;
-        }
-        return KnowledgeGapSignalSchema.parse({
-            signal_type: parsed.signal_type ?? "interpretation_difficulty",
-            missing_knowledge: parsed.missing_knowledge ?? "Unspecified knowledge gap detected",
-            source_step: parsed.source_step ?? "gap_recognition",
-            related_dimension: parsed.related_dimension ?? null,
-        });
+        return _detectKnowledgeGap({ llmClient: this.llmClient, gateway: this.gateway, stateManager: this.stateManager }, context);
     }
     // ─── generateAcquisitionTask ───
-    /**
-     * Generate a knowledge acquisition Task for the given signal and goal.
-     * The task will have task_category: "knowledge_acquisition", 3-5 research
-     * questions, and explicit scope limits.
-     */
     async generateAcquisitionTask(signal, goalId) {
-        const prompt = `You are generating a knowledge acquisition task for an AI orchestrator.
-
-Goal ID: ${goalId}
-Knowledge Gap Signal:
-  Type: ${signal.signal_type}
-  Missing Knowledge: ${signal.missing_knowledge}
-  Source Step: ${signal.source_step}
-  Related Dimension: ${signal.related_dimension ?? "none"}
-
-Generate a research task with 3-5 specific questions that, when answered, will resolve this knowledge gap.
-The task must be scoped to information collection only — no system changes.
-
-Respond with JSON:
-{
-  "knowledge_target": "concise description of what knowledge is needed",
-  "knowledge_questions": ["question 1", "question 2", "question 3"],
-  "in_scope": ["item 1", "item 2"],
-  "out_of_scope": ["item 1", "item 2"]
-}`;
-        let fields;
-        if (this.gateway) {
-            fields = await this.gateway.execute({
-                purpose: "knowledge_acquisition",
-                goalId,
-                additionalContext: { acquisition_prompt: prompt },
-                responseSchema: AcquisitionTaskFieldsSchema,
-                maxTokens: 1024,
-            });
-        }
-        else {
-            const response = await this.llmClient.sendMessage([{ role: "user", content: prompt }], {
-                system: "You generate knowledge acquisition tasks. Produce 3-5 specific research questions. Respond with JSON only.",
-                max_tokens: 1024,
-            });
-            fields = this.llmClient.parseJSON(response.content, AcquisitionTaskFieldsSchema);
-        }
-        // Clamp questions to 3-5
-        const questions = fields.knowledge_questions.slice(0, 5);
-        const taskId = randomUUID();
-        const now = new Date().toISOString();
-        const criteriaDescription = `All ${questions.length} research questions are answered with cited sources: ${questions.join("; ")}`;
-        const task = TaskSchema.parse({
-            id: taskId,
-            goal_id: goalId,
-            strategy_id: null,
-            target_dimensions: signal.related_dimension
-                ? [signal.related_dimension]
-                : [],
-            primary_dimension: signal.related_dimension ?? "knowledge",
-            work_description: `Research task: ${fields.knowledge_target}`,
-            rationale: `Knowledge gap detected (${signal.signal_type}): ${signal.missing_knowledge}`,
-            approach: `Research the following questions using web search and document analysis:\n${questions.map((q, i) => `${i + 1}. ${q}`).join("\n")}`,
-            success_criteria: [
-                {
-                    description: criteriaDescription,
-                    verification_method: "Verify each question has a cited answer in the task output",
-                    is_blocking: true,
-                },
-            ],
-            scope_boundary: {
-                in_scope: ["Information collection", "Web search", "Document reading", ...fields.in_scope],
-                out_of_scope: [
-                    "System modifications",
-                    "Code changes",
-                    "Data mutations",
-                    ...fields.out_of_scope,
-                ],
-                blast_radius: "None — read-only research task",
-            },
-            constraints: [
-                `In scope: ${fields.in_scope.join(", ")}. Out of scope: ${fields.out_of_scope.join(", ")}`,
-                "No system modifications allowed",
-                "Maximum 3-5 research questions per task",
-            ],
-            reversibility: "reversible",
-            estimated_duration: { value: 4, unit: "hours" },
-            task_category: "knowledge_acquisition",
-            status: "pending",
-            created_at: now,
-        });
-        // Persist
-        await this.stateManager.writeRaw(`tasks/${goalId}/${taskId}.json`, task);
-        return task;
+        return _generateAcquisitionTask({ llmClient: this.llmClient, gateway: this.gateway, stateManager: this.stateManager }, signal, goalId);
     }
     // ─── saveKnowledge ───
     /**
@@ -276,78 +84,8 @@ Respond with JSON:
         return entries.filter((entry) => tags.every((tag) => entry.tags.includes(tag)));
     }
     // ─── checkContradiction ───
-    /**
-     * Check whether a new entry contradicts existing same-tag entries.
-     * Uses LLM to compare answers for entries sharing tags with the new entry.
-     */
     async checkContradiction(goalId, newEntry) {
-        // Load entries that share at least one tag with the new entry
-        const domainKnowledge = await this._loadDomainKnowledge(goalId);
-        const candidateEntries = domainKnowledge.entries.filter((existing) => existing.entry_id !== newEntry.entry_id &&
-            existing.tags.some((tag) => newEntry.tags.includes(tag)) &&
-            existing.superseded_by === null);
-        if (candidateEntries.length === 0) {
-            return ContradictionResultSchema.parse({
-                has_contradiction: false,
-                conflicting_entry_id: null,
-                resolution: null,
-            });
-        }
-        const existingSummary = candidateEntries
-            .map((e) => `Entry ${e.entry_id}:\n  Question: ${e.question}\n  Answer: ${e.answer}\n  Tags: ${e.tags.join(", ")}`)
-            .join("\n\n");
-        const prompt = `Check whether the new knowledge entry contradicts any existing entries.
-
-New Entry:
-  Question: ${newEntry.question}
-  Answer: ${newEntry.answer}
-  Tags: ${newEntry.tags.join(", ")}
-
-Existing Entries (same tags):
-${existingSummary}
-
-Determine if there is a factual contradiction. Respond with JSON:
-{
-  "has_contradiction": boolean,
-  "conflicting_entry_id": "entry_id of the conflicting entry" | null,
-  "resolution": "explanation of the contradiction and suggested resolution" | null
-}`;
-        if (this.gateway) {
-            try {
-                const parsed = await this.gateway.execute({
-                    purpose: "knowledge_contradiction",
-                    goalId,
-                    additionalContext: { contradiction_prompt: prompt },
-                    responseSchema: ContradictionCheckResponseSchema,
-                    maxTokens: 512,
-                });
-                return ContradictionResultSchema.parse(parsed);
-            }
-            catch {
-                return ContradictionResultSchema.parse({
-                    has_contradiction: false,
-                    conflicting_entry_id: null,
-                    resolution: null,
-                });
-            }
-        }
-        else {
-            const response = await this.llmClient.sendMessage([{ role: "user", content: prompt }], {
-                system: "You are a knowledge consistency checker. Detect factual contradictions between knowledge entries. Respond with JSON only.",
-                max_tokens: 512,
-            });
-            try {
-                const parsed = this.llmClient.parseJSON(response.content, ContradictionCheckResponseSchema);
-                return ContradictionResultSchema.parse(parsed);
-            }
-            catch {
-                return ContradictionResultSchema.parse({
-                    has_contradiction: false,
-                    conflicting_entry_id: null,
-                    resolution: null,
-                });
-            }
-        }
+        return _checkContradiction({ llmClient: this.llmClient, gateway: this.gateway, stateManager: this.stateManager }, goalId, newEntry);
     }
     // ─── getRelevantKnowledge ───
     /**