@akagilnc/pi-workflow-roles 0.1.5068 → 0.1.5096

package/dist/public-cli/settlement.js

@@ -28,7 +28,7 @@ import { DOCTOR_CANDIDATE_ENTRY_TYPE } from "../dossier-resolution.js";
 import { REVIEWER_OUTPUT_TOOL_NAME, } from "../package-contracts/reviewer-output.js";
 import { packagedAuditToolName, packagedDurableOfficerEntry, packagedProjectsTargetBindRejection, packagedRoleAcceptedOutputTool, packagedRoleMetadata, packagedSkipsGateOnInfrastructureStage, } from "../packaged-role-registry.js";
 import { SECRETARIAT_COUNTERSIGN_TERMINAL_FACT_KEY, SECRETARIAT_GATE_OFFICER_ENTRY_TYPE, } from "../secretariat-contracts.js";
-import { classifyPackagedRoleTerminalResult, findLatestDurablePackagedRoleTerminal, hasNavigatorInfrastructureFailureBase, isAcceptedPackagedRoleTerminalResult, isReceiptSettlementBindingClear, NAVIGATOR_INVOCATION_ENTRY, parseInvocationMarkerIdentity, } from "../navigator-invocation-identity.js";
+import { classifyPackagedRoleTerminalResult, findLatestDurablePackagedRoleTerminal, hasNavigatorInfrastructureFailureBase, isAcceptedPackagedRoleTerminalResult, isReceiptSettlementBindingClear, NAVIGATOR_INVOCATION_ENTRY, NAVIGATOR_ROUTE_PLAYBOOK_FAILURE_ENTRY, parseInvocationMarkerIdentity, } from "../navigator-invocation-identity.js";
 import { NO_RECEIPT_LIFECYCLE_ENTRY_TYPE, RECEIPT_DELIVERY_TURN_LIMIT, noReceiptLifecycleFacts, parseNoReceiptLifecycleFacts, } from "../receipt-delivery-policy.js";
 import { roleRunArtifactsDirectory } from "../role-run-placement.js";
 import { listSeamOwnedUniqueErrorFacePaths, RUN_TERMINAL_ARTIFACT_FILES, RUN_TERMINAL_ERROR_FALLBACK_RELATIVE_PATHS, } from "../run-terminal-artifacts.js";
@@ -1610,7 +1610,26 @@ async function withOptionalGateProjection(base, sessionDirectory, gateContext =
     }
     return attachEngineDetourToolUsage(next, sessionDirectory, gateContext);
 }
