@akagilnc/pi-workflow-roles 0.1.5375 → 0.1.5406

package/dist/archivist-record-pointer.js

@@ -1,5 +1,7 @@
 import { mkdirSync, writeFileSync } from "node:fs";
+import { readFile } from "node:fs/promises";
 import { dirname, join } from "node:path";
+import { isRecord } from "./unknown-value.js";
 /** Typed parent-side pointer to an independent officer run 正本 (ADR 0079 / #675). */
 export const DIRECT_OFFICER_RUN_POINTER_KIND = "direct-officer-run-pointer";
 /**
@@ -14,6 +16,7 @@ export const DIRECT_OFFICER_RUN_POINTER_KIND = "direct-officer-run-pointer";
 export function bookDirectOfficerRunPointer(options) {
     const nest = join(dirname(options.parentSessionFile), "auditor-roles");
     mkdirSync(nest, { recursive: true });
+    const submissionToolCallId = options.submissionToolCallId?.trim() ?? "";
     const pointer = {
         version: 1,
         kind: DIRECT_OFFICER_RUN_POINTER_KIND,
@@ -22,7 +25,42 @@ export function bookDirectOfficerRunPointer(options) {
         ...(options.runDirectory !== undefined && options.runDirectory.trim() !== ""
             ? { runDirectory: options.runDirectory }
             : {}),
+        ...(submissionToolCallId === "" ? {} : { submissionToolCallId }),
     };
     writeFileSync(join(nest, `${options.officer}.pointer.json`), `${JSON.stringify(pointer)}\n`, "utf8");
     return pointer;
 }
+/**
+ * Read the one officer pointer. Missing or unreadable is not a pass:
+ * the caller re-runs the gate.
+ */
+export async function readDirectOfficerRunPointer(parentSessionFile, officer) {
+    try {
+        const raw = JSON.parse(await readFile(join(dirname(parentSessionFile), "auditor-roles", `${officer}.pointer.json`), "utf8"));
+        if (!isRecord(raw) || raw.kind !== DIRECT_OFFICER_RUN_POINTER_KIND || raw.version !== 1) {
+            return undefined;
+        }
+        if (raw.officer !== officer)
+            return undefined;
+        if (typeof raw.sessionFile !== "string" || raw.sessionFile.trim() === "")
+            return undefined;
+        const runDirectory = typeof raw.runDirectory === "string" && raw.runDirectory.trim() !== ""
+            ? raw.runDirectory
+            : undefined;
+        const submissionToolCallId = typeof raw.submissionToolCallId === "string"
+            && raw.submissionToolCallId.trim() !== ""
+            ? raw.submissionToolCallId
+            : undefined;
+        return {
+            version: 1,
+            kind: DIRECT_OFFICER_RUN_POINTER_KIND,
+            officer,
+            sessionFile: raw.sessionFile,
+            ...(runDirectory === undefined ? {} : { runDirectory }),
+            ...(submissionToolCallId === undefined ? {} : { submissionToolCallId }),
+        };
+    }
+    catch {
+        return undefined;
+    }
+}

package/dist/collector-tool-schemas.js

@@ -0,0 +1,18 @@
+import { Type } from "typebox";
+import { openToolObject } from "./open-tool-schema.js";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.js";
+/**
+ * #1088: LLM gathers evidence via host CLI and submits the receipt.
+ * Field declarations guide the model — host must not pure-shape-reject (第 0 条 / ADR 0057).
+ * Presence of `groups` remains the Collector terminal discriminator for settlement/analyst.
+ */
+export const collectorOutputBaseSchema = openToolObject(Type.Object({
+    groups: Type.Unsafe({
+        description: "按机器身份归组的出席、材料与逐条 findings（LLM 自行从宿主 CLI 取证整理；代码不代收不归并）。",
+    }),
+    unfinishedReasons: Type.Unknown({
+        description: "未完成原因；取证受限时如实报告。",
+    }),
+}));
+/** Runtime does not enrich findings; the model submits the receipt and signals sole-final. */
+export const collectorOutputArgsSchema = withTerminatingOutputDeclarations(collectorOutputBaseSchema);

package/dist/compliance-transport.js

@@ -3,6 +3,7 @@ import { officerConclusionReask } from "./gatekeeper-role.js";
 import { receivedDiscriminator } from "./submission-errors.js";
 import { coalesceSubmissionRows } from "./public-cli/terminal.js";
 import { readableGateItem } from "./readable-gate-item.js";
+import { deliveryLimitFromConfig } from "./receipt-delivery-policy.js";
 import { isRecord } from "./unknown-value.js";
 const AUDITOR_DOSSIER_PROMPT = "\u5377\u5B97\u6307\u9488\uFF1A";
 const COMPLIANCE_RESPONSE_ENTRY_TYPE = "ak_compliance_response";
@@ -120,10 +121,14 @@ async function runComplianceAudit(options) {
     });
   });
   let reask;
