@fitlab-ai/agent-infra 0.12.1 → 0.12.2

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

@@ -1,410 +0,0 @@
-import { randomUUID } from 'node:crypto';
-import { isAgentClientId } from '../agent-clients/types.js';
-import { normalizeAgentToken } from '../agent-clients/tokens.js';
-function isRecord(value) {
-    return typeof value === 'object' && value !== null && !Array.isArray(value);
-}
-function hasExactKeys(value, required, optional = []) {
-    if (!isRecord(value))
-        return false;
-    const keys = Object.keys(value);
-    const allowed = new Set([...required, ...optional]);
-    return required.every((key) => Object.prototype.hasOwnProperty.call(value, key))
-        && keys.every((key) => allowed.has(key));
-}
-function exactText(value) {
-    return typeof value === 'string' && value.length > 0 && value.trim() === value;
-}
-function nullableText(value) {
-    return value === null || exactText(value);
-}
-function nullableSafeInteger(value) {
-    return value === null || (Number.isSafeInteger(value) && value >= 0);
-}
-const RECEIPT_KEYS = [
-    'id', 'taskId', 'runId', 'role', 'stage', 'round', 'artifact', 'client',
-    'requestedModel', 'requestedReasoningEffort', 'actualModel', 'actualReasoningEffort',
-    'modelFallbackReason', 'reasoningEffortFallbackReason', 'parentId', 'childId',
-    'spawnMode', 'agent', 'status', 'workspaceSnapshotScope',
-    'beforeFingerprint', 'afterFingerprint', 'changedPaths', 'createdAt',
-    'preparedMonotonicMs', 'spawnDispatchMonotonicMs', 'activationDeadlineMonotonicMs',
-    'spawnDispatchedAt', 'activationDeadlineAt', 'startEvidenceMonotonicMs',
-    'activatedMonotonicMs', 'activatedAt', 'sealedAt', 'consumedAt'
-];
-const RECEIPT_OPTIONAL_KEYS = ['adapterEvidence'];
-function isJsonRecord(value) {
-    if (!value || typeof value !== 'object' || Array.isArray(value))
-        return false;
-    try {
-        return JSON.parse(JSON.stringify(value)) !== null;
-    }
-    catch {
-        return false;
-    }
-}
-function withClientEvidence(receipt, evidence) {
-    if (evidence === undefined)
-        return receipt.adapterEvidence ?? Object.freeze({});
-    if (!isJsonRecord(evidence))
-        return null;
-    return Object.freeze({
-        ...(receipt.adapterEvidence ?? {}),
-        [receipt.client]: JSON.parse(JSON.stringify(evidence))
-    });
-}
-function hasStatusBoundEvidence(receipt) {
-    const dispatchFields = [
-        receipt.spawnDispatchMonotonicMs,
-        receipt.activationDeadlineMonotonicMs,
-        receipt.spawnDispatchedAt,
-        receipt.activationDeadlineAt
-    ];
-    const dispatchEmpty = dispatchFields.every((field) => field === null);
-    const dispatchComplete = dispatchFields.every((field) => field !== null);
-    if (!dispatchEmpty && !dispatchComplete)
-        return false;
-    const beforeActivation = ['prepared', 'expired'].includes(receipt.status)
-        || (receipt.status === 'aborted' && receipt.activatedAt === null);
-    if (beforeActivation) {
-        return receipt.parentId === null
-            && receipt.childId === null
-            && receipt.spawnMode === null
-            && receipt.actualModel === null
-            && receipt.actualReasoningEffort === null
-            && receipt.modelFallbackReason === null
-            && receipt.reasoningEffortFallbackReason === null
-            && receipt.agent === null
-            && receipt.startEvidenceMonotonicMs === null
-            && receipt.activatedMonotonicMs === null
-            && receipt.activatedAt === null
-            && receipt.afterFingerprint === null
-            && receipt.changedPaths.length === 0
-            && receipt.sealedAt === null
-            && receipt.consumedAt === null;
-    }
-    if (!dispatchComplete
-        || !exactText(receipt.parentId)
-        || !exactText(receipt.childId)
-        || receipt.parentId === receipt.childId
-        || receipt.startEvidenceMonotonicMs === null
-        || receipt.activatedMonotonicMs === null
-        || !exactText(receipt.activatedAt))
-        return false;
-    if (receipt.status === 'activated') {
-        return receipt.agent === null
-            && receipt.afterFingerprint === null
-            && receipt.changedPaths.length === 0
-            && receipt.sealedAt === null
-            && receipt.consumedAt === null;
-    }
-    if (receipt.status === 'aborted') {
-        return receipt.agent === null
-            && receipt.afterFingerprint === null
-            && receipt.changedPaths.length === 0
-            && receipt.sealedAt === null
-            && receipt.consumedAt === null
-            && receipt.childId !== null;
-    }
-    if (!exactText(receipt.agent)
-        || normalizeAgentToken(receipt.agent) !== normalizeAgentToken(receipt.client))
-        return false;
-    if (receipt.status === 'stage-completed') {
-        return receipt.afterFingerprint === null
-            && receipt.changedPaths.length === 0
-            && receipt.sealedAt === null
-            && receipt.consumedAt === null;
-    }
-    if (!exactText(receipt.afterFingerprint) || !exactText(receipt.sealedAt))
-        return false;
-    return receipt.status === 'sealed'
-        ? receipt.consumedAt === null
-        : receipt.status === 'consumed' && exactText(receipt.consumedAt);
-}
-function isDelegationReceipt(value) {
-    if (!hasExactKeys(value, RECEIPT_KEYS, RECEIPT_OPTIONAL_KEYS))
-        return false;
-    const structurallyValid = exactText(value.id)
-        && exactText(value.taskId)
-        && exactText(value.runId)
-        && ['executor', 'reviewer'].includes(value.role)
-        && ['analysis', 'review-analysis', 'plan', 'review-plan', 'code', 'review-code', 'commit'].includes(value.stage)
-        && Number.isSafeInteger(value.round)
-        && value.round > 0
-        && exactText(value.artifact)
-        && isAgentClientId(value.client)
-        && exactText(value.requestedModel)
-        && exactText(value.requestedReasoningEffort)
-        && nullableText(value.actualModel)
-        && nullableText(value.actualReasoningEffort)
-        && nullableText(value.modelFallbackReason)
-        && nullableText(value.reasoningEffortFallbackReason)
-        && nullableText(value.parentId)
-        && nullableText(value.childId)
-        && nullableText(value.spawnMode)
-        && nullableText(value.agent)
-        && ['prepared', 'activated', 'stage-completed', 'sealed', 'consumed', 'aborted', 'expired'].includes(value.status)
-        && value.workspaceSnapshotScope === 'task'
-        && (value.adapterEvidence === undefined || isJsonRecord(value.adapterEvidence))
-        && exactText(value.beforeFingerprint)
-        && nullableText(value.afterFingerprint)
-        && Array.isArray(value.changedPaths)
-        && value.changedPaths.every(exactText)
-        && exactText(value.createdAt)
-        && nullableSafeInteger(value.preparedMonotonicMs)
-        && value.preparedMonotonicMs !== null
-        && nullableSafeInteger(value.spawnDispatchMonotonicMs)
-        && nullableSafeInteger(value.activationDeadlineMonotonicMs)
-        && nullableText(value.spawnDispatchedAt)
-        && nullableText(value.activationDeadlineAt)
-        && nullableSafeInteger(value.startEvidenceMonotonicMs)
-        && nullableSafeInteger(value.activatedMonotonicMs)
-        && nullableText(value.activatedAt)
-        && nullableText(value.sealedAt)
-        && nullableText(value.consumedAt);
-    if (!structurallyValid)
-        return false;
-    const receipt = value;
-    if (!hasStatusBoundEvidence(receipt))
-        return false;
-    return true;
-}
-const MANAGED_AGENTS = {
-    'agent-infra-lifecycle-executor': 'executor',
-    'agent-infra-lifecycle-reviewer': 'reviewer'
-};
-function managedDelegationRole(nativeAgent) {
-    return MANAGED_AGENTS[nativeAgent] ?? null;
-}
-function fail(code, message) {
-    return { ok: false, code, message };
-}
-// 空白串折叠为 null，保持"缺失即 null"的单一表示（Start/Stop 两处共用，避免任一入口把 "   " 当成已观察到的值入账）
-function foldBlankToNull(value) {
-    return value?.trim() ? value : null;
-}
-function validateSealRequest(receipt, event) {
-    if (receipt.status !== 'stage-completed') {
-        return fail('DELEGATION_STATE_INVALID', `delegation ${receipt.id} is ${receipt.status}, expected stage-completed`);
-    }
-    if (event.childId !== receipt.childId || event.exitCode !== 0) {
-        return fail('DELEGATION_STOP_INVALID', 'native stop identity or exit status is invalid');
-    }
-    const reviewerPathFailure = validateReviewerSealPaths(receipt, event.changedPaths);
-    return reviewerPathFailure;
-}
-function validateReviewerSealPaths(receipt, changedPaths) {
-    if (receipt.role !== 'reviewer')
-        return null;
-    const taskRoot = `task-workspace/active/${receipt.taskId}/`;
-    const allowed = new Set([
-        `${taskRoot}${receipt.artifact}`,
-        `${taskRoot}task.md`,
-        `${taskRoot}.runtime/orchestration.json`
-    ]);
-    const disallowed = changedPaths.find((entry) => !allowed.has(entry));
-    return disallowed
-        ? fail('DELEGATION_REVIEWER_WRITE_FORBIDDEN', `reviewer changed forbidden path '${disallowed}'`)
-        : null;
-}
-function prepareDelegation(input, options = {}) {
-    const monotonic = (options.monotonicNow ?? (() => Number(process.hrtime.bigint() / 1000000n)))();
-    return Object.freeze({
-        ...input,
-        adapterEvidence: Object.freeze({ ...(input.adapterEvidence ?? {}) }),
-        id: (options.id ?? randomUUID)(),
-        actualModel: null,
-        actualReasoningEffort: null,
-        modelFallbackReason: null,
-        reasoningEffortFallbackReason: null,
-        parentId: null,
-        childId: null,
-        spawnMode: null,
-        agent: null,
-        status: 'prepared',
-        afterFingerprint: null,
-        changedPaths: Object.freeze([]),
-        createdAt: (options.now ?? (() => new Date().toISOString()))(),
-        preparedMonotonicMs: monotonic,
-        spawnDispatchMonotonicMs: null,
-        activationDeadlineMonotonicMs: null,
-        spawnDispatchedAt: null,
-        activationDeadlineAt: null,
-        startEvidenceMonotonicMs: null,
-        activatedMonotonicMs: null,
-        activatedAt: null,
-        sealedAt: null,
-        consumedAt: null
-    });
-}
-function dispatchDelegation(receipt, options = {}) {
-    if (receipt.status !== 'prepared') {
-        return fail('DELEGATION_STATE_INVALID', `delegation ${receipt.id} is ${receipt.status}, expected prepared`);
-    }
-    if (receipt.spawnDispatchMonotonicMs != null || receipt.spawnDispatchedAt != null) {
-        return fail('DELEGATION_DISPATCH_REPLAY', `delegation ${receipt.id} was already dispatched`);
-    }
-    const monotonic = (options.monotonicNow ?? (() => Number(process.hrtime.bigint() / 1000000n)))();
-    const dispatchedAt = (options.now ?? (() => new Date().toISOString()))();
-    const window = options.activationWindowMs ?? 60_000;
-    return { ok: true, receipt: Object.freeze({
-            ...receipt,
-            spawnDispatchMonotonicMs: monotonic,
-            activationDeadlineMonotonicMs: monotonic + window,
-            spawnDispatchedAt: dispatchedAt,
-            activationDeadlineAt: new Date(Date.parse(dispatchedAt) + window).toISOString()
-        }) };
-}
-function activateDelegation(receipt, event, options = {}) {
-    const managedRole = managedDelegationRole(event.nativeAgent);
-    if (!managedRole)
-        return fail('DELEGATION_IGNORED', `subagent '${event.nativeAgent}' is not lifecycle-managed`);
-    if (receipt.status !== 'prepared')
-        return fail('DELEGATION_STATE_INVALID', `delegation ${receipt.id} is ${receipt.status}, expected prepared`);
-    if (receipt.spawnDispatchMonotonicMs == null
-        || receipt.spawnDispatchedAt == null
-        || receipt.activationDeadlineAt == null
-        || receipt.activationDeadlineMonotonicMs == null
-        || !Number.isFinite(Date.parse(receipt.spawnDispatchedAt))
-        || !Number.isFinite(Date.parse(receipt.activationDeadlineAt))) {
-        return fail('DELEGATION_NOT_DISPATCHED', `delegation ${receipt.id} has not reached the native spawn dispatch boundary`);
-    }
-    const monotonic = (options.monotonicNow ?? (() => Number(process.hrtime.bigint() / 1000000n)))();
-    const wallNow = Date.parse((options.now ?? (() => new Date().toISOString()))());
-    if (wallNow > Date.parse(receipt.activationDeadlineAt)) {
-        return fail('DELEGATION_ACTIVATION_TIMEOUT', `delegation ${receipt.id} activation evidence arrived after its deadline`);
-    }
-    if (managedRole !== receipt.role)
-        return fail('DELEGATION_ROLE_MISMATCH', `managed role ${managedRole} does not match ${receipt.role}`);
-    if (!event.parentId || (receipt.parentId !== null && event.parentId !== receipt.parentId) || !event.childId || event.childId === event.parentId) {
-        return fail('DELEGATION_IDENTITY_INVALID', 'native parent/child identity does not match the prepared delegation');
-    }
-    const evidencePolicy = options.evidencePolicy ?? {};
-    if (evidencePolicy.spawnModeRequired !== false && event.spawnMode !== 'fresh') {
-        return fail('DELEGATION_FORK_FORBIDDEN', `spawn mode '${event.spawnMode}' is not fresh`);
-    }
-    const actualModel = foldBlankToNull(event.actualModel);
-    const actualReasoningEffort = foldBlankToNull(event.actualReasoningEffort);
-    if (evidencePolicy.actualModelRequired !== false) {
-        if (!actualModel || actualModel.trim() !== actualModel) {
-            return fail('DELEGATION_MODEL_IDENTITY_MISSING', 'native start event must provide a non-empty actual model identity');
-        }
-    }
-    if (actualModel !== null && actualModel !== receipt.requestedModel) {
-        if (evidencePolicy.fallbackReasonRequired !== false && (!event.modelFallbackReason || event.modelFallbackReason.trim() === '')) {
-            return fail('DELEGATION_MODEL_FALLBACK_UNRECORDED', 'actual model differs from requested model without a fallback reason');
-        }
-    }
-    if (evidencePolicy.actualReasoningEffortRequired !== false) {
-        if (!actualReasoningEffort || actualReasoningEffort.trim() !== actualReasoningEffort) {
-            return fail('DELEGATION_REASONING_EFFORT_MISSING', 'native start event must provide a non-empty actual reasoning effort');
-        }
-    }
-    if (actualReasoningEffort !== null && actualReasoningEffort !== receipt.requestedReasoningEffort) {
-        if (evidencePolicy.fallbackReasonRequired !== false && (!event.reasoningEffortFallbackReason || event.reasoningEffortFallbackReason.trim() === '')) {
-            return fail('DELEGATION_REASONING_EFFORT_FALLBACK_UNRECORDED', 'actual reasoning effort differs from requested effort without a fallback reason');
-        }
-    }
-    // "无关 fallback 理由"检查对所有 client 保持不变——防止编造理由的红线，不属于 HDR-2 放宽范围
-    // actualModel/actualReasoningEffort 为 null（未观察到）时同样没有"实际不同"这回事，理由一样是无关的
-    if ((actualModel === null || actualModel === receipt.requestedModel) && event.modelFallbackReason) {
-        return fail('DELEGATION_MODEL_FALLBACK_INVALID', 'model fallback reason is only valid when actual model differs');
-    }
-    if ((actualReasoningEffort === null || actualReasoningEffort === receipt.requestedReasoningEffort)
-        && event.reasoningEffortFallbackReason) {
-        return fail('DELEGATION_REASONING_EFFORT_FALLBACK_INVALID', 'reasoning-effort fallback reason is only valid when actual effort differs');
-    }
-    const adapterEvidence = withClientEvidence(receipt, event.clientEvidence);
-    if (!adapterEvidence)
-        return fail('DELEGATION_ADAPTER_EVIDENCE_INVALID', 'adapter evidence must be a JSON object');
-    return { ok: true, receipt: Object.freeze({
-            ...receipt,
-            status: 'activated',
-            parentId: event.parentId,
-            childId: event.childId,
-            spawnMode: event.spawnMode ?? null,
-            actualModel,
-            actualReasoningEffort,
-            modelFallbackReason: event.modelFallbackReason ?? null,
-            reasoningEffortFallbackReason: event.reasoningEffortFallbackReason ?? null,
-            adapterEvidence,
-            startEvidenceMonotonicMs: monotonic,
-            activatedMonotonicMs: (options.monotonicNow ?? (() => Number(process.hrtime.bigint() / 1000000n)))(),
-            activatedAt: new Date(wallNow).toISOString()
-        }) };
-}
-function abortPreparedDelegation(receipt) {
-    if (receipt.status !== 'prepared') {
-        return fail('DELEGATION_STATE_INVALID', `delegation ${receipt.id} is ${receipt.status}, expected prepared`);
-    }
-    return {
-        ok: true,
-        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 (event.childId !== receipt.childId)
-        return fail('DELEGATION_RECOVERY_EVIDENCE_INVALID', 'recovery child does not match the activated delegation');
-    const adapterEvidence = withClientEvidence(receipt, event.clientEvidence);
-    if (!adapterEvidence)
-        return fail('DELEGATION_ADAPTER_EVIDENCE_INVALID', 'adapter evidence must be a JSON object');
-    return {
-        ok: true,
-        receipt: Object.freeze({
-            ...receipt,
-            status: 'aborted',
-            agent: null,
-            afterFingerprint: null,
-            changedPaths: Object.freeze([]),
-            sealedAt: null,
-            consumedAt: null,
-            adapterEvidence
-        })
-    };
-}
-function completeDelegationStage(receipt, event) {
-    if (receipt.status !== 'activated')
-        return fail('DELEGATION_STATE_INVALID', `delegation ${receipt.id} is ${receipt.status}, expected activated`);
-    if (event.stage !== receipt.stage || event.round !== receipt.round || event.artifact !== receipt.artifact) {
-        return fail('DELEGATION_STAGE_MISMATCH', 'stage completion identity does not match the active delegation');
-    }
-    if (normalizeAgentToken(event.agent) !== normalizeAgentToken(receipt.client)) {
-        return fail('DELEGATION_AGENT_MISMATCH', `stage agent '${event.agent}' does not match client '${receipt.client}'`);
-    }
-    return { ok: true, receipt: Object.freeze({ ...receipt, status: 'stage-completed', agent: event.agent }) };
-}
-function sealDelegation(receipt, event, options = {}) {
-    const validationFailure = validateSealRequest(receipt, event);
-    if (validationFailure)
-        return validationFailure;
-    const adapterEvidence = withClientEvidence(receipt, event.clientEvidence);
-    if (!adapterEvidence)
-        return fail('DELEGATION_ADAPTER_EVIDENCE_INVALID', 'adapter evidence must be a JSON object');
-    return { ok: true, receipt: Object.freeze({
-            ...receipt,
-            status: 'sealed',
-            afterFingerprint: event.afterFingerprint,
-            changedPaths: Object.freeze([...event.changedPaths]),
-            actualModel: receipt.actualModel ?? foldBlankToNull(event.actualModel),
-            actualReasoningEffort: receipt.actualReasoningEffort ?? foldBlankToNull(event.actualReasoningEffort),
-            modelFallbackReason: receipt.modelFallbackReason ?? event.modelFallbackReason ?? null,
-            reasoningEffortFallbackReason: receipt.reasoningEffortFallbackReason ?? event.reasoningEffortFallbackReason ?? null,
-            adapterEvidence,
-            sealedAt: (options.now ?? (() => new Date().toISOString()))()
-        }) };
-}
-function consumeDelegation(receipt, options = {}) {
-    if (receipt.status === 'consumed')
-        return fail('DELEGATION_REPLAY', `delegation ${receipt.id} was already consumed`);
-    if (receipt.status !== 'sealed')
-        return fail('DELEGATION_STATE_INVALID', `delegation ${receipt.id} is ${receipt.status}, expected sealed`);
-    return { ok: true, receipt: Object.freeze({
-            ...receipt,
-            status: 'consumed',
-            consumedAt: (options.now ?? (() => new Date().toISOString()))()
-        }) };
-}
-export { activateDelegation, abortActivatedDelegation, abortPreparedDelegation, completeDelegationStage, consumeDelegation, dispatchDelegation, foldBlankToNull, isDelegationReceipt, managedDelegationRole, prepareDelegation, sealDelegation };
-//# sourceMappingURL=delegation-receipts.js.map