@sema-agent/client-core 0.112.1 → 0.113.0

package/dist/engineUnavailable.js

@@ -17,7 +17,17 @@ export const ENGINE_UNAVAILABLE_REASONS = Object.freeze([
 ]);
 export const ENGINE_INSTALL_SHAPES = Object.freeze(['npm-global', 'managed', 'npm-local', 'dev', 'app', 'unknown']);
 const SCHEMA_MISMATCH_CODE = 'config.schema_mismatch';
-const WAYS_OUT_ANCHOR = /Ways out \(these three and no others\):/;
+const WAYS_OUT_FORMS = Object.freeze([
+    Object.freeze({ header: /Ways out \(these three and no others\):/, waysOut: Object.freeze(['newer_build', 'separate_data_root', 'restore_backup', 'repair_access']) }),
+    Object.freeze({
+        header: /Ways out \(these four and no others\):/,
+        waysOut: Object.freeze(['newer_build', 'separate_data_root', 'restore_backup', 'repair_access', 'start_migration_release']),
+    }),
+]);
+const WAYS_OUT_HEADER_PREFIX = 'Ways out (';
+const LOCAL_DATA_ROOT_NAMED = /(?:^|\n)[ \t]*LocalDataRootSchemaMismatchError(?: \[config\.schema_mismatch\])?: config\.schema_mismatch:/;
+const LIBRARY_NAMED = /(?:^|\n)[ \t]*SchemaMismatchRefusedError(?: \[config\.schema_mismatch\])?: config\.schema_mismatch:/;
+const SKIPPED_MIGRATION_FINDING = /Start the root once with a release at or above (\S+) that still carries that migration/;
 const MARKER_ROLE = /^the local engine high-water marker$/;
 export const ENGINE_BOOT_REFUSAL_CODES = Object.freeze(Object.fromEntries([
     ...SETTINGS_MODEL_PLANE_REFUSAL_CODES.map((c) => [c, 'model_setup']),
@@ -86,13 +96,32 @@ function refusalCodesIn(text) {
 const BOOT_REFUSAL_MAX_CHARS = 800;
 const BOOT_REFUSAL_MAX_HINTS = 2;
 const BOOT_REFUSAL_MAX_FINDINGS = 8;
+const BOOT_REFUSAL_MAX_READ_LINES = 4096;
 const CONFIG_CODE = /^config\.[A-Za-z0-9_.-]+$/;
 function capSentence(s) {
     const t = s.trim();
     return t.length > BOOT_REFUSAL_MAX_CHARS ? `${t.slice(0, BOOT_REFUSAL_MAX_CHARS)}…` : t;
 }
+function waysOutFormOf(text) {
+    let best;
+    let bestAt = Number.POSITIVE_INFINITY;
+    for (const form of WAYS_OUT_FORMS) {
+        const at = text.search(form.header);
+        if (at >= 0 && at < bestAt) {
+            best = form;
+            bestAt = at;
+        }
+    }
+    return best;
+}
+function waysOutHeaderUnlisted(text) {
+    return refusalCodesIn(text).includes(SCHEMA_MISMATCH_CODE) && waysOutFormOf(text) === undefined && text.includes(WAYS_OUT_HEADER_PREFIX);
+}
 function dataRootReadingOf(text) {
-    if (!text.includes(SCHEMA_MISMATCH_CODE) || !WAYS_OUT_ANCHOR.test(text))
+    if (!text.includes(SCHEMA_MISMATCH_CODE) || LIBRARY_NAMED.test(text))
+        return undefined;
+    const form = waysOutFormOf(text);
+    if (form === undefined && !LOCAL_DATA_ROOT_NAMED.test(text))
         return undefined;
     const lines = text.split(/\r?\n/);
     const at = lines.findIndex((l) => l.includes(`${SCHEMA_MISMATCH_CODE}:`));
@@ -107,14 +136,17 @@ function dataRootReadingOf(text) {
     let highWater;
     let engineVersion;
     let markerPath;
+    let migrationRelease;
     let newer = false;
     let unreadable = false;
-    for (let i = at + 1; i < lines.length && findings.length < BOOT_REFUSAL_MAX_FINDINGS; i++) {
+    let skipped = false;
+    for (let i = at + 1; i < lines.length && i - at <= BOOT_REFUSAL_MAX_READ_LINES; i++) {
         const l = lines[i];
-        if (WAYS_OUT_ANCHOR.test(l) || !/^\s+\S/.test(l))
+        if (l.includes(WAYS_OUT_HEADER_PREFIX) || !/^\s+\S/.test(l))
             break;
-        const f = capSentence(l);
-        findings.push(f);
+        if (findings.length < BOOT_REFUSAL_MAX_FINDINGS)
+            findings.push(capSentence(l));
+        const f = l.trim();
         const hw = /: engine high-water (\S+) — .*NEWER than this build \(([^()\s]+)\)/.exec(f);
         if (hw !== null) {
             newer = true;
@@ -131,6 +163,14 @@ function dataRootReadingOf(text) {
             newer = true;
             continue;
         }
+        const sk = SKIPPED_MIGRATION_FINDING.exec(l);
+        if (sk !== null) {
+            skipped = true;
+            const r = sk[1];
+            if (isRelease(r) && (migrationRelease === undefined || compareReleaseVersions(r, migrationRelease) === 1))
+                migrationRelease = r;
+            continue;
+        }
         const un = /^\S+ \(([^()]*)\) at (.+?): unreadable \([^()\s]+\)/.exec(f);
         if (un !== null) {
             unreadable = true;
@@ -139,11 +179,14 @@ function dataRootReadingOf(text) {
         }
     }
     return {
-        variant: newer ? 'newer_root' : unreadable ? 'unreadable' : 'unknown',
+        variant: newer ? 'newer_root' : unreadable ? 'unreadable' : skipped ? 'skipped_migration' : 'unknown',
         findings: [head, ...findings],
         ...(highWater !== undefined ? { highWater } : {}),
         ...(engineVersion !== undefined ? { engineVersion } : {}),
         ...(markerPath !== undefined ? { markerPath } : {}),
+        ...(migrationRelease !== undefined ? { migrationRelease } : {}),
+        ...(form !== undefined ? { waysOut: form.waysOut } : {}),
+        waysOutUnlisted: form === undefined,
     };
 }
 function classifyRefusalText(text) {
@@ -177,6 +220,7 @@ export function engineBootRefusalOf(lines, scrub) {
         let fatalClass;
         let fatalCode;
         let entryClass;
+        let fatalUnlisted = false;
         const list = Array.isArray(lines) ? [...lines] : [];
         const plain = [];
         for (const raw of list) {
@@ -204,6 +248,7 @@ export function engineBootRefusalOf(lines, scrub) {
                 if (s !== undefined && s.trim() !== '') {
                     fatal = capSentence(s);
                     fatalClass = classifyRefusalText(s);
+                    fatalUnlisted = fatalClass === undefined && waysOutHeaderUnlisted(s);
                     fatalCode = refusalCodesIn(s).find((x) => CONFIG_CODE.test(x));
                 }
                 continue;
@@ -250,6 +295,9 @@ export function engineBootRefusalOf(lines, scrub) {
                     if (text === undefined)
                         text = capSentence(block);
                 }
+                else if (block !== undefined && waysOutHeaderUnlisted(block)) {
+                    fatalUnlisted = true;
+                }
             }
         }
         if (text === undefined)
@@ -257,6 +305,7 @@ export function engineBootRefusalOf(lines, scrub) {
         if (code === undefined)
             code = cls?.code ?? fatalCode;
         const dr = cls?.dataRoot;
+        const unlisted = dr !== undefined ? dr.waysOutUnlisted : cls === undefined && fatalUnlisted;
         return deepFreeze({
             ...(code !== undefined ? { code } : {}),
             ...(hint !== undefined ? { hint } : {}),
@@ -269,9 +318,11 @@ export function engineBootRefusalOf(lines, scrub) {
                     ...(dr.highWater !== undefined ? { highWater: dr.highWater } : {}),
                     ...(dr.engineVersion !== undefined ? { engineVersion: dr.engineVersion } : {}),
                     ...(dr.markerPath !== undefined ? { markerPath: dr.markerPath } : {}),
-                    waysOut: ['newer_build', 'separate_data_root', 'restore_backup', 'repair_access'],
+                    ...(dr.migrationRelease !== undefined ? { migrationRelease: dr.migrationRelease } : {}),
+                    ...(dr.waysOut !== undefined ? { waysOut: [...dr.waysOut] } : {}),
                 }
                 : {}),
+            ...(unlisted ? { waysOutUnrecognized: true } : {}),
         });
     }
     catch {
@@ -301,16 +352,21 @@ function formOf(v) {
     const dataDir = own(v, 'dataDir');
     return { kind: 'embedded', install: install, ...(typeof dataDir === 'string' && dataDir.trim() !== '' ? { dataDir: flat(dataDir) } : {}) };
 }
-function dataRootWaysOut(form, highWater, retry) {
+function dataRootWaysOut(form, highWater, retry, migration) {
     const again = againOf(retry, form);
+    const releaseClause = () => migration === undefined ? undefined : migration.release !== undefined ? msg('engine.bootRefusal.release.atLeast', { version: migration.release }) : msg('engine.bootRefusal.release.any');
     if (form.kind === 'deployment') {
         const who = highWater !== undefined ? msg('engine.bootRefusal.who.buildAtLeast', { version: highWater }) : msg('engine.bootRefusal.who.build');
-        return msg('engine.bootRefusal.waysOut', {
+        const dep = {
             newer: msg('engine.bootRefusal.newer.deployment', { who }),
             separate: msg('engine.bootRefusal.separate.deployment'),
             restore: msg('engine.bootRefusal.restoreDeployment'),
             repair: msg('engine.bootRefusal.repairDeployment'),
-        });
+        };
+        const release = releaseClause();
+        return release === undefined
+            ? msg('engine.bootRefusal.waysOut', dep)
+            : msg('engine.bootRefusal.waysOutFour', { ...dep, migration: msg('engine.bootRefusal.migrationDeployment', { release }) });
     }
     const app = form.install === 'app';
     const who = app
@@ -326,12 +382,16 @@ function dataRootWaysOut(form, highWater, retry) {
                     ? 'engine.bootRefusal.newer.app'
                     : 'engine.bootRefusal.newer.unknown';
     const key = configDirKey() ?? '';
-    return msg('engine.bootRefusal.waysOut', {
+    const emb = {
         newer: msg(newerKey, { who, again }),
         separate: msg(app ? 'engine.bootRefusal.separate.app' : 'engine.bootRefusal.separate.embedded', { key }),
         restore: msg('engine.bootRefusal.restore', { folder: form.dataDir ?? msg('engine.bootRefusal.folder.default'), again }),
         repair: msg('engine.bootRefusal.repair', { again }),
-    });
+    };
+    const release = releaseClause();
+    return release === undefined
+        ? msg('engine.bootRefusal.waysOut', emb)
+        : msg('engine.bootRefusal.waysOutFour', { ...emb, migration: msg('engine.bootRefusal.migration', { release, again }) });
 }
 function armFix(reason, retry, facts, form) {
     const again = againOf(retry, form);
@@ -359,6 +419,21 @@ function armFix(reason, retry, facts, form) {
             return msg('engine.unavailable.fix.diagnose', { retry: msg(retry === 'command' ? 'engine.unavailable.retry.command' : 'engine.unavailable.retry.session') });
     }
 }
+function hasMigrationWayOut(v) {
+    try {
+        if (!Array.isArray(v))
+            return false;
+        const n = readOwnDataValue(v, 'length');
+        for (let i = 0; typeof n === 'number' && i < n && i < 16; i++) {
+            if (readOwnDataValue(v, String(i)) === 'start_migration_release')
+                return true;
+        }
+        return false;
+    }
+    catch {
+        return false;
+    }
+}
 function refusalView(r) {
     const text = own(r, 'text');
     const code = own(r, 'code');
@@ -382,6 +457,7 @@ function refusalView(r) {
         findings = undefined;
     }
     const hw = own(r, 'highWater');
+    const mr = own(r, 'migrationRelease');
     const validReason = typeof reason === 'string' && Object.values(ENGINE_BOOT_REFUSAL_CODES).includes(reason) ? reason : undefined;
     return {
         ...(typeof text === 'string' && text.trim() !== '' ? { text } : {}),
@@ -389,8 +465,14 @@ function refusalView(r) {
         ...(validReason !== undefined ? { reason: validReason } : {}),
         ...(findings !== undefined ? { findings } : {}),
         ...(typeof hw === 'string' && isRelease(hw) ? { highWater: hw } : {}),
+        ...(hasMigrationWayOut(own(r, 'waysOut')) ? { fourWays: true } : {}),
+        ...(typeof mr === 'string' && isRelease(mr) ? { migrationRelease: mr } : {}),
+        ...(own(r, 'waysOutUnrecognized') === true ? { unrecognized: true } : {}),
     };
 }
+function migrationWayOf(r) {
+    return r.fourWays === true ? (r.migrationRelease !== undefined ? { release: r.migrationRelease } : {}) : undefined;
+}
 export function engineBootRefusalSentence(refusal, lang, form) {
     try {
         const r = refusalView(refusal);
@@ -398,8 +480,8 @@ export function engineBootRefusalSentence(refusal, lang, form) {
             return undefined;
         const f = formOf(form);
         if (f !== undefined && r.reason !== undefined) {
-            if (r.reason === 'data_root_refused' && r.findings !== undefined) {
-                return renderMessage(msg('engine.bootRefusal.withWaysOut', { reason: flat(r.findings.join(' ')), waysOut: dataRootWaysOut(f, r.highWater, 'session') }), lang);
+            if (r.reason === 'data_root_refused' && r.findings !== undefined && r.unrecognized !== true) {
+                return renderMessage(msg('engine.bootRefusal.withWaysOut', { reason: flat(r.findings.join(' ')), waysOut: dataRootWaysOut(f, r.highWater, 'session', migrationWayOf(r)) }), lang);
             }
             const fix = r.reason !== 'data_root_refused' ? armFix(r.reason, 'session', r.code !== undefined ? { code: r.code } : {}, f) : undefined;
             if (fix !== undefined)
@@ -440,9 +522,9 @@ export function engineUnavailableLine(facts, lane, lang) {
         let detail;
         let fix;
         if (refusal.reason !== undefined && refusal.text !== undefined) {
-            if (refusal.reason === 'data_root_refused' && form !== undefined && refusal.findings !== undefined) {
+            if (refusal.reason === 'data_root_refused' && form !== undefined && refusal.findings !== undefined && refusal.unrecognized !== true) {
                 detail = flat(refusal.findings.join(' '));
-                fix = dataRootWaysOut(form, refusal.highWater, retry);
+                fix = dataRootWaysOut(form, refusal.highWater, retry, migrationWayOf(refusal));
             }
             else if (refusal.reason === 'data_root_refused') {
                 detail = flat(refusal.text);

package/dist/fleet/fleetLedger.d.ts

@@ -1,6 +1,7 @@
-import type { FleetFrame, FleetTaskRow, FleetWorkflowRow } from '@sema-agent/sdk';
-import { type FleetTaskView, type FleetWorkflowView, type ProjectTasksOptions } from './fleetProjection.js';
+import type { AgentEvent, FleetFrame, FleetTaskRow, FleetWorkflowRow } from '@sema-agent/sdk';
+import { type FleetLedgerTaskView, type FleetWorkflowView, type ProjectTasksOptions } from './fleetProjection.js';
 export declare const TERMINAL_RETAIN_MS = 60000;
+export declare const RESUMABLE_IDLE_FALLBACK_MS = 360000;
 export interface EngineActiveBgTask {
     id: string;
     name?: string;
@@ -21,6 +22,11 @@ export declare function clearAllRetainedFleetRows(): void;
 export declare function clearAllRetainedFleetRowsFor(sessionKey: string): void;
 export declare function forgetSettledTerminalRow(id: string): boolean;
 export declare function forgetSettledTerminalRowFor(sessionKey: string, id: string): boolean;
+export type FleetTaskNotificationWire = Pick<Extract<AgentEvent, {
+    type: 'task_notification';
+}>, 'task_id' | 'task_type' | 'status' | 'seq' | 'resumable'>;
+export declare function noteFleetTaskNotification(n: FleetTaskNotificationWire): void;
+export declare function noteFleetTaskNotificationFor(sessionKey: string, n: FleetTaskNotificationWire): void;
 export declare function __resetFleetLedgerRegistryForTests(): void;
 export declare function fleetStreamOptions(): {
     session?: string;
@@ -95,7 +101,7 @@ export interface FleetLedger {
     project(nowMs: number, opts: ProjectTasksOptions & {
         viewingTaskId?: string | undefined;
     }): {
-        tasks: FleetTaskView[];
+        tasks: FleetLedgerTaskView[];
         workflows: FleetWorkflowView[];
     };
     status(): FleetLedgerStatus;

package/dist/fleet/fleetLedger.js

@@ -8,12 +8,13 @@ import { rowIdTail } from '../workflow.js';
 import { recordEngineTranscriptId } from '../subagent/engineDelegatedPrompt.js';
 import { recordFleetRowAgentType } from './fleetRowAgentType.js';
 import { DEFAULT_SESSION_KEY } from '../sessionSlot.js';
-import { isSdkFleetTaskTerminal, isSdkFleetTaskTerminalNotSuccess } from '../terminalStatuses.js';
-import { projectTasks, projectWorkflows, wireCycleSeq, wireParentId, } from './fleetProjection.js';
+import { isCoreTaskNotificationTerminal, isSdkFleetTaskTerminal, isSdkFleetTaskTerminalNotSuccess } from '../terminalStatuses.js';
+import { projectTasks, projectWorkflows, wireCycleSeq, wireParentId, wireResumable, } from './fleetProjection.js';
 import { isInStreamDrainingEnd } from '../wireErrorTriage.js';
 import { cycleSeqOrder, cycleSeqValue } from '../cycleOrder.js';
 import { guardedRead, ownSnapshotRecord, readOwnDataValue } from '../ownKey.js';
 export const TERMINAL_RETAIN_MS = 60_000;
+export const RESUMABLE_IDLE_FALLBACK_MS = 360_000;
 function hasRowId(row) {
     const id = row?.id;
     return typeof id === 'string' && id.length > 0;
@@ -77,6 +78,36 @@ export function forgetSettledTerminalRowFor(sessionKey, id) {
             forgotten = true;
     return forgotten;
 }
+function turnTaskEndFactOf(raw) {
+    const at = (key) => guardedRead(() => (Array.isArray(raw) ? undefined : readOwnDataValue(raw, key)));
+    const taskType = at('task_type');
+    if (typeof taskType !== 'string' || taskType === 'external')
+        return undefined;
+    const status = at('status');
+    if (!isCoreTaskNotificationTerminal(status))
+        return undefined;
+    const id = at('task_id');
+    if (typeof id !== 'string' || id.length === 0)
+        return undefined;
+    const cycle = cycleSeqValue(at('seq'));
+    if (cycle === undefined)
+        return undefined;
+    const tail = rowIdTail(id);
+    if (tail.length === 0)
+        return undefined;
+    const resumable = at('resumable');
+    return { tail, cycle, completed: status === 'completed', resumable: typeof resumable === 'boolean' ? resumable : undefined };
+}
+export function noteFleetTaskNotification(n) {
+    noteFleetTaskNotificationFor(DEFAULT_SESSION_KEY, n);
+}
+export function noteFleetTaskNotificationFor(sessionKey, n) {
+    const fact = turnTaskEndFactOf(n);
+    if (fact === undefined)
+        return;
+    for (const view of viewsFor(sessionKey))
+        view.noteTaskNotification(fact);
+}
 export function __resetFleetLedgerRegistryForTests() {
     liveBgViews.clear();
 }
@@ -118,7 +149,7 @@ export function createFleetLedger(hooks = {}, opts = {}) {
                 break;
             }
         }
-        const rec = prior ?? { gen: undefined, settled: undefined };
+        const rec = prior ?? { gen: undefined, settled: undefined, ended: undefined };
         tails.set(tail, rec);
         return rec;
     }
@@ -136,13 +167,46 @@ export function createFleetLedger(hooks = {}, opts = {}) {
     function noteSettledTerminal(tail, row) {
         if (tail.length === 0 || typeof row.status !== 'string')
             return;
-        touchTail(tail).settled = { status: row.status, cycleSeq: wireCycleSeq(row) };
+        touchTail(tail).settled = wireCycleSeq(row) === undefined ? { status: row.status } : undefined;
     }
     function withdrawSettledTerminal(tail) {
         const rec = tails.get(tail);
         if (rec !== undefined)
             rec.settled = undefined;
     }
+    function mergeEndFact(tail, cycle, completed, resumable, atMs) {
+        if (cycle === undefined || tail.length === 0 || isFormerGeneration(tail, cycle))
+            return;
+        const rec = touchTail(tail);
+        const prior = rec.ended;
+        const order = prior === undefined ? 'before' : cycleSeqOrder(prior.cycle, cycle);
+        if (prior === undefined || order === 'before') {
+            rec.ended = { cycle, atMs, completed, resumable, voided: false };
+            return;
+        }
+        if (order !== 'same')
+            return;
+        prior.completed = prior.completed && completed;
+        prior.resumable = prior.resumable === false || resumable === false ? false : prior.resumable === true || resumable === true ? true : undefined;
+    }
+    function voidListedEnds() {
+        retained.clear();
+        for (const rec of tails.values())
+            if (rec.ended !== undefined)
+                rec.ended.voided = true;
+    }
+    function terminalEvidenceOf(tail) {
+        const rec = tails.get(tail);
+        if (rec === undefined)
+            return [];
+        const out = [];
+        const e = rec.ended;
+        if (e !== undefined && cycleSeqOrder(e.cycle, rec.gen) !== 'before')
+            out.push({ notSuccess: !e.completed, cycleSeq: e.cycle });
+        if (rec.settled !== undefined)
+            out.push({ notSuccess: isSdkFleetTaskTerminalNotSuccess(rec.settled.status), cycleSeq: undefined });
+        return out;
+    }
     let droppedMalformed = 0;
     let droppedUnknownFrame = 0;
     let droppedForeignBgNotification = 0;
@@ -178,13 +242,15 @@ export function createFleetLedger(hooks = {}, opts = {}) {
     function settleTerminalRow(row, tail, receivedAtMs) {
         taskMap.delete(row.id);
         rowMeta.delete(row.id);
+        const cycle = wireCycleSeq(row);
+        mergeEndFact(tail, cycle, row.status === 'completed', wireResumable(row), receivedAtMs);
         for (const id of taskMap.keys()) {
             if (rowIdTail(id) === tail) {
                 debug(`[fleet-frame] terminal row not retained: tail still in flight on an alias(row=${row.id} alias=${id})`);
                 return;
             }
         }
-        retained.set(row.id, { row, expireAt: receivedAtMs + TERMINAL_RETAIN_MS });
+        retained.set(row.id, { row, expireAt: receivedAtMs + TERMINAL_RETAIN_MS, ...(cycle !== undefined ? { endCycle: cycle } : {}) });
         for (const id of [...retained.keys()]) {
             if (id !== row.id && rowIdTail(id) === tail)
                 retained.delete(id);
@@ -246,9 +312,15 @@ export function createFleetLedger(hooks = {}, opts = {}) {
         },
         sessionScoped: () => sessionScopedMeta,
         clearRetained: () => {
-            retained.clear();
+            voidListedEnds();
         },
         forgetSettledTerminal: id => forgetSettledTerminalRowOf(id),
+        noteTaskNotification: fact => {
+            if (disposed || isFormerGeneration(fact.tail, fact.cycle))
+                return;
+            raiseTailGen(fact.tail, fact.cycle);
+            mergeEndFact(fact.tail, fact.cycle, fact.completed, fact.resumable, nowFn());
+        },
     };
     {
         let views = liveBgViews.get(sessionKey);
@@ -461,6 +533,7 @@ export function createFleetLedger(hooks = {}, opts = {}) {
                 debug(`[fleet-frame] bg_notification stale-cycle ignored(tail-cycle=${tails.get(notifTail)?.gen} notif-seq=${notifSeq})`);
             }
             if (!staleBlocked) {
+                mergeEndFact(notifTail, notifSeq, n.status === 'completed', typeof n.resumable === 'boolean' ? n.resumable : undefined, nowMs);
                 for (const id of rowIds) {
                     const known = taskMap.get(id);
                     if (!known)
@@ -482,6 +555,7 @@ export function createFleetLedger(hooks = {}, opts = {}) {
                         },
                         expireAt: nowMs + TERMINAL_RETAIN_MS,
                         retiredByNotification: true,
+                        ...(notifSeq !== undefined ? { endCycle: notifSeq } : {}),
                     });
                     writtenIds.add(id);
                     applied = true;
@@ -494,6 +568,8 @@ export function createFleetLedger(hooks = {}, opts = {}) {
                     const prior = entry.row.status ?? '';
                     if (prior === n.status) {
                         applied = true;
+                        if (notifSeq !== undefined && cycleSeqOrder(entry.endCycle, notifSeq) !== 'same')
+                            retained.set(id, { ...entry, endCycle: notifSeq });
                         continue;
                     }
                     if (isWashGreen(prior, n.status)) {
@@ -505,6 +581,7 @@ export function createFleetLedger(hooks = {}, opts = {}) {
                         row: { ...entry.row, status: coerced },
                         expireAt: nowMs + TERMINAL_RETAIN_MS,
                         ...(entry.retiredByNotification === true ? { retiredByNotification: true } : {}),
+                        ...(notifSeq !== undefined ? { endCycle: notifSeq } : {}),
                     });
                     applied = true;
                 }
@@ -513,15 +590,18 @@ export function createFleetLedger(hooks = {}, opts = {}) {
                 (applied ||
                     (!washBlocked &&
                         (() => {
-                            for (const prior of [getBgTerminalFacts(n.taskId), tails.get(notifTail)?.settled]) {
-                                if (prior === undefined)
-                                    continue;
+                            const facts = getBgTerminalFacts(n.taskId);
+                            const priors = [
+                                ...(facts !== undefined ? [{ notSuccess: isSdkFleetTaskTerminalNotSuccess(facts.status), cycleSeq: facts.cycleSeq }] : []),
+                                ...terminalEvidenceOf(notifTail),
+                            ];
+                            for (const prior of priors) {
                                 const order = cycleSeqOrder(notifSeq, prior.cycleSeq);
                                 if (order === 'before')
                                     return false;
                                 if (order === 'after')
                                     continue;
-                                if (isWashGreen(prior.status, n.status))
+                                if (n.status === 'completed' && prior.notSuccess)
                                     return false;
                             }
                             return true;
@@ -559,6 +639,17 @@ export function createFleetLedger(hooks = {}, opts = {}) {
             ...(typeof n.completionId === 'string' && n.completionId.length > 0 ? { completionId: n.completionId } : {}),
         });
     }
+    function listsAsIdle(id, entry, nowMs) {
+        const rec = tails.get(rowIdTail(id));
+        const e = rec?.ended;
+        return (rec !== undefined &&
+            e !== undefined &&
+            !e.voided &&
+            cycleSeqOrder(entry.endCycle, e.cycle) === 'same' &&
+            e.completed &&
+            e.resumable === true &&
+            nowMs < e.atMs + RESUMABLE_IDLE_FALLBACK_MS);
+    }
     function project(nowMs, opts) {
         const viewingTaskId = opts.viewingTaskId;
         const liveRows = [...taskMap.values()].map(r => {
@@ -575,14 +666,18 @@ export function createFleetLedger(hooks = {}, opts = {}) {
             return idle > 0 ? { ...r, elapsedMs: r.elapsedMs + idle } : r;
         });
         const retainedRows = [];
+        const idleIds = new Set();
         for (const [id, r] of retained) {
             if (taskMap.has(id))
                 continue;
             const isViewed = viewingTaskId !== undefined && rowIdTail(id) === viewingTaskId;
-            if (nowMs > r.expireAt && !isViewed) {
+            const isIdle = listsAsIdle(id, r, nowMs);
+            if (nowMs > r.expireAt && !isViewed && !isIdle) {
                 retained.delete(id);
                 continue;
             }
+            if (isIdle)
+                idleIds.add(id);
             retainedRows.push(r.row);
         }
         const allRowsById = new Map();
@@ -605,11 +700,12 @@ export function createFleetLedger(hooks = {}, opts = {}) {
             return false;
         };
         const ownWorkflowRow = (r) => sessionScopedMeta === true || isOwnWorkflowRun(r.id);
+        const tasks = projectTasks([...liveRows, ...retainedRows].filter(ownTaskRow), {
+            rowFilter: opts.rowFilter,
+            ...(viewingTaskId !== undefined ? { viewingTaskId } : {}),
+        });
         return {
-            tasks: projectTasks([...liveRows, ...retainedRows].filter(ownTaskRow), {
-                rowFilter: opts.rowFilter,
-                ...(viewingTaskId !== undefined ? { viewingTaskId } : {}),
-            }),
+            tasks: idleIds.size === 0 ? tasks : tasks.map(t => (idleIds.has(t.id) ? { ...t, idleUntil: null } : t)),
             workflows: projectWorkflows([...wfMap.values()].filter(ownWorkflowRow)),
         };
     }
@@ -657,7 +753,7 @@ export function createFleetLedger(hooks = {}, opts = {}) {
         taskMap.clear();
         wfMap.clear();
         rowMeta.clear();
-        retained.clear();
+        voidListedEnds();
         for (const rec of tails.values())
             rec.settled = undefined;
         contentAnchorSet = false;

package/dist/fleet/fleetProjection.d.ts

@@ -32,6 +32,9 @@ export interface FleetTaskView {
     retiredBy?: string;
     workspaceSnapshot?: 'failed';
 }
+export type FleetLedgerTaskView = FleetTaskView & {
+    readonly idleUntil?: null;
+};
 export interface FleetRowUsage {
     totalTokens?: number;
     toolUses?: number;
@@ -53,6 +56,7 @@ export interface FleetWorkflowView {
     startedCount?: number;
 }
 export declare function coerceTaskStatus(s: string): FleetTaskStatus;
+export declare function fleetTaskShownStatus(view: FleetLedgerTaskView): FleetTaskStatus;
 export declare function coerceWorkflowStatus(s: string | undefined): FleetTaskStatus;
 export declare function workflowRunDisplayStatusOf(run: object | null | undefined): FleetTaskStatus;
 export declare const CONTROL_TOOL_VERBS: ReadonlySet<string>;
@@ -68,6 +72,7 @@ export interface ProjectTasksOptions {
 export declare function projectTasks(allRows: readonly FleetTaskRow[], opts: ProjectTasksOptions): FleetTaskView[];
 export declare function projectWorkflows(rows: readonly FleetWorkflowRow[]): FleetWorkflowView[];
 export declare const FLEET_TASK_VIEW_KEYS: readonly string[];
+export declare const FLEET_LEDGER_TASK_VIEW_EXTRA_KEYS: readonly string[];
 export declare const FLEET_WORKFLOW_VIEW_KEYS: readonly string[];
 export declare const FLEET_TASK_ROW_WIRE_KEYS: readonly string[];
 export declare const FLEET_WORKFLOW_ROW_WIRE_KEYS: readonly string[];

package/dist/fleet/fleetProjection.js

@@ -28,6 +28,12 @@ export function coerceTaskStatus(s) {
         }
     }
 }
+export function fleetTaskShownStatus(view) {
+    if (guardedRead(() => readOwnDataValue(view, 'idleUntil')) === null)
+        return 'idle';
+    const status = guardedRead(() => readOwnDataValue(view, 'status'));
+    return typeof status === 'string' ? coerceTaskStatus(status) : 'idle';
+}
 export function coerceWorkflowStatus(s) {
     return workflowRunDisplayStatusOf({ status: s });
 }
@@ -290,6 +296,8 @@ const FLEET_TASK_VIEW_KEY_TUPLE = [
     'workspaceSnapshot',
 ];
 export const FLEET_TASK_VIEW_KEYS = FLEET_TASK_VIEW_KEY_TUPLE;
+const FLEET_LEDGER_TASK_VIEW_EXTRA_KEY_TUPLE = ['idleUntil'];
+export const FLEET_LEDGER_TASK_VIEW_EXTRA_KEYS = FLEET_LEDGER_TASK_VIEW_EXTRA_KEY_TUPLE;
 const FLEET_WORKFLOW_VIEW_KEY_TUPLE = [
     'id',
     'name',
@@ -393,5 +401,5 @@ export const FLEET_WORKFLOW_ROW_KEYS_NOT_PROJECTED = {
         reason: '折进 status:恒字面 true 的「有 agent 停在审批门上」位 ⇒ 显示状态 awaiting approval(workflowRunDisplayStatusOf 唯一读处);缺席不读作「没停」以外的任何事。',
     },
 };
-const _fleetViewKeyPins = [true, true, true, true, true, true, true, true];
+const _fleetViewKeyPins = [true, true, true, true, true, true, true, true, true, true];
 void _fleetViewKeyPins;

package/dist/gateVocabulary.d.ts

@@ -11,6 +11,13 @@ export declare function isGateDeniedByWord(v: unknown): v is GateDeniedByWord;
 export declare function gateDeniedByDetail(deniedBy: unknown, lang?: UiLanguage): string;
 export declare function askOriginDetail(origin: unknown, lang?: UiLanguage): string;
 export declare function askOriginNoteOf(origin: string | undefined, lang?: UiLanguage): string | undefined;
+export declare const APPROVAL_CARD_HEADLINE_SOURCES: readonly ["origin"];
+export type ApprovalCardHeadlineSource = (typeof APPROVAL_CARD_HEADLINE_SOURCES)[number];
+export interface ApprovalCardHeadline {
+    readonly source: ApprovalCardHeadlineSource;
+    readonly text: string;
+}
+export declare function approvalCardHeadlineOf(card: object | null | undefined, lang?: UiLanguage): Readonly<ApprovalCardHeadline> | undefined;
 export declare function ruleOffersAbsenceDetail(reason: string | undefined, opts?: {
     readonly deploymentListSessionRow?: boolean;
 }, lang?: UiLanguage): string | undefined;