+  let reasksSpent = 0;
+  const reaskLimit = deliveryLimitFromConfig(options.autoResumeLimit);
   for (; ; ) {
     const summoned = await summon(subject, runDirectory, options.signal, reask, submission);
     const decision = await projectAuditorTerminal(summoned);
     if (decision.status === "received") {
+      if (reasksSpent >= reaskLimit) return decision;
+      reasksSpent += 1;
       reask = officerConclusionReask(receivedDiscriminator(decision.reply, "status"));
       continue;
     }

package/dist/diarist-contracts.js

@@ -6,6 +6,9 @@
  *
  * #901: LLM submits bounds; the mechanical layer projects source bytes.
  */
+import { Type } from "typebox";
+import { openToolObject } from "./open-tool-schema.js";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.js";
 import { projectTicketProvenanceSessions, } from "./ticket-provenance-contracts.js";
 import { isSafePositiveTicketNumber } from "./run-ticket-number.js";
 import { isRecord } from "./unknown-value.js";
@@ -55,3 +58,26 @@ export function projectDiaristTicketSessions(value) {
     }
     return Array.from(perTicket, ([ticketNumber, sessions]) => ({ ticketNumber, sessions }));
 }
+/**
+ * 起居郎交卷形状。
+ * #901：交边界（sessions）；正文与不可解析原字节由机械投影。
+ * status 的合法词（completed | escalate）写在 description，结算认这些词。
+ * sessions / ticketSessions 是投影所读的边界：卷路径或端点读不出时走既有 reask，不中止本轮。
+ * 声明只留字段名和语义说明，不留类型、嵌套、长度、必填。
+ */
+const DIARIST_SESSIONS_DESCRIPTION = "对话边界。每卷含 path（会话卷绝对或可读路径）与 ranges（本卷本轮各区间）。每段区间含 from / to；起点与终点各写 id（原生 id）或 line（本轮行号），二选一。空列表＝本轮无对话可划。端点无法指名时走 reask，不中止。";
+export const diaristOutputSchema = withTerminatingOutputDeclarations(openToolObject(Type.Object({
+    status: Type.Unknown({
+        description: "completed | escalate",
+    }),
+    ticketNumber: Type.Optional(Type.Unknown({
+        description: "本庭对象票号（正整数）或 null/省略＝真无票；下游走 typed 键；认不出用 status=escalate，不洗成无录。机械层不重判。",
+    })),
+    reason: Type.Unknown({
+        description: "status 为 escalate 时：认不出本庭对象的原因",
+    }),
+    sessions: Type.Optional(Type.Unknown({ description: DIARIST_SESSIONS_DESCRIPTION })),
+    ticketSessions: Type.Unknown({
+        description: `多票庭逐票对话边界；每票含 ticketNumber（本条边界所归票号，正整数）与 sessions（${DIARIST_SESSIONS_DESCRIPTION}）。一次交卷各票各自分录。与单票 sessions 二选一。`,
+    }),
+})));

package/dist/doctor-auditor.js

@@ -20,6 +20,7 @@ export function createPiDoctorAuditor() {
                 ? {}
                 : { runDirectory: auditorRunDirectory(options.context) }),
             ...(options.signal === undefined ? {} : { signal: options.signal }),
+            ...(options.autoResumeLimit === undefined ? {} : { autoResumeLimit: options.autoResumeLimit }),
             ...(options.summonAuditor === undefined ? {} : { summonAuditor: options.summonAuditor }),
         });
     };

package/dist/engine-detour-usage.js

@@ -248,14 +248,14 @@ export function sessionFileFromSessionDirectory(sessionDirectory) {
     return join(sessionDirectory, "session.jsonl");
 }
 /**
- * Mint one public-invocation scope id when an engine is mounted.
+ * Mint one public-invocation scope id.
  * Call once at the public-entry boundary — never inside the auto-resume loop.
- * The id lives on RoleTurnRequest / HostContext only (no detour sidecar file).
+ * Auto-resume reuses it; an explicit new public call, including manual resume,
+ * mints another. The id lives on RoleTurnRequest / HostContext only.
+ * Receipt facts and detour rows both use this id, including calls with no
+ * engine mounted — a missing engine must not merge two public calls.
  */
