@co-engram/core 0.1.0

package/dist/config/types.d.ts

@@ -0,0 +1,145 @@
+/**
+ * 配置类型定义
+ *
+ * dataRoot 内 `.co-engram/config.json` 的 schema。
+ * 单一权威来源:env 仅保留 bootstrap 入口(DATA_ROOT)和敏感项(VIEWER_TOKEN),
+ * 其他全部配置项以本文件中的 schema 为准。
+ *
+ * 子系统配置类型复用各模块已有的接口(maintenance/MaintenanceConfig 等),
+ * 本文件仅补充 config.json 专用的"开关 + 调参"包装。
+ *
+ * @module @co-engram/core/config
+ */
+import type { Language } from "../i18n/types.js";
+import type { MaintenanceConfig as EngineMaintenanceConfig } from "../maintenance/types.js";
+/**
+ * Maintenance 子系统在 config.json 中的配置
+ *
+ * 在引擎用的 {@link EngineMaintenanceConfig} 基础上,加一个 `enabled` 开关字段。
+ * `enabled=false` 时三阶段都不跑。
+ */
+export interface MaintenanceSectionConfig extends EngineMaintenanceConfig {
+    /** 总开关(false 时三阶段都不跑;默认 true,遵循 low-friction-defaults) */
+    readonly enabled?: boolean;
+}
+/**
+ * Proposal Engine 配置(与 observability/proposal-engine 的 ProposalEngineConfig 对齐)
+ */
+export interface ProposalsSectionConfig {
+    /** 启用候选记忆捕获(默认 true) */
+    readonly enabled?: boolean;
+    /** 归簇触发阈值 */
+    readonly threshold?: number;
+    /** 相似度阈值 (0,1] */
+    readonly similarityThreshold?: number;
+    /** 单个 cluster 保留的最大样本数 */
+    readonly maxSamples?: number;
+    /** 触发 observe 的最小消息长度(过滤短消息) */
+    readonly minMessageLength?: number;
+    /** dismiss 后多少天内不再提示 */
+    readonly defaultDismissDays?: number;
+}
+/**
+ * Audit 子系统在 config.json 中的配置
+ */
+export interface AuditSectionConfig {
+    /** 启用审计日志(默认 true) */
+    readonly enabled?: boolean;
+}
+/**
+ * Effectiveness 子系统在 config.json 中的配置
+ */
+export interface EffectivenessSectionConfig {
+    /** 启用有效性追踪(默认 true) */
+    readonly enabled?: boolean;
+}
+/**
+ * Viewer 子系统在 config.json 中的配置(不含 token)
+ */
+export interface ViewerSectionConfig {
+    /** 启用 web viewer(默认跟随 proposal engine) */
+    readonly enabled?: boolean;
+    /** viewer 监听端口(默认 18799) */
+    readonly port?: number;
+    /** viewer 对外可达 URL */
+    readonly url?: string;
+}
+/**
+ * MCP server 协议身份
+ */
+export interface ServerSectionConfig {
+    /** MCP server name(默认 'co-engram') */
+    readonly name?: string;
+    /** MCP server version(默认 '0.0.0') */
+    readonly version?: string;
+}
+/**
+ * team-memory 持久化配置形状
+ *
+ * 由 `co-engram init` 或自愈机制写入,启动时以本文件为单一权威。
+ *
+ * 顶级字段(非子系统调参)保持平铺:
+ *   - `language` / `defaultCreatedBy` / `toolsProfile` / `migratedToLanguage`
+ *
+ * `desiredDataRoot` 是 viewer 写入的"下次启动 dataRoot redirect hint",
+ * bootstrap 阶段读到时,把 dataRoot 切到该值;其他字段以 redirect 后的 dataRoot
+ * 内 config.json 为准。
+ */
+export interface TeamMemoryConfig {
+    /** schema 版本 */
+    readonly version: 1;
+    /** 工具描述、查看器 UI、提示词所用语言 */
+    readonly language?: Language;
+    /** 默认作者标识(git > config > env > 'unknown') */
+    readonly defaultCreatedBy?: string;
+    /** 创建时间 ISO */
+    readonly createdAt?: string;
+    /** 初始化工具版本 */
+    readonly initializedBy?: string;
+    /** 已迁移到的磁盘字段语言格式(避免重复 migrate) */
+    readonly migratedToLanguage?: Language;
+    /** Claude Code MCP 工具暴露 profile('minimal' | 'standard' | 'full') */
+    readonly toolsProfile?: string;
+    /**
+     * 必要性评估 LLM 配置(可选)
+     *
+     * 配置后,proposal engine 在 cluster 晋升前会用 LLM 判断"是否值得固化为团队记忆",
+     * 失败 fallback 到 RuleBasedNecessityEvaluator(规则版)。
+     * 不配置时,根据 host 环境探测:
+     *   - claude-code-mcp:从 env ANTHROPIC_API_KEY 自动构造
+     *   - openclaw-plugin:从 ~/.openclaw/openclaw.json 自动构造
+     * 探测失败时只走规则版,零 LLM 成本。
+     */
+    readonly necessityLlm?: {
+        /** API key(env 优先) */
+        readonly apiKey?: string;
+        /** 模型名 */
+        readonly model?: string;
+        /** 可选自定义 endpoint */
+        readonly endpoint?: string;
+        /** 可选额外 headers */
+        readonly headers?: Record<string, string>;
+    };
+    /**
+     * 下次启动期望的数据根目录(viewer 写入)
+     *
+     * bootstrap 阶段若读到此字段,会把 dataRoot 切到该值。
+     * **redirect 语义**:仅作为下次启动的 dataRoot hint,
+     * 其他配置字段仍以 redirect 后的 dataRoot 内 config.json 为准。
+     */
+    readonly desiredDataRoot?: string;
+    /** Maintenance 子系统配置 */
+    readonly maintenance?: MaintenanceSectionConfig;
+    /** Proposals 子系统配置 */
+    readonly proposals?: ProposalsSectionConfig;
+    /** Audit 子系统配置 */
+    readonly audit?: AuditSectionConfig;
+    /** Effectiveness 子系统配置 */
+    readonly effectiveness?: EffectivenessSectionConfig;
+    /** Viewer 子系统配置(不含 token) */
+    readonly viewer?: ViewerSectionConfig;
+    /** MCP server 协议身份 */
+    readonly server?: ServerSectionConfig;
+}
+export type { MaintenanceStage, TrashMaintenanceConfig, } from "../maintenance/types.js";
+//# sourceMappingURL=types.d.ts.map

