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

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

@@ -471,6 +471,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@spexcode/spec-cli",
-  "version": "0.7.0-next.4",
+  "version": "0.7.0-next.5",
   "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.5",
+    "@spexcode/session-selflaunch": "0.7.0-next.5",
+    "@spexcode/spec-core": "0.7.0-next.5",
+    "@spexcode/spec-eval": "0.7.0-next.5",
+    "@spexcode/spec-forge": "0.7.0-next.5",
+    "@spexcode/transcript": "0.7.0-next.5",
     "smol-toml": "^1.8.0"
   },
   "devDependencies": {