@co-engram/core 0.1.0

package/dist/verification/metacognition.js

@@ -0,0 +1,284 @@
+/**
+ * Metacognition 五维度真值评分（P4 C.1）
+ *
+ * 人类"元认知"机制的工程化映射：根据结构化证据自动判定 engram 真实性。
+ *
+ * 五维度（权重）：
+ *   crossContext      0.30  跨情境稳定性（不同 domainTag 出现次数）
+ *   timeStable        0.25  时间稳定性（ageDays,30 天饱和）
+ *   mutuallySupported 0.25  互相支持（extends+consolidates 占比）
+ *   sourceReliable    0.20  来源可靠性（createdBy 的可靠性分数）
+ *   executable        门槛  procedure kind 的可执行性（默认 0.5,不参与加权）
+ *
+ * 综合 score + thresholds → recommendation:
+ *   - upgrade_verified   :overall ≥ 0.85 且 ageDays ≥ 7
+ *   - upgrade_one_level  :overall ≥ 0.70
+ *   - refute             :overall < 0.30 且有 contradicts
+ *   - hold               :其他
+ *
+ * applyMetacognition 把 recommendation 落库（调 verification/upgrade.ts）。
+ *
+ * 设计原则：纯结构化,不调 LLM。每条 engram 评分 O(1)。
+ *
+ * @module @co-engram/core/verification
+ */
+import { upgradeVerification, refuteEngram } from "./upgrade.js";
+import { canTransition } from "./state-machine.js";
+/** 维度权重（executable 不参与加权,仅作门槛） */
+export const TRUTH_WEIGHTS = {
+    crossContext: 0.3,
+    timeStable: 0.25,
+    mutuallySupported: 0.25,
+    sourceReliable: 0.2,
+    executable: 0, // 不加权
+};
+/** 阈值 */
+export const TRUTH_THRESHOLDS = {
+    upgradeVerifiedOverall: 0.85,
+    upgradeVerifiedMinAgeDays: 7,
+    upgradeOneLevelOverall: 0.7,
+    refuteOverall: 0.3,
+};
+/** 时间稳定性饱和天数（30 天） */
+export const TIME_STABLE_SATURATION_DAYS = 30;
+/** 跨情境稳定性的 domainTag 饱和数（≥2 个 domain 视为跨情境） */
+export const CROSS_CONTEXT_SATURATION_DOMAINS = 2;
+/**
+ * 计算五维度真值评分（纯函数,不写库）
+ */
+export function computeTruthScore(input) {
+    const dimensions = computeDimensions(input);
+    const overall = computeOverall(dimensions);
+    const recommendation = computeRecommendation(overall, input, dimensions);
+    const reasoning = buildReasoning(input, dimensions, overall, recommendation);
+    return { overall, dimensions, recommendation, reasoning };
+}
+/**
+ * 应用元认知评分到 engram（写库）
+ *
+ * 根据 recommendation：
+ *   - upgrade_verified   → 升级到 verified
+ *   - upgrade_one_level  → 升级一级（unverified → plausible → probable）
+ *   - refute             → refuteEngram（任意状态 → refuted）
+ *   - hold               → 不动
+ *
+ * 可选参数：
+ *   - ageDays: 覆盖自动计算的年龄（测试 / 强制重新评分用）
+ *   - createdByReliability: 创建者可靠性分数
+ */
+export async function applyMetacognition(repo, engramId, input) {
+    const engram = repo.readEngram(engramId);
+    const synapseStats = collectSynapseStats(repo, engramId);
+    const ageDays = input?.ageDays ?? computeAgeDays(engram.createdAt);
+    const fullInput = {
+        engram,
+        synapseStats,
+        ageDays,
+        createdByReliability: input?.createdByReliability,
+    };
+    const score = computeTruthScore(fullInput);
+    let applied = false;
+    let newStatus;
+    let reason = score.reasoning;
+    try {
+        if (score.recommendation === "refute") {
+            const result = refuteEngram(repo, engramId, {
+                description: `metacognition_refute: overall=${score.overall.toFixed(2)} < ${TRUTH_THRESHOLDS.refuteOverall} with ${synapseStats.contradicts} contradicts`,
+                verifiedBy: "metacognition",
+                confidence: 1 - score.overall,
+            }, { force: true });
+            applied = result.applied;
+            newStatus = result.newStatus;
+        }
+        else if (score.recommendation === "upgrade_verified") {
+            // 按状态机逐步升到 verified（跳级被 canTransition 拦下）
+            const result = upgradeToTarget(repo, engramId, "verified", score, ageDays);
+            applied = result.applied;
+            newStatus = result.newStatus;
+        }
+        else if (score.recommendation === "upgrade_one_level") {
+            const next = nextStatusLevel(engram.verificationStatus);
+            if (next) {
+                const result = upgradeVerification(repo, engramId, next, {
+                    description: `metacognition_upgrade: overall=${score.overall.toFixed(2)} ≥ ${TRUTH_THRESHOLDS.upgradeOneLevelOverall}`,
+                    verifiedBy: "metacognition",
+                    confidence: score.overall,
+                }, { force: true });
+                applied = result.applied;
+                newStatus = result.newStatus;
+            }
+            else {
+                reason = reasoningHold("already verified");
+            }
+        }
+    }
+    catch (err) {
+        reason = `apply failed: ${err instanceof Error ? err.message : String(err)}`;
+    }
+    return {
+        engramId,
+        score,
+        applied,
+        newStatus,
+        reason,
+    };
+}
+// ============================================================
+// 内部辅助
+// ============================================================
+function computeDimensions(input) {
+    const domains = input.engram.domainTags?.length ?? 0;
+    const crossContext = Math.min(1, domains / CROSS_CONTEXT_SATURATION_DOMAINS);
+    const timeStable = Math.min(1, input.ageDays / TIME_STABLE_SATURATION_DAYS);
+    const denom = input.synapseStats.extends +
+        input.synapseStats.consolidates +
+        input.synapseStats.contradicts;
+    const mutuallySupported = denom === 0
+        ? 0.5
+        : (input.synapseStats.extends + input.synapseStats.consolidates) / denom;
+    const sourceReliable = input.createdByReliability ?? 0.5;
+    // executable：仅 procedure kind 有意义,默认 0.5
+    const executable = input.engram.kind === "procedure" ||
+        (input.engram.kinds?.includes("procedure") ?? false)
+        ? 0.7 // procedure kind 默认 0.7（高于平均）
+        : 0.5;
+    return {
+        crossContext,
+        timeStable,
+        mutuallySupported,
+        sourceReliable,
+        executable,
+    };
+}
+function computeOverall(d) {
+    return (TRUTH_WEIGHTS.crossContext * d.crossContext +
+        TRUTH_WEIGHTS.timeStable * d.timeStable +
+        TRUTH_WEIGHTS.mutuallySupported * d.mutuallySupported +
+        TRUTH_WEIGHTS.sourceReliable * d.sourceReliable);
+}
+function computeRecommendation(overall, input, d) {
+    if (overall >= TRUTH_THRESHOLDS.upgradeVerifiedOverall &&
+        d.timeStable * TIME_STABLE_SATURATION_DAYS >=
+            TRUTH_THRESHOLDS.upgradeVerifiedMinAgeDays) {
+        return "upgrade_verified";
+    }
+    if (overall >= TRUTH_THRESHOLDS.upgradeOneLevelOverall) {
+        return "upgrade_one_level";
+    }
+    if (overall < TRUTH_THRESHOLDS.refuteOverall &&
+        input.synapseStats.contradicts >= 1) {
+        return "refute";
+    }
+    return "hold";
+}
+function buildReasoning(input, d, overall, rec) {
+    const parts = [];
+    parts.push(`overall=${overall.toFixed(2)}`);
+    parts.push(`cross=${d.crossContext.toFixed(2)}(${input.engram.domainTags?.length ?? 0}d)`);
+    parts.push(`time=${d.timeStable.toFixed(2)}(${input.ageDays}d)`);
+    parts.push(`mutual=${d.mutuallySupported.toFixed(2)}(e=${input.synapseStats.extends},c=${input.synapseStats.contradicts})`);
+    parts.push(`source=${d.sourceReliable.toFixed(2)}`);
+    parts.push(`→ ${rec}`);
+    return parts.join(" ");
+}
+function reasoningHold(extra) {
+    return `hold (${extra})`;
+}
+/**
+ * 从仓库读取 synapse 统计
+ *
+ * 简单实现：读 outgoing + incoming（通过遍历所有 engram 的 outgoing 查找指向 engramId 的）。
+ * 注意：这是 O(n) 操作,适合 REM 阶段（低频）。
+ */
+function collectSynapseStats(repo, engramId) {
+    const stats = { extends: 0, consolidates: 0, contradicts: 0, derivesFrom: 0 };
+    try {
+        // 自己的 outgoing
+        const own = repo.readSynapses(engramId);
+        for (const s of own.outgoing) {
+            if (s.kind === "extends")
+                stats.extends += 1;
+            else if (s.kind === "consolidates")
+                stats.consolidates += 1;
+            else if (s.kind === "contradicts")
+                stats.contradicts += 1;
+            else if (s.kind === "derives_from")
+                stats.derivesFrom += 1;
+        }
+    }
+    catch {
+        // engram 可能已被删除
+    }
+    // incoming：遍历所有 engram 的 outgoing 找指向 engramId 的
+    // 注意：这是 O(n),REM 阶段可接受
+    try {
+        const all = repo.collectAllSynapses();
+        for (const { synapse } of all) {
+            if (synapse.to !== engramId)
+                continue;
+            if (synapse.kind === "extends")
+                stats.extends += 1;
+            else if (synapse.kind === "consolidates")
+                stats.consolidates += 1;
+            else if (synapse.kind === "contradicts")
+                stats.contradicts += 1;
+            else if (synapse.kind === "derives_from")
+                stats.derivesFrom += 1;
+        }
+    }
+    catch {
+        // ignore
+    }
+    return stats;
+}
+function computeAgeDays(createdAt) {
+    const created = new Date(createdAt).getTime();
+    if (Number.isNaN(created))
+        return 0;
+    return Math.max(0, (Date.now() - created) / (24 * 60 * 60 * 1000));
+}
+/** 升级一级：unverified → plausible → probable（已 verified 则无下一级） */
+function nextStatusLevel(current) {
+    if (current === undefined || current === "unverified")
+        return "plausible";
+    if (current === "plausible")
+        return "probable";
+    if (current === "probable")
+        return "verified";
+    return undefined; // verified 或 refuted,无升级
+}
+/**
+ * 按状态机逐步升级到目标状态
+ *
+ * canTransition 强制相邻级别,所以 metacognition 一次大跨度升级需要分步。
+ * 每步都用 force=true（已通过 metacognition 评分,不再查升级条件）。
+ */
+function upgradeToTarget(repo, engramId, target, score, ageDays) {
+    const UPGRADE_PATH = [
+        "plausible",
+        "probable",
+        "verified",
+    ];
+    let current = repo.readEngram(engramId).verificationStatus;
+    let applied = false;
+    for (const step of UPGRADE_PATH) {
+        if (current === target)
+            break;
+        if (!canTransition(current, step))
+            break;
+        const result = upgradeVerification(repo, engramId, step, {
+            description: `metacognition_upgrade: overall=${score.overall.toFixed(2)}, ageDays=${ageDays}, step=${step}`,
+            verifiedBy: "metacognition",
+            confidence: score.overall,
+        }, { force: true });
+        if (result.applied) {
+            applied = true;
+            current = result.newStatus;
+        }
+        else {
+            break;
+        }
+    }
+    return { applied, newStatus: current };
+}
+//# sourceMappingURL=metacognition.js.map

