@spexcode/spec-cli 0.7.0-next.4 → 0.7.0-next.6

package/dist/client.js

@@ -132,10 +132,10 @@ const post = (body) => ({ method: 'POST', headers: { 'content-type': 'applicatio
 const seg = (id) => encodeURIComponent(id);
 // A rendezvous liveness probe can displace the real delivery client.
 function cachedStatus(rec) {
-    if (!rec.worktreePath || !existsSync(rec.worktreePath))
-        return 'retired';
     if (rec.archived)
         return 'offline';
+    if (!rec.worktreePath || !existsSync(rec.worktreePath))
+        return 'retired';
     if (rec.status === 'awaiting')
         return displayStatusForProposal(rec.proposal);
     return rec.status === 'active' || rec.status === 'idle' ? 'unknown' : rec.status;
@@ -179,9 +179,11 @@ export function localCachedSessions(includeArchived = false) {
         if (!state)
             continue;
         const lifecycle = state.status;
-        const status = state.status === 'awaiting'
-            ? displayStatusForProposal(state.proposal)
-            : state.status === 'archived' ? 'offline' : state.status;
+        const status = state.status === 'archived'
+            ? 'offline'
+            : state.status === 'awaiting'
+                ? displayStatusForProposal(state.proposal)
+                : state.status;
         rows.push({
             id,
             node: null,

package/dist/codex-runtime-generations.d.ts

@@ -46,6 +46,10 @@ export declare function prepareCodexGenerationClose(root: string, sessionId: str
 export declare function repinCodexGeneration(root: string, sessionId: string, threadId: string, generationId: string): void;
 export declare function resolveCodexGenerationForResume(root: string, sessionId: string, threadId: string, start: (endpoint: CodexGenerationEndpoint) => Promise<void>): Promise<CodexGenerationEndpoint | null>;
 export declare function resolveCodexGenerationForSession(root: string, sessionId: string, threadId: string): CodexGenerationEndpoint | null;
+export declare function resolveCodexGenerationForClose(root: string, sessionId: string, threadId: string): {
+    endpoint: CodexGenerationEndpoint;
+    gone: boolean;
+} | null;
 export declare function codexGenerationBindingForSession(root: string, sessionId: string): CodexGenerationBinding | null;
 export declare function currentCodexGeneration(root: string): CodexGenerationEndpoint | null;
 export declare function codexGenerationEndpoints(root: string): CodexGenerationEndpoint[];

package/dist/codex-runtime-generations.js

@@ -765,6 +765,18 @@ export function resolveCodexGenerationForSession(root, sessionId, threadId) {
     const generation = ledger.generations[binding.generationId];
     return generation && generation.state !== 'reclaimed' ? generation.endpoint : null;
 }
+// Close still needs the immutable endpoint record to recognize a positively retired generation. The
+// endpoint is never used for native I/O in this state; it only identifies the empty control plane.
+export function resolveCodexGenerationForClose(root, sessionId, threadId) {
+    const ledger = readCodexGenerationLedger(root);
+    const binding = ledger.bindings[sessionId];
+    if (!binding || binding.threadId !== threadId)
+        return null;
+    const generation = ledger.generations[binding.generationId];
+    if (!generation)
+        return null;
+    return { endpoint: generation.endpoint, gone: generation.state === 'reclaimed' };
+}
 export function codexGenerationBindingForSession(root, sessionId) {
     return readCodexGenerationLedger(root).bindings[sessionId] ?? null;
 }

package/dist/harness.js

@@ -18,7 +18,7 @@ import { runtimeRoot, mainCheckout, readConfig, sessionArtifactPath, spexcodeHom
 import { git } from '@spexcode/spec-core';
 import { shQuote } from './sh.js';
 import { detachedRuntimeGenerationToken, migrateLegacyDetachedRuntimeReceipt, processStartToken, verifyDetachedRuntime } from '@spexcode/spec-core';
-import { codexGenerationEndpoints, codexGenerationSocketPath, currentCodexGeneration, legacyCodexGenerationEndpoint, readCodexGenerationLedger, resolveCodexGenerationForSession } from './codex-runtime-generations.js';
+import { codexGenerationEndpoints, codexGenerationSocketPath, currentCodexGeneration, legacyCodexGenerationEndpoint, readCodexGenerationLedger, prepareCodexGenerationClose, resolveCodexGenerationForClose, resolveCodexGenerationForSession } from './codex-runtime-generations.js';
 import { writeFileIfChanged } from './file-write.js';
 import { claudeTranscript, codexRolloutPath, codexTranscript, opencodeTranscript, piTranscript, unsupportedTranscript } from '@spexcode/transcript';
 import { harnessIdentity, HARNESS_IDENTITIES } from '@spexcode/spec-core';
@@ -220,12 +220,14 @@ function codexMutationGeneration(dir = runtimeRoot(), endpoint = legacyCodexGene
     return codexRuntimeGeneration(dir, endpoint);
 }
 const codexDescriptorKey = (endpoint) => endpoint.id === 'legacy' ? 'codex-app-server' : `codex-app-server:${endpoint.id}`;
-function codexEndpointForRecord(rec, dir = runtimeRoot()) {
+function codexEndpointForRecord(rec, dir = runtimeRoot(), includeGone = false) {
     if (!rec.harnessSessionId)
         return null;
     const ledger = readCodexGenerationLedger(dir);
     if (ledger.revision === 0 && !ledger.current && !Object.keys(ledger.generations).length)
         return legacyCodexGenerationEndpoint(dir);
+    if (includeGone)
+        return resolveCodexGenerationForClose(dir, rec.session, rec.harnessSessionId)?.endpoint ?? null;
     return resolveCodexGenerationForSession(dir, rec.session, rec.harnessSessionId);
 }
 // the spex launcher (bin/spex.mjs), baked into the codex launch script (mirrors materialize.ts's SPEX) so
@@ -3028,7 +3030,7 @@ export const codexHarness = {
     interrupt: interruptCodexTurn,
     cleanupRuntime: async () => { },
     targetDescriptorKey: (rec) => {
-        const endpoint = codexEndpointForRecord(rec);
+        const endpoint = codexEndpointForRecord(rec, runtimeRoot(), true);
         return endpoint ? codexDescriptorKey(endpoint) : null;
     },
     coldRetirementPreflight: async (rec) => {
@@ -3052,8 +3054,13 @@ export const codexHarness = {
     coldPreflight: async (rec) => {
         if (!rec.harnessSessionId)
             return { ok: false, reason: 'no exact Codex thread identity is registered' };
-        const endpoint = codexEndpointForRecord(rec);
-        return endpoint ? codexColdPreflight(rec.harnessSessionId, runtimeRoot(), undefined, endpoint)
+        const dir = runtimeRoot();
+        const binding = resolveCodexGenerationForClose(dir, rec.session, rec.harnessSessionId);
+        if (binding?.gone) {
+            return { ok: true, alreadyCold: true };
+        }
+        const endpoint = binding?.endpoint ?? codexEndpointForRecord(rec, dir);
+        return endpoint ? codexColdPreflight(rec.harnessSessionId, dir, undefined, endpoint)
             : { ok: false, reason: 'no exact Codex generation binding is registered for this target' };
     },
     coldRuntime: async (rec, suppliedReceipt) => {
@@ -3061,7 +3068,12 @@ export const codexHarness = {
             return { ok: false, reason: 'no exact Codex thread identity is registered' };
         const threadId = rec.harnessSessionId;
         const dir = runtimeRoot();
-        const endpoint = codexEndpointForRecord(rec, dir);
+        const binding = resolveCodexGenerationForClose(dir, rec.session, threadId);
+        if (binding?.gone) {
+            prepareCodexGenerationClose(dir, rec.session, threadId);
+            return { ok: true };
+        }
+        const endpoint = binding?.endpoint ?? codexEndpointForRecord(rec, dir);
         if (!endpoint)
             return { ok: false, reason: 'no exact Codex generation binding is registered for this target' };
         const sock = endpoint.socketPath;

package/dist/host-resources.js

@@ -145,6 +145,23 @@ const descendants = (root, procs) => {
     }
     return ids;
 };
+// tmux is a shared host for many independent session windows. Its inherited environment is therefore
+// not a launch receipt: a token on the server or one of its panes cannot charge the whole hosted tree.
+const isTmuxServer = (proc) => proc?.command === 'tmux: server';
+const hasTmuxAncestor = (pid, procs) => {
+    const seen = new Set();
+    let next = procs.get(pid)?.ppid;
+    while (next && !seen.has(next)) {
+        seen.add(next);
+        const parent = procs.get(next);
+        if (!parent)
+            return false;
+        if (isTmuxServer(parent))
+            return true;
+        next = parent.ppid;
+    }
+    return false;
+};
 const publicRecordInventory = () => {
     const entries = listSessionIds().map(readPublicRecordEntry);
     const application = configuredSessionApplicationIfCutover();
@@ -345,13 +362,13 @@ const buildInventory = (procs, publicRecords = publicRecordInventory()) => {
     for (const p of procs.values()) {
         const acting = actingSession(p);
         const fallback = p.env.SPEXCODE_SESSION_ID;
-        const sid = acting ?? (fallback ? byId.get(fallback) : undefined);
+        const sid = acting ?? (!hasTmuxAncestor(p.pid, procs) && !isTmuxServer(p) && fallback ? byId.get(fallback) : undefined);
         if (sid)
             ownership.set(p.pid, `session:${sid}`);
     }
     for (const rec of activeRecs) {
         const root = runtimePid(join(runtimeRoot(), 'sessions', rec.session_id, 'agent.pid'));
-        if (root && procs.has(root))
+        if (root && procs.has(root) && !isTmuxServer(procs.get(root)))
             for (const pid of descendants(root, procs))
                 if (!ownership.has(pid))
                     ownership.set(pid, `session:${rec.session_id}`);
@@ -391,7 +408,7 @@ const buildInventory = (procs, publicRecords = publicRecordInventory()) => {
     }
     const root = repoRoot();
     for (const p of procs.values()) {
-        if (ownership.has(p.pid) || p.env.SPEXCODE_PROJECT_ROOT !== root)
+        if (ownership.has(p.pid) || p.env.SPEXCODE_PROJECT_ROOT !== root || hasTmuxAncestor(p.pid, procs) || isTmuxServer(p))
             continue;
         const claimed = p.env.SPEXCODE_SESSION_ID;
         if (claimed && !byId.has(claimed))
@@ -471,6 +488,17 @@ const sessionStopBlocker = async (id, harnessId, recs = rawRecords(), knownProbe
         const entryTargetThread = entry.recs.find((rec) => rec.session_id === id)?.harness_session_id;
         if (entryTargetThread && ownerCounts.get(entryTargetThread) !== 1)
             return `${descriptor.label} target thread ${entryTargetThread} has no one exact governed session owner`;
+        // A retired shared generation is positive death, not an unknown control plane. Its residency census is
+        // the only proof needed here; there is no native target left to signal or unload.
+        if (descriptor.residency && entryTargetThread) {
+            let residency = null;
+            try {
+                residency = await descriptor.residency();
+            }
+            catch { /* retain the normal fail-closed path */ }
+            if (residency?.healthy && residency.rootAbsent === true && residency.referenceIds.length === 0)
+                continue;
+        }
         if (!knownProbes && descriptor.mutationGuard) {
             if (!targetThread)
                 return `${descriptor.label} target has no exact governed thread identity`;

package/dist/session-transcript.d.ts

@@ -30,6 +30,7 @@ export declare function readSessionTranscript(c: Context): Promise<(Response & i
             readonly output?: string | undefined;
             readonly outputLines: number;
             readonly outputBytes: number;
+            readonly outcome?: "failed" | "rejected" | undefined;
         }[] | undefined;
     }[];
     readonly truncated: boolean;

package/dist/sessions.js

@@ -1102,7 +1102,7 @@ export function toSession(rec, status, lv, activity = null) {
     const pp = prompt ? oneLinePreview(prompt) : null;
     const parts = { id: rec.session, name: rec.name, node: rec.node, title: rec.title, branch: rec.branch, activity: act, note: rec.note, promptPreview: pp };
     const harness = harnessById(rec.harness || defaultHarness.id);
-    return { id: rec.session, node: rec.node, branch: rec.branch, label: deriveLabel(parts), title: deriveTitle(parts), raw: { name: rec.name, title: rec.title }, path: rec.worktreePath, parent: rec.parent, harness: harness.id, capabilities: { headless: harness.headless }, launcher: rec.launcher, lifecycle: rec.status, proposal: rec.proposal, merges: rec.merges, note: rec.note, status, liveness: lv, archived: rec.archived, closedAt: rec.archived ? rec.closedAt : null, archiveHazard: null, prompt, promptPreview: pp, created: rec.createdAt, activity: act, sortKey: rec.sortKey, files: readSessionFiles(rec.session), web: readSessionWebs(rec.session), ...(rec.zcodeChildSessionIds?.length ? { zcodeChildSessionIds: [...rec.zcodeChildSessionIds] } : {}) };
+    return { id: rec.session, node: rec.node, branch: rec.branch, label: deriveLabel(parts), title: deriveTitle(parts), raw: { name: rec.name, title: rec.title }, path: rec.worktreePath, parent: rec.parent, harness: harness.id, capabilities: { headless: harness.headless }, launcher: rec.launcher, lifecycle: rec.closedAt ? 'archived' : rec.status, proposal: rec.closedAt ? null : rec.proposal, merges: rec.merges, note: rec.note, status, liveness: lv, archived: rec.archived || !!rec.closedAt, closedAt: rec.closedAt, archiveHazard: null, prompt, promptPreview: pp, created: rec.createdAt, activity: act, sortKey: rec.sortKey, files: readSessionFiles(rec.session), web: readSessionWebs(rec.session), ...(rec.zcodeChildSessionIds?.length ? { zcodeChildSessionIds: [...rec.zcodeChildSessionIds] } : {}) };
 }
 // @@@zcode child identity - ZCode owns the child id and SpexCode owns the session record. The writer accepts
 // only their exact declared pair; names, worktrees, branches, and timestamps are deliberately not candidates.
@@ -1176,7 +1176,7 @@ export async function listArchivedSessionIndex(probe) {
         if (entry.kind !== 'ok')
             continue;
         const rec = fromRaw(entry.raw);
-        if (!rec.governed || !rec.archived)
+        if (!rec.governed || (!rec.archived && !rec.closedAt))
             continue;
         const parts = {
             id: rec.session, name: rec.name, node: rec.node, title: rec.title, branch: rec.branch,
@@ -1305,7 +1305,11 @@ export async function listSessions(includeArchived = false) {
         // missing durable cold proof is also legacy: leaf liveness alone cannot prove a Codex loaded thread was
         // unloaded, so it remains visible until an explicit archive repair.
         const cleanCold = projectedRecord.archived && !changedDuringCensus.has(id) && hasValidColdProof(projectedRecord) && physical === 'offline' && (!residentRequired || resident?.healthy === true);
-        const projected = projectedRecord.archived && !cleanCold ? { ...projectedRecord, archived: false, stopped: false } : projectedRecord;
+        // A published close is terminal public history even if a later census cannot prove the old adapter fully
+        // unloaded. Only legacy archived rows without closedAt may be exposed as a working hazard for repair.
+        const projected = projectedRecord.archived && !cleanCold && !projectedRecord.closedAt
+            ? { ...projectedRecord, archived: false, stopped: false }
+            : projectedRecord;
         const projectedLv = projected === projectedRecord
             ? sessionHarness.runtimeOwnership === 'adapter'
                 ? adapterResidentLiveness(projectedRecord, resident)
@@ -1824,12 +1828,16 @@ export function canonicalRecordProjection(rec, canonical) {
     // The application row is the only lifecycle fact after cutover. A JSON status is historical envelope data,
     // so it must not win merely because it says waiting/error/archived while the canonical row says otherwise.
     if (!canonical) {
-        return rec;
+        return ('closedAt' in rec && rec.closedAt
+            ? { ...rec, archived: true }
+            : rec);
     }
+    const closed = 'closedAt' in rec && !!rec.closedAt;
     return {
         ...rec,
-        status: canonical.status,
-        proposal: canonical.proposal,
+        archived: closed ? true : rec.archived,
+        status: (closed ? 'archived' : canonical.status),
+        proposal: (closed ? null : canonical.proposal),
         note: canonical.note,
         parent: canonical.parentSessionId,
     };
@@ -4789,12 +4797,25 @@ async function closeOwnedSessionUnlocked(id, wt, _source, unboundStopped = false
         throw new ResourceConflict(`refusing to finish close for ${id}: session record disappeared before publication`);
     writeRecord({
         ...latest,
+        proposal: null,
         archived: true,
         closedAt: latest.closedAt || new Date().toISOString(),
         stopped: true,
         coldProof: latest.coldProof || coldProofFor(latest),
         adapterRecovery: null,
     });
+    // The canonical lifecycle must settle at the same terminal boundary as the durable close fact. `archived`
+    // is an internal terminal marker; public projections render its closed record as `retired`.
+    const application = configuredSessionApplicationIfCutover();
+    if (application?.readState(id)) {
+        application.transitionSession(id, {
+            status: 'archived',
+            proposal: null,
+            note: latest.note,
+            parentSessionId: latest.parent,
+            recipientSessionIds: canonicalWatchRecipients(application, id, 'archived'),
+        });
+    }
     let slot = null;
     try {
         slot = existsSync(wt.path) ? treeSlotDir(wt.path) : null;
@@ -5367,6 +5388,8 @@ export async function drainSession(id) {
                         const removed = application.dequeuePendingMessage(id, msg.messageId);
                         if (!removed || removed.messageId !== msg.messageId)
                             throw new ResourceConflict(`canonical queue head changed while delivering ${id}`);
+                        if (!msg.senderSessionId)
+                            markHumanPromptActive(id);
                     }
                 });
                 return;
@@ -5393,6 +5416,8 @@ export async function drainSession(id) {
                 const removed = application.dequeueForRuntime(id, 'spex-governed', binding.bindingGeneration, msg.messageId);
                 if (!removed || removed.messageId !== msg.messageId)
                     throw new ResourceConflict(`canonical queue head changed while delivering ${id}`);
+                if (!msg.senderSessionId)
+                    markHumanPromptActive(id);
             }
         });
         return;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@spexcode/spec-cli",
-  "version": "0.7.0-next.4",
+  "version": "0.7.0-next.6",
   "type": "module",
   "description": "SpexCode CLI + server. The root spexcode package delegates to this compiled package; dashboard assets live in @spexcode/spec-dashboard.",
   "bin": {
@@ -35,12 +35,12 @@
     "test": "tsx --import ../scripts/test-home.mjs --test src/*.test.ts"
   },
   "dependencies": {
-    "@spexcode/session-application": "0.7.0-next.4",
-    "@spexcode/session-selflaunch": "0.7.0-next.4",
-    "@spexcode/spec-core": "0.7.0-next.4",
-    "@spexcode/spec-eval": "0.7.0-next.4",
-    "@spexcode/spec-forge": "0.7.0-next.4",
-    "@spexcode/transcript": "0.7.0-next.4",
+    "@spexcode/session-application": "0.7.0-next.6",
+    "@spexcode/session-selflaunch": "0.7.0-next.6",
+    "@spexcode/spec-core": "0.7.0-next.6",
+    "@spexcode/spec-eval": "0.7.0-next.6",
+    "@spexcode/spec-forge": "0.7.0-next.6",
+    "@spexcode/transcript": "0.7.0-next.6",
     "smol-toml": "^1.8.0"
   },
   "devDependencies": {