package/dist/config/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/config/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,KAAK,EACV,iBAAiB,IAAI,uBAAuB,EAG7C,MAAM,yBAAyB,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,WAAW,wBAAyB,SAAQ,uBAAuB;IACvE,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,wBAAwB;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,aAAa;IACb,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,kBAAkB;IAClB,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,0BAA0B;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,gCAAgC;IAChC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,wBAAwB;IACxB,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,sBAAsB;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,uBAAuB;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,0CAA0C;IAC1C,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,4BAA4B;IAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,sBAAsB;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,sCAAsC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,qCAAqC;IACrC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;CAC3B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB;IAChB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;IACpB,0BAA0B;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,6CAA6C;IAC7C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACnC,eAAe;IACf,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,cAAc;IACd,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,kCAAkC;IAClC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,QAAQ,CAAC;IACvC,oEAAoE;IACpE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B;;;;;;;;;OASG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE;QACtB,sBAAsB;QACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QACzB,UAAU;QACV,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;QACxB,qBAAqB;QACrB,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;QAC3B,mBAAmB;QACnB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;KAC3C,CAAC;IAEF;;;;;;OAMG;IACH,QAAQ,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC;IAElC,wBAAwB;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,wBAAwB,CAAC;IAChD,sBAAsB;IACtB,QAAQ,CAAC,SAAS,CAAC,EAAE,sBAAsB,CAAC;IAC5C,kBAAkB;IAClB,QAAQ,CAAC,KAAK,CAAC,EAAE,kBAAkB,CAAC;IACpC,0BAA0B;IAC1B,QAAQ,CAAC,aAAa,CAAC,EAAE,0BAA0B,CAAC;IACpD,6BAA6B;IAC7B,QAAQ,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC;IACtC,sBAAsB;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,mBAAmB,CAAC;CACvC;AAGD,YAAY,EACV,gBAAgB,EAChB,sBAAsB,GACvB,MAAM,yBAAyB,CAAC"}

package/dist/config/types.js

