@fitlab-ai/agent-infra 0.9.14 → 0.10.0

package/dist/lib/task/create-service.js

@@ -1,5 +1,3 @@
-import fs from 'node:fs';
-import path from 'node:path';
 import { syncPlatformComment } from '../platform/issue-comments.js';
 import { createPlatformIssue, syncPlatformIssue } from '../platform/issues.js';
 import { VERSION } from '../version.js';
@@ -139,11 +137,6 @@ function platformOperations(prefix, operations) {
         reasonCode: operation.reasonCode ?? null
     }));
 }
-function issueFromTask(repoRoot, taskId) {
-    const content = fs.readFileSync(path.join(repoRoot, '.agents', 'workspace', 'active', taskId, 'task.md'), 'utf8');
-    const match = /^issue_number:\s*(\d+)\s*$/m.exec(content);
-    return match ? { number: Number(match[1]), url: '' } : null;
-}
 async function createTask(value, options) {
     const dependencies = { ...DEFAULT_DEPENDENCIES, ...options.dependencies };
     let candidate;
@@ -163,7 +156,7 @@ async function createTask(value, options) {
     const operations = [{
             name: 'task:local', status: local.status, reasonCode: null
         }];
-    let issue = issueFromTask(options.repoRoot, local.task.id);
+    let issue = null;
     const created = await dependencies.createIssue(local.task.id, { cwd: options.repoRoot, agent: candidate.agent });
     operations.push(...platformOperations('platform-create', created.operations));
     if (created.issue)

package/dist/lib/task/create.js

@@ -6,7 +6,7 @@ import { loadShortIdByTaskId, mutateShortIdRegistry } from './short-id.js';
 import { TaskExecutionLockError, withTaskExecutionLock } from './task-execution-lock.js';
 import { readDeliveryDefaults, validateBaseRef, validateRemote } from './delivery-target.js';
 import { buildUnboundFact, encodePrDeliveryFact } from './pr-delivery-fact.js';
-import { CANDIDATE_COLUMNS, CONSTRAINT_COLUMNS } from './qualification-audit.js';
+import { CANDIDATE_COLUMNS, CONSTRAINT_COLUMNS, parseTaskQualification } from './qualification-audit.js';
 const AGENTS = ['claude', 'codex', 'antigravity', 'opencode', 'cursor'];
 const TYPES = ['feature', 'bugfix', 'refactor', 'docs', 'chore'];
 const PRIORITIES = ['Urgent', 'High', 'Medium', 'Low'];
@@ -150,12 +150,64 @@ function renderTable(columns, rows) {
         ...rows.map((row) => `| ${row.map(tableCell).join(' | ')} |`)
     ].join('\n');
 }
-function appendCanonicalRows(content, columns, rows) {
+function escapeRegExp(value) {
+    return value.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+}
+function candidateIdFor(index) {
+    let value = index + 1;
+    let id = '';
+    while (value > 0) {
+        const remainder = (value - 1) % 26;
+        id = `${String.fromCharCode(65 + remainder)}${id}`;
+        value = Math.floor((value - 1) / 26);
+    }
+    return id;
+}
+function appendCanonicalRows(content, heading, columns, rows) {
     if (rows.length === 0)
         return content;
     const table = renderTable(columns, rows);
-    const separator = `| ${columns.map(() => '---').join(' | ')} |`;
-    return content.replace(separator, `${separator}\n${table.split('\n').slice(2).join('\n')}`);
+    const [header, separator, ...rowLines] = table.split('\n');
+    const eol = content.includes('\r\n') ? '\r\n' : '\n';
+    const lines = content.split(/\r?\n/);
+    const headingPattern = new RegExp(`^###\\s+${escapeRegExp(heading)}\\s*$`);
+    const sectionStart = lines.findIndex((line) => headingPattern.test(line));
+    if (sectionStart < 0)
+        throw new Error(`TASK_CREATE_QUALIFICATION_INVALID: section '${heading}' is missing`);
+    let sectionEnd = lines.length;
+    for (let index = sectionStart + 1; index < lines.length; index += 1) {
+        if (/^#{2,3}\s+/.test(lines[index])) {
+            sectionEnd = index;
+            break;
+        }
+    }
+    const matches = [];
+    for (let index = sectionStart + 1; index + 1 < sectionEnd; index += 1) {
+        if (lines[index].trim() === header && lines[index + 1].trim() === separator)
+            matches.push(index);
+    }
+    if (matches.length !== 1) {
+        throw new Error(`TASK_CREATE_QUALIFICATION_INVALID: section '${heading}' must contain exactly one canonical qualification table`);
+    }
+    lines.splice(matches[0] + 2, 0, ...rowLines);
+    return lines.join(eol);
+}
+function validateRenderedQualification(content, candidate) {
+    const parsed = parseTaskQualification(content);
+    if (!parsed.ok) {
+        throw new Error(`TASK_CREATE_QUALIFICATION_INVALID: ${parsed.code}: ${parsed.message}`);
+    }
+    if (!parsed.qualification.present) {
+        throw new Error('TASK_CREATE_QUALIFICATION_INVALID: rendered task qualification contract is missing');
+    }
+    const expectedConstraintIds = candidate.taskInput.constraints.map((_, index) => `C-${index + 1}`);
+    const expectedCandidateIds = candidate.taskInput.alternatives.map((_, index) => candidateIdFor(index));
+    const actualConstraintIds = parsed.qualification.constraints.map((row) => row.constraintId);
+    const actualCandidateIds = parsed.qualification.candidates.map((row) => row.candidateId);
+    if (JSON.stringify(actualConstraintIds) !== JSON.stringify(expectedConstraintIds)
+        || JSON.stringify(actualCandidateIds) !== JSON.stringify(expectedCandidateIds)) {
+        throw new Error('TASK_CREATE_QUALIFICATION_INVALID: rendered task qualification rows do not match task input');
+    }
 }
 function replaceEmptySubsection(content, heading, items) {
     if (items.length === 0)
@@ -202,11 +254,11 @@ function renderTask(params) {
     for (const [heading, key] of sections)
         content = replaceEmptySubsection(content, heading, candidate.taskInput[key]);
     const constraintIds = candidate.taskInput.constraints.map((_, index) => `C-${index + 1}`);
-    content = appendCanonicalRows(content, CONSTRAINT_COLUMNS, candidate.taskInput.constraints.map((statement, index) => [
+    content = appendCanonicalRows(content, '约束', CONSTRAINT_COLUMNS, candidate.taskInput.constraints.map((statement, index) => [
         constraintIds[index], statement, 'assumption', 'create-task', 'taskInput', 'create-task input', '', ''
     ]));
-    content = appendCanonicalRows(content, CANDIDATE_COLUMNS, candidate.taskInput.alternatives.map((statement, index) => [
-        String.fromCharCode(65 + index), statement, 'pending', constraintIds.join(','), 'requires qualification', 'create-task input'
+    content = appendCanonicalRows(content, '候选与否决方案', CANDIDATE_COLUMNS, candidate.taskInput.alternatives.map((statement, index) => [
+        candidateIdFor(index), statement, 'pending', constraintIds.join(','), 'requires qualification', 'create-task input'
     ]));
     content = content.replace('- **关联 Issue**：#XXX', '- **关联 Issue**：N/A');
     content = content.replace('- **关联 PR**：#XXX', '- **关联 PR**：N/A');
@@ -328,8 +380,6 @@ function createLocalTask(value, options) {
     return withCreateLock(repoRoot, workspaceRoot, () => {
         if (fs.existsSync(receipts))
             assertRealDirectory(receipts, 'TASK_CREATE_RECEIPT_INVALID');
-        else
-            fs.mkdirSync(receipts, { mode: 0o700 });
         const receiptPath = path.join(receipts, `${keyDigest}.json`);
         if (fs.existsSync(receiptPath)) {
             const stat = fs.lstatSync(receiptPath);
@@ -345,6 +395,7 @@ function createLocalTask(value, options) {
         }
         const recovered = recoverPublishedTask(activeRoot, repoRoot, keyDigest, candidateDigest);
         if (recovered) {
+            ensureRealDirectory(receipts, 'TASK_CREATE_RECEIPT_INVALID');
             writeReceipt(receiptPath, {
                 version: 1, candidateDigest, taskId: recovered.taskId, shortId: recovered.shortId, status: 'recovered'
             });
@@ -366,6 +417,8 @@ function createLocalTask(value, options) {
             template: fs.readFileSync(templatePath, 'utf8'), candidate, taskId, project: projectConfig.project, delivery: projectConfig.delivery, timestamp,
             agentInfraVersion, keyDigest, candidateDigest
         });
+        validateRenderedQualification(rendered, candidate);
+        ensureRealDirectory(receipts, 'TASK_CREATE_RECEIPT_INVALID');
         const temporary = path.join(workspaceRoot, `.task-create.tmp.${process.pid}.${randomUUID()}`);
         fs.mkdirSync(temporary, { mode: 0o700 });
         fs.writeFileSync(path.join(temporary, 'task.md'), rendered, { flag: 'wx', mode: 0o600 });

package/dist/lib/task/decision-details.js

@@ -1,51 +1,7 @@
+import { scanVisibleMarkdown } from './markdown.js';
 const DECISION_ID = /^(AN|PL|CD|HD)-[1-9]\d*(?=$|[\s:：])/i;
-const HEADING = /^ {0,3}(#{1,6})[ \t]+(.+?)\s*$/;
-const FENCE_OPEN = /^ {0,3}(`{3,}|~{3,})(.*)$/;
-const FENCE_CLOSE = /^ {0,3}(`{3,}|~{3,})\s*$/;
-const ANCHOR = /^\s*<a\s+id=(['"])([^'"]+)\1\s*><\/a>\s*$/;
 const FIELD = /^\s*[-*]\s+\*\*([^*]+)\*\*\s*[:：]\s*/;
 const OPTION_HEADING = /^(?:方案|Option)\s+[A-Z](?:\b|\s*[:：])/i;
-function sourceLines(content) {
-    const lines = [];
-    let start = 0;
-    while (start < content.length) {
-        const newline = content.indexOf('\n', start);
-        const end = newline === -1 ? content.length : newline;
-        lines.push({ start, end, text: content.slice(start, end).replace(/\r$/, '') });
-        start = newline === -1 ? content.length : newline + 1;
-    }
-    return lines;
-}
-function scanVisibleMarkdown(content) {
-    const lines = sourceLines(content);
-    const visible = [];
-    const headings = [];
-    const anchors = [];
-    let fence = null;
-    for (const line of lines) {
-        if (fence) {
-            const close = line.text.match(FENCE_CLOSE);
-            if (close && close[1][0] === fence.character && close[1].length >= fence.length)
-                fence = null;
-            continue;
-        }
-        const open = line.text.match(FENCE_OPEN);
-        const marker = open?.[1];
-        const info = open?.[2] ?? '';
-        if (marker && !(marker[0] === '`' && info.includes('`'))) {
-            fence = { character: marker[0], length: marker.length };
-            continue;
-        }
-        visible.push(line);
-        const heading = line.text.match(HEADING);
-        if (heading)
-            headings.push({ ...line, level: heading[1].length, text: heading[2].trim() });
-        const anchor = line.text.match(ANCHOR);
-        if (anchor)
-            anchors.push({ ...line, id: anchor[2] });
-    }
-    return { lines: visible, headings, anchors };
-}
 function parseDecisionDetailBlocks(content) {
     const scanned = scanVisibleMarkdown(content);
     const details = scanned.headings.filter((heading) => heading.level === 3 && DECISION_ID.test(heading.text));
@@ -214,5 +170,5 @@ function normalizeDecisionDetailForDisplay(block) {
         ordered.push(byKey.get('implementation'));
     return [body.slice(heading.start, heading.end).trim(), ...ordered].join('\n\n').trim();
 }
-export { inspectDecisionDetailDuplicates, normalizeDecisionDetailForDisplay, parseDecisionDetailBlocks, parseDecisionEvidence, resolveDecisionDetail, scanVisibleMarkdown };
+export { inspectDecisionDetailDuplicates, normalizeDecisionDetailForDisplay, parseDecisionDetailBlocks, parseDecisionEvidence, resolveDecisionDetail };
 //# sourceMappingURL=decision-details.js.map

package/dist/lib/task/delegation-receipts.js

@@ -92,7 +92,8 @@ function hasCurrentCodexEvidence(receipt) {
     const provenance = receipt.lifecycleProvenance;
     if (!provenance)
         return false;
-    const activated = ['activated', 'stage-completed', 'sealed', 'consumed'].includes(receipt.status);
+    const activated = ['activated', 'stage-completed', 'sealed', 'consumed'].includes(receipt.status)
+        || (receipt.status === 'aborted' && receipt.activatedAt !== null);
     if (!activated)
         return receipt.hostEvidence === null;
     const host = receipt.hostEvidence;
@@ -124,6 +125,12 @@ function hasCurrentCodexEvidence(receipt) {
             && host.consumer === receipt.id
             && exactText(host.consumedAt);
     }
+    if (receipt.status === 'aborted') {
+        return Number.isSafeInteger(host.stopRevision)
+            && host.stopRevision > host.startRevision
+            && host.consumer === `lifecycle-recovery:${receipt.taskId}:${receipt.id}`
+            && exactText(host.consumedAt);
+    }
     return host.stopRevision === null && host.consumer === null && host.consumedAt === null;
 }
 const RECEIPT_KEYS = [
@@ -147,7 +154,8 @@ function hasStatusBoundEvidence(receipt) {
     const dispatchComplete = dispatchFields.every((field) => field !== null);
     if (!dispatchEmpty && !dispatchComplete)
         return false;
-    const beforeActivation = ['prepared', 'aborted', 'expired'].includes(receipt.status);
+    const beforeActivation = ['prepared', 'expired'].includes(receipt.status)
+        || (receipt.status === 'aborted' && receipt.activatedAt === null);
     if (beforeActivation) {
         return receipt.parentId === null
             && receipt.childId === null
@@ -181,6 +189,20 @@ function hasStatusBoundEvidence(receipt) {
             && receipt.sealedAt === null
             && receipt.consumedAt === null;
     }
+    if (receipt.status === 'aborted') {
+        const host = receipt.hostEvidence;
+        return receipt.agent === null
+            && receipt.afterFingerprint === null
+            && receipt.changedPaths.length === 0
+            && receipt.sealedAt === null
+            && receipt.consumedAt === null
+            && host !== null
+            && host !== undefined
+            && Number.isSafeInteger(host.stopRevision)
+            && host.stopRevision > host.startRevision
+            && host.consumer === `lifecycle-recovery:${receipt.taskId}:${receipt.id}`
+            && exactText(host.consumedAt);
+    }
     if (!exactText(receipt.agent)
         || normalizeAgentToken(receipt.agent) !== normalizeAgentToken(receipt.client))
         return false;
@@ -429,6 +451,45 @@ function abortPreparedDelegation(receipt) {
         receipt: Object.freeze({ ...receipt, status: 'aborted' })
     };
 }
+function abortActivatedDelegation(receipt, event) {
+    if (receipt.status !== 'activated') {
+        return fail('DELEGATION_STATE_INVALID', `delegation ${receipt.id} is ${receipt.status}, expected activated`);
+    }
+    if (receipt.client !== 'codex'
+        || !receipt.lifecycleProvenance
+        || receipt.hostEvidence?.kind !== 'codex-lifecycle-v2'
+        || typeof receipt.lifecycleProvenance.controllerInstanceDigest !== 'string'
+        || typeof receipt.lifecycleProvenance.controlGeneration !== 'string'
+        || typeof receipt.hostEvidence.controllerInstanceDigest !== 'string'
+        || typeof receipt.hostEvidence.controlGeneration !== 'string') {
+        return fail('DELEGATION_RECOVERY_EVIDENCE_INVALID', 'activated delegation lacks the current Codex controller binding');
+    }
+    if (event.childId !== receipt.childId
+        || !Number.isSafeInteger(event.stopRevision)
+        || event.stopRevision <= receipt.hostEvidence.startRevision
+        || event.consumer !== `lifecycle-recovery:${receipt.taskId}:${receipt.id}`
+        || !exactText(event.consumedAt)) {
+        return fail('DELEGATION_RECOVERY_EVIDENCE_INVALID', 'recovery stop evidence does not match the activated delegation');
+    }
+    return {
+        ok: true,
+        receipt: Object.freeze({
+            ...receipt,
+            status: 'aborted',
+            agent: null,
+            afterFingerprint: null,
+            changedPaths: Object.freeze([]),
+            sealedAt: null,
+            consumedAt: null,
+            hostEvidence: Object.freeze({
+                ...receipt.hostEvidence,
+                stopRevision: event.stopRevision,
+                consumer: event.consumer,
+                consumedAt: event.consumedAt
+            })
+        })
+    };
+}
 function completeDelegationStage(receipt, event) {
     if (receipt.status !== 'activated')
         return fail('DELEGATION_STATE_INVALID', `delegation ${receipt.id} is ${receipt.status}, expected activated`);
@@ -494,5 +555,5 @@ function consumeDelegation(receipt, options = {}) {
             consumedAt: (options.now ?? (() => new Date().toISOString()))()
         }) };
 }
-export { activateDelegation, abortPreparedDelegation, completeDelegationStage, consumeDelegation, dispatchDelegation, foldBlankToNull, isDelegationReceipt, managedDelegationRole, prepareDelegation, sealDelegation };
+export { activateDelegation, abortActivatedDelegation, abortPreparedDelegation, completeDelegationStage, consumeDelegation, dispatchDelegation, foldBlankToNull, isDelegationReceipt, managedDelegationRole, prepareDelegation, sealDelegation };
 //# sourceMappingURL=delegation-receipts.js.map