package/dist/verification/metacognition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"metacognition.js","sourceRoot":"","sources":["../../src/verification/metacognition.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAIH,OAAO,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AA6CnD,kCAAkC;AAClC,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,YAAY,EAAE,GAAG;IACjB,UAAU,EAAE,IAAI;IAChB,iBAAiB,EAAE,IAAI;IACvB,cAAc,EAAE,GAAG;IACnB,UAAU,EAAE,CAAC,EAAE,MAAM;CACb,CAAC;AAEX,SAAS;AACT,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,sBAAsB,EAAE,IAAI;IAC5B,yBAAyB,EAAE,CAAC;IAC5B,sBAAsB,EAAE,GAAG;IAC3B,aAAa,EAAE,GAAG;CACV,CAAC;AAEX,sBAAsB;AACtB,MAAM,CAAC,MAAM,2BAA2B,GAAG,EAAE,CAAC;AAE9C,+CAA+C;AAC/C,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC;AAElD;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAiB;IACjD,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,OAAO,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;IAC3C,MAAM,cAAc,GAAG,qBAAqB,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;IACzE,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,cAAc,CAAC,CAAC;IAC7E,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC;AAC5D,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAAsB,EACtB,QAAkB,EAClB,KAA2B;IAE3B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,YAAY,GAAG,mBAAmB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,OAAO,GAAG,KAAK,EAAE,OAAO,IAAI,cAAc,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACnE,MAAM,SAAS,GAAe;QAC5B,MAAM;QACN,YAAY;QACZ,OAAO;QACP,oBAAoB,EAAE,KAAK,EAAE,oBAAoB;KAClD,CAAC;IACF,MAAM,KAAK,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC;IAE3C,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,IAAI,SAAyC,CAAC;IAC9C,IAAI,MAAM,GAAG,KAAK,CAAC,SAAS,CAAC;IAE7B,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,cAAc,KAAK,QAAQ,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,YAAY,CACzB,IAAI,EACJ,QAAQ,EACR;gBACE,WAAW,EAAE,iCAAiC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,aAAa,SAAS,YAAY,CAAC,WAAW,cAAc;gBACzJ,UAAU,EAAE,eAAe;gBAC3B,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO;aAC9B,EACD,EAAE,KAAK,EAAE,IAAI,EAAE,CAChB,CAAC;YACF,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;YACzB,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QAC/B,CAAC;aAAM,IAAI,KAAK,CAAC,cAAc,KAAK,kBAAkB,EAAE,CAAC;YACvD,0CAA0C;YAC1C,MAAM,MAAM,GAAG,eAAe,CAC5B,IAAI,EACJ,QAAQ,EACR,UAAU,EACV,KAAK,EACL,OAAO,CACR,CAAC;YACF,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;YACzB,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;QAC/B,CAAC;aAAM,IAAI,KAAK,CAAC,cAAc,KAAK,mBAAmB,EAAE,CAAC;YACxD,MAAM,IAAI,GAAG,eAAe,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;YACxD,IAAI,IAAI,EAAE,CAAC;gBACT,MAAM,MAAM,GAAG,mBAAmB,CAChC,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ;oBACE,WAAW,EAAE,kCAAkC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,gBAAgB,CAAC,sBAAsB,EAAE;oBACtH,UAAU,EAAE,eAAe;oBAC3B,UAAU,EAAE,KAAK,CAAC,OAAO;iBAC1B,EACD,EAAE,KAAK,EAAE,IAAI,EAAE,CAChB,CAAC;gBACF,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC;gBACzB,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,aAAa,CAAC,kBAAkB,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,GAAG,iBAAiB,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/E,CAAC;IAED,OAAO;QACL,QAAQ;QACR,KAAK;QACL,OAAO;QACP,SAAS;QACT,MAAM;KACP,CAAC;AACJ,CAAC;AAWD,+DAA+D;AAC/D,OAAO;AACP,+DAA+D;AAE/D,SAAS,iBAAiB,CAAC,KAAiB;IAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,CAAC;IACrD,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,gCAAgC,CAAC,CAAC;IAE7E,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,GAAG,2BAA2B,CAAC,CAAC;IAE5E,MAAM,KAAK,GACT,KAAK,CAAC,YAAY,CAAC,OAAO;QAC1B,KAAK,CAAC,YAAY,CAAC,YAAY;QAC/B,KAAK,CAAC,YAAY,CAAC,WAAW,CAAC;IACjC,MAAM,iBAAiB,GACrB,KAAK,KAAK,CAAC;QACT,CAAC,CAAC,GAAG;QACL,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,YAAY,CAAC,GAAG,KAAK,CAAC;IAE7E,MAAM,cAAc,GAAG,KAAK,CAAC,oBAAoB,IAAI,GAAG,CAAC;IAEzD,yCAAyC;IACzC,MAAM,UAAU,GACd,KAAK,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW;QACjC,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC;QAClD,CAAC,CAAC,GAAG,CAAC,8BAA8B;QACpC,CAAC,CAAC,GAAG,CAAC;IAEV,OAAO;QACL,YAAY;QACZ,UAAU;QACV,iBAAiB;QACjB,cAAc;QACd,UAAU;KACX,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,CAAiC;IACvD,OAAO,CACL,aAAa,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY;QAC3C,aAAa,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU;QACvC,aAAa,CAAC,iBAAiB,GAAG,CAAC,CAAC,iBAAiB;QACrD,aAAa,CAAC,cAAc,GAAG,CAAC,CAAC,cAAc,CAChD,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAe,EACf,KAAiB,EACjB,CAAiC;IAEjC,IACE,OAAO,IAAI,gBAAgB,CAAC,sBAAsB;QAClD,CAAC,CAAC,UAAU,GAAG,2BAA2B;YACxC,gBAAgB,CAAC,yBAAyB,EAC5C,CAAC;QACD,OAAO,kBAAkB,CAAC;IAC5B,CAAC;IACD,IAAI,OAAO,IAAI,gBAAgB,CAAC,sBAAsB,EAAE,CAAC;QACvD,OAAO,mBAAmB,CAAC;IAC7B,CAAC;IACD,IACE,OAAO,GAAG,gBAAgB,CAAC,aAAa;QACxC,KAAK,CAAC,YAAY,CAAC,WAAW,IAAI,CAAC,EACnC,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,cAAc,CACrB,KAAiB,EACjB,CAAiC,EACjC,OAAe,EACf,GAAwB;IAExB,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CACR,SAAS,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,IAAI,CAAC,IAAI,CAC/E,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;IACjE,KAAK,CAAC,IAAI,CACR,UAAU,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,YAAY,CAAC,OAAO,MAAM,KAAK,CAAC,YAAY,CAAC,WAAW,GAAG,CAChH,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACpD,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;IACvB,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACzB,CAAC;AAED,SAAS,aAAa,CAAC,KAAa;IAClC,OAAO,SAAS,KAAK,GAAG,CAAC;AAC3B,CAAC;AAED;;;;;GAKG;AACH,SAAS,mBAAmB,CAC1B,IAAsB,EACtB,QAAkB;IAOlB,MAAM,KAAK,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;IAC9E,IAAI,CAAC;QACH,eAAe;QACf,MAAM,GAAG,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QACxC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;iBACxC,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;gBAAE,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC;iBACvD,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa;gBAAE,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;iBACrD,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;gBAAE,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,gBAAgB;IAClB,CAAC;IAED,iDAAiD;IACjD,uBAAuB;IACvB,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACtC,KAAK,MAAM,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC;YAC9B,IAAI,OAAO,CAAC,EAAE,KAAK,QAAQ;gBAAE,SAAS;YACtC,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;iBAC9C,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc;gBAAE,KAAK,CAAC,YAAY,IAAI,CAAC,CAAC;iBAC7D,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa;gBAAE,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;iBAC3D,IAAI,OAAO,CAAC,IAAI,KAAK,cAAc;gBAAE,KAAK,CAAC,WAAW,IAAI,CAAC,CAAC;QACnE,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,SAAS;IACX,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,SAAiB;IACvC,MAAM,OAAO,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,CAAC;IACpC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,+DAA+D;AAC/D,SAAS,eAAe,CACtB,OAAuC;IAEvC,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,YAAY;QAAE,OAAO,WAAW,CAAC;IAC1E,IAAI,OAAO,KAAK,WAAW;QAAE,OAAO,UAAU,CAAC;IAC/C,IAAI,OAAO,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC;IAC9C,OAAO,SAAS,CAAC,CAAC,yBAAyB;AAC7C,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CACtB,IAAsB,EACtB,QAAkB,EAClB,MAA0B,EAC1B,KAAiB,EACjB,OAAe;IAEf,MAAM,YAAY,GAAkC;QAClD,WAAW;QACX,UAAU;QACV,UAAU;KACX,CAAC;IACF,IAAI,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,kBAAkB,CAAC;IAC3D,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;QAChC,IAAI,OAAO,KAAK,MAAM;YAAE,MAAM;QAC9B,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC;YAAE,MAAM;QACzC,MAAM,MAAM,GAAG,mBAAmB,CAChC,IAAI,EACJ,QAAQ,EACR,IAAI,EACJ;YACE,WAAW,EAAE,kCAAkC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,OAAO,UAAU,IAAI,EAAE;YAC3G,UAAU,EAAE,eAAe;YAC3B,UAAU,EAAE,KAAK,CAAC,OAAO;SAC1B,EACD,EAAE,KAAK,EAAE,IAAI,EAAE,CAChB,CAAC;QACF,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACnB,OAAO,GAAG,IAAI,CAAC;YACf,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,MAAM;QACR,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;AACzC,CAAC"}