@@ -0,0 +1,14 @@
+/**
+ * 配置类型定义
+ *
+ * dataRoot 内 `.co-engram/config.json` 的 schema。
+ * 单一权威来源:env 仅保留 bootstrap 入口(DATA_ROOT)和敏感项(VIEWER_TOKEN),
+ * 其他全部配置项以本文件中的 schema 为准。
+ *
+ * 子系统配置类型复用各模块已有的接口(maintenance/MaintenanceConfig 等),
+ * 本文件仅补充 config.json 专用的"开关 + 调参"包装。
+ *
+ * @module @co-engram/core/config
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/config/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/config/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG"}

package/dist/contradiction/arbiter.d.ts

@@ -0,0 +1,51 @@
+/**
+ * Contradiction Arbiter（spec §3.9 阶段 1）
+ *
+ * LLM 自动裁决：必须给依据（rationale）+ confidence。
+ *
+ * 抽象层（不绑定具体 LLM）：
+ *   - ContradictionArbiter Provider 接口
+ *   - LocalHeuristicContradictionArbiter 本地规则实现（默认）
+ *
+ * 本地规则：
+ *   - 优先保留高 confidence 一方
+ *   - 高 evidenceCount 优势
+ *   - firsthand > secondhand > inferred
+ *   - 内容长度差异（短而精 vs 长而冗余）
+ *   - 同等条件 → merge + 低 confidence（升级人工）
+ *
+ * @module @co-engram/core/contradiction
+ */
+import type { ArbitrateInput, ArbitrateOutput } from "./types.js";
+/** Arbiter Provider 接口（host 可注入 LLM 实现） */
+export interface ContradictionArbiter {
+    arbitrate(input: ArbitrateInput): Promise<ArbitrateOutput> | ArbitrateOutput;
+}
+/**
+ * 本地启发式裁决器
+ *
+ * 规则按优先级：
+ *   1. confidence 差异 > 0.2 → 保留高方（confidence 0.8）
+ *   2. evidenceCount 差异 ≥ 3 → 保留多证据方（confidence 0.75）
+ *   3. sourceType 差异大 → 保留 firsthand 方（confidence 0.7）
+ *   4. 其他 → merge（confidence 0.5，需人工确认）
+ */
+export declare class LocalHeuristicContradictionArbiter implements ContradictionArbiter {
+    arbitrate(input: ArbitrateInput): ArbitrateOutput;
+}
+/**
+ * 判断 verdict 是否会自动执行（confidence ≥ threshold）
+ *
+ * 默认 threshold = 0.8（spec §3.9 阶段 1）
+ */
+export declare function shouldAutoExecute(output: ArbitrateOutput, threshold?: number): boolean;
+/**
+ * 验证 Arbiter 输出合法
+ *
+ * 强制要求：
+ *   - verdict 是合法枚举
+ *   - rationale 非空（spec：必须给依据）
+ *   - confidence ∈ [0, 1]
+ */
+export declare function validateArbiterOutput(output: ArbitrateOutput): void;
+//# sourceMappingURL=arbiter.d.ts.map

package/dist/contradiction/arbiter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbiter.d.ts","sourceRoot":"","sources":["../../src/contradiction/arbiter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAGlE,2CAA2C;AAC3C,MAAM,WAAW,oBAAoB;IACnC,SAAS,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,eAAe,CAAC;CAC9E;AASD;;;;;;;;GAQG;AACH,qBAAa,kCAAmC,YAAW,oBAAoB;IAC7E,SAAS,CAAC,KAAK,EAAE,cAAc,GAAG,eAAe;CA8ClD;AAED;;;;GAIG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,eAAe,EACvB,SAAS,SAAM,GACd,OAAO,CAET;AAED;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,eAAe,GAAG,IAAI,CAoBnE"}

package/dist/contradiction/arbiter.js

