@akagilnc/pi-workflow-roles 0.1.4422 → 0.1.4489

package/src/role-runtime.ts

@@ -99,7 +99,6 @@ import {
 } from "./secretariat-contracts.ts";
 import {
   DIARIST_ACCEPTED_TEXT,
-  projectDiaristAmendments,
   projectDiaristSessions,
 } from "./diarist-contracts.ts";
 import { commitDiaristProjection } from "./diarist.ts";
@@ -581,6 +580,8 @@ type NavigatorAttendanceDependency = Omit<NavigatorAttendance, "knownRoutePlaybo
 export type RoleRuntimeDependencies = {
   /** Package root for packaged engine-note resolution (#879). */
   packageRoot?: string;
+  /** Non-identity opening materials delivered in the ordinary role brief. */
+  loadRoleReferenceMaterials?(role: PackagedRole): Promise<string>;
   loadJudgeSoul(): Promise<string>;
   loadFixerSoul?(): Promise<string>;
   loadFixPacket?(path: string): Promise<string>;
@@ -961,26 +962,10 @@ function readDiaristRunCoordinates(ctx: HostContext): {
 const DIARIST_BOUNDS_REASK =
   "边界无法使用。请重交 sessions：每卷 path + ranges，每端以原生 id 或本轮行号二选一指名。" as const;
 
-/** Build reask text that hands unparsable source lines back for amendment. */
-function diaristUnparsableReask(
-  rows: readonly { readonly s: number; readonly line: number; readonly raw: string }[],
-): string {
-  const payload = rows.map((row) => ({
-    s: row.s,
-    line: row.line,
-    raw: row.raw,
-  }));
-  return [
-    "下列源行未能录入，请经 amendments 补写（每条 s + line + speaker + text）；其余边界可保持不变。",
-    JSON.stringify(payload),
-  ].join("\n");
-}
-
 /**
  * #708 / #779 / #901: 起居郎 public seat on the shared filed-officer envelope.
- * LLM judges ticket + dialogue bounds (+ optional amendments); mechanical layer
- * reprojects the unique records.jsonl. Unusable bounds and still-open unparsable
- * lines reask via ParentQueueReaskError (same mechanism as countersign). Machine
+ * LLM judges ticket + dialogue bounds; mechanical layer reprojects the unique
+ * records.jsonl. Unusable bounds reask via ParentQueueReaskError. Machine
  * facts never come from model self-report (锚定宪法).
  */
 export function createDiaristRoleRuntime(
@@ -1011,7 +996,6 @@ export function createDiaristRoleRuntime(
           if (sessions === undefined) {
             throw new ParentQueueReaskError(DIARIST_BOUNDS_REASK);
           }
-          const amendments = projectDiaristAmendments(parameters);
           let facts;
           try {
             facts = await commitDiaristProjection({
@@ -1019,7 +1003,6 @@ export function createDiaristRoleRuntime(
               cwd: coords.projectRoot,
               home: coords.home,
               sessions,
-              amendments,
             });
           } catch (error) {
             // Bound/session input failures → reask via typed identity (not message prefix).
@@ -1032,9 +1015,6 @@ export function createDiaristRoleRuntime(
             }
             throw error;
           }
-          if (facts.unparsable.length > 0) {
-            throw new ParentQueueReaskError(diaristUnparsableReask(facts.unparsable));
-          }
         }
         return parameters;
       },
@@ -1288,7 +1268,8 @@ export function createRoleRuntimeExtension(
     });
 
     let admitted = false;
-    let selectedRole: string | undefined;
+    let selectedRole: PackagedRole | undefined;
+    let roleReferenceMaterials = "";
     /** Live Reviewer parent activation for envelope agent_start prompt assembly. */
     let activeReviewerParent: ReviewerActivation | undefined;
     /** Envelope-owned Reviewer Skill expansion state (ADR 0018 — not a role-module facade). */
@@ -1401,14 +1382,14 @@ export function createRoleRuntimeExtension(
             activeReviewerParent.skillBinding.name,
             text,
           ) ?? text;
-        return text === event.text
-          ? { action: "continue" as const }
-          : { action: "transform" as const, text };
       }
-      return text === event.text
-        ? { action: "continue" as const }
-        : { action: "transform" as const, text };
+      return { action: "continue" as const };
     });
