@akagilnc/pi-workflow-roles 0.1.3673 → 0.1.3685

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

@@ -2228,6 +2228,19 @@ var init_reviewer_output = __esm({
   }
 });
 
+// src/readable-gate-item.ts
+function readableGateItem(value) {
+  return typeof value === "string" ? value : JSON.stringify(value);
+}
+function joinReadableGateItems(items, separator = "; ") {
+  return items.map(readableGateItem).join(separator);
+}
+var init_readable_gate_item = __esm({
+  "src/readable-gate-item.ts"() {
+    "use strict";
+  }
+});
+
 // src/audit-escalation.ts
 function buildAuditEscalationResult(decision, deliveredOutput) {
   const auditOwned = {
@@ -2276,17 +2289,17 @@ function humanDecisionText(decision, result) {
     lines.push(`Reason: ${result.reason}`);
   }
   if (Array.isArray(result.conflicts)) {
-    lines.push("Conflicts:", ...result.conflicts.map((conflict) => `- ${conflict}`));
+    lines.push("Conflicts:", ...result.conflicts.map((conflict) => `- ${readableGateItem(conflict)}`));
   }
   if (officer !== void 0 && Array.isArray(result.findings) && result.findings.length > 0) {
-    lines.push("Findings:", ...result.findings.map((finding2) => `- ${finding2}`));
+    lines.push("Findings:", ...result.findings.map((finding2) => `- ${readableGateItem(finding2)}`));
   }
   const gate = result.auditDecisionGate;
   if (gate !== null && typeof gate === "object" && !Array.isArray(gate)) {
     const record4 = gate;
     if (typeof record4.question === "string") lines.push(`Question: ${record4.question}`);
     if (Array.isArray(record4.options)) {
-      lines.push("Options:", ...record4.options.map((option) => `- ${option}`));
+      lines.push("Options:", ...record4.options.map((option) => `- ${readableGateItem(option)}`));
     }
   }
   return lines.join("\n");
@@ -2338,6 +2351,7 @@ var AUDIT_ESCALATION_KIND, AUDIT_ESCALATION_LIVE_REGISTRY;
 var init_audit_escalation = __esm({
   "src/audit-escalation.ts"() {
     "use strict";
+    init_readable_gate_item();
     AUDIT_ESCALATION_KIND = "audit_escalation";
     AUDIT_ESCALATION_LIVE_REGISTRY = /* @__PURE__ */ new WeakSet();
   }
@@ -2346,7 +2360,7 @@ var init_audit_escalation = __esm({
 // src/submission-errors.ts
 function gatekeeperNonPassMessage(result) {
   if (result.status === "bounce") {
-    const findings = result.findings.length === 0 ? "\uFF08\u65E0 findings\uFF09" : result.findings.join("; ");
+    const findings = result.findings.length === 0 ? "\uFF08\u65E0 findings\uFF09" : joinReadableGateItems(result.findings);
     return `\u95E8\u4E0B\u7701\u6253\u56DE\u91CD\u5199\uFF0Cfindings\uFF1A${findings}`;
   }
   if (result.status === "unreadable") {
@@ -2358,6 +2372,7 @@ var GatekeeperDecisionError, WorkerCommitReminderError, WorkerPrefixReminderErro
 var init_submission_errors = __esm({
   "src/submission-errors.ts"() {
     "use strict";
+    init_readable_gate_item();
     GatekeeperDecisionError = class extends Error {
       result;
       constructor(result) {
@@ -3242,7 +3257,7 @@ function validateRecordedDiaristOutput(value) {
   } catch {
     throw new Error("Diarist output has no execution discriminator");
   }
-  if (status === "completed") {
+  if (status === "completed" || status === "escalate") {
     return value;
   }
   throw new Error("Diarist output has no execution discriminator");
@@ -3274,7 +3289,7 @@ var init_diarist_contracts = __esm({
     DIARIST_SOURCES_FLAG = {
       name: "ak-diarist-sources",
       definition: {
-        description: "Frozen per-ticket source catalog the diarist selects from",
+        description: "Frozen source catalog the diarist selects from (may be unbound until LLM asserts ticketNumber)",
         type: "string"
       }
     };
@@ -3496,7 +3511,7 @@ function validateAcceptedDetails(toolName, details) {
     [GATEKEEPER_OUTPUT_TOOL_NAME]: ["dispatch", "pass"],
     [NAVIGATOR_OUTPUT_TOOL_NAME]: ["advice"],
     [AUDITOR_OUTPUT_TOOL_NAME]: ["pass", "bounce", "escalate"],
-    [DIARIST_OUTPUT_TOOL_NAME]: ["completed"]
+    [DIARIST_OUTPUT_TOOL_NAME]: ["completed", "escalate"]
   };
   const collectorDiscriminator = toolName === COLLECTOR_OUTPUT_TOOL && Array.isArray(candidate?.groups);
   const baseDiscriminator = discriminator;
@@ -4643,27 +4658,6 @@ async function findLatestRunIdForSeatTicket(input) {
   }
   return best;
 }
-async function collectBookRunTicketNumbers(input) {
-  const ledgerHome = resolveActivationLedgerHome(input.home);
-  const runsDir = join11(
-    activationBookDirectory(ledgerHome, input.bookKey),
-    "runs"
-  );
-  let entries;
-  try {
-    entries = await readdir2(runsDir);
-  } catch (error) {
-    if (errorCodeOf2(error) === "ENOENT") return /* @__PURE__ */ new Set();
-    throw error;
-  }
-  const known = /* @__PURE__ */ new Set();
-  for (const entry of entries) {
-    if (!entry.includes("@")) continue;
-    const ticketNumber = await readRunTicketNumber(join11(runsDir, entry));
-    if (ticketNumber !== void 0) known.add(ticketNumber);
-  }
-  return known;
-}
 function parsePersistedTicketIdentity(record4) {
   const correlationId = typeof record4.correlationId === "string" && record4.correlationId.trim() !== "" ? record4.correlationId : void 0;
   const ticketNumber = typeof record4.ticketNumber === "number" && Number.isSafeInteger(record4.ticketNumber) && record4.ticketNumber >= 1 ? record4.ticketNumber : void 0;
@@ -6158,6 +6152,7 @@ __export(invocation_exports, {
   admitNotaryInvocation: () => admitNotaryInvocation,
   admitReviewerInvocation: () => admitReviewerInvocation,
   bindAdmittedTicketNumber: () => bindAdmittedTicketNumber,
+  bindTicketNumberOnRunDirectory: () => bindTicketNumberOnRunDirectory,
   buildCoderTransportPrompt: () => buildCoderTransportPrompt,
   buildCollectorTransportPrompt: () => buildCollectorTransportPrompt,
   buildCountersignTransportPrompt: () => buildCountersignTransportPrompt,
@@ -6206,6 +6201,7 @@ __export(invocation_exports, {
   resolveGitHubRemoteRepository: () => resolveGitHubRemoteRepository
 });
 import { execFileSync as execFileSync2 } from "node:child_process";
+import { existsSync as existsSync4 } from "node:fs";
 import {
   lstat as lstat3,
   mkdir,
@@ -6352,6 +6348,40 @@ async function bindAdmittedTicketNumber(admitted, ticketNumber) {
     "utf8"
   );
 }
+async function bindTicketNumberOnRunDirectory(runDirectory, ticketNumber) {
+  if (!Number.isSafeInteger(ticketNumber) || ticketNumber < 1) {
+    throw new Error(
+      `bindTicketNumberOnRunDirectory requires a safe positive integer, got ${String(ticketNumber)}`
+    );
+  }
+  const admittedPath = join13(runDirectory, "admitted-request.json");
+  const invocationPath = join13(runDirectory, "invocation.json");
+  const admitted = JSON.parse(await readFile9(admittedPath, "utf8"));
+  const existing = admitted.ticketNumber;
+  if (typeof existing === "number") {
+    if (existing === ticketNumber) return;
+    throw new Error(
+      `bindTicketNumberOnRunDirectory refuses to replace existing ticket #${existing} with #${ticketNumber}`
+    );
+  }
+  if (existsSync4(invocationPath)) {
+    const invocation = JSON.parse(
+      await readFile9(invocationPath, "utf8")
+    );
+    if (typeof invocation.ticketNumber === "number" && invocation.ticketNumber !== ticketNumber) {
+      throw new Error(
+        `bindTicketNumberOnRunDirectory refuses to replace invocation ticket #${invocation.ticketNumber} with #${ticketNumber}`
+      );
+    }
+  }
+  await writeFile4(
+    admittedPath,
+    `${JSON.stringify({ ...admitted, ticketNumber }, null, 2)}
+`,
+    "utf8"
+  );
+  await mergeInvocationIdentityPage(runDirectory, { ticketNumber });
+}
 async function recordLaunchedPiIdentity(runDirectory, identity) {
   await mergeInvocationIdentityPage(runDirectory, {
     piExecutable: identity.executable,
@@ -8388,7 +8418,7 @@ var load_production_acp_host_exports = {};
 __export(load_production_acp_host_exports, {
   loadProductionAcpHostFactory: () => loadProductionAcpHostFactory
 });
-import { existsSync as existsSync4 } from "node:fs";
+import { existsSync as existsSync5 } from "node:fs";
 import { join as join14 } from "node:path";
 import { pathToFileURL } from "node:url";
 async function loadProductionAcpHostFactory(packageRoot, host) {
@@ -8398,7 +8428,7 @@ async function loadProductionAcpHostFactory(packageRoot, host) {
   }
   const built = join14(packageRoot, "dist/acp-host/production-host.js");
   const source = join14(packageRoot, "src/acp-host/production-host.ts");
-  const target = existsSync4(built) ? built : source;
+  const target = existsSync5(built) ? built : source;
   const href = pathToFileURL(target).href;
   const mod = await import(href);
   const create = mod.createProductionAcpRoleTurnHost;
@@ -9263,6 +9293,30 @@ var init_config = __esm({
   }
 });
 
+// src/public-cli/seat-ticket-binding.ts
+async function tryResumeSameTicketSeatRun(input) {
+  if (input.freshSummons === true) return void 0;
+  if (input.parentRunPath === void 0 && input.ticketNumber === void 0) {
+    return void 0;
+  }
+  const previousRunId = await findLatestRunIdForSeatTicket({
+    home: input.home,
+    bookKey: resolveBookKeyFromGit(input.projectRoot),
+    role: input.role,
+    ...input.parentRunPath === void 0 ? {} : { parentRunPath: input.parentRunPath },
+    ...input.ticketNumber === void 0 ? {} : { ticketNumber: input.ticketNumber }
+  });
+  if (previousRunId === void 0) return void 0;
+  return await input.resume(previousRunId, input.summons);
+}
+var init_seat_ticket_binding = __esm({
+  "src/public-cli/seat-ticket-binding.ts"() {
+    "use strict";
+    init_activation_ledger_git();
+    init_run_lifecycle();
+  }
+});
+
 // src/ticket-provenance-contracts.ts
 function isRecord11(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
@@ -9356,7 +9410,7 @@ var init_ticket_provenance_contracts = __esm({
 
 // src/ticket-provenance.ts
 import { createHash as createHash5 } from "node:crypto";
-import { appendFileSync as appendFileSync2, existsSync as existsSync5, mkdirSync as mkdirSync3, readFileSync as readFileSync2, writeFileSync as writeFileSync3 } from "node:fs";
+import { appendFileSync as appendFileSync2, existsSync as existsSync6, mkdirSync as mkdirSync3, readFileSync as readFileSync2, writeFileSync as writeFileSync3 } from "node:fs";
 import { join as join16 } from "node:path";
 function ticketProvenanceSubject(ticketNumber) {
   if (!Number.isSafeInteger(ticketNumber) || ticketNumber < 1) {
@@ -9421,7 +9475,7 @@ function resolveTicketProvenanceVolume(ticketNumber, cwd, home) {
 }
 function readOfferedIdentities(ticketNumber, cwd, home) {
   const { offeredWatermarkFile } = resolveTicketProvenanceVolume(ticketNumber, cwd, home);
-  if (!existsSync5(offeredWatermarkFile)) return /* @__PURE__ */ new Set();
+  if (!existsSync6(offeredWatermarkFile)) return /* @__PURE__ */ new Set();
   let text;
   try {
     text = readFileSync2(offeredWatermarkFile, "utf8");
@@ -9632,84 +9686,6 @@ var init_ticket_provenance = __esm({
   }
 });
 
-// src/public-cli/seat-ticket-binding.ts
-import { existsSync as existsSync6 } from "node:fs";
-function instructionTicketTokens(instruction) {
-  const tokens = [];
-  const seen = /* @__PURE__ */ new Set();
-  for (const match of instruction.matchAll(/#([1-9]\d*)/g)) {
-    const parsed = Number(match[1]);
-    if (!Number.isSafeInteger(parsed)) continue;
-    if (seen.has(parsed)) continue;
-    seen.add(parsed);
-    tokens.push(parsed);
-  }
-  return tokens;
-}
-async function resolveKnownTicketNumber(input) {
-  const tokens = instructionTicketTokens(input.instruction);
-  if (tokens.length === 0) return void 0;
-  const target = tokens[0];
-  const volume = resolveTicketProvenanceVolume(
-    target,
-    input.projectRoot,
-    input.home
-  );
-  if (existsSync6(volume.volumeDir)) return target;
-  const runTickets = await readBookRunTickets(input);
-  return runTickets.has(target) ? target : void 0;
-}
-async function readBookRunTickets(input) {
-  let bookKey;
-  try {
-    bookKey = input.bookKey ?? resolveBookKeyFromGit(input.projectRoot);
-  } catch (error) {
-    if (error instanceof ActivationGitRepositoryRequiredError) return /* @__PURE__ */ new Set();
-    throw error;
-  }
-  return await collectBookRunTicketNumbers({ home: input.home, bookKey });
-}
-async function bindReusedTicketNumber(admitted, ticketNumber) {
-  if (ticketNumber === void 0) return;
-  if (admitted.ticketNumber !== void 0) return;
-  await bindAdmittedTicketNumber(admitted, ticketNumber);
-}
-async function resolveSeatTicketBinding(admitted, env) {
-  if (admitted.ticketNumber !== void 0) return admitted.ticketNumber;
-  const ticketNumber = await resolveKnownTicketNumber({
-    instruction: admitted.instruction,
-    projectRoot: admitted.projectRoot,
-    home: env.home,
-    bookKey: admitted.bookKey
-  });
-  await bindReusedTicketNumber(admitted, ticketNumber);
-  return ticketNumber;
-}
-async function tryResumeSameTicketSeatRun(input) {
-  if (input.freshSummons === true) return void 0;
-  if (input.parentRunPath === void 0 && input.ticketNumber === void 0) {
-    return void 0;
-  }
-  const previousRunId = await findLatestRunIdForSeatTicket({
-    home: input.home,
-    bookKey: resolveBookKeyFromGit(input.projectRoot),
-    role: input.role,
-    ...input.parentRunPath === void 0 ? {} : { parentRunPath: input.parentRunPath },
-    ...input.ticketNumber === void 0 ? {} : { ticketNumber: input.ticketNumber }
-  });
-  if (previousRunId === void 0) return void 0;
-  return await input.resume(previousRunId, input.summons);
-}
-var init_seat_ticket_binding = __esm({
-  "src/public-cli/seat-ticket-binding.ts"() {
-    "use strict";
-    init_activation_ledger_git();
-    init_ticket_provenance();
-    init_invocation();
-    init_run_lifecycle();
-  }
-});
-
 // src/public-cli/case-dossier-delivery.ts
 import { stat as stat2 } from "node:fs/promises";
 async function describeDossierFile(path) {
@@ -9873,7 +9849,7 @@ function failureReason(error) {
 }
 function asStringArray3(value) {
   if (!Array.isArray(value)) return [];
-  return value.map((item) => typeof item === "string" ? item : JSON.stringify(item));
+  return value.map(readableGateItem);
 }
 function isRecord13(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
@@ -10012,6 +9988,7 @@ var init_gatekeeper_role = __esm({
     "use strict";
     init_auditor_dossier_tool();
     init_submission_errors();
+    init_readable_gate_item();
     init_inspector_contracts();
     init_gatekeeper_output();
     init_shape_unreadable_failure();
@@ -16482,11 +16459,6 @@ async function runPublicInspector(argv, env, io, parseInspectorArgv2) {
     throw error;
   }
   const projectRoot = parsed.project ?? env.cwd;
-  const reusedTicketNumber = await resolveKnownTicketNumber({
-    instruction: parsed.instruction,
-    projectRoot,
-    home: env.home
-  });
   const parentRunPath = parentRunPathFromGatePointerInstruction(parsed.instruction);
   if (parentRunPath !== void 0) {
     const summons = {
@@ -16552,11 +16524,7 @@ async function runPublicInspector(argv, env, io, parseInspectorArgv2) {
     env,
     io,
     request: turnRequest,
-    adapters: inspectorAdapters({
-      beforeDispatch: async (admittedSeat) => {
-        await bindReusedTicketNumber(admittedSeat, reusedTicketNumber);
-      }
-    }),
+    adapters: inspectorAdapters(),
     ...env.engine === void 0 ? {} : { effectiveEngine: env.engine }
   });
 }
@@ -16737,7 +16705,6 @@ async function runPublicInstructionSeat(argv, env, io, role, parseArgv) {
   let auditorSubject;
   let auditorSourceRun;
   let auditorSourceTicket;
-  let reusedTicketNumber;
   const projectRoot = parsed.project ?? env.cwd;
   if (role === "auditor") {
     if (parsed.subject !== "judge" && parsed.subject !== "doctor") {
@@ -16772,12 +16739,6 @@ async function runPublicInstructionSeat(argv, env, io, role, parseArgv) {
       );
       return { exitCode: 2 };
     }
-  } else {
-    reusedTicketNumber = await resolveKnownTicketNumber({
-      instruction: parsed.instruction,
-      projectRoot,
-      home: env.home
-    });
   }
   const summons = {
     instruction: parsed.instruction,
@@ -16803,21 +16764,6 @@ async function runPublicInstructionSeat(argv, env, io, role, parseArgv) {
       })
     });
     if (resumed !== void 0) return resumed;
-  } else if (reusedTicketNumber !== void 0) {
-    const resumed = await tryResumeSameTicketSeatRun({
-      home: env.home,
-      projectRoot,
-      role,
-      ticketNumber: reusedTicketNumber,
-      freshSummons: env.freshSummons,
-      summons,
-      resume: (runId, materials) => runPublicInstructionSeatResume(
-        { runId, ...materials === void 0 ? {} : { summons: materials } },
-        env,
-        io
-      )
-    });
-    if (resumed !== void 0) return resumed;
   }
   let admitted;
   try {
@@ -16875,8 +16821,6 @@ async function runPublicInstructionSeat(argv, env, io, role, parseArgv) {
           beforeDispatch: async (admittedSeat) => {
             if (auditorSourceTicket !== void 0) {
               await bindAdmittedTicketNumber(admittedSeat, auditorSourceTicket);
-            } else {
-              await bindReusedTicketNumber(admittedSeat, reusedTicketNumber);
             }
           }
         }),
@@ -16984,12 +16928,7 @@ async function runPublicJudge(argv, env, io, parseJudgeArgv2) {
         })
       }
     }),
-    adapters: {
-      ...judgeAdapters(),
-      beforeDispatch: async (admittedSeat) => {
-        await resolveSeatTicketBinding(admittedSeat, env);
-      }
-    },
+    adapters: judgeAdapters(),
     ...env.engine === void 0 ? {} : { effectiveEngine: env.engine }
   });
 }
@@ -17013,7 +16952,6 @@ var init_judge_run = __esm({
     init_engine_material();
     init_cli_errors();
     init_invocation();
-    init_seat_ticket_binding();
     init_run_lifecycle();
     init_settlement();
     init_turn_request();
@@ -20149,7 +20087,7 @@ function createDoctorRoleRuntime(pi, dependencies, host) {
         const details = testimony.status === "completed" ? { ...testimony, cost: activation.patient.cost } : testimony;
         const acceptedDetails = details;
         return disposeComplianceDecision(audit, { pass: (usage) => ({ content: [{ type: "text", text: DOCTOR_ACCEPTED_TEXT }], details: acceptedDetails, terminate: true, ...usage === void 0 ? {} : { usage } }), noReceipt: (auditNoReceipt, usageProjection) => ({ content: [{ type: "text", text: DOCTOR_ACCEPTED_AUDIT_NO_RECEIPT_TEXT }], details: { ...acceptedDetails, auditNoReceipt }, terminate: true, ...usageProjection }), received: (auditReceived, usageProjection) => ({ content: [{ type: "text", text: DOCTOR_ACCEPTED_TEXT }], details: { ...acceptedDetails, audit: auditReceived.reply }, terminate: true, ...usageProjection }), bounce: (violations) => {
-          throw new Error(`\u592A\u533B\u7F72\u56DE\u6267\u8FDD soul\uFF1A${violations.join("; ")}`);
+          throw new Error(`\u592A\u533B\u7F72\u56DE\u6267\u8FDD soul\uFF1A${joinReadableGateItems(violations)}`);
         }, escalate: (result) => result }, acceptedDetails);
       } });
       pi.on("before_agent_start", (event) => {
@@ -20180,6 +20118,7 @@ var init_doctor_role = __esm({
     "use strict";
     init_audit_escalation();
     init_compliance_transport();
+    init_readable_gate_item();
     init_dossier_resolution();
     init_doctor_contracts();
     init_sitian_facade();
@@ -20439,8 +20378,18 @@ var init_diarist_role = __esm({
       openToolObject(
         Type23.Object({
           status: Type23.Unknown({
-            description: "completed \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8"
+            description: "completed | escalate \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8"
           }),
+          ticketNumber: Type23.Optional(
+            Type23.Unknown({
+              description: "\u672C\u5EAD\u5BF9\u8C61\u7968\u53F7\uFF08\u6B63\u6574\u6570\uFF09\u6216 null/\u7701\u7565\uFF1D\u771F\u65E0\u7968\uFF1B\u673A\u68B0\u9A8C\u771F\u540E\u4E0B\u6E38\u8D70 typed \u952E\uFF1B\u8BA4\u4E0D\u51FA\u7528 status=escalate\uFF0C\u4E0D\u6D17\u6210\u65E0\u5F55"
+            })
+          ),
+          reason: Type23.Optional(
+            Type23.String({
+              description: "status \u4E3A escalate \u65F6\uFF1A\u8BA4\u4E0D\u51FA\u672C\u5EAD\u5BF9\u8C61\u7684\u539F\u56E0"
+            })
+          ),
           selections: Type23.Array(
             Type23.Object(
               {
@@ -20454,7 +20403,7 @@ var init_diarist_role = __esm({
               },
               { additionalProperties: true, description: "\u4E00\u6761\u5165\u5F55\u9009\u62E9" }
             ),
-            { description: "\u5165\u5F55\u9009\u62E9\uFF1B\u7A7A\u5217\u8868\u5408\u6CD5\u5B8C\u5C40" }
+            { description: "\u5165\u5F55\u9009\u62E9\uFF1B\u7A7A\u5217\u8868\u5408\u6CD5\u5B8C\u5C40\uFF1Bescalate \u65F6\u53EF\u4E0D\u4EA4" }
           )
         })
       )
@@ -20462,8 +20411,8 @@ var init_diarist_role = __esm({
     DIARIST_TOOL_SPEC = {
       name: DIARIST_OUTPUT_TOOL_NAME,
       label: "\u8D77\u5C45\u90CE\u8F93\u51FA",
-      description: "\u8D77\u5C45\u90CE\u5165\u5F55\u9009\u62E9\u3002",
-      promptSnippet: "\u8D77\u5C45\u90CE\u5165\u5F55\u9009\u62E9",
+      description: "\u8D77\u5C45\u90CE\u5165\u5F55\u9009\u62E9\u4E0E\u672C\u7968\u8EAB\u4EFD\u65AD\u8A00\uFF1B\u8BA4\u4E0D\u51FA\u672C\u5EAD\u5BF9\u8C61\u5219 escalate\u3002",
+      promptSnippet: "\u8D77\u5C45\u90CE\u5165\u5F55\u9009\u62E9\u4E0E\u672C\u7968\u8EAB\u4EFD",
       parameters: diaristOutputSchema
     };
   }
@@ -20547,6 +20496,83 @@ var init_diarist_mechanical = __esm({
 
 // src/diarist.ts
 import { readFileSync as readFileSync4 } from "node:fs";
+import { execFileSync as execFileSync3 } from "node:child_process";
+function instructionContainsTicketNumber(instruction, ticketNumber) {
+  if (!Number.isSafeInteger(ticketNumber) || ticketNumber < 1) return false;
+  return new RegExp("(?<!\\d)" + String(ticketNumber) + "(?!\\d)").test(
+    instruction
+  );
+}
+function createGhTicketExistenceChecker(options) {
+  const runner = options?.runner ?? createGhApiRunner();
+  return async (input) => {
+    const projected = await projectGhIssueBody(runner, {
+      owner: input.owner,
+      repo: input.repo,
+      ticketNumber: input.ticketNumber,
+      ...input.signal === void 0 ? {} : { signal: input.signal }
+    });
+    return projected.status === "available";
+  };
+}
+async function verifyAssertedTicketNumber(input) {
+  const n = input.ticketNumber;
+  if (!Number.isSafeInteger(n) || n < 1) {
+    throw new DiaristTicketVerificationError(
+      "assertion-uninterpretable",
+      `diarist ticket assertion must be a safe integer >= 1, got ${String(n)}`
+    );
+  }
+  if (!instructionContainsTicketNumber(input.instruction, n)) {
+    throw new DiaristTicketVerificationError(
+      "number-not-in-instruction",
+      `diarist ticket assertion #${n} complete decimal number does not appear in accepted instruction`
+    );
+  }
+  const origin = resolveDiaristGithubOrigin(input.projectRoot);
+  if (origin === void 0) {
+    throw new DiaristTicketVerificationError(
+      "origin-unresolved",
+      `diarist ticket assertion #${n} requires a resolvable github.com origin remote for live verification`
+    );
+  }
+  const checkExistence = input.checkExistence ?? createGhTicketExistenceChecker();
+  let exists;
+  try {
+    exists = await checkExistence({
+      owner: origin.owner,
+      repo: origin.repo,
+      ticketNumber: n,
+      ...input.signal === void 0 ? {} : { signal: input.signal }
+    });
+  } catch (error) {
+    throw new DiaristTicketVerificationError(
+      "ticket-missing",
+      `diarist ticket assertion #${n} live verification failed`,
+      { cause: error }
+    );
+  }
+  if (!exists) {
+    throw new DiaristTicketVerificationError(
+      "ticket-missing",
+      `diarist ticket assertion #${n} does not exist as a live issue on ${origin.owner}/${origin.repo}`
+    );
+  }
+}
+function resolveDiaristGithubOrigin(projectRoot) {
+  let remoteUrl;
+  try {
+    remoteUrl = execFileSync3("git", ["remote", "get-url", "origin"], {
+      cwd: projectRoot,
+      encoding: "utf8",
+      stdio: ["ignore", "pipe", "pipe"]
+    }).trim();
+  } catch {
+    return void 0;
+  }
+  if (remoteUrl.length === 0) return void 0;
+  return parseGitHubOriginRemote(remoteUrl);
+}
 function blockEntryIdentity(ticketNumber, block) {
   return ticketProvenanceEntryIdentity({
     ticketNumber,
@@ -20561,8 +20587,20 @@ function loadDiaristSourceCatalog(path) {
     throw new Error(`diarist source catalog is not an object (${path})`);
   }
   const record4 = parsed;
-  if (typeof record4.ticketNumber !== "number" || typeof record4.cwd !== "string") {
-    throw new Error(`diarist source catalog is missing ticket coordinates (${path})`);
+  if (typeof record4.cwd !== "string") {
+    throw new Error(`diarist source catalog is missing cwd (${path})`);
+  }
+  if (typeof record4.instruction !== "string") {
+    throw new Error(`diarist source catalog is missing instruction (${path})`);
+  }
+  if (typeof record4.runDirectory !== "string") {
+    throw new Error(`diarist source catalog is missing runDirectory (${path})`);
+  }
+  if (typeof record4.projectRoot !== "string") {
+    throw new Error(`diarist source catalog is missing projectRoot (${path})`);
+  }
+  if (record4.ticketNumber !== void 0 && (typeof record4.ticketNumber !== "number" || !Number.isSafeInteger(record4.ticketNumber) || record4.ticketNumber < 1)) {
+    throw new Error(`diarist source catalog ticketNumber is not a safe ticket (${path})`);
   }
   if (!Array.isArray(record4.candidates)) {
     throw new Error(`diarist source catalog is missing candidates (${path})`);
@@ -20570,7 +20608,13 @@ function loadDiaristSourceCatalog(path) {
   return parsed;
 }
 async function commitDiaristSelections(input) {
-  const { ticketNumber, cwd } = input.catalog;
+  const ticketNumber = input.catalog.ticketNumber;
+  if (ticketNumber === void 0) {
+    throw new Error(
+      "commitDiaristSelections requires a bound ticketNumber on the catalog"
+    );
+  }
+  const { cwd } = input.catalog;
   const homeOpt = input.catalog.home === void 0 ? {} : { home: input.catalog.home };
   const volumePaths = ensureTicketProvenanceVolume(ticketNumber, cwd, input.catalog.home);
   const anchors = buildDiaristAnchors({ ticketNumber });
@@ -20636,6 +20680,7 @@ async function commitDiaristSelections(input) {
     ]
   };
 }
+var DiaristTicketVerificationError;
 var init_diarist = __esm({
   "src/diarist.ts"() {
     "use strict";
@@ -20645,6 +20690,15 @@ var init_diarist = __esm({
     init_reviewer_pinned_git();
     init_ticket_provenance();
     init_sitian_facade();
+    DiaristTicketVerificationError = class extends Error {
+      code = "diarist-ticket-verification";
+      reason;
+      constructor(reason, message, options) {
+        super(message, options);
+        this.name = "DiaristTicketVerificationError";
+        this.reason = reason;
+      }
+    };
   }
 });
 
@@ -20743,7 +20797,7 @@ function createJudgeRoleRuntime(pi, dependencies, hostActions) {
                 }),
                 bounce: (violations) => {
                   throw new Error(
-                    `\u5927\u7406\u5BFA\u56DE\u6267\u8FDD soul\uFF1A${violations.join("; ")}`
+                    `\u5927\u7406\u5BFA\u56DE\u6267\u8FDD soul\uFF1A${joinReadableGateItems(violations)}`
                   );
                 },
                 escalate: (result) => result
@@ -20773,6 +20827,7 @@ var init_judge_role = __esm({
     "use strict";
     init_host_contracts();
     init_audit_escalation();
+    init_readable_gate_item();
     init_terminating_infrastructure();
     init_judge_output();
     judgeVerdictSchema = withInfrastructureFailureDeclaration(
@@ -21182,11 +21237,11 @@ var init_reviewer_role = __esm({
 });
 
 // src/worker-submission-gates.ts
-import { execFileSync as execFileSync3 } from "node:child_process";
+import { execFileSync as execFileSync4 } from "node:child_process";
 import { existsSync as existsSync12, lstatSync as lstatSync3, readdirSync as readdirSync2, readFileSync as readFileSync5, rmdirSync, rmSync } from "node:fs";
 import { resolve as resolve18 } from "node:path";
 function git2(cwd, args) {
-  return execFileSync3("git", args, {
+  return execFileSync4("git", args, {
     cwd,
     encoding: "utf8",
     stdio: ["ignore", "pipe", "pipe"],
@@ -21194,7 +21249,7 @@ function git2(cwd, args) {
   }).trim();
 }
 function gitFile(file, args) {
-  return execFileSync3("git", ["config", "--file", file, ...args], {
+  return execFileSync4("git", ["config", "--file", file, ...args], {
     encoding: "utf8",
     stdio: ["ignore", "pipe", "pipe"],
     env: { ...process.env, GIT_DIR: void 0, GIT_WORK_TREE: void 0, GIT_COMMON_DIR: void 0 }
@@ -22281,6 +22336,26 @@ function createAuditorRoleRuntime(roleHost, dependencies) {
     }
   };
 }
+function readDiaristTicketAssertion(submitted) {
+  if (submitted === void 0 || !("ticketNumber" in submitted)) {
+    return { kind: "true-unbound" };
+  }
+  const raw = submitted.ticketNumber;
+  if (raw === null) return { kind: "true-unbound" };
+  if (typeof raw === "number" && Number.isSafeInteger(raw) && raw >= 1) {
+    return { kind: "ticket", ticketNumber: raw };
+  }
+  if (typeof raw === "string" && /^[1-9]\d*$/.test(raw)) {
+    const n = Number(raw);
+    if (Number.isSafeInteger(n) && n >= 1) {
+      return { kind: "ticket", ticketNumber: n };
+    }
+  }
+  throw new DiaristTicketVerificationError(
+    "assertion-uninterpretable",
+    "diarist ticketNumber must be a safe integer >= 1, null, or absent"
+  );
+}
 function createDiaristRoleRuntime(roleHost, dependencies, getSourcesFlag) {
   let catalog;
   const runtime = createFiledOfficerRuntime(
@@ -22292,17 +22367,72 @@ function createDiaristRoleRuntime(roleHost, dependencies, getSourcesFlag) {
       soulTag: "diarist",
       beforeAccept: async ({ parameters }) => {
         const submitted = parameters !== null && typeof parameters === "object" && !Array.isArray(parameters) ? parameters : void 0;
+        if (submitted?.status === "escalate") {
+          if (!("sitian" in submitted) && !("ticketNumber" in submitted)) {
+            return submitted;
+          }
+          const stripped = { ...submitted };
+          delete stripped.sitian;
+          delete stripped.ticketNumber;
+          return stripped;
+        }
+        const assertion = readDiaristTicketAssertion(submitted);
         if (catalog === void 0) {
+          if (assertion.kind === "ticket") {
+            throw new DiaristTicketVerificationError(
+              "assertion-uninterpretable",
+              `diarist asserted ticket #${assertion.ticketNumber} but no source catalog was frozen for this turn`
+            );
+          }
           if (submitted === void 0 || !("sitian" in submitted)) return void 0;
           const stripped = { ...submitted };
           delete stripped.sitian;
           return stripped;
         }
+        if (catalog.ticketNumber !== void 0) {
+          const facts2 = await commitDiaristSelections({
+            catalog,
+            selections: projectDiaristSelections(parameters)
+          });
+          return {
+            ...submitted ?? { receipt: parameters },
+            ticketNumber: catalog.ticketNumber,
+            sitian: facts2
+          };
+        }
+        if (assertion.kind === "true-unbound") {
+          if (submitted === void 0 || !("sitian" in submitted)) {
+            return { ...submitted ?? { receipt: parameters }, ticketNumber: null };
+          }
+          const stripped = {
+            ...submitted,
+            ticketNumber: null
+          };
+          delete stripped.sitian;
+          return stripped;
+        }
+        await verifyAssertedTicketNumber({
+          ticketNumber: assertion.ticketNumber,
+          instruction: catalog.instruction,
+          projectRoot: catalog.projectRoot
+        });
+        await bindTicketNumberOnRunDirectory(
+          catalog.runDirectory,
+          assertion.ticketNumber
+        );
+        const boundCatalog = {
+          ...catalog,
+          ticketNumber: assertion.ticketNumber
+        };
         const facts = await commitDiaristSelections({
-          catalog,
+          catalog: boundCatalog,
           selections: projectDiaristSelections(parameters)
         });
-        return { ...submitted ?? { receipt: parameters }, sitian: facts };
+        return {
+          ...submitted ?? { receipt: parameters },
+          ticketNumber: assertion.ticketNumber,
+          sitian: facts
+        };
       }
     },
     dependencies
@@ -23093,6 +23223,7 @@ var init_role_runtime = __esm({
     init_diarist_role();
     init_diarist_contracts();
     init_diarist();
+    init_invocation();
     init_gatekeeper_role();
     init_navigator_role();
     init_auditor_role();