@@ -0,0 +1,112 @@
+/**
+ * Contradiction Arbiter（spec §3.9 阶段 1）
+ *
+ * LLM 自动裁决：必须给依据（rationale）+ confidence。
+ *
+ * 抽象层（不绑定具体 LLM）：
+ *   - ContradictionArbiter Provider 接口
+ *   - LocalHeuristicContradictionArbiter 本地规则实现（默认）
+ *
+ * 本地规则：
+ *   - 优先保留高 confidence 一方
+ *   - 高 evidenceCount 优势
+ *   - firsthand > secondhand > inferred
+ *   - 内容长度差异（短而精 vs 长而冗余）
+ *   - 同等条件 → merge + 低 confidence（升级人工）
+ *
+ * @module @co-engram/core/contradiction
+ */
+/** 来源类型权重（firsthand > secondhand > inferred） */
+const SOURCE_TYPE_WEIGHT = {
+    firsthand: 1.0,
+    secondhand: 0.7,
+    inferred: 0.5,
+};
+/**
+ * 本地启发式裁决器
+ *
+ * 规则按优先级：
+ *   1. confidence 差异 > 0.2 → 保留高方（confidence 0.8）
+ *   2. evidenceCount 差异 ≥ 3 → 保留多证据方（confidence 0.75）
+ *   3. sourceType 差异大 → 保留 firsthand 方（confidence 0.7）
+ *   4. 其他 → merge（confidence 0.5，需人工确认）
+ */
+export class LocalHeuristicContradictionArbiter {
+    arbitrate(input) {
+        const { newEngram: neu, oldEngram: old } = input;
+        const confDelta = neu.confidence - old.confidence;
+        const evidenceDelta = neu.evidenceCount - old.evidenceCount;
+        const neuSourceW = SOURCE_TYPE_WEIGHT[neu.sourceType] ?? 0.5;
+        const oldSourceW = SOURCE_TYPE_WEIGHT[old.sourceType] ?? 0.5;
+        // 规则 1：confidence 差异 > 0.2
+        if (Math.abs(confDelta) > 0.2) {
+            const winner = confDelta > 0 ? "new" : "old";
+            return {
+                verdict: winner === "new" ? "keep_new" : "keep_old",
+                rationale: `confidence差距 ${confDelta.toFixed(2)}，保留 ${winner} 方 (conf=${(winner === "new" ? neu.confidence : old.confidence).toFixed(2)})`,
+                confidence: 0.85,
+            };
+        }
+        // 规则 2：evidence 差异 ≥ 3
+        if (Math.abs(evidenceDelta) >= 3) {
+            const winner = evidenceDelta > 0 ? "new" : "old";
+            return {
+                verdict: winner === "new" ? "keep_new" : "keep_old",
+                rationale: `evidence差距 ${evidenceDelta}，保留 ${winner} 方 (evidence=${winner === "new" ? neu.evidenceCount : old.evidenceCount})`,
+                confidence: 0.8,
+            };
+        }
+        // 规则 3：sourceType 差异（firsthand vs inferred/secondhand）
+        const sourceDelta = neuSourceW - oldSourceW;
+        if (Math.abs(sourceDelta) >= 0.3) {
+            const winner = sourceDelta > 0 ? "new" : "old";
+            return {
+                verdict: winner === "new" ? "keep_new" : "keep_old",
+                rationale: `sourceType差异 (${neu.sourceType} vs ${old.sourceType})，保留 ${winner} 方`,
+                confidence: 0.75,
+            };
+        }
+        // 规则 4：fallback → merge，低 confidence（升级人工）
+        return {
+            verdict: "merge",
+            rationale: `证据不足自动裁决 (confΔ=${confDelta.toFixed(2)}, evidenceΔ=${evidenceDelta}, sourceΔ=${sourceDelta.toFixed(2)})，建议人工合并`,
+            confidence: 0.5,
+        };
+    }
+}
+/**
+ * 判断 verdict 是否会自动执行（confidence ≥ threshold）
+ *
+ * 默认 threshold = 0.8（spec §3.9 阶段 1）
+ */
+export function shouldAutoExecute(output, threshold = 0.8) {
+    return output.confidence >= threshold && output.verdict !== "archive";
+}
+/**
+ * 验证 Arbiter 输出合法
+ *
+ * 强制要求：
+ *   - verdict 是合法枚举
+ *   - rationale 非空（spec：必须给依据）
+ *   - confidence ∈ [0, 1]
+ */
+export function validateArbiterOutput(output) {
+    const validVerdicts = [
+        "keep_new",
+        "keep_old",
+        "merge",
+        "archive",
+    ];
+    if (!validVerdicts.includes(output.verdict)) {
+        throw new Error(`Invalid verdict: ${output.verdict}`);
+    }
+    if (!output.rationale || output.rationale.trim().length === 0) {
+        throw new Error("Arbiter must provide rationale (spec §3.9)");
+    }
+    if (typeof output.confidence !== "number" ||
+        output.confidence < 0 ||
+        output.confidence > 1) {
+        throw new Error(`confidence must be in [0,1], got ${output.confidence}`);
+    }
+}
+//# sourceMappingURL=arbiter.js.map

