@co-engram/core 0.1.0

package/dist/tools/schemas.d.ts

@@ -0,0 +1,715 @@
+/**
+ * 工具输入 Zod schemas
+ *
+ * 所有 Self-Editing Tool 的入参都用 Zod 校验，
+ * 用于 host-agnostic 的 boundary validation。
+ *
+ * @module @co-engram/core/tools
+ */
+import { z } from "zod";
+export declare const EngramKindSchema: z.ZodEnum<["observation", "fact", "pattern", "procedure", "hypothesis"]>;
+export declare const EngramStatusSchema: z.ZodEnum<["active", "draft", "archived", "forgotten"]>;
+export declare const EngramFreshnessSchema: z.ZodEnum<["fresh", "aging", "stale", "forgotten"]>;
+export declare const EmotionalValenceSchema: z.ZodEnum<["positive", "negative", "neutral"]>;
+export declare const EngramSourceTypeSchema: z.ZodEnum<["firsthand", "secondhand", "inferred"]>;
+export declare const EngramVisibilitySchema: z.ZodEnum<["public", "team", "private", "restricted"]>;
+export declare const DisclosureTierSchema: z.ZodEnum<["catalog", "digest", "content", "meta", "synapses"]>;
+export declare const SynapseKindSchema: z.ZodEnum<["extends", "part_of", "similar_to", "depends_on", "causes", "follows", "derives_from", "contradicts", "exemplifies", "supersedes", "consolidates", "contextualizes"]>;
+export declare const SynapseDirectionSchema: z.ZodEnum<["directional", "bidirectional"]>;
+export declare const EngramCreateInputSchema: z.ZodObject<{
+    title: z.ZodString;
+    content: z.ZodString;
+    kind: z.ZodEnum<["observation", "fact", "pattern", "procedure", "hypothesis"]>;
+    kinds: z.ZodOptional<z.ZodArray<z.ZodEnum<["observation", "fact", "pattern", "procedure", "hypothesis"]>, "many">>;
+    summary: z.ZodOptional<z.ZodString>;
+    domainTags: z.ZodArray<z.ZodString, "many">;
+    contextTags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    encodingContext: z.ZodOptional<z.ZodString>;
+    importance: z.ZodOptional<z.ZodNumber>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    emotionalValence: z.ZodOptional<z.ZodEnum<["positive", "negative", "neutral"]>>;
+    sourceType: z.ZodOptional<z.ZodEnum<["firsthand", "secondhand", "inferred"]>>;
+    visibility: z.ZodOptional<z.ZodEnum<["public", "team", "private", "restricted"]>>;
+    decayHalfLifeDays: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    createdBy: z.ZodOptional<z.ZodString>;
+    dedupe: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    content: string;
+    title: string;
+    domainTags: string[];
+    kind: "observation" | "fact" | "pattern" | "procedure" | "hypothesis";
+    dedupe: boolean;
+    confidence?: number | undefined;
+    importance?: number | undefined;
+    summary?: string | undefined;
+    kinds?: ("observation" | "fact" | "pattern" | "procedure" | "hypothesis")[] | undefined;
+    contextTags?: string[] | undefined;
+    encodingContext?: string | undefined;
+    createdBy?: string | undefined;
+    emotionalValence?: "positive" | "negative" | "neutral" | undefined;
+    sourceType?: "firsthand" | "secondhand" | "inferred" | undefined;
+    decayHalfLifeDays?: number | null | undefined;
+    visibility?: "public" | "team" | "private" | "restricted" | undefined;
+}, {
+    content: string;
+    title: string;
+    domainTags: string[];
+    kind: "observation" | "fact" | "pattern" | "procedure" | "hypothesis";
+    confidence?: number | undefined;
+    importance?: number | undefined;
+    summary?: string | undefined;
+    kinds?: ("observation" | "fact" | "pattern" | "procedure" | "hypothesis")[] | undefined;
+    contextTags?: string[] | undefined;
+    encodingContext?: string | undefined;
+    createdBy?: string | undefined;
+    emotionalValence?: "positive" | "negative" | "neutral" | undefined;
+    sourceType?: "firsthand" | "secondhand" | "inferred" | undefined;
+    decayHalfLifeDays?: number | null | undefined;
+    visibility?: "public" | "team" | "private" | "restricted" | undefined;
+    dedupe?: boolean | undefined;
+}>;
+/**
+ * engram_get 支持的 tier：
+ *   - 显式：catalog / digest / content / meta / synapses
+ *   - auto：按 budget 自动选 tier（P1 任务 2.2 引入）
+ *
+ * 'auto' 模式下会读取可选的 contextBudget 字段，
+ * 调用 adaptiveDisclosure 决定 tier。
+ */
+export declare const EngramGetTierSchema: z.ZodEnum<["catalog", "digest", "content", "meta", "synapses", "auto"]>;
+export declare const EngramGetInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    tier: z.ZodDefault<z.ZodEnum<["catalog", "digest", "content", "meta", "synapses", "auto"]>>;
+    /** tier='auto' 时使用的 token 预算；省略则用默认 4K */
+    contextBudget: z.ZodOptional<z.ZodObject<{
+        totalTokens: z.ZodNumber;
+        reserved: z.ZodDefault<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        totalTokens: number;
+        reserved: number;
+    }, {
+        totalTokens: number;
+        reserved?: number | undefined;
+    }>>;
+    /** auto 模式下传入的相关度分数（默认 1.0，表示 top 候选） */
+    score: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    tier: "catalog" | "digest" | "content" | "meta" | "synapses" | "auto";
+    score?: number | undefined;
+    contextBudget?: {
+        totalTokens: number;
+        reserved: number;
+    } | undefined;
+}, {
+    id: string;
+    score?: number | undefined;
+    tier?: "catalog" | "digest" | "content" | "meta" | "synapses" | "auto" | undefined;
+    contextBudget?: {
+        totalTokens: number;
+        reserved?: number | undefined;
+    } | undefined;
+}>;
+export declare const EngramUpdateInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    title: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    summary: z.ZodOptional<z.ZodString>;
+    kinds: z.ZodOptional<z.ZodArray<z.ZodEnum<["observation", "fact", "pattern", "procedure", "hypothesis"]>, "many">>;
+    domainTags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    contextTags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    encodingContext: z.ZodOptional<z.ZodString>;
+    importance: z.ZodOptional<z.ZodNumber>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    emotionalValence: z.ZodOptional<z.ZodEnum<["positive", "negative", "neutral"]>>;
+    decayHalfLifeDays: z.ZodOptional<z.ZodNullable<z.ZodNumber>>;
+    visibility: z.ZodOptional<z.ZodEnum<["public", "team", "private", "restricted"]>>;
+    updatedBy: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    updatedBy: string;
+    confidence?: number | undefined;
+    content?: string | undefined;
+    importance?: number | undefined;
+    title?: string | undefined;
+    domainTags?: string[] | undefined;
+    summary?: string | undefined;
+    kinds?: ("observation" | "fact" | "pattern" | "procedure" | "hypothesis")[] | undefined;
+    contextTags?: string[] | undefined;
+    encodingContext?: string | undefined;
+    emotionalValence?: "positive" | "negative" | "neutral" | undefined;
+    decayHalfLifeDays?: number | null | undefined;
+    visibility?: "public" | "team" | "private" | "restricted" | undefined;
+}, {
+    id: string;
+    updatedBy: string;
+    confidence?: number | undefined;
+    content?: string | undefined;
+    importance?: number | undefined;
+    title?: string | undefined;
+    domainTags?: string[] | undefined;
+    summary?: string | undefined;
+    kinds?: ("observation" | "fact" | "pattern" | "procedure" | "hypothesis")[] | undefined;
+    contextTags?: string[] | undefined;
+    encodingContext?: string | undefined;
+    emotionalValence?: "positive" | "negative" | "neutral" | undefined;
+    decayHalfLifeDays?: number | null | undefined;
+    visibility?: "public" | "team" | "private" | "restricted" | undefined;
+}>;
+export declare const EngramDeleteInputSchema: z.ZodObject<{
+    id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+}, {
+    id: string;
+}>;
+export declare const EngramReinforceInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    /** 有效性 [0,1]，1=完全有效，0.5=部分有效 */
+    effectiveness: z.ZodDefault<z.ZodNumber>;
+    /** 可选：有效性说明（供审计） */
+    note: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    effectiveness: number;
+    note?: string | undefined;
+}, {
+    id: string;
+    effectiveness?: number | undefined;
+    note?: string | undefined;
+}>;
+export declare const EngramReportFailureInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    /** 失败原因（必填，供 LTD 学习） */
+    reason: z.ZodString;
+    /** 可选：失败上下文 */
+    context: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    reason: string;
+    context?: string | undefined;
+}, {
+    id: string;
+    reason: string;
+    context?: string | undefined;
+}>;
+export declare const EngramArchiveInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    /** 可选：归档原因（审计） */
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    reason?: string | undefined;
+}, {
+    id: string;
+    reason?: string | undefined;
+}>;
+export declare const EngramRestoreInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    /** 可选：恢复原因（审计） */
+    reason: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    reason?: string | undefined;
+}, {
+    id: string;
+    reason?: string | undefined;
+}>;
+export declare const EngramForgetInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    /** 必填：遗忘原因（不可逆操作，需说明） */
+    reason: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    reason: string;
+}, {
+    id: string;
+    reason: string;
+}>;
+export declare const SearchFilterSchema: z.ZodObject<{
+    domainTags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    kinds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    status: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    freshness: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    emotionalValence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    createdBy: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    createdAfter: z.ZodOptional<z.ZodString>;
+    createdBefore: z.ZodOptional<z.ZodString>;
+    minImportance: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    domainTags?: string[] | undefined;
+    kinds?: string[] | undefined;
+    createdBy?: string[] | undefined;
+    emotionalValence?: string[] | undefined;
+    status?: string[] | undefined;
+    freshness?: string[] | undefined;
+    createdAfter?: string | undefined;
+    createdBefore?: string | undefined;
+    minImportance?: number | undefined;
+}, {
+    domainTags?: string[] | undefined;
+    kinds?: string[] | undefined;
+    createdBy?: string[] | undefined;
+    emotionalValence?: string[] | undefined;
+    status?: string[] | undefined;
+    freshness?: string[] | undefined;
+    createdAfter?: string | undefined;
+    createdBefore?: string | undefined;
+    minImportance?: number | undefined;
+}>;
+export declare const EngramRecomputeImportanceInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    /** 手动覆盖 personal/team/project（network/temporal 永远派生） */
+    overrides: z.ZodOptional<z.ZodObject<{
+        personal: z.ZodOptional<z.ZodNumber>;
+        team: z.ZodOptional<z.ZodNumber>;
+        project: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        team?: number | undefined;
+        personal?: number | undefined;
+        project?: number | undefined;
+    }, {
+        team?: number | undefined;
+        personal?: number | undefined;
+        project?: number | undefined;
+    }>>;
+    /** 是否落盘（默认 true） */
+    persist: z.ZodDefault<z.ZodBoolean>;
+    /** 调用者标识 */
+    updatedBy: z.ZodDefault<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    updatedBy: string;
+    persist: boolean;
+    overrides?: {
+        team?: number | undefined;
+        personal?: number | undefined;
+        project?: number | undefined;
+    } | undefined;
+}, {
+    id: string;
+    updatedBy?: string | undefined;
+    overrides?: {
+        team?: number | undefined;
+        personal?: number | undefined;
+        project?: number | undefined;
+    } | undefined;
+    persist?: boolean | undefined;
+}>;
+export declare const ContradictionVerdictSchema: z.ZodEnum<["keep_new", "keep_old", "merge", "archive"]>;
+export declare const ContradictionResolveInputSchema: z.ZodObject<{
+    fromId: z.ZodString;
+    synapseId: z.ZodString;
+    /** 裁决选项（必填） */
+    verdict: z.ZodEnum<["keep_new", "keep_old", "merge", "archive"]>;
+    /** 必填依据（供审计） */
+    rationale: z.ZodString;
+    /** 裁决者 */
+    resolvedBy: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    verdict: "keep_new" | "keep_old" | "merge" | "archive";
+    rationale: string;
+    resolvedBy: string;
+    fromId: string;
+    synapseId: string;
+}, {
+    verdict: "keep_new" | "keep_old" | "merge" | "archive";
+    rationale: string;
+    resolvedBy: string;
+    fromId: string;
+    synapseId: string;
+}>;
+export declare const LearningOutcomeSchema: z.ZodEnum<["success", "failure", "partial"]>;
+export declare const CloseLearningLoopInputSchema: z.ZodObject<{
+    engramId: z.ZodString;
+    outcome: z.ZodEnum<["success", "failure", "partial"]>;
+    effectiveness: z.ZodOptional<z.ZodNumber>;
+    reason: z.ZodOptional<z.ZodString>;
+    reportedBy: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    engramId: string;
+    outcome: "success" | "failure" | "partial";
+    reportedBy: string;
+    reason?: string | undefined;
+    effectiveness?: number | undefined;
+}, {
+    engramId: string;
+    outcome: "success" | "failure" | "partial";
+    reportedBy: string;
+    reason?: string | undefined;
+    effectiveness?: number | undefined;
+}>;
+export declare const VerificationStatusSchema: z.ZodEnum<["unverified", "plausible", "probable", "verified", "refuted"]>;
+export declare const UpgradeVerificationInputSchema: z.ZodObject<{
+    engramId: z.ZodString;
+    newStatus: z.ZodEnum<["unverified", "plausible", "probable", "verified", "refuted"]>;
+    /** 证据说明（必填） */
+    evidenceDescription: z.ZodString;
+    /** 验证人 / 升级发起人 */
+    verifiedBy: z.ZodString;
+    /** 证据置信度（0..1，可选） */
+    confidence: z.ZodOptional<z.ZodNumber>;
+    /** 跨情境 domainTags（用于 distinct 统计） */
+    evidenceDomainTags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+    /** 强制升级（跳过条件检查，但仍然校验状态机） */
+    force: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    engramId: string;
+    newStatus: "unverified" | "plausible" | "probable" | "verified" | "refuted";
+    evidenceDescription: string;
+    verifiedBy: string;
+    confidence?: number | undefined;
+    force?: boolean | undefined;
+    evidenceDomainTags?: string[] | undefined;
+}, {
+    engramId: string;
+    newStatus: "unverified" | "plausible" | "probable" | "verified" | "refuted";
+    evidenceDescription: string;
+    verifiedBy: string;
+    confidence?: number | undefined;
+    force?: boolean | undefined;
+    evidenceDomainTags?: string[] | undefined;
+}>;
+export declare const LineageDirectionSchema: z.ZodEnum<["ancestors", "descendants", "both"]>;
+export declare const GetEvolutionLineageInputSchema: z.ZodObject<{
+    engramId: z.ZodString;
+    /** 追溯方向（默认 both） */
+    direction: z.ZodOptional<z.ZodEnum<["ancestors", "descendants", "both"]>>;
+    /** 最大深度（默认 10） */
+    maxDepth: z.ZodOptional<z.ZodNumber>;
+    /** 限制使用的 synapse kind */
+    kinds: z.ZodOptional<z.ZodArray<z.ZodEnum<["extends", "part_of", "similar_to", "depends_on", "causes", "follows", "derives_from", "contradicts", "exemplifies", "supersedes", "consolidates", "contextualizes"]>, "many">>;
+}, "strip", z.ZodTypeAny, {
+    engramId: string;
+    kinds?: ("extends" | "part_of" | "similar_to" | "depends_on" | "causes" | "follows" | "derives_from" | "contradicts" | "exemplifies" | "supersedes" | "consolidates" | "contextualizes")[] | undefined;
+    direction?: "both" | "ancestors" | "descendants" | undefined;
+    maxDepth?: number | undefined;
+}, {
+    engramId: string;
+    kinds?: ("extends" | "part_of" | "similar_to" | "depends_on" | "causes" | "follows" | "derives_from" | "contradicts" | "exemplifies" | "supersedes" | "consolidates" | "contextualizes")[] | undefined;
+    direction?: "both" | "ancestors" | "descendants" | undefined;
+    maxDepth?: number | undefined;
+}>;
+export declare const EngramSearchInputSchema: z.ZodObject<{
+    query: z.ZodString;
+    filter: z.ZodOptional<z.ZodObject<{
+        domainTags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        kinds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        status: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        freshness: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        emotionalValence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        createdBy: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        createdAfter: z.ZodOptional<z.ZodString>;
+        createdBefore: z.ZodOptional<z.ZodString>;
+        minImportance: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        domainTags?: string[] | undefined;
+        kinds?: string[] | undefined;
+        createdBy?: string[] | undefined;
+        emotionalValence?: string[] | undefined;
+        status?: string[] | undefined;
+        freshness?: string[] | undefined;
+        createdAfter?: string | undefined;
+        createdBefore?: string | undefined;
+        minImportance?: number | undefined;
+    }, {
+        domainTags?: string[] | undefined;
+        kinds?: string[] | undefined;
+        createdBy?: string[] | undefined;
+        emotionalValence?: string[] | undefined;
+        status?: string[] | undefined;
+        freshness?: string[] | undefined;
+        createdAfter?: string | undefined;
+        createdBefore?: string | undefined;
+        minImportance?: number | undefined;
+    }>>;
+    limit: z.ZodDefault<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    query: string;
+    limit: number;
+    filter?: {
+        domainTags?: string[] | undefined;
+        kinds?: string[] | undefined;
+        createdBy?: string[] | undefined;
+        emotionalValence?: string[] | undefined;
+        status?: string[] | undefined;
+        freshness?: string[] | undefined;
+        createdAfter?: string | undefined;
+        createdBefore?: string | undefined;
+        minImportance?: number | undefined;
+    } | undefined;
+}, {
+    query: string;
+    filter?: {
+        domainTags?: string[] | undefined;
+        kinds?: string[] | undefined;
+        createdBy?: string[] | undefined;
+        emotionalValence?: string[] | undefined;
+        status?: string[] | undefined;
+        freshness?: string[] | undefined;
+        createdAfter?: string | undefined;
+        createdBefore?: string | undefined;
+        minImportance?: number | undefined;
+    } | undefined;
+    limit?: number | undefined;
+}>;
+export declare const EngramListInputSchema: z.ZodObject<{
+    filter: z.ZodOptional<z.ZodObject<{
+        domainTags: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        kinds: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        status: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        freshness: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        emotionalValence: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        createdBy: z.ZodOptional<z.ZodArray<z.ZodString, "many">>;
+        createdAfter: z.ZodOptional<z.ZodString>;
+        createdBefore: z.ZodOptional<z.ZodString>;
+        minImportance: z.ZodOptional<z.ZodNumber>;
+    }, "strip", z.ZodTypeAny, {
+        domainTags?: string[] | undefined;
+        kinds?: string[] | undefined;
+        createdBy?: string[] | undefined;
+        emotionalValence?: string[] | undefined;
+        status?: string[] | undefined;
+        freshness?: string[] | undefined;
+        createdAfter?: string | undefined;
+        createdBefore?: string | undefined;
+        minImportance?: number | undefined;
+    }, {
+        domainTags?: string[] | undefined;
+        kinds?: string[] | undefined;
+        createdBy?: string[] | undefined;
+        emotionalValence?: string[] | undefined;
+        status?: string[] | undefined;
+        freshness?: string[] | undefined;
+        createdAfter?: string | undefined;
+        createdBefore?: string | undefined;
+        minImportance?: number | undefined;
+    }>>;
+    limit: z.ZodDefault<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    limit: number;
+    filter?: {
+        domainTags?: string[] | undefined;
+        kinds?: string[] | undefined;
+        createdBy?: string[] | undefined;
+        emotionalValence?: string[] | undefined;
+        status?: string[] | undefined;
+        freshness?: string[] | undefined;
+        createdAfter?: string | undefined;
+        createdBefore?: string | undefined;
+        minImportance?: number | undefined;
+    } | undefined;
+}, {
+    filter?: {
+        domainTags?: string[] | undefined;
+        kinds?: string[] | undefined;
+        createdBy?: string[] | undefined;
+        emotionalValence?: string[] | undefined;
+        status?: string[] | undefined;
+        freshness?: string[] | undefined;
+        createdAfter?: string | undefined;
+        createdBefore?: string | undefined;
+        minImportance?: number | undefined;
+    } | undefined;
+    limit?: number | undefined;
+}>;
+export declare const SynapseEvidenceInputSchema: z.ZodObject<{
+    description: z.ZodString;
+    source: z.ZodOptional<z.ZodString>;
+    confidence: z.ZodOptional<z.ZodNumber>;
+    addedBy: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    description: string;
+    addedBy: string;
+    source?: string | undefined;
+    confidence?: number | undefined;
+}, {
+    description: string;
+    addedBy: string;
+    source?: string | undefined;
+    confidence?: number | undefined;
+}>;
+export declare const SynapseCreateInputSchema: z.ZodObject<{
+    from: z.ZodString;
+    to: z.ZodString;
+    kind: z.ZodEnum<["extends", "part_of", "similar_to", "depends_on", "causes", "follows", "derives_from", "contradicts", "exemplifies", "supersedes", "consolidates", "contextualizes"]>;
+    weight: z.ZodDefault<z.ZodNumber>;
+    direction: z.ZodDefault<z.ZodEnum<["directional", "bidirectional"]>>;
+    evidence: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        description: z.ZodString;
+        source: z.ZodOptional<z.ZodString>;
+        confidence: z.ZodOptional<z.ZodNumber>;
+        addedBy: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        description: string;
+        addedBy: string;
+        source?: string | undefined;
+        confidence?: number | undefined;
+    }, {
+        description: string;
+        addedBy: string;
+        source?: string | undefined;
+        confidence?: number | undefined;
+    }>, "many">>;
+    createdBy: z.ZodOptional<z.ZodString>;
+    sourceSemantic: z.ZodOptional<z.ZodString>;
+    targetSemantic: z.ZodOptional<z.ZodString>;
+}, "strip", z.ZodTypeAny, {
+    kind: "extends" | "part_of" | "similar_to" | "depends_on" | "causes" | "follows" | "derives_from" | "contradicts" | "exemplifies" | "supersedes" | "consolidates" | "contextualizes";
+    from: string;
+    to: string;
+    weight: number;
+    direction: "directional" | "bidirectional";
+    createdBy?: string | undefined;
+    evidence?: {
+        description: string;
+        addedBy: string;
+        source?: string | undefined;
+        confidence?: number | undefined;
+    }[] | undefined;
+    sourceSemantic?: string | undefined;
+    targetSemantic?: string | undefined;
+}, {
+    kind: "extends" | "part_of" | "similar_to" | "depends_on" | "causes" | "follows" | "derives_from" | "contradicts" | "exemplifies" | "supersedes" | "consolidates" | "contextualizes";
+    from: string;
+    to: string;
+    createdBy?: string | undefined;
+    weight?: number | undefined;
+    direction?: "directional" | "bidirectional" | undefined;
+    evidence?: {
+        description: string;
+        addedBy: string;
+        source?: string | undefined;
+        confidence?: number | undefined;
+    }[] | undefined;
+    sourceSemantic?: string | undefined;
+    targetSemantic?: string | undefined;
+}>;
+export declare const SynapseGetInputSchema: z.ZodObject<{
+    from: z.ZodString;
+    synapseId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    from: string;
+    synapseId: string;
+}, {
+    from: string;
+    synapseId: string;
+}>;
+export declare const SynapseDeleteInputSchema: z.ZodObject<{
+    from: z.ZodString;
+    synapseId: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    from: string;
+    synapseId: string;
+}, {
+    from: string;
+    synapseId: string;
+}>;
+export declare const SynapseListInputSchema: z.ZodObject<{
+    engramId: z.ZodString;
+    direction: z.ZodDefault<z.ZodEnum<["outgoing", "incoming", "both"]>>;
+}, "strip", z.ZodTypeAny, {
+    direction: "outgoing" | "incoming" | "both";
+    engramId: string;
+}, {
+    engramId: string;
+    direction?: "outgoing" | "incoming" | "both" | undefined;
+}>;
+export declare const SkillGetInputSchema: z.ZodObject<{
+    id: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+}, {
+    id: string;
+}>;
+export declare const SkillInvokeInputSchema: z.ZodObject<{
+    id: z.ZodString;
+    args: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, "strip", z.ZodTypeAny, {
+    id: string;
+    args: Record<string, unknown>;
+}, {
+    id: string;
+    args?: Record<string, unknown> | undefined;
+}>;
+export declare const EngramListProposalsInputSchema: z.ZodObject<{
+    /** 是否包含已 accepted/dismissed 的提案（默认 false，只列 pending） */
+    includeAll: z.ZodDefault<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    includeAll: boolean;
+}, {
+    includeAll?: boolean | undefined;
+}>;
+export declare const EngramAcceptProposalInputSchema: z.ZodObject<{
+    /** 簇 id（= proposal.entityId） */
+    entityId: z.ZodString;
+    title: z.ZodString;
+    content: z.ZodString;
+    domainTags: z.ZodArray<z.ZodString, "many">;
+    /**
+     * 可选：创建者标识。
+     *
+     * 留空时,工具层走与 engram_create 相同的解析链:
+     * ctx.defaultCreatedBy(MCP env / OpenClaw plugin config / git 身份) → 'unknown'。
+     * 修复前此处用 Zod `.default('proposal-engine')` 把该字段写死,
+     * 绕过了 ctx.defaultCreatedBy,导致采纳提案后的 engram 不走 git 身份解析。
+     */
+    createdBy: z.ZodOptional<z.ZodString>;
+    /** 可选：engram kind（默认 fact） */
+    kind: z.ZodOptional<z.ZodEnum<["observation", "fact", "pattern", "procedure", "hypothesis"]>>;
+}, "strip", z.ZodTypeAny, {
+    content: string;
+    title: string;
+    domainTags: string[];
+    entityId: string;
+    kind?: "observation" | "fact" | "pattern" | "procedure" | "hypothesis" | undefined;
+    createdBy?: string | undefined;
+}, {
+    content: string;
+    title: string;
+    domainTags: string[];
+    entityId: string;
+    kind?: "observation" | "fact" | "pattern" | "procedure" | "hypothesis" | undefined;
+    createdBy?: string | undefined;
+}>;
+export declare const EngramDismissProposalInputSchema: z.ZodObject<{
+    entityId: z.ZodString;
+    /** 拒绝原因（可选，便于元学习） */
+    reason: z.ZodOptional<z.ZodString>;
+    /** 多少天内不再提示（默认 30） */
+    dismissDays: z.ZodOptional<z.ZodNumber>;
+}, "strip", z.ZodTypeAny, {
+    entityId: string;
+    reason?: string | undefined;
+    dismissDays?: number | undefined;
+}, {
+    entityId: string;
+    reason?: string | undefined;
+    dismissDays?: number | undefined;
+}>;
+export type EngramCreateToolInput = z.infer<typeof EngramCreateInputSchema>;
+export type EngramGetToolInput = z.infer<typeof EngramGetInputSchema>;
+export type EngramUpdateToolInput = z.infer<typeof EngramUpdateInputSchema>;
+export type EngramDeleteToolInput = z.infer<typeof EngramDeleteInputSchema>;
+export type EngramReinforceToolInput = z.infer<typeof EngramReinforceInputSchema>;
+export type EngramReportFailureToolInput = z.infer<typeof EngramReportFailureInputSchema>;
+export type EngramArchiveToolInput = z.infer<typeof EngramArchiveInputSchema>;
+export type EngramRestoreToolInput = z.infer<typeof EngramRestoreInputSchema>;
+export type EngramForgetToolInput = z.infer<typeof EngramForgetInputSchema>;
+export type EngramRecomputeImportanceToolInput = z.infer<typeof EngramRecomputeImportanceInputSchema>;
+export type ContradictionResolveToolInput = z.infer<typeof ContradictionResolveInputSchema>;
+export type CloseLearningLoopToolInput = z.infer<typeof CloseLearningLoopInputSchema>;
+export type UpgradeVerificationToolInput = z.infer<typeof UpgradeVerificationInputSchema>;
+export type GetEvolutionLineageToolInput = z.infer<typeof GetEvolutionLineageInputSchema>;
+export type EngramSearchToolInput = z.infer<typeof EngramSearchInputSchema>;
+export type EngramListToolInput = z.infer<typeof EngramListInputSchema>;
+export type SynapseCreateToolInput = z.infer<typeof SynapseCreateInputSchema>;
+export type SynapseGetToolInput = z.infer<typeof SynapseGetInputSchema>;
+export type SynapseDeleteToolInput = z.infer<typeof SynapseDeleteInputSchema>;
+export type SynapseListToolInput = z.infer<typeof SynapseListInputSchema>;
+export type SkillGetToolInput = z.infer<typeof SkillGetInputSchema>;
+export type SkillInvokeToolInput = z.infer<typeof SkillInvokeInputSchema>;
+export type EngramListProposalsToolInput = z.infer<typeof EngramListProposalsInputSchema>;
+export type EngramAcceptProposalToolInput = z.infer<typeof EngramAcceptProposalInputSchema>;
+export type EngramDismissProposalToolInput = z.infer<typeof EngramDismissProposalInputSchema>;
+//# sourceMappingURL=schemas.d.ts.map