@akagilnc/pi-workflow-roles 0.1.5295 → 0.1.5301

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

@@ -14,7 +14,6 @@ import { CliUsageError } from "./cli-errors.js";
 import { readLatestTypedProviderHttpObservation, } from "../typed-provider-http.js";
 export { clearTypedProviderHttpObservation, recordTypedProviderHttpStatus, readLatestTypedProviderHttpObservation, } from "../typed-provider-http.js";
 import { parseCollectorRepository } from "../collector-config.js";
-import { interpretDurableCourtTicketNumbers, sameCourtTicketNumbers, } from "../diarist-contracts.js";
 import { rewriteAdmittedRoleRunPage, rewriteRunDirectoryPathValue, } from "../role-run-relocation.js";
 import { appendEngineSessionMaterial, engineSessionMaterialFromOptions, pickEngineAxis, } from "../package-resources/engine-material.js";
 import { packagedResumeSourcePath, packagedRoleMetadata, } from "../packaged-role-registry.js";
@@ -865,64 +864,10 @@ function parsePersistedTicketIdentity(record) {
         ...(ticketNumber === undefined ? {} : { ticketNumber }),
     };
 }
-/**
- * #871 durable set from one run page.
- * Absent → absent. Present damage keeps the original reason (no throw here).
- */
-function readDurableCourtTicketNumbersPage(record, principalTicket, pageLabel) {
-    const interpreted = interpretDurableCourtTicketNumbers(record, {
-        ...(principalTicket === undefined ? {} : { principalTicket }),
-    });
-    if (interpreted.kind === "damage") {
-        return {
-            kind: "damage",
-            reason: `role run ${pageLabel} courtTicketNumbers is damaged: ${interpreted.reason}`,
-        };
-    }
-    if (interpreted.kind === "ok") {
-        return { kind: "ok", tickets: interpreted.tickets };
-    }
-    return { kind: "absent" };
-}
-/**
- * Merge admitted + invocation #871 sets.
- * Both present must match; one present wins; both absent stays legacy.
- * Damage / cross-page mismatch return a diagnostic — countersign resume settles
- * controlled failure; load itself does not structural-reject.
- */
-function mergeDurableCourtTicketNumbers(input) {
-    const fromAdmitted = input.admittedRecord === undefined
-        ? { kind: "absent" }
-        : readDurableCourtTicketNumbersPage(input.admittedRecord, input.principalTicket, "admitted-request");
-    const fromInvocation = input.invocationRecord === undefined
-        ? { kind: "absent" }
-        : readDurableCourtTicketNumbersPage(input.invocationRecord, input.principalTicket, "invocation");
-    if (fromAdmitted.kind === "damage")
-        return fromAdmitted;
-    if (fromInvocation.kind === "damage")
-        return fromInvocation;
-    if (fromAdmitted.kind === "ok" && fromInvocation.kind === "ok") {
-        if (!sameCourtTicketNumbers(fromAdmitted.tickets, fromInvocation.tickets)) {
-            return {
-                kind: "damage",
-                reason: "role run courtTicketNumbers differs between admitted-request and invocation",
-            };
-        }
-        return { kind: "ok", tickets: fromAdmitted.tickets };
-    }
-    if (fromAdmitted.kind === "ok")
-        return { kind: "ok", tickets: fromAdmitted.tickets };
-    if (fromInvocation.kind === "ok")
-        return { kind: "ok", tickets: fromInvocation.tickets };
-    return { kind: "ok" };
-}
 function restoredTicketFields(fields) {
     return {
         ...(fields.correlationId === undefined ? {} : { correlationId: fields.correlationId }),
         ...(fields.ticketNumber === undefined ? {} : { ticketNumber: fields.ticketNumber }),
-        ...(fields.courtTicketNumbers === undefined
-            ? {}
-            : { courtTicketNumbers: fields.courtTicketNumbers }),
     };
 }
 async function loadResumableRunRecord(home, runId, authority) {
@@ -958,10 +903,6 @@ async function loadResumableRunRecord(home, runId, authority) {
     let derived;
     let correlationId;
     let ticketNumber;
-    let courtTicketNumbers;
-    let courtTicketNumbersDamage;
-    let admittedIdentityRecord;
-    let invocationIdentityRecord;
     let prNumber;
     let repository;
     let repositoryDisplay;
@@ -1106,7 +1047,6 @@ async function loadResumableRunRecord(home, runId, authority) {
                     };
                 }
             }
