@co-engram/core 0.1.0

package/dist/generative/gap-detector.js

@@ -0,0 +1,250 @@
+/**
+ * 主动缺口检测（spec §5.3 机制 2，P3 4.2）
+ *
+ * 识别"不知道什么"——主动报告知识库中的结构性缺陷：
+ *
+ * 缺口类型：
+ *   1. missing_evidence: fact/hypothesis/pattern engram 的 derives_from
+ *      synapse 数量 < 阈值（证据不足）
+ *   2. missing_procedure: 某 domain 有 ≥ N 个 observation/fact 但 0 个 procedure
+ *      （有认知但无可执行流程）
+ *   3. missing_contradiction: 高 importance 的 engram 没有任何 contradicts
+ *      synapse（缺乏反例验证 → 确认偏误风险）
+ *   4. orphan_engram: 无任何 synapse 连接的 active engram（孤立知识）
+ *   5. stale_active: freshness='stale' 但 status='active'（可能过时）
+ *
+ * 上层可基于 gaps 主动触发：
+ *   - 生成 hypothesis 填补缺口
+ *   - 提示团队验证高 importance 的 engram
+ *   - 把 orphan 纳入 dreaming consolidation
+ *   - 把 stale_active engram 归档或重新激活
+ *
+ * @module @co-engram/core/generative
+ */
+export const DEFAULT_GAP_CONFIG = {
+    minEvidenceForFact: 2,
+    minEvidenceForHypothesis: 3,
+    minEvidenceForPattern: 3,
+    missingProcedureThreshold: 5,
+    missingContradictionImportance: 0.7,
+    includeOrphans: true,
+    includeStaleActive: true,
+};
+/**
+ * 主动检测知识缺口
+ *
+ * @param repo Repository
+ * @param options.config 部分覆盖默认配置
+ * @param options.domainTags 限定域（只在这些 domainTags 范围内检测）
+ */
+export function detectKnowledgeGaps(repo, options = {}) {
+    const cfg = { ...DEFAULT_GAP_CONFIG, ...options.config };
+    const filterDomains = options.domainTags;
+    // 一次性加载所有 active engram
+    const allEngrams = [];
+    for (const entry of repo.listEngrams()) {
+        const engram = repo.readEngram(entry.id);
+        if (engram.status !== "active")
+            continue;
+        if (filterDomains && filterDomains.length > 0) {
+            const hasOverlap = filterDomains.some((t) => engram.domainTags.includes(t));
+            if (!hasOverlap)
+                continue;
+        }
+        allEngrams.push(engram);
+    }
+    // 收集每个 engram 的 synapse 信息
+    const synapseInfo = new Map();
+    for (const engram of allEngrams) {
+        const file = repo.readSynapses(engram.id);
+        const outgoing = file.outgoing;
+        const derivesFromCount = outgoing.filter((s) => s.kind === "derives_from").length;
+        const contradictsOutgoing = outgoing.filter((s) => s.kind === "contradicts").length;
+        const similarToCount = outgoing.filter((s) => s.kind === "similar_to").length;
+        synapseInfo.set(engram.id, {
+            outgoingCount: outgoing.length,
+            incomingCount: engram.incomingSynapseCount,
+            derivesFromCount,
+            contradictsIncoming: 0, // 稍后扫描所有 synapse 填充
+            contradictsOutgoing,
+            similarToCount,
+        });
+    }
+    // 第二轮扫描：填充 contradictsIncoming（来自其他 engram 的 contradicts 出边）
+    for (const engram of allEngrams) {
+        const file = repo.readSynapses(engram.id);
+        for (const syn of file.outgoing) {
+            if (syn.kind !== "contradicts")
+                continue;
+            const target = synapseInfo.get(syn.to);
+            if (target) {
+                target.contradictsIncoming += 1;
+            }
+        }
+    }
+    const gaps = [];
+    // === 1. missing_evidence ===
+    for (const engram of allEngrams) {
+        const info = synapseInfo.get(engram.id);
+        const minEvidence = getMinEvidence(engram.kind, cfg);
+        if (minEvidence === null)
+            continue;
+        if (info.derivesFromCount < minEvidence) {
+            gaps.push({
+                type: "missing_evidence",
+                domainTags: [...engram.domainTags],
+                description: `${engram.kind} "${engram.title}" 只有 ${info.derivesFromCount} 个 derives_from evidence（建议 ≥ ${minEvidence}）`,
+                relatedEngramIds: [engram.id],
+                severity: severityForEvidence(engram.kind, info.derivesFromCount, minEvidence),
+                suggestion: `补充更多 observation 作为 ${engram.kind} 的来源（derives_from synapse）`,
+            });
+        }
+    }
+    // === 2. missing_procedure ===
+    const domainKinds = new Map();
+    for (const engram of allEngrams) {
+        for (const domain of engram.domainTags) {
+            const entry = domainKinds.get(domain) ?? {
+                observations: 0,
+                facts: 0,
+                procedures: 0,
+            };
+            if (engram.kind === "observation")
+                entry.observations += 1;
+            else if (engram.kind === "fact")
+                entry.facts += 1;
+            else if (engram.kind === "procedure")
+                entry.procedures += 1;
+            domainKinds.set(domain, entry);
+        }
+    }
+    for (const [domain, counts] of domainKinds) {
+        const totalObsFact = counts.observations + counts.facts;
+        if (totalObsFact >= cfg.missingProcedureThreshold &&
+            counts.procedures === 0) {
+            gaps.push({
+                type: "missing_procedure",
+                domainTags: [domain],
+                description: `domain "${domain}" 有 ${totalObsFact} 个 observation/fact 但 0 个 procedure`,
+                relatedEngramIds: collectDomainEngramIds(allEngrams, domain),
+                severity: totalObsFact >= cfg.missingProcedureThreshold * 2 ? "high" : "medium",
+                suggestion: `从现有 observation/fact 抽象出可执行 procedure（考虑触发 REM consolidation 或人工编写）`,
+            });
+        }
+    }
+    // === 3. missing_contradiction ===
+    for (const engram of allEngrams) {
+        if (engram.importance < cfg.missingContradictionImportance)
+            continue;
+        // 只关注 fact/pattern/hypothesis（observation 反例少是常态）
+        if (engram.kind !== "fact" &&
+            engram.kind !== "pattern" &&
+            engram.kind !== "hypothesis")
+            continue;
+        const info = synapseInfo.get(engram.id);
+        const hasContradiction = info.contradictsIncoming > 0 || info.contradictsOutgoing > 0;
+        if (!hasContradiction) {
+            gaps.push({
+                type: "missing_contradiction",
+                domainTags: [...engram.domainTags],
+                description: `高重要性 ${engram.kind} "${engram.title}"（importance=${engram.importance.toFixed(2)}）无任何 contradicts 对照`,
+                relatedEngramIds: [engram.id],
+                severity: engram.importance >= 0.9 ? "high" : "medium",
+                suggestion: `主动寻找反例（contradicts synapse）以避免确认偏误；触发 hypothesis 验证流程`,
+            });
+        }
+    }
+    // === 4. orphan_engram ===
+    if (cfg.includeOrphans) {
+        for (const engram of allEngrams) {
+            const info = synapseInfo.get(engram.id);
+            if (info.outgoingCount === 0 && info.incomingCount === 0) {
+                gaps.push({
+                    type: "orphan_engram",
+                    domainTags: [...engram.domainTags],
+                    description: `孤立 engram "${engram.title}" 无任何 synapse 连接`,
+                    relatedEngramIds: [engram.id],
+                    severity: "low",
+                    suggestion: `加入 dreaming consolidation 或人工建立 similar_to/extends 连接`,
+                });
+            }
+        }
+    }
+    // === 5. stale_active ===
+    if (cfg.includeStaleActive) {
+        for (const engram of allEngrams) {
+            if (engram.freshness === "stale" && engram.status === "active") {
+                gaps.push({
+                    type: "stale_active",
+                    domainTags: [...engram.domainTags],
+                    description: `${engram.kind} "${engram.title}" 已 stale 但仍 active（可能过时）`,
+                    relatedEngramIds: [engram.id],
+                    severity: engram.importance >= 0.7 ? "medium" : "low",
+                    suggestion: `触发 recompute_importance 或归档（archive），或重新激活（reinforce）`,
+                });
+            }
+        }
+    }
+    // 汇总
+    const byType = {
+        missing_evidence: 0,
+        missing_procedure: 0,
+        missing_contradiction: 0,
+        orphan_engram: 0,
+        stale_active: 0,
+    };
+    for (const g of gaps) {
+        byType[g.type] += 1;
+    }
+    // 排序：severity 高 → 低；同 severity 按 type 字典序
+    const severityOrder = {
+        high: 0,
+        medium: 1,
+        low: 2,
+    };
+    gaps.sort((a, b) => {
+        const sa = severityOrder[a.severity];
+        const sb = severityOrder[b.severity];
+        if (sa !== sb)
+            return sa - sb;
+        return a.type < b.type ? -1 : 1;
+    });
+    return {
+        gaps,
+        summary: {
+            totalGaps: gaps.length,
+            byType,
+        },
+    };
+}
+// ============================================================
+// 辅助函数
+// ============================================================
+function getMinEvidence(kind, cfg) {
+    switch (kind) {
+        case "fact":
+            return cfg.minEvidenceForFact;
+        case "hypothesis":
+            return cfg.minEvidenceForHypothesis;
+        case "pattern":
+            return cfg.minEvidenceForPattern;
+        default:
+            return null;
+    }
+}
+function severityForEvidence(kind, current, min) {
+    void kind;
+    // 0 个 evidence → high；不足但 > 0 → medium；满足（不报告）
+    if (current === 0)
+        return "high";
+    if (current < min)
+        return "medium";
+    return "low";
+}
+function collectDomainEngramIds(engrams, domain) {
+    return engrams
+        .filter((e) => e.domainTags.includes(domain))
+        .map((e) => e.id)
+        .sort();
+}
+//# sourceMappingURL=gap-detector.js.map

