@akagilnc/pi-workflow-roles 0.1.4321 → 0.1.4363

package/dist/public-cli/case-dossier-delivery.js

@@ -1,55 +1,69 @@
 /**
- * 系统随案递送本票起居录的中立指针段（ADR 0081：公共入口直接挂案卷，Soul 只说明用途不负责派送；
- * #709 公共入口通用递送与 #742 给事中受理链路同源；
- * 指针输入沿 ADR 0079（指针是绑定材料由代码精准递送），不把卷宗正文塞进提示词）。
- * 只读已有案卷：不刷新、不生成、不校验内容、不新增拒收或停工条件。
+ * 系统随案递送起居录路径的中立指针段（ADR 0081：公共入口直接挂案卷，Soul 只说明用途不负责派送；
+ * #709 公共入口通用递送与 #742 给事中受理链路同源；#858 告诉 LLM 路径，不另建取号/lookup）。
+ * 指针输入沿 ADR 0079（指针是绑定材料由代码精准递送），不把卷宗正文塞进提示词。
+ * 只告诉路径：不刷新、不生成、不校验内容、不新增拒收或停工条件、不从 instruction 抽票号。
  * 机器文本仅中立标识材料（ADR 0073），用途说明归角色材料所有。
  *
  * 递送挂载点唯一：`post-admission` 在 beforeDispatch 之后为每个公共入口挂载。
- * 普通入口把本段追加进 continuation；station-child 审核轮次走 attachments
- * 冻结 + role-runtime `loadCaseDossierReadingMaterial` → readingMaterial →
- * systemPrompt.materials fold（#879：对话 instruction 保持父腿 payload 原文；
- * 起居录作独立附件面，不新造 RoleTurnRequest.materials）。
+ * 全部公共入口（ordinary 已绑定／未绑定与 station-child）统一走 attachments 冻结 +
+ * role-runtime `loadCaseDossierReadingMaterial` → readingMaterial →
+ * systemPrompt.materials fold（#879 / #858：对话 instruction、空请求、resume
+ * message 保持调用者原文；起居录作独立附件面，不新造 RoleTurnRequest.materials，
+ * 不拼进 user-dialogue continuation）。
+ *
+ * #858: deliver returns typed FrozenAttachment[]; load currently re-derives the
+ * freeze leaf under runDirectory because agent-start only has HostContext.runDirectory.
+ * Consuming the typed frozenPath across that process boundary needs a design
+ * revision of the existing envelope/persistence seam — not a local replica of
+ * freezeAttachments' `00-` naming, not a drift throw, not readdir guessing.
  */
 import { mkdtemp, readFile, rm, writeFile } from "node:fs/promises";
 import { tmpdir } from "node:os";
 import { join } from "node:path";
+import { projectTicketRecordsPathShape } from "../sitian-facade.js";
 import { resolveTicketProvenanceVolume } from "../ticket-provenance.js";
 import { freezeAttachmentsIntoRun, } from "./invocation.js";
-/** Section heading of the system-delivered dossier pointer (presentation only). */
+/** Bound-ticket section heading (presentation only). */
 const CASE_DOSSIER_SECTION_HEADING = "## 本票起居录（系统随案提供）";
+/** Unbound path-only heading — no 本票 claim when no typed ticket is on the run. */
+const UNBOUND_DOSSIER_PATH_HEADING = "## 起居录路径（系统随案提供）";
 /** Stable freeze key under run/attachments/ for station-child 0081 delivery. */
 const CASE_DOSSIER_ATTACH_KEY = "case-dossier";
 /** Leaf name of the frozen pointer section (content = purpose + paths). */
 const CASE_DOSSIER_ATTACH_FILE = "case-dossier-pointer.md";