package/dist/contradiction/arbiter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arbiter.js","sourceRoot":"","sources":["../../src/contradiction/arbiter.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAUH,gDAAgD;AAChD,MAAM,kBAAkB,GAA2B;IACjD,SAAS,EAAE,GAAG;IACd,UAAU,EAAE,GAAG;IACf,QAAQ,EAAE,GAAG;CACd,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,OAAO,kCAAkC;IAC7C,SAAS,CAAC,KAAqB;QAC7B,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,KAAK,CAAC;QAEjD,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;QAClD,MAAM,aAAa,GAAG,GAAG,CAAC,aAAa,GAAG,GAAG,CAAC,aAAa,CAAC;QAC5D,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;QAC7D,MAAM,UAAU,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;QAE7D,2BAA2B;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAkB,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAC5D,OAAO;gBACL,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;gBACnD,SAAS,EAAE,gBAAgB,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,MAAM,YAAY,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG;gBAC1I,UAAU,EAAE,IAAI;aACjB,CAAC;QACJ,CAAC;QAED,uBAAuB;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,MAAM,GAAkB,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAChE,OAAO;gBACL,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;gBACnD,SAAS,EAAE,cAAc,aAAa,OAAO,MAAM,gBAAgB,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,aAAa,GAAG;gBAC9H,UAAU,EAAE,GAAG;aAChB,CAAC;QACJ,CAAC;QAED,uDAAuD;QACvD,MAAM,WAAW,GAAG,UAAU,GAAG,UAAU,CAAC;QAC5C,IAAI,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,GAAG,EAAE,CAAC;YACjC,MAAM,MAAM,GAAkB,WAAW,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAC9D,OAAO;gBACL,OAAO,EAAE,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU;gBACnD,SAAS,EAAE,iBAAiB,GAAG,CAAC,UAAU,OAAO,GAAG,CAAC,UAAU,QAAQ,MAAM,IAAI;gBACjF,UAAU,EAAE,IAAI;aACjB,CAAC;QACJ,CAAC;QAED,2CAA2C;QAC3C,OAAO;YACL,OAAO,EAAE,OAAO;YAChB,SAAS,EAAE,mBAAmB,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,aAAa,aAAa,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU;YAC3H,UAAU,EAAE,GAAG;SAChB,CAAC;IACJ,CAAC;CACF;AAED;;;;GAIG;AACH,MAAM,UAAU,iBAAiB,CAC/B,MAAuB,EACvB,SAAS,GAAG,GAAG;IAEf,OAAO,MAAM,CAAC,UAAU,IAAI,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,SAAS,CAAC;AACxE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAuB;IAC3D,MAAM,aAAa,GAAoC;QACrD,UAAU;QACV,UAAU;QACV,OAAO;QACP,SAAS;KACV,CAAC;IACF,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IACxD,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,IACE,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ;QACrC,MAAM,CAAC,UAAU,GAAG,CAAC;QACrB,MAAM,CAAC,UAAU,GAAG,CAAC,EACrB,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,oCAAoC,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC"}

package/dist/contradiction/auto-degrade.d.ts

@@ -0,0 +1,53 @@
+/**
+ * Contradiction Auto-Degrade（spec §3.9 阶段 3）
+ *
+ * 扫描所有 escalated 状态的 contradicts synapse，超过 expiresAt 的降级为 contested。
+ * 检索时附带警告（由检索路径读取 resolutionState 实现）。
+ *
+ * @module @co-engram/core/contradiction
+ */
+import type { EngramRepository } from "../storage/repository.js";
+import type { SynapseResolutionState } from "../types/synapse.js";
+export interface AutoDegradeResult {
+    readonly scanned: number;
+    readonly degraded: ReadonlyArray<{
+        readonly fromId: string;
+        readonly synapseId: string;
+        readonly toId: string;
+        readonly expiredAt: string;
+    }>;
+}
+/**
+ * 处理所有超时的 escalated 矛盾
+ *
+ * 流程：
+ *   1. 扫描 escalated 状态的 contradicts
+ *   2. 检查 expiresAt 是否已过
+ *   3. 标记为 contested（phase=3）
+ *
+ * 稳定扫描：按 (fromId, synapseId) 字典序
+ */
+export declare function processExpiredContradictions(repo: EngramRepository, options?: {
+    now?: Date;
+    persist?: boolean;
+}): AutoDegradeResult;
+/**
+ * 人工解决矛盾（阶段 2 → resolved）
+ *
+ * 用于人工 finally 决定一个 escalated 矛盾。
+ */
+export interface ManualResolveInput {
+    readonly fromId: string;
+    readonly synapseId: string;
+    readonly verdict: "keep_new" | "keep_old" | "merge" | "archive";
+    readonly rationale: string;
+    readonly resolvedBy: string;
+}
+export declare function manualResolveContradiction(repo: EngramRepository, input: ManualResolveInput, options?: {
+    now?: Date;
+    persist?: boolean;
+}): {
+    resolved: boolean;
+    finalStatus: SynapseResolutionState["status"];
+};
+//# sourceMappingURL=auto-degrade.d.ts.map