package/dist/generative/gap-detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"gap-detector.js","sourceRoot":"","sources":["../../src/generative/gap-detector.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAiDH,MAAM,CAAC,MAAM,kBAAkB,GAAuB;IACpD,kBAAkB,EAAE,CAAC;IACrB,wBAAwB,EAAE,CAAC;IAC3B,qBAAqB,EAAE,CAAC;IACxB,yBAAyB,EAAE,CAAC;IAC5B,8BAA8B,EAAE,GAAG;IACnC,cAAc,EAAE,IAAI;IACpB,kBAAkB,EAAE,IAAI;CACzB,CAAC;AAWF;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAsB,EACtB,UAGI,EAAE;IAEN,MAAM,GAAG,GAAuB,EAAE,GAAG,kBAAkB,EAAE,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC;IAC7E,MAAM,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC;IAEzC,wBAAwB;IACxB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzC,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;YAAE,SAAS;QACzC,IAAI,aAAa,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,UAAU,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC1C,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAC9B,CAAC;YACF,IAAI,CAAC,UAAU;gBAAE,SAAS;QAC5B,CAAC;QACD,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1B,CAAC;IAED,2BAA2B;IAC3B,MAAM,WAAW,GAAG,IAAI,GAAG,EAUxB,CAAC;IAEJ,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC/B,MAAM,gBAAgB,GAAG,QAAQ,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CACjC,CAAC,MAAM,CAAC;QACT,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAChC,CAAC,MAAM,CAAC;QACT,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CACpC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAC/B,CAAC,MAAM,CAAC;QACT,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE;YACzB,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,aAAa,EAAE,MAAM,CAAC,oBAAoB;YAC1C,gBAAgB;YAChB,mBAAmB,EAAE,CAAC,EAAE,oBAAoB;YAC5C,mBAAmB;YACnB,cAAc;SACf,CAAC,CAAC;IACL,CAAC;IAED,6DAA6D;IAC7D,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChC,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa;gBAAE,SAAS;YACzC,MAAM,MAAM,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACvC,IAAI,MAAM,EAAE,CAAC;gBACX,MAAM,CAAC,mBAAmB,IAAI,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAmB,EAAE,CAAC;IAEhC,8BAA8B;IAC9B,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAE,CAAC;QACzC,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACrD,IAAI,WAAW,KAAK,IAAI;YAAE,SAAS;QACnC,IAAI,IAAI,CAAC,gBAAgB,GAAG,WAAW,EAAE,CAAC;YACxC,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,kBAAkB;gBACxB,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;gBAClC,WAAW,EAAE,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,QAAQ,IAAI,CAAC,gBAAgB,iCAAiC,WAAW,GAAG;gBACxH,gBAAgB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,QAAQ,EAAE,mBAAmB,CAC3B,MAAM,CAAC,IAAI,EACX,IAAI,CAAC,gBAAgB,EACrB,WAAW,CACZ;gBACD,UAAU,EAAE,uBAAuB,MAAM,CAAC,IAAI,4BAA4B;aAC3E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,+BAA+B;IAC/B,MAAM,WAAW,GAAG,IAAI,GAAG,EAGxB,CAAC;IACJ,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YACvC,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI;gBACvC,YAAY,EAAE,CAAC;gBACf,KAAK,EAAE,CAAC;gBACR,UAAU,EAAE,CAAC;aACd,CAAC;YACF,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;gBAAE,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC;iBACtD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;gBAAE,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;iBAC7C,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;gBAAE,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;YAC5D,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC3C,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC;QACxD,IACE,YAAY,IAAI,GAAG,CAAC,yBAAyB;YAC7C,MAAM,CAAC,UAAU,KAAK,CAAC,EACvB,CAAC;YACD,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,mBAAmB;gBACzB,UAAU,EAAE,CAAC,MAAM,CAAC;gBACpB,WAAW,EAAE,WAAW,MAAM,OAAO,YAAY,qCAAqC;gBACtF,gBAAgB,EAAE,sBAAsB,CAAC,UAAU,EAAE,MAAM,CAAC;gBAC5D,QAAQ,EACN,YAAY,IAAI,GAAG,CAAC,yBAAyB,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;gBACvE,UAAU,EAAE,qEAAqE;aAClF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC,8BAA8B;YAAE,SAAS;QACrE,kDAAkD;QAClD,IACE,MAAM,CAAC,IAAI,KAAK,MAAM;YACtB,MAAM,CAAC,IAAI,KAAK,SAAS;YACzB,MAAM,CAAC,IAAI,KAAK,YAAY;YAE5B,SAAS;QACX,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAE,CAAC;QACzC,MAAM,gBAAgB,GACpB,IAAI,CAAC,mBAAmB,GAAG,CAAC,IAAI,IAAI,CAAC,mBAAmB,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtB,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,uBAAuB;gBAC7B,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;gBAClC,WAAW,EAAE,QAAQ,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,gBAAgB,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB;gBAClH,gBAAgB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7B,QAAQ,EAAE,MAAM,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ;gBACtD,UAAU,EAAE,uDAAuD;aACpE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;QACvB,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAE,CAAC;YACzC,IAAI,IAAI,CAAC,aAAa,KAAK,CAAC,IAAI,IAAI,CAAC,aAAa,KAAK,CAAC,EAAE,CAAC;gBACzD,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,eAAe;oBACrB,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;oBAClC,WAAW,EAAE,cAAc,MAAM,CAAC,KAAK,kBAAkB;oBACzD,gBAAgB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC7B,QAAQ,EAAE,KAAK;oBACf,UAAU,EAAE,uDAAuD;iBACpE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,0BAA0B;IAC1B,IAAI,GAAG,CAAC,kBAAkB,EAAE,CAAC;QAC3B,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;YAChC,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/D,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI,EAAE,cAAc;oBACpB,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;oBAClC,WAAW,EAAE,GAAG,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,KAAK,2BAA2B;oBACvE,gBAAgB,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC7B,QAAQ,EAAE,MAAM,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK;oBACrD,UAAU,EAAE,uDAAuD;iBACpE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK;IACL,MAAM,MAAM,GAA4B;QACtC,gBAAgB,EAAE,CAAC;QACnB,iBAAiB,EAAE,CAAC;QACpB,qBAAqB,EAAE,CAAC;QACxB,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,CAAC;KAChB,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IAED,0CAA0C;IAC1C,MAAM,aAAa,GAAgC;QACjD,IAAI,EAAE,CAAC;QACP,MAAM,EAAE,CAAC;QACT,GAAG,EAAE,CAAC;KACP,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,EAAE,KAAK,EAAE;YAAE,OAAO,EAAE,GAAG,EAAE,CAAC;QAC9B,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,IAAI;QACJ,OAAO,EAAE;YACP,SAAS,EAAE,IAAI,CAAC,MAAM;YACtB,MAAM;SACP;KACF,CAAC;AACJ,CAAC;AAED,+DAA+D;AAC/D,OAAO;AACP,+DAA+D;AAE/D,SAAS,cAAc,CACrB,IAAgB,EAChB,GAAuB;IAEvB,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,kBAAkB,CAAC;QAChC,KAAK,YAAY;YACf,OAAO,GAAG,CAAC,wBAAwB,CAAC;QACtC,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,qBAAqB,CAAC;QACnC;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,IAAgB,EAChB,OAAe,EACf,GAAW;IAEX,KAAK,IAAI,CAAC;IACV,+CAA+C;IAC/C,IAAI,OAAO,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,OAAO,GAAG,GAAG;QAAE,OAAO,QAAQ,CAAC;IACnC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,sBAAsB,CAC7B,OAA0B,EAC1B,MAAc;IAEd,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;SAC5C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChB,IAAI,EAAE,CAAC;AACZ,CAAC"}

