@siming-org/core 0.6.4 → 0.7.0

package/dist/index.d.ts

@@ -55,7 +55,7 @@ declare function createRepo<T extends {
     list(filter?: Filter<Document>): Promise<T[]>;
     getById(id: string): Promise<T | null>;
     getByName(name: string): Promise<T | null>;
-    create(data: OmitId<T>): Promise<T>;
+    create(data: OmitId<T>, session?: ClientSession): Promise<T>;
     update(id: string, patch: EoptPartial<OmitId<T>>): Promise<T | null>;
     delete(id: string): Promise<boolean>;
     /** Raw collection access for entity-specific queries */
@@ -937,6 +937,8 @@ type DagInstance = z.infer<typeof DagInstanceSchema>;
 /**
  * N017 D7：删 gate_failed（随 gates 退役），增 approved/rejected——
  * 审批决策是新的领域事件，rejected 需要可追溯。
+ * T202609130009：增 reopened——终态重开是新的领域事件（reason/操作者/恢复目标进 details）。
+ * 读侧不跑 parse（toEntity 约定），旧版本读到 reopened 条目不崩——回退安全。
  */
 declare const HistoryActionSchema: z.ZodEnum<{
     completed: "completed";
@@ -947,6 +949,7 @@ declare const HistoryActionSchema: z.ZodEnum<{
     approved: "approved";
     rejected: "rejected";
     cancelled: "cancelled";
+    reopened: "reopened";
 }>;
 declare const HistoryEntrySchema: z.ZodObject<{
     nodeId: z.ZodString;
@@ -959,6 +962,7 @@ declare const HistoryEntrySchema: z.ZodObject<{
         approved: "approved";
         rejected: "rejected";
         cancelled: "cancelled";
+        reopened: "reopened";
     }>;
     timestamp: z.ZodDefault<z.ZodDate>;
     details: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
@@ -1084,6 +1088,7 @@ declare const TaskSchema: z.ZodObject<{
             approved: "approved";
             rejected: "rejected";
             cancelled: "cancelled";
+            reopened: "reopened";
         }>;
         timestamp: z.ZodDefault<z.ZodDate>;
         details: z.ZodDefault<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
@@ -1271,8 +1276,8 @@ interface TaskPathUpdate {
     arrayFilters?: Record<string, unknown>[];
 }
 type TaskRepo = Repo<Task> & {
-    /** resolvedProjectId 由路由层解析（D2：显式携带校验一致性后传入 / 缺省 = 模板 projectId），repo 不做隐式继承 */
-    createTask(input: TaskCreateInput, template: DagTemplate, resolvedProjectId: string): Promise<Task>;
+    /** resolvedProjectId 由路由层解析（D2：显式携带校验一致性后传入 / 缺省 = 模板 projectId），repo 不做隐式继承；session 供 convert 组事务透传（T202609150002：任务+关联原子，缺省行为不变） */
+    createTask(input: TaskCreateInput, template: DagTemplate, resolvedProjectId: string, session?: ClientSession): Promise<Task>;
     getByTaskId(taskId: string): Promise<Task | null>;
     /** N015 F4/F5/F6 + N017 D6：分页 + 排序 + 进度概要投影（剥离 dagInstance/history；total 为过滤后总数） */
     listTasks(filter?: TaskListFilter): Promise<{
@@ -1288,6 +1293,250 @@ type TaskRepo = Repo<Task> & {
 };
 declare function createTaskRepo(db: Db): TaskRepo;
 
+/**
+ * Issue 相关 Schemas（T202609150002 问题池）
+ * 小问题轻量跟进：入池 → 整理（合并/拆分）→ 转任务（多对多）。
+ *
+ * 状态语义（PRD 3.2 四态，终态禁止回转）：
+ * - pending 待整理 / partial 部分转任务（存在未覆盖遗留）/ converted 已转任务 / cancelled 已取消
+ * - 任务后续演进（完成/取消）不触碰问题状态，进度是读时聚合（taskLinks × tasks.status）
+ *
+ * 关联模型（D1）：单一真相源在 Issue 侧（taskLinks 嵌入数组），Task 零改动；
+ * 多对多，同项目内组合；取消问题时 taskLinks 终止条目拷入 history（D8 结构化追溯）。
+ */
+/** 池内状态（终态 = converted / cancelled，状态机保护见 issue.repo） */
+declare const ISSUE_STATUSES: readonly ["pending", "partial", "converted", "cancelled"];
+type IssueStatus = (typeof ISSUE_STATUSES)[number];
+declare const IssueStatusSchema: z.ZodEnum<{
+    pending: "pending";
+    cancelled: "cancelled";
+    partial: "partial";
+    converted: "converted";
+}>;
+/** 可参与转出/取消的非终态集合（事务内条件更新的并发安全带） */
+declare const ISSUE_ACTIVE_STATUSES: readonly ["pending", "partial"];
+/** 录入来源渠道（服务端按通道注入，客户端不可传） */
+declare const ISSUE_SOURCES: readonly ["mcp", "cli", "web"];
+type IssueSource = (typeof ISSUE_SOURCES)[number];
+declare const IssueSourceSchema: z.ZodEnum<{
+    mcp: "mcp";
+    cli: "cli";
+    web: "web";
+}>;
+/** 当前活跃任务关联（取消问题时移出 taskLinks、拷入 history 终止条目） */
+declare const TaskLinkSchema: z.ZodObject<{
+    taskId: z.ZodString;
+    mode: z.ZodEnum<{
+        all: "all";
+        partial: "partial";
+    }>;
+    linkedAt: z.ZodDate;
+}, z.core.$strip>;
+type TaskLink = z.infer<typeof TaskLinkSchema>;
+/** 转出声明（组循环后终态推导用：任一成功组声明 all → converted） */
+declare const ISSUE_CONVERT_MODES: readonly ["all", "partial"];
+type IssueConvertMode = (typeof ISSUE_CONVERT_MODES)[number];
+declare const IssueConvertModeSchema: z.ZodEnum<{
+    all: "all";
+    partial: "partial";
+}>;
+/**
+ * 状态变化历史条目（只增不改，全量保留不裁剪）：
+ * - created：录入（无 from/to）
+ * - status-change：状态迁移（from/to；转任务推导携带 taskId 可选）
+ * - link-added：关联建立（taskId + reason 携带声明）
+ * - link-terminated：关联终止（取消问题时拷入，taskId 携带原 link 的 mode/linkedAt 摘要）
+ */
+declare const IssueHistoryEntrySchema: z.ZodObject<{
+    id: z.ZodString;
+    action: z.ZodEnum<{
+        created: "created";
+        "status-change": "status-change";
+        "link-added": "link-added";
+        "link-terminated": "link-terminated";
+    }>;
+    from: z.ZodOptional<z.ZodEnum<{
+        pending: "pending";
+        cancelled: "cancelled";
+        partial: "partial";
+        converted: "converted";
+    }>>;
+    to: z.ZodOptional<z.ZodEnum<{
+        pending: "pending";
+        cancelled: "cancelled";
+        partial: "partial";
+        converted: "converted";
+    }>>;
+    taskId: z.ZodOptional<z.ZodString>;
+    reason: z.ZodOptional<z.ZodString>;
+    at: z.ZodDate;
+}, z.core.$strip>;
+type IssueHistoryEntry = z.infer<typeof IssueHistoryEntrySchema>;
+declare const IssueSchema: z.ZodObject<{
+    id: z.ZodOptional<z.ZodString>;
+    issueId: z.ZodString;
+    title: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+    source: z.ZodEnum<{
+        mcp: "mcp";
+        cli: "cli";
+        web: "web";
+    }>;
+    projectId: z.ZodString;
+    status: z.ZodDefault<z.ZodEnum<{
+        pending: "pending";
+        cancelled: "cancelled";
+        partial: "partial";
+        converted: "converted";
+    }>>;
+    taskLinks: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        taskId: z.ZodString;
+        mode: z.ZodEnum<{
+            all: "all";
+            partial: "partial";
+        }>;
+        linkedAt: z.ZodDate;
+    }, z.core.$strip>>>;
+    history: z.ZodDefault<z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        action: z.ZodEnum<{
+            created: "created";
+            "status-change": "status-change";
+            "link-added": "link-added";
+            "link-terminated": "link-terminated";
+        }>;
+        from: z.ZodOptional<z.ZodEnum<{
+            pending: "pending";
+            cancelled: "cancelled";
+            partial: "partial";
+            converted: "converted";
+        }>>;
+        to: z.ZodOptional<z.ZodEnum<{
+            pending: "pending";
+            cancelled: "cancelled";
+            partial: "partial";
+            converted: "converted";
+        }>>;
+        taskId: z.ZodOptional<z.ZodString>;
+        reason: z.ZodOptional<z.ZodString>;
+        at: z.ZodDate;
+    }, z.core.$strip>>>;
+    createdAt: z.ZodOptional<z.ZodDate>;
+    updatedAt: z.ZodOptional<z.ZodDate>;
+}, z.core.$strip>;
+type Issue = z.infer<typeof IssueSchema>;
+/**
+ * 录入输入：source/projectId 由服务端按通道/项目解析注入，不入客户端 schema
+ * （source 是统计信息非权限依据；projectId 缺省按 key=default 解析）。
+ */
+declare const IssueCreateSchema: z.ZodObject<{
+    title: z.ZodString;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type IssueCreate = z.infer<typeof IssueCreateSchema>;
+/** 编辑输入（独立 object 不派生——Zod4 UpdateSchema 范式；任意状态可编辑，终态无副作用） */
+declare const IssueUpdateSchema: z.ZodObject<{
+    title: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+type IssueUpdate = z.infer<typeof IssueUpdateSchema>;
+/** 转任务进度（读时聚合：taskLinks × tasks.status；total = 关联任务总数） */
+declare const IssueProgressSchema: z.ZodObject<{
+    done: z.ZodNumber;
+    cancelled: z.ZodNumber;
+    total: z.ZodNumber;
+}, z.core.$strip>;
+type IssueProgress = z.infer<typeof IssueProgressSchema>;
+/** 列表项（Issue + progress） */
+type IssueWithProgress = Issue & {
+    progress: IssueProgress;
+};
+/** 详情关联任务快照（问题详情看板卡片） */
+type IssueTaskSnapshot = {
+    taskId: string;
+    title: string;
+    currentNode: string;
+    status: string;
+    mode: IssueConvertMode;
+    linkedAt: Date;
+    updatedAt: Date;
+};
+/** 任务侧反查视图（任务详情「关联问题」区块；terminated = 历史终止关联——问题已取消仍展示） */
+type TaskIssueView = {
+    issueId: string;
+    title: string;
+    status: IssueStatus;
+    source: IssueSource;
+    progress: IssueProgress;
+    terminated: boolean;
+    updatedAt: Date;
+};
+
+/**
+ * Issue 仓储（T202609150002）
+ * 状态机保护在此层：终态（converted/cancelled）禁止 cancel/convert 关联写入——
+ * 条件更新双保险（filter 携带 status ∈ {pending, partial}，命中 0 行即并发终态）。
+ * 进度计算两步批查（D2：不用 $lookup——Zod parse 单源 + 一次 $in 往返 + 内存映射）。
+ */
+type IssueListFilter = {
+    projectId?: string;
+    /** 状态多值过滤（T202609160002：逗号分隔由 server 切分为数组；[] 与 undefined 等价——不过滤） */
+    status?: string[];
+    source?: string;
+    /** 任务关联反查（列表侧入口；详情级反查用 listByTaskId） */
+    taskId?: string;
+    /** 标题/描述模糊搜索 */
+    q?: string;
+    /** all = 全量（缺省）；open = 有效未跟进完（pending/partial ∪ converted 存在未终态关联任务） */
+    view?: 'all' | 'open';
+    page?: number;
+    limit?: number;
+};
+/** 统一终态推导输入（convert 组循环后由路由层组装） */
+interface ConvertGroupOutcome {
+    ok: boolean;
+    issueIds: string[];
+    /** 成功组的新任务 id（失败组无值） */
+    taskId?: string;
+}
+/** 推导产生的状态迁移记录（convert 响应 statusChanges 字段数据源） */
+interface IssueStatusChange {
+    issueId: string;
+    from: IssueStatus;
+    to: 'partial' | 'converted';
+}
+/** 组事务关联写入的声明语义由 linkTaskForConvert(issueId, taskId, mode) 内联参数承载（原 ConvertLinkSpec 接口无消费者，已删） */
+type IssueRepo = Repo<Issue> & {
+    createIssue(data: IssueCreate, source: IssueSource, projectId: string): Promise<Issue>;
+    getByIssueId(issueId: string): Promise<Issue | null>;
+    updateIssue(issueId: string, patch: IssueUpdate): Promise<Issue>;
+    cancelIssue(issueId: string, reason?: string): Promise<Issue>;
+    /** 列表（进度聚合 + view=open 过滤；两支合并 createdAt 降序统一切片） */
+    listIssues(filter?: IssueListFilter): Promise<{
+        items: IssueWithProgress[];
+        total: number;
+    }>;
+    /** 详情（进度 + 当前关联任务快照数组） */
+    getIssueDetail(issueId: string): Promise<(IssueWithProgress & {
+        tasks: IssueTaskSnapshot[];
+    }) | null>;
+    /** 任务侧反查：活跃关联 ∪ 终止关联（问题取消后任务侧仍可追溯展示） */
+    listByTaskId(taskId: string): Promise<TaskIssueView[]>;
+    /**
+     * convert 组事务内关联写入（只写 taskLink + link-added history，不写 status——
+     * 终态推导延迟到组循环后统一执行，见 finalizeConvertStatuses）。
+     * 条件更新双保险：命中 0 行（外部并发终态/不存在）抛 ConflictError → 事务中止整组回滚。
+     */
+    linkTaskForConvert(session: ClientSession, issueId: string, taskId: string, mode: 'all' | 'partial'): Promise<void>;
+    /**
+     * 统一终态推导（组循环后）：按 v1.3 §4.1 规则表逐问题合并全部组成败与声明，
+     * 条件更新写终态 + status-change history（命中 0 行 = 并发处理，跳过不报错；
+     * 无成功组问题零写入，天然保持原状态）。
+     */
+    finalizeConvertStatuses(issues: Pick<Issue, 'issueId' | 'status' | 'history'>[], outcomes: ConvertGroupOutcome[], declarations: ReadonlyMap<string, 'all' | 'partial'>): Promise<IssueStatusChange[]>;
+};
+declare function createIssueRepo(db: Db): IssueRepo;
+
 /**
  * Project Schema — 项目实体（N012）
  * 项目是 Task / DagTemplate 的归属维度；Skill / Agent 通过 scope 字段支持全局或项目专用。
@@ -1427,8 +1676,8 @@ declare function assertModelAliasExists(repo: ModelAliasRepo, code: string): Pro
 
 /**
  * 枚举注册表 Schema（N016 D1/D4/D5）
- * settings-as-truth：7 类业务枚举（dag_phase / dag_track / pause_type /
- * task_status / node_status / skill_category / scope）由 DB 注册表维护，消费端（web 下拉 /
+ * settings-as-truth：9 类业务枚举（dag_phase / dag_track / pause_type /
+ * task_status / node_status / skill_category / scope / agent_function / issue_status）由 DB 注册表维护，消费端（web 下拉 /
  * CLI 校验 / server validator）从注册表读取，消除硬编码漂移。
  * N017 F8：gate_type 类整体退役（gates 机制删除后无引用方）。
  *
@@ -1450,6 +1699,7 @@ declare const EnumRegistryCategorySchema: z.ZodEnum<{
     node_status: "node_status";
     skill_category: "skill_category";
     agent_function: "agent_function";
+    issue_status: "issue_status";
 }>;
 type EnumRegistryCategory = z.infer<typeof EnumRegistryCategorySchema>;
 /** 注册表条目（D5） */
@@ -1474,6 +1724,7 @@ declare const EnumRegistrySchema: z.ZodObject<{
         node_status: "node_status";
         skill_category: "skill_category";
         agent_function: "agent_function";
+        issue_status: "issue_status";
     }>;
     entries: z.ZodDefault<z.ZodArray<z.ZodObject<{
         value: z.ZodString;
@@ -1936,7 +2187,7 @@ declare function createAuthAccountRepo(db: Db): {
         id?: string | undefined;
         createdAt?: Date | undefined;
         updatedAt?: Date | undefined;
-    }>): Promise<{
+    }>, session?: mongodb.ClientSession): Promise<{
         username: string;
         passwordHash: string;
         id?: string | undefined;
@@ -2005,7 +2256,7 @@ declare function createAuthTokenRepo(db: Db): {
         projectId?: string | undefined;
         createdAt?: Date | undefined;
         updatedAt?: Date | undefined;
-    }>): Promise<{
+    }>, session?: mongodb.ClientSession): Promise<{
         tokenHash: string;
         type: "project" | "admin";
         id?: string | undefined;
@@ -2079,7 +2330,7 @@ declare function createAuthSessionRepo(db: Db): {
         id?: string | undefined;
         createdAt?: Date | undefined;
         updatedAt?: Date | undefined;
-    }>): Promise<{
+    }>, session?: mongodb.ClientSession): Promise<{
         sessionId: string;
         accountId: string;
         expiresAt: Date;
@@ -2734,8 +2985,8 @@ declare const ImportPlanResponseSchema: z.ZodObject<{
 type ImportPlanResponse = z.infer<typeof ImportPlanResponseSchema>;
 declare const DependencyActionSchema: z.ZodEnum<{
     skipped: "skipped";
-    identical: "identical";
     created: "created";
+    identical: "identical";
     updated: "updated";
     failed: "failed";
 }>;
@@ -2763,8 +3014,8 @@ declare const ImportApplyResponseSchema: z.ZodObject<{
         }>>;
         action: z.ZodEnum<{
             skipped: "skipped";
-            identical: "identical";
             created: "created";
+            identical: "identical";
             updated: "updated";
             failed: "failed";
         }>;
@@ -2791,6 +3042,7 @@ declare function decisionKey(kind: 'skill' | 'agent' | 'modelAlias', scope: 'glo
 declare const AdvanceRequestSchema: z.ZodObject<{
     note: z.ZodOptional<z.ZodString>;
     summary: z.ZodOptional<z.ZodString>;
+    finalize: z.ZodOptional<z.ZodBoolean>;
 }, z.core.$strip>;
 type AdvanceRequest = z.infer<typeof AdvanceRequestSchema>;
 /** 暂停点审批：approved=通过并流转；rejected=驳回保持 paused（comment 为决策说明） */
@@ -2980,6 +3232,15 @@ declare const CancelRequestSchema: z.ZodObject<{
     reason: z.ZodOptional<z.ZodString>;
 }, z.core.$strip>;
 type CancelRequest = z.infer<typeof CancelRequestSchema>;
+/**
+ * 终态重开请求体：completed/cancelled → 恢复终态化前状态。
+ * reason 必填（审计链核心字段：重开动机必须可追溯）——与 CancelRequestSchema 同居同界
+ * （min(1).max(500)），差异仅在可选性（取消可无理由，重开必凭理由）。
+ */
+declare const ReopenRequestSchema: z.ZodObject<{
+    reason: z.ZodString;
+}, z.core.$strip>;
+type ReopenRequest = z.infer<typeof ReopenRequestSchema>;
 
 /**
  * T202608280007 F1：写入轻量回执——任务信息结构化写端点（doc/record/archnote 域 +
@@ -3320,7 +3581,7 @@ declare function parseAuthEnabledEnvValue(raw: string): boolean | undefined;
  * 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' | 'TEMPLATE_CODE_CONFLICT' | 'TEMPLATE_CODE_IMMUTABLE' | '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' | 'REFERENCE_IN_USE' | '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' | 'TEMPLATE_DISABLED' | 'AUTH_REQUIRED' | 'AUTH_TOKEN_INVALID' | 'AUTH_INVALID_CREDENTIALS' | 'AUTH_FORBIDDEN' | 'AUTH_ACCOUNT_EXISTS' | 'BATCH_EMPTY' | 'BATCH_LIMIT_EXCEEDED' | 'BATCH_PAYLOAD_TOO_LARGE' | 'NODE_PRESET_CODE_EXISTS' | 'NODE_PRESET_CODE_IMMUTABLE' | 'NODE_PRESET_VERSION_REQUIRED' | 'TEMPLATE_NODE_ID_DUPLICATE' | 'NODE_LIBRARY_COMPOSITION_NOT_FOUND' | 'UPGRADE_DECISION_REQUIRED' | 'UPGRADE_STALE' | 'FLOW_MANIFEST_INVALID';
+type BizCode = 'PROJECT_ARCHIVED' | 'TEMPLATE_PROJECT_MISMATCH' | 'TEMPLATE_PROJECT_IMMUTABLE' | 'SCOPE_IMMUTABLE' | 'TASK_PROJECT_IMMUTABLE' | 'DEFAULT_PROJECT_IMMUTABLE' | 'TEMPLATE_NAME_CONFLICT' | 'TEMPLATE_CODE_CONFLICT' | 'TEMPLATE_CODE_IMMUTABLE' | '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' | 'REFERENCE_IN_USE' | '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_NOT_TERMINATED' | 'TASK_FINALIZE_CONFIRMATION_REQUIRED' | 'TASK_PRUNE_GRAPH_INVALID' | 'TASK_SKIP_NODE_NOT_FOUND' | 'TASK_TYPE_TRACK_MISMATCH' | 'TEMPLATE_DISABLED' | 'AUTH_REQUIRED' | 'AUTH_TOKEN_INVALID' | 'AUTH_INVALID_CREDENTIALS' | 'AUTH_FORBIDDEN' | 'AUTH_ACCOUNT_EXISTS' | 'BATCH_EMPTY' | 'BATCH_LIMIT_EXCEEDED' | 'BATCH_PAYLOAD_TOO_LARGE' | 'NODE_PRESET_CODE_EXISTS' | 'NODE_PRESET_CODE_IMMUTABLE' | 'NODE_PRESET_VERSION_REQUIRED' | 'TEMPLATE_NODE_ID_DUPLICATE' | 'NODE_LIBRARY_COMPOSITION_NOT_FOUND' | 'UPGRADE_DECISION_REQUIRED' | 'UPGRADE_STALE' | 'FLOW_MANIFEST_INVALID' | 'ISSUE_NOT_FOUND' | 'ISSUE_INVALID_TRANSITION' | 'ISSUE_PROJECT_MISMATCH' | 'ISSUE_BATCH_LIMIT_EXCEEDED';
 /** bizCode → 用户可读中文 message（单一真相源，路由层抛错时引用） */
 declare const BIZ_CODE_MESSAGES: Record<BizCode, string>;
 interface AppErrorOptions {
@@ -3615,6 +3876,13 @@ interface AdvanceInput {
      * （同一 $set 目标，F12 双入口分工无冲突）。
      */
     summary?: string;
+    /**
+     * T202609130009 收尾确认（可选）：终节点推进默认被拒
+     * （TASK_FINALIZE_CONFIRMATION_REQUIRED），携带 finalize=true 才完成收尾终态化，
+     * completed 条目 details 记 finalized:true（审计区分确认收尾）；
+     * 中间节点传递无副作用（守卫仅位于终态收敛分支，宽容语义不报错）。
+     */
+    finalize?: boolean;
 }
 declare function advanceTask(deps: AdvanceDeps, taskId: string, input?: AdvanceInput): Promise<AdvanceResponse>;
 declare function approveTask(deps: AdvanceDeps, taskId: string, request: ApproveRequest): Promise<ApproveResponse>;
@@ -3630,6 +3898,56 @@ declare function resumeTask(deps: AdvanceDeps, taskId: string, decision?: string
  * - 终态重复取消 → 400 TASK_TERMINATED（复用既有码：completed/cancelled 同语义）。
  */
 declare function cancelTask(deps: AdvanceDeps, taskId: string, reason?: string): Promise<Task>;
+interface ReopenInput {
+    /** 重开理由（必填，审计链核心字段——重开动机必须可追溯） */
+    reason: string;
+}
+/**
+ * 重开响应：task 为全量实体（与 pauseTask/cancelTask 返回形态同构——writeAck 投影
+ * 需要 updatedAt/projectId/taskProgress，TaskPublic 缺字段）；restored 为恢复摘要。
+ */
+interface ReopenResponse {
+    task: Task;
+    restored: {
+        fromStatus: string;
+        toStatus: string;
+        pausedAt: string | null;
+    };
+}
+/**
+ * T202609130009 终态重开：completed/cancelled → 恢复终态化前状态（普通功能，权限语义归 server 层）。
+ *
+ * - 恢复正确性依赖不变量「终态化不动 currentNode/nodeStates」（cancelTask/advance Step5
+ *   均只改 status/pausedAt/history）——重开以 currentNode 为恢复锚点；
+ * - completed 恢复规则固定：status=active + 终节点 state 回 active（enteredAt 保留、
+ *   completedAt 清 null）——终态化 advance 前任务必为 active，无需推导；
+ * - cancelled 恢复走 derivePreTerminalState 纯推导（见下）；nodeStates 不动（cancel 未动过）；
+ * - 两分支公共：history 追加 reopened 条目（reason/operator/恢复目标进 details，纯 append）；
+ * - CAS 双条件（expectedStatus + expectedCurrentNode）：并发下终态被他人变更即冲突，不重试；
+ * - 非终态（active/paused）调用 → 400 TASK_NOT_TERMINATED（新码，不复用 TASK_TERMINATED——
+ *   该码调用方语义为「已终态禁止写入」，重开场景语义相反，同码不同义污染按码程序化判定）。
+ */
+declare function reopenTask(deps: AdvanceDeps, taskId: string, input: ReopenInput, operator?: string): Promise<ReopenResponse>;
+/**
+ * 包导出 helper（单测直接验证 seam，与 findNextEdge/checkTermination 同惯例——
+ * 经包根 export * 对外可见，属受支持的稳定验证入口，非模块私有）
+ * T202609130009：从 cancelled 任务的 history 推导取消前的状态锚点（调用前置条件：
+ * status==='cancelled'）。规则：定位最后一个 cancelled 条目，从其前一条向前扫描，
+ * 命中首个状态锚点条目按引擎写入路径反推：
+ *   paused(pausePoint)  → paused + pausedAt=该条 nodeId（advance Step6 暂停点形态）
+ *   paused(无 pausePoint) → paused + pausedAt=null（pauseTask 手动暂停形态）
+ *   rejected            → 继续向前扫描（approveTask rejected 只写 history 不改状态）
+ *   resumed/advanced/entered/approved → active + null
+ *   completed           → active + null（防御兜底，理论不可达）
+ *   reopened            → 按该条自身 details 的 toStatus/restoredPausedAt 取值
+ *                         （重开可恢复为 paused 且可再次被取消——「取消→重开→再取消」
+ *                         路径下扫描锚点即 reopened 条目，信息已在 details 无需二扫）
+ * 不变量：cancelled 条目前必存在锚点（创建即写 entered）——扫描必命中；违反即内部错误。
+ */
+declare function derivePreTerminalState(history: HistoryEntry[]): {
+    status: 'active' | 'paused';
+    pausedAt: string | null;
+};
 /**
  * @internal 供单测直接验证的模块私有 helper（非公共 API）
  * N017：findNextNode → findNextEdge——返回边对象（调用方需要 pausePoint）
@@ -3766,4 +4084,4 @@ declare function applyImport(deps: TemplateTransferDeps, targetProjectId: string
 declare const VERSION: string;
 declare function ping(): string;
 
-export { AGENT_MAIN_DOC, ARTIFACT_TYPES, AUTH_COLLECTIONS, type AdvanceDeps, type AdvanceInput, type AdvanceRequest, AdvanceRequestSchema, type AdvanceResponse, AdvanceResponseSchema, type Agent, type AgentCopy, AgentCopySchema, type AgentCreate, AgentCreateSchema, type AgentFunction, AgentFunctionSchema, type AgentPayload, AgentPayloadSchema, type AgentRepo, AgentSchema, type AgentScope, AgentScopeSchema, AgentShapeSchema, type AgentUpdate, AgentUpdateSchema, AppError, type AppErrorOptions, type ApproveRequest, ApproveRequestSchema, type ApproveResponse, ApproveResponseSchema, type ArchNote, ArchNoteSchema, type Artifact, ArtifactSchema, type ArtifactType, type AssetListOpts, type AssetSetEnabled, AssetSetEnabledSchema, type AuthAccount, type AuthAccountCreate, AuthAccountCreateSchema, AuthAccountSchema, type AuthSession, type AuthStatus, AuthStatusSchema, type AuthToken, type AuthTokenGenResponse, AuthTokenGenResponseSchema, type AuthTokenKind, AuthTokenSchema, type AuthTokenStatus, AuthTokenStatusSchema, type AuthTokenType, AuthTokenTypeSchema, type AuthWhoami, AuthWhoamiSchema, BIZ_CODE_MESSAGES, BadRequestError, type BizCode, CONTEXT_VIEWS, type CancelRequest, CancelRequestSchema, type CheckItem, CheckItemSchema, type Composition, type CompositionEdge, CompositionEdgeSchema, CompositionSchema, type Confirmation, ConfirmationSchema, ConflictError, type ContextView, ContextViewSchema, type CreateTaskResponse, CreateTaskResponseSchema, DAG_PHASES, DAG_TRACKS, DEFAULT_PROJECT_KEY, type DagEdge, DagEdgeSchema, type DagInstance, type DagInstanceNode, DagInstanceNodeSchema, DagInstanceSchema, type DagNode, DagNodePhaseSchema, DagNodeSchema, DagNodeTrackSchema, type DagTemplate, type DagTemplateCopy, DagTemplateCopySchema, type DagTemplateCreate, DagTemplateCreateSchema, type DagTemplateRepo, DagTemplateSchema, type DagTemplateUpdate, DagTemplateUpdateSchema, type Decision, DecisionSchema, type DependencyAction, DependencyActionSchema, type DependencyCheck, DependencyCheckSchema, type DependencyStatus, DependencyStatusSchema, ENTRY_ID_REGEX, EXPORT_FORMAT_VERSION, type EchoItem, EchoItemSchema, type EdgePausePoint, EdgePausePointBaseSchema, EdgePausePointSchema, type EnumEntry, EnumEntrySchema, type EnumRegistry, type EnumRegistryCategory, EnumRegistryCategorySchema, type EnumRegistryRepo, EnumRegistrySchema, type EnumRegistryUpdate, EnumRegistryUpdateSchema, type ExportBundle, ExportBundleSchema, ForbiddenError, HistoryActionSchema, type HistoryEntry, HistoryEntrySchema, type ImportApplyRequest, ImportApplyRequestSchema, type ImportApplyResponse, ImportApplyResponseSchema, type ImportDecision, ImportDecisionSchema, type ImportPlanRequest, ImportPlanRequestSchema, type ImportPlanResponse, ImportPlanResponseSchema, type LoginInput, LoginSchema, type ModelAlias, type ModelAliasCreate, ModelAliasCreateSchema, type ModelAliasPayload, ModelAliasPayloadSchema, type ModelAliasRepo, ModelAliasSchema, ModelAliasShapeSchema, type ModelAliasUpdate, ModelAliasUpdateSchema, type ModelAliasWithRefCount, ModelAliasWithRefCountSchema, NODE_ID_PATTERN, NODE_PRESET_CODE_PATTERN, NODE_STATUSES, type NodeContentFields, type NodeInfo, NodeInfoSchema, type NodeLibrary, type NodeLibraryRepo, NodeLibrarySchema, type NodeLibraryUpsert, NodeLibraryUpsertSchema, type NodePreset, type NodePresetCopy, NodePresetCopySchema, type NodePresetCreate, NodePresetCreateSchema, type NodePresetListFilter, type NodePresetRepo, NodePresetSchema, NodePresetShapeSchema, type NodePresetUpdate, NodePresetUpdateSchema, type NodeRecord, NodeRecordSchema, type NodeState, NodeStateSchema, NodeStatusSchema, NotFoundError, OBJECT_ID_HEX, type OmitId, PAUSE_POINT_TYPES, type PasswordChange, PasswordChangeSchema, PausePointTypeSchema, type PauseRequest, PauseRequestSchema, type Project, type ProjectCreate, ProjectCreateSchema, type ProjectRepo, ProjectSchema, type ProjectStatus, ProjectStatusSchema, type ProjectUpdate, ProjectUpdateSchema, type PruneResult, REFERENCE_LIMITS, type ReferenceDoc, type Repo, type ResumeRequest, ResumeRequestSchema, type ReviewSummary, ReviewSummarySchema, SIMING_CODE_REGEX, SIMING_CONFIG_ENV_KEYS, SIMING_CONFIG_KEYS, SKILL_MAIN_DOC, type SimingClient, type SimingConfig, type SimingConfigKey, SimingConfigSchema, SimingLogLevelSchema, type Skill, type SkillCopy, SkillCopySchema, type SkillCreate, SkillCreateSchema, type SkillPayload, SkillPayloadSchema, type SkillRepo, SkillSchema, type SkillScope, SkillScopeSchema, SkillShapeSchema, type SkillUpdate, SkillUpdateSchema, type SourcePreset, SourcePresetSchema, TASK_PHASES, TASK_STATUSES, TASK_TYPES, TEMPLATE_CODE_MAX_LENGTH, TEMPLATE_CODE_REGEX, type Task, type TaskBatchAck, TaskBatchAckSchema, type TaskBatchEntry, TaskBatchEntrySchema, type TaskBatchFailure, TaskBatchFailureSchema, type TaskContext, TaskContextSchema, type TaskCreateInput, TaskCreateInputSchema, type TaskDocContent, TaskDocContentSchema, type TaskPatch, TaskPhaseSchema, type TaskProgress, type TaskProgressPublic, TaskProgressPublicSchema, TaskProgressSchema, type TaskPublic, TaskPublicSchema, type TaskRepo, TaskSchema, TaskStatusSchema, type TaskSummary, TaskSummarySchema, type TaskType, type TemplateCandidate, TemplateCandidateSchema, TemplateCodeFieldSchema, type TemplateContentChanges, type TemplateContentDiff, type TemplateContentSource, type TemplatePayload, TemplatePayloadSchema, type TemplateTransferDeps, UnauthorizedError, type UpgradeAction, UpgradeActionSchema, type UpgradeApplyOutcome, type UpgradeApplyRequest, UpgradeApplyRequestSchema, type UpgradeApplyResultItem, type UpgradeDecision, type UpgradeDecisionInput, UpgradeDecisionSchema, type UpgradeNodeStatus, UpgradeNodeStatusSchema, type UpgradePlanItem, type UpgradePlanResult, VERSION, ValidationError, WRITE_ACK_ENTRY_KINDS, type WithId, type WriteAck, type WriteAckEntryKind, WriteAckEntryKindSchema, WriteAckSchema, advanceTask, applyImport, applyUpgradeDecisions, approveTask, assertBoundSkillsCompatible, assertModelAliasExists, assertReferenceAggregateLimit, assertReferencesDeletable, assertUniqueNodeIds, buildImportPlan, buildTemplateCode, buildUpgradePlan, bumpPatch, bumpPatchOrPassthrough, cancelTask, canonicalizeReferencePath, checkTermination, composeExportBundle, computeNodeContentHash, computeUpgradeStatus, createAgentRepo, createAuthAccountRepo, createAuthSessionRepo, createAuthTokenRepo, createDagTemplateRepo, createEnumRegistryRepo, createModelAliasRepo, createMongoClient, createNodeLibraryRepo, createNodePresetRepo, createProjectRepo, createReferencesSchema, createRepo, createSkillRepo, createTaskRepo, decisionKey, diffTemplateContent, enabledNeFalse, escapeRegExpLiteral, excerpt, findDuplicateNodeIds, findNextEdge, findTemplateByName, generateEntryId, generateProjectKey, generateSessionId, generateToken, hasProjectDefault, hashPassword, hashToken, isLegalTemplateCode, mkHistory, normalizeNameToTemplateCode, parseAuthEnabledEnvValue, pauseTask, ping, pruneInstance, renderPrompt, resumeTask, sumReferenceContentChars, taskProgress, toNodeInfo, toTaskPublic, tokenTypeFromValue, trackMatchSet, verifyPassword, withTransaction };
+export { AGENT_MAIN_DOC, ARTIFACT_TYPES, AUTH_COLLECTIONS, type AdvanceDeps, type AdvanceInput, type AdvanceRequest, AdvanceRequestSchema, type AdvanceResponse, AdvanceResponseSchema, type Agent, type AgentCopy, AgentCopySchema, type AgentCreate, AgentCreateSchema, type AgentFunction, AgentFunctionSchema, type AgentPayload, AgentPayloadSchema, type AgentRepo, AgentSchema, type AgentScope, AgentScopeSchema, AgentShapeSchema, type AgentUpdate, AgentUpdateSchema, AppError, type AppErrorOptions, type ApproveRequest, ApproveRequestSchema, type ApproveResponse, ApproveResponseSchema, type ArchNote, ArchNoteSchema, type Artifact, ArtifactSchema, type ArtifactType, type AssetListOpts, type AssetSetEnabled, AssetSetEnabledSchema, type AuthAccount, type AuthAccountCreate, AuthAccountCreateSchema, AuthAccountSchema, type AuthSession, type AuthStatus, AuthStatusSchema, type AuthToken, type AuthTokenGenResponse, AuthTokenGenResponseSchema, type AuthTokenKind, AuthTokenSchema, type AuthTokenStatus, AuthTokenStatusSchema, type AuthTokenType, AuthTokenTypeSchema, type AuthWhoami, AuthWhoamiSchema, BIZ_CODE_MESSAGES, BadRequestError, type BizCode, CONTEXT_VIEWS, type CancelRequest, CancelRequestSchema, type CheckItem, CheckItemSchema, type Composition, type CompositionEdge, CompositionEdgeSchema, CompositionSchema, type Confirmation, ConfirmationSchema, ConflictError, type ContextView, ContextViewSchema, type ConvertGroupOutcome, type CreateTaskResponse, CreateTaskResponseSchema, DAG_PHASES, DAG_TRACKS, DEFAULT_PROJECT_KEY, type DagEdge, DagEdgeSchema, type DagInstance, type DagInstanceNode, DagInstanceNodeSchema, DagInstanceSchema, type DagNode, DagNodePhaseSchema, DagNodeSchema, DagNodeTrackSchema, type DagTemplate, type DagTemplateCopy, DagTemplateCopySchema, type DagTemplateCreate, DagTemplateCreateSchema, type DagTemplateRepo, DagTemplateSchema, type DagTemplateUpdate, DagTemplateUpdateSchema, type Decision, DecisionSchema, type DependencyAction, DependencyActionSchema, type DependencyCheck, DependencyCheckSchema, type DependencyStatus, DependencyStatusSchema, ENTRY_ID_REGEX, EXPORT_FORMAT_VERSION, type EchoItem, EchoItemSchema, type EdgePausePoint, EdgePausePointBaseSchema, EdgePausePointSchema, type EnumEntry, EnumEntrySchema, type EnumRegistry, type EnumRegistryCategory, EnumRegistryCategorySchema, type EnumRegistryRepo, EnumRegistrySchema, type EnumRegistryUpdate, EnumRegistryUpdateSchema, type ExportBundle, ExportBundleSchema, ForbiddenError, HistoryActionSchema, type HistoryEntry, HistoryEntrySchema, ISSUE_ACTIVE_STATUSES, ISSUE_CONVERT_MODES, ISSUE_SOURCES, ISSUE_STATUSES, type ImportApplyRequest, ImportApplyRequestSchema, type ImportApplyResponse, ImportApplyResponseSchema, type ImportDecision, ImportDecisionSchema, type ImportPlanRequest, ImportPlanRequestSchema, type ImportPlanResponse, ImportPlanResponseSchema, type Issue, type IssueConvertMode, IssueConvertModeSchema, type IssueCreate, IssueCreateSchema, type IssueHistoryEntry, IssueHistoryEntrySchema, type IssueListFilter, type IssueProgress, IssueProgressSchema, type IssueRepo, IssueSchema, type IssueSource, IssueSourceSchema, type IssueStatus, type IssueStatusChange, IssueStatusSchema, type IssueTaskSnapshot, type IssueUpdate, IssueUpdateSchema, type IssueWithProgress, type LoginInput, LoginSchema, type ModelAlias, type ModelAliasCreate, ModelAliasCreateSchema, type ModelAliasPayload, ModelAliasPayloadSchema, type ModelAliasRepo, ModelAliasSchema, ModelAliasShapeSchema, type ModelAliasUpdate, ModelAliasUpdateSchema, type ModelAliasWithRefCount, ModelAliasWithRefCountSchema, NODE_ID_PATTERN, NODE_PRESET_CODE_PATTERN, NODE_STATUSES, type NodeContentFields, type NodeInfo, NodeInfoSchema, type NodeLibrary, type NodeLibraryRepo, NodeLibrarySchema, type NodeLibraryUpsert, NodeLibraryUpsertSchema, type NodePreset, type NodePresetCopy, NodePresetCopySchema, type NodePresetCreate, NodePresetCreateSchema, type NodePresetListFilter, type NodePresetRepo, NodePresetSchema, NodePresetShapeSchema, type NodePresetUpdate, NodePresetUpdateSchema, type NodeRecord, NodeRecordSchema, type NodeState, NodeStateSchema, NodeStatusSchema, NotFoundError, OBJECT_ID_HEX, type OmitId, PAUSE_POINT_TYPES, type PasswordChange, PasswordChangeSchema, PausePointTypeSchema, type PauseRequest, PauseRequestSchema, type Project, type ProjectCreate, ProjectCreateSchema, type ProjectRepo, ProjectSchema, type ProjectStatus, ProjectStatusSchema, type ProjectUpdate, ProjectUpdateSchema, type PruneResult, REFERENCE_LIMITS, type ReferenceDoc, type ReopenInput, type ReopenRequest, ReopenRequestSchema, type ReopenResponse, type Repo, type ResumeRequest, ResumeRequestSchema, type ReviewSummary, ReviewSummarySchema, SIMING_CODE_REGEX, SIMING_CONFIG_ENV_KEYS, SIMING_CONFIG_KEYS, SKILL_MAIN_DOC, type SimingClient, type SimingConfig, type SimingConfigKey, SimingConfigSchema, SimingLogLevelSchema, type Skill, type SkillCopy, SkillCopySchema, type SkillCreate, SkillCreateSchema, type SkillPayload, SkillPayloadSchema, type SkillRepo, SkillSchema, type SkillScope, SkillScopeSchema, SkillShapeSchema, type SkillUpdate, SkillUpdateSchema, type SourcePreset, SourcePresetSchema, TASK_PHASES, TASK_STATUSES, TASK_TYPES, TEMPLATE_CODE_MAX_LENGTH, TEMPLATE_CODE_REGEX, type Task, type TaskBatchAck, TaskBatchAckSchema, type TaskBatchEntry, TaskBatchEntrySchema, type TaskBatchFailure, TaskBatchFailureSchema, type TaskContext, TaskContextSchema, type TaskCreateInput, TaskCreateInputSchema, type TaskDocContent, TaskDocContentSchema, type TaskIssueView, type TaskLink, TaskLinkSchema, type TaskPatch, TaskPhaseSchema, type TaskProgress, type TaskProgressPublic, TaskProgressPublicSchema, TaskProgressSchema, type TaskPublic, TaskPublicSchema, type TaskRepo, TaskSchema, TaskStatusSchema, type TaskSummary, TaskSummarySchema, type TaskType, type TemplateCandidate, TemplateCandidateSchema, TemplateCodeFieldSchema, type TemplateContentChanges, type TemplateContentDiff, type TemplateContentSource, type TemplatePayload, TemplatePayloadSchema, type TemplateTransferDeps, UnauthorizedError, type UpgradeAction, UpgradeActionSchema, type UpgradeApplyOutcome, type UpgradeApplyRequest, UpgradeApplyRequestSchema, type UpgradeApplyResultItem, type UpgradeDecision, type UpgradeDecisionInput, UpgradeDecisionSchema, type UpgradeNodeStatus, UpgradeNodeStatusSchema, type UpgradePlanItem, type UpgradePlanResult, VERSION, ValidationError, WRITE_ACK_ENTRY_KINDS, type WithId, type WriteAck, type WriteAckEntryKind, WriteAckEntryKindSchema, WriteAckSchema, advanceTask, applyImport, applyUpgradeDecisions, approveTask, assertBoundSkillsCompatible, assertModelAliasExists, assertReferenceAggregateLimit, assertReferencesDeletable, assertUniqueNodeIds, buildImportPlan, buildTemplateCode, buildUpgradePlan, bumpPatch, bumpPatchOrPassthrough, cancelTask, canonicalizeReferencePath, checkTermination, composeExportBundle, computeNodeContentHash, computeUpgradeStatus, createAgentRepo, createAuthAccountRepo, createAuthSessionRepo, createAuthTokenRepo, createDagTemplateRepo, createEnumRegistryRepo, createIssueRepo, createModelAliasRepo, createMongoClient, createNodeLibraryRepo, createNodePresetRepo, createProjectRepo, createReferencesSchema, createRepo, createSkillRepo, createTaskRepo, decisionKey, derivePreTerminalState, diffTemplateContent, enabledNeFalse, escapeRegExpLiteral, excerpt, findDuplicateNodeIds, findNextEdge, findTemplateByName, generateEntryId, generateProjectKey, generateSessionId, generateToken, hasProjectDefault, hashPassword, hashToken, isLegalTemplateCode, mkHistory, normalizeNameToTemplateCode, parseAuthEnabledEnvValue, pauseTask, ping, pruneInstance, renderPrompt, reopenTask, resumeTask, sumReferenceContentChars, taskProgress, toNodeInfo, toTaskPublic, tokenTypeFromValue, trackMatchSet, verifyPassword, withTransaction };