package/dist/verification/state-machine.d.ts

@@ -0,0 +1,77 @@
+/**
+ * 验证状态机（spec §3.9, P3 4.5.1）
+ *
+ * 状态序列：unverified → plausible → probable → verified
+ * 终态：refuted
+ *
+ * 合法转移规则：
+ *   1. undefined（创建后未设置）→ 任意状态：首次设置，允许
+ *   2. 任何状态 → refuted：随时可以反驳（发现新证据）
+ *   3. 相邻级别升级：unverified → plausible → probable → verified（不允许跳级）
+ *   4. refuted → 任何：不允许（终态）
+ *
+ * 升级条件（spec §4.5.2）在 upgrade.ts 中实现，不在本文件。
+ *
+ * @module @co-engram/core/verification
+ */
+import type { VerificationStatus } from "../types/engram.js";
+/**
+ * 状态级别（数字越大越成熟）
+ *
+ * refuted 特殊处理：作为终态，不参与升降序比较。
+ */
+export declare const STATUS_ORDER: Record<VerificationStatus, number>;
+/**
+ * 正向升级路径（不含 refuted）
+ *
+ * unverified → plausible → probable → verified
+ */
+export declare const UPGRADE_PATH: readonly VerificationStatus[];
+/** 终态集合（不允许转出） */
+export declare const TERMINAL_STATUSES: ReadonlySet<VerificationStatus>;
+/**
+ * 判断状态转移是否合法
+ *
+ * 设计原则：
+ *   - 首次设置（from=undefined）允许到 unverified 或 plausible（基础起点）
+ *     或 refuted（直接反驳）；不允许跳到 probable/verified（跳级）
+ *   - 已有状态：严格相邻升级，或直接 refute
+ *   - refuted 是终态
+ *
+ * @param from 当前状态；undefined 表示尚未设置
+ * @param to   目标状态
+ */
+export declare function canTransition(from: VerificationStatus | undefined, to: VerificationStatus): boolean;
+/**
+ * 获取下一个正向升级状态
+ *
+ * - undefined → unverified
+ * - verified 已经最高，返回 verified
+ * - refuted 返回 refuted（终态）
+ */
+export declare function nextUpgradeStatus(current: VerificationStatus | undefined): VerificationStatus;
+/**
+ * 比较状态成熟度
+ *
+ * 返回值：
+ *   - 正数：a 比 b 成熟
+ *   - 负数：b 比 a 成熟
+ *   - 0：相等
+ *
+ * 注意：refuted 不与 verified/plausible 等比较"成熟度"。
+ * 此函数仅用于升级路径排序，调用方应先排除 refuted。
+ */
+export declare function compareStatus(a: VerificationStatus, b: VerificationStatus): number;
+/**
+ * 是否为终态
+ */
+export declare function isTerminal(status: VerificationStatus | undefined): boolean;
+/**
+ * 是否为反驳状态
+ */
+export declare function isRefuted(status: VerificationStatus | undefined): boolean;
+/**
+ * 是否为已验证状态（verified）
+ */
+export declare function isVerified(status: VerificationStatus | undefined): boolean;
+//# sourceMappingURL=state-machine.d.ts.map