+    // Reference law/guides use the existing typed reading-material channel;
+    // they are not rewritten into operator dialogue or the identity Soul.
+    roleHost.on("before_agent_start", () => roleReferenceMaterials === ""
+      ? undefined
+      : { readingMaterial: { kind: "role-reference-materials", content: roleReferenceMaterials } });
     roleHost.on("before_agent_start", async (event, ctx) => {
       const role = roleHost.getFlag(ROLE_FLAG.name);
       const prompt = event.prompt;
@@ -2092,6 +2073,7 @@ export function createRoleRuntimeExtension(
       }
       admitted = false;
       selectedRole = undefined;
+      roleReferenceMaterials = "";
       activeReviewerParent = undefined;
       reviewerOriginalRequest = undefined;
       reviewerExpansionCaptured = false;
@@ -2252,6 +2234,7 @@ export function createRoleRuntimeExtension(
         }
 
         await executeActivationStage(entry.role, activationStage(entry.role, runtime), { clock, writeTrace });
+        roleReferenceMaterials = await dependencies.loadRoleReferenceMaterials?.(entry.role) ?? "";
         // #357 T2 / #378 / #380 / #391 / #818: any role+engine activation registers the package detour tool once.
         // Gate is resolveEngineName (RoleHost flag → env fallback) — no per-engine execute branch; no role-module spawn.
         if (!engineDetourRegistered) {

package/src/session-opening-materials.ts

@@ -50,12 +50,28 @@ export async function joinPackageMaterials(
   relativePaths: readonly string[],
 ): Promise<string> {
   const chunks: string[] = [];
-  for (const relativePath of relativePaths) {
-    chunks.push(await readPackageMaterial(relativePath));
-  }
+  for (const relativePath of relativePaths) chunks.push(await readPackageMaterial(relativePath));
   return chunks.join("\n\n");
 }
 
+function roleSoulPath(role: string, materials: readonly string[]): string {
+  const suffix = `/souls/${role}.md`;
+  const path = materials.find((candidate) => `/${candidate}`.endsWith(suffix));
+  if (path === undefined) throw new Error(`session materials omit the ${role} Soul`);
+  return path;
+}
+
+async function loadSeparatedSessionPart(
+  role: string,
+  materials: readonly string[],
+  part: "soul" | "references",
+): Promise<string> {
+  const soul = roleSoulPath(role, materials);
+  return part === "soul"
+    ? readPackageMaterial(soul)
+    : joinPackageMaterials(materials.filter((path) => path !== soul));
+}
+
 type PublicRoleMaterials = {
   readonly [Role in PackagedRole]: Extract<
     (typeof PUBLIC_ROLE_RECORDS)[number],
@@ -72,10 +88,12 @@ export const MAIN_ROLE_SESSION_MATERIALS = {
 
 export type MainRoleSession = keyof typeof MAIN_ROLE_SESSION_MATERIALS;
 
-export function loadMainRoleSessionMaterials(
-  role: MainRoleSession,
-): Promise<string> {
-  return joinPackageMaterials(MAIN_ROLE_SESSION_MATERIALS[role]);
+export function loadMainRoleSessionMaterials(role: MainRoleSession): Promise<string> {
+  return loadSeparatedSessionPart(role, MAIN_ROLE_SESSION_MATERIALS[role], "soul");
+}
+
+export function loadMainRoleReferenceMaterials(role: MainRoleSession): Promise<string> {
+  return loadSeparatedSessionPart(role, MAIN_ROLE_SESSION_MATERIALS[role], "references");
 }
 
 /** Gatekeeper province; notary reuses the public notary materials definition. */
@@ -88,8 +106,6 @@ export const GATEKEEPER_SESSION_MATERIALS = {
 
 export type GatekeeperSessionRole = keyof typeof GATEKEEPER_SESSION_MATERIALS;
 
-export function loadGatekeeperSessionMaterials(
-  role: GatekeeperSessionRole,
-): Promise<string> {
-  return joinPackageMaterials(GATEKEEPER_SESSION_MATERIALS[role]);
+export function loadGatekeeperSessionMaterials(role: GatekeeperSessionRole): Promise<string> {
+  return loadSeparatedSessionPart(role, GATEKEEPER_SESSION_MATERIALS[role], "soul");
 }

package/src/ticket-provenance-contracts.ts

@@ -48,29 +48,20 @@ export type TicketProvenanceHeader = {
 
 /**
  * 一条对话（存于不可变投影提交；旧 snapshot 中也可为裸行）。
- * `id` 与 `line` 按源事实存在则记、不存在不编；两者皆无的少数条目
- * 靠录中前后有定位的条目锚定。
+ * `id` 按源事实存在则记、不存在不编；`s` 保留卷定位。
  */
 export type TicketProvenanceLine = {
   readonly speaker: TicketProvenanceSpeaker;
   /** 卷下标（册子头 `sessions` 的位置）。 */
   readonly s: number;
-  readonly line?: number;
+  /** Logical source order for display. */
+  readonly sourcePosition?: number;
+  /** Replay-invariant structural identity used for id-less cumulative coverage. */
+  readonly sourceIdentity?: string;
   readonly id?: string;
   readonly text: string;
 };
 
-/**
- * 坏行补写：绑定源卷与行，带说话人与正文。
- * 编没编由符宝郎读录核旨，代码不判断（`unparsable-line-to-diarist`）。
- */
-export type TicketProvenanceAmendment = {
-  readonly s: number;
-  readonly line: number;
-  readonly speaker: TicketProvenanceSpeaker;
-  readonly text: string;
-};
-
 function isRecord(value: unknown): value is Record<string, unknown> {
   return typeof value === "object" && value !== null && !Array.isArray(value);
 }
@@ -136,28 +127,6 @@ export function projectTicketProvenanceSessions(
   return sessions;
 }
 
-/**
- * 投影补写集合。缺该字段＝无补写（不拒收）；成员形状不成立的整条跳过——
- * 它没有绑定位置，放不回去。
- */
-export function projectTicketProvenanceAmendments(
-  value: unknown,
-): readonly TicketProvenanceAmendment[] {
-  if (!Array.isArray(value)) return [];
-  const out: TicketProvenanceAmendment[] = [];
-  for (const raw of value) {
-    if (!isRecord(raw)) continue;
-    const s = nonNegativeInteger(raw.s);
-    const line = positiveInteger(raw.line);
-    const speaker = projectSpeaker(raw.speaker);
-    const text = raw.text;
-    if (s === undefined || line === undefined || speaker === undefined) continue;
-    if (typeof text !== "string") continue;
-    out.push({ s, line, speaker, text });
-  }
-  return out;
-}
-
 /** 读回册子头（文件第一行）。形状不成立即 undefined——按无册处理，不猜。 */
 export function projectTicketProvenanceHeader(
   value: unknown,
@@ -190,12 +159,16 @@ export function projectTicketProvenanceLine(
   const s = nonNegativeInteger(value.s);
   if (speaker === undefined || s === undefined) return undefined;
   if (typeof value.text !== "string") return undefined;
-  const line = positiveInteger(value.line);
+  const sourcePosition = nonNegativeInteger(value.sourcePosition);
+  const sourceIdentity = typeof value.sourceIdentity === "string" && value.sourceIdentity !== ""
+    ? value.sourceIdentity
+    : undefined;
   const id = typeof value.id === "string" && value.id !== "" ? value.id : undefined;
   return {
     speaker,
     s,
-    ...(line === undefined ? {} : { line }),
+    ...(sourcePosition === undefined ? {} : { sourcePosition }),
+    ...(sourceIdentity === undefined ? {} : { sourceIdentity }),
     ...(id === undefined ? {} : { id }),
     text: value.text,
   };