@xdxer/dingtalk-agent 0.1.4-beta.8 → 0.1.4

package/dist/src/memory/task-checkpoints.js

@@ -0,0 +1,204 @@
+import { existsSync, mkdirSync, readFileSync, realpathSync, renameSync, writeFileSync, } from 'node:fs';
+import { dirname, join, relative, resolve } from 'node:path';
+import { digest, stableStringify } from '../events.js';
+import { acquireLease } from '../lease.js';
+import { isCompletionEvidenceId, resolveCompletionEvidence, } from './completion-evidence.js';
+const TRANSITIONS = {
+    missing: ['working'],
+    working: ['working', 'waiting', 'verifying', 'blocked', 'cancelled'],
+    waiting: ['waiting', 'working', 'blocked', 'cancelled'],
+    verifying: ['verifying', 'working', 'waiting', 'blocked', 'completed', 'cancelled'],
+    blocked: ['blocked', 'working', 'cancelled'],
+    completed: ['completed'],
+    cancelled: ['cancelled'],
+};
+export function showTaskCheckpoint(root, cfg, options = {}) {
+    const context = resolveTaskContext(root, cfg, options, false);
+    const path = join(context.sessionPath, 'memory', 'task.json');
+    if (!existsSync(path))
+        return result(path, null);
+    return result(path, validateTaskCheckpoint(readJson(path), context.session));
+}
+export function checkpointTask(root, cfg, value, expectedRevision, options = {}) {
+    if (!Number.isInteger(expectedRevision) || expectedRevision < 0) {
+        throw new Error('expect-revision 必须是非负整数');
+    }
+    const context = resolveTaskContext(root, cfg, options, true);
+    const path = join(context.sessionPath, 'memory', 'task.json');
+    mkdirSync(dirname(path), { recursive: true });
+    const release = acquireLease(`${path}.lock`, `Task ${context.session.id} 正在更新`, {
+        waitMs: 3_000, staleAfterMs: 2 * 60_000,
+    });
+    try {
+        const current = existsSync(path)
+            ? validateTaskCheckpoint(readJson(path), context.session) : null;
+        const actualRevision = current?.revision || 0;
+        if (actualRevision !== expectedRevision) {
+            throw new Error(`Task revision 冲突：expected=${expectedRevision}, actual=${actualRevision}；` +
+                '请重新 task show 后合并');
+        }
+        const input = validateTaskCheckpoint(value, context.session);
+        if (input.revision !== expectedRevision + 1) {
+            throw new Error(`Task 新 revision 必须是 ${expectedRevision + 1}，实际为 ${input.revision}`);
+        }
+        const previous = current?.status || 'missing';
+        if (!TRANSITIONS[previous].includes(input.status)) {
+            throw new Error(`Task 状态不能从 ${previous} 迁移到 ${input.status}`);
+        }
+        if (input.status === 'completed') {
+            resolveCompletionEvidence(root, cfg, context.sessionPath, input.doneWhen, input.evidence);
+        }
+        const checkpoint = {
+            ...input,
+            updatedAt: new Date().toISOString(),
+            updatedByRunId: context.run.id,
+        };
+        writeJsonAtomic(path, checkpoint);
+        const readback = validateTaskCheckpoint(readJson(path), context.session);
+        if (stableStringify(readback) !== stableStringify(checkpoint)) {
+            throw new Error('Task checkpoint 原子写后回读不一致');
+        }
+        return result(path, readback);
+    }
+    finally {
+        release();
+    }
+}
+export function snapshotTaskCheckpoint(sessionPath, runPath) {
+    const path = join(sessionPath, 'memory', 'task.json');
+    if (!existsSync(path))
+        return null;
+    const session = readJson(join(sessionPath, 'session.json'));
+    const checkpoint = validateTaskCheckpoint(readJson(path), session);
+    writeJsonAtomic(join(runPath, 'context', 'task-checkpoint.json'), checkpoint);
+    return checkpoint;
+}
+function resolveTaskContext(root, cfg, options, requireRun) {
+    const configuredRoot = resolve(root, cfg.runtime.sessionRoot || '.dingtalk-agent/sessions');
+    if (!existsSync(configuredRoot))
+        throw new Error('当前 Workspace 还没有 Session state root');
+    const sessionInput = String(options.sessionPath || process.env.DTA_SESSION || '').trim();
+    if (!sessionInput)
+        throw new Error('task 需要 Prepared Run 的 DTA_SESSION');
+    const sessionPath = realpathSync(resolve(sessionInput));
+    assertInside(configuredRoot, sessionPath, 'Task Session');
+    const session = readJson(join(sessionPath, 'session.json'));
+    if (!session.id || !session.contextId)
+        throw new Error('Task Session 缺少 id/contextId');
+    const runInput = String(options.runPath || process.env.DTA_RUN || '').trim();
+    if (!runInput) {
+        if (requireRun)
+            throw new Error('task checkpoint 只能由 Prepared Run 写入，缺少 DTA_RUN');
+        return { sessionPath, session, run: { id: '' } };
+    }
+    const runPath = realpathSync(resolve(runInput));
+    assertInside(join(sessionPath, 'runs'), runPath, 'Task Run');
+    const run = readJson(join(runPath, 'run.json'));
+    if (run.sessionId !== session.id || run.contextId !== session.contextId) {
+        throw new Error('Task Run 与 Session 身份不一致');
+    }
+    return { sessionPath, session, run };
+}
+function validateTaskCheckpoint(value, session) {
+    if (!value || typeof value !== 'object' || Array.isArray(value)) {
+        throw new Error('Task checkpoint 必须是 JSON object');
+    }
+    const input = value;
+    const allowed = new Set([
+        '$schema', 'taskId', 'scopeId', 'status', 'revision', 'goal', 'deliverable',
+        'doneWhen', 'checkpoint', 'nextAction', 'waitingFor', 'assumptions', 'sourceRefs',
+        'evidence', 'updatedAt', 'updatedByRunId',
+    ]);
+    const extra = Object.keys(input).filter((key) => !allowed.has(key));
+    if (extra.length)
+        throw new Error(`Task checkpoint 含未知字段: ${extra.join(', ')}`);
+    if (input.$schema !== 'dingtalk-agent/task-checkpoint@1') {
+        throw new Error('Task checkpoint schema 非法');
+    }
+    if (input.taskId !== session.id || input.scopeId !== session.contextId) {
+        throw new Error(`Task checkpoint 作用域不一致：taskId=${input.taskId || '-'}, scopeId=${input.scopeId || '-'}`);
+    }
+    if (!Object.prototype.hasOwnProperty.call(TRANSITIONS, input.status)) {
+        throw new Error(`Task status 非法: ${input.status || '-'}`);
+    }
+    if (!Number.isInteger(input.revision) || input.revision < 1) {
+        throw new Error('Task revision 必须是正整数');
+    }
+    for (const key of ['goal', 'deliverable', 'doneWhen', 'checkpoint', 'nextAction',
+        'updatedAt', 'updatedByRunId']) {
+        if (typeof input[key] !== 'string')
+            throw new Error(`Task ${key} 必须是 string`);
+    }
+    if (!input.goal.trim())
+        throw new Error('Task goal 不能为空');
+    if (!['completed', 'cancelled'].includes(input.status) && !input.nextAction.trim()) {
+        throw new Error(`Task ${input.status} 状态必须有 nextAction`);
+    }
+    for (const key of ['assumptions', 'sourceRefs', 'evidence']) {
+        if (!Array.isArray(input[key]) || input[key].some((item) => typeof item !== 'string')) {
+            throw new Error(`Task ${key} 必须是 string[]`);
+        }
+        if (input[key].some((item) => !item.trim())) {
+            throw new Error(`Task ${key} 不能包含空字符串`);
+        }
+    }
+    if (input.evidence.some((item) => !isCompletionEvidenceId(item))) {
+        throw new Error('Task evidence 只能引用宿主签发的 evidenceId');
+    }
+    if (input.waitingFor !== null) {
+        if (!input.waitingFor || typeof input.waitingFor !== 'object' ||
+            Array.isArray(input.waitingFor) ||
+            typeof input.waitingFor.kind !== 'string' ||
+            typeof input.waitingFor.condition !== 'string' ||
+            (input.waitingFor.subject !== undefined && typeof input.waitingFor.subject !== 'string')) {
+            throw new Error('Task waitingFor 必须是 null 或 {kind, subject?, condition}');
+        }
+    }
+    if (input.status === 'waiting' && !input.waitingFor) {
+        throw new Error('Task waiting 状态必须填写 waitingFor');
+    }
+    if (['verifying', 'completed'].includes(input.status)) {
+        if (!input.deliverable.trim())
+            throw new Error(`Task ${input.status} 状态必须填写 deliverable`);
+        if (!input.doneWhen.trim())
+            throw new Error(`Task ${input.status} 状态必须填写 doneWhen`);
+    }
+    if (input.status === 'completed') {
+        if (!input.checkpoint.trim())
+            throw new Error('Task completed 状态必须填写最终 checkpoint');
+        if (!input.evidence.length) {
+            throw new Error('Task completed 状态必须引用宿主签发的 completion evidenceId');
+        }
+        if (input.waitingFor)
+            throw new Error('Task completed 状态不能仍有 waitingFor');
+        if (input.nextAction.trim())
+            throw new Error('Task completed 状态不能仍有 nextAction');
+    }
+    return JSON.parse(JSON.stringify(input));
+}
+function result(path, checkpoint) {
+    return {
+        $schema: 'dingtalk-agent/task-checkpoint-result@1',
+        found: Boolean(checkpoint),
+        path,
+        hash: checkpoint ? digest(stableStringify(checkpoint)) : '',
+        checkpoint,
+    };
+}
+function assertInside(root, path, label) {
+    const rootReal = realpathSync(resolve(root));
+    const rel = relative(rootReal, path);
+    if (rel === '..' || rel.startsWith(`..${process.platform === 'win32' ? '\\' : '/'}`)) {
+        throw new Error(`${label} 必须位于配置的 sessionRoot 内`);
+    }
+}
+function readJson(path) {
+    return JSON.parse(readFileSync(path, 'utf8'));
+}
+function writeJsonAtomic(path, value) {
+    mkdirSync(dirname(path), { recursive: true });
+    const temp = `${path}.${process.pid}.${Date.now()}.tmp`;
+    writeFileSync(temp, JSON.stringify(value, null, 2) + '\n', { flag: 'wx' });
+    renameSync(temp, path);
+}
+//# sourceMappingURL=task-checkpoints.js.map