package/dist/verification/state-machine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-machine.d.ts","sourceRoot":"","sources":["../../src/verification/state-machine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAE7D;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAM3D,CAAC;AAEF;;;;GAIG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,kBAAkB,EAKrD,CAAC;AAEF,kBAAkB;AAClB,eAAO,MAAM,iBAAiB,EAAE,WAAW,CAAC,kBAAkB,CACpB,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAC3B,IAAI,EAAE,kBAAkB,GAAG,SAAS,EACpC,EAAE,EAAE,kBAAkB,GACrB,OAAO,CAoBT;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,OAAO,EAAE,kBAAkB,GAAG,SAAS,GACtC,kBAAkB,CASpB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,aAAa,CAC3B,CAAC,EAAE,kBAAkB,EACrB,CAAC,EAAE,kBAAkB,GACpB,MAAM,CAER;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,kBAAkB,GAAG,SAAS,GAAG,OAAO,CAG1E;AAED;;GAEG;AACH,wBAAgB,SAAS,CAAC,MAAM,EAAE,kBAAkB,GAAG,SAAS,GAAG,OAAO,CAEzE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,MAAM,EAAE,kBAAkB,GAAG,SAAS,GAAG,OAAO,CAE1E"}

package/dist/verification/state-machine.js

@@ -0,0 +1,126 @@
+/**
+ * 验证状态机（spec §3.9, P3 4.5.1）
+ *
+ * 状态序列：unverified → plausible → probable → verified
+ * 终态：refuted
+ *
+ * 合法转移规则：
+ *   1. undefined（创建后未设置）→ 任意状态：首次设置，允许
+ *   2. 任何状态 → refuted：随时可以反驳（发现新证据）
+ *   3. 相邻级别升级：unverified → plausible → probable → verified（不允许跳级）
+ *   4. refuted → 任何：不允许（终态）
+ *
+ * 升级条件（spec §4.5.2）在 upgrade.ts 中实现，不在本文件。
+ *
+ * @module @co-engram/core/verification
+ */
+/**
+ * 状态级别（数字越大越成熟）
+ *
+ * refuted 特殊处理：作为终态，不参与升降序比较。
+ */
+export const STATUS_ORDER = {
+    unverified: 0,
+    plausible: 1,
+    probable: 2,
+    verified: 3,
+    refuted: 4,
+};
+/**
+ * 正向升级路径（不含 refuted）
+ *
+ * unverified → plausible → probable → verified
+ */
+export const UPGRADE_PATH = [
+    "unverified",
+    "plausible",
+    "probable",
+    "verified",
+];
+/** 终态集合（不允许转出） */
+export const TERMINAL_STATUSES = new Set(["refuted"]);
+/**
+ * 判断状态转移是否合法
+ *
+ * 设计原则：
+ *   - 首次设置（from=undefined）允许到 unverified 或 plausible（基础起点）
+ *     或 refuted（直接反驳）；不允许跳到 probable/verified（跳级）
+ *   - 已有状态：严格相邻升级，或直接 refute
+ *   - refuted 是终态
+ *
+ * @param from 当前状态；undefined 表示尚未设置
+ * @param to   目标状态
+ */
+export function canTransition(from, to) {
+    // 首次设置：允许 unverified（默认起点）/ plausible（部分验证起点）/ refuted（直接反驳）
+    if (from === undefined) {
+        return to === "unverified" || to === "plausible" || to === "refuted";
+    }
+    // 终态不允许转出
+    if (TERMINAL_STATUSES.has(from)) {
+        return false;
+    }
+    // 任何非终态都可以直接 refute（发现反例即可）
+    if (to === "refuted") {
+        return true;
+    }
+    // 升级：必须是相邻级别
+    const fromLevel = STATUS_ORDER[from];
+    const toLevel = STATUS_ORDER[to];
+    return toLevel === fromLevel + 1;
+}
+/**
+ * 获取下一个正向升级状态
+ *
+ * - undefined → unverified
+ * - verified 已经最高，返回 verified
+ * - refuted 返回 refuted（终态）
+ */
+export function nextUpgradeStatus(current) {
+    if (current === undefined)
+        return "unverified";
+    if (current === "refuted")
+        return "refuted";
+    if (current === "verified")
+        return "verified";
+    const idx = UPGRADE_PATH.indexOf(current);
+    if (idx < 0 || idx >= UPGRADE_PATH.length - 1) {
+        return current;
+    }
+    return UPGRADE_PATH[idx + 1];
+}
+/**
+ * 比较状态成熟度
+ *
+ * 返回值：
+ *   - 正数：a 比 b 成熟
+ *   - 负数：b 比 a 成熟
+ *   - 0：相等
+ *
+ * 注意：refuted 不与 verified/plausible 等比较"成熟度"。
+ * 此函数仅用于升级路径排序，调用方应先排除 refuted。
+ */
+export function compareStatus(a, b) {
+    return STATUS_ORDER[a] - STATUS_ORDER[b];
+}
+/**
+ * 是否为终态
+ */
+export function isTerminal(status) {
+    if (status === undefined)
+        return false;
+    return TERMINAL_STATUSES.has(status);
+}
+/**
+ * 是否为反驳状态
+ */
+export function isRefuted(status) {
+    return status === "refuted";
+}
+/**
+ * 是否为已验证状态（verified）
+ */
+export function isVerified(status) {
+    return status === "verified";
+}
+//# sourceMappingURL=state-machine.js.map

