@akagilnc/pi-workflow-roles 0.1.5946 → 0.1.5955

package/src/diarist-contracts.ts

@@ -31,10 +31,10 @@ export type DiaristOutput =
       readonly ticketNumber?: number | null;
       /**
        * Dialogue bounds: one entry per session volume, each with one or more ranges.
-       * Empty / absent = lawful empty selection (no dialogue this turn).
+       * Empty / null / absent = lawful empty selection (no dialogue this turn).
        * Malformed endpoints → accept hook reasks (`reask-not-explode`).
        */
-      readonly sessions?: readonly TicketProvenanceSession[];
+      readonly sessions?: readonly TicketProvenanceSession[] | null;
       /** Per-ticket dialogue bounds for a single multi-ticket summons (#1107). */
       readonly ticketSessions?: readonly {
         readonly ticketNumber: number;
@@ -65,13 +65,13 @@ export function validateRecordedDiaristOutput(value: unknown): DiaristOutput {
 
 /**
  * Project sessions from a completed diarist payload.
- * Absent key → empty (lawful). Present but unusable → undefined (caller reasks).
+ * Null / absent key → empty (lawful). Non-null but unusable → undefined (caller reasks).
  */
 export function projectDiaristSessions(
   value: unknown,
 ): readonly TicketProvenanceSession[] | undefined {
   const raw = (value as { sessions?: unknown } | null)?.sessions;
-  if (raw === undefined) return [];
+  if (raw == null) return [];
   return projectTicketProvenanceSessions(raw);
 }
 
@@ -115,15 +115,17 @@ export const diaristOutputSchema = withTerminatingOutputDeclarations(
       ticketNumber: Type.Optional(
         Type.Unknown({
           description:
-            "本庭对象票号（正整数）或 null/省略＝真无票；下游走 typed 键；认不出用 status=escalate，不洗成无录。机械层不重判。",
+            "仅有本庭对象时填票号（正整数）；没有就填 null＝真无票；下游走 typed 键；认不出用 status=escalate，不洗成无录。机械层不重判。",
         }),
       ),
       reason: Type.Unknown({
-        description: "status 为 escalate 时：上呈的原因",
+        description: "仅 status 为 escalate 时填上呈的原因；没有就填 null",
       }),
-      sessions: Type.Optional(Type.Unknown({ description: DIARIST_SESSIONS_DESCRIPTION })),
+      sessions: Type.Optional(Type.Unknown({
+        description: `仅单票庭时填对话边界；没有就填 null。${DIARIST_SESSIONS_DESCRIPTION}`,
+      })),
       ticketSessions: Type.Unknown({
-        description: `多票庭逐票对话边界；每票含 ticketNumber（本条边界所归票号，正整数）与 sessions（${DIARIST_SESSIONS_DESCRIPTION}）。一次交卷各票各自分录。与单票 sessions 二选一。`,
+        description: `仅多票庭时填逐票对话边界；没有就填 null。每票含 ticketNumber（本条边界所归票号，正整数）与 sessions（${DIARIST_SESSIONS_DESCRIPTION}）。一次交卷各票各自分录。`,
       }),
     }),
   ),

package/src/doctor-contracts.ts

@@ -72,7 +72,7 @@ const doctorSubmissionObject = Type.Object({
       `逐条资产观察与处方，原样留存。一条可含 targetKey、targetKind（${DOCTOR_TARGET_KINDS.join(" | ")}）、observation、evidenceIds、disposition（${DOCTOR_DISPOSITIONS.join(" | ")}）、assetEvidence（targetKey、targetKind、evidenceId）、guardrails（reproducibleFailure、owningSeamOrInvariant、deletionOrSimplificationSuffices，各项可含 answer、evidenceIds、explanation）、prescription（kind 为 ${DOCTOR_PRESCRIPTION_KINDS.join(" | ")}，另可写 recommendation、necessityExplanation）、lastRealBite（kind 为 ${DOCTOR_BITE_KINDS.join(" | ")}，另可写 targetKey、evidenceId、eligibleEvidenceIds）。不要求任何处方或可复用 finding；缺可复用资产或 bounded-bite 证据只排除对应资产处方。机器不核验。`,
   }),
   reason: Type.Unknown({
-    description: "证据不足以支撑如实证词的原因；仅 refused 时用。",
+    description: "仅 refused 时填证据不足以支撑如实证词的原因；没有就填 null",
   }),
   missingEvidence: Type.Unknown({
     description: "如实证词所需而尚缺的证据，原样留存（如每项 need、targetKeys）。",

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

@@ -34,7 +34,7 @@ const fixerOutputObject = Type.Object({
   diffItems: diffItemsField,
   testEvidence: Type.Unknown({
     description:
-      "测试证据条；diff 含测试改动时提交；机器不核验。可写 contract（测试改动所证明的契约）、minimumNecessaryCost（测试改动的一行最小必要成本）、measuredDuration（聚焦验证实测时长）。",
+      "仅 diff 含测试改动时填测试证据条；没有就填 null。机器不核验。可写 contract（测试改动所证明的契约）、minimumNecessaryCost（测试改动的一行最小必要成本）、measuredDuration（聚焦验证实测时长）。",
   }),
 });
 

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

@@ -19,10 +19,10 @@ export const gatekeeperDecisionSchema = openToolObject(
       description: "dispatch | pass",
     }),
     officer: Type.Unknown({
-      description: "status 为 dispatch 时为 inspector | notary",
+      description: "仅 status 为 dispatch 时填 inspector | notary；没有就填 null",
     }),
     findings: Type.Unknown({
-      description: "status 为 pass 时可选 string[] findings",
+      description: "仅 status 为 pass 时填 string[] findings；没有就填 null",
     }),
   }),
 );

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