-export function mintEngineDetourInvocationScope(input) {
-    const engine = input.effectiveEngine?.trim();
-    if (engine === undefined || engine.length === 0)
-        return undefined;
+export function mintEngineDetourInvocationScope(_input) {
     return randomUUID();
 }
 /** Attach a minted scope onto a turn request (shared Host envelope field). */

package/dist/filed-submission.js

@@ -0,0 +1,28 @@
+/**
+ * One host-neutral submission execute for every public seat.
+ * Records nothing itself — the ledger seam already appends the original payload.
+ * Ends this tool call. Does not summon an auditor and does not end the role run.
+ * Shape is not an admission gate (ADR 0055). Seat reminders stay on beforeAccept.
+ */
+export function registerFiledSubmissionTool(roleHost, tool, options) {
+    roleHost.registerTool({
+        name: tool.name,
+        label: tool.label,
+        description: tool.description,
+        ...(tool.promptSnippet === undefined ? {} : { promptSnippet: tool.promptSnippet }),
+        parameters: tool.parameters,
+        async execute(toolCallId, parameters, signal, _onUpdate, ctx) {
+            const blocked = options.readyError();
+            if (blocked !== undefined)
+                throw new Error(blocked);
+            const projected = options.beforeAccept === undefined
+                ? undefined
+                : await options.beforeAccept({ toolCallId, parameters, signal, ctx });
+            return {
+                content: [],
+                details: projected === undefined ? parameters : projected,
+                terminate: true,
+            };
+        },
+    });
+}

package/dist/gatekeeper-role.js

@@ -3,7 +3,8 @@ import { packagedGateStageLabel } from "./packaged-role-registry.js";
 import { GatekeeperDecisionError, receivedDiscriminator, unreadableDiscriminatorNotice } from "./submission-errors.js";
 import { INSPECTOR_OUTPUT_TOOL_NAME } from "./inspector-contracts.js";
 import { REVIEW_QUEUE_STATUSES, REVIEW_SUBMISSION_OUTPUT_TOOL_NAME } from "./review-submission.js";
-import { GATEKEEPER_OUTPUT_TOOL_NAME, gatekeeperOutputSchema, } from "./package-contracts/gatekeeper-output.js";
+import { GATEKEEPER_OUTPUT_TOOL_NAME } from "./package-contracts/gatekeeper-output.js";
+import { roleSubmissionDeclaration } from "./role-submission-declarations.js";
 import { runIdFromRunDirectory } from "./run-terminal-artifacts.js";
 import { isRecord } from "./unknown-value.js";
 export const INSPECTOR_OUTPUT_TOOL = INSPECTOR_OUTPUT_TOOL_NAME;
@@ -29,13 +30,7 @@ export { GatekeeperDecisionError } from "./submission-errors.js";
  * registration envelope — src/role-runtime.ts (ADR 0018). Schema authority is
  * the shared contract module (with infrastructure-failure declaration).
  */
-export const GATEKEEPER_TOOL_SPEC = {
-    name: GATEKEEPER_OUTPUT_TOOL_NAME,
-    label: "门下省决议",
-    description: "门下省终局决议。status 为 dispatch 或 pass。",
-    promptSnippet: "门下省决议",
-    parameters: gatekeeperOutputSchema,
-};
+export const GATEKEEPER_TOOL_SPEC = roleSubmissionDeclaration("gatekeeper");
 function failureReason(error) {
     if (error instanceof AggregateError)
         return error.errors.map(failureReason).join("; ");
@@ -59,8 +54,9 @@ function reviewQueueStatus(status) {
 function projectOfficerDecision(officer, decision, fallbackStatus) {
     const receipt = retainedReceipt(decision);
     const record = isRecord(decision) ? decision : undefined;
-    const status = (record !== undefined && typeof record.status === "string" ? record.status : undefined)
-        ?? fallbackStatus;
+    const status = record !== undefined && Object.hasOwn(record, "status")
+        ? receivedDiscriminator(record, "status")
+        : fallbackStatus;
     const queueStatus = typeof status === "string" ? reviewQueueStatus(status) : undefined;
     if (queueStatus === "converged") {
         return { status: "converged", officer, receipt };

package/dist/gleaner-left-contracts.js

@@ -1,5 +1,20 @@
+import { Type } from "typebox";
+import { openToolObject } from "./open-tool-schema.js";
+import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.js";
 import { isRecord } from "./unknown-value.js";
 const GLEANER_LEFT_OUTPUT_TOOL_NAME = "ak_gleaner_left_output";
+const gleanerLeftOutputSchema = withTerminatingOutputDeclarations(
+  openToolObject(
+    Type.Object({
+      status: Type.Unknown({
+        description: "completed"
+      }),
+      findings: Type.Unknown({
+        description: "\u5F39\u7AE0\u5217\u8868\uFF1B\u6BCF\u6761\u53EF\u542B pointer\uFF08\u6587\u4EF6/\u884C\u6307\u9488\uFF09\u4E0E statement\uFF08\u7591\u70B9\u9648\u8FF0\uFF09\uFF0C\u539F\u6837\u7559\u5B58\u3002\u7A7A\u5217\u8868\u5408\u6CD5\u5B8C\u5C40\uFF1B\u673A\u5668\u4E0D\u5224\u5F39\u7AE0\u662F\u5426\u6210\u7ACB\u3002"
+      })
+    })
+  )
+);
 const GLEANER_LEFT_BASE_FLAG = {
   name: "ak-gleaner-left-base",
   definition: {
@@ -25,5 +40,6 @@ function validateRecordedGleanerLeftOutput(value) {
 export {
   GLEANER_LEFT_BASE_FLAG,
   GLEANER_LEFT_OUTPUT_TOOL_NAME,
+  gleanerLeftOutputSchema,
   validateRecordedGleanerLeftOutput
 };