+function routePlaybookFailureMessage(entries) {
+    for (let i = entries.length - 1; i >= 0; i -= 1) {
+        const entry = entries[i];
+        if (entry?.type !== "custom" || entry.customType !== NAVIGATOR_ROUTE_PLAYBOOK_FAILURE_ENTRY)
+            continue;
+        const data = entry.data;
+        if (!isRecord(data) || typeof data.message !== "string" || data.message.trim() === "")
+            return undefined;
+        return data.message;
+    }
+    return undefined;
+}
 export function extractNavigatorFact(entries) {
+    const fact = extractNavigatorAttendanceFact(entries);
+    if (fact.advisoryDiagnostic !== undefined)
+        return fact;
+    const message = routePlaybookFailureMessage(entries);
+    return message === undefined ? fact : { ...fact, advisoryDiagnostic: message };
+}
+function extractNavigatorAttendanceFact(entries) {
     // Affirmative attendance only. Missing / uncorrelated / unparseable is never no-advice.
     // Minimal provenance: latest durable terminal + nearest preceding marker +
     // invocationId + post-terminal order. Marker↔terminal cardinality belongs to

package/dist/receipt-delivery-policy.js

@@ -1,5 +1,4 @@
 const RECEIPT_DELIVERY_TURN_LIMIT = 2;
-const RECEIPT_DELIVERY_PROMPT = "\u672C\u4F1A\u8BDD\u5C1A\u65E0\u5DF2\u63A5\u53D7\u7684 typed \u56DE\u6267\u3002";
 const NO_RECEIPT_LIFECYCLE_ENTRY_TYPE = "ak-no-receipt-lifecycle";
 function isRecord(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
@@ -74,6 +73,15 @@ function createReceiptDeliveryPolicy() {
       if (accepted) return "accepted";
       return deliveryTurns < RECEIPT_DELIVERY_TURN_LIMIT ? "request-delivery" : "no-receipt";
     },
+    /** Current typed delivery facts. No prose. */
+    deliveryState() {
+      return {
+        terminalToolCalled,
+        rejectedReceipts: rejectedReceipts.map((item) => ({ ...item })),
+        deliveryTurns,
+        acceptedReceipt: false
+      };
+    },
     facts(binding) {
       return noReceiptLifecycleFacts({ terminalToolCalled, rejectedReceipts: [...rejectedReceipts], deliveryTurns, ...binding });
     }
@@ -81,7 +89,6 @@ function createReceiptDeliveryPolicy() {
 }
 export {
   NO_RECEIPT_LIFECYCLE_ENTRY_TYPE,
-  RECEIPT_DELIVERY_PROMPT,
   RECEIPT_DELIVERY_TURN_LIMIT,
   createReceiptDeliveryPolicy,
   noReceiptLifecycleFacts,

package/dist/review-submission.js

@@ -1,13 +1,24 @@
-/** One shared terminating receipt contract for review officers (#1028). */
+/** One shared terminating receipt contract for review officers (#1028 / #1055). */
 import { Type } from "typebox";
-import { openToolObject } from "./open-tool-schema.js";
 import { withTerminatingOutputDeclarations } from "./package-contracts/terminating-infrastructure.js";
 export const REVIEW_SUBMISSION_OUTPUT_TOOL_NAME = "ak_submission_output";
-/** Open receipt: the queue reads only status; all other submitted fields ride unchanged. */
-export const reviewSubmissionSchema = withTerminatingOutputDeclarations(openToolObject(Type.Object({
-    status: Type.Optional(Type.Unknown({
-        description: "converged | continue | escalate — 非三态时请重读后重交，勿改标。",
-    })),
+/** Single schema copy of the review queue words. Runtime membership reads this set. */
+export const REVIEW_QUEUE_WORDS = ["converged", "continue", "escalate"];
+export const REVIEW_QUEUE_STATUSES = new Set(REVIEW_QUEUE_WORDS);
+/**
+ * One object root. Codex structured output rejects a root anyOf, and status
+ * stays a required three-state enum with no omitted-status failure branch.
+ * External-dependency failure while the seat can still submit:
+ * docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md
+ */
+export const reviewSubmissionSchema = withTerminatingOutputDeclarations(Type.Object({
+    status: Type.Union([
+        Type.Literal(REVIEW_QUEUE_WORDS[0]),
+        Type.Literal(REVIEW_QUEUE_WORDS[1]),
+        Type.Literal(REVIEW_QUEUE_WORDS[2]),
+    ], {
+        description: "审核席本轮裁决的判别状态。",
+    }),
     findings: Type.Optional(Type.Unknown({ description: "审核发现，原样留存" })),
     reason: Type.Optional(Type.Unknown({ description: "上呈理由" })),
     violations: Type.Optional(Type.Unknown({ description: "违规条目" })),
@@ -17,4 +28,4 @@ export const reviewSubmissionSchema = withTerminatingOutputDeclarations(openTool
     note: Type.Optional(Type.Unknown({ description: "裁决附注" })),
     evidence: Type.Optional(Type.Unknown({ description: "留存证据" })),
     decisionGate: Type.Optional(Type.Unknown({ description: "需人权威处置的问题与选项；可说明 question、options，原样留存" })),
-})));
+}, { additionalProperties: true }));

package/dist/submission-errors.js

@@ -50,6 +50,23 @@ export class WorkerUnfinishedReasonReminderError extends Error {
         this.name = "WorkerUnfinishedReasonReminderError";
     }
 }
+/**
+ * Host constraint missed a routing discriminator (#1055).
+ * Names live only in the submission schema. This notice carries the field and the received value.
+ */
+export function unreadableDiscriminatorNotice(field, received) {
+    if (received === undefined)
+        return `读不出 ${field}`;
+    return `读不出 ${field}：${readableGateItem(received)}`;
+}
+/** The received discriminator only — never the rest of the receipt. */
+export function receivedDiscriminator(receipt, field) {
+    if (receipt === null || typeof receipt !== "object" || Array.isArray(receipt))
+        return undefined;
+    if (!Object.hasOwn(receipt, field))
+        return undefined;
+    return receipt[field];
+}
 /**
  * Parent seat status unreadable for queueing (#753).
  * Correctable back to the parent itself — not a gate officer bounce, no officer field.

package/dist/submission-ledger.js

@@ -6,7 +6,8 @@ import { runIdFromRunDirectory } from "./run-terminal-artifacts.js";
 import { readSitianRecords, resolveSitianRecordPathInLedger, sitianReport } from "./sitian-facade.js";
 import { findRunDirectoryById } from "./public-cli/run-lifecycle.js";
 import { isCorrectableExecuteError } from "./submission-correctable-error.js";
-import { failOnInfrastructureFailureDeclaration } from "./package-contracts/terminating-infrastructure.js";
+import { failOnInfrastructureFailureDeclaration, infrastructureFailureDiagnostic } from "./package-contracts/terminating-infrastructure.js";
+import { REVIEW_SUBMISSION_OUTPUT_TOOL_NAME } from "./review-submission.js";
 /**
  * Admitted run identity for the ledger subject.
  * Prefer AK_ROLE_RUN_DIR via sole runDirectory→runId parser (public-CLI correlation);
@@ -480,11 +481,22 @@ export function createSubmissionLedgerHost(host, outputTools, failInfrastructure
                     });
                     let result;
                     try {
-                        failOnInfrastructureFailureDeclaration(params, {
-                            failInfrastructure(error, ctx) {
-                                failInfrastructure(error, ctx);
-                            },
-                        }, context, toolCallId, tool.bounceInfrastructureDeclaration);
+                        // A review escalate that carries the failure declaration is the
+                        // seat's own submission. Every other declaration stays on the
+                        // host-failure seam. Tool identity comes from the registry map.
+                        const reviewEscalate = tool.name === REVIEW_SUBMISSION_OUTPUT_TOOL_NAME
+                            && infrastructureFailureDiagnostic(params) !== undefined
+                            && params !== null
+                            && typeof params === "object"
+                            && !Array.isArray(params)
+                            && params.status === "escalate";
+                        if (!reviewEscalate) {
+                            failOnInfrastructureFailureDeclaration(params, {
+                                failInfrastructure(error, ctx) {
+                                    failInfrastructure(error, ctx);
+                                },
+                            }, context, toolCallId, tool.bounceInfrastructureDeclaration);
+                        }
                         result = await tool.execute(toolCallId, params, signal, update, context);
                     }
                     catch (error) {

package/docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md

@@ -0,0 +1,9 @@
+# 交卷 schema 不把格式当拒收权
+
+Status: accepted
+
+交卷工具 schema 保留字段声明与 description；非审核席维持零 required（含记账位）、顶层开放额外属性的原决定。审核席的判别字段 status 则为三态枚举且必填，没有省略 status 的失败例外。审核席仍能交卷、而完成审核所需的外部依赖发生真实基础设施失败时，status 取上呈值，失败细节写入既有 infrastructureFailure；这不是放行或封驳。执行或宿主已失败、审核席无法交卷时，仍由宿主如实失败终局。
+
+包侧收卷：审核席除判别字段外，其余字段不必填、不限制，允许额外属性；声明不是包侧校验授权，包不因格式拒收或判死；判别字段没填或读不出时只说读不出并附收到的值，不在重交提示里另写一套状态名。key 名字不必逐字相同，合不合格由审刑院按是否读得懂来判。
+
+宿主生成端：使用宿主原生能力；Codex strict 结构化输出要求根节点为 object、对象关闭额外属性，不能以该出口承诺模型可生成未声明字段。此项宿主缺口如实报告，不另造适配层或出口；生成端的限制不变成包侧拒收权。（#1055。三态枚举必填并撤销无 status 例外：源卷 e4b50c8e-15c7-4c92-9263-959efadb24eb.jsonl，owner uuid ddff7ae0-0b1e-44eb-b80c-96d2a3d3d239、0ddc3a4e-9a53-4565-b1cc-7ba3471d11e5、1707c6ec-ac17-4876-97d1-73b57c734259。根节点须为 object：[Structured Outputs](https://developers.openai.com/api/docs/guides/structured-outputs)）

package/extensions/role-runtime.ts

@@ -14,14 +14,12 @@ import type { Message } from "@earendil-works/pi-ai";
 import {
   registerNavigatorModelCommand,
   resolveNavigatorAuthorityMaterial,
-  type NavigatorTargetRole,
 } from "../src/navigator-attendance.ts";
 import { loadNavigatorWorkContext as loadHostNeutralNavigatorWorkContext } from "../src/navigator-work-context.ts";
 export { resolveNavigatorAuthorityMaterial };
 import { JUDGE_OUTPUT_TOOL_NAME } from "../src/package-contracts/judge-output.ts";
 import { readOAuthKeepaliveProviders } from "../src/oauth-keepalive.ts";
 import {
-  formatNavigatorRoleHelp,
   type RoleRuntimeDependencies,
 } from "../src/role-runtime.ts";
 import { createRoleRuntimeDependencies } from "../src/role-runtime-dependencies.ts";
@@ -31,31 +29,6 @@ if (process.env.AK_ROLE_PACKAGE_ROOT === undefined || process.env.AK_ROLE_PACKAG
   process.env.AK_ROLE_PACKAGE_ROOT = packageRoot;
 }
 
-// Cold `pi -e <extension> --help` must cover installed-package process startup under CI load.
-// This bound is process-startup budget only — not settlement-to-visible presentation latency.
-export const NAVIGATOR_LIVE_HELP_TIMEOUT_MS = 30_000;
-
-/**
- * Subprocess live help (disk-reread via fresh pi -e). Kept for cold-install proofs.
- * Production Navigator prepare must not call this on the post-role grace path — under
- * concurrent CI load each role's pi --help alone can exceed the accepted 3s grace.
- */
-export async function loadNavigatorRoleHelp(
-  pi: Pick<ExtensionAPI, "exec">,
-  extensionPath: string,
-  cwd: string,
-  role: NavigatorTargetRole,
-): Promise<string> {
-  const result = await pi.exec("pi", ["--no-extensions", "--no-skills", "--no-prompt-templates", "--no-themes", "--no-context-files", "-e", extensionPath, "--ak-role", role, "--help"], { cwd, timeout: NAVIGATOR_LIVE_HELP_TIMEOUT_MS });
-  if (result.killed) {
-    throw new Error(`live help unavailable for ${role}: process did not settle`, { cause: result });
-  }
-  if (result.code !== 0) throw new Error(`live help unavailable for ${role}: process exited with code ${result.code}`, { cause: result });
-  return result.stdout || result.stderr;
-}
-
-export { formatNavigatorRoleHelp as formatInProcessNavigatorRoleHelp };
-
 function projectJudgeTranscriptForAudit(messages: Message[]): Message[] {
   return messages.map((message) => {
     if (message.role !== "assistant") return message;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@akagilnc/pi-workflow-roles",
-  "version": "0.1.5068",
+  "version": "0.1.5096",
   "description": "Soul-bound workflow roles for Pi",
   "type": "module",
   "license": "Apache-2.0",
@@ -36,6 +36,7 @@
     "schemas",
     "packets",
     "resources",
+    "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md",
     "README.md",
     "LICENSE",
     "THIRD_PARTY_NOTICES.md",

package/resources/836-deleted-machine-instruction-inventory.md

@@ -13,8 +13,8 @@
 | `run-lifecycle.ts` A4.1 | `[ak-role:resume-continue]` | 生产码不再含此字面量。结算只跳过空轮与引擎指针续跑。 |
 | `run-lifecycle.ts` A4.2 | `重新读 <path>` | 前轮已删改写。 |
 | `submission-correctable-error.ts` A4.5 | `终局交卷并非本轮唯一工具调用。` | 删。Pi/ACP `deliverSubmissionRejection` 不再注入该句。 |
-| `role-runtime.ts` 催交 | `本会话尚无已接受的 typed 回执。` | **留**（轮次/预算，Q2）。 |
-| `navigator-attendance.ts` early prepare 开场 | `父衙门进行中。请在本宿主会话熟悉下列材料并待命；结算结果送达后，再给出下一步建议。本轮不要提交最终路线建议。` | #959 迁入 `resources/navigator-route-playbook.md`「到场阶段」；代码只留中立指针句「本轮为待命轮。」 |
-| `navigator-attendance.ts` settlement feed 开场 | `父衙门结算已送达。请根据下列材料给出下一步建议。` | #959 迁入同手册；代码只留中立指针句「本轮为结算投喂轮。」 |
+| `role-runtime.ts` 催交 | `本会话尚无已接受的 typed 回执。` | #1021 改为递当前 typed delivery 事实，不写催交句。 |
+| `navigator-attendance.ts` early prepare 开场 | `父衙门进行中。请在本宿主会话熟悉下列材料并待命；结算结果送达后，再给出下一步建议。本轮不要提交最终路线建议。` | #959 迁入 `resources/navigator-route-playbook.md`「到场阶段」。#1021 删掉代码指针句「本轮为待命轮。」：待命不调模型，只记到场。 |
+| `navigator-attendance.ts` settlement feed 开场 | `父衙门结算已送达。请根据下列材料给出下一步建议。` | #959 迁入同手册。#1021 删掉代码指针句「本轮为结算投喂轮。」：结算轮只递当前 typed 三态及指针。 |
 
 催交句与 2.1–2.3 打回文、重问三句不在删除列。

package/resources/collector-bot-handbook.md

@@ -27,6 +27,10 @@
 - 官方：https://prod.cursor.com/help/ai-features/bugbot 与 automations 文档
 - 内置 Bugbot 与同账号自定义任务须区分；某任务额度耗尽不推断其他任务失效
 
+## 工序
+
+判定任务材料后绑定本仓唯一 PR（prNumber，或由 issueNumber 解析到唯一 PR）。已有显式 PR 绑定时不必再绑。多义或无法确定时不猜，交给调用方明确目标。未绑定前不观察。观察把证据存成不可变快照；上下文里的正文只到头部，其余按 evidenceId 开卷。请求发在所引最新快照 HEAD 上；清单外的 requestId 要带上正文。交卷交 findings 指针，不把模板通知当成 finding；没有 finding 就不要编一条。未完成写现场原因，不写成没问题。
+
 ## 修正规则
 
 - 优先引用官方文档；现场差异记入仓库差异条并附 PR/证据指针

package/resources/navigator-route-playbook.md

@@ -1,11 +1,9 @@
-## 到场阶段（#959 / ADR 0073）
+## 到场阶段（#959 / ADR 0073 / #1021）
 
-代码只传中立阶段指针句与 typed 材料；阶段行为说明住本手册，随案附卷。
+阶段行为说明住本手册。代码不写阶段句，也不把本手册再拼进用户消息。
 
-- **待命轮**：父衙门进行中。请在本宿主会话熟悉下列材料并待命；结算结果送达后，再给出下一步建议。本轮不要提交最终路线建议。
-- **结算投喂轮**：父衙门结算已送达。请根据下列材料给出下一步建议。
-
-Early 待命轮的输出由执行机制丢弃；最终路线建议只在结算投喂轮给出。
+- **待命**：父衙门进行中时，代码只记到场，不调用模型。这一轮没有输出。
+- **结算**：父衙门结算送达后，用户消息只有该次 typed 三态及指针。Soul 与本手册已在系统提示里。根据这份结算和本手册给出下一步建议。
 
 ## 宿主轴（与角色命令面）
 

package/scripts/build-package.mjs

@@ -15,6 +15,10 @@ const entries = [
   // (#590: published non-bundle graph must stay closed under its own relative edges).
   "navigator-public-session",
   "navigator-session-contracts",
+  // Static import of navigator-attendance and navigator-public-session.
+  "navigator-work-base",
+  // Static import of navigator-work-base.
+  "atomic-write",
   "public-role-summons",
   "pi/in-process-session",
   "activation-ledger-git",

package/souls/coder-output-guide.md

@@ -2,4 +2,5 @@
 
 提交：标题冠 ak-roles: 在最前；forward commit，严禁 amend——改错就再提交一笔，不改历史。
 交卷回执：改动清单与票面逐项对得上；验证证据附命令与结果原文。
+completed 回执含四项证据：TDD、同模式、引入回归、行为事实。
 新造通用件：回执写明仓内、语言标准库、包生态各搜了什么、为什么不用。

package/src/auditor-soul.ts

@@ -46,8 +46,9 @@ export const AUDITOR_SESSION_MATERIALS = {
     "souls/judge-auditor.md",
     "souls/audit-law.md",
     "souls/quality-law.md",
+    "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md",
   ],
-  doctor: ["CLAUDE.md", "souls/doctor-auditor.md"],
+  doctor: ["CLAUDE.md", "souls/doctor-auditor.md", "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"],
 } as const satisfies Record<
   AuditorSoulRole,
   readonly [string, string, ...(readonly string[])]

package/src/collector-role.ts

@@ -351,8 +351,7 @@ export function createCollectorRoleRuntime(
       pi.registerTool({
         name: COLLECTOR_BIND_TARGET_TOOL,
         label: "通进司认票绑定",
-        description:
-          "角色判定任务材料后绑定本仓唯一 PR 目标。可提交 prNumber 或 issueNumber（线上关联唯一 PR）；显式 --pr 已绑定时无需再调。多义或无法确定时会正确驳回，要求调用方明确 --pr。",
+        description: "绑定本仓唯一 PR 目标。",
         promptSnippet: "绑定角色判定的 issue/PR 目标",
         parameters: bindSchema,
         async execute(toolCallId: string, params: BindParams, _signal: AbortSignal | undefined, _onUpdate: unknown, ctx: HostContext) {
@@ -433,7 +432,7 @@ export function createCollectorRoleRuntime(
       pi.registerTool({
         name: COLLECTOR_OBSERVE_TOOL,
         label: "通进司观察",
-        description: "抓取配置目标的完整 GitHub PR 证据，存不可变快照入卷。正文在上下文中只给头部摘录加指针；需要头部之外的正文时，用 ak_collector_read 按 evidenceId 开卷；findings 的拆分与归类由你在交件时完成。目标未绑定前须先 ak_collector_bind_target。",
+        description: "抓取配置目标的 GitHub PR 证据。",
         promptSnippet: "抓取配置目标 PR 证据",
         parameters: observeSchema,
         async execute(toolCallId: string, _params: unknown, signal: AbortSignal | undefined, _onUpdate: unknown, ctx: HostContext) {
@@ -464,7 +463,7 @@ export function createCollectorRoleRuntime(
       pi.registerTool({
         name: COLLECTOR_READ_TOOL,
         label: "通进司开卷",
-        description: "按 evidenceId 开卷读取一条已观测材料的全量正文与指针；只在观察头部摘录不足以判读时调用。",
+        description: "按 evidenceId 开卷读取一条已观测材料的全量正文与指针。",
         promptSnippet: "按指针开卷读材料",
         parameters: readSchema,
         async execute(toolCallId: string, params: ReadParams, _signal: AbortSignal | undefined, _onUpdate: unknown, ctx: HostContext) {
@@ -499,7 +498,7 @@ export function createCollectorRoleRuntime(
       pi.registerTool({
         name: COLLECTOR_REQUEST_TOOL,
         label: "通进司请求",
-        description: "在所引最新快照 HEAD 发一次请求。requestId 可取配置清单，或角色依手册/现场判定的稳定 id；后者须同时提供 body。",
+        description: "发一次请求。",
         promptSnippet: "发一次评审请求",
         parameters: requestSchema,
         async execute(toolCallId: string, params: RequestParams, signal: AbortSignal | undefined, _onUpdate: unknown, ctx: HostContext) {
@@ -625,7 +624,7 @@ export function createCollectorRoleRuntime(
       pi.registerTool({
         name: COLLECTOR_WAIT_TOOL,
         label: "通进司等待",
-        description: "再观察前等待；实际睡眠不超过剩余等待窗。",
+        description: "等待。实际睡眠不超过剩余等待窗。",
         promptSnippet: "等待窗内等待",
         parameters: waitSchema,
         async execute(toolCallId: string, params: WaitParams, signal: AbortSignal | undefined, _onUpdate: unknown, ctx: HostContext) {
@@ -656,7 +655,7 @@ export function createCollectorRoleRuntime(
       pi.registerTool({
         name: COLLECTOR_OUTPUT_TOOL,
         label: "通进司输出",
-        description: "观察完成后提交原交卷。正常完工提交空对象 {}（如需报 finding，填 findings 指针数组）；仅在基础设施真实失败时才可填 infrastructureFailure，无失败时必须省略该字段。",
+        description: "提交通进司回执。",
         promptSnippet: "提交通进司回执",
         parameters: outputSchema,
         async execute(toolCallId: string, params: OutputParams, _signal: AbortSignal | undefined, _onUpdate: unknown, ctx: HostContext) {

package/src/collector-tool-schemas.ts

@@ -66,10 +66,10 @@ export const collectorOpenWaitWindowArgsSchema = Type.Object({
  */
 export const collectorBindTargetArgsSchema = Type.Object({
   prNumber: Type.Optional(Type.Unknown({
-    description: "角色判定的本仓 PR 号（正整数）。与 issueNumber 二选一或同指唯一目标。形状指引，非 schema 闸。",
+    description: "本仓 PR 号（正整数）。",
   })),
   issueNumber: Type.Optional(Type.Unknown({
-    description: "角色判定的本仓 issue 号（正整数）；runtime 经线上关联解析唯一 PR。形状指引，非 schema 闸。",
+    description: "本仓 issue 号（正整数）。",
   })),
 }, { additionalProperties: true });
 
@@ -96,7 +96,7 @@ const collectorFindingItemDeclaration = (() => {
     {
       additionalProperties: true,
       description:
-        "单条 finding 指针：evidenceId + 可选 category/summary。形状指引，非 schema 闸。",
+        "单条 finding 指针：evidenceId，以及可选 category、summary。",
     },
   );
   (item as unknown as { required: string[] }).required = [];
@@ -113,12 +113,12 @@ export const collectorOutputBaseSchema = openToolObject(
     // Nested item declarations ride `items` for registration preservation (ADR 0057).
     findings: Type.Unsafe({
       description:
-        "本次收集到的逐条 findings（指针数组为规范形）。零 finding 的模板通知不得进入；正常完工无 finding 时省略。形状指引，非 schema 闸。",
+        "本次收集到的逐条 findings 指针。",
       items: collectorFindingItemDeclaration,
     }),
     unfinishedReasons: Type.Unknown({
       description:
-        "未完成原因字符串数组（额度/故障/等待届满等现场依据）；不得把未完成表述为无问题。无可报告时省略。形状指引，非 schema 闸。",
+        "未完成原因。",
     }),
   }),
 );

package/src/compliance-transport.ts

@@ -4,7 +4,8 @@ import { auditorRunDirectory } from "./auditor-dossier-tool.ts";
 import type { HostContext } from "./host-contracts.ts";
 import type { NoReceiptLifecycleFacts } from "./receipt-delivery-policy.ts";
 import type { PublicSummonResult } from "./public-role-summons.ts";
-import { OFFICER_CONCLUSION_REASK } from "./gatekeeper-role.ts";
+import { officerConclusionReask } from "./gatekeeper-role.ts";
+import { receivedDiscriminator } from "./submission-errors.ts";
 import { coalesceSubmissionRows } from "./public-cli/terminal.ts";
 import { readableGateItem } from "./readable-gate-item.ts";
 
@@ -226,7 +227,7 @@ export async function runComplianceAudit(options: RunComplianceAuditOptions): Pr
     const summoned = await summon(subject, runDirectory, options.signal, reask, submission);
     const decision = await projectAuditorTerminal(summoned);
     if (decision.status === "received") {
-      reask = OFFICER_CONCLUSION_REASK;
+      reask = officerConclusionReask(receivedDiscriminator(decision.reply, "status"));
       continue;
     }
     return decision;

package/src/countersign-contracts.ts

@@ -5,7 +5,7 @@
  * is defaulted, rewritten, or dropped (ADR 0055).
  */
 
-import { REVIEW_SUBMISSION_OUTPUT_TOOL_NAME } from "./review-submission.ts";
+import { REVIEW_QUEUE_STATUSES, REVIEW_SUBMISSION_OUTPUT_TOOL_NAME } from "./review-submission.ts";
 
 export const COUNTERSIGN_OUTPUT_TOOL_NAME = REVIEW_SUBMISSION_OUTPUT_TOOL_NAME;
 
@@ -37,7 +37,7 @@ export function validateRecordedCountersignOutput(verdict: unknown): Countersign
   if (typeof status !== "string") {
     throw new Error("Countersign verdict has no execution discriminator");
   }
-  if (["converged", "continue", "escalate"].includes(status)) {
+  if (REVIEW_QUEUE_STATUSES.has(status)) {
     return verdict as CountersignVerdict;
   }
   throw new Error("Countersign verdict has no execution discriminator");

package/src/countersign-role.ts

@@ -11,13 +11,9 @@ export type { CountersignVerdict };
 // #836 r16 class 1: fix/note/decisionGate are LLM/human-read narrative content —
 // no code branches on their length or nested presence. `status` alone is the
 // machine discriminator the queue reads.
-// #836 (2026-09-11 御批 / ADR 0003 Amendment): registered-to-provider closed
-// value domains reject an unknown status before the submission
-// ledger ever records it, defeating 读不出三态→resume 说话者本人. Kept open
-// (Type.Unknown) like every other gate-queue status field in this package
-// (notary/auditor/gatekeeper/navigator); src/role-runtime.ts:997-1025 still
-// 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.
+// #1055: the three-state field is an enum+required host generation constraint
+// on reviewSubmissionSchema. Package execute still does not reject; an unreadable
+// value reasks the countersign itself with the received value.
 /** 给事中票庭审读五问的交卷形状（ADR 0074）；形状指引，非 schema 闸。 */
 export const countersignVerdictSchema = reviewSubmissionSchema;
 export type CountersignVerdictParameters = import("./review-submission.ts").ReviewSubmission;

package/src/diarist-role.ts

@@ -16,14 +16,14 @@ export type { DiaristOutput };
 export { validateRecordedDiaristOutput };
 
 /**
- * 起居郎交卷形状；形状指引，非 schema 闸。
+ * 起居郎交卷形状。
  * #901：交边界（sessions）；正文与不可解析原字节由机械投影。
  */
 export const diaristOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       status: Type.Unknown({
-        description: "completed | escalate — 形状指引，非 schema 闸",
+        description: "completed | escalate",
       }),
       ticketNumber: Type.Optional(
         Type.Unknown({

package/src/doctor-contracts.ts

@@ -73,7 +73,7 @@ const caseIdentity = Type.Object({ issueNumber: Type.Optional(Type.Integer()), r
 // (src/countersign-role.ts) — one shared description across both variants
 // so openToolObjectFromUnion's identical-declaration collapse drops none of it.
 const DOCTOR_STATUS_DESCRIPTION =
-  "completed | refused — 形状指引，非 schema 闸；completed 允许空 findings；refused 仅当证据不足以支撑如实案证词" as const;
+  "completed | refused。completed 允许空 findings；refused 仅当证据不足以支撑如实案证词" as const;
 const doctorSubmissionVariants = Type.Union([
   Type.Object({
     status: Type.Unknown({ description: DOCTOR_STATUS_DESCRIPTION }),

package/src/gatekeeper-role.ts

@@ -4,12 +4,11 @@ import type { HostContext } from "./host-contracts.ts";
 import { auditorRunDirectory } from "./auditor-dossier-tool.ts";
 import { packagedGateStageLabel } from "./packaged-role-registry.ts";
 import type { NoReceiptLifecycleFacts } from "./receipt-delivery-policy.ts";
-import { GatekeeperDecisionError } from "./submission-errors.ts";
+import { GatekeeperDecisionError, receivedDiscriminator, unreadableDiscriminatorNotice } from "./submission-errors.ts";
 import { INSPECTOR_OUTPUT_TOOL_NAME } from "./inspector-contracts.ts";
-import { REVIEW_SUBMISSION_OUTPUT_TOOL_NAME } from "./review-submission.ts";
+import { REVIEW_QUEUE_STATUSES, REVIEW_SUBMISSION_OUTPUT_TOOL_NAME } from "./review-submission.ts";
 import {
   GATEKEEPER_OUTPUT_TOOL_NAME,
-  gatekeeperDecisionSchema,
   gatekeeperOutputSchema,
 } from "./package-contracts/gatekeeper-output.ts";
 import type { PublicSummonResult } from "./public-role-summons.ts";
@@ -66,6 +65,8 @@ export type GatekeeperResult =
       readonly status: "needs_reask";
       readonly officer: GateOfficer;
       readonly receipt: unknown;
+      /** Discriminator the queue already read. Not written back onto the receipt. */
+      readonly receivedStatus?: unknown;
       readonly runId?: string;
     }
   | { readonly status: "no_receipt"; readonly stage: GateOfficer; readonly reason: string; readonly facts: NoReceiptLifecycleFacts }
@@ -159,7 +160,7 @@ export type SubmissionGateHostActions = {
 export const GATEKEEPER_TOOL_SPEC = {
   name: GATEKEEPER_OUTPUT_TOOL_NAME,
   label: "门下省决议",
-  description: "门下省终局决议，状态为 dispatch 或 pass。",
+  description: "门下省终局决议。status 为 dispatch 或 pass。",
   promptSnippet: "门下省决议",
   parameters: gatekeeperOutputSchema,
 } as const;
@@ -168,22 +169,6 @@ export type GatekeeperRuntimeDependencies = {
   loadSoul(): Promise<string>;
 };
 
-function result(content: string, details: unknown) {
-  return { content: [{ type: "text" as const, text: content }], details };
-}
-
-/** Gatekeeper province decision tool — open transport; package-contract projection owns legality. */
-export function createGatekeeperOutputTool() {
-  return {
-    name: GATEKEEPER_OUTPUT_TOOL_NAME,
-    description: "提交门下省派官决定。",
-    parameters: gatekeeperDecisionSchema,
-    async execute(_id: string, args: unknown) {
-      return result(`已收 ${String((args as { status?: unknown })?.status)}`, args);
-    },
-  };
-}
-
 function failureReason(error: unknown): string {
   if (error instanceof AggregateError) return error.errors.map(failureReason).join("; ");
   return error instanceof Error ? `${error.name}: ${error.message}` : String(error);
@@ -210,12 +195,9 @@ function readRecord(value: unknown): Record<string, unknown> | undefined {
  * `fallbackStatus` is the terminal outcome.status when the receipt body has no status key
  * (keeps missing-args sentinel intact as the receipt).
  */
-/** Map the shared review verdict onto the gate queue words (#1028). */
+/** Map the shared review verdict onto the gate queue words (#1028 / #1055). */
 function reviewQueueStatus(status: string): string | undefined {
-  if (status === "converged") return "converged";
-  if (status === "continue") return "continue";
-  if (status === "escalate") return "escalate";
-  return undefined;
+  return REVIEW_QUEUE_STATUSES.has(status) ? status : undefined;
 }
 
 function projectOfficerDecision(
@@ -235,7 +217,7 @@ function projectOfficerDecision(
   if (queueStatus === "continue" || queueStatus === "escalate") {
     return { status: queueStatus, officer, receipt };
   }
-  return { status: "needs_reask", officer, receipt };
+  return { status: "needs_reask", officer, receipt, receivedStatus: status };
 }
 
 /**
@@ -371,12 +353,14 @@ function projectOfficerTerminal(
       summoned,
     );
   }
+  const receipt = thisCourt.length > 0 ? thisCourt[thisCourt.length - 1] : retainedReceipt(outcome);
   return withOfficerRunId(
     {
       status: "needs_reask",
       officer,
       // This-court receipt only (#879).
-      receipt: thisCourt.length > 0 ? thisCourt[thisCourt.length - 1] : retainedReceipt(outcome),
+      receipt,
+      receivedStatus: receivedDiscriminator(receipt, "status"),
     },
     summoned,
   );
@@ -391,16 +375,11 @@ export type GatekeeperProjection = {
 };
 
 /**
- * Plain-language re-ask when the officer conclusion is not converged|continue|escalate.
- * Not a packaged engine handbook line (#755 exception for 读不出三态).
- * Every review officer uses the same `status` field and three queue words (#1028).
+ * Officer conclusion was missing or not a queue word (#1055).
+ * `received` is the status value only, not the rest of the receipt.
  */
-export const OFFICER_CONCLUSION_REASK =
-  "上次交卷的 status 不是 converged、continue、escalate 三态之一。请重新输出，status 写明其一；continue 或 escalate 的话就是给对方看的原文。" as const;
-
-/** Pick the re-ask line for the officer under review. */
-export function officerConclusionReask(officer: GateOfficer): string {
-  return OFFICER_CONCLUSION_REASK;
+export function officerConclusionReask(received: unknown): string {
+  return unreadableDiscriminatorNotice("status", received);
 }
 
 /**

package/src/gleaner-left-role.ts

@@ -17,12 +17,12 @@ export { validateRecordedGleanerLeftOutput };
 
 // #836 r16 class 1: pointer/statement are LLM/human-read narrative content — no
 // code branches on their presence.
-/** 左拾遗弹章交卷形状；形状指引，非 schema 闸。 */
+/** 左拾遗弹章交卷形状。 */
 export const gleanerLeftOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       status: Type.Unknown({
-        description: "completed — 形状指引，非 schema 闸",
+        description: "completed",
       }),
       findings: Type.Array(
         Type.Object(