-            admittedIdentityRecord = record;
             const fromAdmitted = parsePersistedTicketIdentity(record);
             correlationId = fromAdmitted.correlationId;
             ticketNumber = fromAdmitted.ticketNumber;
@@ -1125,7 +1065,6 @@ async function loadResumableRunRecord(home, runId, authority) {
             typeof invocationRaw === "object" &&
             !Array.isArray(invocationRaw)) {
             const rec = invocationRaw;
-            invocationIdentityRecord = rec;
             if (typeof rec.provider === "string" && typeof rec.model === "string") {
                 model = {
                     provider: rec.provider,
@@ -1154,20 +1093,6 @@ async function loadResumableRunRecord(home, runId, authority) {
             throw new CliUsageError(`role run invocation identity is unreadable: ${runId}`, { cause: error });
         }
     }
-    // #871: resolve set after main ticket so principal membership can be checked.
-    // Present-but-damaged / cross-page mismatch keep diagnostic for countersign
-    // controlled-failure; both-absent stays legacy; single lawful page restores.
-    const mergedSet = mergeDurableCourtTicketNumbers({
-        admittedRecord: admittedIdentityRecord,
-        invocationRecord: invocationIdentityRecord,
-        principalTicket: ticketNumber,
-    });
-    if (mergedSet.kind === "damage") {
-        courtTicketNumbersDamage = mergedSet.reason;
-    }
-    else if (mergedSet.tickets !== undefined) {
-        courtTicketNumbers = mergedSet.tickets;
-    }
     const sourceRunLeaf = basename(sourceRunPath ?? "").split("@");
     const referencedRunId = sourceRun?.runId ?? sourceRunLeaf[0];
     const referencedRole = sourceRun?.role ?? sourceRunLeaf[1];
@@ -1200,10 +1125,6 @@ async function loadResumableRunRecord(home, runId, authority) {
             ...(derived === undefined ? {} : { derived }),
             ...(correlationId === undefined ? {} : { correlationId }),
             ...(ticketNumber === undefined ? {} : { ticketNumber }),
-            ...(courtTicketNumbers === undefined ? {} : { courtTicketNumbers }),
-            ...(courtTicketNumbersDamage === undefined
-                ? {}
-                : { courtTicketNumbersDamage }),
             ...(prNumber === undefined ? {} : { prNumber }),
             ...(repository === undefined ? {} : { repository }),
             ...(repositoryDisplay === undefined ? {} : { repositoryDisplay }),
@@ -1296,12 +1217,6 @@ function admitResumedRole(loaded) {
             const admitted = {
                 role: "countersign",
                 ...base,
-                ...(base.courtTicketNumbers === undefined
-                    ? {}
-                    : { courtTicketNumbers: base.courtTicketNumbers }),
-                ...(fields.courtTicketNumbersDamage === undefined
-                    ? {}
-                    : { courtTicketNumbersDamage: fields.courtTicketNumbersDamage }),
             };
             return admitted;
         }

package/dist/public-role-summons.js

@@ -198,8 +198,8 @@ async function summonPublicRole(options) {
           // Nested court stations keep station-child semantics; dual-lens
           // ordinary Reviewer axes opt out (#946 / ADR 0082).
           ...options.stationChild === false ? {} : { stationChild: true },
-          // Forward composition-root adapters so nested court stations (e.g.
-          // countersign → diarist) select the same faux/production table (#924).
+          // Forward composition-root adapters so nested stations (e.g.
+          // secretariat → diarist) select the same faux/production table (#924).
           ...options.hostAdapters === void 0 ? {} : { hostAdapters: options.hostAdapters },
           ...config.autoResumeLimit === void 0 ? {} : { autoResumeLimit: config.autoResumeLimit },
           ...options.signal === void 0 ? {} : { signal: options.signal },

package/package.json

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

package/src/diarist-contracts.ts

@@ -11,10 +11,7 @@ import {
   projectTicketProvenanceSessions,
   type TicketProvenanceSession,
 } from "./ticket-provenance-contracts.ts";
-import {
-  isSafePositiveTicketNumber,
-  requireSafePositiveTicketNumber,
-} from "./run-ticket-number.ts";
+import { isSafePositiveTicketNumber } from "./run-ticket-number.ts";
 
 export const DIARIST_OUTPUT_TOOL_NAME = "ak_diarist_output";
 
@@ -27,15 +24,6 @@ export type DiaristOutput =
        * LLM owns recognition; mechanical layer does not re-judge the number.
        */
       readonly ticketNumber?: number | null;
-      /**
-       * #871 typed co-review set (ADR 0075 `diarist-resolves-ticket-llm-layer` narrow extension).
-       * Positive integers = tickets that should each receive a diary this court (includes main).
-       * Field absent → no new set this turn (resume keeps stored run fact; first court defaults to [main]).
-       * Explicit empty array → single-ticket face [main] whole-set replace.
-       * Non-empty with zero lawful members after type projection is not a new set (call site).
-       * Mechanical layer only type-projects/dedupes and guarantees principal membership when applying a set.
-       */
-      readonly courtTicketNumbers?: readonly number[] | null;
       /**
        * Dialogue bounds: one entry per session volume, each with one or more ranges.
        * Empty / absent = lawful empty selection (no dialogue this turn).
@@ -54,109 +42,6 @@ export type DiaristOutput =
       readonly reason: string;
     };
 
-/**
- * Sole shape projection for a typed co-review ticket set (#871).
- * Positive safe integers, first-seen order, duplicates dropped. Not content judgment.
- * Returns null when `raw` is not an array (callers classify absent vs durable damage).
- * Returns a possibly empty list when `raw` is an array (unlawful members skipped).
- * When `principalTicket` is set, that ticket is guaranteed as a member (prepended if missing).
- */
-export function projectCourtTicketNumbers(
-  raw: unknown,
-  options?: { readonly principalTicket?: number },
-): readonly number[] | null {
-  if (!Array.isArray(raw)) return null;
-  const out: number[] = [];
-  const seen = new Set<number>();
-  for (const item of raw) {
-    if (!isSafePositiveTicketNumber(item)) continue;
-    if (seen.has(item)) continue;
-    seen.add(item);
-    out.push(item);
-  }
-  const principal = options?.principalTicket;
-  if (principal === undefined) return out;
-  requireSafePositiveTicketNumber(principal, "projectCourtTicketNumbers principalTicket");
-  if (seen.has(principal)) return out;
-  return [principal, ...out];
-}
-
-/**
- * Durable-field interpreter for #871 co-review sets.
- * Absent key (old-format run) is not damage. Present but empty / non-array /
- * partially unlawful / missing principal is damage — callers must fail closed,
- * never wash into main-only.
- */
-export function interpretDurableCourtTicketNumbers(
-  record: Record<string, unknown>,
-  options?: { readonly principalTicket?: number },
-):
-  | { readonly kind: "absent" }
-  | { readonly kind: "ok"; readonly tickets: readonly number[] }
-  | { readonly kind: "damage"; readonly reason: string } {
-  if (!Object.hasOwn(record, "courtTicketNumbers")) {
-    return { kind: "absent" };
-  }
-  const raw = record.courtTicketNumbers;
-  if (!Array.isArray(raw)) {
-    return {
-      kind: "damage",
-      reason: "courtTicketNumbers is present but not an array",
-    };
-  }
-  if (raw.length === 0) {
-    return {
-      kind: "damage",
-      reason: "courtTicketNumbers is present but empty",
-    };
-  }
-  for (let i = 0; i < raw.length; i += 1) {
-    const item = raw[i];
-    if (!isSafePositiveTicketNumber(item)) {
-      return {
-        kind: "damage",
-        reason: `courtTicketNumbers[${i}] is not a safe positive integer`,
-      };
-    }
-  }
-  // Members are all lawful numbers; sole projection owns dedupe/order.
-  const tickets = projectCourtTicketNumbers(raw);
-  if (tickets === null || tickets.length === 0) {
-    return {
-      kind: "damage",
-      reason: "courtTicketNumbers projected empty after lawful members",
-    };
-  }
-  const principal = options?.principalTicket;
-  if (principal !== undefined) {
-    if (!isSafePositiveTicketNumber(principal)) {
-      return {
-        kind: "damage",
-        reason: "courtTicketNumbers principal ticket is not a safe positive integer",
-      };
-    }
-    if (!tickets.includes(principal)) {
-      return {
-        kind: "damage",
-        reason: `courtTicketNumbers is missing principal ticket #${principal}`,
-      };
-    }
-  }
-  return { kind: "ok", tickets: Object.freeze([...tickets]) };
-}
-
-/** True when two durable #871 sets are byte-identical sequences. */
-export function sameCourtTicketNumbers(
-  left: readonly number[],
-  right: readonly number[],
-): boolean {
-  if (left.length !== right.length) return false;
-  for (let i = 0; i < left.length; i += 1) {
-    if (left[i] !== right[i]) return false;
-  }
-  return true;
-}
-
 export function validateRecordedDiaristOutput(value: unknown): DiaristOutput {
   if (value === null || typeof value !== "object" || Array.isArray(value)) {
     throw new Error("Diarist output has no execution discriminator");

package/src/diarist-role.ts

@@ -63,12 +63,6 @@ export const diaristOutputSchema = withTerminatingOutputDeclarations(
             "本庭对象票号（正整数）或 null/省略＝真无票；下游走 typed 键；认不出用 status=escalate，不洗成无录。机械层不重判。",
         }),
       ),
-      courtTicketNumbers: Type.Optional(
-        Type.Unknown({
-          description:
-            "#871 本次合审应各自成录的票号集合（正整数数组，含主票）；单票可省略。机械层只做类型/去重投影，不从散文猜票。",
-        }),
-      ),
       reason: Type.Optional(
         Type.String({
           description: "status 为 escalate 时：认不出本庭对象的原因",

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

@@ -1,40 +1,17 @@
 /**
- * Court diarist station for the shared countersign entry (#572 / ADR 0074 /
- * ADR 0075 / #742 / #771). The public seat itself admits and settles through
- * instruction-seat-run. This module only summons 起居郎 and refreshes a bound
- * court diary.
- *
- * Court admission auto-runs 起居郎 so the 起居郎 LLM asserts the court target;
- * mechanical layer only verifies; countersign reuses that typed identity for bind
- * (ADR 0075 / 0081). Code never matches instruction text against book-known
- * numbers. Who may call 起居郎 and in what order is not written into law
- * (ADR 0075 不规定谁调用起居郎、顺序归调用者). #1092: code no longer freezes or
- * delivers 起居录 paths — roles locate records by ticket. Bound refresh hands the
- * typed key to 起居郎 so freeze loads issue face (ADR 0075: 每次过庭都跑是调用者用法 /
- * typed handoff).
+ * Secretariat's pre-ticket diarist summons. Countersign no longer summons
+ * the diarist; callers refresh the diary before court when needed (ADR 0081).
  */
 import type { DurablePrincipalAuthority } from "../host-contracts.ts";
-import { projectCourtTicketNumbers } from "../diarist-contracts.ts";
 import { readableGateItem } from "../readable-gate-item.ts";
-import { isSafePositiveTicketNumber } from "../run-ticket-number.ts";
 import type { AdmittedCountersignInvocation } from "./invocation.ts";
-import {
-  type PostAdmissionEnv,
-  StationChildExhaustedError,
-} from "./post-admission.ts";
+import type { PostAdmissionEnv } from "./post-admission.ts";
 import type { CliIo } from "./cli-io.ts";
 import type { TerminalRoleOutcome } from "./terminal.ts";
 
 export type CountersignRunEnv = PostAdmissionEnv & {
   principalAuthority: DurablePrincipalAuthority;
   createRunId?: () => string;
-  /**
-   * Test seam: replace the court-pipeline 起居郎 station.
-   * Production leaves this unset and runs the public diarist seat.
-   */
-  runCourtDiaristStation?: (
-    admitted: AdmittedCountersignInvocation,
-  ) => Promise<void>;
   /**
    * #969 gate path: plain-language re-ask when prior 给事中 reply was not three-state.
    * Wins over gateReviewInstruction when both present (notary/inspector precedent).
@@ -60,16 +37,6 @@ export type CountersignRunEnv = PostAdmissionEnv & {
 
 /** 起居郎 identity outcome — escalate stays distinct from missing terminal. */
 export type CourtDiaristIdentity =
-  | {
-      readonly kind: "ticket";
-      readonly ticketNumber: number;
-      /**
-       * #871 typed co-review set when the LLM explicitly submitted one.
-       * Absent means "no new set this turn" — resume must keep the stored run fact
-       * (never silently degrade a multi-ticket set to [main]).
-       */
-      readonly courtTicketNumbers?: readonly number[];
-    }
   | { readonly kind: "unbound" }
   | {
       readonly kind: "escalate";
@@ -141,7 +108,7 @@ function courtDiaristEscalateDiagnostic(
   })}`;
 }
 
-/** Env slice shared by court diarist identity summons (countersign / secretariat). */
+/** Env slice for the secretariat's pre-ticket diarist summons. */
 export type CourtDiaristSummonEnv = Pick<
   CountersignRunEnv,
   | "cwd"
@@ -153,53 +120,6 @@ export type CourtDiaristSummonEnv = Pick<
   | "hostAdapters"
 >;
 
-/**
- * Read #871 set from preserved diarist payloads.
- * - Field absent / null / non-array → undefined (no new set; resume keeps store).
- * - Explicit [] → single-ticket [main] whole-set replace (signed empty-set contract).
- * - Non-empty array with zero lawful typed members after projection → not a new set
- *   (do not impersonate explicit empty and wipe a stored multi-ticket fact).
- * - Non-empty array with ≥1 lawful member → sole type/dedupe projection + principal guarantee.
- * - Multiple submissions: last qualifying set wins.
- * Live path never shape-rejects the role turn; durable damage is a separate seam.
- */
-export function courtTicketNumbersFromOutcome(
-  roleOutcome: TerminalRoleOutcome | undefined,
-  principalTicket: number,
-  submissions?: readonly unknown[],
-): readonly number[] | undefined {
-  if (roleOutcome === undefined) return undefined;
-  const payloads = courtDiaristPayloadRows(roleOutcome, submissions);
-  let latest: readonly number[] | undefined;
-  for (const payload of payloads) {
-    if (
-      typeof payload !== "object" ||
-      payload === null ||
-      Array.isArray(payload)
-    ) {
-      continue;
-    }
-    const record = payload as Record<string, unknown>;
-    if (!Object.hasOwn(record, "courtTicketNumbers")) continue;
-    const raw = record.courtTicketNumbers;
-    // Only a real array is a candidate set. Non-array is not explicit empty.
-    if (!Array.isArray(raw)) continue;
-    // Members only — do not inject principal yet, or all-invalid non-empty becomes [main].
-    const members = projectCourtTicketNumbers(raw);
-    if (members === null) continue;
-    if (members.length === 0) {
-      // Literal [] is the intentional principal-only replace; non-empty garbage is not.
-      if (raw.length === 0) {
-        latest =
-          projectCourtTicketNumbers([], { principalTicket }) ?? undefined;
-      }
-      continue;
-    }
-    latest = projectCourtTicketNumbers(raw, { principalTicket }) ?? undefined;
-  }
-  return latest;
-}
-
 /** Latest payload only. An earlier escalate must not block a later non-escalate submission. */
 export function latestPayloadEscalated(
   roleOutcome: TerminalRoleOutcome | undefined,
@@ -223,11 +143,8 @@ export function courtDiaristEscalated(
 
 /**
  * Invoke public 起居郎 under the court-pipeline quiet face.
- * Returns typed identity: ticket assertion, true-unbound, or escalate.
- * Non-zero exit without escalate status is not rethrown here — caller decides
- * whether refresh must fail or first-entry settles controlled failure.
- * When `boundTicketNumber` is set (typed handoff from countersign), diarist
- * binds under that key before the turn — never mechanical recognition from prose.
+ * Returns escalate or unbound; the secretariat needs no ticket handoff.
+ * Non-zero exit without escalate status is not rethrown here — caller settles controlled failure.
  */
 export async function invokeCourtDiarist(
   input: {
@@ -237,13 +154,11 @@ export async function invokeCourtDiarist(
     readonly attachmentPaths?: readonly string[];
     /** Direct parent run id for durable child lineage (ADR 0010). */
     readonly correlationId?: string;
-    /** Already-verified typed key from countersign (refresh / post-assert handoff). */
-    readonly boundTicketNumber?: number;
   },
   env: CourtDiaristSummonEnv,
   io: CliIo,
 ): Promise<CourtDiaristInvocationResult> {
-  // Quiet face: the countersign caller must not see diarist CLI chatter.
+  // Quiet face: the secretariat caller must not see diarist CLI chatter.
   const quietIo: CliIo = {
     stdout() {},
     stderr(text: string) {
@@ -272,9 +187,6 @@ export async function invokeCourtDiarist(
     ...(input.correlationId === undefined
       ? {}
       : { correlationId: input.correlationId }),
-    ...(input.boundTicketNumber === undefined
-      ? {}
-      : { boundTicketNumber: input.boundTicketNumber }),
     // Child seat selects from the composition-root table. Do not pass the
     // already-selected parent adapter (#840 / ADR 0082: --host 旗标>席位配置>缺省 pi).
     ...(env.hostAdapters === undefined
@@ -311,97 +223,8 @@ export async function invokeCourtDiarist(
     };
   }
 
-  const asserted = (result.admitted as { ticketNumber?: number } | undefined)
-    ?.ticketNumber;
-  if (isSafePositiveTicketNumber(asserted)) {
-    const courtTicketNumbers = courtTicketNumbersFromOutcome(
-      roleOutcome,
-      asserted,
-      submissions,
-    );
-    return {
-      identity: {
-        kind: "ticket",
-        ticketNumber: asserted,
-        ...(courtTicketNumbers === undefined ? {} : { courtTicketNumbers }),
-      },
-      ...(result.admitted === undefined ? {} : { admitted: result.admitted }),
-    };
-  }
   return {
     identity: { kind: "unbound" },
     ...(result.admitted === undefined ? {} : { admitted: result.admitted }),
   };
 }
-
-/**
- * Court-pipeline prior station: refresh this ticket's 起居录 before the
- * countersign body turn when already bound (ADR 0075 每次过庭都跑)。
- * Caller-invisible — no diarist argv on the countersign command line.
- *
- * Missing ticketNumber (true-unbound / identity deferred) skips the refresh
- * station — no diary is minted for a true-unbound run. First-entry identity
- * lives on the shared countersign entry (typed 起居郎 key for bind). Bound refresh:
- * technical failure propagates; LLM escalation remains a recorded conclusion.
- * Path delivery onto materials is not this station's job — post-admission owns it.
- */
-export async function runCountersignCourtDiaristStation(
-  admitted: AdmittedCountersignInvocation,
-  env: CountersignRunEnv,
-  io: CliIo,
-  afterTicketNumber?: number,
-): Promise<{ readonly terminal: import("./terminal.ts").TerminalResult; readonly childRunId?: string } | undefined> {
-  if (env.runCourtDiaristStation !== undefined) {
-    await env.runCourtDiaristStation(admitted);
-    return;
-  }
-  // Production court refresh (ADR 0075: 每次过庭都跑是调用者用法) only under a known ticket identity.
-  // First-entry unbound identity is owned by the shared countersign entry.
-  if (admitted.ticketNumber === undefined) return;
-
-  // #871: refresh every member of the typed co-review set; single-ticket face
-  // is just the set [main]. Present-but-empty / missing-principal is damage —
-  // never silently fall back to main-only (legacy absent field still may).
-  let refreshTickets: readonly number[];
-  if (admitted.courtTicketNumbers !== undefined) {
-    if (
-      admitted.courtTicketNumbers.length === 0 ||
-      !admitted.courtTicketNumbers.includes(admitted.ticketNumber)
-    ) {
-      throw new StationChildExhaustedError(
-        `court diarist station: courtTicketNumbers is damaged (empty or missing principal #${admitted.ticketNumber})`,
-      );
-    }
-    refreshTickets = admitted.courtTicketNumbers;
-  } else {
-    refreshTickets = [admitted.ticketNumber];
-  }
-
-  const completedIndex = afterTicketNumber === undefined ? -1 : refreshTickets.indexOf(afterTicketNumber);
-  for (const ticketNumber of refreshTickets.slice(completedIndex + 1)) {
-    const outcome = await invokeCourtDiarist(
-      {
-        instruction: admitted.instruction,
-        projectRoot: admitted.projectRoot,
-        failureLabel: `ticket #${ticketNumber}`,
-        correlationId: admitted.runId,
-        // Refresh holds a typed key — hand it off so identity is bound before turn.
-        boundTicketNumber: ticketNumber,
-      },
-      env,
-      io,
-    );
-
-    if (outcome.failedWithoutEscalate !== undefined) {
-      throw new StationChildExhaustedError(
-        outcome.failedWithoutEscalate.diagnostic,
-      );
-    }
-    if (outcome.identity.kind === "escalate" && outcome.terminal !== undefined) {
-      return {
-        terminal: outcome.terminal,
-        ...(outcome.admitted === undefined ? {} : { childRunId: outcome.admitted.runId }),
-      };
-    }
-  }
-}