@co-engram/core 0.1.0

package/dist/verification/upgrade.js

@@ -0,0 +1,364 @@
+/**
+ * 验证状态升级（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 { canTransition } from "./state-machine.js";
+export const DEFAULT_VERIFICATION_CONFIG = {
+    minEvidenceForPlausible: 1,
+    minEvidenceForProbable: 2,
+    minEvidenceForVerified: 3,
+    minDomainsForProbable: 2,
+    minDomainsForVerified: 2,
+    minStabilityDaysForVerified: 7,
+};
+/**
+ * 解析 ISO 时间戳到 Date；无效时回退到 epoch
+ */
+function parseIso(iso) {
+    if (!iso)
+        return undefined;
+    const d = new Date(iso);
+    if (Number.isNaN(d.getTime()))
+        return undefined;
+    return d;
+}
+/**
+ * 计算两个 ISO 时间戳之间的天数差（向下取整；负值返回 0）
+ */
+function diffDays(fromIso, toIso) {
+    const a = parseIso(fromIso);
+    const b = parseIso(toIso);
+    if (!a || !b)
+        return 0;
+    const ms = b.getTime() - a.getTime();
+    if (ms < 0)
+        return 0;
+    return Math.floor(ms / (24 * 60 * 60 * 1000));
+}
+/**
+ * 从 derives_from synapse.evidence 数组重建已落盘证据
+ *
+ * evidence.description 前缀 `[plausible]` / `[verified]` / `[refuted]` 用于
+ * 提取 verdict；其余视作初始 source 生成时的说明。
+ *
+ * domainTags 如果在 description 中以 `tags:a,b` 格式给出，则解析。
+ */
+function reconstructPersistedEvidence(repo, engramId) {
+    const result = [];
+    const file = repo.readSynapses(engramId);
+    for (const syn of file.outgoing) {
+        if (syn.kind !== "derives_from")
+            continue;
+        for (const ev of syn.evidence) {
+            result.push({
+                description: ev.description,
+                verifiedBy: ev.addedBy,
+                confidence: ev.confidence,
+                domainTags: extractDomainTagsFromDescription(ev.description),
+            });
+        }
+    }
+    return result;
+}
+const DOMAIN_TAGS_PREFIX = "tags:";
+function extractDomainTagsFromDescription(description) {
+    const match = description.match(/\btags:([^\s\]]+)/);
+    if (!match)
+        return [];
+    return match[1]
+        .split(",")
+        .map((t) => t.trim())
+        .filter((t) => t.length > 0);
+}
+/**
+ * 检查升级资格（不写盘）
+ *
+ * 计算当前 engram 的三维证据状态，判断是否满足目标状态的升级条件。
+ *
+ * @returns CheckUpgradeEligibilityResult
+ */
+export function checkUpgradeEligibility(repo, engramId, newStatus, newEvidence, options = {}) {
+    const config = options.config ?? DEFAULT_VERIFICATION_CONFIG;
+    const nowIso = options.nowIso ?? new Date().toISOString();
+    if (!repo.exists(engramId)) {
+        throw new Error(`Engram not found: ${engramId}`);
+    }
+    const engram = repo.readEngram(engramId);
+    const fromStatus = engram.verificationStatus;
+    // 反驳路径：无条件（但 description 必须非空）
+    if (newStatus === "refuted") {
+        const descriptionOk = newEvidence.description.trim().length > 0;
+        return {
+            engramId,
+            fromStatus,
+            toStatus: newStatus,
+            eligible: descriptionOk,
+            missing: descriptionOk ? [] : ["refute_evidence"],
+            checks: [
+                {
+                    key: "refute_evidence",
+                    required: "evidence description present",
+                    actual: descriptionOk ? "provided" : "empty",
+                    passed: descriptionOk,
+                },
+            ],
+            evidenceCount: 0,
+            distinctDomains: 0,
+            ageDays: 0,
+        };
+    }
+    // 累积证据 = 已落盘 + 本次新证据
+    const persisted = reconstructPersistedEvidence(repo, engramId);
+    const newEvidenceWithDomains = {
+        description: newEvidence.description,
+        verifiedBy: newEvidence.verifiedBy,
+        confidence: newEvidence.confidence,
+        domainTags: newEvidence.domainTags ?? [],
+    };
+    const allEvidence = [...persisted, newEvidenceWithDomains];
+    // 累积 evidence 数（初始 derives_from synapse 的第一条记为"source 生成说明"，不计）
+    // 规则：description 以 `[verdict]` 开头的视为升级证据；其他不计
+    const verdictEvidence = allEvidence.filter((e) => /^\[(plausible|probable|verified|refuted)\]/.test(e.description));
+    const evidenceCount = verdictEvidence.length + 1; // 包含本次将要追加的新证据
+    // distinct domain tags（合并 engram 自身 + 所有 evidence 的）
+    const domainSet = new Set(engram.domainTags);
+    for (const e of allEvidence) {
+        for (const t of e.domainTags) {
+            domainSet.add(t);
+        }
+    }
+    if (newEvidence.domainTags) {
+        for (const t of newEvidence.domainTags) {
+            domainSet.add(t);
+        }
+    }
+    const distinctDomains = domainSet.size;
+    // 年龄
+    const ageDays = diffDays(engram.createdAt, nowIso);
+    // 条件检查
+    const checks = [];
+    const missing = [];
+    if (newStatus === "plausible") {
+        const passed = evidenceCount >= config.minEvidenceForPlausible;
+        checks.push({
+            key: "evidence_count",
+            required: `>= ${config.minEvidenceForPlausible}`,
+            actual: String(evidenceCount),
+            passed,
+        });
+        if (!passed)
+            missing.push("evidence_count");
+    }
+    else if (newStatus === "probable") {
+        const evOk = evidenceCount >= config.minEvidenceForProbable;
+        checks.push({
+            key: "evidence_count",
+            required: `>= ${config.minEvidenceForProbable}`,
+            actual: String(evidenceCount),
+            passed: evOk,
+        });
+        if (!evOk)
+            missing.push("evidence_count");
+        const domOk = distinctDomains >= config.minDomainsForProbable;
+        checks.push({
+            key: "cross_context",
+            required: `>= ${config.minDomainsForProbable} domains`,
+            actual: String(distinctDomains),
+            passed: domOk,
+        });
+        if (!domOk)
+            missing.push("cross_context");
+    }
+    else if (newStatus === "verified") {
+        const evOk = evidenceCount >= config.minEvidenceForVerified;
+        checks.push({
+            key: "evidence_count",
+            required: `>= ${config.minEvidenceForVerified}`,
+            actual: String(evidenceCount),
+            passed: evOk,
+        });
+        if (!evOk)
+            missing.push("evidence_count");
+        const domOk = distinctDomains >= config.minDomainsForVerified;
+        checks.push({
+            key: "cross_context",
+            required: `>= ${config.minDomainsForVerified} domains`,
+            actual: String(distinctDomains),
+            passed: domOk,
+        });
+        if (!domOk)
+            missing.push("cross_context");
+        const ageOk = ageDays >= config.minStabilityDaysForVerified;
+        checks.push({
+            key: "time_stability",
+            required: `>= ${config.minStabilityDaysForVerified} days`,
+            actual: `${ageDays} days`,
+            passed: ageOk,
+        });
+        if (!ageOk)
+            missing.push("time_stability");
+    }
+    else if (newStatus === "unverified") {
+        // 回退到 unverified：不允许（状态机不允许降级，除非首次设置）
+        checks.push({
+            key: "state_machine",
+            required: "first-time set or no-op",
+            actual: fromStatus === undefined ? "first-time" : `from ${fromStatus}`,
+            passed: fromStatus === undefined,
+        });
+        if (fromStatus !== undefined)
+            missing.push("state_machine");
+    }
+    const eligible = missing.length === 0;
+    return {
+        engramId,
+        fromStatus,
+        toStatus: newStatus,
+        eligible,
+        missing,
+        checks,
+        evidenceCount,
+        distinctDomains,
+        ageDays,
+    };
+}
+/**
+ * 升级验证状态（主入口）
+ *
+ * 行为：
+ *   1. 校验 engram 存在
+ *   2. 校验状态机合法转移（canTransition）
+ *   3. 检查升级条件（除非 force=true）
+ *   4. 落盘 verificationStatus
+ *   5. 追加 evidence 到所有 derives_from synapse（如果有）
+ *
+ * @param options.force 强制升级（跳过条件检查，但仍然校验状态机）。用于人工裁决。
+ */
+export function upgradeVerification(repo, engramId, newStatus, evidence, options = {}) {
+    if (!repo.exists(engramId)) {
+        throw new Error(`Engram not found: ${engramId}`);
+    }
+    const engram = repo.readEngram(engramId);
+    const previousStatus = engram.verificationStatus;
+    // 状态机校验
+    if (!canTransition(previousStatus, newStatus)) {
+        return {
+            engramId,
+            previousStatus,
+            newStatus,
+            eligible: false,
+            applied: false,
+            checks: [
+                {
+                    key: "state_machine",
+                    required: `legal transition from ${previousStatus ?? "undefined"}`,
+                    actual: `attempted ${previousStatus ?? "undefined"} → ${newStatus}`,
+                    passed: false,
+                },
+            ],
+            evidenceAppended: false,
+            synapseIds: [],
+            reason: `illegal transition: ${previousStatus ?? "undefined"} → ${newStatus}`,
+        };
+    }
+    // 条件检查
+    const eligibility = checkUpgradeEligibility(repo, engramId, newStatus, evidence, options);
+    const force = options.force ?? false;
+    if (!eligibility.eligible && !force) {
+        return {
+            engramId,
+            previousStatus,
+            newStatus,
+            eligible: false,
+            applied: false,
+            checks: eligibility.checks,
+            evidenceAppended: false,
+            synapseIds: [],
+            reason: `conditions not met: ${eligibility.missing.join(", ")}`,
+        };
+    }
+    // 落盘 verificationStatus
+    repo.updateVerificationStatus(engramId, newStatus);
+    // 追加 evidence 到所有 derives_from synapse（如果有）
+    const nowIso = options.nowIso ?? new Date().toISOString();
+    const file = repo.readSynapses(engramId);
+    const derivesSynapses = file.outgoing.filter((s) => s.kind === "derives_from");
+    const synapseIds = [];
+    let evidenceAppended = false;
+    for (const syn of derivesSynapses) {
+        const tagsSuffix = evidence.domainTags && evidence.domainTags.length > 0
+            ? ` tags:${evidence.domainTags.join(",")}`
+            : "";
+        const newEv = {
+            description: `[${newStatus}] ${evidence.description}${tagsSuffix}`,
+            addedAt: nowIso,
+            addedBy: evidence.verifiedBy,
+            confidence: evidence.confidence,
+        };
+        const next = [...syn.evidence, newEv];
+        repo.replaceSynapseEvidence(engramId, syn.id, next);
+        synapseIds.push(syn.id);
+        evidenceAppended = true;
+    }
+    return {
+        engramId,
+        previousStatus,
+        newStatus,
+        eligible: true,
+        applied: true,
+        checks: eligibility.checks,
+        evidenceAppended,
+        synapseIds,
+        reason: force
+            ? `forced upgrade to ${newStatus}`
+            : `upgraded to ${newStatus} (evidence=${eligibility.evidenceCount})`,
+    };
+}
+/**
+ * 反驳（refute）便捷函数
+ *
+ * 等同于 upgradeVerification(repo, engramId, 'refuted', evidence)，
+ * 但允许从任何状态跳转。
+ */
+export function refuteEngram(repo, engramId, evidence, options = {}) {
+    return upgradeVerification(repo, engramId, "refuted", evidence, options);
+}
+export function summarizeVerificationStatus(repo) {
+    const byStatus = {
+        unverified: 0,
+        plausible: 0,
+        probable: 0,
+        verified: 0,
+        refuted: 0,
+    };
+    let total = 0;
+    for (const entry of repo.listEngrams()) {
+        const engram = repo.readEngram(entry.id);
+        const status = engram.verificationStatus ?? "unverified";
+        byStatus[status] += 1;
+        total += 1;
+    }
+    return {
+        total,
+        byStatus,
+        refutedCount: byStatus.refuted,
+        verifiedCount: byStatus.verified,
+    };
+}
+//# sourceMappingURL=upgrade.js.map