package/dist/verification/state-machine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"state-machine.js","sourceRoot":"","sources":["../../src/verification/state-machine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAIH;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAuC;IAC9D,UAAU,EAAE,CAAC;IACb,SAAS,EAAE,CAAC;IACZ,QAAQ,EAAE,CAAC;IACX,QAAQ,EAAE,CAAC;IACX,OAAO,EAAE,CAAC;CACX,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAkC;IACzD,YAAY;IACZ,WAAW;IACX,UAAU;IACV,UAAU;CACX,CAAC;AAEF,kBAAkB;AAClB,MAAM,CAAC,MAAM,iBAAiB,GAC5B,IAAI,GAAG,CAAqB,CAAC,SAAS,CAAC,CAAC,CAAC;AAE3C;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,aAAa,CAC3B,IAAoC,EACpC,EAAsB;IAEtB,6DAA6D;IAC7D,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,EAAE,KAAK,YAAY,IAAI,EAAE,KAAK,WAAW,IAAI,EAAE,KAAK,SAAS,CAAC;IACvE,CAAC;IAED,UAAU;IACV,IAAI,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,4BAA4B;IAC5B,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,aAAa;IACb,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IACjC,OAAO,OAAO,KAAK,SAAS,GAAG,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,iBAAiB,CAC/B,OAAuC;IAEvC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,YAAY,CAAC;IAC/C,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,OAAO,KAAK,UAAU;QAAE,OAAO,UAAU,CAAC;IAC9C,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC1C,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,OAAO,YAAY,CAAC,GAAG,GAAG,CAAC,CAAE,CAAC;AAChC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CAC3B,CAAqB,EACrB,CAAqB;IAErB,OAAO,YAAY,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,MAAsC;IAC/D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACvC,OAAO,iBAAiB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,MAAsC;IAC9D,OAAO,MAAM,KAAK,SAAS,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,MAAsC;IAC/D,OAAO,MAAM,KAAK,UAAU,CAAC;AAC/B,CAAC"}

