@akagilnc/pi-workflow-roles 0.1.5864 → 0.1.5877

package/src/diarist-contracts.ts

@@ -1,6 +1,6 @@
 /**
  * Public 起居郎 (diarist) terminating receipt contracts — ADR 0075 `diarist-is-role` / #901.
- * Lawful explicit releases: completed (入录) | escalate (认不出本庭对象上抛).
+ * Lawful explicit releases: completed (入录) | escalate (无法正常署时上呈，见 Soul).
  * Machine facts about the volume come from the mechanical reproject seam, never
  * from model self-report (锚定宪法); this module owns the receipt shape only.
  *
@@ -42,7 +42,7 @@ export type DiaristOutput =
       }[];
     }
   | {
-      /** LLM cannot tell which ticket this summons is about — escalate, never wash into 无录. */
+      /** LLM cannot sign this round normally (Soul) — escalate, never wash into 无录. */
       readonly status: "escalate";
       readonly reason: string;
     };
@@ -100,8 +100,11 @@ export function projectDiaristTicketSessions(
  * sessions / ticketSessions 是投影所读的边界：卷路径或端点读不出时走既有 reask，不中止本轮。
  * 声明只留字段名和语义说明，不留类型、嵌套、长度、必填。
  */
+export const DIARIST_BOUND_ENDPOINTS =
+  "起点与终点各写 id 或 line，二选一：id＝会话卷里那一行 JSON 的 uuid 字段值（没有 uuid 取 id；顶层都没有再取 message 或 payload 里的 uuid / id），同一 id 出现多次时取第一次出现的那一行；line＝那一行在文件里从 1 数起的行号。两端都含在区间内。" as const;
+
 const DIARIST_SESSIONS_DESCRIPTION =
-  "对话边界。每卷含 path（会话卷绝对或可读路径）与 ranges（本卷本轮各区间）。每段区间含 from / to；起点与终点各写 id（原生 id）或 line（本轮行号），二选一。空列表＝本轮无对话可划。端点无法指名时走 reask，不中止。" as const;
+  `对话边界。每卷含 path（会话卷绝对或可读路径）与 ranges（本卷本轮各区间）。每段区间含 from / to；${DIARIST_BOUND_ENDPOINTS}区间里只有说话人的原文进录：用户与助手消息里的文本、真人经队列的插话；思考、工具调用、工具结果和机器通知不进录，区间可以直接跨过它们，不必拆段。每次交卷的边界照投影追加进本票起居录，不去重，也不改已有的录。空列表＝本轮无对话可划。端点无法指名时走 reask，不中止。` as const;
 
 export const diaristOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
@@ -116,7 +119,7 @@ export const diaristOutputSchema = withTerminatingOutputDeclarations(
         }),
       ),
       reason: Type.Unknown({
-        description: "status 为 escalate 时：认不出本庭对象的原因",
+        description: "status 为 escalate 时：上呈的原因",
       }),
       sessions: Type.Optional(Type.Unknown({ description: DIARIST_SESSIONS_DESCRIPTION })),
       ticketSessions: Type.Unknown({

package/src/notary-role.ts

@@ -29,6 +29,8 @@ export {
 export type NotaryRoleDependencies = {
   loadSoul(): Promise<string>;
   loadSourceRunLocator(path: string): Promise<NotarySourceRunLocator>;
+  /** Soul of the audited seat (the verdict under review cites it); undefined when the package has none. */
+  loadAuditedSoul(role: string): Promise<string | undefined>;
 };
 
 export type NotaryRoleHostActions = {
@@ -95,14 +97,18 @@ export function projectNotaryBoundFromFlags(
   };
 }
 
-/** Assemble systemPrompt body from base + soul only (NO embedded bound JSON).
+/** Assemble systemPrompt body from base + soul + the audited seat's Soul (NO embedded bound JSON).
  * Audited-run identity travels separately as `readingMaterial`; adapters fold
  * it into the provider-visible prompt at the send boundary. */
 export function assembleNotaryAgentStartPrompt(input: {
   readonly baseSystemPrompt: string;
   readonly soul: string;
+  readonly audited?: { readonly seat: string; readonly soul: string };
 }): string {
-  return `${input.baseSystemPrompt}\n\n<notary_soul>\n${input.soul}\n</notary_soul>`;
+  const audited = input.audited === undefined
+    ? ""
+    : `\n\n<audited_seat_soul seat="${input.audited.seat}">\n${input.audited.soul}\n</audited_seat_soul>`;
+  return `${input.baseSystemPrompt}\n\n<notary_soul>\n${input.soul}\n</notary_soul>${audited}`;
 }
 
 /** Envelope-admitted ticket binding (flag read owned by shared envelope). */
@@ -119,6 +125,7 @@ export function createNotaryRoleRuntime(
     | {
         soul: string;
         sourceRun: NotarySourceRunLocator;
+        auditedSoul?: string;
         ticketNumber?: number;
       }
     | undefined;
@@ -142,9 +149,11 @@ export function createNotaryRoleRuntime(
       const soul = (await dependencies.loadSoul()).trim();
       if (soul.length === 0) throw new Error("Notary soul is empty");
       const sourceRun = await dependencies.loadSourceRunLocator(path);
+      const auditedSoul = (await dependencies.loadAuditedSoul(sourceRun.role))?.trim();
       activation = {
         soul,
         sourceRun,
+        ...(auditedSoul === undefined || auditedSoul === "" ? {} : { auditedSoul }),
         ...(admitted?.ticketNumber === undefined
           ? {}
           : { ticketNumber: admitted.ticketNumber }),
@@ -165,6 +174,9 @@ export function createNotaryRoleRuntime(
             systemPrompt: assembleNotaryAgentStartPrompt({
               baseSystemPrompt: event.systemPrompt,
               soul: activation.soul,
+              ...(activation.auditedSoul === undefined
+                ? {}
+                : { audited: { seat: activation.sourceRun.role, soul: activation.auditedSoul } }),
             }),
             readingMaterial: projectNotaryAuditedRunIdentity({
               sourceRun: activation.sourceRun,

package/src/packaged-role-registry.ts

@@ -37,6 +37,7 @@ export const NOTARY_SESSION_MATERIALS = [
   "souls/notary.md",
   "souls/audit-law.md",
   "souls/ticket-law.md",
+  "souls/quality-law.md",
   "souls/gate-output-guide.md",
   "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md",
 ] as const;
@@ -61,6 +62,7 @@ export const AUDITOR_PUBLIC_SESSION_MATERIALS = [
   "CLAUDE.md",
   "souls/judge-auditor.md",
   "souls/doctor-auditor.md",
+  "souls/judge.md",
   "souls/audit-law.md",
   "souls/quality-law.md",
   "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md",
@@ -319,7 +321,7 @@ export const PUBLIC_ROLE_RECORDS = [
     activationStage: "load-and-install",
     receiptStatusKey: "status",
     // #924: 公用《票面法》三席同装
-    sessionMaterials: ["CLAUDE.md", "souls/countersign.md", "souls/ticket-law.md", "resources/countersign-ticket-issue.md", "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"],
+    sessionMaterials: ["CLAUDE.md", "souls/countersign.md", "souls/ticket-law.md", "souls/audit-law.md", "souls/quality-law.md", "resources/countersign-ticket-issue.md", "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"],
   },
   {
     role: "secretariat",

package/src/public-cli/cli.ts

@@ -79,6 +79,7 @@ import {
   type TypedOptionConsumer,
 } from "./option-definitions.ts";
 import { TurnDispatchedFailure } from "./auto-resume.ts";
+import { readSessionDialogue, renderSessionDialogue } from "./dialogue-command.ts";
 import {
   continueParentAfterChild,
   presentAuditedOriginalOfUnsettledOfficer,
@@ -1157,6 +1158,12 @@ export async function runAkRole(
     // and settle through the outer catch — no $HOME fallback (#604).
     const home = resolveHome(env);
 
+    if (parsed.command === "dialogue") {
+      if (parsed.args.length !== 1) throw new CliUsageError("usage: ak-role dialogue <session.jsonl>");
+      io.stdout(renderSessionDialogue(await readSessionDialogue(parsed.args[0]!, home)));
+      return { exitCode: 0 };
+    }
+
     if (parsed.command === "roles") {
       if (parsed.args.length > 0) {
         throw new CliUsageError("roles takes no arguments");

package/src/public-cli/dialogue-command.ts

@@ -0,0 +1,53 @@
+/**
+ * `ak-role dialogue <session>`: the speaker lines a diary range would project,
+ * one JSON object per line, so the diarist searches the dialogue instead of
+ * re-deriving the session format (owner 2026-10-21). Same read and adapter as
+ * the ticket-provenance projection — no second speaker rule.
+ */
+import { readLedgerSessionJsonlLines } from "../ledger-session-read.ts";
+import { adaptSessionDialogue, type DialogueSpeaker } from "../session-dialogue.ts";
+import { assertDialogueSessionSourcePath } from "../ticket-provenance.ts";
+
+export type SessionDialogueLine =
+  | {
+      /** 1-based file line, the same `line` a diary range endpoint names. */
+      readonly line: number;
+      /** Native id a range endpoint can name; only on its first line, since an id resolves there. */
+      readonly id?: string;
+      readonly speaker: DialogueSpeaker;
+      readonly text: string;
+    }
+  | {
+      /** Unparsable source line; a range covering it keeps these bytes in the record. */
+      readonly line: number;
+      readonly raw: string;
+    };
+
+export async function readSessionDialogue(path: string, home?: string): Promise<SessionDialogueLine[]> {
+  assertDialogueSessionSourcePath(path, home);
+  const sessionLines = await readLedgerSessionJsonlLines(path);
+  const dialogue = adaptSessionDialogue(sessionLines.map((entry) => entry.row));
+  const seenIds = new Set<string>();
+  const out: SessionDialogueLine[] = [];
+  sessionLines.forEach((entry, index) => {
+    if (entry.row === undefined) {
+      out.push({ line: entry.line, raw: entry.raw });
+      return;
+    }
+    for (const event of dialogue[index] ?? []) {
+      const firstId = event.id !== undefined && !seenIds.has(event.id);
+      if (event.id !== undefined) seenIds.add(event.id);
+      out.push({
+        line: entry.line,
+        ...(firstId ? { id: event.id } : {}),
+        speaker: event.speaker,
+        text: event.text,
+      });
+    }
+  });
+  return out;
+}
+
+export function renderSessionDialogue(lines: readonly SessionDialogueLine[]): string {
+  return lines.map((line) => `${JSON.stringify(line)}\n`).join("");
+}

package/src/public-cli/option-definitions.ts

@@ -1362,6 +1362,15 @@ const SUPPORT_COMMAND_HELP = {
       "ak-role --host grok-build new inspector --attach ./change.patch",
     ],
   },
+  dialogue: {
+    command: "dialogue",
+    summary:
+      "Print what a diary range projects from a session volume, one JSON object per line: speaker lines {line, id, speaker: owner|runner, text} and unparsable lines {line, raw}. line and id are what a range endpoint names; a repeated id is shown on its first line only, where it resolves. Same authorized session roots as the projection.",
+    usage: ["ak-role dialogue <session.jsonl>"],
+    examples: [
+      "ak-role dialogue ~/.claude/projects/-Users-me-repo/0b1c….jsonl > /tmp/dialogue.jsonl",
+    ],
+  },
 } as const satisfies Record<string, PublicCommandHelpFacts>;
 
 /**

package/src/public-cli/registry.ts

@@ -29,6 +29,7 @@ export const PUBLIC_CLI_SUPPORT_COMMANDS = [
   "resume",
   "new",
   "setup",
+  "dialogue",
 ] as const;
 
 export type PublicCliSupportCommand = (typeof PUBLIC_CLI_SUPPORT_COMMANDS)[number];

package/src/role-runtime.ts

@@ -96,6 +96,7 @@ import {
 } from "./secretariat-role.ts";
 import { SECRETARIAT_OUTPUT_TOOL_NAME } from "./secretariat-contracts.ts";
 import {
+  DIARIST_BOUND_ENDPOINTS,
   projectDiaristSessions,
   projectDiaristTicketSessions,
 } from "./diarist-contracts.ts";
@@ -785,7 +786,7 @@ function readDiaristRunCoordinates(ctx: HostContext): {
 
 /** Plain-language re-ask when diarist bounds cannot be used (#901 / reask-not-explode). */
 const DIARIST_BOUNDS_REASK =
-  "边界无法使用。多票请逐票重交 ticketSessions，单票重交 sessions；每卷 path + ranges，每端以原生 id 或本轮行号二选一指名。" as const;
+  `边界无法使用。多票请逐票重交 ticketSessions，单票重交 sessions；每卷 path + ranges。${DIARIST_BOUND_ENDPOINTS}` as const;
 /**
  * #708 / #779 / #901: 起居郎 public seat on the shared filed-officer envelope.
  * LLM judges ticket + dialogue bounds; mechanical layer reprojects the unique
@@ -1383,6 +1384,9 @@ export function createRoleRuntimeExtension(
         if (!dependencies.loadNotarySourceRun) throw new Error("Notary runtime dependencies are not configured");
         return dependencies.loadNotarySourceRun(path);
       },
+      async loadAuditedSoul(role) {
+        return packagedRoleMetadata(role) === undefined ? undefined : requireRoleSoul(role as PackagedRole);
+      },
     }, hostActions);
     const countersign = createCountersignRoleRuntime(roleHost, {
       loadSoul: () => requireRoleSoul("countersign"),

package/src/role-submission-declarations.ts

@@ -121,7 +121,7 @@ const SUBMISSION_FACE = {
   },
   diarist: {
     label: "起居郎输出",
-    description: "起居郎交单票 sessions 或多票逐票 ticketSessions 边界；认不出本庭对象则 escalate。",
+    description: "起居郎交单票 sessions 或多票逐票 ticketSessions 边界，或 escalate。",
     promptSnippet: "起居郎交边界",
     parameters: diaristOutputSchema,
   },

package/src/ticket-provenance.ts

@@ -83,7 +83,7 @@ function isLedgerRoleSessionFile(absolute: string, home?: string): boolean {
 }
 
 /** Real I/O seam gate: only host session stores or sitian role-run session.jsonl. */
-function assertDialogueSessionSourcePath(path: string, home?: string): void {
+export function assertDialogueSessionSourcePath(path: string, home?: string): void {
   const absolute = resolve(path);
   for (const root of dialogueSessionSourceRoots(home)) {
     if (physicallyContainedIn(root, absolute)) return;