-/** Pointer only — presence/absence is for the role to observe at the path. */
-function describeDossierFile(path) {
-    return path;
-}
 /**
- * Pointer section for a bound ticket's existing 起居录, or undefined when the
- * run carries no ticket identity (unbound calls stay legal and get no dossier).
- * A bound ticket whose volume is missing or unreadable is stated as such —
- * the section never claims a dossier that is not there.
+ * Neutral 起居录 path pointer for every public entry (ADR 0081 delivery seam).
+ * Always tells the canonical path shape so the seat LLM can read the diary
+ * itself (陛下 2026-09-15: 只需要告诉llm这个路径). When a typed ticket identity is
+ * already on the run, also project the concrete resolved file. Never claims a
+ * volume or「本票」exists when unbound; never extracts a ticket from instruction.
+ * Under-book shape comes only from sitian writer joins — no local replica.
  */
 export async function projectCaseDossierPointerSection(input) {
-    if (input.ticketNumber === undefined)
-        return undefined;
+    if (input.ticketNumber === undefined) {
+        return [
+            UNBOUND_DOSSIER_PATH_HEADING,
+            "",
+            `记录卷宗：${projectTicketRecordsPathShape()}`,
+        ].join("\n");
+    }
     const volume = resolveTicketProvenanceVolume(input.ticketNumber, input.projectRoot, input.home);
     return [
         CASE_DOSSIER_SECTION_HEADING,
         "",
         `票号：#${input.ticketNumber}`,
-        `记录卷宗：${describeDossierFile(volume.recordFile)}`,
+        `记录卷宗：${volume.recordFile}`,
     ].join("\n");
 }
 /**
- * ADR 0081 delivery for station-child officer turns (#879): freeze the same
- * pointer section through the existing attachments seam. Role-runtime loads
- * that freeze via loadCaseDossierReadingMaterial onto readingMaterial; the
- * envelope then folds it into systemPrompt.materials. Peer dialogue instruction
- * stays the parent payload; never RoleTurnRequest.materials.
- * Returns frozen attachments, or undefined when unbound (no dossier).
+ * ADR 0081 delivery for every public entry (#879 / #858): freeze the pointer
+ * section through the existing attachments seam. Role-runtime loads that freeze
+ * via loadCaseDossierReadingMaterial onto readingMaterial; the envelope then
+ * folds it into systemPrompt.materials. Caller / peer dialogue instruction stays
+ * opaque; never RoleTurnRequest.materials, never user-dialogue continuation.
+ * Always freezes the path pointer (canonical shape, or concrete file when a
+ * typed ticket is already bound).
  */
 export async function deliverCaseDossierAsAttachment(input) {
     const section = await projectCaseDossierPointerSection({
@@ -57,8 +71,6 @@ export async function deliverCaseDossierAsAttachment(input) {
         projectRoot: input.projectRoot,
         home: input.home,
     });
-    if (section === undefined)
-        return undefined;
     // Stage in OS temp only — never leave a run-local .case-dossier-stage copy.
     const stagingDir = await mkdtemp(join(tmpdir(), "ak-case-dossier-"));
     try {
@@ -74,6 +86,11 @@ export async function deliverCaseDossierAsAttachment(input) {
  * Load a previously frozen case-dossier attachment as reading material
  * (existing agent-start / systemPrompt.materials fold — not dialogue prompt,
  * not RoleTurnRequest.materials). Undefined when the run has no such freeze.
+ *
+ * #858: this join re-derives freezeAttachments' leaf naming because the
+ * agent-start handler only receives runDirectory. Replacing it requires
+ * threading deliver's typed frozenPath across the existing envelope seam
+ * (design revision) — do not copy freeze's `00-` algorithm here again.
  */
 export async function loadCaseDossierReadingMaterial(runDirectory) {
     const frozenPath = join(runDirectory, "attachments", CASE_DOSSIER_ATTACH_KEY, `00-${CASE_DOSSIER_ATTACH_FILE}`);

package/dist/public-cli/main.js

@@ -8465,10 +8465,15 @@ var init_open_tool_schema = __esm({
 });
 
 // src/package-contracts/terminating-infrastructure.ts
-function withInfrastructureFailureDeclaration(schema) {
+function withTerminatingOutputDeclarations(schema) {
   const baseProperties = schema.properties;
   const properties = {
     ...baseProperties ?? {},
+    ...baseProperties?.ticketNumber === void 0 ? {
+      ticketNumber: typebox_exports.Unknown({
+        description: "\u53EF\u9009\u672C\u7968\u53F7\uFF1A\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\uFF1B\u673A\u68B0\u5C42\u53EA\u8BB0\u5F55\u5408\u6CD5\u6B63\u6574\u6570\uFF0C\u4E0D\u4ECE\u6563\u6587\u63A8\u5BFC\u3001\u4E0D\u9A8C\u771F\u3002\u7F3A\u5931\u6216\u9519\u5F62\u4E0D\u62D2\u6536\u3002"
+      })
+    } : {},
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureDeclarationSchema.properties[INFRASTRUCTURE_FAILURE_DECLARATION_KEY]
   };
   const object = typebox_exports.Object(properties, { additionalProperties: true });
@@ -8525,7 +8530,7 @@ var init_gatekeeper_output = __esm({
         })
       })
     );
-    gatekeeperOutputSchema = withInfrastructureFailureDeclaration(
+    gatekeeperOutputSchema = withTerminatingOutputDeclarations(
       gatekeeperDecisionSchema
     );
   }
@@ -8540,7 +8545,7 @@ var init_navigator_output = __esm({
     init_open_tool_schema();
     init_terminating_infrastructure();
     NAVIGATOR_OUTPUT_TOOL_NAME = "ak_navigator_output";
-    navigatorOutputSchema = withInfrastructureFailureDeclaration(
+    navigatorOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(
         typebox_exports.Object({
           status: typebox_exports.Unknown({
@@ -8616,7 +8621,7 @@ var init_fixer_output = __esm({
       typebox_exports.Object({ status: typebox_exports.Unknown({ description: FIXER_STATUS_DESCRIPTION }), report: typebox_exports.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }), classResults: typebox_exports.Array(classResultSchema, { description: "\u5404\u7C7B\u62D2\u7EDD\u7ED3\u7B97" }) }),
       typebox_exports.Object({ status: typebox_exports.Unknown({ description: FIXER_STATUS_DESCRIPTION }), report: typebox_exports.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }), classResults: typebox_exports.Array(classResultSchema, { description: "\u5404\u7C7B\u5B8C\u6210\u6216\u62D2\u7EDD\u7ED3\u7B97" }), testEvidence: typebox_exports.Optional(testEvidenceSchema) })
     ]);
-    fixerOutputSchema = withInfrastructureFailureDeclaration(
+    fixerOutputSchema = withTerminatingOutputDeclarations(
       openToolObjectFromUnion(fixerOutputVariants)
     );
   }
@@ -14676,7 +14681,7 @@ var init_doctor_contracts = __esm({
         missingEvidence: typebox_exports.Array(typebox_exports.Object({ need: nonblank, targetKeys: evidenceIds }, { additionalProperties: true }), { description: "\u5982\u5B9E\u8BC1\u8BCD\u6240\u9700\u800C\u5C1A\u7F3A\u7684\u8BC1\u636E" })
       }, { additionalProperties: false, description: "\u8BC1\u636E\u4E0D\u8DB3\u4EE5\u652F\u6491\u5982\u5B9E\u6848\u8BC1\u8BCD" })
     ]);
-    doctorSubmissionSchema = withInfrastructureFailureDeclaration(
+    doctorSubmissionSchema = withTerminatingOutputDeclarations(
       openToolObjectFromUnion(doctorSubmissionVariants)
     );
     doctorEvidenceReadSchema = typebox_exports.Object({ evidenceId: typebox_exports.String({ minLength: 1, description: "\u5F85\u8BFB\u7559\u5B58\u8BC1\u636E\u6807\u8BC6" }), offset: typebox_exports.Optional(typebox_exports.Integer({ minimum: 0, description: "\u8D77\u59CB\u5B57\u8282\u504F\u79FB\uFF08\u4ECE 0 \u8BA1\uFF09" })), limit: typebox_exports.Optional(typebox_exports.Integer({ minimum: 1, description: "\u8FD4\u56DE\u5B57\u8282\u6570\uFF08\u65E0\u4E0A\u9650\uFF09" })) }, { additionalProperties: true });
@@ -14748,7 +14753,7 @@ var init_merger_contracts = __esm({
       typebox_exports.Object({ status: typebox_exports.Unknown({ description: MERGER_STATUS_DESCRIPTION }), attemptId: typebox_exports.String({ description: "\u5DF2\u53D7\u7406\u5408\u5E76 attempt \u8EAB\u4EFD" }), report: typebox_exports.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }), mergeCommitId: typebox_exports.String({ description: "\u5B8C\u6210\u5408\u5E76 commit object ID" }) }, { additionalProperties: false }),
       typebox_exports.Object({ status: typebox_exports.Unknown({ description: MERGER_STATUS_DESCRIPTION }), attemptId: typebox_exports.String({ description: "\u5DF2\u53D7\u7406\u5408\u5E76 attempt \u8EAB\u4EFD" }), diagnosis: typebox_exports.String({ description: "\u5408\u5E76\u65E0\u6CD5\u6216\u4E0D\u5E94\u7531\u672C\u5E2D\u5B8C\u6210\u7684\u539F\u56E0\uFF08\u542B\u65E0\u8FDB\u884C\u4E2D\u5408\u5E76\u3001\u65E0\u6D3B\u53EF\u5E72\u3001\u9700\u65B0\u7684\u4EA7\u54C1/\u6743\u529B\u51B3\u5B9A\uFF09" }), report: typebox_exports.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }) }, { additionalProperties: false })
     ]);
-    mergerOutputSchema = withInfrastructureFailureDeclaration(openToolObjectFromUnion(mergerOutputVariants));
+    mergerOutputSchema = withTerminatingOutputDeclarations(openToolObjectFromUnion(mergerOutputVariants));
     MERGER_OUTPUT_TOOL_NAME = "ak_merger_output";
     record = (v) => typeof v === "object" && v !== null && !Array.isArray(v);
     blank = (v) => typeof v !== "string" || v.trim().length === 0;
@@ -14773,7 +14778,7 @@ var init_notary_contracts = __esm({
     init_terminating_infrastructure();
     NOTARY_OUTPUT_TOOL_NAME = "ak_notary_output";
     NOTARY_FIXED_KICKOFF = "\u7B26\u5B9D\u90CE\u6848\u5377\u5DF2\u53D7\u7406\uFF1B\u6765\u6E90 run \u5B9A\u4F4D\u89C1\u4F1A\u8BDD\u6750\u6599\u3002";
-    notaryOutputSchema = withInfrastructureFailureDeclaration(
+    notaryOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(
         typebox_exports.Object({
           status: typebox_exports.Unknown({
@@ -14827,7 +14832,7 @@ var init_auditor_output = __esm({
     init_open_tool_schema();
     init_terminating_infrastructure();
     AUDITOR_OUTPUT_TOOL_NAME = "ak_auditor_output";
-    auditorOutputSchema = withInfrastructureFailureDeclaration(
+    auditorOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(
         typebox_exports.Object({
           status: typebox_exports.Unknown({
@@ -16360,25 +16365,40 @@ function resolveSitianVolumeCategory(kind) {
   }
   return kind;
 }
+function ticketProvenanceUnderBookPaths(ledgerHome, bookKey, ticketId) {
+  const sessionDir = join9(activationBookDirectory(ledgerHome, bookKey), ticketId);
+  return { sessionDir, recordFile: join9(sessionDir, SITIAN_RECORDS_LEAF) };
+}
 function resolveSitianRecordPathInLedger(input, ledgerHome) {
   const category = resolveSitianVolumeCategory(input.kind);
   const ticketNumber = category === "ticket-provenance" ? typeof input.subject === "string" && /^[1-9][0-9]*$/.test(input.subject) ? input.subject : typeof input.subject === "object" && typeof input.subject.ticketNumber === "number" && Number.isSafeInteger(input.subject.ticketNumber) && input.subject.ticketNumber > 0 ? String(input.subject.ticketNumber) : void 0 : void 0;
   let sessionDir;
+  let recordFile;
   if (ticketNumber !== void 0) {
-    const bookDir = activationBookDirectory(
+    const paths = ticketProvenanceUnderBookPaths(
       ledgerHome,
-      resolveBookKeyFromGit(input.cwd ?? process.cwd())
+      resolveBookKeyFromGit(input.cwd ?? process.cwd()),
+      ticketNumber
     );
-    sessionDir = join9(bookDir, ticketNumber);
+    sessionDir = paths.sessionDir;
+    recordFile = paths.recordFile;
   } else {
     if (input.sessionParent === void 0 || input.sessionParent.length === 0 || !physicallyContainedIn(ledgerHome, input.sessionParent)) {
       throw new Error("Sitian record ownership requires a parent session inside the ledger home");
     }
     sessionDir = join9(dirname5(input.sessionParent), category);
+    recordFile = join9(sessionDir, SITIAN_RECORDS_LEAF);
   }
-  const recordFile = join9(sessionDir, "records.jsonl");
   return { sessionDir, recordFile, ledgerHome };
 }
+function projectTicketRecordsPathShape() {
+  const { recordFile } = ticketProvenanceUnderBookPaths(
+    join9("~", ".ak-roles"),
+    "<\u7C3F>",
+    "<\u7968\u53F7>"
+  );
+  return recordFile.replace(/\\/g, "/");
+}
 function resolveSitianRecordPath(input) {
   const ledgerHome = input.home !== void 0 && input.home.length > 0 ? resolveActivationLedgerHome(input.home) : resolveActivationLedgerHomeForPath(input.sessionParent);
   return resolveSitianRecordPathInLedger(input, ledgerHome);
@@ -16415,7 +16435,7 @@ function appendSitianRecord(input) {
     );
   }
 }
-var S4_SUBMISSION_LEDGER_KINDS;
+var S4_SUBMISSION_LEDGER_KINDS, SITIAN_RECORDS_LEAF;
 var init_sitian_appender = __esm({
   "src/sitian-appender.ts"() {
     "use strict";
@@ -16429,6 +16449,7 @@ var init_sitian_appender = __esm({
       "sealed",
       "post-seal-anomaly"
     ]);
+    SITIAN_RECORDS_LEAF = "records.jsonl";
   }
 });
 
@@ -24871,7 +24892,6 @@ __export(settlement_exports, {
   publishMergerArtifacts: () => publishMergerArtifacts,
   publishReviewerArtifacts: () => publishReviewerArtifacts,
   raceNavigatorGrace: () => raceNavigatorGrace,
-  readBoundAuditorKnownFailure: () => readBoundAuditorKnownFailure,
   readBoundEvidenceChildKnownFailure: () => readBoundEvidenceChildKnownFailure,
   readCollectorInfrastructureFailure: () => readCollectorInfrastructureFailure,
   readEngineDetourInfrastructureFailure: () => readEngineDetourInfrastructureFailure,
@@ -25415,32 +25435,6 @@ async function loadBoundAuditorVolumes(sessionFile) {
   }
   const parentId = parentEntries.find((entry) => entry.type === "session")?.id;
   if (parentId === void 0) return void 0;
-  const isResumeEnvelopeBytes = (value) => {
-    if (typeof value !== "string") return false;
-    if (value.length === 0) return true;
-    const nl = value.indexOf("\n");
-    const firstLine = nl === -1 ? value : value.slice(0, nl);
-    const body = firstLine === "" && nl !== -1 ? value.slice(nl + 1) : value;
-    return body.startsWith("\u672C\u6B21\u914D\u7F6E\u7684\u52B3\u52A1\u5F15\u64CE\u53CA\u5176\u624B\u518C\uFF1A") || body.startsWith("- engine:");
-  };
-  const isResumeEnvelope = (msg) => {
-    if (!isRecord10(msg) || msg.role !== "user") return false;
-    const text = typeof msg.text === "string" ? msg.text : typeof msg.content === "string" ? msg.content : void 0;
-    if (isResumeEnvelopeBytes(text)) return true;
-    const content = msg.content;
-    if (Array.isArray(content)) {
-      return content.some((p) => isRecord10(p) && (isResumeEnvelopeBytes(p.text) || isResumeEnvelopeBytes(p.content)));
-    }
-    return false;
-  };
-  let latestParentUserIndex = -1;
-  for (let i = parentEntries.length - 1; i >= 0; i -= 1) {
-    const entry = parentEntries[i];
-    if (entry?.type !== "message" || entry.message?.role !== "user") continue;
-    if (isResumeEnvelope(entry.message)) continue;
-    latestParentUserIndex = i;
-    break;
-  }
   const childDirectories = [join25(dirname13(sessionFile), "auditor-roles")];
   const valid = [];
   let sawAnyDirectory = false;
@@ -25477,12 +25471,9 @@ async function loadBoundAuditorVolumes(sessionFile) {
       for (const { entry: bindingEntry, start, end } of bindingPasses) {
         const bindingParent = bindingEntry !== void 0 && isRecord10(bindingEntry.data) && isRecord10(bindingEntry.data.parent) ? bindingEntry.data.parent : void 0;
         const attemptEntryId = typeof bindingParent?.attemptEntryId === "string" ? bindingParent.attemptEntryId : void 0;
-        const attemptEntryIndex = attemptEntryId === void 0 ? -1 : parentEntries.findIndex((entry) => entry.id === attemptEntryId);
         const boundSessionFile = typeof bindingParent?.sessionFile === "string" ? bindingParent.sessionFile : typeof header.parentSession === "string" ? header.parentSession : void 0;
         if (boundSessionFile !== sessionFile) continue;
-        if (bindingParent !== void 0 && (bindingParent.sessionId !== parentId || attemptEntryIndex < latestParentUserIndex)) {
-          continue;
-        }
+        if (bindingParent !== void 0 && bindingParent.sessionId !== parentId) continue;
         if (bindingParent === void 0 && header.parentSession !== sessionFile) continue;
         valid.push({
           entries: entries.slice(start, end),
@@ -25537,11 +25528,6 @@ function providerStopFallbackFromAuditorVolumes(volumes) {
   }
   return void 0;
 }
-async function readBoundAuditorKnownFailure(sessionFile) {
-  const volumes = await loadBoundAuditorVolumes(sessionFile);
-  if (volumes === void 0) return void 0;
-  return complianceFailureFromAuditorVolumes(volumes) ?? providerStopFallbackFromAuditorVolumes(volumes);
-}
 async function readBoundAuditorComplianceFailure(sessionFile) {
   const volumes = await loadBoundAuditorVolumes(sessionFile);
   if (volumes === void 0) return void 0;
@@ -27568,11 +27554,14 @@ var init_ticket_provenance = __esm({
 import { mkdtemp, readFile as readFile19, rm, writeFile as writeFile8 } from "node:fs/promises";
 import { tmpdir } from "node:os";
 import { join as join27 } from "node:path";
-function describeDossierFile(path) {
-  return path;
-}
 async function projectCaseDossierPointerSection(input) {
-  if (input.ticketNumber === void 0) return void 0;
+  if (input.ticketNumber === void 0) {
+    return [
+      UNBOUND_DOSSIER_PATH_HEADING,
+      "",
+      `\u8BB0\u5F55\u5377\u5B97\uFF1A${projectTicketRecordsPathShape()}`
+    ].join("\n");
+  }
   const volume = resolveTicketProvenanceVolume(
     input.ticketNumber,
     input.projectRoot,
@@ -27582,7 +27571,7 @@ async function projectCaseDossierPointerSection(input) {
     CASE_DOSSIER_SECTION_HEADING,
     "",
     `\u7968\u53F7\uFF1A#${input.ticketNumber}`,
-    `\u8BB0\u5F55\u5377\u5B97\uFF1A${describeDossierFile(volume.recordFile)}`
+    `\u8BB0\u5F55\u5377\u5B97\uFF1A${volume.recordFile}`
   ].join("\n");
 }
 async function deliverCaseDossierAsAttachment(input) {
@@ -27591,7 +27580,6 @@ async function deliverCaseDossierAsAttachment(input) {
     projectRoot: input.projectRoot,
     home: input.home
   });
-  if (section === void 0) return void 0;
   const stagingDir = await mkdtemp(join27(tmpdir(), "ak-case-dossier-"));
   try {
     const stagingPath = join27(stagingDir, CASE_DOSSIER_ATTACH_FILE);
@@ -27606,13 +27594,15 @@ async function deliverCaseDossierAsAttachment(input) {
     await rm(stagingDir, { recursive: true, force: true });
   }
 }
-var CASE_DOSSIER_SECTION_HEADING, CASE_DOSSIER_ATTACH_KEY, CASE_DOSSIER_ATTACH_FILE;
+var CASE_DOSSIER_SECTION_HEADING, UNBOUND_DOSSIER_PATH_HEADING, CASE_DOSSIER_ATTACH_KEY, CASE_DOSSIER_ATTACH_FILE;
 var init_case_dossier_delivery = __esm({
   "src/public-cli/case-dossier-delivery.ts"() {
     "use strict";
+    init_sitian_facade();
     init_ticket_provenance();
     init_invocation();
     CASE_DOSSIER_SECTION_HEADING = "## \u672C\u7968\u8D77\u5C45\u5F55\uFF08\u7CFB\u7EDF\u968F\u6848\u63D0\u4F9B\uFF09";
+    UNBOUND_DOSSIER_PATH_HEADING = "## \u8D77\u5C45\u5F55\u8DEF\u5F84\uFF08\u7CFB\u7EDF\u968F\u6848\u63D0\u4F9B\uFF09";
     CASE_DOSSIER_ATTACH_KEY = "case-dossier";
     CASE_DOSSIER_ATTACH_FILE = "case-dossier-pointer.md";
   }
@@ -28111,12 +28101,6 @@ function describeCaughtError(error) {
   }
   return { message: String(error) };
 }
-function appendContinuationSection(continuation, section) {
-  const prompt = `${continuation.prompt}
-
-${section}`;
-  return continuation.kind === "initial" ? { kind: "initial", prompt } : { kind: "resume", prompt };
-}
 function isStationChildOfficerDialogue(role, env) {
   return env.stationChild === true && isOfficerReviewSeat(role);
 }
@@ -28278,10 +28262,24 @@ async function dispatchPostAdmissionTurn(input) {
   const shouldPresent = adapters.shouldPresentSettled ?? ((terminal) => isLawfulTypedTerminalOutcome(terminal.roleOutcome));
   let afterDispatchApplied = false;
   const finishAfterTurn = async (result2) => {
-    if (adapters.afterDispatch === void 0 || afterDispatchApplied) return result2;
+    if (afterDispatchApplied) return result2;
     afterDispatchApplied = true;
     try {
-      await adapters.afterDispatch(admitted, lease);
+      if (admitted.ticketNumber === void 0) {
+        const rows = await readRecordedSubmissionRows(
+          admitted.projectRoot,
+          admitted.runId,
+          { home: homeFromRunDirectory(admitted.runDirectory), sessionParent: join30(admitted.runDirectory, "session", "session.jsonl") }
+        );
+        const asserted = rows.filter((row) => row.kind === "accepted" && row.role === admitted.role).map((row) => row.accepted).find((payload) => {
+          if (payload === null || typeof payload !== "object" || Array.isArray(payload)) return false;
+          const value = payload.ticketNumber;
+          return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
+        });
+        const ticketNumber = asserted === void 0 ? void 0 : asserted.ticketNumber;
+        if (ticketNumber !== void 0) await bindAdmittedTicketNumber(admitted, ticketNumber);
+      }
+      if (adapters.afterDispatch !== void 0) await adapters.afterDispatch(admitted, lease);
       return result2;
     } catch (error) {
       const primaryFailure = result2.terminal !== void 0 && !isLawfulTypedTerminalOutcome(result2.terminal.roleOutcome);
@@ -28396,29 +28394,12 @@ async function dispatchPostAdmissionTurn(input) {
     if (typeof liveHost === "string" && liveHost.trim() !== "") {
       turnRequest = { ...turnRequest, host: liveHost.trim() };
     }
-    if (isStationChildOfficerDialogue(admitted.role, env)) {
-      await deliverCaseDossierAsAttachment({
-        ticketNumber: admitted.ticketNumber,
-        projectRoot: admitted.projectRoot,
-        home: env.home,
-        runDirectory: admitted.runDirectory
-      });
-    } else {
-      const dossierSection = await projectCaseDossierPointerSection({
-        ticketNumber: admitted.ticketNumber,
-        projectRoot: admitted.projectRoot,
-        home: env.home
-      });
-      if (dossierSection !== void 0) {
-        turnRequest = {
-          ...turnRequest,
-          continuation: appendContinuationSection(
-            turnRequest.continuation,
-            dossierSection
-          )
-        };
-      }
-    }
+    await deliverCaseDossierAsAttachment({
+      ticketNumber: admitted.ticketNumber,
+      projectRoot: admitted.projectRoot,
+      home: env.home,
+      runDirectory: admitted.runDirectory
+    });
     await markRunRunning(
       admitted.runDirectory,
       env.model,
@@ -29006,6 +28987,7 @@ var init_post_admission = __esm({
     init_run_lifecycle();
     init_cli_errors();
     init_invocation();
+    init_submission_ledger();
     init_activation_ledger_topology();
     init_engine_material();
     init_session_identity();
@@ -30623,8 +30605,8 @@ async function summonPublicRole(options) {
 async function summonGateOfficer(options) {
   let home = options.home;
   if (home === void 0) {
-    const { homeFromRunDirectory: homeFromRunDirectory3 } = await Promise.resolve().then(() => (init_activation_ledger_topology(), activation_ledger_topology_exports));
-    home = homeFromRunDirectory3(options.sourceRunDirectory);
+    const { homeFromRunDirectory: homeFromRunDirectory2 } = await Promise.resolve().then(() => (init_activation_ledger_topology(), activation_ledger_topology_exports));
+    home = homeFromRunDirectory2(options.sourceRunDirectory);
   }
   let gateReviewInstruction;
   if (options.reask === void 0 && options.submission !== void 0) {

package/dist/public-cli/post-admission.js

@@ -10,12 +10,13 @@ import { writeFile } from "node:fs/promises";
 import { isAbsolute, join, resolve } from "node:path";
 import { buildResumeContinuationPrompt, RESUME_TRANSPORT_ENVELOPE, } from "./run-lifecycle.js";
 import { CliUsageError } from "./cli-errors.js";
-import { buildInstructionTransportPrompt, freezeAttachmentsIntoRun, } from "./invocation.js";
+import { bindAdmittedTicketNumber, buildInstructionTransportPrompt, freezeAttachmentsIntoRun, } from "./invocation.js";
+import { readRecordedSubmissionRows } from "../submission-ledger.js";
 import { pathContainedIn } from "../activation-ledger-topology.js";
 import { pickEngineAxis } from "../package-resources/engine-material.js";
 import { resolveHostAwareSessionAvailability } from "../session-identity.js";
 import { isOfficerReviewSeat } from "../host-contracts.js";
-import { deliverCaseDossierAsAttachment, projectCaseDossierPointerSection, } from "./case-dossier-delivery.js";
+import { deliverCaseDossierAsAttachment } from "./case-dossier-delivery.js";
 /** Original error bytes, never relabeled — a secondary fact riding beside a classified cause. */
 function describeCaughtError(error) {
     if (error instanceof Error) {
@@ -24,13 +25,6 @@ function describeCaughtError(error) {
     }
     return { message: String(error) };
 }
-/** Append one system section to a continuation prompt, keeping its kind. */
-function appendContinuationSection(continuation, section) {
-    const prompt = `${continuation.prompt}\n\n${section}`;
-    return continuation.kind === "initial"
-        ? { kind: "initial", prompt }
-        : { kind: "resume", prompt };
-}
 /**
  * Nested gate summons (station child) on an officer seat: dialogue content is
  * peer words only (#879). ADR 0081 case dossier still hangs via the existing
@@ -262,11 +256,32 @@ export async function dispatchPostAdmissionTurn(input) {
      */
     let afterDispatchApplied = false;
     const finishAfterTurn = async (result) => {
-        if (adapters.afterDispatch === undefined || afterDispatchApplied)
+        if (afterDispatchApplied)
             return result;
         afterDispatchApplied = true;
         try {
-            await adapters.afterDispatch(admitted, lease);
+            // #858: an unbound seat may assert its ticket on the existing receipt.
+            // Read the original accepted payload; do not rewrite it, infer from prose,
+            // or reject missing/malformed declarations. An existing binding wins.
+            if (admitted.ticketNumber === undefined) {
+                const rows = await readRecordedSubmissionRows(admitted.projectRoot, admitted.runId, { home: homeFromRunDirectory(admitted.runDirectory), sessionParent: join(admitted.runDirectory, "session", "session.jsonl") });
+                const asserted = rows
+                    .filter((row) => row.kind === "accepted" && row.role === admitted.role)
+                    .map((row) => row.accepted)
+                    .find((payload) => {
+                    if (payload === null || typeof payload !== "object" || Array.isArray(payload))
+                        return false;
+                    const value = payload.ticketNumber;
+                    return typeof value === "number" && Number.isSafeInteger(value) && value > 0;
+                });
+                const ticketNumber = asserted === undefined
+                    ? undefined
+                    : asserted.ticketNumber;
+                if (ticketNumber !== undefined)
+                    await bindAdmittedTicketNumber(admitted, ticketNumber);
+            }
+            if (adapters.afterDispatch !== undefined)
+                await adapters.afterDispatch(admitted, lease);
             return result;
         }
         catch (error) {
@@ -362,10 +377,11 @@ export async function dispatchPostAdmissionTurn(input) {
         }
         // Turn request is assembled after beforeDispatch so this turn sees whatever it
         // settled — the seat's ticket bind re-projection and any court diarist station
-        // writes (#742). Case dossier delivery (ADR 0081 / #709) rides here once for
-        // every public entry. #879: station-child officer dialogue keeps peer body
-        // intact — 起居录 hangs via existing attachments freeze (not prompt wrap,
-        // not RoleTurnRequest.materials). Other entries keep the neutral prompt section.
+        // writes (#742). Case dossier delivery (ADR 0081 / #709 / #858) rides here once
+        // for every public entry on the existing attachments → readingMaterial face
+        // (station-child and ordinary share one seam). Dialogue continuation stays
+        // caller/peer opaque — never splice system path sections into user dialogue.
+        // No package-resume parallel face or typed resume identity.
         let turnRequest = env.signal === undefined ? request : { ...request, signal: env.signal };
         if (env.stationChild !== undefined) {
             turnRequest = { ...turnRequest, stationChild: env.stationChild };
@@ -378,32 +394,16 @@ export async function dispatchPostAdmissionTurn(input) {
         if (typeof liveHost === "string" && liveHost.trim() !== "") {
             turnRequest = { ...turnRequest, host: liveHost.trim() };
         }
-        if (isStationChildOfficerDialogue(admitted.role, env)) {
-            // 0081 non-body face: freeze pointer section under run/attachments/.
-            // Peer dialogue continuation.prompt stays parent payload only — the seat
-            // consumes the freeze via loadCaseDossierReadingMaterial → existing
-            // agent-start readingMaterial / systemPrompt.materials fold (not prompt splice,
-            // not RoleTurnRequest.materials).
-            await deliverCaseDossierAsAttachment({
-                ticketNumber: admitted.ticketNumber,
-                projectRoot: admitted.projectRoot,
-                home: env.home,
-                runDirectory: admitted.runDirectory,
-            });
-        }
-        else {
-            const dossierSection = await projectCaseDossierPointerSection({
-                ticketNumber: admitted.ticketNumber,
-                projectRoot: admitted.projectRoot,
-                home: env.home,
-            });
-            if (dossierSection !== undefined) {
-                turnRequest = {
-                    ...turnRequest,
-                    continuation: appendContinuationSection(turnRequest.continuation, dossierSection),
-                };
-            }
-        }
+        // 0081 non-dialogue face: freeze pointer section under run/attachments/.
+        // Seat consumes via loadCaseDossierReadingMaterial → existing agent-start
+        // readingMaterial / systemPrompt.materials fold. Caller instruction, empty
+        // request, and resume --message stay verbatim.
+        await deliverCaseDossierAsAttachment({
+            ticketNumber: admitted.ticketNumber,
+            projectRoot: admitted.projectRoot,
+            home: env.home,
+            runDirectory: admitted.runDirectory,
+        });
         // Authoritative host write happens here, at the real dispatch boundary —
         // immediately before the turn actually starts, after every retryable
         // pre-turn step above has succeeded on this attempt (#840 r9 判词 class 2).