package/dist/verification/upgrade.d.ts

@@ -0,0 +1,133 @@
+/**
+ * 验证状态升级（spec §4.5.2-4.5.3, P3 4.5）
+ *
+ * 升级条件（spec §4.5.2 三维证据）：
+ *   1. evidenceCount：累积证据数量
+ *   2. 跨情境验证：distinctDomainTags（来自 evidence 或 source engram）
+ *   3. 时间稳定：自首次编码以来的天数
+ *
+ * 升级到不同状态的阈值：
+ *   - plausible：evidenceCount ≥ 1
+ *   - probable：evidenceCount ≥ 2 + distinctDomains ≥ 2
+ *   - verified：evidenceCount ≥ 3 + distinctDomains ≥ 2 + ageDays ≥ stabilityDays
+ *   - refuted：无条件（只需要 refute 证据）
+ *
+ * 证据追加规则：
+ *   - evidence 同时追加到 engram 的所有 derives_from synapse（如果有）
+ *   - 跨情境证据的 domainTags 从 evidence.domainTags 提取
+ *
+ * @module @co-engram/core/verification
+ */
+import type { EngramRepository } from "../storage/repository.js";
+import type { EngramId, VerificationStatus } from "../types/engram.js";
+import type { VerificationEvidence } from "../generative/hypothesis.js";
+/** 升级条件配置 */
+export interface VerificationConditionConfig {
+    /** 升级到 plausible 所需的最少 evidence 数 */
+    readonly minEvidenceForPlausible: number;
+    /** 升级到 probable 所需的最少 evidence 数 */
+    readonly minEvidenceForProbable: number;
+    /** 升级到 verified 所需的最少 evidence 数 */
+    readonly minEvidenceForVerified: number;
+    /** 升级到 probable 所需的最少 distinct domainTags 数 */
+    readonly minDomainsForProbable: number;
+    /** 升级到 verified 所需的最少 distinct domainTags 数 */
+    readonly minDomainsForVerified: number;
+    /** 升级到 verified 所需的时间稳定天数（自 engram 创建起算） */
+    readonly minStabilityDaysForVerified: number;
+}
+export declare const DEFAULT_VERIFICATION_CONFIG: VerificationConditionConfig;
+/**
+ * 升级证据（扩展自 generative 的 VerificationEvidence）
+ *
+ * 增加 `domainTags` 用于跨情境证据聚合。
+ * 复用 generative 模块的基础结构，避免双接口并存。
+ */
+export interface UpgradeEvidence extends VerificationEvidence {
+    /** 跨情境标签：来自哪个 domain/context */
+    readonly domainTags?: readonly string[];
+}
+/** 单项条件检查结果 */
+export interface ConditionCheck {
+    readonly key: string;
+    readonly required: string;
+    readonly actual: string;
+    readonly passed: boolean;
+}
+/** 资格检查结果 */
+export interface CheckUpgradeEligibilityResult {
+    readonly engramId: EngramId;
+    readonly fromStatus: VerificationStatus | undefined;
+    readonly toStatus: VerificationStatus;
+    readonly eligible: boolean;
+    /** 未满足的条件 key 列表 */
+    readonly missing: readonly string[];
+    readonly checks: readonly ConditionCheck[];
+    readonly evidenceCount: number;
+    readonly distinctDomains: number;
+    readonly ageDays: number;
+}
+/**
+ * 检查升级资格（不写盘）
+ *
+ * 计算当前 engram 的三维证据状态，判断是否满足目标状态的升级条件。
+ *
+ * @returns CheckUpgradeEligibilityResult
+ */
+export declare function checkUpgradeEligibility(repo: EngramRepository, engramId: EngramId, newStatus: VerificationStatus, newEvidence: UpgradeEvidence, options?: {
+    readonly config?: VerificationConditionConfig;
+    readonly nowIso?: string;
+}): CheckUpgradeEligibilityResult;
+/** upgradeVerification 结果 */
+export interface UpgradeVerificationResult {
+    readonly engramId: EngramId;
+    readonly previousStatus: VerificationStatus | undefined;
+    readonly newStatus: VerificationStatus;
+    readonly eligible: boolean;
+    readonly applied: boolean;
+    readonly checks: readonly ConditionCheck[];
+    readonly evidenceAppended: boolean;
+    /** evidence 被追加到的 synapse ID 列表（通常 0 或 1 条 derives_from） */
+    readonly synapseIds: readonly string[];
+    readonly reason: string;
+}
+/**
+ * 升级验证状态（主入口）
+ *
+ * 行为：
+ *   1. 校验 engram 存在
+ *   2. 校验状态机合法转移（canTransition）
+ *   3. 检查升级条件（除非 force=true）
+ *   4. 落盘 verificationStatus
+ *   5. 追加 evidence 到所有 derives_from synapse（如果有）
+ *
+ * @param options.force 强制升级（跳过条件检查，但仍然校验状态机）。用于人工裁决。
+ */
+export declare function upgradeVerification(repo: EngramRepository, engramId: EngramId, newStatus: VerificationStatus, evidence: UpgradeEvidence, options?: {
+    readonly config?: VerificationConditionConfig;
+    readonly nowIso?: string;
+    readonly force?: boolean;
+}): UpgradeVerificationResult;
+/**
+ * 反驳（refute）便捷函数
+ *
+ * 等同于 upgradeVerification(repo, engramId, 'refuted', evidence)，
+ * 但允许从任何状态跳转。
+ */
+export declare function refuteEngram(repo: EngramRepository, engramId: EngramId, evidence: UpgradeEvidence, options?: {
+    readonly nowIso?: string;
+    readonly force?: boolean;
+}): UpgradeVerificationResult;
+/**
+ * 批量查询一组 engram 的验证状态摘要
+ *
+ * 用于统计 / dashboard。
+ */
+export interface VerificationStatusSummary {
+    readonly total: number;
+    readonly byStatus: Readonly<Record<VerificationStatus, number>>;
+    readonly refutedCount: number;
+    readonly verifiedCount: number;
+}
+export declare function summarizeVerificationStatus(repo: EngramRepository): VerificationStatusSummary;
+//# sourceMappingURL=upgrade.d.ts.map

