@akagilnc/pi-workflow-roles 0.1.5938 → 0.1.5946

package/README.md

@@ -140,7 +140,7 @@ ak-role --model <provider/model[:thinking]> resume <runId> "<ruling>"
 
 ## Tests
 
-During the [ADR 0090](docs/adr/0090-tests-run-on-vitest-fixtures-and-helpers-from-the-platform.md) migration, `pnpm test` runs all unit/contract tests (including root-level tests) with Vitest. `test:vitest` runs every Vitest project; the integration and package projects list their migrated files in `vitest.config.ts`. `test:all` runs Vitest first, then the remaining integration/package files under Node's runner; CI retains both entries until migration closes. `test:integration` is the same without the remaining package files. For a focused run:
+Tests run on Vitest ([ADR 0090](docs/adr/0090-tests-run-on-vitest-fixtures-and-helpers-from-the-platform.md)). `pnpm test` runs the unit and contract projects, including root-level tests. `pnpm test:all` runs all three projects. `pnpm test:integration` runs the integration project. For a focused run:
 
 ```bash
 pnpm exec vitest run --project unit-contract

package/README.zh-CN.md

@@ -134,7 +134,7 @@ ak-role --model <provider/model[:thinking]> resume <runId> "<裁定>"
 
 ## 测试
 
-Vitest 渐进迁移期间的聚焦命令、报告位置与旧入口共存说明见 [Tests](README.md#tests)。
+聚焦命令与报告位置见 [Tests](README.md#tests)。
 
 ## 班子（唐宋官署命名）
 

package/dist/acp-host/production-host.js

@@ -14233,24 +14233,48 @@ var init_post_admission = __esm({
 });
 
 // src/public-cli/seat-ticket-binding.ts
+import { join as join22 } from "node:path";
+function resumedSessionIdMissing(result, runId) {
+  if (typeof result !== "object" || result === null) return false;
+  const terminal = result.terminal;
+  if (typeof terminal !== "object" || terminal === null) return false;
+  if (terminal.runId !== runId) return false;
+  const outcome = terminal.roleOutcome;
+  if (typeof outcome !== "object" || outcome === null) return false;
+  if (outcome.kind !== "failure") return false;
+  const facts = outcome.decisiveFacts;
+  if (typeof facts !== "object" || facts === null) return false;
+  return facts.errorCode === SESSION_ID_MISSING;
+}
+async function writerLockBlocksFreshSummons(runDirectory) {
+  const autopsy = await autopsyWriterLock(join22(runDirectory, WRITER_LOCK_FILE));
+  return autopsy.verdict === "alive" || autopsy.verdict === "unknown";
+}
 async function tryResumeSameTicketSeatRun(input) {
   if (input.freshSummons === true) return void 0;
   if (input.parentRunPath.trim() === "") return void 0;
+  const bookKey = resolveBookKeyFromGit(input.projectRoot);
   const previous = await findLatestRunForSeatTicket({
     home: input.home,
-    bookKey: resolveBookKeyFromGit(input.projectRoot),
+    bookKey,
     role: input.role,
     parentRunPath: input.parentRunPath,
     ...input.ticketNumber === void 0 ? {} : { ticketNumber: input.ticketNumber }
   });
   if (previous === void 0) return void 0;
-  return await input.resume(previous.runId, input.summons, previous.runDirectory);
+  const resumed = await input.resume(previous.runId, input.summons, previous.runDirectory);
+  if (!resumedSessionIdMissing(resumed, previous.runId)) return resumed;
+  const live = await resolveLiveRunDirectoryPath(previous.runDirectory, input.home, bookKey);
+  if (live !== void 0 && await writerLockBlocksFreshSummons(live)) return resumed;
+  return void 0;
 }
+var SESSION_ID_MISSING;
 var init_seat_ticket_binding = __esm({
   "src/public-cli/seat-ticket-binding.ts"() {
     "use strict";
     init_activation_ledger_git();
     init_run_lifecycle();
+    SESSION_ID_MISSING = "session-id-missing";
   }
 });
 
@@ -15909,10 +15933,10 @@ var init_analyst_book_key = __esm({
 // src/atomic-write.ts
 import { randomUUID as randomUUID7 } from "node:crypto";
 import { rename as rename2, rm, writeFile as writeFile3 } from "node:fs/promises";
-import { dirname as dirname14, join as join22 } from "node:path";
+import { dirname as dirname14, join as join23 } from "node:path";
 async function writeFileAtomically(destination, contents, options) {
   const parent = dirname14(destination);
-  const temporary = join22(parent, `.atomic-write-${randomUUID7()}.tmp`);
+  const temporary = join23(parent, `.atomic-write-${randomUUID7()}.tmp`);
   try {
     await writeFile3(temporary, contents, options);
     await rename2(temporary, destination);
@@ -15929,12 +15953,12 @@ var init_atomic_write = __esm({
 
 // src/analyst-index.ts
 import { open, readFile as readFile10, unlink } from "node:fs/promises";
-import { dirname as dirname15, join as join23 } from "node:path";
+import { dirname as dirname15, join as join24 } from "node:path";
 import { setTimeout as sleep } from "node:timers/promises";
 async function withAnalystLibraryIndexLock(ledgerHome, fn) {
   const indexPath = analystLibraryIndexPath(ledgerHome);
   ensureRealDirectoryTree(ledgerHome, dirname15(indexPath));
-  const lockPath = join23(dirname15(indexPath), LIBRARY_INDEX_LOCK_NAME);
+  const lockPath = join24(dirname15(indexPath), LIBRARY_INDEX_LOCK_NAME);
   assertLedgerFileInsideHome(lockPath, ledgerHome);
   const startedAt = Date.now();
   while (true) {
@@ -15961,7 +15985,7 @@ async function withAnalystLibraryIndexLock(ledgerHome, fn) {
   }
 }
 function analystLibraryIndexPath(ledgerHome) {
-  return join23(ledgerHome, "analyst", "library-index.json");
+  return join24(ledgerHome, "analyst", "library-index.json");
 }
 function rowFromIssueMetricsPage(page) {
   return {
@@ -16255,7 +16279,7 @@ var init_analyst_cohort = __esm({
 });
 
 // src/archivist-record-pointer.ts
-import { basename as basename11, join as join24 } from "node:path";
+import { basename as basename11, join as join25 } from "node:path";
 async function resolveOfficerPointer(raw, parentRunDirectory) {
   const where = `${parentRunDirectory} officers`;
   if (!isRecord(raw) || raw.kind !== DIRECT_OFFICER_RUN_POINTER_KIND || raw.version !== 1) {
@@ -16288,7 +16312,7 @@ async function resolveOfficerPointer(raw, parentRunDirectory) {
   };
 }
 async function readBookedOfficerPointers(parentRunDirectory) {
-  const { records, diagnostics } = await readSitianRecords(join24(parentRunDirectory, RUN_HISTORY_FILE));
+  const { records, diagnostics } = await readSitianRecords(join25(parentRunDirectory, RUN_HISTORY_FILE));
   if (diagnostics.length > 0) {
     throw new Error(
       `${RUN_HISTORY_FILE} has ${diagnostics.length} malformed row(s); officer pointers unreadable: ${parentRunDirectory}`
@@ -16571,7 +16595,7 @@ var init_analyst_gate_cycles_read = __esm({
 
 // src/analyst-ledger.ts
 import { readdir as readdir3 } from "node:fs/promises";
-import { basename as basename12, join as join25 } from "node:path";
+import { basename as basename12, join as join26 } from "node:path";
 async function readExistingRunLifecycleState(runDirectory) {
   return (await readRoleRunIdentity(runDirectory))?.state;
 }
@@ -16591,7 +16615,7 @@ function ghostLeaseCheckFromAutopsy(autopsy) {
   }
 }
 async function classifyGhostCandidate(input) {
-  const autopsy = await autopsyWriterLock(join25(input.runDirectory, "writer.lock"));
+  const autopsy = await autopsyWriterLock(join26(input.runDirectory, "writer.lock"));
   const leaseCheck = ghostLeaseCheckFromAutopsy(autopsy);
   if (leaseCheck === void 0) return { kind: "live" };
   return {
@@ -16881,7 +16905,7 @@ async function classifyScopedRun(input) {
 async function scanAnalystIssueRuns(input) {
   const ledgerHome = resolveActivationLedgerHome(input.home);
   const scopeTicketNumber = input.ticketNumber;
-  const booksRoot = join25(ledgerHome, "books");
+  const booksRoot = join26(ledgerHome, "books");
   let wholeBook = false;
   let scopeRootIdentity;
   let bookNames;
@@ -16914,7 +16938,7 @@ async function scanAnalystIssueRuns(input) {
   const ghostLegs = [];
   const scopeConflicts = [];
   for (const book of bookNames) {
-    const bookDir = join25(booksRoot, book);
+    const bookDir = join26(booksRoot, book);
     let runDirectories;
     try {
       runDirectories = await listBookRunDirectories(bookDir);
@@ -17660,7 +17684,7 @@ var init_analyst_metric_family = __esm({
 });
 
 // src/analyst-page.ts
-import { dirname as dirname16, join as join26 } from "node:path";
+import { dirname as dirname16, join as join27 } from "node:path";
 function analystIssuePageKey(address) {
   const parts = ["book", address.bookKey];
   if (address.issueNumber !== void 0) {
@@ -17671,7 +17695,7 @@ function analystIssuePageKey(address) {
   return sha256Hex(parts.join("\0")).slice(0, 32);
 }
 function analystIssuePagePath(ledgerHome, address) {
-  return join26(ledgerHome, "analyst", "issues", `${analystIssuePageKey(address)}.json`);
+  return join27(ledgerHome, "analyst", "issues", `${analystIssuePageKey(address)}.json`);
 }
 function analystIssuePageAddressFromPage(page) {
   return {
@@ -19235,7 +19259,7 @@ __export(public_role_summons_exports, {
 import { execFile as execFile3 } from "node:child_process";
 import { existsSync as existsSync12 } from "node:fs";
 import { realpath as realpath6 } from "node:fs/promises";
-import { join as join27 } from "node:path";
+import { join as join28 } from "node:path";
 import { promisify as promisify3 } from "node:util";
 function createCapturingIo() {
   const chunks = [];
@@ -19259,7 +19283,7 @@ function parentDir(path) {
 function walkPackageRoot(start) {
   let dir = start;
   for (let i = 0; i < 12; i += 1) {
-    if (existsSync12(join27(dir, "package.json")) && existsSync12(join27(dir, "souls"))) {
+    if (existsSync12(join28(dir, "package.json")) && existsSync12(join28(dir, "souls"))) {
       return dir;
     }
     const parent = parentDir(dir);
@@ -19808,7 +19832,7 @@ var init_compliance_transport = __esm({
 });
 
 // src/role-run-relocation.ts
-import { dirname as dirname17, join as join28 } from "node:path";
+import { dirname as dirname17, join as join29 } from "node:path";
 async function retainedRunPathsMatch(recordedPath, currentPath, currentRunDirectory) {
   if (recordedPath === currentPath) return true;
   if (typeof recordedPath !== "string") return false;
@@ -19854,6 +19878,7 @@ var run_lifecycle_exports = {};
 __export(run_lifecycle_exports, {
   AUTO_RESUME_LIMIT: () => AUTO_RESUME_LIMIT,
   RunWriterLeaseHeldError: () => RunWriterLeaseHeldError,
+  WRITER_LOCK_FILE: () => WRITER_LOCK_FILE,
   acquireRunWriterLease: () => acquireRunWriterLease,
   autopsyWriterLock: () => autopsyWriterLock,
   clearCurrentCourt: () => clearCurrentCourt,
@@ -19876,7 +19901,7 @@ __export(run_lifecycle_exports, {
 });
 import { existsSync as existsSync13 } from "node:fs";
 import { chmod, lstat as lstat3, open as open2, readdir as readdir4, readFile as readFile14, unlink as unlink2 } from "node:fs/promises";
-import { basename as basename13, join as join29 } from "node:path";
+import { basename as basename13, join as join30 } from "node:path";
 async function writeRoleRunState(runDirectory, record) {
   const payload = { ...record, runDirectory };
   writeSectionSync(runDirectory, "runState", { ...payload });
@@ -20171,7 +20196,7 @@ async function createWriterLease(lockPath, runDirectory, reportCleanupFailure) {
     },
     relocate(nextRunDirectory) {
       currentRunDirectory = nextRunDirectory;
-      currentLockPath = join29(nextRunDirectory, WRITER_LOCK_FILE);
+      currentLockPath = join30(nextRunDirectory, WRITER_LOCK_FILE);
     },
     async release() {
       if (released) return;
@@ -20210,10 +20235,10 @@ async function acquireRunWriterLease(runDirectory, onCleanupFailure) {
   };
   const reportReadFailure = (error) => {
     reportDiagnostic(
-      `writer lease lock read failed (holder liveness unverifiable; lock left in place) at ${join29(runDirectory, WRITER_LOCK_FILE)}: ${describeErrorIdentity(error)}`
+      `writer lease lock read failed (holder liveness unverifiable; lock left in place) at ${join30(runDirectory, WRITER_LOCK_FILE)}: ${describeErrorIdentity(error)}`
     );
   };
-  const lockPath = join29(runDirectory, WRITER_LOCK_FILE);
+  const lockPath = join30(runDirectory, WRITER_LOCK_FILE);
   let lastAutopsy = { verdict: "absent" };
   let lastReclaimFailure;
   for (let reclaimsLeft = WRITER_LEASE_RECLAIM_ROUNDS; ; reclaimsLeft -= 1) {
@@ -20279,7 +20304,7 @@ async function findRunDirectoryById(home, runId, onlyBookKey, onlyRole, knownRun
   }
   if (runId.trim() === "") return void 0;
   const ledgerHome = resolveActivationLedgerHome(home);
-  const booksRoot = join29(ledgerHome, "books");
+  const booksRoot = join30(ledgerHome, "books");
   let bookKeys;
   try {
     bookKeys = await readdir4(booksRoot);
@@ -20329,7 +20354,7 @@ async function findLatestRunForSeatTicket(input) {
   let runDirectories;
   try {
     runDirectories = await listBookRunDirectories(
-      input.ticketNumber === void 0 ? bookDir : join29(bookDir, String(input.ticketNumber))
+      input.ticketNumber === void 0 ? bookDir : join30(bookDir, String(input.ticketNumber))
     );
   } catch (error) {
     if (errorCodeOf(error) === "ENOENT") return void 0;
@@ -21068,7 +21093,7 @@ init_submission_ledger();
 init_filed_submission();
 init_report_ticket_tool();
 import { writeSync as writeSync2 } from "node:fs";
-import { join as join30 } from "node:path";
+import { join as join31 } from "node:path";
 import { Value as Value2 } from "typebox/value";
 
 // src/activation-trace.ts
@@ -22865,7 +22890,7 @@ function readRoleRunCoordinates(ctx, label) {
   if (runDirectory === void 0) throw new Error(`${label} requires AK_ROLE_RUN_DIR`);
   const admitted = readPageSync(runDirectory, "admitted");
   if (typeof admitted?.projectRoot !== "string" || admitted.projectRoot.trim() === "") {
-    throw new Error(`${label} state.jsonl admitted-request row missing projectRoot (${join30(runDirectory, RUN_STATE_FILE)})`);
+    throw new Error(`${label} state.jsonl admitted-request row missing projectRoot (${join31(runDirectory, RUN_STATE_FILE)})`);
   }
   return {
     runDirectory,
@@ -24632,12 +24657,12 @@ function createAcpRoleTurnHost(config) {
 // src/acp-host/seat-profile-soul.ts
 import { constants as constants3 } from "node:fs";
 import { access as access3, copyFile, lstat as lstat4, mkdir as mkdir4, readlink, symlink as symlink2, unlink as unlink3 } from "node:fs/promises";
-import { dirname as dirname19, join as join31, relative as relative4, resolve as resolve16 } from "node:path";
+import { dirname as dirname19, join as join32, relative as relative4, resolve as resolve16 } from "node:path";
 function seatProfileName(spec, role) {
   return `${spec.namePrefix}${role}`;
 }
 function packageRoleSoulPath(packageRoot, role) {
-  return join31(packageRoot, "souls", `${role}.md`);
+  return join32(packageRoot, "souls", `${role}.md`);
 }
 async function pathExists2(path) {
   try {
@@ -24654,16 +24679,16 @@ async function ensureSeatProfileSoul(options) {
   if (!await pathExists2(soulTarget)) {
     throw new Error(`packaged role soul missing: ${soulTarget}`);
   }
-  const profilesRoot = join31(operatorHome, ...spec.profilesRootFromHome);
-  const profileDir = join31(profilesRoot, profileName);
+  const profilesRoot = join32(operatorHome, ...spec.profilesRootFromHome);
+  const profileDir = join32(profilesRoot, profileName);
   const hostRoot = dirname19(profilesRoot);
-  const soulPath = join31(profileDir, spec.soulFileName);
+  const soulPath = join32(profileDir, spec.soulFileName);
   if (!await pathExists2(profileDir)) {
     await mkdir4(profileDir, { recursive: true });
     for (const name of ["auth.json", ".env", "config.yaml"]) {
-      const source = join31(hostRoot, name);
+      const source = join32(hostRoot, name);
       if (!await pathExists2(source)) continue;
-      await copyFile(source, join31(profileDir, name));
+      await copyFile(source, join32(profileDir, name));
     }
   } else {
     await mkdir4(profileDir, { recursive: true });

package/dist/headless-host/production-host.js

@@ -9390,6 +9390,7 @@ var run_lifecycle_exports = {};
 __export(run_lifecycle_exports, {
   AUTO_RESUME_LIMIT: () => AUTO_RESUME_LIMIT,
   RunWriterLeaseHeldError: () => RunWriterLeaseHeldError,
+  WRITER_LOCK_FILE: () => WRITER_LOCK_FILE,
   acquireRunWriterLease: () => acquireRunWriterLease,
   autopsyWriterLock: () => autopsyWriterLock,
   clearCurrentCourt: () => clearCurrentCourt,
@@ -15580,24 +15581,48 @@ var init_post_admission = __esm({
 });
 
 // src/public-cli/seat-ticket-binding.ts
+import { join as join24 } from "node:path";
+function resumedSessionIdMissing(result, runId) {
+  if (typeof result !== "object" || result === null) return false;
+  const terminal = result.terminal;
+  if (typeof terminal !== "object" || terminal === null) return false;
+  if (terminal.runId !== runId) return false;
+  const outcome = terminal.roleOutcome;
+  if (typeof outcome !== "object" || outcome === null) return false;
+  if (outcome.kind !== "failure") return false;
+  const facts = outcome.decisiveFacts;
+  if (typeof facts !== "object" || facts === null) return false;
+  return facts.errorCode === SESSION_ID_MISSING;
+}
+async function writerLockBlocksFreshSummons(runDirectory) {
+  const autopsy = await autopsyWriterLock(join24(runDirectory, WRITER_LOCK_FILE));
+  return autopsy.verdict === "alive" || autopsy.verdict === "unknown";
+}
 async function tryResumeSameTicketSeatRun(input) {
   if (input.freshSummons === true) return void 0;
   if (input.parentRunPath.trim() === "") return void 0;
+  const bookKey = resolveBookKeyFromGit(input.projectRoot);
   const previous = await findLatestRunForSeatTicket({
     home: input.home,
-    bookKey: resolveBookKeyFromGit(input.projectRoot),
+    bookKey,
     role: input.role,
     parentRunPath: input.parentRunPath,
     ...input.ticketNumber === void 0 ? {} : { ticketNumber: input.ticketNumber }
   });
   if (previous === void 0) return void 0;
-  return await input.resume(previous.runId, input.summons, previous.runDirectory);
+  const resumed = await input.resume(previous.runId, input.summons, previous.runDirectory);
+  if (!resumedSessionIdMissing(resumed, previous.runId)) return resumed;
+  const live = await resolveLiveRunDirectoryPath(previous.runDirectory, input.home, bookKey);
+  if (live !== void 0 && await writerLockBlocksFreshSummons(live)) return resumed;
+  return void 0;
 }
+var SESSION_ID_MISSING;
 var init_seat_ticket_binding = __esm({
   "src/public-cli/seat-ticket-binding.ts"() {
     "use strict";
     init_activation_ledger_git();
     init_run_lifecycle();
+    SESSION_ID_MISSING = "session-id-missing";
   }
 });
 
@@ -17256,10 +17281,10 @@ var init_analyst_book_key = __esm({
 // src/atomic-write.ts
 import { randomUUID as randomUUID7 } from "node:crypto";
 import { rename as rename2, rm, writeFile as writeFile4 } from "node:fs/promises";
-import { dirname as dirname15, join as join24 } from "node:path";
+import { dirname as dirname15, join as join25 } from "node:path";
 async function writeFileAtomically(destination, contents, options) {
   const parent = dirname15(destination);
-  const temporary = join24(parent, `.atomic-write-${randomUUID7()}.tmp`);
+  const temporary = join25(parent, `.atomic-write-${randomUUID7()}.tmp`);
   try {
     await writeFile4(temporary, contents, options);
     await rename2(temporary, destination);
@@ -17276,12 +17301,12 @@ var init_atomic_write = __esm({
 
 // src/analyst-index.ts
 import { open as open2, readFile as readFile11, unlink as unlink2 } from "node:fs/promises";
-import { dirname as dirname16, join as join25 } from "node:path";
+import { dirname as dirname16, join as join26 } from "node:path";
 import { setTimeout as sleep } from "node:timers/promises";
 async function withAnalystLibraryIndexLock(ledgerHome, fn) {
   const indexPath = analystLibraryIndexPath(ledgerHome);
   ensureRealDirectoryTree(ledgerHome, dirname16(indexPath));
-  const lockPath = join25(dirname16(indexPath), LIBRARY_INDEX_LOCK_NAME);
+  const lockPath = join26(dirname16(indexPath), LIBRARY_INDEX_LOCK_NAME);
   assertLedgerFileInsideHome(lockPath, ledgerHome);
   const startedAt = Date.now();
   while (true) {
@@ -17308,7 +17333,7 @@ async function withAnalystLibraryIndexLock(ledgerHome, fn) {
   }
 }
 function analystLibraryIndexPath(ledgerHome) {
-  return join25(ledgerHome, "analyst", "library-index.json");
+  return join26(ledgerHome, "analyst", "library-index.json");
 }
 function rowFromIssueMetricsPage(page) {
   return {
@@ -17602,7 +17627,7 @@ var init_analyst_cohort = __esm({
 });
 
 // src/archivist-record-pointer.ts
-import { basename as basename12, join as join26 } from "node:path";
+import { basename as basename12, join as join27 } from "node:path";
 async function resolveOfficerPointer(raw, parentRunDirectory) {
   const where = `${parentRunDirectory} officers`;
   if (!isRecord(raw) || raw.kind !== DIRECT_OFFICER_RUN_POINTER_KIND || raw.version !== 1) {
@@ -17635,7 +17660,7 @@ async function resolveOfficerPointer(raw, parentRunDirectory) {
   };
 }
 async function readBookedOfficerPointers(parentRunDirectory) {
-  const { records, diagnostics } = await readSitianRecords(join26(parentRunDirectory, RUN_HISTORY_FILE));
+  const { records, diagnostics } = await readSitianRecords(join27(parentRunDirectory, RUN_HISTORY_FILE));
   if (diagnostics.length > 0) {
     throw new Error(
       `${RUN_HISTORY_FILE} has ${diagnostics.length} malformed row(s); officer pointers unreadable: ${parentRunDirectory}`
@@ -17918,7 +17943,7 @@ var init_analyst_gate_cycles_read = __esm({
 
 // src/analyst-ledger.ts
 import { readdir as readdir4 } from "node:fs/promises";
-import { basename as basename13, join as join27 } from "node:path";
+import { basename as basename13, join as join28 } from "node:path";
 async function readExistingRunLifecycleState(runDirectory) {
   return (await readRoleRunIdentity(runDirectory))?.state;
 }
@@ -17938,7 +17963,7 @@ function ghostLeaseCheckFromAutopsy(autopsy) {
   }
 }
 async function classifyGhostCandidate(input) {
-  const autopsy = await autopsyWriterLock(join27(input.runDirectory, "writer.lock"));
+  const autopsy = await autopsyWriterLock(join28(input.runDirectory, "writer.lock"));
   const leaseCheck = ghostLeaseCheckFromAutopsy(autopsy);
   if (leaseCheck === void 0) return { kind: "live" };
   return {
@@ -18228,7 +18253,7 @@ async function classifyScopedRun(input) {
 async function scanAnalystIssueRuns(input) {
   const ledgerHome = resolveActivationLedgerHome(input.home);
   const scopeTicketNumber = input.ticketNumber;
-  const booksRoot = join27(ledgerHome, "books");
+  const booksRoot = join28(ledgerHome, "books");
   let wholeBook = false;
   let scopeRootIdentity;
   let bookNames;
@@ -18261,7 +18286,7 @@ async function scanAnalystIssueRuns(input) {
   const ghostLegs = [];
   const scopeConflicts = [];
   for (const book of bookNames) {
-    const bookDir = join27(booksRoot, book);
+    const bookDir = join28(booksRoot, book);
     let runDirectories;
     try {
       runDirectories = await listBookRunDirectories(bookDir);
@@ -19007,7 +19032,7 @@ var init_analyst_metric_family = __esm({
 });
 
 // src/analyst-page.ts
-import { dirname as dirname17, join as join28 } from "node:path";
+import { dirname as dirname17, join as join29 } from "node:path";
 function analystIssuePageKey(address) {
   const parts = ["book", address.bookKey];
   if (address.issueNumber !== void 0) {
@@ -19018,7 +19043,7 @@ function analystIssuePageKey(address) {
   return sha256Hex(parts.join("\0")).slice(0, 32);
 }
 function analystIssuePagePath(ledgerHome, address) {
-  return join28(ledgerHome, "analyst", "issues", `${analystIssuePageKey(address)}.json`);
+  return join29(ledgerHome, "analyst", "issues", `${analystIssuePageKey(address)}.json`);
 }
 function analystIssuePageAddressFromPage(page) {
   return {
@@ -20582,7 +20607,7 @@ __export(public_role_summons_exports, {
 import { execFile as execFile3 } from "node:child_process";
 import { existsSync as existsSync13 } from "node:fs";
 import { realpath as realpath6 } from "node:fs/promises";
-import { join as join29 } from "node:path";
+import { join as join30 } from "node:path";
 import { promisify as promisify3 } from "node:util";
 function createCapturingIo() {
   const chunks = [];
@@ -20606,7 +20631,7 @@ function parentDir(path) {
 function walkPackageRoot(start) {
   let dir = start;
   for (let i = 0; i < 12; i += 1) {
-    if (existsSync13(join29(dir, "package.json")) && existsSync13(join29(dir, "souls"))) {
+    if (existsSync13(join30(dir, "package.json")) && existsSync13(join30(dir, "souls"))) {
       return dir;
     }
     const parent = parentDir(dir);
@@ -21214,7 +21239,7 @@ init_submission_ledger();
 init_filed_submission();
 init_report_ticket_tool();
 import { writeSync as writeSync2 } from "node:fs";
-import { join as join30 } from "node:path";
+import { join as join31 } from "node:path";
 import { Value as Value2 } from "typebox/value";
 
 // src/activation-trace.ts
@@ -22832,7 +22857,7 @@ function readRoleRunCoordinates(ctx, label) {
   if (runDirectory === void 0) throw new Error(`${label} requires AK_ROLE_RUN_DIR`);
   const admitted = readPageSync(runDirectory, "admitted");
   if (typeof admitted?.projectRoot !== "string" || admitted.projectRoot.trim() === "") {
-    throw new Error(`${label} state.jsonl admitted-request row missing projectRoot (${join30(runDirectory, RUN_STATE_FILE)})`);
+    throw new Error(`${label} state.jsonl admitted-request row missing projectRoot (${join31(runDirectory, RUN_STATE_FILE)})`);
   }
   return {
     runDirectory,
@@ -24225,7 +24250,7 @@ import { randomUUID as randomUUID10 } from "node:crypto";
 import { existsSync as existsSync15 } from "node:fs";
 import { mkdtemp, rm as rm2, writeFile as writeFile6 } from "node:fs/promises";
 import { tmpdir } from "node:os";
-import { dirname as dirname19, isAbsolute as isAbsolute11, join as join31, resolve as resolve16 } from "node:path";
+import { dirname as dirname19, isAbsolute as isAbsolute11, join as join32, resolve as resolve16 } from "node:path";
 
 // src/agent-start-materials.ts
 function renderAgentStartMaterials(body, materials) {
@@ -24611,7 +24636,7 @@ function formatCodexFailurePayload(payload) {
 function cwdIsGitWorkTree(cwd) {
   let dir = cwd;
   for (; ; ) {
-    if (existsSync15(join31(dir, ".git"))) return true;
+    if (existsSync15(join32(dir, ".git"))) return true;
     const parent = dirname19(dir);
     if (parent === dir) return false;
     dir = parent;
@@ -24828,8 +24853,8 @@ function createHeadlessRoleTurnHost(config) {
         }
         const env = { ...process.env, ...config.env ?? {} };
         const liveSessionParent = () => config.sessionIdentity.resolveSessionFile(request.principal);
-        const inputsDirectory = await mkdtemp(join31(tmpdir(), "ak-role-headless-"));
-        const systemPromptPath = join31(inputsDirectory, "system-prompt.txt");
+        const inputsDirectory = await mkdtemp(join32(tmpdir(), "ak-role-headless-"));
+        const systemPromptPath = join32(inputsDirectory, "system-prompt.txt");
         let mcpConfigPath;
         let outputSchemaPath;
         let startedWithSchema;
@@ -24837,12 +24862,12 @@ function createHeadlessRoleTurnHost(config) {
           await writeFile6(systemPromptPath, systemPrompt, "utf8");
           let deliveredSchema;
           if (codex) {
-            outputSchemaPath = join31(inputsDirectory, "output-schema.json");
+            outputSchemaPath = join32(inputsDirectory, "output-schema.json");
             deliveredSchema = closeJsonSchemaForCodex(prepared.jsonSchema);
             await writeFile6(outputSchemaPath, `${JSON.stringify(deliveredSchema, null, 2)}
 `, "utf8");
           } else {
-            mcpConfigPath = join31(inputsDirectory, "mcp-config.json");
+            mcpConfigPath = join32(inputsDirectory, "mcp-config.json");
             await writeFile6(
               mcpConfigPath,
               `${JSON.stringify(headlessMcpConfigDocument(prepared.mcpServers), null, 2)}

