@akagilnc/pi-workflow-roles 0.1.4321 → 0.1.4363

package/dist/public-cli/settlement.js

@@ -672,44 +672,7 @@ async function loadBoundAuditorVolumes(sessionFile) {
     const parentId = parentEntries.find((entry) => entry.type === "session")?.id;
     if (parentId === undefined)
         return undefined;
-    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("本次配置的劳务引擎及其手册：") || body.startsWith("- engine:");
-    };
-    const isResumeEnvelope = (msg) => {
-        if (!isRecord(msg) || msg.role !== "user")
-            return false;
-        const text = typeof msg.text === "string" ? msg.text : typeof msg.content === "string" ? msg.content : undefined;
-        if (isResumeEnvelopeBytes(text))
-            return true;
-        const content = msg.content;
-        if (Array.isArray(content)) {
-            return content.some((p) => isRecord(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 = [join(dirname(sessionFile), "auditor-roles")];
-    // Auto-resume seam (owner A): stale check must ignore resume envelope and
-    // prioritize retention. Previous `attemptEntryIndex < latest` discarded the
-    // first attempt's child after resume advanced latest, losing retentionFailure
-    // when retry had no compliance entry. Fix: ignore envelope for staleness and
-    // prefer any valid compliance failure before falling back to primary.
     const valid = [];
     let sawAnyDirectory = false;
     for (const childDirectory of childDirectories) {
@@ -759,9 +722,6 @@ async function loadBoundAuditorVolumes(sessionFile) {
                 const attemptEntryId = typeof bindingParent?.attemptEntryId === "string"
                     ? bindingParent.attemptEntryId
                     : undefined;
-                const attemptEntryIndex = attemptEntryId === undefined
-                    ? -1
-                    : parentEntries.findIndex((entry) => entry.id === attemptEntryId);
                 const boundSessionFile = typeof bindingParent?.sessionFile === "string"
                     ? bindingParent.sessionFile
                     : typeof header.parentSession === "string"
@@ -769,10 +729,8 @@ async function loadBoundAuditorVolumes(sessionFile) {
                         : undefined;
                 if (boundSessionFile !== sessionFile)
                     continue;
-                if (bindingParent !== undefined &&
-                    (bindingParent.sessionId !== parentId || attemptEntryIndex < latestParentUserIndex)) {
+                if (bindingParent !== undefined && bindingParent.sessionId !== parentId)
                     continue;
-                }
                 if (bindingParent === undefined && header.parentSession !== sessionFile)
                     continue;
                 valid.push({
@@ -781,8 +739,8 @@ async function loadBoundAuditorVolumes(sessionFile) {
                     sessionFile,
                     ...(attemptEntryId === undefined ? {} : { attemptEntryId }),
                 });
-                // Keep every qualifying interval in the current parent-user range.
-                // A single first-match break drops later same-user summons failures (#636).
+                // Keep every interval bound to this parent. Auditor payload is relayed as
+                // recorded; code does not expire it from later user-message shape (#858).
             }
         }
     }
@@ -843,14 +801,6 @@ function providerStopFallbackFromAuditorVolumes(volumes) {
     }
     return undefined;
 }
-/** Recover a provider stop from the auditor child bound to the current parent attempt. */
-export async function readBoundAuditorKnownFailure(sessionFile) {
-    const volumes = await loadBoundAuditorVolumes(sessionFile);
-    if (volumes === undefined)
-        return undefined;
-    return complianceFailureFromAuditorVolumes(volumes)
-        ?? providerStopFallbackFromAuditorVolumes(volumes);
-}
 /** Strong auditor tier only — retained compliance-failure entries, no provider-stop fallback. */
 async function readBoundAuditorComplianceFailure(sessionFile) {
     const volumes = await loadBoundAuditorVolumes(sessionFile);

package/dist/sitian-appender.js

@@ -152,25 +152,41 @@ function resolveSitianVolumeCategory(kind) {
   }
   return kind;
 }
+const SITIAN_RECORDS_LEAF = "records.jsonl";
+function ticketProvenanceUnderBookPaths(ledgerHome, bookKey, ticketId) {
+  const sessionDir = join(activationBookDirectory(ledgerHome, bookKey), ticketId);
+  return { sessionDir, recordFile: join(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 = join(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 = join(dirname(input.sessionParent), category);
+    recordFile = join(sessionDir, SITIAN_RECORDS_LEAF);
   }
-  const recordFile = join(sessionDir, "records.jsonl");
   return { sessionDir, recordFile, ledgerHome };
 }
+function projectTicketRecordsPathShape() {
+  const { recordFile } = ticketProvenanceUnderBookPaths(
+    join("~", ".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);
@@ -210,6 +226,7 @@ function appendSitianRecord(input) {
 export {
   S4_SUBMISSION_LEDGER_KINDS,
   appendSitianRecord,
+  projectTicketRecordsPathShape,
   resolveSitianRecordPath,
   resolveSitianRecordPathInLedger,
   resolveSitianVolumeCategory

package/package.json

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

package/src/collector-tool-schemas.ts

@@ -1,6 +1,6 @@
 import { Type, type Static } from "typebox";
 import { openToolObject } from "./open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 
 // #836 r16 class 3: execute() reads no params for this tool
 // (src/collector-role.ts:431-459) — a closed root only rejects the role for
@@ -124,7 +124,7 @@ export const collectorOutputBaseSchema = openToolObject(
 );
 
 /** Runtime owns the observed evidence; the model submits findings and signals sole-final submission. */
-export const collectorOutputArgsSchema = withInfrastructureFailureDeclaration(
+export const collectorOutputArgsSchema = withTerminatingOutputDeclarations(
   collectorOutputBaseSchema,
 );
 

package/src/countersign-role.ts

@@ -1,7 +1,7 @@
 import type { Static } from "typebox";
 import { Type } from "typebox";
 
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 import {
   COUNTERSIGN_OUTPUT_TOOL_NAME,
   validateRecordedCountersignOutput,
@@ -22,7 +22,7 @@ export type { CountersignVerdict };
 // classifies the recorded value and reasks the countersign itself when it
 // isn't one of the three states — code, not the transport, does that work.
 /** 给事中票庭审读五问的交卷形状（ADR 0074）；形状指引，非 schema 闸。 */
-export const countersignVerdictSchema = withInfrastructureFailureDeclaration(
+export const countersignVerdictSchema = withTerminatingOutputDeclarations(
   Type.Object(
     {
       countersignStatus: Type.Unknown({ description: "converged | continue | escalate。非三态时请重读后重交，勿改标。" }),

package/src/diarist-role.ts

@@ -2,7 +2,7 @@ import type { Static } from "typebox";
 import { Type } from "typebox";
 
 import { openToolObject } from "./open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 import {
   DIARIST_OUTPUT_TOOL_NAME,
   validateRecordedDiaristOutput,
@@ -20,7 +20,7 @@ export { validateRecordedDiaristOutput };
  * 起居郎交卷形状；形状指引，非 schema 闸。
  * #901：交边界（sessions）+ 可选坏行补写（amendments）；正文由机械投影。
  */
-export const diaristOutputSchema = withInfrastructureFailureDeclaration(
+export const diaristOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       status: Type.Unknown({

package/src/doctor-contracts.ts

@@ -1,7 +1,7 @@
 import { Type } from "typebox";
 import { canonicalJson } from "./canonical-json.ts";
 import { openToolObjectFromUnion } from "./open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 
 export const DOCTOR_EVIDENCE_TOOL_NAME = "ak_doctor_evidence";
 export const DOCTOR_OUTPUT_TOOL_NAME = "ak_doctor_output";
@@ -87,7 +87,7 @@ const doctorSubmissionVariants = Type.Union([
     missingEvidence: Type.Array(Type.Object({ need: nonblank, targetKeys: evidenceIds }, { additionalProperties: true }), { description: "如实证词所需而尚缺的证据" }),
   }, { additionalProperties: false, description: "证据不足以支撑如实案证词" }),
 ]);
-export const doctorSubmissionSchema = withInfrastructureFailureDeclaration(
+export const doctorSubmissionSchema = withTerminatingOutputDeclarations(
   openToolObjectFromUnion(doctorSubmissionVariants),
 );
 // #836 r16 class 3: action tool — code reads evidenceId to look up the Map entry

package/src/gleaner-left-role.ts

@@ -2,7 +2,7 @@ import type { Static } from "typebox";
 import { Type } from "typebox";
 
 import { openToolObject } from "./open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 import {
   GLEANER_LEFT_OUTPUT_TOOL_NAME,
   validateRecordedGleanerLeftOutput,
@@ -19,7 +19,7 @@ export { validateRecordedGleanerLeftOutput };
 // #836 r16 class 1: pointer/statement are LLM/human-read narrative content — no
 // code branches on their presence.
 /** 左拾遗弹章交卷形状；形状指引，非 schema 闸。 */
-export const gleanerLeftOutputSchema = withInfrastructureFailureDeclaration(
+export const gleanerLeftOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       status: Type.Unknown({

package/src/inspector-role.ts

@@ -2,7 +2,7 @@ import type { Static } from "typebox";
 import { Type } from "typebox";
 
 import { openToolObject } from "./open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 import {
   INSPECTOR_ACCEPTED_TEXT,
   INSPECTOR_OUTPUT_TOOL_NAME,
@@ -19,7 +19,7 @@ export type { InspectorOutput };
 export { validateRecordedInspectorOutput };
 
 /** 台院事后察举交卷形状；形状指引，非 schema 闸。 */
-export const inspectorOutputSchema = withInfrastructureFailureDeclaration(
+export const inspectorOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       status: Type.Unknown({

package/src/judge-role.ts

@@ -1,7 +1,7 @@
 import type { RoleHost, HostContext, HostToolResult, HostGatekeeperActions } from "./host-contracts.ts";
 import { Type, type Static } from "typebox";
 
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 import { ParentQueueReaskError } from "./submission-errors.ts";
 
 import {
@@ -25,7 +25,7 @@ export type { JudgeVerdict };
 // #836 (ADR 0003 Amendment): judgeStatus kept open like countersignStatus
 // (src/countersign-role.ts) — a closed domain here would reject an unknown
 // value before the rawStatus/ParentQueueReaskError check below ever runs.
-export const judgeVerdictSchema = withInfrastructureFailureDeclaration(
+export const judgeVerdictSchema = withTerminatingOutputDeclarations(
   Type.Object(
     {
       judgeStatus: Type.Unknown({ description: "converged | continue | escalate — 形状指引，非 schema 闸" }),

package/src/merger-contracts.ts

@@ -1,7 +1,7 @@
 import { Type, type Static } from "typebox";
 import { exactUtf8 } from "./exact-utf8.ts";
 import { openToolObjectFromUnion } from "./open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 
 const materialSchema = Type.Object({ bytesBase64: Type.String(), sha256: Type.String() }, { additionalProperties: false });
 const checkSchema = Type.Object({ name: Type.String({ minLength: 1 }), argv: Type.Array(Type.String({ minLength: 1 }), { minItems: 1 }) }, { additionalProperties: false });
@@ -25,7 +25,7 @@ const mergerOutputVariants = Type.Union([
   Type.Object({ status: Type.Unknown({ description: MERGER_STATUS_DESCRIPTION }), attemptId: Type.String({ description: "已受理合并 attempt 身份" }), report: Type.String({ description: "如实结果报告" }), mergeCommitId: Type.String({ description: "完成合并 commit object ID" }) }, { additionalProperties: false }),
   Type.Object({ status: Type.Unknown({ description: MERGER_STATUS_DESCRIPTION }), attemptId: Type.String({ description: "已受理合并 attempt 身份" }), diagnosis: Type.String({ description: "合并无法或不应由本席完成的原因（含无进行中合并、无活可干、需新的产品/权力决定）" }), report: Type.String({ description: "如实结果报告" }) }, { additionalProperties: false }),
 ]);
-export const mergerOutputSchema = withInfrastructureFailureDeclaration(openToolObjectFromUnion(mergerOutputVariants));
+export const mergerOutputSchema = withTerminatingOutputDeclarations(openToolObjectFromUnion(mergerOutputVariants));
 
 export type DeepReadonly<T> = T extends (...args: never[]) => unknown ? T : T extends readonly (infer U)[] ? readonly DeepReadonly<U>[] : T extends object ? { readonly [K in keyof T]: DeepReadonly<T[K]> } : T;
 export type MergerMaterial = DeepReadonly<Static<typeof materialSchema>>;

package/src/notary-contracts.ts

@@ -6,7 +6,7 @@
 import { Type } from "typebox";
 
 import { openToolObject } from "./open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.ts";
 
 export const NOTARY_OUTPUT_TOOL_NAME = "ak_notary_output";
 export const NOTARY_ACCEPTED_TEXT = "符宝郎回执已接受";
@@ -31,7 +31,7 @@ export const NOTARY_TICKET_FLAG = {
 export const NOTARY_FIXED_KICKOFF =
   "符宝郎案卷已受理；来源 run 定位见会话材料。";
 
-export const notaryOutputSchema = withInfrastructureFailureDeclaration(
+export const notaryOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       status: Type.Unknown({

package/src/package-contracts/auditor-output.ts

@@ -5,12 +5,12 @@
 import { Type } from "typebox";
 
 import { openToolObject } from "../open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.ts";
 
 export const AUDITOR_OUTPUT_TOOL_NAME = "ak_auditor_output" as const;
 export const AUDITOR_ACCEPTED_TEXT = "审刑院回执已接受";
 
-export const auditorOutputSchema = withInfrastructureFailureDeclaration(
+export const auditorOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       status: Type.Unknown({

package/src/package-contracts/fixer-output.ts

@@ -1,6 +1,6 @@
 import { Type, type Static } from "typebox";
 import { openToolObjectFromUnion } from "../open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.ts";
 
 export const FIXER_OUTPUT_TOOL_NAME = "ak_fixer_output";
 export const FIXER_ACCEPTED_TEXT = "修内司回执已接受";
@@ -51,7 +51,7 @@ const fixerOutputVariants = Type.Union([
   Type.Object({ status: Type.Unknown({ description: FIXER_STATUS_DESCRIPTION }), report: Type.String({ description: "如实结果报告" }), classResults: Type.Array(classResultSchema, { description: "各类拒绝结算" }) }),
   Type.Object({ status: Type.Unknown({ description: FIXER_STATUS_DESCRIPTION }), report: Type.String({ description: "如实结果报告" }), classResults: Type.Array(classResultSchema, { description: "各类完成或拒绝结算" }), testEvidence: Type.Optional(testEvidenceSchema) }),
 ]);
-export const fixerOutputSchema = withInfrastructureFailureDeclaration(
+export const fixerOutputSchema = withTerminatingOutputDeclarations(
   openToolObjectFromUnion(fixerOutputVariants),
 );
 

package/src/package-contracts/gatekeeper-output.ts

@@ -6,7 +6,7 @@
 import { Type } from "typebox";
 
 import { openToolObject } from "../open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.ts";
 
 export const GATEKEEPER_OUTPUT_TOOL_NAME = "ak_gatekeeper_output";
 export const GATEKEEPER_ACCEPTED_TEXT = "门下省决议已受理";
@@ -26,7 +26,7 @@ export const gatekeeperDecisionSchema = openToolObject(
   }),
 );
 
-export const gatekeeperOutputSchema = withInfrastructureFailureDeclaration(
+export const gatekeeperOutputSchema = withTerminatingOutputDeclarations(
   gatekeeperDecisionSchema,
 );
 

package/src/package-contracts/navigator-output.ts

@@ -7,12 +7,12 @@
 import { Type } from "typebox";
 
 import { openToolObject } from "../open-tool-schema.ts";
-import { withInfrastructureFailureDeclaration } from "./terminating-infrastructure.ts";
+import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.ts";
 
 export const NAVIGATOR_OUTPUT_TOOL_NAME = "ak_navigator_output";
 export const NAVIGATOR_ACCEPTED_TEXT = "游奕使建议已受理";
 
-export const navigatorOutputSchema = withInfrastructureFailureDeclaration(
+export const navigatorOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       status: Type.Unknown({

package/src/package-contracts/terminating-infrastructure.ts

@@ -49,19 +49,29 @@ const infrastructureFailureDeclarationSchema = Type.Object(
 );
 
 /**
- * Compose the shared infrastructure-failure declaration into an open output
- * tool-object schema. Returns an open object (additionalProperties: true,
+ * Compose declarations shared by terminating output tools: infrastructure failure
+ * and the optional role-asserted ticket identity. Returns an open object (additionalProperties: true,
  * required: []) with the base schema's properties plus the shared declaration.
  * Static typing is preserved on the base (`as S`), so existing
  * `Static<typeof ...>` derived parameter types are unchanged.
  */
-export function withInfrastructureFailureDeclaration<
+export function withTerminatingOutputDeclarations<
   S extends TSchema & { properties?: Record<string, TSchema> },
 >(schema: S): S {
   const baseProperties = (schema as { properties?: Record<string, TSchema> })
     .properties;
   const properties: Record<string, TSchema> = {
     ...(baseProperties ?? {}),
+    ...(
+      baseProperties?.ticketNumber === undefined
+        ? {
+            ticketNumber: Type.Unknown({
+              description:
+                "可选本票号：尚未绑定时由角色在既有回执中申报；机械层只记录合法正整数，不从散文推导、不验真。缺失或错形不拒收。",
+            }),
+          }
+        : {}
+    ),
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]:
       infrastructureFailureDeclarationSchema.properties[
         INFRASTRUCTURE_FAILURE_DECLARATION_KEY

package/src/public-cli/case-dossier-delivery.ts

@@ -1,52 +1,66 @@
 /**
- * 系统随案递送本票起居录的中立指针段（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.ts";
 import { resolveTicketProvenanceVolume } from "../ticket-provenance.ts";
 import {
   freezeAttachmentsIntoRun,
   type FrozenAttachment,
 } from "./invocation.ts";
 
-/** Section heading of the system-delivered dossier pointer (presentation only). */
+/** Bound-ticket section heading (presentation only). */
 const CASE_DOSSIER_SECTION_HEADING = "## 本票起居录（系统随案提供）" as const;
 
+/** Unbound path-only heading — no 本票 claim when no typed ticket is on the run. */
+const UNBOUND_DOSSIER_PATH_HEADING = "## 起居录路径（系统随案提供）" as const;
+
 /** Stable freeze key under run/attachments/ for station-child 0081 delivery. */
 const CASE_DOSSIER_ATTACH_KEY = "case-dossier" as const;
 
 /** Leaf name of the frozen pointer section (content = purpose + paths). */
 const CASE_DOSSIER_ATTACH_FILE = "case-dossier-pointer.md" as const;
 
-/** Pointer only — presence/absence is for the role to observe at the path. */
-function describeDossierFile(path: string): string {
-  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: {
   readonly ticketNumber: number | undefined;
   readonly projectRoot: string;
   readonly home: string;
-}): Promise<string | undefined> {
-  if (input.ticketNumber === undefined) return undefined;
+}): Promise<string> {
+  if (input.ticketNumber === undefined) {
+    return [
+      UNBOUND_DOSSIER_PATH_HEADING,
+      "",
+      `记录卷宗：${projectTicketRecordsPathShape()}`,
+    ].join("\n");
+  }
   const volume = resolveTicketProvenanceVolume(
     input.ticketNumber,
     input.projectRoot,
@@ -56,30 +70,30 @@ export async function projectCaseDossierPointerSection(input: {
     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: {
   readonly ticketNumber: number | undefined;
   readonly projectRoot: string;
   readonly home: string;
   readonly runDirectory: string;
-}): Promise<readonly FrozenAttachment[] | undefined> {
+}): Promise<readonly FrozenAttachment[]> {
   const section = await projectCaseDossierPointerSection({
     ticketNumber: input.ticketNumber,
     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 {
@@ -106,6 +120,11 @@ export type CaseDossierReadingMaterial = {
  * 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: string,