package/dist/verification/upgrade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"upgrade.d.ts","sourceRoot":"","sources":["../../src/verification/upgrade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,KAAK,EAAE,QAAQ,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAGxE,aAAa;AACb,MAAM,WAAW,2BAA2B;IAC1C,qCAAqC;IACrC,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,oCAAoC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,oCAAoC;IACpC,QAAQ,CAAC,sBAAsB,EAAE,MAAM,CAAC;IACxC,+CAA+C;IAC/C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,+CAA+C;IAC/C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,4CAA4C;IAC5C,QAAQ,CAAC,2BAA2B,EAAE,MAAM,CAAC;CAC9C;AAED,eAAO,MAAM,2BAA2B,EAAE,2BAOzC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,WAAW,eAAgB,SAAQ,oBAAoB;IAC3D,gCAAgC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC;AAUD,eAAe;AACf,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B;AAED,aAAa;AACb,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,kBAAkB,GAAG,SAAS,CAAC;IACpD,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,oBAAoB;IACpB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AA+DD;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,gBAAgB,EACtB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,kBAAkB,EAC7B,WAAW,EAAE,eAAe,EAC5B,OAAO,GAAE;IACP,QAAQ,CAAC,MAAM,CAAC,EAAE,2BAA2B,CAAC;IAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CACrB,GACL,6BAA6B,CAsJ/B;AAED,6BAA6B;AAC7B,MAAM,WAAW,yBAAyB;IACxC,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,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,CAAC;IAC3C,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAC;IACnC,4DAA4D;IAC5D,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,gBAAgB,EACtB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,kBAAkB,EAC7B,QAAQ,EAAE,eAAe,EACzB,OAAO,GAAE;IACP,QAAQ,CAAC,MAAM,CAAC,EAAE,2BAA2B,CAAC;IAC9C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;CACrB,GACL,yBAAyB,CAiG3B;AAED;;;;;GAKG;AACH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,gBAAgB,EACtB,QAAQ,EAAE,QAAQ,EAClB,QAAQ,EAAE,eAAe,EACzB,OAAO,GAAE;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAO,GACnE,yBAAyB,CAE3B;AAED;;;;GAIG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC,CAAC;IAChE,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAED,wBAAgB,2BAA2B,CACzC,IAAI,EAAE,gBAAgB,GACrB,yBAAyB,CAuB3B"}