pulseed 0.1.5 → 0.2.0

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

@@ -0,0 +1,287 @@
+import { randomUUID } from "node:crypto";
+import { z } from "zod";
+import { TaskSchema } from "../../base/types/task.js";
+import { KnowledgeGapSignalSchema, ContradictionResultSchema, } from "../../base/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/platform/knowledge/knowledge-manager-query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-manager-query.js","sourceRoot":"","sources":["../../../src/platform/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,0BAA0B,CAAC;AAEtD,OAAO,EACL,wBAAwB,EACxB,yBAAyB,GAC1B,MAAM,+BAA+B,CAAC;AAMvC,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/platform/knowledge/knowledge-manager.d.ts

@@ -0,0 +1,128 @@
+import { StateManager } from "../../base/state/state-manager.js";
+import type { ILLMClient } from "../../base/llm/llm-client.js";
+import type { IPromptGateway } from "../../prompt/gateway.js";
+import type { Task } from "../../base/types/task.js";
+import type { KnowledgeEntry, KnowledgeGapSignal, ContradictionResult, SharedKnowledgeEntry, DomainStability, DecisionRecord } from "../../base/types/knowledge.js";
+import type { VectorIndex } from "./vector-index.js";
+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";
+import type { ToolExecutor } from "../../tools/executor.js";
+import type { ToolCallContext } from "../../tools/types.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.
+ *
+ * File layout:
+ *   <base>/goals/<goal_id>/domain_knowledge.json
+ *   <base>/memory/shared-knowledge/entries.json  (Phase 2 shared KB)
+ */
+export declare class KnowledgeManager {
+    private readonly stateManager;
+    private readonly llmClient;
+    private readonly vectorIndex?;
+    private readonly embeddingClient?;
+    private readonly gateway?;
+    constructor(stateManager: StateManager, llmClient: ILLMClient, vectorIndex?: VectorIndex, embeddingClient?: IEmbeddingClient, gateway?: IPromptGateway);
+    detectKnowledgeGap(context: {
+        observations: unknown[];
+        strategies: unknown[] | null | undefined;
+        confidence: number;
+    }): Promise<KnowledgeGapSignal | null>;
+    generateAcquisitionTask(signal: KnowledgeGapSignal, goalId: string): Promise<Task>;
+    /**
+     * Persist a KnowledgeEntry to ~/.pulseed/goals/<goal_id>/domain_knowledge.json
+     */
+    saveKnowledge(goalId: string, entry: KnowledgeEntry): Promise<void>;
+    /**
+     * Load knowledge entries for a goal, optionally filtered by tags (exact match).
+     *
+     * An entry matches if ALL provided tags appear in the entry's tags array.
+     */
+    loadKnowledge(goalId: string, tags?: string[]): Promise<KnowledgeEntry[]>;
+    checkContradiction(goalId: string, newEntry: KnowledgeEntry): Promise<ContradictionResult>;
+    /**
+     * Returns knowledge entries whose tags include the given dimension name.
+     */
+    getRelevantKnowledge(goalId: string, dimensionName: string): Promise<KnowledgeEntry[]>;
+    /**
+     * Semantic search within a single goal's knowledge entries via VectorIndex.
+     * Falls back to an empty array when no VectorIndex is configured.
+     */
+    searchKnowledge(query: string, topK?: number): Promise<KnowledgeEntry[]>;
+    /**
+     * Cross-goal semantic search. Leverages the VectorIndex which is global
+     * across all goals. Returns entries from any goal ordered by similarity.
+     * Falls back to an empty array when no VectorIndex is configured.
+     */
+    searchAcrossGoals(query: string, topK?: number): Promise<KnowledgeEntry[]>;
+    /**
+     * Save a KnowledgeEntry into the shared knowledge base, associating it with
+     * the given goalId. If VectorIndex is available the entry is also embedded
+     * and the embedding_id is stored on the returned SharedKnowledgeEntry.
+     */
+    saveToSharedKnowledgeBase(entry: KnowledgeEntry, goalId: string): Promise<SharedKnowledgeEntry>;
+    /**
+     * Query the shared knowledge base by tags (AND logic).
+     * Optionally filter to entries contributed by a specific goal.
+     */
+    querySharedKnowledge(tags: string[], goalId?: string): Promise<SharedKnowledgeEntry[]>;
+    /**
+     * Semantic search across the shared knowledge base using VectorIndex.
+     * Falls back to an empty array when no VectorIndex is configured.
+     */
+    searchByEmbedding(query: string, topK?: number): Promise<{
+        entry: SharedKnowledgeEntry;
+        similarity: number;
+    }[]>;
+    /**
+     * Classify the domain stability of a set of knowledge entries via LLM.
+     * Returns "stable", "moderate", or "volatile".
+     */
+    classifyDomainStability(domain: string, entries: KnowledgeEntry[]): Promise<DomainStability>;
+    /**
+     * Return shared knowledge entries whose revalidation_due_at is in the past.
+     */
+    getStaleEntries(): Promise<SharedKnowledgeEntry[]>;
+    /**
+     * Generate KnowledgeAcquisitionTask-style Task objects for each stale entry,
+     * re-asking the original question.
+     */
+    generateRevalidationTasks(staleEntries: SharedKnowledgeEntry[]): Promise<Task[]>;
+    /**
+     * Save a DecisionRecord to ~/.pulseed/decisions/<goalId>-<timestamp>.json
+     * For completed records (outcome !== "pending"), enriches with LLM-extracted
+     * what_worked/what_failed/suggested_next before saving.
+     */
+    recordDecision(record: DecisionRecord): Promise<void>;
+    /**
+     * Enrich a completed DecisionRecord by extracting what_worked/what_failed/suggested_next via LLM.
+     * Falls back to default empty arrays on LLM failure.
+     */
+    enrichDecisionRecord(record: DecisionRecord): Promise<DecisionRecord>;
+    /**
+     * Load decision records filtered by goal_type, sorted by recency.
+     * Applies time-decay scoring (1.0 at day 0, 0.0 at day 30+).
+     */
+    queryDecisions(goalType: string, limit?: number): Promise<DecisionRecord[]>;
+    /**
+     * Update the outcome of a DecisionRecord identified by strategy_id.
+     * Finds the most recent pending record for the given strategy and rewrites it.
+     * No-op when no matching pending record is found.
+     */
+    updateDecisionOutcome(strategyId: string, outcome: "success" | "failure"): Promise<void>;
+    /**
+     * Remove decision records older than 90 days.
+     * Returns the count of purged records.
+     */
+    purgeOldDecisions(): Promise<number>;
+    private _loadDomainKnowledge;
+    /**
+     * Acquire knowledge by planning and executing tool calls, then synthesizing results via LLM.
+     * Uses read-only tools (glob, grep, read, http_fetch, json_query, shell) to gather data.
+     */
+    acquireWithTools(question: string, goalId: string, toolExecutor: ToolExecutor, context: ToolCallContext): Promise<KnowledgeEntry[]>;
+}
+//# sourceMappingURL=knowledge-manager.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"knowledge-manager.d.ts","sourceRoot":"","sources":["../../../src/platform/knowledge/knowledge-manager.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAC/D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAC;AAE9D,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,0BAA0B,CAAC;AASrD,OAAO,KAAK,EACV,cAAc,EAEd,kBAAkB,EAClB,mBAAmB,EACnB,oBAAoB,EACpB,eAAe,EACf,cAAc,EACf,MAAM,+BAA+B,CAAC;AACvC,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;AAarC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAI5D,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;IAkCzE;;;;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;IAOlC;;;OAGG;IACG,gBAAgB,CACpB,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,MAAM,EACd,YAAY,EAAE,YAAY,EAC1B,OAAO,EAAE,eAAe,GACvB,OAAO,CAAC,cAAc,EAAE,CAAC;CAqD7B"}