package/dist/contradiction/auto-degrade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"auto-degrade.d.ts","sourceRoot":"","sources":["../../src/contradiction/auto-degrade.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAC;AAGlE,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;QAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;KAC5B,CAAC,CAAC;CACJ;AAED;;;;;;;;;GASG;AACH,wBAAgB,4BAA4B,CAC1C,IAAI,EAAE,gBAAgB,EACtB,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,GAC9C,iBAAiB,CA0CnB;AAED;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,UAAU,GAAG,OAAO,GAAG,SAAS,CAAC;IAChE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,wBAAgB,0BAA0B,CACxC,IAAI,EAAE,gBAAgB,EACtB,KAAK,EAAE,kBAAkB,EACzB,OAAO,GAAE;IAAE,GAAG,CAAC,EAAE,IAAI,CAAC;IAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAO,GAC9C;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,WAAW,EAAE,sBAAsB,CAAC,QAAQ,CAAC,CAAA;CAAE,CA8BtE"}

package/dist/contradiction/auto-degrade.js

@@ -0,0 +1,79 @@
+/**
+ * Contradiction Auto-Degrade（spec §3.9 阶段 3）
+ *
+ * 扫描所有 escalated 状态的 contradicts synapse，超过 expiresAt 的降级为 contested。
+ * 检索时附带警告（由检索路径读取 resolutionState 实现）。
+ *
+ * @module @co-engram/core/contradiction
+ */
+import { detectContradictions } from "./detector.js";
+/**
+ * 处理所有超时的 escalated 矛盾
+ *
+ * 流程：
+ *   1. 扫描 escalated 状态的 contradicts
+ *   2. 检查 expiresAt 是否已过
+ *   3. 标记为 contested（phase=3）
+ *
+ * 稳定扫描：按 (fromId, synapseId) 字典序
+ */
+export function processExpiredContradictions(repo, options = {}) {
+    const now = options.now ?? new Date();
+    const nowMs = now.getTime();
+    const persist = options.persist ?? true;
+    const escalated = detectContradictions(repo, { filterStatus: "escalated" });
+    const degraded = [];
+    for (const c of escalated) {
+        const file = repo.readSynapses(c.fromId);
+        const synapse = file.outgoing.find((s) => s.id === c.synapseId);
+        if (!synapse?.resolutionState)
+            continue;
+        const expiresAt = synapse.resolutionState.expiresAt;
+        if (!expiresAt)
+            continue;
+        const expMs = new Date(expiresAt).getTime();
+        if (Number.isNaN(expMs) || expMs > nowMs)
+            continue;
+        const nextState = {
+            ...synapse.resolutionState,
+            status: "contested",
+            phase: 3,
+        };
+        if (persist) {
+            repo.updateSynapseResolution(c.fromId, c.synapseId, nextState);
+        }
+        degraded.push({
+            fromId: c.fromId,
+            synapseId: c.synapseId,
+            toId: c.toId,
+            expiredAt: expiresAt,
+        });
+    }
+    return { scanned: escalated.length, degraded };
+}
+export function manualResolveContradiction(repo, input, options = {}) {
+    const now = options.now ?? new Date();
+    const persist = options.persist ?? true;
+    const nowIso = now.toISOString();
+    const file = repo.readSynapses(input.fromId);
+    const synapse = file.outgoing.find((s) => s.id === input.synapseId);
+    if (!synapse) {
+        throw new Error(`Synapse not found: ${input.synapseId} (from ${input.fromId})`);
+    }
+    if (synapse.kind !== "contradicts") {
+        throw new Error(`Not a contradicts synapse: ${input.synapseId}`);
+    }
+    const nextState = {
+        status: "resolved",
+        phase: synapse.resolutionState?.phase ?? 2,
+        verdict: input.verdict,
+        rationale: input.rationale,
+        resolvedAt: nowIso,
+        resolvedBy: input.resolvedBy,
+    };
+    if (persist) {
+        repo.updateSynapseResolution(input.fromId, input.synapseId, nextState);
+    }
+    return { resolved: true, finalStatus: "resolved" };
+}
+//# sourceMappingURL=auto-degrade.js.map

