@akagilnc/pi-workflow-roles 0.1.5245 → 0.1.5270

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

@@ -429,13 +429,6 @@ export async function clearCurrentCourt(runDirectory, expectedCourtAttemptId) {
         ...(current.resumable === undefined ? {} : { resumable: current.resumable }),
     });
 }
-/**
- * True when the host authority reports the durable principal available.
- * Resume must reopen this exact principal; directory-latest is not identity.
- */
-export async function isDurablePrincipalAvailable(principal, authority) {
-    return authority.isAvailable(principal);
-}
 export class RunWriterLeaseHeldError extends Error {
     code = "AK_RUN_WRITER_LEASE_HELD";
     constructor(message = "role run writer lease is already held") {
@@ -932,7 +925,7 @@ function restoredTicketFields(fields) {
             : { courtTicketNumbers: fields.courtTicketNumbers }),
     };
 }
-async function loadResumableRunRecord(home, runId, authority, allowUnformedAdmitted = false) {
+async function loadResumableRunRecord(home, runId, authority) {
     const runDirectory = await findRunDirectoryById(home, runId);
     if (runDirectory === undefined) {
         throw new CliUsageError(`unknown role run id: ${runId}`);
@@ -941,17 +934,14 @@ async function loadResumableRunRecord(home, runId, authority, allowUnformedAdmit
     if (disk === undefined) {
         throw new CliUsageError(`unknown role run id: ${runId}`);
     }
-    // #416: removed terminal/resumable gates per owner decision "根本不要有限制" (2026-08-22).
-    // Only the exact Pi session principal check remains as honest failure.
+    // #416 / #1091: removed terminal/resumable and local session-file gates.
+    // The load seam locates the run and recovers identity; host CLI answers continuation.
     // One authority.decode of the uninterpreted wire yields both principal and record.
     const materialized = materializeRoleRunFromDisk(disk, authority);
     if (materialized === undefined) {
         throw new CliUsageError(`unknown role run id: ${runId}`);
     }
     const { run, principal } = materialized;
-    if (!(allowUnformedAdmitted && run.state === "admitted") && !(await isDurablePrincipalAvailable(principal, authority))) {
-        throw new CliUsageError(`role run Pi session principal is unavailable: ${runId}`);
-    }
     // Reconstruct admitted identity from durable run record + admitted-request.json.
     let instruction = "";
     let instructionEmpty = true;
@@ -1268,8 +1258,8 @@ export async function peekRoleRunRole(home, runId) {
  * selects the existing restore checks. The stored native host session id is
  * read on the public explicit resume seam, not from this load.
  */
-export async function loadResumablePublicRole(home, runId, authority, allowUnformedAdmitted = false) {
-    const loaded = await loadResumableRunRecord(home, runId, authority, allowUnformedAdmitted);
+export async function loadResumablePublicRole(home, runId, authority) {
+    const loaded = await loadResumableRunRecord(home, runId, authority);
     return seatLoadedResult(loaded, admitResumedRole(loaded));
 }
 /**

package/dist/public-cli/settlement.js

@@ -26,7 +26,7 @@ import { DOCTOR_CANDIDATE_ENTRY_TYPE } from "../dossier-resolution.js";
 import { REVIEWER_OUTPUT_TOOL_NAME, } from "../package-contracts/reviewer-output.js";
 import { packagedAuditToolName, packagedDurableOfficerEntry, packagedRoleAcceptedOutputTool, packagedRoleMetadata, packagedSkipsGateOnInfrastructureStage, } from "../packaged-role-registry.js";
 import { SECRETARIAT_COUNTERSIGN_TERMINAL_FACT_KEY, SECRETARIAT_GATE_OFFICER_ENTRY_TYPE, } from "../secretariat-contracts.js";
-import { classifyPackagedRoleTerminalResult, findLatestDurablePackagedRoleTerminal, hasNavigatorInfrastructureFailureBase, isAcceptedPackagedRoleTerminalResult, isReceiptSettlementBindingClear, NAVIGATOR_INVOCATION_ENTRY, NAVIGATOR_ROUTE_PLAYBOOK_FAILURE_ENTRY, parseInvocationMarkerIdentity, } from "../navigator-invocation-identity.js";
+import { classifyPackagedRoleTerminalResult, findLatestDurablePackagedRoleTerminal, hasNavigatorInfrastructureFailureBase, isAcceptedPackagedRoleTerminalResult, NAVIGATOR_ROUTE_PLAYBOOK_FAILURE_ENTRY, } from "../navigator-invocation-identity.js";
 import { NO_RECEIPT_LIFECYCLE_ENTRY_TYPE, RECEIPT_DELIVERY_TURN_LIMIT, noReceiptLifecycleFacts, parseNoReceiptLifecycleFacts, } from "../receipt-delivery-policy.js";
 import { roleRunArtifactsDirectory } from "../role-run-placement.js";
 import { rewriteRunDirectoryPathValue } from "../role-run-relocation.js";
@@ -1353,19 +1353,6 @@ export async function appendRunAttemptHistory(source, outcome) {
     }
     catch { }
 }
-/**
- * Minimal attendance provenance against the bound marker (ADR 0043).
- * Keep only invocationId + post-terminal ordering. Runtime-self-produced
- * role/phase/subject/version are not re-reconciled here (ADR 0042).
- */
-function navigatorAttendanceCorrelatedWithBoundMarker(details, attendanceIndex, terminalIndex, marker) {
-    if (attendanceIndex <= terminalIndex)
-        return false;
-    // Exact current invocation token is the bound marker principal.
-    if (details.invocationId !== marker.invocationId)
-        return false;
-    return true;
-}
 function parseNavigatorAttendanceDetails(details) {
     const disposition = details.disposition;
     const advisoryDiagnostic = typeof details.routePlaybookReadFailure === "string"
@@ -1586,10 +1573,9 @@ export function extractNavigatorFact(entries) {
     return message === undefined ? fact : { ...fact, advisoryDiagnostic: message };
 }
 function extractNavigatorAttendanceFact(entries) {
-    // Affirmative attendance only. Missing / uncorrelated / unparseable is never no-advice.
-    // Minimal provenance: latest durable terminal + nearest preceding marker +
-    // invocationId + post-terminal order. Marker↔terminal cardinality belongs to
-    // receipt settlement (isReceiptSettlementBindingClear), not attendance extraction.
+    // Affirmative attendance only. Missing / unparseable is never no-advice.
+    // The shared lifecycle places the settled event on this submission's closure;
+    // an unrelated attendance message cannot supply another call's result.
     const terminal = findLatestDurablePackagedRoleTerminal(entries);
     if (terminal === undefined) {
         return {
@@ -1598,49 +1584,14 @@ function extractNavigatorAttendanceFact(entries) {
             reason: "Navigator attendance has no durable packaged role terminal",
         };
     }
-    let markerIndex = -1;
-    for (let i = terminal.index - 1; i >= 0; i -= 1) {
+    for (let i = terminal.index; i < entries.length; i += 1) {
         const entry = entries[i];
-        if (entry?.type === "custom" && entry.customType === NAVIGATOR_INVOCATION_ENTRY) {
-            markerIndex = i;
+        if (entry?.type !== "custom" || entry.customType !== "ak-role-submission-closure")
+            continue;
+        const details = isRecord(entry.data) ? entry.data.navigator : undefined;
+        if (!isRecord(details))
             break;
-        }
-    }
-    if (markerIndex < 0) {
-        return {
-            disposition: "unavailable",
-            source: "unknown",
-            reason: "Navigator attendance is uncorrelated with session invocation facts",
-        };
-    }
-    const marker = parseInvocationMarkerIdentity(entries[markerIndex]?.data);
-    if (marker === undefined) {
-        return {
-            disposition: "unavailable",
-            source: "unknown",
-            reason: "Navigator attendance is uncorrelated with session invocation facts",
-        };
-    }
-    for (let i = entries.length - 1; i >= 0; i -= 1) {
-        const entry = entries[i];
-        if (entry?.type === "custom_message" && entry.customType === "ak-navigator-attendance") {
-            const details = entry.message?.details ?? entry.details;
-            if (!isRecord(details)) {
-                return {
-                    disposition: "unavailable",
-                    source: "unknown",
-                    reason: "Navigator attendance is unparseable",
-                };
-            }
-            if (!navigatorAttendanceCorrelatedWithBoundMarker(details, i, terminal.index, marker)) {
-                return {
-                    disposition: "unavailable",
-                    source: "unknown",
-                    reason: "Navigator attendance is uncorrelated with session invocation facts",
-                };
-            }
-            return parseNavigatorAttendanceDetails(details);
-        }
+        return parseNavigatorAttendanceDetails(details);
     }
     // Absence is not successful no-advice — require affirmative typed attendance.
     return {

package/dist/public-cli/terminal.js

@@ -69,8 +69,10 @@ export function formatTerminalResult(result) {
     if (result.roleOutcome.kind === "failure") {
         lines.push(`diagnostic\t${encodeTerminalField(result.roleOutcome.diagnostic)}`);
     }
-    if (result.roleOutcome.kind === "failure" || result.roleOutcome.kind === "no_receipt" || result.roleOutcome.kind === "audit_escalation") {
-        const facts = result.roleOutcome.decisiveFacts ?? {};
+    if (result.roleOutcome.kind === "failure" || result.roleOutcome.kind === "no_receipt" || result.roleOutcome.kind === "audit_escalation" || result.roleOutcome.decisiveFacts?.failedAttempts !== undefined) {
+        const facts = result.roleOutcome.kind === "accepted"
+            ? { failedAttempts: result.roleOutcome.decisiveFacts?.failedAttempts }
+            : result.roleOutcome.decisiveFacts ?? {};
         for (const [key, value] of Object.entries(facts)) {
             if (value === undefined)
                 continue;

package/dist/session-identity.js

@@ -31,24 +31,6 @@ export function createSessionIdentityAuthority(authority, sessionBindingFile) {
         },
     };
 }
-/**
- * Host-aware resumable-session probe (#840 P1). The shared auto-resume loop
- * (public-cli/auto-resume.ts) asks one question — "can this principal's turn
- * still be resumed" — without itself knowing which concrete host executed it.
- * Pi's own session.jsonl transcript (DurablePrincipalAuthority#isAvailable)
- * answers that only for the pi host; ACP and headless hosts persist their
- * resumable native session id under their own session-identity binding file
- * instead (#729 / #731 / #645) and never write session.jsonl, so the plain
- * pi check always reports them unavailable after one attempt. One lookup per
- * registered host family — no per-host-name branch, no per-seat whitelist.
- */
-export function resolveHostAwareSessionAvailability(host, principalAuthority) {
-    if (host === undefined || host === DEFAULT_ROLE_TURN_HOST) {
-        return (principal) => principalAuthority.isAvailable(principal);
-    }
-    // Unregistered names have no binding file: absence, not a guess at pi.
-    return async (principal) => (await readStoredHostSessionId(host, principalAuthority, principal)) !== undefined;
-}
 /**
  * Native session/thread id already stored for this principal on `host`.
  * Public explicit resume reads it once and hands it to the host adapter.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@akagilnc/pi-workflow-roles",
-  "version": "0.1.5245",
+  "version": "0.1.5270",
   "description": "Soul-bound workflow roles for Pi",
   "type": "module",
   "license": "Apache-2.0",

package/src/acp-host/description.ts

@@ -26,8 +26,6 @@ export type AcpHostDescription = Readonly<{
    *   `provider:model` (hermes).
    */
   modelPassing: "argv" | "set_model";
-  /** Which verb a bound resume uses; "session/new" hosts always mint + bind. */
-  boundResume: "session/load" | "session/new";
   /** Durable ACP binding filename written beside the session principal. */
   sessionBindingFile: string;
   /**

package/src/acp-host/production-host.ts

@@ -61,7 +61,6 @@ export function createProductionAcpRoleTurnHost(options: ProductionAcpHostOption
   return createComposedAcpRoleTurnHost({
     hostName,
     sessionIdentity: createSessionIdentityAuthority(principalAuthority, description.sessionBindingFile),
-    boundResume: description.boundResume,
     modelPassing: description.modelPassing,
     roleRuntimeDependencies: createRoleRuntimeDependencies(packageRoot),
     async connect(request) {

package/src/acp-host/role-turn-host.ts

@@ -86,8 +86,6 @@ export type AcpRoleTurnHostConfig = Readonly<{
   sessionIdentity: SessionIdentityAuthority;
   /** Seat-table host key (e.g. grok-build) for sitian host field. */
   hostName: string;
-  /** Whether a bound resume reuses the native session or mints a fresh one. */
-  boundResume: AcpHostDescription["boundResume"];
   /**
    * How the seat model reaches the agent: "set_model" sends an ACP
    * `session/set_model` RPC with modelId `provider:model` once the session
@@ -324,7 +322,8 @@ export function createAcpRoleTurnHost(config: AcpRoleTurnHostConfig): RoleTurnHo
           });
           return loadedId;
         };
-        if (request.continuation.kind === "resume" && config.boundResume === "session/load") {
+        let sessionReady = true;
+        if (request.continuation.kind === "resume") {
           const explicitHostSessionId = request.continuation.hostSessionId;
           const boundSessionId = explicitHostSessionId !== undefined && explicitHostSessionId !== ""
             ? explicitHostSessionId
@@ -333,10 +332,17 @@ export function createAcpRoleTurnHost(config: AcpRoleTurnHostConfig): RoleTurnHo
             sessionId = boundSessionId;
             sessionId = await loadSession(boundSessionId);
             sessionOpened = true;
+          } else {
+            outcome = failure(
+              "session",
+              "AcpSessionFailure",
+              "session-id-missing",
+              undefined,
+              "resume requires a bound session id",
+            );
+            sessionReady = false;
           }
-        }
-        let sessionReady = true;
-        if (sessionId === undefined) {
+        } else {
           const session = await rpc("session/new", sessionBindParams);
           sessionId = typeof session.sessionId === "string" ? session.sessionId : undefined;
           if (sessionId === undefined || sessionId === "") {

package/src/headless-host/role-turn-host.ts

@@ -475,10 +475,17 @@ export function createHeadlessRoleTurnHost(config: HeadlessRoleTurnHostConfig):
       let sessionId = explicitHostSessionId !== undefined && explicitHostSessionId !== ""
         ? explicitHostSessionId
         : await config.sessionIdentity.load(request.principal);
+      if (request.continuation.kind === "resume" && (sessionId === undefined || sessionId === "")) {
+        outcome = failure(
+          "session",
+          "HeadlessSessionFailure",
+          "session-id-missing",
+          undefined,
+          "resume requires a bound session id",
+        );
+      } else {
       let sessionKind: "new" | "resume" =
-        request.continuation.kind === "resume" && sessionId !== undefined && sessionId !== ""
-          ? "resume"
-          : "new";
+        request.continuation.kind === "resume" ? "resume" : "new";
       if (sessionKind === "new" && !codex) {
         sessionId = randomUUID();
         await config.sessionIdentity.bind(request.principal, sessionId);
@@ -809,6 +816,7 @@ export function createHeadlessRoleTurnHost(config: HeadlessRoleTurnHostConfig):
           ...(request.home !== undefined ? { home: request.home } : {}),
         });
       }
+      }
     } finally {
       try {
         await prepared.dispose?.();

package/src/host-contracts.ts

@@ -241,7 +241,6 @@ export interface DurablePrincipalAuthority {
    * object. Public layers must not forge opaque principal shapes (#636).
    */
   seal(coordinates: DurablePrincipalCoordinates): DurablePrincipal;
-  isAvailable(principal: DurablePrincipal): Promise<boolean>;
   decode(principal: unknown): DurablePrincipalCoordinates;
 }
 

package/src/host-descriptions.ts

@@ -23,7 +23,6 @@ export const HOST_DESCRIPTIONS: Readonly<Record<string, AcpHostDescription>> = O
       modelFlag: "--model",
     }),
     modelPassing: "argv",
-    boundResume: "session/load",
     sessionBindingFile: "grok-acp-session.json",
   }),
   /**
@@ -41,7 +40,6 @@ export const HOST_DESCRIPTIONS: Readonly<Record<string, AcpHostDescription>> = O
       thinkingFlag: "--reasoning",
     }),
     modelPassing: "set_model",
-    boundResume: "session/load",
     sessionBindingFile: "hermes-acp-session.json",
     seatProfileSoul: Object.freeze({
       flag: "-p",

package/src/navigator-invocation-identity.ts

@@ -1,5 +1,5 @@
 /**
- * Exact current-invocation principal for Navigator attendance correlation.
+ * Exact current-invocation principal for shared role lifecycle (#1087).
  * Shared role lifecycle owns one opaque uuidv7 per Role invocation and persists
  * it on the role session via Pi's guaranteed `pi.appendEntry` boundary.
  *
@@ -7,21 +7,14 @@
  * unfinished exact-session resume reuses the latest valid marker only when its
  * role/phase/subjectKey still match the expected identity; a packaged role
  * terminal completing that marker starts the next invocation (fresh mint).
- * Terminal settlement binds the nearest independent marker strictly before the
- * current durable packaged role terminal and compares equality — never attendance
- * self-shape, markers after the terminal, or stale older markers behind a
- * malformed nearest. Non-UUIDv7 principals are never accepted.
+ * Public settlement does not re-correlate attendance against this principal
+ * (ADR 0042); lifecycle dispose/grace owns call-boundary isolation (ADR 0084).
  *
  * One shared typed terminal classifier owns durable completion for lifecycle,
  * publicNavigatorSettlement, and every public CLI Receipt extractor:
  *   - accepted/human: isError exactly false and no infrastructure-failure fact
  *   - infrastructure: isError exactly true plus base kind/source/reasonCode identity
  *   - retryable/missing/nonboolean/contradictory/malformed: nonterminal
- *
- * One truth table also owns marker↔terminal cardinality:
- *   - a marker binds exactly one durable packaged role terminal
- *   - multiple durable terminals after the same marker → ambiguous / fail-closed
- *   - marker role/phase/subjectKey must match the terminal + independent expected
  */
 
 import { LEGACY_REVIEW_OUTPUT_ROLES, PACKAGED_ROLE_REGISTRY } from "./packaged-role-registry.ts";
@@ -147,7 +140,7 @@ export type InvocationMarkerIdentity = {
   readonly subjectKey: string;
 };
 
-/** Independently admitted / registry / cwd expected identity for resume and correlation. */
+/** Independently admitted / registry / cwd expected identity for lifecycle resume. */
 export type ExpectedInvocationIdentity = {
   readonly role: string;
   readonly phase?: InvocationPhase;
@@ -342,83 +335,6 @@ export function findLatestDurablePackagedRoleTerminal(
   return undefined;
 }
 
-/**
- * Truth-table binding of the current durable packaged role terminal to its
- * owning invocation marker. Singleton cardinality: multiple durable terminals
- * after the same marker are ambiguous and fail closed.
- */
-export type DurableTerminalMarkerBinding =
-  | {
-      readonly kind: "bound";
-      readonly terminal: DurablePackagedRoleTerminalRef;
-      readonly marker: InvocationMarkerIdentity & { readonly index: number };
-    }
-  | {
-      readonly kind: "unbound";
-      readonly terminal: DurablePackagedRoleTerminalRef;
-    }
-  | { readonly kind: "absent" }
-  | { readonly kind: "ambiguous" };
-
-export function bindCurrentDurableTerminalToMarker(
-  entries: readonly NavigatorInvocationEntryLike[],
-): DurableTerminalMarkerBinding {
-  const terminal = findLatestDurablePackagedRoleTerminal(entries);
-  if (terminal === undefined) return { kind: "absent" };
-
-  let markerIndex = -1;
-  for (let i = terminal.index - 1; i >= 0; i -= 1) {
-    if (isInvocationMarkerEntry(entries[i])) {
-      markerIndex = i;
-      break;
-    }
-  }
-  if (markerIndex < 0) {
-    return { kind: "unbound", terminal };
-  }
-
-  const marker = parseInvocationMarkerIdentity(entries[markerIndex]?.data);
-  if (marker === undefined) {
-    // Malformed nearest marker: no stale fallback; terminal exists but is unbound.
-    return { kind: "unbound", terminal };
-  }
-
-  let windowEnd = entries.length;
-  for (let i = markerIndex + 1; i < entries.length; i += 1) {
-    if (isInvocationMarkerEntry(entries[i])) {
-      windowEnd = i;
-      break;
-    }
-  }
-
-  let durableCount = 0;
-  for (let i = markerIndex + 1; i < windowEnd; i += 1) {
-    if (durableTerminalAt(entries, i) !== undefined) durableCount += 1;
-  }
-  if (durableCount !== 1) return { kind: "ambiguous" };
-  // Current terminal must be the singleton inside this marker window.
-  if (terminal.index <= markerIndex || terminal.index >= windowEnd) {
-    return { kind: "ambiguous" };
-  }
-
-  return {
-    kind: "bound",
-    terminal,
-    marker: { ...marker, index: markerIndex },
-  };
-}
-
-/**
- * Whether public Receipt settlement may proceed for the current durable terminal.
- * Only ambiguous multi-terminal bindings fail closed; attendance mismatch does not
- * pollute an otherwise legal single Receipt.
- */
-export function isReceiptSettlementBindingClear(
-  entries: readonly NavigatorInvocationEntryLike[],
-): boolean {
-  return bindCurrentDurableTerminalToMarker(entries).kind !== "ambiguous";
-}
-
 export type LifecycleInvocationPrincipal = {
   readonly invocationId: string;
   /** True when the principal is already on the admitted session (resume; do not re-append). */
@@ -463,36 +379,3 @@ export function resolveLifecycleInvocationPrincipal(
 
   return { invocationId: marker.invocationId, resume: true };
 }
-
-/**
- * Exact current invocation principal already present on the role session.
- * `beforeIndex` is the current packaged role terminal index: only the nearest
- * marker strictly before that bound is applicable. A malformed nearest marker
- * fails closed (undefined) — never falls back to a stale older valid marker.
- * Markers at/after the terminal (future prepare/event) are never considered.
- * Non-UUIDv7 values are rejected.
- */
-export function currentInvocationPrincipalFromSession(
-  entries: readonly NavigatorInvocationEntryLike[],
-  beforeIndex: number = entries.length,
-): string | undefined {
-  return currentInvocationMarkerFromSession(entries, beforeIndex)?.invocationId;
-}
-
-/**
- * Full marker identity nearest before `beforeIndex` (current durable terminal).
- * Malformed nearest fails closed — no stale older fallback.
- */
-export function currentInvocationMarkerFromSession(
-  entries: readonly NavigatorInvocationEntryLike[],
-  beforeIndex: number = entries.length,
-): InvocationMarkerIdentity | undefined {
-  const limit = Math.min(Math.max(beforeIndex, 0), entries.length);
-  for (let i = limit - 1; i >= 0; i -= 1) {
-    const entry = entries[i];
-    if (!isInvocationMarkerEntry(entry)) continue;
-    // Nearest marker only — parse full identity or fail closed.
-    return parseInvocationMarkerIdentity(entry?.data);
-  }
-  return undefined;
-}

package/src/navigator-public-session.ts

@@ -214,9 +214,20 @@ export function createNativeNavigatorSessionFactory(deps?: {
           }
           if (outcome.kind === "failure") {
             providerFailure = navigatorProviderFailureFromPublicTerminal(outcome);
+            const failedAttempts = outcome.decisiveFacts.failedAttempts;
+            const attemptReasons = Array.isArray(failedAttempts)
+              ? failedAttempts.map((entry: unknown, index: number) => {
+                const fact = entry !== null && typeof entry === "object"
+                  ? entry as { attempt?: unknown; diagnostic?: unknown }
+                  : undefined;
+                return `${typeof fact?.attempt === "number" ? fact.attempt + 1 : index + 1}: ${
+                  typeof fact?.diagnostic === "string" ? fact.diagnostic : outcome.diagnostic
+                }`;
+              })
+              : [];
             throw navigatorUnavailableError(
               providerFailure.source,
-              new Error(outcome.diagnostic),
+              new Error(attemptReasons.length > 0 ? attemptReasons.join("\n") : outcome.diagnostic),
               providerFailure.cause,
             );
           }

package/src/pi/durable-principal.ts

@@ -1,4 +1,3 @@
-import { lstat } from "node:fs/promises";
 import { join } from "node:path";
 
 import type {
@@ -42,7 +41,7 @@ export function issuePiDurablePrincipalCoordinates(
   };
 }
 
-/** Pi's durable-principal codec and availability authority. */
+/** Pi's durable-principal codec. */
 export const piDurablePrincipalAuthority: DurablePrincipalAuthority = {
   issue(request: NewDurablePrincipalRequest): DurablePrincipal {
     const coordinates = issuePiDurablePrincipalCoordinates(request);
@@ -73,13 +72,4 @@ export const piDurablePrincipalAuthority: DurablePrincipalAuthority = {
           : join(record.sessionDirectory, "session.jsonl"),
     };
   },
-  async isAvailable(principal: DurablePrincipal): Promise<boolean> {
-    const { sessionFile } = this.decode(principal);
-    try {
-      const stat = await lstat(sessionFile);
-      return stat.isFile() && !stat.isSymbolicLink();
-    } catch {
-      return false;
-    }
-  },
 };

package/src/prepared-role-turn.ts

@@ -63,6 +63,6 @@ export function renderSystemPromptOverride(authority: {
 export type SessionIdentityAuthority = Readonly<{
   load(principal: RoleTurnRequest["principal"]): Promise<string | undefined>;
   bind(principal: RoleTurnRequest["principal"], sessionId: string): Promise<void>;
-  /** Durable principal session path for layout ownership / isAvailable — not a rebuild source (#617 DK-4). */
+  /** Durable principal session path for layout ownership — not a rebuild source (#617 DK-4). */
   resolveSessionFile(principal: RoleTurnRequest["principal"]): string;
 }>;