package/dist/verification/upgrade.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"upgrade.js","sourceRoot":"","sources":["../../src/verification/upgrade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAKH,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAkBnD,MAAM,CAAC,MAAM,2BAA2B,GAAgC;IACtE,uBAAuB,EAAE,CAAC;IAC1B,sBAAsB,EAAE,CAAC;IACzB,sBAAsB,EAAE,CAAC;IACzB,qBAAqB,EAAE,CAAC;IACxB,qBAAqB,EAAE,CAAC;IACxB,2BAA2B,EAAE,CAAC;CAC/B,CAAC;AA2CF;;GAEG;AACH,SAAS,QAAQ,CAAC,GAAuB;IACvC,IAAI,CAAC,GAAG;QAAE,OAAO,SAAS,CAAC;IAC3B,MAAM,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAAE,OAAO,SAAS,CAAC;IAChD,OAAO,CAAC,CAAC;AACX,CAAC;AAED;;GAEG;AACH,SAAS,QAAQ,CAAC,OAAe,EAAE,KAAa;IAC9C,MAAM,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAC5B,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;IACrC,IAAI,EAAE,GAAG,CAAC;QAAE,OAAO,CAAC,CAAC;IACrB,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;AAChD,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,4BAA4B,CACnC,IAAsB,EACtB,QAAkB;IAElB,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACzC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,IAAI,KAAK,cAAc;YAAE,SAAS;QAC1C,KAAK,MAAM,EAAE,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC;gBACV,WAAW,EAAE,EAAE,CAAC,WAAW;gBAC3B,UAAU,EAAE,EAAE,CAAC,OAAO;gBACtB,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,UAAU,EAAE,gCAAgC,CAAC,EAAE,CAAC,WAAW,CAAC;aAC7D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,kBAAkB,GAAG,OAAO,CAAC;AAEnC,SAAS,gCAAgC,CAAC,WAAmB;IAC3D,MAAM,KAAK,GAAG,WAAW,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;IACrD,IAAI,CAAC,KAAK;QAAE,OAAO,EAAE,CAAC;IACtB,OAAO,KAAK,CAAC,CAAC,CAAE;SACb,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;SACpB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;AACjC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,IAAsB,EACtB,QAAkB,EAClB,SAA6B,EAC7B,WAA4B,EAC5B,UAGI,EAAE;IAEN,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,2BAA2B,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAE1D,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,MAAM,CAAC,kBAAkB,CAAC;IAE7C,+BAA+B;IAC/B,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,aAAa,GAAG,WAAW,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;QAChE,OAAO;YACL,QAAQ;YACR,UAAU;YACV,QAAQ,EAAE,SAAS;YACnB,QAAQ,EAAE,aAAa;YACvB,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC;YACjD,MAAM,EAAE;gBACN;oBACE,GAAG,EAAE,iBAAiB;oBACtB,QAAQ,EAAE,8BAA8B;oBACxC,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO;oBAC5C,MAAM,EAAE,aAAa;iBACtB;aACF;YACD,aAAa,EAAE,CAAC;YAChB,eAAe,EAAE,CAAC;YAClB,OAAO,EAAE,CAAC;SACX,CAAC;IACJ,CAAC;IAED,qBAAqB;IACrB,MAAM,SAAS,GAAG,4BAA4B,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/D,MAAM,sBAAsB,GAAsB;QAChD,WAAW,EAAE,WAAW,CAAC,WAAW;QACpC,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,UAAU,EAAE,WAAW,CAAC,UAAU,IAAI,EAAE;KACzC,CAAC;IACF,MAAM,WAAW,GAAG,CAAC,GAAG,SAAS,EAAE,sBAAsB,CAAC,CAAC;IAE3D,gEAAgE;IAChE,8CAA8C;IAC9C,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC/C,4CAA4C,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,CACjE,CAAC;IACF,MAAM,aAAa,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,eAAe;IAEjE,qDAAqD;IACrD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,MAAM,CAAC,UAAU,CAAC,CAAC;IACrD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC7B,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,WAAW,CAAC,UAAU,EAAE,CAAC;YACvC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,MAAM,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC;IAEvC,KAAK;IACL,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAEnD,OAAO;IACP,MAAM,MAAM,GAAqB,EAAE,CAAC;IACpC,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,SAAS,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,MAAM,GAAG,aAAa,IAAI,MAAM,CAAC,uBAAuB,CAAC;QAC/D,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,EAAE,gBAAgB;YACrB,QAAQ,EAAE,MAAM,MAAM,CAAC,uBAAuB,EAAE;YAChD,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC;YAC7B,MAAM;SACP,CAAC,CAAC;QACH,IAAI,CAAC,MAAM;YAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC;SAAM,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,aAAa,IAAI,MAAM,CAAC,sBAAsB,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,EAAE,gBAAgB;YACrB,QAAQ,EAAE,MAAM,MAAM,CAAC,sBAAsB,EAAE;YAC/C,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC;YAC7B,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;QACH,IAAI,CAAC,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAE1C,MAAM,KAAK,GAAG,eAAe,IAAI,MAAM,CAAC,qBAAqB,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,EAAE,eAAe;YACpB,QAAQ,EAAE,MAAM,MAAM,CAAC,qBAAqB,UAAU;YACtD,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC;YAC/B,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;QACH,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC5C,CAAC;SAAM,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,aAAa,IAAI,MAAM,CAAC,sBAAsB,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,EAAE,gBAAgB;YACrB,QAAQ,EAAE,MAAM,MAAM,CAAC,sBAAsB,EAAE;YAC/C,MAAM,EAAE,MAAM,CAAC,aAAa,CAAC;YAC7B,MAAM,EAAE,IAAI;SACb,CAAC,CAAC;QACH,IAAI,CAAC,IAAI;YAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAE1C,MAAM,KAAK,GAAG,eAAe,IAAI,MAAM,CAAC,qBAAqB,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,EAAE,eAAe;YACpB,QAAQ,EAAE,MAAM,MAAM,CAAC,qBAAqB,UAAU;YACtD,MAAM,EAAE,MAAM,CAAC,eAAe,CAAC;YAC/B,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;QACH,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAE1C,MAAM,KAAK,GAAG,OAAO,IAAI,MAAM,CAAC,2BAA2B,CAAC;QAC5D,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,EAAE,gBAAgB;YACrB,QAAQ,EAAE,MAAM,MAAM,CAAC,2BAA2B,OAAO;YACzD,MAAM,EAAE,GAAG,OAAO,OAAO;YACzB,MAAM,EAAE,KAAK;SACd,CAAC,CAAC;QACH,IAAI,CAAC,KAAK;YAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7C,CAAC;SAAM,IAAI,SAAS,KAAK,YAAY,EAAE,CAAC;QACtC,sCAAsC;QACtC,MAAM,CAAC,IAAI,CAAC;YACV,GAAG,EAAE,eAAe;YACpB,QAAQ,EAAE,yBAAyB;YACnC,MAAM,EAAE,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,UAAU,EAAE;YACtE,MAAM,EAAE,UAAU,KAAK,SAAS;SACjC,CAAC,CAAC;QACH,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC9D,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC;IAEtC,OAAO;QACL,QAAQ;QACR,UAAU;QACV,QAAQ,EAAE,SAAS;QACnB,QAAQ;QACR,OAAO;QACP,MAAM;QACN,aAAa;QACb,eAAe;QACf,OAAO;KACR,CAAC;AACJ,CAAC;AAgBD;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,mBAAmB,CACjC,IAAsB,EACtB,QAAkB,EAClB,SAA6B,EAC7B,QAAyB,EACzB,UAII,EAAE;IAEN,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,qBAAqB,QAAQ,EAAE,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,cAAc,GAAG,MAAM,CAAC,kBAAkB,CAAC;IAEjD,QAAQ;IACR,IAAI,CAAC,aAAa,CAAC,cAAc,EAAE,SAAS,CAAC,EAAE,CAAC;QAC9C,OAAO;YACL,QAAQ;YACR,cAAc;YACd,SAAS;YACT,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE;gBACN;oBACE,GAAG,EAAE,eAAe;oBACpB,QAAQ,EAAE,yBAAyB,cAAc,IAAI,WAAW,EAAE;oBAClE,MAAM,EAAE,aAAa,cAAc,IAAI,WAAW,MAAM,SAAS,EAAE;oBACnE,MAAM,EAAE,KAAK;iBACd;aACF;YACD,gBAAgB,EAAE,KAAK;YACvB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,uBAAuB,cAAc,IAAI,WAAW,MAAM,SAAS,EAAE;SAC9E,CAAC;IACJ,CAAC;IAED,OAAO;IACP,MAAM,WAAW,GAAG,uBAAuB,CACzC,IAAI,EACJ,QAAQ,EACR,SAAS,EACT,QAAQ,EACR,OAAO,CACR,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC;IAErC,IAAI,CAAC,WAAW,CAAC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACpC,OAAO;YACL,QAAQ;YACR,cAAc;YACd,SAAS;YACT,QAAQ,EAAE,KAAK;YACf,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,WAAW,CAAC,MAAM;YAC1B,gBAAgB,EAAE,KAAK;YACvB,UAAU,EAAE,EAAE;YACd,MAAM,EAAE,uBAAuB,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SAChE,CAAC;IACJ,CAAC;IAED,wBAAwB;IACxB,IAAI,CAAC,wBAAwB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEnD,4CAA4C;IAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IACzC,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAC1C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,CACjC,CAAC;IAEF,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,gBAAgB,GAAG,KAAK,CAAC;IAE7B,KAAK,MAAM,GAAG,IAAI,eAAe,EAAE,CAAC;QAClC,MAAM,UAAU,GACd,QAAQ,CAAC,UAAU,IAAI,QAAQ,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;YACnD,CAAC,CAAC,SAAS,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE;YAC1C,CAAC,CAAC,EAAE,CAAC;QACT,MAAM,KAAK,GAAG;YACZ,WAAW,EAAE,IAAI,SAAS,KAAK,QAAQ,CAAC,WAAW,GAAG,UAAU,EAAE;YAClE,OAAO,EAAE,MAAM;YACf,OAAO,EAAE,QAAQ,CAAC,UAAU;YAC5B,UAAU,EAAE,QAAQ,CAAC,UAAU;SAChC,CAAC;QACF,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACtC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACpD,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxB,gBAAgB,GAAG,IAAI,CAAC;IAC1B,CAAC;IAED,OAAO;QACL,QAAQ;QACR,cAAc;QACd,SAAS;QACT,QAAQ,EAAE,IAAI;QACd,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,WAAW,CAAC,MAAM;QAC1B,gBAAgB;QAChB,UAAU;QACV,MAAM,EAAE,KAAK;YACX,CAAC,CAAC,qBAAqB,SAAS,EAAE;YAClC,CAAC,CAAC,eAAe,SAAS,cAAc,WAAW,CAAC,aAAa,GAAG;KACvE,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,YAAY,CAC1B,IAAsB,EACtB,QAAkB,EAClB,QAAyB,EACzB,UAAkE,EAAE;IAEpE,OAAO,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;AAC3E,CAAC;AAcD,MAAM,UAAU,2BAA2B,CACzC,IAAsB;IAEtB,MAAM,QAAQ,GAAuC;QACnD,UAAU,EAAE,CAAC;QACb,SAAS,EAAE,CAAC;QACZ,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,CAAC;QACX,OAAO,EAAE,CAAC;KACX,CAAC;IACF,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,MAAM,CAAC,kBAAkB,IAAI,YAAY,CAAC;QACzD,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACtB,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IAED,OAAO;QACL,KAAK;QACL,QAAQ;QACR,YAAY,EAAE,QAAQ,CAAC,OAAO;QAC9B,aAAa,EAAE,QAAQ,CAAC,QAAQ;KACjC,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,70 @@
+{
+  "name": "@co-engram/core",
+  "version": "0.1.0",
+  "description": "Host-agnostic team memory engine with neuroscience-inspired plasticity.",
+  "license": "MIT",
+  "author": "Yang Yang <yang.yang29@zte.com.cn>",
+  "homepage": "https://github.com/co-engram/co-engram#readme",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/co-engram/co-engram.git",
+    "directory": "packages/core"
+  },
+  "bugs": {
+    "url": "https://github.com/co-engram/co-engram/issues"
+  },
+  "keywords": [
+    "memory",
+    "ai-memory",
+    "agent-memory",
+    "engram",
+    "synapse",
+    "knowledge-graph",
+    "rpe",
+    "reinforcement-learning",
+    "mcp",
+    "neuroscience"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "engines": {
+    "node": ">=22.0.0"
+  },
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./types": {
+      "types": "./dist/types/index.d.ts",
+      "import": "./dist/types/index.js"
+    },
+    "./tools": {
+      "types": "./dist/tools/index.d.ts",
+      "import": "./dist/tools/index.js"
+    }
+  },
+  "scripts": {
+    "build": "tsc -p tsconfig.json",
+    "test": "vitest run --reporter=verbose",
+    "test:watch": "vitest",
+    "typecheck": "tsc --noEmit"
+  },
+  "dependencies": {
+    "ulid": "^3.0.2",
+    "yaml": "^2.5.0",
+    "zod": "^3.23.0"
+  },
+  "peerDependencies": {
+    "typescript": ">=5.0.0"
+  }
+}