package/dist/public-cli/instruction-seat-run.js

@@ -703,7 +703,8 @@ async function runOmittedLensBatch(argv, parsed, env, io) {
 }
 /**
  * One same-parent lookup. Seat branches still build their own summons.
- * A found child resumes that child; no prior run returns undefined so the caller mints.
+ * A found child resumes that child. No prior run, explicit new, or a typed
+ * session-id-missing resume (失败照记，记完再起新) returns undefined so the caller mints.
  */
 function resumeSameParentInstructionSeat(input) {
     return tryResumeSameTicketSeatRun({

package/dist/public-cli/main.js

@@ -19492,24 +19492,48 @@ var init_auto_resume = __esm({
 });
 
 // src/public-cli/seat-ticket-binding.ts
+import { join as join21 } from "node:path";
+function resumedSessionIdMissing(result, runId) {
+  if (typeof result !== "object" || result === null) return false;
+  const terminal = result.terminal;
+  if (typeof terminal !== "object" || terminal === null) return false;
+  if (terminal.runId !== runId) return false;
+  const outcome = terminal.roleOutcome;
+  if (typeof outcome !== "object" || outcome === null) return false;
+  if (outcome.kind !== "failure") return false;
+  const facts = outcome.decisiveFacts;
+  if (typeof facts !== "object" || facts === null) return false;
+  return facts.errorCode === SESSION_ID_MISSING;
+}
+async function writerLockBlocksFreshSummons(runDirectory) {
+  const autopsy = await autopsyWriterLock(join21(runDirectory, WRITER_LOCK_FILE));
+  return autopsy.verdict === "alive" || autopsy.verdict === "unknown";
+}
 async function tryResumeSameTicketSeatRun(input) {
   if (input.freshSummons === true) return void 0;
   if (input.parentRunPath.trim() === "") return void 0;
+  const bookKey = resolveBookKeyFromGit(input.projectRoot);
   const previous = await findLatestRunForSeatTicket({
     home: input.home,
-    bookKey: resolveBookKeyFromGit(input.projectRoot),
+    bookKey,
     role: input.role,
     parentRunPath: input.parentRunPath,
     ...input.ticketNumber === void 0 ? {} : { ticketNumber: input.ticketNumber }
   });
   if (previous === void 0) return void 0;
-  return await input.resume(previous.runId, input.summons, previous.runDirectory);
+  const resumed = await input.resume(previous.runId, input.summons, previous.runDirectory);
+  if (!resumedSessionIdMissing(resumed, previous.runId)) return resumed;
+  const live = await resolveLiveRunDirectoryPath(previous.runDirectory, input.home, bookKey);
+  if (live !== void 0 && await writerLockBlocksFreshSummons(live)) return resumed;
+  return void 0;
 }
+var SESSION_ID_MISSING;
 var init_seat_ticket_binding = __esm({
   "src/public-cli/seat-ticket-binding.ts"() {
     "use strict";
     init_activation_ledger_git();
     init_run_lifecycle();
+    SESSION_ID_MISSING = "session-id-missing";
   }
 });
 
@@ -21208,7 +21232,7 @@ __export(public_role_summons_exports, {
 import { execFile as execFile3 } from "node:child_process";
 import { existsSync as existsSync10 } from "node:fs";
 import { realpath as realpath5 } from "node:fs/promises";
-import { join as join21 } from "node:path";
+import { join as join22 } from "node:path";
 import { promisify as promisify3 } from "node:util";
 function createCapturingIo() {
   const chunks = [];
@@ -21232,7 +21256,7 @@ function parentDir(path) {
 function walkPackageRoot(start) {
   let dir = start;
   for (let i = 0; i < 12; i += 1) {
-    if (existsSync10(join21(dir, "package.json")) && existsSync10(join21(dir, "souls"))) {
+    if (existsSync10(join22(dir, "package.json")) && existsSync10(join22(dir, "souls"))) {
       return dir;
     }
     const parent = parentDir(dir);
@@ -21775,7 +21799,7 @@ var init_compliance_transport = __esm({
 });
 
 // src/role-run-relocation.ts
-import { dirname as dirname14, join as join22 } from "node:path";
+import { dirname as dirname14, join as join23 } from "node:path";
 async function retainedRunPathsMatch(recordedPath, currentPath, currentRunDirectory) {
   if (recordedPath === currentPath) return true;
   if (typeof recordedPath !== "string") return false;
@@ -21821,6 +21845,7 @@ var run_lifecycle_exports = {};
 __export(run_lifecycle_exports, {
   AUTO_RESUME_LIMIT: () => AUTO_RESUME_LIMIT,
   RunWriterLeaseHeldError: () => RunWriterLeaseHeldError,
+  WRITER_LOCK_FILE: () => WRITER_LOCK_FILE,
   acquireRunWriterLease: () => acquireRunWriterLease,
   autopsyWriterLock: () => autopsyWriterLock,
   clearCurrentCourt: () => clearCurrentCourt,
@@ -21843,7 +21868,7 @@ __export(run_lifecycle_exports, {
 });
 import { existsSync as existsSync11 } from "node:fs";
 import { chmod, lstat as lstat3, open, readdir as readdir3, readFile as readFile10, unlink } from "node:fs/promises";
-import { basename as basename11, join as join23 } from "node:path";
+import { basename as basename11, join as join24 } from "node:path";
 async function writeRoleRunState(runDirectory, record) {
   const payload = { ...record, runDirectory };
   writeSectionSync(runDirectory, "runState", { ...payload });
@@ -22138,7 +22163,7 @@ async function createWriterLease(lockPath, runDirectory, reportCleanupFailure) {
     },
     relocate(nextRunDirectory) {
       currentRunDirectory = nextRunDirectory;
-      currentLockPath = join23(nextRunDirectory, WRITER_LOCK_FILE);
+      currentLockPath = join24(nextRunDirectory, WRITER_LOCK_FILE);
     },
     async release() {
       if (released) return;
@@ -22177,10 +22202,10 @@ async function acquireRunWriterLease(runDirectory, onCleanupFailure) {
   };
   const reportReadFailure = (error) => {
     reportDiagnostic(
-      `writer lease lock read failed (holder liveness unverifiable; lock left in place) at ${join23(runDirectory, WRITER_LOCK_FILE)}: ${describeErrorIdentity(error)}`
+      `writer lease lock read failed (holder liveness unverifiable; lock left in place) at ${join24(runDirectory, WRITER_LOCK_FILE)}: ${describeErrorIdentity(error)}`
     );
   };
-  const lockPath = join23(runDirectory, WRITER_LOCK_FILE);
+  const lockPath = join24(runDirectory, WRITER_LOCK_FILE);
   let lastAutopsy = { verdict: "absent" };
   let lastReclaimFailure;
   for (let reclaimsLeft = WRITER_LEASE_RECLAIM_ROUNDS; ; reclaimsLeft -= 1) {
@@ -22246,7 +22271,7 @@ async function findRunDirectoryById(home, runId, onlyBookKey, onlyRole, knownRun
   }
   if (runId.trim() === "") return void 0;
   const ledgerHome = resolveActivationLedgerHome(home);
-  const booksRoot = join23(ledgerHome, "books");
+  const booksRoot = join24(ledgerHome, "books");
   let bookKeys;
   try {
     bookKeys = await readdir3(booksRoot);
@@ -22296,7 +22321,7 @@ async function findLatestRunForSeatTicket(input) {
   let runDirectories;
   try {
     runDirectories = await listBookRunDirectories(
-      input.ticketNumber === void 0 ? bookDir : join23(bookDir, String(input.ticketNumber))
+      input.ticketNumber === void 0 ? bookDir : join24(bookDir, String(input.ticketNumber))
     );
   } catch (error) {
     if (errorCodeOf(error) === "ENOENT") return void 0;
@@ -30068,10 +30093,10 @@ var init_analyst_book_key = __esm({
 // src/atomic-write.ts
 import { randomUUID as randomUUID7 } from "node:crypto";
 import { rename as rename2, rm, writeFile as writeFile4 } from "node:fs/promises";
-import { dirname as dirname15, join as join24 } from "node:path";
+import { dirname as dirname15, join as join25 } from "node:path";
 async function writeFileAtomically(destination, contents, options) {
   const parent = dirname15(destination);
-  const temporary = join24(parent, `.atomic-write-${randomUUID7()}.tmp`);
+  const temporary = join25(parent, `.atomic-write-${randomUUID7()}.tmp`);
   try {
     await writeFile4(temporary, contents, options);
     await rename2(temporary, destination);
@@ -30088,12 +30113,12 @@ var init_atomic_write = __esm({
 
 // src/analyst-index.ts
 import { open as open2, readFile as readFile11, unlink as unlink2 } from "node:fs/promises";
-import { dirname as dirname16, join as join25 } from "node:path";
+import { dirname as dirname16, join as join26 } from "node:path";
 import { setTimeout as sleep } from "node:timers/promises";
 async function withAnalystLibraryIndexLock(ledgerHome, fn) {
   const indexPath = analystLibraryIndexPath(ledgerHome);
   ensureRealDirectoryTree(ledgerHome, dirname16(indexPath));
-  const lockPath = join25(dirname16(indexPath), LIBRARY_INDEX_LOCK_NAME);
+  const lockPath = join26(dirname16(indexPath), LIBRARY_INDEX_LOCK_NAME);
   assertLedgerFileInsideHome(lockPath, ledgerHome);
   const startedAt = Date.now();
   while (true) {
@@ -30120,7 +30145,7 @@ async function withAnalystLibraryIndexLock(ledgerHome, fn) {
   }
 }
 function analystLibraryIndexPath(ledgerHome) {
-  return join25(ledgerHome, "analyst", "library-index.json");
+  return join26(ledgerHome, "analyst", "library-index.json");
 }
 function rowFromIssueMetricsPage(page) {
   return {
@@ -30414,7 +30439,7 @@ var init_analyst_cohort = __esm({
 });
 
 // src/archivist-record-pointer.ts
-import { basename as basename12, join as join26 } from "node:path";
+import { basename as basename12, join as join27 } from "node:path";
 async function resolveOfficerPointer(raw, parentRunDirectory) {
   const where = `${parentRunDirectory} officers`;
   if (!isRecord(raw) || raw.kind !== DIRECT_OFFICER_RUN_POINTER_KIND || raw.version !== 1) {
@@ -30447,7 +30472,7 @@ async function resolveOfficerPointer(raw, parentRunDirectory) {
   };
 }
 async function readBookedOfficerPointers(parentRunDirectory) {
-  const { records, diagnostics } = await readSitianRecords(join26(parentRunDirectory, RUN_HISTORY_FILE));
+  const { records, diagnostics } = await readSitianRecords(join27(parentRunDirectory, RUN_HISTORY_FILE));
   if (diagnostics.length > 0) {
     throw new Error(
       `${RUN_HISTORY_FILE} has ${diagnostics.length} malformed row(s); officer pointers unreadable: ${parentRunDirectory}`
@@ -30730,7 +30755,7 @@ var init_analyst_gate_cycles_read = __esm({
 
 // src/analyst-ledger.ts
 import { readdir as readdir4 } from "node:fs/promises";
-import { basename as basename13, join as join27 } from "node:path";
+import { basename as basename13, join as join28 } from "node:path";
 async function readExistingRunLifecycleState(runDirectory) {
   return (await readRoleRunIdentity(runDirectory))?.state;
 }
@@ -30750,7 +30775,7 @@ function ghostLeaseCheckFromAutopsy(autopsy) {
   }
 }
 async function classifyGhostCandidate(input) {
-  const autopsy = await autopsyWriterLock(join27(input.runDirectory, "writer.lock"));
+  const autopsy = await autopsyWriterLock(join28(input.runDirectory, "writer.lock"));
   const leaseCheck = ghostLeaseCheckFromAutopsy(autopsy);
   if (leaseCheck === void 0) return { kind: "live" };
   return {
@@ -31040,7 +31065,7 @@ async function classifyScopedRun(input) {
 async function scanAnalystIssueRuns(input) {
   const ledgerHome = resolveActivationLedgerHome(input.home);
   const scopeTicketNumber = input.ticketNumber;
-  const booksRoot = join27(ledgerHome, "books");
+  const booksRoot = join28(ledgerHome, "books");
   let wholeBook = false;
   let scopeRootIdentity;
   let bookNames;
@@ -31073,7 +31098,7 @@ async function scanAnalystIssueRuns(input) {
   const ghostLegs = [];
   const scopeConflicts = [];
   for (const book of bookNames) {
-    const bookDir = join27(booksRoot, book);
+    const bookDir = join28(booksRoot, book);
     let runDirectories;
     try {
       runDirectories = await listBookRunDirectories(bookDir);
@@ -31819,7 +31844,7 @@ var init_analyst_metric_family = __esm({
 });
 
 // src/analyst-page.ts
-import { dirname as dirname17, join as join28 } from "node:path";
+import { dirname as dirname17, join as join29 } from "node:path";
 function analystIssuePageKey(address) {
   const parts = ["book", address.bookKey];
   if (address.issueNumber !== void 0) {
@@ -31830,7 +31855,7 @@ function analystIssuePageKey(address) {
   return sha256Hex(parts.join("\0")).slice(0, 32);
 }
 function analystIssuePagePath(ledgerHome, address) {
-  return join28(ledgerHome, "analyst", "issues", `${analystIssuePageKey(address)}.json`);
+  return join29(ledgerHome, "analyst", "issues", `${analystIssuePageKey(address)}.json`);
 }
 function analystIssuePageAddressFromPage(page) {
   return {
@@ -33384,12 +33409,12 @@ var init_cli = __esm({
 
 // src/public-cli/main.ts
 import { existsSync as existsSync12 } from "node:fs";
-import { dirname as dirname18, join as join29 } from "node:path";
+import { dirname as dirname18, join as join30 } from "node:path";
 import { fileURLToPath as fileURLToPath2 } from "node:url";
 var here = dirname18(fileURLToPath2(import.meta.url));
 function resolvePackageRoot(binDir) {
-  const canonical = join29(binDir, "..", "..");
-  if (existsSync12(join29(canonical, "package.json"))) {
+  const canonical = join30(binDir, "..", "..");
+  if (existsSync12(join30(canonical, "package.json"))) {
     return canonical;
   }
   return binDir;

package/dist/public-cli/run-lifecycle.js

@@ -23,7 +23,7 @@ import { isRecord, errorText, isEnoent } from "../unknown-value.js";
  * source: runWithAutoResumeLoop receives the effective value once per call.
  */
 export const AUTO_RESUME_LIMIT = 2;
-const WRITER_LOCK_FILE = "writer.lock";
+export const WRITER_LOCK_FILE = "writer.lock";
 export async function writeRoleRunState(runDirectory, record) {
     const payload = { ...record, runDirectory };
     writeSectionSync(runDirectory, "runState", { ...payload });

package/dist/public-cli/seat-ticket-binding.js

@@ -1,38 +1,66 @@
 /**
- * Shared same-parent resume seam for gate / officer seats (#635 / #637 / #747 / #987).
- *
- * Lookup uses the parent run path; a typed ticket narrows same-ticket gate
- * re-summons, never creates an issue identity. Callers can also use explicit
- * `ak-role resume <runId>`. Lookup/resume failures propagate (失败诚实) — never wash into
- * a fresh mint. Returns undefined when the caller declared an explicit fresh
- * summons (`ak-role new`) or when no prior run exists; both mint new.
- * freshSummons is required so no seat can drift back into its own skip branch.
+ * Shared same-parent resume seam for gate / officer seats (#635 / #637 / #747 / #987 / #1253).
+ * Contract is on tryResumeSameTicketSeatRun.
  */
+import { join } from "node:path";
 import { resolveBookKeyFromGit } from "../activation-ledger-git.js";
-import { findLatestRunForSeatTicket, } from "./run-lifecycle.js";
+import { autopsyWriterLock, findLatestRunForSeatTicket, resolveLiveRunDirectoryPath, WRITER_LOCK_FILE, } from "./run-lifecycle.js";
+const SESSION_ID_MISSING = "session-id-missing";
+function resumedSessionIdMissing(result, runId) {
+    if (typeof result !== "object" || result === null)
+        return false;
+    const terminal = result.terminal;
+    if (typeof terminal !== "object" || terminal === null)
+        return false;
+    if (terminal.runId !== runId)
+        return false;
+    const outcome = terminal.roleOutcome;
+    if (typeof outcome !== "object" || outcome === null)
+        return false;
+    if (outcome.kind !== "failure")
+        return false;
+    const facts = outcome.decisiveFacts;
+    if (typeof facts !== "object" || facts === null)
+        return false;
+    return facts.errorCode === SESSION_ID_MISSING;
+}
+/** Live or unverifiable holder: same fail-closed verdict as lease acquire. */
+async function writerLockBlocksFreshSummons(runDirectory) {
+    const autopsy = await autopsyWriterLock(join(runDirectory, WRITER_LOCK_FILE));
+    return autopsy.verdict === "alive" || autopsy.verdict === "unknown";
+}
 /**
- * Sole same-seat → resume decision by parent run path (#637 / #724 / #747 / #987).
+ * Sole same-seat → resume decision by parent run path (#637 / #724 / #747 / #987 / #1253).
  * A supplied typed ticket only narrows the prior-run search. When a prior run is
  * found, resume carries this summons' materials and the located runDirectory so
- * load does not re-walk every book for the bare runId (#1195). Lookup/resume
- * failures propagate (失败诚实) — never wash into a fresh mint. Returns undefined
- * when the caller declared an explicit fresh summons (`ak-role new`), the parent
- * path is blank, or no prior run exists; those mint new. freshSummons is
- * required so no seat can drift back into its own skip branch.
+ * load does not re-walk every book for the bare runId (#1195). Typed
+ * session-id-missing is already recorded on that run (失败照记，记完再起新);
+ * return undefined so the caller mints once. Resume runs first; this seam does
+ * not look up a session id. A held or unverifiable writer lock, and every other
+ * result, returns as-is. Also returns undefined for explicit `ak-role new`, a
+ * blank parent path, or no prior run. freshSummons is required so no seat can
+ * drift back into its own skip branch.
  */
 export async function tryResumeSameTicketSeatRun(input) {
     if (input.freshSummons === true)
         return undefined;
     if (input.parentRunPath.trim() === "")
         return undefined;
+    const bookKey = resolveBookKeyFromGit(input.projectRoot);
     const previous = await findLatestRunForSeatTicket({
         home: input.home,
-        bookKey: resolveBookKeyFromGit(input.projectRoot),
+        bookKey,
         role: input.role,
         parentRunPath: input.parentRunPath,
         ...(input.ticketNumber === undefined ? {} : { ticketNumber: input.ticketNumber }),
     });
     if (previous === undefined)
         return undefined;
-    return await input.resume(previous.runId, input.summons, previous.runDirectory);
+    const resumed = await input.resume(previous.runId, input.summons, previous.runDirectory);
+    if (!resumedSessionIdMissing(resumed, previous.runId))
+        return resumed;
+    const live = await resolveLiveRunDirectoryPath(previous.runDirectory, input.home, bookKey);
+    if (live !== undefined && await writerLockBlocksFreshSummons(live))
+        return resumed;
+    return undefined;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@akagilnc/pi-workflow-roles",
-  "version": "0.1.5938",
+  "version": "0.1.5946",
   "description": "Soul-bound workflow roles for Pi",
   "type": "module",
   "license": "Apache-2.0",
@@ -46,9 +46,8 @@
     "prepack": "npm run build",
     "test": "vitest run --project unit-contract",
     "test:fast": "pnpm test",
-    "test:integration": "pnpm run test:vitest && node scripts/run-test-all.mjs integration",
-    "test:all": "pnpm run test:vitest && node scripts/run-test-all.mjs",
-    "test:vitest": "vitest run",
+    "test:integration": "vitest run --project integration",
+    "test:all": "vitest run",
     "typecheck": "tsc --noEmit",
     "migrate:book-topology": "node dist/migrate-book-topology.js"
   },

package/src/public-cli/instruction-seat-run.ts

@@ -973,7 +973,8 @@ async function runOmittedLensBatch(
 
 /**
  * One same-parent lookup. Seat branches still build their own summons.
- * A found child resumes that child; no prior run returns undefined so the caller mints.
+ * A found child resumes that child. No prior run, explicit new, or a typed
+ * session-id-missing resume (失败照记，记完再起新) returns undefined so the caller mints.
  */
 function resumeSameParentInstructionSeat(input: {
   readonly env: InstructionSeatRunEnv;

package/src/public-cli/run-lifecycle.ts

@@ -130,7 +130,7 @@ export type SameTicketSummonsMaterials = {
   readonly sourceRun?: NotarySourceRunLocator;
 };
 
-const WRITER_LOCK_FILE = "writer.lock";
+export const WRITER_LOCK_FILE = "writer.lock";
 
 export async function writeRoleRunState(
   runDirectory: string,

package/src/public-cli/seat-ticket-binding.ts

@@ -1,29 +1,51 @@
 /**
- * Shared same-parent resume seam for gate / officer seats (#635 / #637 / #747 / #987).
- *
- * Lookup uses the parent run path; a typed ticket narrows same-ticket gate
- * re-summons, never creates an issue identity. Callers can also use explicit
- * `ak-role resume <runId>`. Lookup/resume failures propagate (失败诚实) — never wash into
- * a fresh mint. Returns undefined when the caller declared an explicit fresh
- * summons (`ak-role new`) or when no prior run exists; both mint new.
- * freshSummons is required so no seat can drift back into its own skip branch.
+ * Shared same-parent resume seam for gate / officer seats (#635 / #637 / #747 / #987 / #1253).
+ * Contract is on tryResumeSameTicketSeatRun.
  */
+import { join } from "node:path";
+
 import { resolveBookKeyFromGit } from "../activation-ledger-git.ts";
 import {
+  autopsyWriterLock,
   findLatestRunForSeatTicket,
+  resolveLiveRunDirectoryPath,
+  WRITER_LOCK_FILE,
   type RoleRunRecord,
   type SameTicketSummonsMaterials,
 } from "./run-lifecycle.ts";
 
+const SESSION_ID_MISSING = "session-id-missing";
+
+function resumedSessionIdMissing(result: unknown, runId: string): boolean {
+  if (typeof result !== "object" || result === null) return false;
+  const terminal = (result as { terminal?: unknown }).terminal;
+  if (typeof terminal !== "object" || terminal === null) return false;
+  if ((terminal as { runId?: unknown }).runId !== runId) return false;
+  const outcome = (terminal as { roleOutcome?: unknown }).roleOutcome;
+  if (typeof outcome !== "object" || outcome === null) return false;
+  if ((outcome as { kind?: unknown }).kind !== "failure") return false;
+  const facts = (outcome as { decisiveFacts?: unknown }).decisiveFacts;
+  if (typeof facts !== "object" || facts === null) return false;
+  return (facts as { errorCode?: unknown }).errorCode === SESSION_ID_MISSING;
+}
+
+/** Live or unverifiable holder: same fail-closed verdict as lease acquire. */
+async function writerLockBlocksFreshSummons(runDirectory: string): Promise<boolean> {
+  const autopsy = await autopsyWriterLock(join(runDirectory, WRITER_LOCK_FILE));
+  return autopsy.verdict === "alive" || autopsy.verdict === "unknown";
+}
+
 /**
- * Sole same-seat → resume decision by parent run path (#637 / #724 / #747 / #987).
+ * Sole same-seat → resume decision by parent run path (#637 / #724 / #747 / #987 / #1253).
  * A supplied typed ticket only narrows the prior-run search. When a prior run is
  * found, resume carries this summons' materials and the located runDirectory so
- * load does not re-walk every book for the bare runId (#1195). Lookup/resume
- * failures propagate (失败诚实) — never wash into a fresh mint. Returns undefined
- * when the caller declared an explicit fresh summons (`ak-role new`), the parent
- * path is blank, or no prior run exists; those mint new. freshSummons is
- * required so no seat can drift back into its own skip branch.
+ * load does not re-walk every book for the bare runId (#1195). Typed
+ * session-id-missing is already recorded on that run (失败照记，记完再起新);
+ * return undefined so the caller mints once. Resume runs first; this seam does
+ * not look up a session id. A held or unverifiable writer lock, and every other
+ * result, returns as-is. Also returns undefined for explicit `ak-role new`, a
+ * blank parent path, or no prior run. freshSummons is required so no seat can
+ * drift back into its own skip branch.
  */
 export async function tryResumeSameTicketSeatRun<T>(input: {
   readonly home: string;
@@ -41,13 +63,18 @@ export async function tryResumeSameTicketSeatRun<T>(input: {
 }): Promise<T | undefined> {
   if (input.freshSummons === true) return undefined;
   if (input.parentRunPath.trim() === "") return undefined;
+  const bookKey = resolveBookKeyFromGit(input.projectRoot);
   const previous = await findLatestRunForSeatTicket({
     home: input.home,
-    bookKey: resolveBookKeyFromGit(input.projectRoot),
+    bookKey,
     role: input.role,
     parentRunPath: input.parentRunPath,
     ...(input.ticketNumber === undefined ? {} : { ticketNumber: input.ticketNumber }),
   });
   if (previous === undefined) return undefined;
-  return await input.resume(previous.runId, input.summons, previous.runDirectory);
+  const resumed = await input.resume(previous.runId, input.summons, previous.runDirectory);
+  if (!resumedSessionIdMissing(resumed, previous.runId)) return resumed;
+  const live = await resolveLiveRunDirectoryPath(previous.runDirectory, input.home, bookKey);
+  if (live !== undefined && await writerLockBlocksFreshSummons(live)) return resumed;
+  return undefined;
 }