@siming-org/core 0.3.0

package/dist/index.d.ts

@@ -0,0 +1,1696 @@
+import { Db, MongoClient, MongoClientOptions, ClientSession, Collection, Document, Filter, ObjectId } from 'mongodb';
+export { ClientSession, Db } from 'mongodb';
+import { z } from 'zod';
+
+interface SimingClient {
+    /** Access a database (defaults to URI database name or "siming"). */
+    db(name?: string): Db;
+    /** Close the underlying connection. */
+    close(): Promise<void>;
+    /** Underlying MongoClient — exposed for advanced use (e.g., startSession). @internal */
+    readonly _underlying: MongoClient;
+}
+/**
+ * Connect to MongoDB. Caller is responsible for close() at process exit.
+ * Database name resolution: explicit `db(name)` → URI path dbname → "siming" fallback.
+ * N018 §3.5：`options` 透传 MongoClientOptions（如 serverSelectionTimeoutMS 快速失败探测），默认不变。
+ */
+declare function createMongoClient(uri?: string, options?: MongoClientOptions): Promise<SimingClient>;
+/**
+ * Run a function inside a MongoDB transaction. Commits on success, aborts on error.
+ * Requires a replica set (see scripts/setup-mongodb.sh).
+ */
+declare function withTransaction<T>(client: SimingClient, fn: (session: ClientSession) => Promise<T>): Promise<T>;
+
+/**
+ * MongoDB document type with _id
+ */
+type WithId<T> = T & {
+    _id: ObjectId;
+};
+/**
+ * Input type without id (for create operations)
+ */
+type OmitId<T extends {
+    id?: string | undefined;
+}> = Omit<T, 'id'>;
+/**
+ * EOPT 兼容的 partial：可选属性允许显式 undefined（zod .partial() 的 z.infer 输出即此形状，
+ * 直接赋给 Partial<T> 会被 exactOptionalPropertyTypes 拒绝）
+ */
+type EoptPartial<T> = {
+    [K in keyof T]?: T[K] | undefined;
+};
+/**
+ * Generic CRUD factory.
+ * Handles _id ↔ id mapping and timestamp management.
+ * All entities must have createdAt?/updatedAt? fields.
+ */
+declare function createRepo<T extends {
+    id?: string | undefined;
+}>(collection: Collection<Document>, options?: {
+    nameField?: string;
+}): {
+    list(filter?: Filter<Document>): Promise<T[]>;
+    getById(id: string): Promise<T | null>;
+    getByName(name: string): Promise<T | null>;
+    create(data: OmitId<T>): Promise<T>;
+    update(id: string, patch: EoptPartial<OmitId<T>>): Promise<T | null>;
+    delete(id: string): Promise<boolean>;
+    /** Raw collection access for entity-specific queries */
+    readonly _collection: Collection<Document>;
+};
+type Repo<T extends {
+    id?: string | undefined;
+}> = ReturnType<typeof createRepo<T>>;
+
+/**
+ * Skill Schema — Skill 库（N012：支持全局 / 项目专用两种作用域）
+ * sync 到 ~/.agent/skills/；scope=project 时 projectId 必填（superRefine 保证）
+ */
+declare const SkillScopeSchema: z.ZodEnum<{
+    global: "global";
+    project: "project";
+}>;
+declare const OBJECT_ID_HEX: RegExp;
+declare const SkillSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    name: z.ZodString;
+    description: z.ZodString;
+    content: z.ZodString;
+    category: z.ZodString;
+    version: z.ZodDefault<z.ZodString>;
+    scope: z.ZodDefault<z.ZodEnum<{
+        global: "global";
+        project: "project";
+    }>>;
+    projectId: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type Skill = z.infer<typeof SkillSchema>;
+type SkillScope = z.infer<typeof SkillScopeSchema>;
+/**
+ * 创建输入：scope 必填（PRD F7/Q6「无默认值，未选择不可提交」）。
+ * extend 覆盖 scope 字段定义以剥离实体层 default（.omit() 会保留字段的 default，缺省会静默补 'global' 而非 422）；
+ * superRefine 独立重挂——不依赖 .omit() 对 refine 的保留行为。
+ */
+declare const SkillCreateSchema: z.ZodObject<{
+    version: z.ZodDefault<z.ZodString>;
+    name: z.ZodString;
+    description: z.ZodString;
+    content: z.ZodString;
+    category: z.ZodString;
+    projectId: z.ZodOptional<z.ZodString>;
+    scope: z.ZodEnum<{
+        global: "global";
+        project: "project";
+    }>;
+}, z.core.$strip>;
+type SkillCreate = z.infer<typeof SkillCreateSchema>;
+/**
+ * 更新输入（PUT partial）。两个关键点：
+ * 1. refine 必须挂在 .partial() 之后——Zod 4 运行时禁止对含 refinement 的 schema 调 .partial()
+ *    （superRefine 的 `(): this` 类型签名会骗过编译期检查，运行时直接 throw）。
+ * 2. extend 必须剥离实体层 .default()——Zod 4 的 .partial() 保留字段 default，空 body 会
+ *    解析出 {scope:'global', version:'1.0.0'} 并被 $set 写库（version 被重置 + 项目专用资产假 409）。
+ */
+declare const SkillUpdateSchema: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+    category: z.ZodOptional<z.ZodString>;
+    projectId: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+    version: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+    scope: z.ZodOptional<z.ZodOptional<z.ZodEnum<{
+        global: "global";
+        project: "project";
+    }>>>;
+}, z.core.$strip>;
+type SkillUpdate = z.infer<typeof SkillUpdateSchema>;
+/**
+ * Skill 复制入参（N012 F7/D9，契约命名对齐方案 §3.2.4）：by-name 复制，目标作用域显式指定；副本 version 重置 '1.0.0'。
+ */
+declare const SkillCopySchema: z.ZodObject<{
+    newName: z.ZodString;
+    newScope: z.ZodEnum<{
+        global: "global";
+        project: "project";
+    }>;
+    targetProjectId: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type SkillCopy = z.infer<typeof SkillCopySchema>;
+
+type SkillRepo = Repo<Skill> & {
+    createSkill(data: SkillCreate): Promise<Skill>;
+    /** @deprecated N016 F13：无 scope 消歧（跨 scope 同名会误伤），改用 updateByNameScoped */
+    updateByName(name: string, patch: EoptPartial<Omit<Skill, 'id'>>): Promise<Skill | null>;
+    /** @deprecated N016 F13：无 scope 消歧（跨 scope 同名会误删），改用 deleteByNameScoped */
+    deleteByName(name: string): Promise<boolean>;
+    /** N016 F02：by-name 消歧更新——scope 显式指定（跨 scope 同名时不误伤；project → {name, projectId}；global → {name, scope:'global'}） */
+    updateByNameScoped(name: string, scope: SkillScope, projectId: string | undefined, patch: EoptPartial<Omit<Skill, 'id'>>): Promise<Skill | null>;
+    /** N016 F02：by-name 消歧删除（同 updateByNameScoped，防止跨 scope 同名时误删） */
+    deleteByNameScoped(name: string, scope: SkillScope, projectId: string | undefined): Promise<boolean>;
+    /** N016 F12：by-name 消歧解析——scope 显式指定（project → {name, projectId}；global → {name, scope:'global'}） */
+    getByNameScoped(name: string, scope: SkillScope, projectId?: string | undefined): Promise<Skill | null>;
+    /** 项目上下文叠加列表（F7）：global + 指定项目专用 */
+    listSkillsByScope(projectId: string): Promise<Skill[]>;
+    /** N015 F12：按作用域过滤（install 拉取；projectId 仅 scope=project 时生效） */
+    listSkillsByScopeFilter(scope: SkillScope, projectId?: string): Promise<Skill[]>;
+    /** 绑定校验批量预取（消 N+1）：按引用方 scope 可见集过滤（N016 F04——project 引用方 = global + 本项目；global 引用方 = 仅 global） */
+    listSkillsByNames(names: string[], scope?: SkillScope, projectId?: string): Promise<Map<string, Skill>>;
+    /** by-name 复制（N016 F08/F11）：源 scope 显式消歧 + 目标跨 scope 守卫；version 重置 '1.0.0' */
+    copySkill(sourceName: string, source: {
+        scope: SkillScope;
+        projectId?: string;
+    }, target: {
+        scope: SkillScope;
+        projectId?: string;
+    }, newName: string): Promise<Skill>;
+};
+declare function createSkillRepo(db: Db): SkillRepo;
+
+/**
+ * Agent Schema — subagent 定义
+ * N012：支持全局 / 项目专用两种作用域（scope=project 时 projectId 必填）
+ * N016 F1：移除 syncTargets 概念——SKILL/Agent 跨编程 Agent 通用，仅关联作用域，无关编程工具
+ */
+declare const AgentScopeSchema: z.ZodEnum<{
+    global: "global";
+    project: "project";
+}>;
+declare const AgentSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    name: z.ZodString;
+    description: z.ZodString;
+    systemPrompt: z.ZodString;
+    boundSkills: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    model: z.ZodString;
+    version: z.ZodDefault<z.ZodString>;
+    tools: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    permissions: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    scope: z.ZodDefault<z.ZodEnum<{
+        global: "global";
+        project: "project";
+    }>>;
+    projectId: z.ZodOptional<z.ZodString>;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type Agent = z.infer<typeof AgentSchema>;
+type AgentScope = z.infer<typeof AgentScopeSchema>;
+/**
+ * 创建输入：scope 必填（PRD F7/Q6「无默认值，未选择不可提交」）。
+ * extend 覆盖 scope 字段定义以剥离实体层 default（.omit() 会保留字段的 default，缺省会静默补 'global' 而非 422）；
+ * superRefine 独立重挂——不依赖 .omit() 对 refine 的保留行为。
+ */
+declare const AgentCreateSchema: z.ZodObject<{
+    version: z.ZodDefault<z.ZodString>;
+    name: z.ZodString;
+    description: z.ZodString;
+    projectId: z.ZodOptional<z.ZodString>;
+    systemPrompt: z.ZodString;
+    boundSkills: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    tools: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    permissions: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    scope: z.ZodEnum<{
+        global: "global";
+        project: "project";
+    }>;
+    model: z.ZodString;
+}, z.core.$strip>;
+type AgentCreate = z.infer<typeof AgentCreateSchema>;
+/**
+ * 更新输入（PUT partial）。两个关键点：
+ * 1. refine 必须挂在 .partial() 之后——Zod 4 运行时禁止对含 refinement 的 schema 调 .partial()
+ *    （superRefine 的 `(): this` 类型签名会骗过编译期检查，运行时直接 throw）。
+ * 2. extend 必须剥离实体层 .default()——Zod 4 的 .partial() 保留字段 default，空 body 会
+ *    解析出 {scope:'global', boundSkills:[], ...} 并被 $set 写库（绑定被清空 + 项目专用资产假 409）。
+ */
+declare const AgentUpdateSchema: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    projectId: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+    systemPrompt: z.ZodOptional<z.ZodString>;
+    boundSkills: z.ZodOptional<z.ZodOptional<z.ZodArray<z.ZodString>>>;
+    version: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+    tools: z.ZodOptional<z.ZodOptional<z.ZodArray<z.ZodString>>>;
+    permissions: z.ZodOptional<z.ZodOptional<z.ZodArray<z.ZodString>>>;
+    scope: z.ZodOptional<z.ZodOptional<z.ZodEnum<{
+        global: "global";
+        project: "project";
+    }>>>;
+    model: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+}, z.core.$strip>;
+type AgentUpdate = z.infer<typeof AgentUpdateSchema>;
+/**
+ * Agent 复制入参（N012 F7/D9，契约命名对齐方案 §3.2.4）：by-name 复制，目标作用域显式指定；boundSkills 随迁并按目标作用域重校验（F06）。
+ */
+declare const AgentCopySchema: z.ZodObject<{
+    newName: z.ZodString;
+    newScope: z.ZodEnum<{
+        global: "global";
+        project: "project";
+    }>;
+    targetProjectId: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type AgentCopy = z.infer<typeof AgentCopySchema>;
+
+type AgentRepo = Repo<Agent> & {
+    createAgent(data: AgentCreate): Promise<Agent>;
+    /** @deprecated N016 F13：无 scope 消歧（跨 scope 同名会误伤），改用 updateByNameScoped */
+    updateByName(name: string, patch: EoptPartial<Omit<Agent, 'id'>>): Promise<Agent | null>;
+    /** @deprecated N016 F13：无 scope 消歧（跨 scope 同名会误删），改用 deleteByNameScoped */
+    deleteByName(name: string): Promise<boolean>;
+    /** N016 F02：by-name 消歧更新——scope 显式指定（跨 scope 同名时不误伤；project → {name, projectId}；global → {name, scope:'global'}） */
+    updateByNameScoped(name: string, scope: AgentScope, projectId: string | undefined, patch: EoptPartial<Omit<Agent, 'id'>>): Promise<Agent | null>;
+    /** N016 F02：by-name 消歧删除（同 updateByNameScoped，防止跨 scope 同名时误删） */
+    deleteByNameScoped(name: string, scope: AgentScope, projectId: string | undefined): Promise<boolean>;
+    /** N016 F12：by-name 消歧解析——scope 显式指定（project → {name, projectId}；global → {name, scope:'global'}） */
+    getByNameScoped(name: string, scope: AgentScope, projectId?: string | undefined): Promise<Agent | null>;
+    /** 项目上下文叠加列表（F7）：global + 指定项目专用 */
+    listAgentsByScope(projectId: string): Promise<Agent[]>;
+    /** N015 F12：按作用域过滤（install 拉取；projectId 仅 scope=project 时生效） */
+    listAgentsByScopeFilter(scope: AgentScope, projectId?: string): Promise<Agent[]>;
+    /** by-name 复制（N016 F08/F11）：源 scope 显式消歧 + 目标跨 scope 守卫 + boundSkills 按目标作用域重校验；version 重置 '1.0.0' */
+    copyAgent(sourceName: string, source: {
+        scope: AgentScope;
+        projectId?: string;
+    }, target: {
+        scope: AgentScope;
+        projectId?: string;
+    }, newName: string, skillRepo: SkillRepo): Promise<Agent>;
+};
+declare function createAgentRepo(db: Db): AgentRepo;
+/**
+ * N016 F04 绑定约束：全局 Agent 仅可绑全局 Skill；项目 Agent 可绑全局 + 本项目 Skill。
+ * 名字引用解析范围为引用方 scope 的可见集（project = global + 本项目；global = 全部 global），
+ * 由 scope-aware listSkillsByNames 保证集合内名字唯一（P4 唯一性模型）。
+ */
+declare function assertBoundSkillsCompatible(skillRepo: SkillRepo, agentScope: AgentScope, agentProjectId: string | undefined, boundSkills: string[]): Promise<void>;
+
+/**
+ * DAG Template 相关 Schemas
+ * 项目级流程模板（节点 + 转移 + 边暂停点）
+ *
+ * N017 F8：Gate 机制整体退役（GateSchema/GATE_TYPES/DagNode.gates 删除）——
+ * 引擎本就不消费 gates 校验结果，保留只会延续"程序强制"幻觉；
+ * 暂停点从模板顶层数组（afterNode 寻址）迁移为 DagEdge 内联字段（N017 D1）。
+ */
+/**
+ * N016 F9：枚举放宽（D3）——dag_phase 全放开（引擎零分支，仅 currentPhase 存储），
+ * dag_track 自定义可流经引擎（findNextEdge 字符串比较），backend/ui/all 为内置（builtin 保护）。
+ * N020 决策 12：node id 收紧为 [A-Za-z0-9_-]+——节点记录写路径用点路径拼接
+ * （`nodeRecords.${nodeId}.checks`），id 含 `.`/`$` 会造成路径注入/错位。
+ */
+declare const DagNodePhaseSchema: z.ZodString;
+declare const DagNodeTrackSchema: z.ZodString;
+/**
+ * 内置 phase/track 常量（seed 引用 + 文档化；注册表为运行时权威）。
+ * T202608240003：dag_track 另有任务级专用值 mixed/research（注册表 builtin，非节点
+ * track 值）——节点 track 不使用这两个值；本常量仅覆盖节点级内置值。
+ */
+declare const DAG_PHASES: readonly ["entry", "track", "test", "exit"];
+declare const DAG_TRACKS: readonly ["backend", "ui", "all"];
+declare const NODE_ID_PATTERN: RegExp;
+declare const DagNodeSchema: z.ZodObject<{
+    id: z.ZodString;
+    label: z.ZodString;
+    phase: z.ZodString;
+    track: z.ZodString;
+    prompt: z.ZodString;
+    skills: z.ZodDefault<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+type DagNode = z.infer<typeof DagNodeSchema>;
+/** 暂停点类型——固定枚举，引擎仅处理这两种语义（human_approval 落 paused / checkpoint 仅记录不停留） */
+declare const PausePointTypeSchema: z.ZodEnum<{
+    human_approval: "human_approval";
+    checkpoint: "checkpoint";
+}>;
+/** 内置 pause 类型常量（seed 引用 + schema 枚举源） */
+declare const PAUSE_POINT_TYPES: readonly ["human_approval", "checkpoint"];
+/**
+ * N017 D1：边暂停点——暂停是流转路径的属性，内联使画布 edge 零 join 渲染标识，
+ * 删边连带删暂停点（级联语义天然）。
+ *
+ * 组合约束（N017 §2.2，消除枚举组合歧义）：
+ * - human_approval + autoResume=false → 唯一合法的人工审批组合（advance 落 paused）
+ * - checkpoint + autoResume=true → 唯一合法的检查点组合（不停留仅记录）
+ * - 其余组合 schema 拒绝（模板创建/更新 422）
+ *
+ * superRefine 内聚在本对象级——DagTemplateSchema/DagTemplateCreateSchema 模板级
+ * 不挂任何 refine，否则 CreateSchema.partial() 派生 UpdateSchema 时触发
+ * Zod4「refined schema 禁 .partial()」运行时 throw（技术架构「Zod4 UpdateSchema 范式」）。
+ */
+declare const EdgePausePointBaseSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        human_approval: "human_approval";
+        checkpoint: "checkpoint";
+    }>;
+    description: z.ZodString;
+    autoResume: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
+declare const EdgePausePointSchema: z.ZodObject<{
+    type: z.ZodEnum<{
+        human_approval: "human_approval";
+        checkpoint: "checkpoint";
+    }>;
+    description: z.ZodString;
+    autoResume: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
+type EdgePausePoint = z.infer<typeof EdgePausePointSchema>;
+declare const DagEdgeSchema: z.ZodObject<{
+    from: z.ZodString;
+    to: z.ZodString;
+    condition: z.ZodOptional<z.ZodString>;
+    pausePoint: z.ZodOptional<z.ZodObject<{
+        type: z.ZodEnum<{
+            human_approval: "human_approval";
+            checkpoint: "checkpoint";
+        }>;
+        description: z.ZodString;
+        autoResume: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type DagEdge = z.infer<typeof DagEdgeSchema>;
+declare const DagTemplateSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    name: z.ZodString;
+    projectId: z.ZodString;
+    description: z.ZodString;
+    nodes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        phase: z.ZodString;
+        track: z.ZodString;
+        prompt: z.ZodString;
+        skills: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    edges: z.ZodArray<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        condition: z.ZodOptional<z.ZodString>;
+        pausePoint: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<{
+                human_approval: "human_approval";
+                checkpoint: "checkpoint";
+            }>;
+            description: z.ZodString;
+            autoResume: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    layout: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+    }, z.core.$strip>>>;
+    isDefault: z.ZodDefault<z.ZodBoolean>;
+    version: z.ZodDefault<z.ZodString>;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type DagTemplate = z.infer<typeof DagTemplateSchema>;
+declare const DagTemplateCreateSchema: z.ZodObject<{
+    version: z.ZodDefault<z.ZodString>;
+    name: z.ZodString;
+    description: z.ZodString;
+    projectId: z.ZodString;
+    nodes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        phase: z.ZodString;
+        track: z.ZodString;
+        prompt: z.ZodString;
+        skills: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    edges: z.ZodArray<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        condition: z.ZodOptional<z.ZodString>;
+        pausePoint: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<{
+                human_approval: "human_approval";
+                checkpoint: "checkpoint";
+            }>;
+            description: z.ZodString;
+            autoResume: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    layout: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+    }, z.core.$strip>>>;
+    isDefault: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
+type DagTemplateCreate = z.infer<typeof DagTemplateCreateSchema>;
+/**
+ * 更新输入（PUT partial）。extend 剥离实体层 .default()——Zod 4 的 .partial() 保留字段
+ * default，空 body 会解析出 {isDefault:false, version:'1.0.0'} 并被 $set 写库（字段被静默重置）。
+ */
+declare const DagTemplateUpdateSchema: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    projectId: z.ZodOptional<z.ZodString>;
+    nodes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        phase: z.ZodString;
+        track: z.ZodString;
+        prompt: z.ZodString;
+        skills: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>>;
+    edges: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        condition: z.ZodOptional<z.ZodString>;
+        pausePoint: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<{
+                human_approval: "human_approval";
+                checkpoint: "checkpoint";
+            }>;
+            description: z.ZodString;
+            autoResume: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>;
+    layout: z.ZodOptional<z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodObject<{
+        x: z.ZodNumber;
+        y: z.ZodNumber;
+    }, z.core.$strip>>>>;
+    isDefault: z.ZodOptional<z.ZodOptional<z.ZodBoolean>>;
+    version: z.ZodOptional<z.ZodOptional<z.ZodString>>;
+}, z.core.$strip>;
+type DagTemplateUpdate = z.infer<typeof DagTemplateUpdateSchema>;
+/**
+ * 模板复制入参（N012 F5/D5，契约命名对齐方案 §3.2.3）：目标项目 + 新名称；副本落库为可编辑独立实体（version 重置 '1.0.0'，isDefault=false）。
+ */
+declare const DagTemplateCopySchema: z.ZodObject<{
+    newName: z.ZodString;
+    targetProjectId: z.ZodString;
+}, z.core.$strip>;
+type DagTemplateCopy = z.infer<typeof DagTemplateCopySchema>;
+
+type DagTemplateRepo = Repo<DagTemplate> & {
+    createDagTemplate(data: DagTemplateCreate): Promise<DagTemplate>;
+    /** N015 F17：list 支持 name 过滤（export 查重按 projectId+name，name 项目内唯一） */
+    listDagTemplates(filter?: {
+        projectId?: string;
+        name?: string;
+    }): Promise<DagTemplate[]>;
+    /** 深拷贝复制（N012 F5/D5）：副本落目标项目，version 重置 '1.0.0'、isDefault=false；目标项目内重名 → 409 */
+    copyDagTemplate(sourceId: string, targetProjectId: string, newName: string): Promise<DagTemplate>;
+};
+declare function createDagTemplateRepo(db: Db): DagTemplateRepo;
+
+/**
+ * Task 相关 Schemas
+ * 从 DagTemplate 实例化的交付任务
+ *
+ * N017 F8：GateResultSchema / NodeState.gateResults 退役；
+ * DagInstance 暂停点迁到 edges 内联（D1），顶层数组删除；
+ * N020 D1：任务信息结构化落库——Task.doc（任务级文档）+ Task.nodeRecords
+ * （节点级执行记录）+ Task.archNotes（跨节点累积素材）。写操作一律条目追加 +
+ * 字段级更新（$push/$set/arrayFilters），永不接受整文档提交（AI 全量重写易错）。
+ */
+/**
+ * 任务类型（T202608240003）：类型→路径映射由 task-create skill 持有（唯一真相源），
+ * 平台只承载类型标签与入口合法性校验——扩类型 = 代码（本枚举）+ skill 同步变更。
+ * 'research' 是保留契约值：模板 PRD 节点的调研变体判定 + track=research 的双向绑定都精确依赖它。
+ */
+declare const TASK_TYPES: readonly ["feature", "bugfix", "ui-tweak", "research"];
+type TaskType = (typeof TASK_TYPES)[number];
+/** 条目短 id 格式：服务端生成 6 位 base36（条目定位/翻转用，同 record 内查重） */
+declare const ENTRY_ID_REGEX: RegExp;
+/** 完成判定清单条目（item = 判定项原文，passed = 逐项 ✅/❌ 状态） */
+declare const CheckItemSchema: z.ZodObject<{
+    id: z.ZodString;
+    item: z.ZodString;
+    passed: z.ZodBoolean;
+}, z.core.$strip>;
+type CheckItem = z.infer<typeof CheckItemSchema>;
+/** 产物类型静态枚举（决策 5：API 契约字段，非用户自定义分类） */
+declare const ARTIFACT_TYPES: readonly ["prd", "tech", "code", "test", "doc", "other"];
+type ArtifactType = (typeof ARTIFACT_TYPES)[number];
+/**
+ * 产物引用（path 为引用文本，不触发 server fs 读写）。
+ * content：产物全文快照（可选，≤200k 字符）——登记时由 CLI --file 读文件写入；
+ * 断点续跑会话凭 context 即可取回设计文档实质内容，不依赖再访问项目仓库（跨会话/跨环境自足）。
+ */
+declare const ArtifactSchema: z.ZodObject<{
+    id: z.ZodString;
+    type: z.ZodEnum<{
+        code: "code";
+        test: "test";
+        prd: "prd";
+        tech: "tech";
+        doc: "doc";
+        other: "other";
+    }>;
+    path: z.ZodString;
+    note: z.ZodOptional<z.ZodString>;
+    content: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type Artifact = z.infer<typeof ArtifactSchema>;
+/** 暂停点确认原文（HARD GATE：用户显式确认须留痕，max 2000 字符） */
+declare const ConfirmationSchema: z.ZodObject<{
+    id: z.ZodString;
+    quote: z.ZodString;
+    at: z.ZodDate;
+}, z.core.$strip>;
+type Confirmation = z.infer<typeof ConfirmationSchema>;
+/** 节点内关键决策条目（topic + 结论） */
+declare const DecisionSchema: z.ZodObject<{
+    id: z.ZodString;
+    topic: z.ZodString;
+    decision: z.ZodString;
+}, z.core.$strip>;
+type Decision = z.infer<typeof DecisionSchema>;
+/** oracle 审查结论摘要（rounds = 交互轮数，critical = 未修复 Critical 数） */
+declare const ReviewSummarySchema: z.ZodObject<{
+    verdict: z.ZodEnum<{
+        pass: "pass";
+        fail: "fail";
+    }>;
+    rounds: z.ZodNumber;
+    critical: z.ZodNumber;
+}, z.core.$strip>;
+type ReviewSummary = z.infer<typeof ReviewSummarySchema>;
+/**
+ * 节点执行记录（nodeId → record）。无 completedAt——完成时间单权威在
+ * dagInstance.nodeStates（决策 11：状态属性归状态机，双存必然漂移）。
+ */
+declare const NodeRecordSchema: z.ZodObject<{
+    summary: z.ZodOptional<z.ZodString>;
+    checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        item: z.ZodString;
+        passed: z.ZodBoolean;
+    }, z.core.$strip>>>;
+    artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodEnum<{
+            code: "code";
+            test: "test";
+            prd: "prd";
+            tech: "tech";
+            doc: "doc";
+            other: "other";
+        }>;
+        path: z.ZodString;
+        note: z.ZodOptional<z.ZodString>;
+        content: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>>;
+    confirmations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        quote: z.ZodString;
+        at: z.ZodDate;
+    }, z.core.$strip>>>;
+    decisions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        topic: z.ZodString;
+        decision: z.ZodString;
+    }, z.core.$strip>>>;
+    review: z.ZodOptional<z.ZodObject<{
+        verdict: z.ZodEnum<{
+            pass: "pass";
+            fail: "fail";
+        }>;
+        rounds: z.ZodNumber;
+        critical: z.ZodNumber;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type NodeRecord = z.infer<typeof NodeRecordSchema>;
+/** 任务级文档：需求 What/Why + 验收标准 + 非目标 + 轨道识别结论 */
+declare const TaskDocContentSchema: z.ZodObject<{
+    what: z.ZodString;
+    why: z.ZodString;
+    acceptance: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    nonGoals: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    trackNote: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type TaskDocContent = z.infer<typeof TaskDocContentSchema>;
+/** 架构信息收集条目（跨节点渐进追加，验收归档后统一归档到 docs/架构信息/） */
+declare const ArchNoteSchema: z.ZodObject<{
+    id: z.ZodString;
+    text: z.ZodString;
+    at: z.ZodDate;
+}, z.core.$strip>;
+type ArchNote = z.infer<typeof ArchNoteSchema>;
+/**
+ * N016 F9：枚举放宽（注册表 node_status 权威）。
+ * 内置值常量（seed 引用 + 文档化；注册表为运行时权威）。
+ */
+declare const NodeStatusSchema: z.ZodString;
+declare const NODE_STATUSES: readonly ["pending", "active", "completed", "skipped"];
+declare const NodeStateSchema: z.ZodObject<{
+    status: z.ZodString;
+    enteredAt: z.ZodDefault<z.ZodNullable<z.ZodDate>>;
+    completedAt: z.ZodDefault<z.ZodNullable<z.ZodDate>>;
+}, z.core.$strip>;
+type NodeState = z.infer<typeof NodeStateSchema>;
+declare const DagInstanceSchema: z.ZodObject<{
+    templateId: z.ZodString;
+    templateVersion: z.ZodString;
+    nodes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        label: z.ZodString;
+        phase: z.ZodString;
+        track: z.ZodString;
+        prompt: z.ZodString;
+        skills: z.ZodDefault<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+    edges: z.ZodArray<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        condition: z.ZodOptional<z.ZodString>;
+        pausePoint: z.ZodOptional<z.ZodObject<{
+            type: z.ZodEnum<{
+                human_approval: "human_approval";
+                checkpoint: "checkpoint";
+            }>;
+            description: z.ZodString;
+            autoResume: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    prunedNodes: z.ZodArray<z.ZodString>;
+    nodeStates: z.ZodRecord<z.ZodString, z.ZodObject<{
+        status: z.ZodString;
+        enteredAt: z.ZodDefault<z.ZodNullable<z.ZodDate>>;
+        completedAt: z.ZodDefault<z.ZodNullable<z.ZodDate>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type DagInstance = z.infer<typeof DagInstanceSchema>;
+/**
+ * N017 D7：删 gate_failed（随 gates 退役），增 approved/rejected——
+ * 审批决策是新的领域事件，rejected 需要可追溯。
+ */
+declare const HistoryActionSchema: z.ZodEnum<{
+    completed: "completed";
+    entered: "entered";
+    advanced: "advanced";
+    paused: "paused";
+    resumed: "resumed";
+    approved: "approved";
+    rejected: "rejected";
+    cancelled: "cancelled";
+}>;
+declare const HistoryEntrySchema: z.ZodObject<{
+    nodeId: z.ZodString;
+    action: z.ZodEnum<{
+        completed: "completed";
+        entered: "entered";
+        advanced: "advanced";
+        paused: "paused";
+        resumed: "resumed";
+        approved: "approved";
+        rejected: "rejected";
+        cancelled: "cancelled";
+    }>;
+    timestamp: z.ZodDefault<z.ZodDate>;
+    details: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+}, z.core.$strip>;
+type HistoryEntry = z.infer<typeof HistoryEntrySchema>;
+/**
+ * N016 F9：枚举放宽（注册表 task_status / task_phase 权威）。
+ * 内置值常量（seed 引用 + 文档化；注册表为运行时权威）。
+ */
+declare const TaskStatusSchema: z.ZodString;
+declare const TaskPhaseSchema: z.ZodString;
+declare const TASK_STATUSES: readonly ["active", "paused", "completed", "cancelled"];
+declare const TASK_PHASES: readonly ["entry", "track", "test", "exit"];
+declare const TaskSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    taskId: z.ZodString;
+    title: z.ZodString;
+    type: z.ZodOptional<z.ZodEnum<{
+        feature: "feature";
+        bugfix: "bugfix";
+        "ui-tweak": "ui-tweak";
+        research: "research";
+    }>>;
+    projectId: z.ZodString;
+    dagTemplateId: z.ZodString;
+    dagInstance: z.ZodObject<{
+        templateId: z.ZodString;
+        templateVersion: z.ZodString;
+        nodes: z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            label: z.ZodString;
+            phase: z.ZodString;
+            track: z.ZodString;
+            prompt: z.ZodString;
+            skills: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        }, z.core.$strip>>;
+        edges: z.ZodArray<z.ZodObject<{
+            from: z.ZodString;
+            to: z.ZodString;
+            condition: z.ZodOptional<z.ZodString>;
+            pausePoint: z.ZodOptional<z.ZodObject<{
+                type: z.ZodEnum<{
+                    human_approval: "human_approval";
+                    checkpoint: "checkpoint";
+                }>;
+                description: z.ZodString;
+                autoResume: z.ZodDefault<z.ZodBoolean>;
+            }, z.core.$strip>>;
+        }, z.core.$strip>>;
+        prunedNodes: z.ZodArray<z.ZodString>;
+        nodeStates: z.ZodRecord<z.ZodString, z.ZodObject<{
+            status: z.ZodString;
+            enteredAt: z.ZodDefault<z.ZodNullable<z.ZodDate>>;
+            completedAt: z.ZodDefault<z.ZodNullable<z.ZodDate>>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    currentNode: z.ZodString;
+    currentPhase: z.ZodString;
+    status: z.ZodString;
+    pausedAt: z.ZodDefault<z.ZodNullable<z.ZodString>>;
+    track: z.ZodString;
+    doc: z.ZodOptional<z.ZodObject<{
+        what: z.ZodString;
+        why: z.ZodString;
+        acceptance: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        nonGoals: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        trackNote: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    nodeRecords: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodObject<{
+        summary: z.ZodOptional<z.ZodString>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            item: z.ZodString;
+            passed: z.ZodBoolean;
+        }, z.core.$strip>>>;
+        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            type: z.ZodEnum<{
+                code: "code";
+                test: "test";
+                prd: "prd";
+                tech: "tech";
+                doc: "doc";
+                other: "other";
+            }>;
+            path: z.ZodString;
+            note: z.ZodOptional<z.ZodString>;
+            content: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+        confirmations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            quote: z.ZodString;
+            at: z.ZodDate;
+        }, z.core.$strip>>>;
+        decisions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            topic: z.ZodString;
+            decision: z.ZodString;
+        }, z.core.$strip>>>;
+        review: z.ZodOptional<z.ZodObject<{
+            verdict: z.ZodEnum<{
+                pass: "pass";
+                fail: "fail";
+            }>;
+            rounds: z.ZodNumber;
+            critical: z.ZodNumber;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>>;
+    archNotes: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        text: z.ZodString;
+        at: z.ZodDate;
+    }, z.core.$strip>>>;
+    history: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        nodeId: z.ZodString;
+        action: z.ZodEnum<{
+            completed: "completed";
+            entered: "entered";
+            advanced: "advanced";
+            paused: "paused";
+            resumed: "resumed";
+            approved: "approved";
+            rejected: "rejected";
+            cancelled: "cancelled";
+        }>;
+        timestamp: z.ZodDefault<z.ZodDate>;
+        details: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    }, z.core.$strip>>>;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type Task = z.infer<typeof TaskSchema>;
+/**
+ * N020 D1：updateTask 的 patch 类型——常规字段平铺 key 之外允许点路径 key
+ * （如 "nodeRecords.TECH.summary"）。repo 的 $set 按点路径直达嵌套字段，
+ * 使引擎收尾与常规字段在同一条 findOneAndUpdate 内原子写入（F02）。
+ * 禁止把 nodeRecords/doc/archNotes 作为嵌套对象整体放入 patch（整对象替换
+ * 读-改写窗口，违背小步写入模型）。
+ */
+type TaskPatch = Partial<Task> & Record<string, unknown>;
+declare const TaskCreateInputSchema: z.ZodObject<{
+    title: z.ZodString;
+    track: z.ZodString;
+    dagTemplateId: z.ZodString;
+    skipNodes: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    type: z.ZodOptional<z.ZodEnum<{
+        feature: "feature";
+        bugfix: "bugfix";
+        "ui-tweak": "ui-tweak";
+        research: "research";
+    }>>;
+    projectId: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type TaskCreateInput = z.infer<typeof TaskCreateInputSchema>;
+
+/**
+ * N017 F2：任务上下文（AI 推进任务的一站式查询载荷）。
+ * currentNode 仅 active 时非空；pausedAtEdge 仅暂停点暂停时非空（待审批边）。
+ */
+declare const TaskContextSchema: z.ZodObject<{
+    task: z.ZodObject<{
+        taskId: z.ZodString;
+        title: z.ZodString;
+        type: z.ZodOptional<z.ZodEnum<{
+            feature: "feature";
+            bugfix: "bugfix";
+            "ui-tweak": "ui-tweak";
+            research: "research";
+        }>>;
+        currentNode: z.ZodString;
+        currentPhase: z.ZodString;
+        status: z.ZodString;
+        pausedAt: z.ZodNullable<z.ZodString>;
+        track: z.ZodString;
+    }, z.core.$strip>;
+    currentNode: z.ZodNullable<z.ZodObject<{
+        nodeId: z.ZodString;
+        label: z.ZodString;
+        phase: z.ZodString;
+        track: z.ZodString;
+        prompt: z.ZodString;
+        skills: z.ZodArray<z.ZodString>;
+        upcomingPause: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>>;
+    pausedAtEdge: z.ZodNullable<z.ZodObject<{
+        from: z.ZodString;
+        to: z.ZodString;
+        pausePoint: z.ZodObject<{
+            type: z.ZodEnum<{
+                human_approval: "human_approval";
+                checkpoint: "checkpoint";
+            }>;
+            description: z.ZodString;
+            autoResume: z.ZodDefault<z.ZodBoolean>;
+        }, z.core.$strip>;
+    }, z.core.$strip>>;
+    nodes: z.ZodArray<z.ZodObject<{
+        nodeId: z.ZodString;
+        label: z.ZodString;
+        status: z.ZodString;
+        enteredAt: z.ZodNullable<z.ZodDate>;
+        completedAt: z.ZodNullable<z.ZodDate>;
+    }, z.core.$strip>>;
+    taskDoc: z.ZodNullable<z.ZodObject<{
+        what: z.ZodString;
+        why: z.ZodString;
+        acceptance: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        nonGoals: z.ZodDefault<z.ZodArray<z.ZodString>>;
+        trackNote: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    nodeRecords: z.ZodRecord<z.ZodString, z.ZodObject<{
+        summary: z.ZodOptional<z.ZodString>;
+        checks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            item: z.ZodString;
+            passed: z.ZodBoolean;
+        }, z.core.$strip>>>;
+        artifacts: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            type: z.ZodEnum<{
+                code: "code";
+                test: "test";
+                prd: "prd";
+                tech: "tech";
+                doc: "doc";
+                other: "other";
+            }>;
+            path: z.ZodString;
+            note: z.ZodOptional<z.ZodString>;
+            content: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>>;
+        confirmations: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            quote: z.ZodString;
+            at: z.ZodDate;
+        }, z.core.$strip>>>;
+        decisions: z.ZodDefault<z.ZodArray<z.ZodObject<{
+            id: z.ZodString;
+            topic: z.ZodString;
+            decision: z.ZodString;
+        }, z.core.$strip>>>;
+        review: z.ZodOptional<z.ZodObject<{
+            verdict: z.ZodEnum<{
+                pass: "pass";
+                fail: "fail";
+            }>;
+            rounds: z.ZodNumber;
+            critical: z.ZodNumber;
+        }, z.core.$strip>>;
+    }, z.core.$strip>>;
+    archNotes: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        text: z.ZodString;
+        at: z.ZodDate;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type TaskContext = z.infer<typeof TaskContextSchema>;
+/**
+ * N017 D6：任务列表概要投影——剥离 dagInstance（11 节点 prompt 全文）与 history。
+ * 补 createdAt：web TaskTable 消费 createdAt 列且为默认降序排序键，投影遗漏即断链。
+ */
+declare const TaskSummarySchema: z.ZodObject<{
+    taskId: z.ZodString;
+    title: z.ZodString;
+    type: z.ZodOptional<z.ZodEnum<{
+        feature: "feature";
+        bugfix: "bugfix";
+        "ui-tweak": "ui-tweak";
+        research: "research";
+    }>>;
+    projectId: z.ZodString;
+    dagTemplateId: z.ZodString;
+    currentNode: z.ZodString;
+    currentPhase: z.ZodString;
+    status: z.ZodString;
+    pausedAt: z.ZodNullable<z.ZodString>;
+    track: z.ZodString;
+    progress: z.ZodObject<{
+        completed: z.ZodNumber;
+        total: z.ZodNumber;
+    }, z.core.$strip>;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type TaskSummary = z.infer<typeof TaskSummarySchema>;
+
+type TaskListFilter = {
+    status?: string;
+    track?: string;
+    projectId?: string;
+    page?: number;
+    limit?: number;
+    sort?: 'progress' | 'createdAt' | 'updatedAt';
+};
+/**
+ * N020 D1：点路径小步更新载荷。sets/pushes 的 key 均为（点）路径字符串，
+ * 由路由层拼接（nodeId 已过实例校验，无注入面）；单条 findOneAndUpdate 聚合
+ * 执行保证 $set/$push/arrayFilters 原子生效，返回更新后实体。
+ */
+interface TaskPathUpdate {
+    /** $set 路径 → 值（如 { "nodeRecords.TECH.summary": "..." }） */
+    sets?: Record<string, unknown>;
+    /** $push 路径 → 值（如 { "nodeRecords.TECH.checks": item }）；$push 到不存在路径自动创建中间对象 */
+    pushes?: Record<string, unknown>;
+    /** arrayFilters（条目定位翻转用，如 [{ "e.id": "abc123" }]） */
+    arrayFilters?: Record<string, unknown>[];
+}
+type TaskRepo = Repo<Task> & {
+    /** resolvedProjectId 由路由层解析（D2：显式携带校验一致性后传入 / 缺省 = 模板 projectId），repo 不做隐式继承 */
+    createTask(input: TaskCreateInput, template: DagTemplate, resolvedProjectId: string): Promise<Task>;
+    getByTaskId(taskId: string): Promise<Task | null>;
+    /** N015 F4/F5/F6 + N017 D6：分页 + 排序 + 进度概要投影（剥离 dagInstance/history；total 为过滤后总数） */
+    listTasks(filter?: TaskListFilter): Promise<{
+        items: TaskSummary[];
+        total: number;
+    }>;
+    updateTask(taskId: string, patch: TaskPatch, cas?: {
+        expectedStatus: string;
+        expectedCurrentNode: string;
+    }): Promise<Task>;
+    /** N020 D1：小步原子写（$set/$push/arrayFilters 单条聚合，见 TaskPathUpdate） */
+    updateTaskPaths(taskId: string, update: TaskPathUpdate): Promise<Task>;
+};
+declare function createTaskRepo(db: Db): TaskRepo;
+
+/**
+ * Project Schema — 项目实体（N012）
+ * 项目是 Task / DagTemplate 的归属维度；Skill / Agent 通过 scope 字段支持全局或项目专用。
+ * key 是稳定锚点（迁移 / seed 用，默认项目 'default'），创建后不可变。
+ */
+declare const ProjectStatusSchema: z.ZodEnum<{
+    active: "active";
+    archived: "archived";
+}>;
+declare const ProjectSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    key: z.ZodString;
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    status: z.ZodDefault<z.ZodEnum<{
+        active: "active";
+        archived: "archived";
+    }>>;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type Project = z.infer<typeof ProjectSchema>;
+type ProjectStatus = z.infer<typeof ProjectStatusSchema>;
+/**
+ * 创建输入：key 可选——缺省由 core 层 generateProjectKey(name) 自动生成（D12），
+ * API 调用方可显式指定（显式撞库 → 409，不静默改名）。
+ */
+declare const ProjectCreateSchema: z.ZodObject<{
+    key: z.ZodOptional<z.ZodString>;
+    name: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type ProjectCreate = z.infer<typeof ProjectCreateSchema>;
+/**
+ * 更新输入：不含 key（key 是锚点字段，创建后不可变，F6 精神）。
+ */
+declare const ProjectUpdateSchema: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    status: z.ZodOptional<z.ZodEnum<{
+        active: "active";
+        archived: "archived";
+    }>>;
+}, z.core.$strip>;
+type ProjectUpdate = z.infer<typeof ProjectUpdateSchema>;
+
+type ProjectRepo = Repo<Project> & {
+    getByKey(key: string): Promise<Project | null>;
+    /** 创建项目：key 缺省时由 name 自动生成（D12）；显式 key 撞库 → 409（不静默改名），生成碰撞 → 后缀重试（上限 3） */
+    createProject(data: ProjectCreate): Promise<Project>;
+};
+/** 默认项目锚点 key（seed / 迁移用，禁止停用） */
+declare const DEFAULT_PROJECT_KEY = "default";
+/**
+ * 从项目名生成 kebab-case key（D12 / F-2R1）：
+ * 仅取 ASCII [a-z0-9] 段（CJK 等非 ASCII 全部丢弃），连字符拼接，截断至 31 字符；
+ * 有效段不足（如纯中文名）→ 回退 `project-<新 ObjectId hex 前 8 位>`。
+ */
+declare function generateProjectKey(name: string): string;
+declare function createProjectRepo(db: Db): ProjectRepo;
+
+/**
+ * ModelAlias Schema — 模型映射（N013 F3）
+ * siming code → 展示名 + 真实模型标识 的全局映射表；
+ * Agent.model 存 siming code（写路径三重保障：schema kebab 格式 → handler 存在性校验 → 删除端禁删兜底）。
+ * 全局实体：无 scope/projectId（与项目维度正交）。
+ */
+/**
+ * siming code 格式：kebab-case（与 skill name 同款 regex，口径独立声明）
+ */
+declare const SIMING_CODE_REGEX: RegExp;
+declare const ModelAliasShapeSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    code: z.ZodString;
+    name: z.ZodString;
+    realModel: z.ZodString;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+declare const ModelAliasSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    code: z.ZodString;
+    name: z.ZodString;
+    realModel: z.ZodString;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type ModelAlias = z.infer<typeof ModelAliasSchema>;
+/** 创建输入：三字段必填（无 default 无 refine → 无 Zod4 UpdateSchema 派生陷阱） */
+declare const ModelAliasCreateSchema: z.ZodObject<{
+    name: z.ZodString;
+    code: z.ZodString;
+    realModel: z.ZodString;
+}, z.core.$strip>;
+type ModelAliasCreate = z.infer<typeof ModelAliasCreateSchema>;
+/**
+ * 更新输入（PUT partial）。独立 object 不从实体派生：
+ * code optional 仅用于 D4 显式拒绝检测（code≠param → 409 MODEL_CODE_IMMUTABLE），非可更新字段；
+ * name/realModel 为真正可更新字段。
+ */
+declare const ModelAliasUpdateSchema: z.ZodObject<{
+    code: z.ZodOptional<z.ZodString>;
+    name: z.ZodOptional<z.ZodString>;
+    realModel: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type ModelAliasUpdate = z.infer<typeof ModelAliasUpdateSchema>;
+/** 列表项：实体 + 引用计数（$lookup 聚合产出，D3） */
+declare const ModelAliasWithRefCountSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    code: z.ZodString;
+    name: z.ZodString;
+    realModel: z.ZodString;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+    refCount: z.ZodNumber;
+}, z.core.$strip>;
+type ModelAliasWithRefCount = z.infer<typeof ModelAliasWithRefCountSchema>;
+
+type ModelAliasRepo = Repo<ModelAlias> & {
+    /** 列表 + 引用计数（$lookup 单往返，D3）；结果逐条套 toEntity 保持 _id→id 形状一致 */
+    listWithRefCount(): Promise<ModelAliasWithRefCount[]>;
+    getByCode(code: string): Promise<ModelAlias | null>;
+    createModelAlias(data: ModelAliasCreate): Promise<ModelAlias>;
+    updateByCode(code: string, patch: {
+        name?: string;
+        realModel?: string;
+    }): Promise<ModelAlias | null>;
+    /** 有引用禁删（F3）：refCount>0 → 409 MODEL_ALIAS_IN_USE（message 附计数） */
+    deleteByCode(code: string): Promise<boolean>;
+};
+declare function createModelAliasRepo(db: Db): ModelAliasRepo;
+/**
+ * Agent.model 存在性共用守卫（D1，沿 assertBoundSkillsCompatible 模式）。
+ * check-then-act 非原子（ACCEPTED-RISK：Phase-1 单用户不引入事务，见技术方案 §2.2 并发边界）。
+ */
+declare function assertModelAliasExists(repo: ModelAliasRepo, code: string): Promise<void>;
+
+/**
+ * 枚举注册表 Schema（N016 D1/D4/D5）
+ * settings-as-truth：7 类业务枚举（dag_phase / dag_track / pause_type /
+ * task_status / node_status / skill_category / scope）由 DB 注册表维护，消费端（web 下拉 /
+ * CLI 校验 / server validator）从注册表读取，消除硬编码漂移。
+ * N017 F8：gate_type 类整体退役（gates 机制删除后无引用方）。
+ *
+ * 设计要点：
+ * - 每类一个 document（category + entries 数组），避免 N+1 查询；
+ * - entry 结构 {value, label, color?, order, builtin, active}：
+ *   - value：领域层存库的原始枚举值（引擎/DB 消费，不可臆造）；
+ *   - label：展示文案（消费端下拉直接取用，消除 NodeEditDrawer 标签漂移）；
+ *   - color：可选 UI 语义色 token（如 --success）；
+ *   - order：下拉排序；builtin：内置值（禁删，D8）；active：启停（禁用值下拉不可选，D8）。
+ */
+/** 7 类注册表 category 白名单（D4：固定分类，不可增删） */
+declare const EnumRegistryCategorySchema: z.ZodEnum<{
+    scope: "scope";
+    dag_phase: "dag_phase";
+    dag_track: "dag_track";
+    pause_type: "pause_type";
+    task_status: "task_status";
+    node_status: "node_status";
+    skill_category: "skill_category";
+}>;
+type EnumRegistryCategory = z.infer<typeof EnumRegistryCategorySchema>;
+/** 注册表条目（D5） */
+declare const EnumEntrySchema: z.ZodObject<{
+    value: z.ZodString;
+    label: z.ZodString;
+    color: z.ZodOptional<z.ZodString>;
+    order: z.ZodDefault<z.ZodNumber>;
+    builtin: z.ZodDefault<z.ZodBoolean>;
+    active: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strip>;
+type EnumEntry = z.infer<typeof EnumEntrySchema>;
+/** 注册表文档（每类一个） */
+declare const EnumRegistrySchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    category: z.ZodEnum<{
+        scope: "scope";
+        dag_phase: "dag_phase";
+        dag_track: "dag_track";
+        pause_type: "pause_type";
+        task_status: "task_status";
+        node_status: "node_status";
+        skill_category: "skill_category";
+    }>;
+    entries: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        value: z.ZodString;
+        label: z.ZodString;
+        color: z.ZodOptional<z.ZodString>;
+        order: z.ZodDefault<z.ZodNumber>;
+        builtin: z.ZodDefault<z.ZodBoolean>;
+        active: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type EnumRegistry = z.infer<typeof EnumRegistrySchema>;
+/**
+ * 更新输入（PUT partial）：仅 entries 可更新（category 固定 = URL param）。
+ * 独立 object 不派生（避免 Zod4 UpdateSchema 派生陷阱）；entry 校验走 EnumEntrySchema。
+ */
+declare const EnumRegistryUpdateSchema: z.ZodObject<{
+    entries: z.ZodArray<z.ZodObject<{
+        value: z.ZodString;
+        label: z.ZodString;
+        color: z.ZodOptional<z.ZodString>;
+        order: z.ZodDefault<z.ZodNumber>;
+        builtin: z.ZodDefault<z.ZodBoolean>;
+        active: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+type EnumRegistryUpdate = z.infer<typeof EnumRegistryUpdateSchema>;
+
+type EnumRegistryRepo = Repo<EnumRegistry> & {
+    /** 全量 7 类（SettingsPage 一次性加载；N017 删 gate_type 后由 8 类收窄） */
+    listRegistries(): Promise<EnumRegistry[]>;
+    /** 单类（按 category） */
+    getRegistry(category: EnumRegistryCategory): Promise<EnumRegistry | null>;
+    /** 单类缺省 → 空 entries（消费端兜底，不抛错） */
+    getEntries(category: EnumRegistryCategory): Promise<EnumRegistry['entries']>;
+    /**
+     * 更新单类 entries（D8 服务端强制）：
+     * - builtin=true 的 entry 不可删（value 缺失即删除意图）→ 409 ENUM_ENTRY_BUILTIN
+     * - builtin=true 的 entry value 不可改 → 409 ENUM_ENTRY_BUILTIN
+     * - 非 builtin entry 不可升级为 builtin → 409 ENUM_ENTRY_BUILTIN
+     * - 被业务资源引用的 entry 不可停用（active=false）→ 409 ENUM_ENTRY_IN_USE
+     * - active=false 的 entry 可删（历史数据仍可读，仅新选择不可用）
+     */
+    updateRegistry(category: EnumRegistryCategory, patch: EnumRegistryUpdate): Promise<EnumRegistry | null>;
+    /**
+     * 删除单个 entry（D8 服务端强制）：
+     * - builtin=true → 409 ENUM_ENTRY_BUILTIN
+     * - 被业务资源引用（dag_templates nodes.phase/track、skills.category、tasks.status/dagInstance.nodeStates.status）→ 409 ENUM_ENTRY_IN_USE（附引用计数）
+     * - 目标不存在 → 404
+     */
+    deleteEntry(category: EnumRegistryCategory, value: string): Promise<boolean>;
+};
+declare function createEnumRegistryRepo(db: Db): EnumRegistryRepo;
+
+/**
+ * Advance / Approve 相关 Schemas
+ *
+ * N017 D5：审批（人工决策）与推进（节点完成）拆为两个动作——
+ * advance 请求体变可选 {note?}（原 gateResults 数组删除）；
+ * 新增独立 ApproveRequest/ApproveResponse。
+ */
+/**
+ * N017 F8：gate 机制退役——advance 只是"当前节点完成，按出边流转"。
+ * N020 D1：轻量收尾——note 为可选历史备注；summary 为可选收尾摘要
+ * （写入 nodeRecords.<node>.summary，内容主体已在执行期间小步落库）。
+ */
+declare const AdvanceRequestSchema: z.ZodObject<{
+    note: z.ZodOptional<z.ZodString>;
+    summary: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type AdvanceRequest = z.infer<typeof AdvanceRequestSchema>;
+/** 暂停点审批：approved=通过并流转；rejected=驳回保持 paused（comment 为决策说明） */
+declare const ApproveRequestSchema: z.ZodObject<{
+    decision: z.ZodEnum<{
+        approved: "approved";
+        rejected: "rejected";
+    }>;
+    comment: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type ApproveRequest = z.infer<typeof ApproveRequestSchema>;
+declare const TaskPublicSchema: z.ZodObject<{
+    taskId: z.ZodString;
+    title: z.ZodString;
+    type: z.ZodOptional<z.ZodEnum<{
+        feature: "feature";
+        bugfix: "bugfix";
+        "ui-tweak": "ui-tweak";
+        research: "research";
+    }>>;
+    currentNode: z.ZodString;
+    currentPhase: z.ZodString;
+    status: z.ZodString;
+    pausedAt: z.ZodNullable<z.ZodString>;
+    track: z.ZodString;
+}, z.core.$strip>;
+type TaskPublic = z.infer<typeof TaskPublicSchema>;
+/** N017 F8：删 gates；upcomingPause 语义改为"完成当前节点后出边上的暂停点描述"（经 findNextEdge 按轨选边） */
+declare const NodeInfoSchema: z.ZodObject<{
+    nodeId: z.ZodString;
+    label: z.ZodString;
+    track: z.ZodString;
+    prompt: z.ZodString;
+    skills: z.ZodArray<z.ZodString>;
+    upcomingPause: z.ZodNullable<z.ZodString>;
+}, z.core.$strip>;
+type NodeInfo = z.infer<typeof NodeInfoSchema>;
+/** N017 D7：删 gate_failed 分支（union 收窄为 advanced / paused / completed）；paused 分支 pausePoint 类型改 EdgePausePoint */
+declare const AdvanceResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"advanced">;
+    task: z.ZodObject<{
+        taskId: z.ZodString;
+        title: z.ZodString;
+        type: z.ZodOptional<z.ZodEnum<{
+            feature: "feature";
+            bugfix: "bugfix";
+            "ui-tweak": "ui-tweak";
+            research: "research";
+        }>>;
+        currentNode: z.ZodString;
+        currentPhase: z.ZodString;
+        status: z.ZodString;
+        pausedAt: z.ZodNullable<z.ZodString>;
+        track: z.ZodString;
+    }, z.core.$strip>;
+    nextNode: z.ZodObject<{
+        nodeId: z.ZodString;
+        label: z.ZodString;
+        track: z.ZodString;
+        prompt: z.ZodString;
+        skills: z.ZodArray<z.ZodString>;
+        upcomingPause: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"paused">;
+    task: z.ZodObject<{
+        taskId: z.ZodString;
+        title: z.ZodString;
+        type: z.ZodOptional<z.ZodEnum<{
+            feature: "feature";
+            bugfix: "bugfix";
+            "ui-tweak": "ui-tweak";
+            research: "research";
+        }>>;
+        currentNode: z.ZodString;
+        currentPhase: z.ZodString;
+        status: z.ZodString;
+        pausedAt: z.ZodNullable<z.ZodString>;
+        track: z.ZodString;
+    }, z.core.$strip>;
+    pausePoint: z.ZodObject<{
+        type: z.ZodEnum<{
+            human_approval: "human_approval";
+            checkpoint: "checkpoint";
+        }>;
+        description: z.ZodString;
+        autoResume: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strip>;
+    guidance: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"completed">;
+    task: z.ZodObject<{
+        taskId: z.ZodString;
+        title: z.ZodString;
+        type: z.ZodOptional<z.ZodEnum<{
+            feature: "feature";
+            bugfix: "bugfix";
+            "ui-tweak": "ui-tweak";
+            research: "research";
+        }>>;
+        currentNode: z.ZodString;
+        currentPhase: z.ZodString;
+        status: z.ZodString;
+        pausedAt: z.ZodNullable<z.ZodString>;
+        track: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>], "status">;
+type AdvanceResponse = z.infer<typeof AdvanceResponseSchema>;
+declare const ApproveResponseSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    status: z.ZodLiteral<"advanced">;
+    task: z.ZodObject<{
+        taskId: z.ZodString;
+        title: z.ZodString;
+        type: z.ZodOptional<z.ZodEnum<{
+            feature: "feature";
+            bugfix: "bugfix";
+            "ui-tweak": "ui-tweak";
+            research: "research";
+        }>>;
+        currentNode: z.ZodString;
+        currentPhase: z.ZodString;
+        status: z.ZodString;
+        pausedAt: z.ZodNullable<z.ZodString>;
+        track: z.ZodString;
+    }, z.core.$strip>;
+    nextNode: z.ZodObject<{
+        nodeId: z.ZodString;
+        label: z.ZodString;
+        track: z.ZodString;
+        prompt: z.ZodString;
+        skills: z.ZodArray<z.ZodString>;
+        upcomingPause: z.ZodNullable<z.ZodString>;
+    }, z.core.$strip>;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"rejected">;
+    task: z.ZodObject<{
+        taskId: z.ZodString;
+        title: z.ZodString;
+        type: z.ZodOptional<z.ZodEnum<{
+            feature: "feature";
+            bugfix: "bugfix";
+            "ui-tweak": "ui-tweak";
+            research: "research";
+        }>>;
+        currentNode: z.ZodString;
+        currentPhase: z.ZodString;
+        status: z.ZodString;
+        pausedAt: z.ZodNullable<z.ZodString>;
+        track: z.ZodString;
+    }, z.core.$strip>;
+    guidance: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    status: z.ZodLiteral<"completed">;
+    task: z.ZodObject<{
+        taskId: z.ZodString;
+        title: z.ZodString;
+        type: z.ZodOptional<z.ZodEnum<{
+            feature: "feature";
+            bugfix: "bugfix";
+            "ui-tweak": "ui-tweak";
+            research: "research";
+        }>>;
+        currentNode: z.ZodString;
+        currentPhase: z.ZodString;
+        status: z.ZodString;
+        pausedAt: z.ZodNullable<z.ZodString>;
+        track: z.ZodString;
+    }, z.core.$strip>;
+}, z.core.$strip>], "status">;
+type ApproveResponse = z.infer<typeof ApproveResponseSchema>;
+declare const PauseRequestSchema: z.ZodObject<{
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type PauseRequest = z.infer<typeof PauseRequestSchema>;
+declare const ResumeRequestSchema: z.ZodObject<{
+    decision: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type ResumeRequest = z.infer<typeof ResumeRequestSchema>;
+
+/**
+ * 服务配置 schema（N018 D5）：Zod 单一真相源，core 只承载纯 schema + env 键映射，
+ * 零 fs/process I/O（保持 core 领域纯净）。JSONC 文件加载/分层合并/来源追踪的 loader 在
+ * @siming-org/cli（src/config/server-config-loader.ts）；env 层适配在 @siming-org/server（src/config/env.ts）。
+ *
+ * 优先级链（N018 §3.4）：CLI 参数 > 环境变量 > 用户级 > 系统级 > 内置默认值（按 key 浅合并）。
+ */
+declare const SimingLogLevelSchema: z.ZodEnum<{
+    error: "error";
+    debug: "debug";
+    info: "info";
+    warn: "warn";
+}>;
+declare const SimingConfigSchema: z.ZodObject<{
+    mongoUri: z.ZodDefault<z.ZodString>;
+    port: z.ZodDefault<z.ZodCoercedNumber<unknown>>;
+    host: z.ZodDefault<z.ZodString>;
+    logLevel: z.ZodDefault<z.ZodEnum<{
+        error: "error";
+        debug: "debug";
+        info: "info";
+        warn: "warn";
+    }>>;
+    auth: z.ZodOptional<z.ZodUnknown>;
+    cors: z.ZodOptional<z.ZodUnknown>;
+}, z.core.$strip>;
+type SimingConfig = z.infer<typeof SimingConfigSchema>;
+/** 可经环境变量/CLI 参数/配置文件配置的 key（预留字段 auth/cors 除外） */
+declare const SIMING_CONFIG_KEYS: readonly ["mongoUri", "port", "host", "logLevel"];
+type SimingConfigKey = (typeof SIMING_CONFIG_KEYS)[number];
+/**
+ * env 键映射单源（N018 D5）：server env resolver 与 cli loader 共用，
+ * 避免 SIMING_HOST/PORT 等键名在两处漂移。PORT 是通用键名（非 SIMING_* 前缀），
+ * 沿用既有 server EnvSchema 约定（见 ENVIRONMENT.md）。
+ */
+declare const SIMING_CONFIG_ENV_KEYS: Record<SimingConfigKey, string>;
+
+/**
+ * Domain error types — thrown by core business logic, caught by server's app.onError().
+ */
+/** N012 语义化业务错误码（可选挂载到 AppError 子类；HTTP 形状向后兼容：error 字段缺省仍为 http 级 code） */
+type BizCode = 'PROJECT_ARCHIVED' | 'TEMPLATE_PROJECT_MISMATCH' | 'TEMPLATE_PROJECT_IMMUTABLE' | 'SCOPE_IMMUTABLE' | 'TASK_PROJECT_IMMUTABLE' | 'DEFAULT_PROJECT_IMMUTABLE' | 'TEMPLATE_NAME_CONFLICT' | 'PROJECT_NOT_FOUND' | 'AGENT_SKILL_SCOPE_CONFLICT' | 'MODEL_CODE_EXISTS' | 'MODEL_CODE_IMMUTABLE' | 'MODEL_ALIAS_IN_USE' | 'ENUM_ENTRY_BUILTIN' | 'ENUM_ENTRY_IN_USE' | 'ENUM_VALUE_CONFLICT' | 'NAME_SCOPE_CONFLICT' | 'TASK_DOC_NOT_SET' | 'TASK_DOC_NOT_FOUND' | 'TASK_DOC_SECTION_NOT_FOUND' | 'TASK_AT_PAUSE_POINT' | 'TASK_NOT_AT_PAUSE_POINT' | 'NODE_NOT_IN_INSTANCE' | 'CHECK_NOT_FOUND' | 'NODE_RECORD_NOT_WRITABLE' | 'TASK_TERMINATED' | 'TASK_PRUNE_GRAPH_INVALID' | 'TASK_SKIP_NODE_NOT_FOUND' | 'TASK_TYPE_TRACK_MISMATCH';
+/** bizCode → 用户可读中文 message（单一真相源，路由层抛错时引用） */
+declare const BIZ_CODE_MESSAGES: Record<BizCode, string>;
+interface AppErrorOptions {
+    /** 语义化业务错误码（输出到 response.error，覆盖 http 级 code） */
+    bizCode?: BizCode;
+    /** 自定义 message（缺省沿用子类模板串；传入覆盖，通常配 BIZ_CODE_MESSAGES 使用） */
+    message?: string;
+}
+declare abstract class AppError extends Error {
+    abstract readonly statusCode: number;
+    abstract readonly code: string;
+    abstract toResponse(): Record<string, unknown>;
+}
+declare class NotFoundError extends AppError {
+    readonly resource: string;
+    readonly id: string;
+    readonly statusCode = 404;
+    readonly code = "not_found";
+    constructor(resource: string, id: string, options?: AppErrorOptions);
+    readonly bizCode?: BizCode;
+    toResponse(): {
+        error: string;
+        message: string;
+        resource: string;
+        id: string;
+    };
+}
+declare class BadRequestError extends AppError {
+    readonly field?: string | undefined;
+    readonly statusCode = 400;
+    readonly code = "bad_request";
+    constructor(message: string, field?: string | undefined, options?: AppErrorOptions);
+    readonly bizCode?: BizCode;
+    toResponse(): {
+        field?: string;
+        error: string;
+        message: string;
+    };
+}
+declare class ConflictError extends AppError {
+    readonly resource: string;
+    readonly id: string;
+    readonly statusCode = 409;
+    readonly code = "conflict";
+    constructor(resource: string, id: string, options?: AppErrorOptions);
+    readonly bizCode?: BizCode;
+    toResponse(): {
+        error: string;
+        message: string;
+        resource: string;
+        id: string;
+    };
+}
+declare class ValidationError extends AppError {
+    readonly issues: unknown[];
+    readonly statusCode = 422;
+    readonly code = "validation_error";
+    readonly bizCode?: BizCode;
+    constructor(message: string, issues: unknown[], options?: AppErrorOptions);
+    toResponse(): {
+        error: string;
+        message: string;
+        issues: unknown[];
+    };
+}
+
+/**
+ * N017 F8 流转引擎（新语义状态机，见技术方案 §2.2）：
+ *
+ * active --advance--> active          出边无暂停 / checkpoint(autoResume)
+ * active --advance--> paused          出边 pausePoint human_approval（pausedAt=from 节点）
+ * active --advance--> completed       无出边且全终端完成（END 哨兵收敛）
+ * paused --approve(approved)--> active  重推导边流转（含 to=END）
+ * paused --approve(rejected)--> paused  记录 rejected 历史
+ * active --pause()--> paused(手动, pausedAt=null) --resume()--> active
+ *
+ * gate 校验循环 / crossPausePoint / gate_failed 分支随 gates 机制整体退役。
+ * N020 D1：advance 为轻量收尾 {summary?, note?}——记录内容已在执行期间经
+ * 小步写端点落库，summary 用点路径 key 并入同条 findOneAndUpdate（F02）。
+ */
+interface AdvanceDeps {
+    getTask(taskId: string): Promise<Task | null>;
+    updateTask(taskId: string, 
+    /** 常规字段平铺 key + N020 点路径 key（"nodeRecords.<node>.summary"）——同条 $set 原子合并 */
+    patch: TaskPatch, cas?: {
+        expectedStatus: string;
+        expectedCurrentNode: string;
+    }): Promise<Task>;
+}
+interface AdvanceInput {
+    /** 节点完成备注（记入历史，可选） */
+    note?: string;
+    /**
+     * 节点收尾摘要（N020 D1，可选）：写入 nodeRecords.<node>.summary。
+     * 收尾便捷参数——等价收尾前最后一次 `record set --summary`，后者覆盖前者
+     * （同一 $set 目标，F12 双入口分工无冲突）。
+     */
+    summary?: string;
+}
+declare function advanceTask(deps: AdvanceDeps, taskId: string, input?: AdvanceInput): Promise<AdvanceResponse>;
+declare function approveTask(deps: AdvanceDeps, taskId: string, request: ApproveRequest): Promise<ApproveResponse>;
+declare function pauseTask(deps: AdvanceDeps, taskId: string, reason?: string): Promise<Task>;
+declare function resumeTask(deps: AdvanceDeps, taskId: string, decision?: string): Promise<Task>;
+/**
+ * @internal 供单测直接验证的模块私有 helper（非公共 API）
+ * N017：findNextNode → findNextEdge——返回边对象（调用方需要 pausePoint）
+ * T202608240003：单轨匹配扩展为匹配集（mixed → {backend,ui,all}，trackMatchSet 单源）；
+ * 多匹配消歧（判定顺序固定，防止 D6 保护成为不可达分支）：
+ *   a. 按目标 track 值分组查重——任一分组 > 1 条 → D6 报错（模板同轨分叉）
+ *   b. 存在专属候选边（目标 track ≠ 'all'）→ 全部专属候选中按模板边声明序取第一条
+ *   c. 无专属候选 → 取 all 边（唯一性已由 a 的分组查重保证）
+ * 单轨任务匹配集合与旧逻辑逐字等价（{track,'all'}）且无多匹配出边 → 行为不变（兼容）。
+ * 注意：消歧对单轨同样生效——「同轨专属边 + all 边」混合多匹配时取专属边（D4 意图），
+ * 仅「同一 track 值多条边」维持 D6 报错（真分叉模板错误）。
+ */
+declare function findNextEdge(edges: DagEdge[], nodes: Pick<DagNode, 'id' | 'track'>[], fromNodeId: string, track: string): DagEdge | null;
+/** @internal 供单测直接验证的模块私有 helper（非公共 API） */
+declare function checkTermination(nodes: DagNode[], edges: {
+    from: string;
+    to: string;
+    condition?: string | undefined;
+}[], nodeStates: Record<string, NodeState>, upcomingCompletedState: NodeState, upcomingCompletedNodeId: string, track: string): boolean;
+/** @internal 供单测直接验证的模块私有 helper（非公共 API） */
+declare function toTaskPublic(task: Task): TaskPublic;
+/**
+ * @internal 供单测直接验证的模块私有 helper（非公共 API）
+ * N017：upcomingPause 经 findNextEdge 按轨选边后取该边 pausePoint——多出边节点（如
+ * TECH→BACKEND/COMPONENT）禁止取首条出边，否则 backend 任务可能显示 ui 边的暂停点描述。
+ */
+declare function toNodeInfo(node: DagNode, task: Task): NodeInfo;
+/** @internal 供单测直接验证的模块私有 helper（非公共 API） */
+declare function mkHistory(nodeId: string, action: HistoryEntry['action'], details: Record<string, unknown>): HistoryEntry;
+
+/**
+ * T202608240003 创建时剪枝（技术方案 §2.2）：
+ *
+ * 任务创建时按「轨道自动剔除 ∪ 显式 skip」把模板实例化成定死路径——
+ * 类型→路径映射由 task-create skill 持有（唯一真相源），平台只收
+ * track + skipNodes 显式清单；本模块负责机械执行 + 图完整性校验。
+ *
+ * 管线：轨道剔除 → 显式剔除 → 删边 → 桥接（断链补边，pausePoint 继承）
+ * → 图校验（6 条 fail-fast，a-f）。纯函数无 I/O，repo.createTask 调用后组装 dagInstance。
+ */
+/** 剪枝结果：剩余节点/边（含桥接边）+ 被剪清单 + 入口节点 */
+interface PruneResult {
+    nodes: DagNode[];
+    edges: DagEdge[];
+    prunedNodes: string[];
+    entryNode: DagNode;
+}
+/**
+ * 剪枝主函数（技术方案 §2.2 六步）。
+ *
+ * @param template 模板全量快照（nodes/edges）
+ * @param taskTrack 任务轨道（注册表合法值，含 mixed/research）
+ * @param skipNodeIds 显式剔除清单（skill 映射矩阵产物）
+ */
+declare function pruneInstance(template: DagTemplate, taskTrack: string, skipNodeIds: string[]): PruneResult;
+
+/**
+ * T202608240003：任务轨道 → 实例节点 track 匹配集。
+ * 独立单源模块——prune（剪枝轨道剔除 + 引擎路径可达性校验）与 advance-engine
+ * （流转路由 + 终止判定）消费同一语义，防止剪枝与路由口径漂移。
+ */
+/**
+ * - backend/ui/research：匹配本轨道节点 + 'all' 哨兵
+ * - mixed：匹配双轨道节点 + 'all'（两链串行，链序由引擎消歧的模板边声明序决定）
+ * - 自定义轨道（注册表运行时权威）：匹配本轨道 + 'all'（机械剪枝，语义自洽）
+ */
+declare function trackMatchSet(taskTrack: string): ReadonlySet<string>;
+
+/**
+ * N020 D1：条目短 id 生成（服务端权威，客户端永不指定）。
+ *
+ * 6 位 base36（36^6 ≈ 21 亿空间）对单 record 内条目数（个位~十位）碰撞概率
+ * 可忽略；仍带同容器查重重试（fail-safe）。条目定位/翻转（arrayFilters `e.id`）
+ * 全部走服务端 id，不用数组 index（并发追加下不稳定，决策 6）。
+ */
+/** 生成同容器内不重复的 6 位 base36 短 id（existing = 同 record 内已有条目 id） */
+declare function generateEntryId(existing: readonly string[]): string;
+
+/**
+ * 渲染节点 prompt 模板变量。
+ * Phase-1 只支持 5 个 task 变量：{{task.title}}, {{task.taskId}}, {{task.projectId}}, {{task.track}}, {{task.currentNode}}。
+ * 未匹配的 {{...}} 保留原样（不报错，方便后续扩展）。
+ */
+declare function renderPrompt(template: string, task: Task): string;
+
+declare const VERSION: string;
+declare function ping(): string;
+
+export { ARTIFACT_TYPES, type AdvanceDeps, type AdvanceInput, type AdvanceRequest, AdvanceRequestSchema, type AdvanceResponse, AdvanceResponseSchema, type Agent, type AgentCopy, AgentCopySchema, type AgentCreate, AgentCreateSchema, type AgentRepo, AgentSchema, type AgentScope, AgentScopeSchema, type AgentUpdate, AgentUpdateSchema, AppError, type AppErrorOptions, type ApproveRequest, ApproveRequestSchema, type ApproveResponse, ApproveResponseSchema, type ArchNote, ArchNoteSchema, type Artifact, ArtifactSchema, type ArtifactType, BIZ_CODE_MESSAGES, BadRequestError, type BizCode, type CheckItem, CheckItemSchema, type Confirmation, ConfirmationSchema, ConflictError, DAG_PHASES, DAG_TRACKS, DEFAULT_PROJECT_KEY, type DagEdge, DagEdgeSchema, type DagInstance, DagInstanceSchema, type DagNode, DagNodePhaseSchema, DagNodeSchema, DagNodeTrackSchema, type DagTemplate, type DagTemplateCopy, DagTemplateCopySchema, type DagTemplateCreate, DagTemplateCreateSchema, type DagTemplateRepo, DagTemplateSchema, type DagTemplateUpdate, DagTemplateUpdateSchema, type Decision, DecisionSchema, ENTRY_ID_REGEX, type EdgePausePoint, EdgePausePointBaseSchema, EdgePausePointSchema, type EnumEntry, EnumEntrySchema, type EnumRegistry, type EnumRegistryCategory, EnumRegistryCategorySchema, type EnumRegistryRepo, EnumRegistrySchema, type EnumRegistryUpdate, EnumRegistryUpdateSchema, HistoryActionSchema, type HistoryEntry, HistoryEntrySchema, type ModelAlias, type ModelAliasCreate, ModelAliasCreateSchema, type ModelAliasRepo, ModelAliasSchema, ModelAliasShapeSchema, type ModelAliasUpdate, ModelAliasUpdateSchema, type ModelAliasWithRefCount, ModelAliasWithRefCountSchema, NODE_ID_PATTERN, NODE_STATUSES, type NodeInfo, NodeInfoSchema, type NodeRecord, NodeRecordSchema, type NodeState, NodeStateSchema, NodeStatusSchema, NotFoundError, OBJECT_ID_HEX, type OmitId, PAUSE_POINT_TYPES, PausePointTypeSchema, type PauseRequest, PauseRequestSchema, type Project, type ProjectCreate, ProjectCreateSchema, type ProjectRepo, ProjectSchema, type ProjectStatus, ProjectStatusSchema, type ProjectUpdate, ProjectUpdateSchema, type PruneResult, type Repo, type ResumeRequest, ResumeRequestSchema, type ReviewSummary, ReviewSummarySchema, SIMING_CODE_REGEX, SIMING_CONFIG_ENV_KEYS, SIMING_CONFIG_KEYS, type SimingClient, type SimingConfig, type SimingConfigKey, SimingConfigSchema, SimingLogLevelSchema, type Skill, type SkillCopy, SkillCopySchema, type SkillCreate, SkillCreateSchema, type SkillRepo, SkillSchema, type SkillScope, SkillScopeSchema, type SkillUpdate, SkillUpdateSchema, TASK_PHASES, TASK_STATUSES, TASK_TYPES, type Task, type TaskContext, TaskContextSchema, type TaskCreateInput, TaskCreateInputSchema, type TaskDocContent, TaskDocContentSchema, type TaskPatch, TaskPhaseSchema, type TaskPublic, TaskPublicSchema, type TaskRepo, TaskSchema, TaskStatusSchema, type TaskSummary, TaskSummarySchema, type TaskType, VERSION, ValidationError, type WithId, advanceTask, approveTask, assertBoundSkillsCompatible, assertModelAliasExists, checkTermination, createAgentRepo, createDagTemplateRepo, createEnumRegistryRepo, createModelAliasRepo, createMongoClient, createProjectRepo, createRepo, createSkillRepo, createTaskRepo, findNextEdge, generateEntryId, generateProjectKey, mkHistory, pauseTask, ping, pruneInstance, renderPrompt, resumeTask, toNodeInfo, toTaskPublic, trackMatchSet, withTransaction };