package/dist/contradiction/auto-degrade.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"auto-degrade.js","sourceRoot":"","sources":["../../src/contradiction/auto-degrade.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAYrD;;;;;;;;;GASG;AACH,MAAM,UAAU,4BAA4B,CAC1C,IAAsB,EACtB,UAA6C,EAAE;IAE/C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,EAAE,CAAC;IAC5B,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;IAExC,MAAM,SAAS,GAAG,oBAAoB,CAAC,IAAI,EAAE,EAAE,YAAY,EAAE,WAAW,EAAE,CAAC,CAAC;IAC5E,MAAM,QAAQ,GAKT,EAAE,CAAC;IAER,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC;QAChE,IAAI,CAAC,OAAO,EAAE,eAAe;YAAE,SAAS;QAExC,MAAM,SAAS,GAAG,OAAO,CAAC,eAAe,CAAC,SAAS,CAAC;QACpD,IAAI,CAAC,SAAS;YAAE,SAAS;QACzB,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,KAAK;YAAE,SAAS;QAEnD,MAAM,SAAS,GAA2B;YACxC,GAAG,OAAO,CAAC,eAAe;YAC1B,MAAM,EAAE,WAAW;YACnB,KAAK,EAAE,CAAC;SACT,CAAC;QAEF,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACjE,CAAC;QAED,QAAQ,CAAC,IAAI,CAAC;YACZ,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,SAAS,EAAE,CAAC,CAAC,SAAS;YACtB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,SAAS,EAAE,SAAS;SACrB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,CAAC;AACjD,CAAC;AAeD,MAAM,UAAU,0BAA0B,CACxC,IAAsB,EACtB,KAAyB,EACzB,UAA6C,EAAE;IAE/C,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;IACxC,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,EAAE,CAAC;IAEjC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,KAAK,CAAC,SAAS,CAAC,CAAC;IACpE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CACb,sBAAsB,KAAK,CAAC,SAAS,UAAU,KAAK,CAAC,MAAM,GAAG,CAC/D,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,8BAA8B,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,SAAS,GAA2B;QACxC,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE,OAAO,CAAC,eAAe,EAAE,KAAK,IAAI,CAAC;QAC1C,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,UAAU,EAAE,MAAM;QAClB,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC;IAEF,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACzE,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;AACrD,CAAC"}

package/dist/contradiction/detector.d.ts

@@ -0,0 +1,33 @@
+/**
+ * Contradiction Detector（spec §3.9）
+ *
+ * 扫描所有 contradicts synapse，列出需要裁决的矛盾对。
+ *
+ * @module @co-engram/core/contradiction
+ */
+import type { EngramRepository } from "../storage/repository.js";
+import type { ContradictionPair } from "./types.js";
+/**
+ * 扫描所有 contradicts synapse
+ *
+ * 稳定排序：按 (fromId, toId, synapseId) 字典序
+ *
+ * @param options.filterStatus - 仅返回指定状态的（默认全部）
+ */
+export declare function detectContradictions(repo: EngramRepository, options?: {
+    readonly filterStatus?: ContradictionPair["status"];
+}): readonly ContradictionPair[];
+/**
+ * 统计当前 contradiction 概况
+ */
+export interface ContradictionStats {
+    readonly total: number;
+    readonly pending: number;
+    readonly autoResolved: number;
+    readonly escalated: number;
+    readonly contested: number;
+    readonly resolved: number;
+    readonly none: number;
+}
+export declare function statsContradictions(repo: EngramRepository): ContradictionStats;
+//# sourceMappingURL=detector.d.ts.map

package/dist/contradiction/detector.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"detector.d.ts","sourceRoot":"","sources":["../../src/contradiction/detector.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AACjE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,gBAAgB,EACtB,OAAO,GAAE;IACP,QAAQ,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC;CAChD,GACL,SAAS,iBAAiB,EAAE,CAwB9B;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,gBAAgB,GACrB,kBAAkB,CA0CpB"}

package/dist/contradiction/detector.js