package/dist/src/memory/task-checkpoints.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-checkpoints.js","sourceRoot":"","sources":["../../../src/memory/task-checkpoints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,aAAa,GAC7E,MAAM,SAAS,CAAA;AAChB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAC5D,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAA;AAE1C,OAAO,EACL,sBAAsB,EAAE,yBAAyB,GAClD,MAAM,0BAA0B,CAAA;AAqCjC,MAAM,WAAW,GAAiD;IAChE,OAAO,EAAE,CAAC,SAAS,CAAC;IACpB,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,WAAW,CAAC;IACpE,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;IACvD,SAAS,EAAE,CAAC,WAAW,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC;IACnF,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC;IAC5C,SAAS,EAAE,CAAC,WAAW,CAAC;IACxB,SAAS,EAAE,CAAC,WAAW,CAAC;CACzB,CAAA;AAED,MAAM,UAAU,kBAAkB,CAChC,IAAY,EACZ,GAAgB,EAChB,UAA8B,EAAE;IAEhC,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;IAC7D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAC7D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;IAChD,OAAO,MAAM,CAAC,IAAI,EAAE,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAA;AAC9E,CAAC;AAED,MAAM,UAAU,cAAc,CAC5B,IAAY,EACZ,GAAgB,EAChB,KAAc,EACd,gBAAwB,EACxB,UAA8B,EAAE;IAEhC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,gBAAgB,CAAC,IAAI,gBAAgB,GAAG,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAA;IAC5C,CAAC;IACD,MAAM,OAAO,GAAG,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;IAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IAC7D,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC7C,MAAM,OAAO,GAAG,YAAY,CAAC,GAAG,IAAI,OAAO,EAAE,QAAQ,OAAO,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE;QAC9E,MAAM,EAAE,KAAK,EAAE,YAAY,EAAE,CAAC,GAAG,MAAM;KACxC,CAAC,CAAA;IACF,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC;YAC9B,CAAC,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QAClE,MAAM,cAAc,GAAG,OAAO,EAAE,QAAQ,IAAI,CAAC,CAAA;QAC7C,IAAI,cAAc,KAAK,gBAAgB,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CACb,6BAA6B,gBAAgB,YAAY,cAAc,GAAG;gBAC1E,mBAAmB,CACpB,CAAA;QACH,CAAC;QACD,MAAM,KAAK,GAAG,sBAAsB,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;QAC5D,IAAI,KAAK,CAAC,QAAQ,KAAK,gBAAgB,GAAG,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,KAAK,CACb,uBAAuB,gBAAgB,GAAG,CAAC,QAAQ,KAAK,CAAC,QAAQ,EAAE,CACpE,CAAA;QACH,CAAC;QACD,MAAM,QAAQ,GAAG,OAAO,EAAE,MAAM,IAAI,SAAS,CAAA;QAC7C,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,cAAc,QAAQ,QAAQ,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;QAC/D,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACjC,yBAAyB,CACvB,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAC/D,CAAA;QACH,CAAC;QACD,MAAM,UAAU,GAAmB;YACjC,GAAG,KAAK;YACR,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,cAAc,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE;SAC/B,CAAA;QACD,eAAe,CAAC,IAAI,EAAE,UAAU,CAAC,CAAA;QACjC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;QACxE,IAAI,eAAe,CAAC,QAAQ,CAAC,KAAK,eAAe,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IAC/B,CAAC;YAAS,CAAC;QACT,OAAO,EAAE,CAAA;IACX,CAAC;AACH,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,WAAmB,EAAE,OAAe;IACzE,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAA;IACrD,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IAClC,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,CAAA;IAC3D,MAAM,UAAU,GAAG,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;IAClE,eAAe,CAAC,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,sBAAsB,CAAC,EAAE,UAAU,CAAC,CAAA;IAC7E,OAAO,UAAU,CAAA;AACnB,CAAC;AAED,SAAS,kBAAkB,CACzB,IAAY,EACZ,GAAgB,EAChB,OAA2B,EAC3B,UAAmB;IAEnB,MAAM,cAAc,GAAG,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,WAAW,IAAI,0BAA0B,CAAC,CAAA;IAC3F,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAA;IACvF,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;IACxF,IAAI,CAAC,YAAY;QAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;IACxE,MAAM,WAAW,GAAG,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAA;IACvD,YAAY,CAAC,cAAc,EAAE,WAAW,EAAE,cAAc,CAAC,CAAA;IACzD,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,cAAc,CAAC,CAAC,CAAA;IAC3D,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IAEtF,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;IAC5E,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,IAAI,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAA;QACjF,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAA;IAClD,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAA;IAC/C,YAAY,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;IAC5D,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAA;IAC/C,IAAI,GAAG,CAAC,SAAS,KAAK,OAAO,CAAC,EAAE,IAAI,GAAG,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,GAAG,EAAE,CAAA;AACtC,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,OAA4B;IAC1E,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAA;IACpD,CAAC;IACD,MAAM,KAAK,GAAG,KAA4B,CAAA;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC;QACtB,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa;QAC3E,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa,EAAE,YAAY;QACjF,UAAU,EAAE,WAAW,EAAE,gBAAgB;KAC1C,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAA;IACnE,IAAI,KAAK,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC/E,IAAI,KAAK,CAAC,OAAO,KAAK,kCAAkC,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAA;IAC9C,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,EAAE,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC,SAAS,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CACb,iCAAiC,KAAK,CAAC,MAAM,IAAI,GAAG,aAAa,KAAK,CAAC,OAAO,IAAI,GAAG,EAAE,CACxF,CAAA;IACH,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACrE,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,CAAC,MAAM,IAAI,GAAG,EAAE,CAAC,CAAA;IAC3D,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QAC5D,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAA;IACzC,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY;QAC9E,WAAW,EAAE,gBAAgB,CAAC,EAAE,CAAC;QACjC,IAAI,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,GAAG,aAAa,CAAC,CAAA;IAC/E,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAA;IACzD,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,MAAM,mBAAmB,CAAC,CAAA;IAC1D,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,YAAY,EAAE,UAAU,CAAC,EAAE,CAAC;QAC5D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAa,EAAE,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC/F,MAAM,IAAI,KAAK,CAAC,QAAQ,GAAG,eAAe,CAAC,CAAA;QAC7C,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,QAAQ,GAAG,WAAW,CAAC,CAAA;QACzC,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;IACvD,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QAC9B,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;YACzD,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC;YAC/B,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;YACzC,OAAO,KAAK,CAAC,UAAU,CAAC,SAAS,KAAK,QAAQ;YAC9C,CAAC,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,KAAK,QAAQ,CAAC,EAAE,CAAC;YAC7F,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;QAC3E,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;QACpD,MAAM,IAAI,KAAK,CAAC,gCAAgC,CAAC,CAAA;IACnD,CAAC;IACD,IAAI,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACtD,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,MAAM,qBAAqB,CAAC,CAAA;QACzF,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,CAAC,MAAM,kBAAkB,CAAC,CAAA;IACrF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;QACjC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;QACnF,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAA;QACrE,CAAC;QACD,IAAI,KAAK,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;QACzE,IAAI,KAAK,CAAC,UAAU,CAAC,IAAI,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAA;IAClF,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAmB,CAAA;AAC5D,CAAC;AAED,SAAS,MAAM,CAAC,IAAY,EAAE,UAAiC;IAC7D,OAAO;QACL,OAAO,EAAE,yCAAyC;QAClD,KAAK,EAAE,OAAO,CAAC,UAAU,CAAC;QAC1B,IAAI;QACJ,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;QAC3D,UAAU;KACX,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,IAAY,EAAE,KAAa;IAC7D,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACpC,IAAI,GAAG,KAAK,IAAI,IAAI,GAAG,CAAC,UAAU,CAAC,KAAK,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC;QACrF,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,wBAAwB,CAAC,CAAA;IACnD,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;AAC/C,CAAC;AAED,SAAS,eAAe,CAAC,IAAY,EAAE,KAAc;IACnD,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC7C,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAA;IACvD,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAA;IAC1E,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;AACxB,CAAC","sourcesContent":["import {\n  existsSync, mkdirSync, readFileSync, realpathSync, renameSync, writeFileSync,\n} from 'node:fs'\nimport { dirname, join, relative, resolve } from 'node:path'\nimport { digest, stableStringify } from '../events.js'\nimport { acquireLease } from '../lease.js'\nimport type { AgentConfig } from '../types.js'\nimport {\n  isCompletionEvidenceId, resolveCompletionEvidence,\n} from './completion-evidence.js'\n\nexport type TaskStatus =\n  | 'working' | 'waiting' | 'verifying' | 'blocked' | 'completed' | 'cancelled'\n\nexport interface TaskCheckpoint {\n  $schema: 'dingtalk-agent/task-checkpoint@1'\n  taskId: string\n  scopeId: string\n  status: TaskStatus\n  revision: number\n  goal: string\n  deliverable: string\n  doneWhen: string\n  checkpoint: string\n  nextAction: string\n  waitingFor: null | { kind: string; subject?: string; condition: string }\n  assumptions: string[]\n  sourceRefs: string[]\n  evidence: string[]\n  updatedAt: string\n  updatedByRunId: string\n}\n\nexport interface TaskContextOptions {\n  sessionPath?: string\n  runPath?: string\n}\n\nexport interface TaskCheckpointResult {\n  $schema: 'dingtalk-agent/task-checkpoint-result@1'\n  found: boolean\n  path: string\n  hash: string\n  checkpoint: TaskCheckpoint | null\n}\n\nconst TRANSITIONS: Record<TaskStatus | 'missing', TaskStatus[]> = {\n  missing: ['working'],\n  working: ['working', 'waiting', 'verifying', 'blocked', 'cancelled'],\n  waiting: ['waiting', 'working', 'blocked', 'cancelled'],\n  verifying: ['verifying', 'working', 'waiting', 'blocked', 'completed', 'cancelled'],\n  blocked: ['blocked', 'working', 'cancelled'],\n  completed: ['completed'],\n  cancelled: ['cancelled'],\n}\n\nexport function showTaskCheckpoint(\n  root: string,\n  cfg: AgentConfig,\n  options: TaskContextOptions = {},\n): TaskCheckpointResult {\n  const context = resolveTaskContext(root, cfg, options, false)\n  const path = join(context.sessionPath, 'memory', 'task.json')\n  if (!existsSync(path)) return result(path, null)\n  return result(path, validateTaskCheckpoint(readJson(path), context.session))\n}\n\nexport function checkpointTask(\n  root: string,\n  cfg: AgentConfig,\n  value: unknown,\n  expectedRevision: number,\n  options: TaskContextOptions = {},\n): TaskCheckpointResult {\n  if (!Number.isInteger(expectedRevision) || expectedRevision < 0) {\n    throw new Error('expect-revision 必须是非负整数')\n  }\n  const context = resolveTaskContext(root, cfg, options, true)\n  const path = join(context.sessionPath, 'memory', 'task.json')\n  mkdirSync(dirname(path), { recursive: true })\n  const release = acquireLease(`${path}.lock`, `Task ${context.session.id} 正在更新`, {\n    waitMs: 3_000, staleAfterMs: 2 * 60_000,\n  })\n  try {\n    const current = existsSync(path)\n      ? validateTaskCheckpoint(readJson(path), context.session) : null\n    const actualRevision = current?.revision || 0\n    if (actualRevision !== expectedRevision) {\n      throw new Error(\n        `Task revision 冲突：expected=${expectedRevision}, actual=${actualRevision}；` +\n        '请重新 task show 后合并',\n      )\n    }\n    const input = validateTaskCheckpoint(value, context.session)\n    if (input.revision !== expectedRevision + 1) {\n      throw new Error(\n        `Task 新 revision 必须是 ${expectedRevision + 1}，实际为 ${input.revision}`,\n      )\n    }\n    const previous = current?.status || 'missing'\n    if (!TRANSITIONS[previous].includes(input.status)) {\n      throw new Error(`Task 状态不能从 ${previous} 迁移到 ${input.status}`)\n    }\n    if (input.status === 'completed') {\n      resolveCompletionEvidence(\n        root, cfg, context.sessionPath, input.doneWhen, input.evidence,\n      )\n    }\n    const checkpoint: TaskCheckpoint = {\n      ...input,\n      updatedAt: new Date().toISOString(),\n      updatedByRunId: context.run.id,\n    }\n    writeJsonAtomic(path, checkpoint)\n    const readback = validateTaskCheckpoint(readJson(path), context.session)\n    if (stableStringify(readback) !== stableStringify(checkpoint)) {\n      throw new Error('Task checkpoint 原子写后回读不一致')\n    }\n    return result(path, readback)\n  } finally {\n    release()\n  }\n}\n\nexport function snapshotTaskCheckpoint(sessionPath: string, runPath: string): TaskCheckpoint | null {\n  const path = join(sessionPath, 'memory', 'task.json')\n  if (!existsSync(path)) return null\n  const session = readJson(join(sessionPath, 'session.json'))\n  const checkpoint = validateTaskCheckpoint(readJson(path), session)\n  writeJsonAtomic(join(runPath, 'context', 'task-checkpoint.json'), checkpoint)\n  return checkpoint\n}\n\nfunction resolveTaskContext(\n  root: string,\n  cfg: AgentConfig,\n  options: TaskContextOptions,\n  requireRun: boolean,\n): { sessionPath: string; session: Record<string, any>; run: Record<string, any> } {\n  const configuredRoot = resolve(root, cfg.runtime.sessionRoot || '.dingtalk-agent/sessions')\n  if (!existsSync(configuredRoot)) throw new Error('当前 Workspace 还没有 Session state root')\n  const sessionInput = String(options.sessionPath || process.env.DTA_SESSION || '').trim()\n  if (!sessionInput) throw new Error('task 需要 Prepared Run 的 DTA_SESSION')\n  const sessionPath = realpathSync(resolve(sessionInput))\n  assertInside(configuredRoot, sessionPath, 'Task Session')\n  const session = readJson(join(sessionPath, 'session.json'))\n  if (!session.id || !session.contextId) throw new Error('Task Session 缺少 id/contextId')\n\n  const runInput = String(options.runPath || process.env.DTA_RUN || '').trim()\n  if (!runInput) {\n    if (requireRun) throw new Error('task checkpoint 只能由 Prepared Run 写入，缺少 DTA_RUN')\n    return { sessionPath, session, run: { id: '' } }\n  }\n  const runPath = realpathSync(resolve(runInput))\n  assertInside(join(sessionPath, 'runs'), runPath, 'Task Run')\n  const run = readJson(join(runPath, 'run.json'))\n  if (run.sessionId !== session.id || run.contextId !== session.contextId) {\n    throw new Error('Task Run 与 Session 身份不一致')\n  }\n  return { sessionPath, session, run }\n}\n\nfunction validateTaskCheckpoint(value: unknown, session: Record<string, any>): TaskCheckpoint {\n  if (!value || typeof value !== 'object' || Array.isArray(value)) {\n    throw new Error('Task checkpoint 必须是 JSON object')\n  }\n  const input = value as Record<string, any>\n  const allowed = new Set([\n    '$schema', 'taskId', 'scopeId', 'status', 'revision', 'goal', 'deliverable',\n    'doneWhen', 'checkpoint', 'nextAction', 'waitingFor', 'assumptions', 'sourceRefs',\n    'evidence', 'updatedAt', 'updatedByRunId',\n  ])\n  const extra = Object.keys(input).filter((key) => !allowed.has(key))\n  if (extra.length) throw new Error(`Task checkpoint 含未知字段: ${extra.join(', ')}`)\n  if (input.$schema !== 'dingtalk-agent/task-checkpoint@1') {\n    throw new Error('Task checkpoint schema 非法')\n  }\n  if (input.taskId !== session.id || input.scopeId !== session.contextId) {\n    throw new Error(\n      `Task checkpoint 作用域不一致：taskId=${input.taskId || '-'}, scopeId=${input.scopeId || '-'}`,\n    )\n  }\n  if (!Object.prototype.hasOwnProperty.call(TRANSITIONS, input.status)) {\n    throw new Error(`Task status 非法: ${input.status || '-'}`)\n  }\n  if (!Number.isInteger(input.revision) || input.revision < 1) {\n    throw new Error('Task revision 必须是正整数')\n  }\n  for (const key of ['goal', 'deliverable', 'doneWhen', 'checkpoint', 'nextAction',\n    'updatedAt', 'updatedByRunId']) {\n    if (typeof input[key] !== 'string') throw new Error(`Task ${key} 必须是 string`)\n  }\n  if (!input.goal.trim()) throw new Error('Task goal 不能为空')\n  if (!['completed', 'cancelled'].includes(input.status) && !input.nextAction.trim()) {\n    throw new Error(`Task ${input.status} 状态必须有 nextAction`)\n  }\n  for (const key of ['assumptions', 'sourceRefs', 'evidence']) {\n    if (!Array.isArray(input[key]) || input[key].some((item: unknown) => typeof item !== 'string')) {\n      throw new Error(`Task ${key} 必须是 string[]`)\n    }\n    if (input[key].some((item: string) => !item.trim())) {\n      throw new Error(`Task ${key} 不能包含空字符串`)\n    }\n  }\n  if (input.evidence.some((item: string) => !isCompletionEvidenceId(item))) {\n    throw new Error('Task evidence 只能引用宿主签发的 evidenceId')\n  }\n  if (input.waitingFor !== null) {\n    if (!input.waitingFor || typeof input.waitingFor !== 'object' ||\n        Array.isArray(input.waitingFor) ||\n        typeof input.waitingFor.kind !== 'string' ||\n        typeof input.waitingFor.condition !== 'string' ||\n        (input.waitingFor.subject !== undefined && typeof input.waitingFor.subject !== 'string')) {\n      throw new Error('Task waitingFor 必须是 null 或 {kind, subject?, condition}')\n    }\n  }\n  if (input.status === 'waiting' && !input.waitingFor) {\n    throw new Error('Task waiting 状态必须填写 waitingFor')\n  }\n  if (['verifying', 'completed'].includes(input.status)) {\n    if (!input.deliverable.trim()) throw new Error(`Task ${input.status} 状态必须填写 deliverable`)\n    if (!input.doneWhen.trim()) throw new Error(`Task ${input.status} 状态必须填写 doneWhen`)\n  }\n  if (input.status === 'completed') {\n    if (!input.checkpoint.trim()) throw new Error('Task completed 状态必须填写最终 checkpoint')\n    if (!input.evidence.length) {\n      throw new Error('Task completed 状态必须引用宿主签发的 completion evidenceId')\n    }\n    if (input.waitingFor) throw new Error('Task completed 状态不能仍有 waitingFor')\n    if (input.nextAction.trim()) throw new Error('Task completed 状态不能仍有 nextAction')\n  }\n  return JSON.parse(JSON.stringify(input)) as TaskCheckpoint\n}\n\nfunction result(path: string, checkpoint: TaskCheckpoint | null): TaskCheckpointResult {\n  return {\n    $schema: 'dingtalk-agent/task-checkpoint-result@1',\n    found: Boolean(checkpoint),\n    path,\n    hash: checkpoint ? digest(stableStringify(checkpoint)) : '',\n    checkpoint,\n  }\n}\n\nfunction assertInside(root: string, path: string, label: string): void {\n  const rootReal = realpathSync(resolve(root))\n  const rel = relative(rootReal, path)\n  if (rel === '..' || rel.startsWith(`..${process.platform === 'win32' ? '\\\\' : '/'}`)) {\n    throw new Error(`${label} 必须位于配置的 sessionRoot 内`)\n  }\n}\n\nfunction readJson(path: string): Record<string, any> {\n  return JSON.parse(readFileSync(path, 'utf8'))\n}\n\nfunction writeJsonAtomic(path: string, value: unknown): void {\n  mkdirSync(dirname(path), { recursive: true })\n  const temp = `${path}.${process.pid}.${Date.now()}.tmp`\n  writeFileSync(temp, JSON.stringify(value, null, 2) + '\\n', { flag: 'wx' })\n  renameSync(temp, path)\n}\n"]}