@@ -19,7 +19,7 @@ export const NAVIGATOR_OUTPUT_TOOL_NAME = "ak_navigator_output";
  */
 export const navigatorAdviceFields = {
   prose: Type.Unknown({
-    description: "单条散文建议。无状态分叉时使用；原样呈现。",
+    description: "仅无状态分叉时填单条散文建议；没有就填 null。原样呈现。",
   }),
   byStatus: Type.Unknown({
     description:
@@ -28,7 +28,7 @@ export const navigatorAdviceFields = {
   }),
   byRole: Type.Unknown({
     description:
-      "整张路线表：键为衙门角色，值为该衙门 status → 建议。直接入口不给角色时使用。",
+      "仅直接入口不给角色时填整张路线表（键为衙门角色，值为该衙门 status → 建议）；没有就填 null",
   }),
 } as const;
 

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

@@ -8,7 +8,7 @@ import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.
 export const REVIEWER_OUTPUT_TOOL_NAME = "ak_reviewer_output";
 
 const REVIEWER_AMENDMENTS_DESCRIPTION =
-  "已运行 lens 的 amendments 承载 candidates、逐条处置与 verdict 的完整报告（非仅 verdict 行）；显式单轴时另一轴可省略（completeness / correctness）。hard-stop／usage error 为 refused 时，已产出报告仍照录对应 lens 字段。" as const;
+  "已运行 lens 的 amendments 承载 candidates、逐条处置与 verdict 的完整报告（非仅 verdict 行）；各轴（completeness / correctness）仅有已产出报告时填报告；没有就填 null。hard-stop／usage error 为 refused 时，已产出报告仍照录对应 lens 字段。" as const;
 // #1134: `status` alone is the trajectory field (#917 §6 two normal lens verdicts →
 // completed; hard-stop / usage error → refused); its words ride the description.
 // amendments/diagnostic are LLM/human-read narrative content returned as

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

@@ -2,8 +2,9 @@
  * Package-owned shared infrastructure-failure declaration for every primary
  * packaged-role output tool (#541 / #1214 A2).
  *
- * One module owns the typed `infrastructureFailure.diagnostic` declaration
- * composed into each output tool's schema. The field is part of the role's
+ * One module owns the infrastructureFailure declaration composed into each
+ * output tool's schema. Name and semantic description only — no object type, so
+ * a null fill is not a shape rejection (#1134). The field is part of the role's
  * original receipt: ledger records it as-is. Declaration alone does not abort
  * the host (#1214 A2). True host/lifecycle failure still fails honestly on its
  * own channel.
@@ -12,34 +13,11 @@ import { Type, type TSchema } from "typebox";
 
 export const INFRASTRUCTURE_FAILURE_DECLARATION_KEY =
   "infrastructureFailure" as const;
-export const INFRASTRUCTURE_FAILURE_DIAGNOSTIC_KEY = "diagnostic" as const;
 
-/**
- * Shared declaration fragment for model guidance (#541 / #676 C / ADR 0057).
- * Nested field declarations + descriptions only — host must not pure-shape-reject
- * the envelope (仓内 CLAUDE.md 开篇). No required/minLength/type host gates on
- * the declaration fragment.
- */
-const infrastructureFailureNested = Type.Object(
-  {
-    [INFRASTRUCTURE_FAILURE_DIAGNOSTIC_KEY]: Type.Unknown({
-      description: "基础设施失败诊断字符串。",
-    }),
-  },
-  {
-    additionalProperties: true,
-    description: "仅基础设施真实失败时出现。",
-  },
-);
-// Open nested required so host cannot pure-shape-reject the declaration fragment.
-(infrastructureFailureNested as unknown as { required: string[] }).required = [];
-
-const infrastructureFailureDeclarationSchema = Type.Object(
-  {
-    [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureNested,
-  },
-  { additionalProperties: true },
-);
+/** Name + semantic description. diagnostic's meaning lives in the description. */
+const infrastructureFailureField = Type.Unknown({
+  description: "仅基础设施真实失败时填 {diagnostic}；没有就填 null",
+});
 
 /**
  * Compose declarations shared by terminating output tools: infrastructure failure,
@@ -62,7 +40,7 @@ export function withTerminatingOutputDeclarations<
         ? {
             ticketNumber: Type.Unknown({
               description:
-                "可选本票号。尚未绑定时由角色在既有回执中申报（正整数、数字串或前导 #N；归位只读本字段）。",
+                "仅尚未绑定时填本票号（正整数、数字串或前导 #N；归位只读本字段）；没有就填 null",
             }),
           }
         : {}
@@ -72,15 +50,12 @@ export function withTerminatingOutputDeclarations<
         ? {
             summary: Type.Unknown({
               description:
-                "本席自行填写的一两句、20–50 字结论摘要。可选；不因缺失或超长拒收、截断或代填。",
+                "仅本席有结论时填一两句、20–50 字结论摘要；没有就填 null。不因缺失或超长拒收、截断或代填。",
             }),
           }
         : {}
     ),
-    [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]:
-      infrastructureFailureDeclarationSchema.properties[
-        INFRASTRUCTURE_FAILURE_DECLARATION_KEY
-      ],
+    [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureField,
   };
   const object = Type.Object(properties, { additionalProperties: true });
   const incoming = (schema as { required?: unknown }).required;

package/src/review-submission.ts

@@ -27,7 +27,7 @@ const reviewNarrativeFields = {
   reason: Type.Optional(Type.Unknown({ description: "上呈理由" })),
   violations: Type.Optional(Type.Unknown({ description: "违规条目" })),
   conflicts: Type.Optional(Type.Unknown({ description: "待决冲突" })),
-  fix: Type.Optional(Type.Unknown({ description: "continue 时的补救说明；可写 summary 摘要，其余内容原样留存" })),
+  fix: Type.Optional(Type.Unknown({ description: "仅 continue 时填补救说明（可写 summary 摘要，其余内容原样留存）；没有就填 null" })),
   classes: Type.Optional(Type.Unknown({ description: "已裁决 finding 类；可说明 name、owner、boundary、disposition，原样留存" })),
   note: Type.Optional(Type.Unknown({ description: "裁决附注" })),
   evidence: Type.Optional(Type.Unknown({ description: "留存证据" })),

package/src/session-dialogue.ts

@@ -6,7 +6,8 @@ import { isRecord } from "./unknown-value.ts";
  * 排除按来源、不按正文：说话人自己写下的文字一律原样保留，其中引用了 ADR 段落
  * 或工具结果也不删（#901 Out of Scope「不做正文过滤」）。
  *
- * 不入录的是工具结果载荷、附件记录与注入块——它们是独立的机器事件，不是谁说的话。
+ * 不入录的是工具结果载荷、入队行、请求快照与注入块。附件记录同样不入录，
+ * 只有 `queued_command` 例外：它是被吸收插话的带 uuid 说话记录（#1260）。
  *
  * 适配规则按宿主并列，不硬套某一宿主的类型名；一行产出 0..n 条对话事实。
  */
@@ -107,25 +108,12 @@ function isCodexOwnerResponseItemUser(message: Record<string, unknown>): boolean
   return kinds.some((kind) => kind.startsWith("user."));
 }
 
-/**
- * 入队事件适配：人类这次输入经队列的来源。
- * 被吸收的插话靠入队事件入录（无独立消息记录，#901 用户故事 11）。
- * 机器入队由整卷适配层排除（#918）；本函数不读正文、不自判机器。
- */
-function fromQueueEvent(row: Record<string, unknown>): DialogueEvent[] {
-  if (row.type !== "queue-operation" || row.operation !== "enqueue") return [];
-  const content = row.content;
-  if (typeof content !== "string" || content === "") return [];
-  const id = nativeEventId(row);
-  return [{ speaker: "owner", text: content, ...(id === undefined ? {} : { id }) }];
-}
-
 /**
  * 票面 #918 准许的唯一固定起始形状：`<task-notification`。
  * 其它标签不在御裁射程内——不得扩表，不得伪造 decision key / 「陛下拍定」。
  * 开标签后可直接 `>`（无属性）、EOF 或空白再接属性；其它字符不成立。
  *
- * 机器 enqueue 的完整判据＝结构化来源（origin.kind）／本固定形状／真实因果与位置；
+ * 无 origin 的 `queued_command` 只靠本固定形状排除；不得扩表。
  * 用可变载荷正文（全等或子串）做 identity join 仍为锚定宪法所禁。
  */
 const TASK_NOTIFICATION_OPEN_TAG = "<task-notification";
@@ -143,9 +131,20 @@ function hasFixedOpenTagPrefix(content: string, tag: string): boolean {
   );
 }
 
-/** enqueue.content 是否以票面准许的 `<task-notification` 固定开标签起头。 */
-function isFixedNonOwnerEnqueueShape(content: string): boolean {
-  return hasFixedOpenTagPrefix(content, TASK_NOTIFICATION_OPEN_TAG);
+/**
+ * 被吸收的中途插话取 `queued_command` 附件原文（#1260）。
+ * 来源按附件 `origin.kind` 判；缺 origin 就当真人，只排除固定开头。
+ * 入队行不再是来源，本函数不读入队行、不做正文比对。
+ */
+function fromQueuedCommandAttachment(row: Record<string, unknown>): DialogueEvent[] {
+  if (!isRecord(row.attachment) || row.attachment.type !== "queued_command") return [];
+  const kind = materializationOriginKind(row.attachment);
+  if (isNonOwnerOriginKind(kind)) return [];
+  const text = textParts(row.attachment.prompt).join("");
+  if (text === "") return [];
+  if (kind === undefined && hasFixedOpenTagPrefix(text, TASK_NOTIFICATION_OPEN_TAG)) return [];
+  const id = nativeEventId(row);
+  return [{ speaker: "owner", text, ...(id === undefined ? {} : { id }) }];
 }
 
 /**
@@ -172,7 +171,7 @@ function isNonOwnerOriginKind(kind: string | undefined): boolean {
 }
 
 /**
- * 消息事件适配：助手回话，以及未经入队事件记录的人类输入。
+ * 消息事件适配：助手回话，以及 `type=user` 的人类输入。
  * 思考块、工具调用块、工具结果块按块排除；同消息的说话人 text 保留
  * （#901 排除按来源不按正文；混合块不得整条丢弃）。
  * Codex response_item user：仅 `content_item_kinds` 含 `user.*` 时入录。
@@ -199,27 +198,19 @@ function fromMessageEvent(row: Record<string, unknown>): DialogueEvent[] {
 /**
  * 整卷适配：返回与入参行等长的对话事实数组（该行不是对话则为空数组）。
  *
+ * 说话来源只取 `type=user` 行与 `queued_command` 附件。入队行与 `api-request-blob`
+ * 不投。有原生 id 则带上，不另编。不做正文比对或 id 去重。
  * 物化 user 只消费自身的 typed `origin.kind`：human 保留，具名非 human 排除。
- * enqueue 没有与物化 user 的 typed 关联，故不得以位置把某个 user 来源反扣给它；
- * 仅票面准许的 `<task-notification` 固定形状可直接排除，其余维持既有投影。
  */
 export function adaptSessionDialogue(
   rows: readonly (Record<string, unknown> | undefined)[],
 ): DialogueEvent[][] {
   return rows.map((row) => {
     if (row === undefined) return [];
+    if (row.type === "queue-operation" || row.type === "api-request-blob") return [];
+    if (row.type === "attachment") return fromQueuedCommandAttachment(row);
     const originKind = materializationOriginKind(row);
     if (isNonOwnerOriginKind(originKind)) return [];
-    if (
-      row.type === "queue-operation" &&
-      row.operation === "enqueue" &&
-      typeof row.content === "string" &&
-      isFixedNonOwnerEnqueueShape(row.content)
-    ) {
-      return [];
-    }
-    const queued = fromQueueEvent(row);
-    if (queued.length > 0) return queued;
     return fromMessageEvent(row);
   });
 }