@@ -0,0 +1,76 @@
+/**
+ * Contradiction Detector（spec §3.9）
+ *
+ * 扫描所有 contradicts synapse，列出需要裁决的矛盾对。
+ *
+ * @module @co-engram/core/contradiction
+ */
+/**
+ * 扫描所有 contradicts synapse
+ *
+ * 稳定排序：按 (fromId, toId, synapseId) 字典序
+ *
+ * @param options.filterStatus - 仅返回指定状态的（默认全部）
+ */
+export function detectContradictions(repo, options = {}) {
+    const all = repo.collectAllSynapses();
+    const result = [];
+    for (const { fromId, synapse } of all) {
+        if (synapse.kind !== "contradicts")
+            continue;
+        const status = synapse.resolutionState?.status ?? "none";
+        if (options.filterStatus !== undefined && status !== options.filterStatus) {
+            continue;
+        }
+        result.push({
+            synapseId: synapse.id,
+            fromId,
+            toId: synapse.to,
+            weight: synapse.weight,
+            status,
+        });
+    }
+    return result.sort((a, b) => {
+        if (a.fromId !== b.fromId)
+            return a.fromId < b.fromId ? -1 : 1;
+        if (a.toId !== b.toId)
+            return a.toId < b.toId ? -1 : 1;
+        return a.synapseId < b.synapseId ? -1 : 1;
+    });
+}
+export function statsContradictions(repo) {
+    const all = detectContradictions(repo);
+    const stats = {
+        total: all.length,
+        pending: 0,
+        autoResolved: 0,
+        escalated: 0,
+        contested: 0,
+        resolved: 0,
+        none: 0,
+    };
+    for (const c of all) {
+        switch (c.status) {
+            case "pending":
+                stats.pending++;
+                break;
+            case "auto_resolved":
+                stats.autoResolved++;
+                break;
+            case "escalated":
+                stats.escalated++;
+                break;
+            case "contested":
+                stats.contested++;
+                break;
+            case "resolved":
+                stats.resolved++;
+                break;
+            case "none":
+                stats.none++;
+                break;
+        }
+    }
+    return stats;
+}
+//# sourceMappingURL=detector.js.map

package/dist/contradiction/detector.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"detector.js","sourceRoot":"","sources":["../../src/contradiction/detector.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAKH;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAsB,EACtB,UAEI,EAAE;IAEN,MAAM,GAAG,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;IACtC,MAAM,MAAM,GAAwB,EAAE,CAAC;IAEvC,KAAK,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC;QACtC,IAAI,OAAO,CAAC,IAAI,KAAK,aAAa;YAAE,SAAS;QAC7C,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,EAAE,MAAM,IAAI,MAAM,CAAC;QACzD,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,IAAI,MAAM,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC;YAC1E,SAAS;QACX,CAAC;QACD,MAAM,CAAC,IAAI,CAAC;YACV,SAAS,EAAE,OAAO,CAAC,EAAE;YACrB,MAAM;YACN,IAAI,EAAE,OAAO,CAAC,EAAE;YAChB,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAC1B,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;YAAE,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,OAAO,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC;AAeD,MAAM,UAAU,mBAAmB,CACjC,IAAsB;IAEtB,MAAM,GAAG,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,KAAK,GAQP;QACF,KAAK,EAAE,GAAG,CAAC,MAAM;QACjB,OAAO,EAAE,CAAC;QACV,YAAY,EAAE,CAAC;QACf,SAAS,EAAE,CAAC;QACZ,SAAS,EAAE,CAAC;QACZ,QAAQ,EAAE,CAAC;QACX,IAAI,EAAE,CAAC;KACR,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;QACpB,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;YACjB,KAAK,SAAS;gBACZ,KAAK,CAAC,OAAO,EAAE,CAAC;gBAChB,MAAM;YACR,KAAK,eAAe;gBAClB,KAAK,CAAC,YAAY,EAAE,CAAC;gBACrB,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,SAAS,EAAE,CAAC;gBAClB,MAAM;YACR,KAAK,WAAW;gBACd,KAAK,CAAC,SAAS,EAAE,CAAC;gBAClB,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,CAAC,QAAQ,EAAE,CAAC;gBACjB,MAAM;YACR,KAAK,MAAM;gBACT,KAAK,CAAC,IAAI,EAAE,CAAC;gBACb,MAAM;QACV,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/contradiction/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Contradiction 模块 barrel
+ *
+ * @module @co-engram/core/contradiction
+ */
+export * from "./types.js";
+export * from "./detector.js";
+export * from "./arbiter.js";
+export * from "./resolver.js";
+export * from "./auto-degrade.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/contradiction/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contradiction/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC"}

package/dist/contradiction/index.js

@@ -0,0 +1,11 @@
+/**
+ * Contradiction 模块 barrel
+ *
+ * @module @co-engram/core/contradiction
+ */
+export * from "./types.js";
+export * from "./detector.js";
+export * from "./arbiter.js";
+export * from "./resolver.js";
+export * from "./auto-degrade.js";
+//# sourceMappingURL=index.js.map

package/dist/contradiction/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/contradiction/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC"}