package/dist/generative/hypothesis.d.ts

@@ -0,0 +1,161 @@
+/**
+ * 生成式巩固（spec §5.3 机制 1，P3 4.1）
+ *
+ * 从一组相关 engram（同 topic / domain）通过 Provider 接口生成可验证 hypothesis。
+ *
+ * 流程：
+ *   1. 召集相关 engram（按 domainTags / contextTags 过滤；observation + fact 优先）
+ *   2. Provider.generate 生成候选假设（标题/正文/置信度/理由）
+ *   3. 自动采纳：confidence ≥ autoAdoptionThreshold → 创建 hypothesis engram
+ *      + derives_from synapse 连接每个 source
+ *   4. 验证流程：verifyHypothesis 把 verificationStatus 升级为
+ *      plausible / verified / refuted
+ *
+ * 与 REM 做梦（spec §3.2）的区别：
+ *   - REM 是被动 sleep-time consolidation，从相似 cluster 抽象出 pattern
+ *   - hypothesis 是主动 wake-time 推理，生成可证伪假设并保留多视角
+ *
+ * core 层不绑定 LLM；HypothesisProvider 由宿主注入。
+ *
+ * @module @co-engram/core/generative
+ */
+import type { EngramRepository } from "../storage/repository.js";
+import type { Engram, EngramId, VerificationStatus } from "../types/engram.js";
+/** 假设 Provider 输入：候选 engram 摘要 */
+export interface HypothesisProviderInput {
+    readonly topic: string;
+    readonly engrams: ReadonlyArray<{
+        readonly id: EngramId;
+        readonly title: string;
+        readonly content: string;
+        readonly summary: string;
+        readonly domainTags: readonly string[];
+        readonly kind: Engram["kind"];
+    }>;
+}
+/** 假设 Provider 输出 */
+export interface HypothesisProviderOutput {
+    readonly title: string;
+    readonly content: string;
+    readonly summary: string;
+    readonly confidence: number;
+    readonly reason: string;
+}
+/**
+ * 假设生成 Provider 接口
+ *
+ * 默认实现：LocalHeuristicHypothesisProvider（基于共现关键词）。
+ * 生产实现：宿主注入真正的 LLM provider。
+ */
+export interface HypothesisProvider {
+    generate(input: HypothesisProviderInput): Promise<HypothesisProviderOutput> | HypothesisProviderOutput;
+}
+/** 假设候选（Provider 输出 + 来源 engram ID） */
+export interface HypothesisProposal extends HypothesisProviderOutput {
+    readonly sourceIds: readonly EngramId[];
+}
+/** generateHypotheses 输入 */
+export interface GenerateHypothesesInput {
+    readonly topic: string;
+    /** 过滤器：只在这些 domainTags 范围内召集 source */
+    readonly domainTags?: readonly string[];
+    /** 过滤器：只在这些 contextTags 范围内召集 source */
+    readonly contextTags?: readonly string[];
+    /** 召集 source 的最少数量（默认 3） */
+    readonly minSources?: number;
+    /** 召集 source 的最多数量（默认 10） */
+    readonly maxSources?: number;
+    /** 自动采纳的置信度阈值（默认 0.6） */
+    readonly autoAdoptionThreshold?: number;
+    /** 调用者标识 */
+    readonly createdBy: string;
+    /** 是否写盘（默认 true） */
+    readonly persist?: boolean;
+    /** dryRun=true 只返回 proposal，不创建 engram（默认 false） */
+    readonly dryRun?: boolean;
+    /** 时间戳（测试用） */
+    readonly nowIso?: string;
+}
+/** 单条生成的假设 */
+export interface GeneratedHypothesis {
+    /** 创建的 engram ID（dryRun 或未采纳时为 null） */
+    readonly engramId: EngramId | null;
+    readonly proposal: HypothesisProposal;
+    readonly adopted: boolean;
+    readonly reason: string;
+}
+/** generateHypotheses 结果 */
+export interface GenerateHypothesesResult {
+    readonly topic: string;
+    /** 召集到的候选 source 数量 */
+    readonly candidateCount: number;
+    /** 生成的假设（通常 1 条） */
+    readonly hypotheses: readonly GeneratedHypothesis[];
+    readonly durationMs: number;
+    readonly persisted: boolean;
+}
+/** 验证裁决 */
+export type HypothesisVerdict = "plausible" | "verified" | "refuted";
+/** verifyHypothesis 输入证据 */
+export interface VerificationEvidence {
+    readonly description: string;
+    readonly verifiedBy: string;
+    readonly confidence?: number;
+}
+/** verifyHypothesis 结果 */
+export interface VerifyHypothesisResult {
+    readonly engramId: EngramId;
+    readonly previousStatus: VerificationStatus | undefined;
+    readonly newStatus: VerificationStatus;
+    readonly evidenceAppended: boolean;
+    /** 被升级时附带的 derives_from synapse ID（若有） */
+    readonly synapseId?: string;
+}
+/**
+ * 默认启发式假设生成器（无 LLM）
+ *
+ * 算法：
+ *   1. 收集所有 source 的 tokens（title + summary + content）
+ *   2. 找出 ≥ 半数 source 共现的关键词
+ *   3. title = "Hypothesis: 在 {topic} 中，{top1} 与 {top2} 相关"
+ *   4. confidence = 共现 token 数 / topTokens 期望
+ */
+export declare class LocalHeuristicHypothesisProvider implements HypothesisProvider {
+    private readonly options;
+    constructor(options?: {
+        readonly topTokens?: number;
+        readonly minConfidence?: number;
+    });
+    generate(input: HypothesisProviderInput): HypothesisProviderOutput;
+}
+/**
+ * 生成假设（主入口）
+ *
+ * 行为：
+ *   - 召集 source：按 domainTags/contextTags 过滤，observation/fact 优先
+ *   - source 数量 < minSources → 不生成（返回空 hypotheses）
+ *   - 调 Provider.generate → proposal
+ *   - confidence ≥ autoAdoptionThreshold → 创建 hypothesis engram + derives_from synapse
+ *
+ * @returns GenerateHypothesesResult
+ */
+export declare function generateHypotheses(repo: EngramRepository, provider: HypothesisProvider, input: GenerateHypothesesInput): Promise<GenerateHypothesesResult>;
+/**
+ * 验证假设（升级或反驳）
+ *
+ * verdict 对应 verificationStatus：
+ *   - plausible → plausible
+ *   - verified  → verified
+ *   - refuted   → refuted
+ *
+ * 行为：
+ *   1. 把 engram.verificationStatus 设为 newStatus
+ *   2. 追加 evidence 到所有 derives_from synapse（如果有）
+ *
+ * 注意：本函数只更新 engram 自身；如需对 source 触发 reliability
+ * 更新，由上层调用 provenance.applyProvenanceSignal。
+ */
+export declare function verifyHypothesis(repo: EngramRepository, engramId: EngramId, verdict: HypothesisVerdict, evidence: VerificationEvidence, options?: {
+    nowIso?: string;
+}): VerifyHypothesisResult;
+//# sourceMappingURL=hypothesis.d.ts.map

