@fitlab-ai/agent-infra 0.11.3 → 0.11.4

package/dist/lib/task/ledger-intents.js

@@ -7,7 +7,10 @@ import { LEDGER_COLUMNS, LEDGER_HEADINGS, LEDGER_SECTION_MISSING_CODE, LEDGER_SE
 import { resolveTaskRef } from './resolve-ref.js';
 import { writeTask } from './write.js';
 import { allowsManualOverride } from './guard-override.js';
-import { parseReworkIntentDocument, reworkIntentMutation, upsertReworkIntent } from './rework-intent.js';
+import { parseLegacyReworkIntentDocument, parseReworkIntentDocument, reworkIntentMutation, upsertReworkIntent } from './rework-intent.js';
+import { extractSection, extractSubSection } from './sections.js';
+import { parseLifecyclePathDecision } from './lifecycle-path.js';
+import { scanVisibleMarkdown } from './markdown.js';
 const PREFIX = { analysis: 'AN', plan: 'PL', code: 'CD' };
 const RESPONSE = new Set(['accepted', 'adjusted', 'refuted', 'cannot-judge']);
 const DISPOSITION = new Set(['confirmed', 'closed', 'open', 'needs-human-decision']);
@@ -23,15 +26,50 @@ function ledgerReadErrorCode(error) {
         return code;
     return code === 'TABLE_DUPLICATE_KEY' ? 'LEDGER_DUPLICATE_ID' : 'LEDGER_DOCUMENT_INVALID';
 }
-function maxHandshakeRounds(repoRoot) {
-    try {
-        const parsed = JSON.parse(fs.readFileSync(path.join(repoRoot, '.agents', '.airc.json'), 'utf8'));
-        const value = parsed.review?.maxHandshakeRounds;
-        return Number.isInteger(value) && Number(value) > 0 ? Number(value) : 3;
-    }
-    catch {
-        return 3;
+const CLASSIFICATION_TARGET = {
+    'scope-or-requirement': 'analysis', design: 'plan', implementation: 'code',
+    'human-decision': 'pause', 'insufficient-evidence': 'pause'
+};
+function semanticDigest(value) {
+    return createHash('sha256').update(value.normalize('NFKC').replace(/\s+/g, ' ').trim()).digest('hex');
+}
+function normalizedTaskFact(value) {
+    return value.normalize('NFKC').replace(/\s+/g, ' ').trim();
+}
+function semanticFindingEvidence(reviewContent, heading, end) {
+    const title = heading.text.replace(/^\d+[.、：:]\s*/, '').trim();
+    return `${title}\n${reviewContent.slice(heading.end, end)}`;
+}
+function findingEvidence(reviewContent, evidence) {
+    const anchor = evidence.split('#')[1];
+    if (!anchor)
+        return null;
+    const markdown = scanVisibleMarkdown(reviewContent);
+    const explicit = markdown.anchors.find((candidate) => candidate.id === anchor);
+    if (explicit) {
+        const heading = markdown.headings.find((candidate) => candidate.start > explicit.start);
+        const next = heading && markdown.headings.find((candidate) => candidate.start > heading.start && candidate.level <= heading.level);
+        const end = next?.start ?? reviewContent.length;
+        return heading ? semanticFindingEvidence(reviewContent, heading, end) : reviewContent.slice(explicit.end, end);
     }
+    const heading = markdown.headings.find((candidate) => {
+        const escapedAnchor = anchor.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+        return candidate.text === anchor || new RegExp(`^${escapedAnchor}(?:\\s|[.、：:])`).test(candidate.text);
+    });
+    if (!heading)
+        return null;
+    const next = markdown.headings.find((candidate) => candidate.start > heading.start && candidate.level <= heading.level);
+    return semanticFindingEvidence(reviewContent, heading, next?.start ?? reviewContent.length);
+}
+function taskFactDigest(taskDir, content) {
+    const analysisNames = fs.readdirSync(taskDir).filter((name) => /^analysis(?:-r\d+)?\.md$/.test(name));
+    const latest = analysisNames.map((name) => ({ name, round: parseArtifactName(name)?.round ?? 0 })).sort((a, b) => b.round - a.round)[0];
+    const flow = latest ? parseLifecyclePathDecision(fs.readFileSync(path.join(taskDir, latest.name), 'utf8')) : null;
+    return semanticDigest(JSON.stringify({
+        taskInput: normalizedTaskFact(extractSection(content, ['任务输入', 'Task Input'])),
+        requirements: normalizedTaskFact(extractSection(content, ['需求', 'Requirements'])),
+        flow: flow?.status === 'valid' ? flow.decision.semanticDigest : flow?.status ?? 'missing'
+    }));
 }
 function nextFindingId(rows, stage) {
     const prefix = PREFIX[stage];
@@ -89,12 +127,15 @@ function applyLedgerIntent(intent, options = {}) {
         return { status: 'no-op', changed: false, intent: intent.kind, taskId: resolved.taskId, entityId: nextHdId(rows), before: null, after: null, operations: [], error: null };
     }
     if (intent.kind === 'rework-intent-upsert') {
-        if (!/^RI-[1-9]\d*$/.test(intent.intentId) || !/^(AN|PL|CD)-[1-9]\d*$/.test(intent.findingId) || !['analysis', 'plan', 'code'].includes(intent.target) || !/^[a-f0-9]{64}$/.test(intent.sourceSha256)) {
-            return failed(intent, 'LEDGER_PAYLOAD_INVALID', 'rework intent identity, target, or source hash is invalid', resolved.taskId, intent.intentId);
+        if (!/^RI-[1-9]\d*$/.test(intent.intentId) || !/^(AN|PL|CD)-[1-9]\d*$/.test(intent.findingId) || !(intent.classification in CLASSIFICATION_TARGET) || !/^[a-f0-9]{64}$/.test(intent.sourceSha256)) {
+            return failed(intent, 'LEDGER_PAYLOAD_INVALID', 'rework intent identity, classification, or source hash is invalid', resolved.taskId, intent.intentId);
         }
         const finding = rows.find((row) => row.id === intent.findingId);
         if (!finding || finding.severity === 'decision')
             return failed(intent, 'LEDGER_NOT_FOUND', `finding '${intent.findingId}' was not found`, resolved.taskId, intent.findingId);
+        if (intent.classification === 'human-decision' && finding.status !== 'needs-human-decision') {
+            return failed(intent, 'LEDGER_TRANSITION_INVALID', 'human-decision classification requires a needs-human-decision finding', resolved.taskId, intent.findingId);
+        }
         const sourceFromEvidence = finding.evidence.split('#')[0];
         if (sourceFromEvidence !== intent.sourceArtifact || parseArtifactName(intent.sourceArtifact)?.family !== `review-${finding.stage}`) {
             return failed(intent, 'LEDGER_IDENTITY_CONFLICT', 'rework intent source artifact does not match finding evidence', resolved.taskId, intent.intentId);
@@ -106,12 +147,35 @@ function applyLedgerIntent(intent, options = {}) {
             const parsed = parseReworkIntentDocument(content);
             if (!parsed.ok)
                 return failed(intent, parsed.code, parsed.message, resolved.taskId, intent.intentId);
-            const nextIntent = {
+            const reviewContent = fs.readFileSync(path.join(resolved.taskDir, intent.sourceArtifact), 'utf8');
+            const evidenceBlock = findingEvidence(reviewContent, finding.evidence);
+            if (!evidenceBlock)
+                return failed(intent, 'LEDGER_EVIDENCE_INVALID', `finding evidence anchor '${finding.evidence}' was not found`, resolved.taskId, intent.intentId);
+            const evidenceDigest = semanticDigest(evidenceBlock);
+            const factsDigest = taskFactDigest(resolved.taskDir, content);
+            const requestedIntent = {
                 intentId: intent.intentId, findingId: intent.findingId, sourceArtifact: intent.sourceArtifact,
-                sourceSha256: intent.sourceSha256, target: intent.target, status: 'pending',
+                sourceSha256: intent.sourceSha256, target: CLASSIFICATION_TARGET[intent.classification], classification: intent.classification,
+                evidenceDigest, taskFactDigest: factsDigest, status: 'pending',
                 declaredAt: new Date().toISOString(), consumedAt: ''
             };
-            const next = upsertReworkIntent(parsed.intents, nextIntent);
+            if (parsed.intents.some((candidate) => candidate.intentId === intent.intentId)) {
+                const replay = upsertReworkIntent(parsed.intents, requestedIntent);
+                if (!replay.changed) {
+                    return { status: 'no-op', changed: false, intent: intent.kind, taskId: resolved.taskId, entityId: intent.intentId, before: null, after: null, operations: [], error: null };
+                }
+            }
+            const same = parsed.intents.find((candidate) => candidate.findingId === intent.findingId
+                && candidate.evidenceDigest === evidenceDigest && candidate.taskFactDigest === factsDigest
+                && candidate.classification === intent.classification && candidate.target === CLASSIFICATION_TARGET[intent.classification]);
+            const classification = same ? 'insufficient-evidence' : intent.classification;
+            const nextIntent = {
+                ...requestedIntent, target: CLASSIFICATION_TARGET[classification], classification
+            };
+            const now = nextIntent.declaredAt;
+            const superseded = parsed.intents.map((candidate) => candidate.status === 'pending'
+                ? { ...candidate, status: 'superseded', consumedAt: now } : candidate);
+            const next = upsertReworkIntent(superseded, nextIntent);
             if (!next.changed)
                 return { status: 'no-op', changed: false, intent: intent.kind, taskId: resolved.taskId, entityId: intent.intentId, before: null, after: null, operations: [], error: null };
             const result = writeTask({ taskRef: intent.taskRef, expectedState: 'active', dryRun: intent.dryRun, mutations: [reworkIntentMutation(content, next.intents)] }, { ...options, taskLocation: { repoRoot: resolved.repoRoot, taskId: resolved.taskId, taskMdPath: resolved.taskMdPath, state: resolved.state } });
@@ -123,6 +187,84 @@ function applyLedgerIntent(intent, options = {}) {
             return failed(intent, 'LEDGER_IDENTITY_CONFLICT', error instanceof Error ? error.message : String(error), resolved.taskId, intent.intentId);
         }
     }
+    if (intent.kind === 'rework-intent-rebuild') {
+        const beforeSha256 = createHash('sha256').update(content).digest('hex');
+        const supplied = [intent.findingId, intent.sourceArtifact, intent.sourceSha256, intent.classification].filter((value) => value !== undefined).length;
+        if (supplied !== 0 && supplied !== 4)
+            return failed(intent, 'LEDGER_PAYLOAD_INVALID', 'rebuild binding options must be provided together', resolved.taskId);
+        const current = parseReworkIntentDocument(content);
+        if (current.ok && current.present) {
+            if (supplied !== 0)
+                return failed(intent, 'LEDGER_PAYLOAD_INVALID', 'current rework intent format does not accept rebuild binding options', resolved.taskId);
+            return {
+                status: 'no-op', changed: false, intent: intent.kind, taskId: resolved.taskId, entityId: null,
+                before: null, after: null, operations: [], error: null,
+                rebuild: { mode: 'format-only', beforeSha256, afterSha256: beforeSha256, converted: current.intents.length, newIntentId: null }
+            };
+        }
+        const legacy = parseLegacyReworkIntentDocument(content);
+        if (!legacy.ok)
+            return failed(intent, legacy.code, legacy.message, resolved.taskId);
+        const pending = legacy.intents.filter((row) => row.status === 'pending');
+        if (pending.length === 0 && supplied !== 0)
+            return failed(intent, 'LEDGER_PAYLOAD_INVALID', 'format-only rebuild does not accept finding or classification options', resolved.taskId);
+        if (pending.length > 0 && supplied !== 4)
+            return failed(intent, 'LEDGER_PAYLOAD_INVALID', 'legacy pending intents require finding, review, hash, and classification', resolved.taskId);
+        const now = new Date().toISOString();
+        let next = legacy.intents.map((row) => row.status === 'pending' ? { ...row, status: 'superseded', consumedAt: now } : row);
+        let entityId = null;
+        if (pending.length > 0) {
+            const finding = rows.find((row) => row.id === intent.findingId);
+            if (!finding || finding.severity === 'decision' || finding.evidence.split('#')[0] !== intent.sourceArtifact)
+                return failed(intent, 'LEDGER_IDENTITY_CONFLICT', 'rebuild binding does not match a review finding', resolved.taskId);
+            if (intent.classification === 'human-decision' && finding.status !== 'needs-human-decision') {
+                return failed(intent, 'LEDGER_TRANSITION_INVALID', 'human-decision classification requires a needs-human-decision finding', resolved.taskId);
+            }
+            const sourceIdentity = parseArtifactName(intent.sourceArtifact);
+            const expectedFamily = `review-${finding.stage}`;
+            const latestSource = fs.readdirSync(resolved.taskDir)
+                .map((name) => parseArtifactName(name))
+                .filter((identity) => identity?.family === expectedFamily)
+                .sort((left, right) => right.round - left.round || left.name.localeCompare(right.name))[0];
+            if (!sourceIdentity || sourceIdentity.family !== expectedFamily || latestSource?.name !== sourceIdentity.name) {
+                return failed(intent, 'LEDGER_IDENTITY_CONFLICT', 'rebuild source artifact is not the latest review for the finding stage', resolved.taskId);
+            }
+            const sourcePath = path.join(resolved.taskDir, intent.sourceArtifact);
+            const actualHash = createHash('sha256').update(fs.readFileSync(sourcePath)).digest('hex');
+            if (actualHash !== intent.sourceSha256)
+                return failed(intent, 'LEDGER_IDENTITY_CONFLICT', 'rebuild source artifact hash does not match', resolved.taskId);
+            const max = next.reduce((value, row) => Math.max(value, Number(row.intentId.slice(3))), 0);
+            entityId = `RI-${max + 1}`;
+            const reviewContent = fs.readFileSync(sourcePath, 'utf8');
+            const classification = intent.classification;
+            if (!(classification in CLASSIFICATION_TARGET))
+                return failed(intent, 'LEDGER_PAYLOAD_INVALID', 'rebuild classification is invalid', resolved.taskId);
+            const evidenceBlock = findingEvidence(reviewContent, finding.evidence);
+            if (!evidenceBlock)
+                return failed(intent, 'LEDGER_EVIDENCE_INVALID', `finding evidence anchor '${finding.evidence}' was not found`, resolved.taskId);
+            next = [...next, {
+                    intentId: entityId, findingId: intent.findingId, sourceArtifact: intent.sourceArtifact, sourceSha256: intent.sourceSha256,
+                    target: CLASSIFICATION_TARGET[classification], classification,
+                    evidenceDigest: semanticDigest(evidenceBlock),
+                    taskFactDigest: taskFactDigest(resolved.taskDir, content), status: 'pending', declaredAt: now, consumedAt: ''
+                }];
+        }
+        const result = writeTask({ taskRef: intent.taskRef, expectedState: 'active', dryRun: intent.dryRun, mutations: [reworkIntentMutation(content, next)] }, { ...options, taskLocation: { repoRoot: resolved.repoRoot, taskId: resolved.taskId, taskMdPath: resolved.taskMdPath, state: resolved.state } });
+        if (result.status === 'failed')
+            return failed(intent, result.error.code, result.error.message, result.taskId, entityId);
+        const afterContent = result.status === 'applied' || result.status === 'no-op' ? fs.readFileSync(resolved.taskMdPath, 'utf8') : content;
+        return {
+            status: result.status, changed: result.changed, intent: intent.kind, taskId: result.taskId, entityId,
+            before: null, after: null, operations: result.operations, error: null,
+            rebuild: {
+                mode: pending.length > 0 ? 'pending-reclassification' : 'format-only',
+                beforeSha256,
+                afterSha256: createHash('sha256').update(afterContent).digest('hex'),
+                converted: legacy.intents.length,
+                newIntentId: entityId
+            }
+        };
+    }
     let before = null;
     let after;
     if (intent.kind === 'finding-upsert') {
@@ -199,7 +341,7 @@ function applyLedgerIntent(intent, options = {}) {
                         ? new Set(['confirmed', 'open', 'needs-human-decision'])
                         : before.status === 'cannot-judge' ? new Set(['open', 'needs-human-decision']) : new Set();
                 const sameRoundMinorClose = before.status === 'open' && before.severity === 'minor' && intent.status === 'closed';
-                if (((!sameRoundMinorClose && !allowed.has(intent.status)) || (intent.status === 'open' && Number(before.round) >= maxHandshakeRounds(resolved.repoRoot)))
+                if ((!sameRoundMinorClose && !allowed.has(intent.status))
                     && !allowsManualOverride(options.manualOverride, 'ledger-intent', 'LEDGER_TRANSITION_INVALID')) {
                     return failed(intent, 'LEDGER_TRANSITION_INVALID', `finding '${intent.id}' cannot transition from ${before.status} to ${intent.status}`, resolved.taskId, intent.id);
                 }

package/dist/lib/task/lifecycle-path.js

@@ -0,0 +1,75 @@
+import { createHash } from 'node:crypto';
+import { extractSection } from './sections.js';
+const PATH_STAGES = {
+    streamlined: ['analysis', 'code', 'review-code'],
+    standard: ['analysis', 'plan', 'code', 'review-code'],
+    full: ['analysis', 'review-analysis', 'plan', 'review-plan', 'code', 'review-code']
+};
+const FIELD_ALIASES = {
+    path: ['本任务路径', 'Path'],
+    basis: ['判定依据', 'Basis'],
+    unmetHigherConditions: ['未满足的更高路径条件', '未满足的较低路径条件', 'Unmet Higher-path Conditions'],
+    upgradeTriggers: ['升级触发条件', 'Upgrade Triggers']
+};
+function normalizeText(value) {
+    return value.normalize('NFKC').replace(/\s+/g, ' ').trim().replace(/[。.]$/, '');
+}
+function digest(value) {
+    return createHash('sha256').update(JSON.stringify(value)).digest('hex');
+}
+function pathToken(value) {
+    const normalized = normalizeText(value).toLowerCase().replace(/[`*_]/g, '');
+    if (/^(?:streamlined|精简路径|精简)$/.test(normalized))
+        return 'streamlined';
+    if (/^(?:standard|标准路径|标准)$/.test(normalized))
+        return 'standard';
+    if (/^(?:full|完整路径|完整)$/.test(normalized))
+        return 'full';
+    return null;
+}
+function fieldValues(body, aliases) {
+    const wanted = new Set(aliases);
+    const values = [];
+    for (const line of body.split(/\r?\n/)) {
+        const match = /^\s*[-*]\s+\*\*([^*]+)\*\*[:：]\s*(.*?)\s*$/.exec(line);
+        if (match && wanted.has(match[1].trim()))
+            values.push(match[2].trim());
+    }
+    return values;
+}
+function parseLifecyclePathDecision(analysisContent, sourceArtifact = '', sourceSha256 = '') {
+    const body = extractSection(analysisContent, ['流程裁定', 'Flow Decision']);
+    if (!body)
+        return { status: 'missing', decision: null, message: 'analysis flow decision section is missing' };
+    const fields = Object.fromEntries(Object.entries(FIELD_ALIASES).map(([key, aliases]) => [key, fieldValues(body, aliases)]));
+    const invalid = Object.entries(fields).find(([, values]) => values.length !== 1);
+    if (invalid)
+        return { status: 'invalid', decision: null, message: `flow decision field '${invalid[0]}' must appear exactly once` };
+    const path = pathToken(fields.path[0]);
+    if (!path)
+        return { status: 'invalid', decision: null, message: `unknown lifecycle path '${fields.path[0]}'` };
+    const basis = normalizeText(fields.basis[0]);
+    const unmetHigherConditions = normalizeText(fields.unmetHigherConditions[0]);
+    const upgradeTriggers = normalizeText(fields.upgradeTriggers[0]);
+    if (!basis || !unmetHigherConditions || !upgradeTriggers)
+        return { status: 'invalid', decision: null, message: 'flow decision fields must be non-empty' };
+    return {
+        status: 'valid',
+        message: null,
+        decision: {
+            path,
+            stages: PATH_STAGES[path],
+            basis,
+            unmetHigherConditions,
+            upgradeTriggers,
+            semanticDigest: digest({ path, basis, unmetHigherConditions, upgradeTriggers }),
+            sourceArtifact,
+            sourceSha256
+        }
+    };
+}
+function pathIncludes(state, stage) {
+    return state?.status === 'valid' && state.decision.stages.includes(stage);
+}
+export { PATH_STAGES, parseLifecyclePathDecision, pathIncludes };
+//# sourceMappingURL=lifecycle-path.js.map

package/dist/lib/task/lifecycle.js

@@ -578,6 +578,16 @@ function applyTaskLifecycle(requestInput, options = {}) {
             return failed(request, { code: 'LIFECYCLE_JOURNAL_WRITE_FAILED', message: String(error) }, { taskId, sourceState, targetState: spec.target, sourcePath, targetPath, journalPath, task: { operations: taskOperations }, changed: true, completedSteps: [...completed], timestamp: journal.metadata.timestamp, agentInfraVersion: journal.metadata.agentInfraVersion });
         }
     }
+    if (options.prepareOnly && !completed.has('directory-moved')) {
+        return {
+            ...failed(request, { code: '', message: '' }), status: 'applied', changed: true, error: null,
+            taskId, sourceState, targetState: spec.target, sourcePath, targetPath,
+            task: { operations: taskOperations }, directory: { effect: 'unchanged', changed: false },
+            shortId: { effect: 'unchanged', shortId: null, changed: false },
+            timestamp: journal.metadata.timestamp, agentInfraVersion: journal.metadata.agentInfraVersion,
+            journalPath, completedSteps: [...completed], pendingSteps: STEPS.filter((step) => !completed.has(step))
+        };
+    }
     if (fs.existsSync(targetPath) && !fs.existsSync(sourcePath))
         completed.add('directory-moved');
     if (!completed.has('directory-moved')) {

package/dist/lib/task/local-artifact-finalization.js

@@ -3,9 +3,7 @@ import path from 'node:path';
 import { inspectDecisionDetailDuplicates } from './decision-details.js';
 import { scanVisibleMarkdown } from './markdown.js';
 import { parseArtifactName } from './artifact-name.js';
-import { hasOpenArtifactRound, } from './artifact-lifecycle.js';
 import { resolveTaskRef } from './resolve-ref.js';
-import { expectedQualificationRelations, validateQualificationAudit } from './qualification-audit.js';
 import { canonicalSemanticDigest, inspectArtifactPatterns, inspectArtifactStructure, sha256Content } from './artifact-operations.js';
 import { getArtifactSchema } from './artifact-schema.js';
 const LOCAL_ARTIFACT_REQUIRED_SECTIONS = {
@@ -57,21 +55,6 @@ function validateLocalArtifact(content, options) {
     const decisionDetails = inspectDecisionDetailDuplicates(content);
     if (!decisionDetails.ok)
         diagnostics.push({ code: 'LOCAL_DECISION_DETAIL_DUPLICATE', message: decisionDetails.message, line: null });
-    if (options.taskContent !== undefined) {
-        const identity = options.artifact ? parseArtifactName(options.artifact) : null;
-        const expected = identity?.family === options.family && hasOpenArtifactRound(options.taskContent, options.family, identity.round)
-            ? expectedQualificationRelations(options.taskContent, options.family)
-            : undefined;
-        if (expected && !expected.ok)
-            diagnostics.push({ code: 'LOCAL_QUALIFICATION_AUDIT_INVALID', message: `${expected.code}: ${expected.message}`, line: null });
-        const qualification = validateQualificationAudit(options.taskContent, content, {
-            family: options.family,
-            artifact: options.artifact,
-            expectedUpstreamRelations: expected?.ok ? expected.relations : undefined
-        });
-        if (!qualification.ok)
-            diagnostics.push({ code: 'LOCAL_QUALIFICATION_AUDIT_INVALID', message: `${qualification.code}: ${qualification.message}`, line: null });
-    }
     return {
         ok: diagnostics.length === 0,
         family: options.family,
@@ -98,10 +81,8 @@ function prepareLocalArtifact(request, candidate) {
     const parsed = parseArtifactName(request.artifact);
     if (!parsed || parsed.family !== request.family)
         return failed('ARTIFACT_IDENTITY_INVALID', `artifact '${request.artifact}' does not match ${request.family}`);
-    let taskContent;
     let content;
     try {
-        taskContent = fs.readFileSync(resolved.taskMdPath, 'utf8');
         const artifactPath = path.join(resolved.taskDir, request.artifact);
         if (!fs.statSync(artifactPath).isFile())
             return failed('ARTIFACT_NOT_REGULAR', `artifact '${request.artifact}' is not a regular file`);
@@ -114,7 +95,7 @@ function prepareLocalArtifact(request, candidate) {
         return failed('ARTIFACT_IDENTITY_INVALID', 'artifact finalization requires an active task');
     }
     const validation = validateLocalArtifact(content, {
-        family: request.family, requiredSections: request.requiredSections, taskContent, artifact: request.artifact
+        family: request.family, requiredSections: request.requiredSections
     });
     const artifactSha256 = sha256Content(content);
     const result = failedFinalization(request, {

package/dist/lib/task/orchestration.js

@@ -22,6 +22,7 @@ import { buildLifecycleFacts, canStart, recommendNext } from './capabilities.js'
 import { hasOpenLifecycleExecution } from './activity-log.js';
 import { reconcileTaskInvalidation } from './invalidation-command.js';
 import { normalizeAgentToken } from '../agent-clients/tokens.js';
+import { resolveArtifactContext } from './artifact-lifecycle.js';
 function supportsLifecycleDelegation(client) {
     return getAgentClientCapability(client, 'subagents').level !== 'unsupported'
         && getAgentClientCapability(client, 'orchestration').level !== 'unsupported'
@@ -479,17 +480,13 @@ function validateSavedCurrentDiffBase(repoRoot, metadata, taskDir, reviewedHead)
 function routeFromFacts(facts) {
     const recommendation = recommendNext(facts);
     if (!recommendation.action)
-        return { completion: true };
+        return recommendation.reasonCode === 'LIFECYCLE_REVIEWED' ? { completion: true } : null;
     const action = recommendation.action;
     if (action === 'manual-validation' || action === 'validation-run')
         return null;
-    const family = action === 'analysis' ? 'analysis' : action;
-    const round = maxArtifactRound([
-        ...(facts.artifacts[family] ?? []), ...(facts.staleArtifacts?.[family] ?? [])
-    ], family) + 1;
     const command = action === 'analysis' ? 'analyze-task' : action === 'plan' ? 'plan-task' : action === 'code' ? 'code-task' : action;
     const role = action.startsWith('review-') ? 'reviewer' : 'executor';
-    return { action: command, role, stage: action, round, artifact: artifactName(family, round) };
+    return { action: command, role, stage: action };
 }
 function routeOrchestration(taskRef, options = {}) {
     const resolved = resolveTaskRef(taskRef, { repoRoot: options.repoRoot });
@@ -619,8 +616,19 @@ function routeOrchestration(taskRef, options = {}) {
         return { status: 'completed', changed: true, taskId: resolved.taskId, run: completed, next: null, error: null };
     }
     const action = routed.stage;
+    const family = action === 'analysis' ? 'analysis' : action;
+    const artifactContext = resolveArtifactContext(taskRef, family, {
+        repoRoot: resolved.repoRoot
+    });
+    if (artifactContext.status !== 'ready' || !artifactContext.selection) {
+        return failed(artifactContext.error?.code ?? 'ORCHESTRATION_ARTIFACT_SELECTION_FAILED', artifactContext.error?.message ?? 'cannot determine artifact selection', resolved.taskId);
+    }
+    if (artifactContext.selection.disposition === 'reuse') {
+        return failed('ORCHESTRATION_REUSE_STALLED', `lifecycle still routes to ${action} after reusing ${artifactContext.selection.artifact.name}`, resolved.taskId);
+    }
+    const selected = artifactContext.selection.artifact;
     const capability = canStart(action, facts.facts, {
-        initiator: 'orchestrator', requestId: `orchestration:${resolved.taskId}:${routed.stage}:${routed.round}`,
+        initiator: 'orchestrator', requestId: `orchestration:${resolved.taskId}:${routed.stage}:${selected.round}`,
         requestedAction: action, reasonCode: 'user-request', explicitRequest: true
     });
     if (!capability.allowed)
@@ -628,6 +636,8 @@ function routeOrchestration(taskRef, options = {}) {
     const policy = run ? rolePolicy(run, routed.role) : null;
     const next = {
         ...routed,
+        round: selected.round,
+        artifact: selected.name,
         requestedModel: policy?.model ?? null,
         requestedReasoningEffort: policy?.reasoningEffort ?? null
     };

package/dist/lib/task/review-finalization.js

@@ -12,7 +12,6 @@ import { TaskExecutionLockError, withTaskExecutionLock } from './task-execution-
 import { allowsManualOverride } from './guard-override.js';
 import { getArtifactSchema } from './artifact-schema.js';
 import { canonicalSemanticDigest, inspectArtifactContract, sha256Content } from './artifact-operations.js';
-import { expectedQualificationRelations, validateQualificationAudit } from './qualification-audit.js';
 const STAGES = {
     analysis: { family: 'review-analysis' },
     plan: { family: 'review-plan' },
@@ -66,10 +65,8 @@ function preflightReviewSummaryUnlocked(request, options = {}) {
     const publicationError = validateArtifactPublication(resolved.taskDir, spec.family, request.artifact);
     if (publicationError)
         return preflightFailed(request, 'REVIEW_ARTIFACT_IDENTITY_INVALID', publicationError.message, resolved.taskId);
-    let taskContent;
     let content;
     try {
-        taskContent = fs.readFileSync(resolved.taskMdPath, 'utf8');
         const validated = validateCompletedArtifact(resolved.taskDir, spec.family, request.artifact);
         if (!validated.ok)
             return preflightFailed(request, validated.error.code === 'ARTIFACT_NOT_REGULAR' ? 'REVIEW_ARTIFACT_NOT_REGULAR' : 'REVIEW_ARTIFACT_IDENTITY_INVALID', validated.error.message, resolved.taskId);
@@ -89,22 +86,12 @@ function preflightReviewSummaryUnlocked(request, options = {}) {
     const semanticDigest = canonicalSemanticDigest(content);
     const detail = inspectDecisionDetailDuplicates(content);
     const structure = inspectArtifactContract(content, getArtifactSchema(spec.family));
-    const expected = expectedQualificationRelations(taskContent, spec.family);
-    if (!expected.ok)
-        return preflightFailed(request, 'REVIEW_ARTIFACT_QUALIFICATION_INVALID', `${expected.code}: ${expected.message}`, resolved.taskId, { artifactSha256, semanticDigest });
-    const qualification = validateQualificationAudit(taskContent, content, {
-        family: spec.family,
-        artifact: request.artifact,
-        expectedUpstreamRelations: expected.relations
-    });
-    const qualificationError = qualification.ok ? null : qualification;
-    if (!detail.ok || !structure.ok || qualificationError) {
+    if (!detail.ok || !structure.ok) {
         const diagnostics = [
             ...(!detail.ok ? [`${detail.code}: ${detail.message}`] : []),
-            ...structure.diagnostics.map((item) => `${item.code}: ${item.message}`),
-            ...(qualificationError ? [`${qualificationError.code}: ${qualificationError.message}`] : [])
+            ...structure.diagnostics.map((item) => `${item.code}: ${item.message}`)
         ].join('; ');
-        return preflightFailed(request, !detail.ok ? 'REVIEW_DECISION_DETAIL_INVALID' : !structure.ok ? 'REVIEW_ARTIFACT_STRUCTURE_INVALID' : 'REVIEW_ARTIFACT_QUALIFICATION_INVALID', diagnostics, resolved.taskId, {
+        return preflightFailed(request, !detail.ok ? 'REVIEW_DECISION_DETAIL_INVALID' : 'REVIEW_ARTIFACT_STRUCTURE_INVALID', diagnostics, resolved.taskId, {
             artifactSha256, semanticDigest,
         });
     }

package/dist/lib/task/rework-intent.js

@@ -1,5 +1,9 @@
 const REWORK_INTENT_HEADINGS = ['返工意图', 'Rework Intent'];
 const REWORK_INTENT_COLUMNS = [
+    'intent_id', 'finding_id', 'source_artifact', 'source_sha256', 'target',
+    'classification', 'evidence_digest', 'task_fact_digest', 'status', 'declared_at', 'consumed_at'
+];
+const LEGACY_REWORK_INTENT_COLUMNS = [
     'intent_id', 'finding_id', 'source_artifact', 'source_sha256', 'target',
     'status', 'declared_at', 'consumed_at'
 ];
@@ -55,12 +59,16 @@ function parseReworkIntentDocument(content) {
                 throw new Error(`invalid intent id '${row.intent_id}'`);
             if (!/^(AN|PL|CD)-[1-9]\d*$/.test(row.finding_id))
                 throw new Error(`invalid finding id '${row.finding_id}'`);
-            if (!['analysis', 'plan', 'code'].includes(row.target))
+            if (!['analysis', 'plan', 'code', 'pause'].includes(row.target))
                 throw new Error(`invalid rework target '${row.target}'`);
+            if (!['scope-or-requirement', 'design', 'implementation', 'human-decision', 'insufficient-evidence'].includes(row.classification))
+                throw new Error(`invalid rework classification '${row.classification}'`);
             if (!['pending', 'consumed', 'superseded'].includes(row.status))
                 throw new Error(`invalid rework status '${row.status}'`);
             if (!/^[a-f0-9]{64}$/.test(row.source_sha256))
                 throw new Error(`invalid source hash for '${row.intent_id}'`);
+            if (!/^[a-f0-9]{64}$/.test(row.evidence_digest) || !/^[a-f0-9]{64}$/.test(row.task_fact_digest))
+                throw new Error(`invalid semantic digest for '${row.intent_id}'`);
             if (!row.source_artifact || !row.declared_at)
                 throw new Error(`rework intent '${row.intent_id}' has invalid required fields`);
             const terminal = row.status === 'consumed' || row.status === 'superseded';
@@ -69,6 +77,8 @@ function parseReworkIntentDocument(content) {
             return {
                 intentId: row.intent_id, findingId: row.finding_id, sourceArtifact: row.source_artifact,
                 sourceSha256: row.source_sha256, target: row.target,
+                classification: row.classification,
+                evidenceDigest: row.evidence_digest, taskFactDigest: row.task_fact_digest,
                 status: row.status, declaredAt: row.declared_at, consumedAt: row.consumed_at
             };
         });
@@ -91,7 +101,10 @@ function renderReworkIntents(intents) {
         `| ${REWORK_INTENT_COLUMNS.map(() => '---').join(' | ')} |`,
         ...intents.map((intent) => `| ${[
             intent.intentId, intent.findingId, intent.sourceArtifact, intent.sourceSha256,
-            intent.target, intent.status, intent.declaredAt, intent.consumedAt
+            intent.target, intent.classification ?? (intent.target === 'analysis' ? 'scope-or-requirement' : intent.target === 'plan' ? 'design' : intent.target === 'code' ? 'implementation' : 'insufficient-evidence'),
+            intent.evidenceDigest ?? requireDigest(`${intent.findingId}|${intent.sourceArtifact}|${intent.sourceSha256}`),
+            intent.taskFactDigest ?? requireDigest(`current|${intent.findingId}|${intent.target}`),
+            intent.status, intent.declaredAt, intent.consumedAt
         ].map(escape).join(' | ')} |`)
     ].join('\n');
 }
@@ -99,11 +112,63 @@ function upsertReworkIntent(intents, intent) {
     const existing = intents.find((candidate) => candidate.intentId === intent.intentId);
     if (!existing)
         return { changed: true, intents: [...intents, intent] };
-    const identity = (value) => [value.intentId, value.findingId, value.sourceArtifact, value.sourceSha256, value.target];
+    const identity = (value) => [value.intentId, value.findingId, value.sourceArtifact, value.sourceSha256, value.target, value.classification, value.evidenceDigest, value.taskFactDigest];
     if (JSON.stringify(identity(existing)) !== JSON.stringify(identity(intent)))
         throw new Error(`intent '${intent.intentId}' identity conflicts with existing state`);
     return { changed: false, intents };
 }
+function consumeHumanDecisionReworkIntents(intents, findingId, consumedAt) {
+    let changed = false;
+    const next = intents.map((intent) => {
+        if (intent.status !== 'pending' || intent.target !== 'pause' || intent.classification !== 'human-decision' || intent.findingId !== findingId)
+            return intent;
+        changed = true;
+        return { ...intent, status: 'consumed', consumedAt };
+    });
+    return { changed, intents: next };
+}
+function parseLegacyReworkIntentDocument(content) {
+    // TODO(compat): Remove this explicit decoder once no task contains the eight-column rework-intent header.
+    const body = sectionBody(content);
+    if (body === null)
+        return { ok: false, code: 'TASK_REWORK_INTENT_INVALID', message: 'legacy rework intent section is missing' };
+    const lines = body.split(/\r?\n/).filter((line) => line.trim());
+    const header = lines[0] ? cells(lines[0]) : null;
+    const separator = lines[1] ? cells(lines[1]) : null;
+    if (!header || !separator || header.length !== LEGACY_REWORK_INTENT_COLUMNS.length || !header.every((value, index) => value === LEGACY_REWORK_INTENT_COLUMNS[index])) {
+        return { ok: false, code: 'TASK_REWORK_INTENT_INVALID', message: 'rework intent section is not the known legacy table' };
+    }
+    try {
+        const intents = lines.slice(2).map((line) => {
+            const values = cells(line);
+            if (!values || values.length !== LEGACY_REWORK_INTENT_COLUMNS.length)
+                throw new Error('legacy rework intent row has the wrong column count');
+            const row = Object.fromEntries(LEGACY_REWORK_INTENT_COLUMNS.map((column, index) => [column, values[index]]));
+            if (!/^RI-[1-9]\d*$/.test(row.intent_id) || !/^(AN|PL|CD)-[1-9]\d*$/.test(row.finding_id))
+                throw new Error('legacy rework intent identity is invalid');
+            if (!['analysis', 'plan', 'code'].includes(row.target) || !['pending', 'consumed', 'superseded'].includes(row.status))
+                throw new Error('legacy rework intent state is invalid');
+            if (!/^[a-f0-9]{64}$/.test(row.source_sha256))
+                throw new Error('legacy rework intent source hash is invalid');
+            const legacyDigest = (value) => requireDigest(value);
+            const classification = row.target === 'analysis' ? 'scope-or-requirement' : row.target === 'plan' ? 'design' : 'implementation';
+            return {
+                intentId: row.intent_id, findingId: row.finding_id, sourceArtifact: row.source_artifact, sourceSha256: row.source_sha256,
+                target: row.target, classification,
+                evidenceDigest: legacyDigest(`${row.finding_id}|${row.source_artifact}|${row.source_sha256}`),
+                taskFactDigest: legacyDigest(`legacy|${row.finding_id}|${row.target}`),
+                status: row.status, declaredAt: row.declared_at, consumedAt: row.consumed_at
+            };
+        });
+        return { ok: true, present: true, intents };
+    }
+    catch (error) {
+        return { ok: false, code: 'TASK_REWORK_INTENT_INVALID', message: error instanceof Error ? error.message : String(error) };
+    }
+}
+function requireDigest(value) {
+    return createHash('sha256').update(value).digest('hex');
+}
 function consumeReworkIntents(intents, target, sourceHashes, consumedAt) {
     let changed = false;
     const next = intents.map((intent) => {
@@ -134,5 +199,6 @@ function reworkIntentMutation(content, intents) {
         body: renderReworkIntents(intents)
     };
 }
-export { REWORK_INTENT_COLUMNS, REWORK_INTENT_HEADINGS, parseReworkIntentDocument, renderReworkIntents, reworkIntentMutation, consumeReworkIntents, supersedeReworkIntents, upsertReworkIntent };
+export { REWORK_INTENT_COLUMNS, REWORK_INTENT_HEADINGS, parseReworkIntentDocument, renderReworkIntents, reworkIntentMutation, consumeReworkIntents, supersedeReworkIntents, upsertReworkIntent, consumeHumanDecisionReworkIntents, parseLegacyReworkIntentDocument };
+import { createHash } from 'node:crypto';
 //# sourceMappingURL=rework-intent.js.map