package/dist/generative/hypothesis.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hypothesis.d.ts","sourceRoot":"","sources":["../../src/generative/hypothesis.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAG/E,kCAAkC;AAClC,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;QACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;QACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;KAC/B,CAAC,CAAC;CACJ;AAED,qBAAqB;AACrB,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CACN,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,wBAAwB,CAAC,GAAG,wBAAwB,CAAC;CACjE;AAED,uCAAuC;AACvC,MAAM,WAAW,kBAAmB,SAAQ,wBAAwB;IAClE,QAAQ,CAAC,SAAS,EAAE,SAAS,QAAQ,EAAE,CAAC;CACzC;AAED,4BAA4B;AAC5B,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uCAAuC;IACvC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,wCAAwC;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,4BAA4B;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,6BAA6B;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,yBAAyB;IACzB,QAAQ,CAAC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IACxC,YAAY;IACZ,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,oBAAoB;IACpB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,oDAAoD;IACpD,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,eAAe;IACf,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,cAAc;AACd,MAAM,WAAW,mBAAmB;IAClC,wCAAwC;IACxC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,4BAA4B;AAC5B,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uBAAuB;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,oBAAoB;IACpB,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;CAC7B;AAED,WAAW;AACX,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,UAAU,GAAG,SAAS,CAAC;AAErE,4BAA4B;AAC5B,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,0BAA0B;AAC1B,MAAM,WAAW,sBAAsB;IACrC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,cAAc,EAAE,kBAAkB,GAAG,SAAS,CAAC;IACxD,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,0CAA0C;IAC1C,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAOD;;;;;;;;GAQG;AACH,qBAAa,gCAAiC,YAAW,kBAAkB;IAEvE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,GAAE;QACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;QAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;KAC5B;IAGR,QAAQ,CAAC,KAAK,EAAE,uBAAuB,GAAG,wBAAwB;CA6EnE;AAED;;;;;;;;;;GAUG;AACH,wBAAsB,kBAAkB,CACtC,IAAI,EAAE,gBAAgB,EACtB,QAAQ,EAAE,kBAAkB,EAC5B,KAAK,EAAE,uBAAuB,GAC7B,OAAO,CAAC,wBAAwB,CAAC,CAuHnC;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,gBAAgB,EACtB,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,iBAAiB,EAC1B,QAAQ,EAAE,oBAAoB,EAC9B,OAAO,GAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAA;CAAO,GAChC,sBAAsB,CAqDxB"}