@akagilnc/pi-workflow-roles 0.1.5375 → 0.1.5382

package/dist/judge-role.js

@@ -1,5 +1,7 @@
 import {} from "./host-contracts.js";
-import { reviewSubmissionSchema } from "./review-submission.js";
+import { REVIEW_QUEUE_STATUSES, reviewSubmissionSchema } from "./review-submission.js";
+import { registerFiledSubmissionTool } from "./filed-submission.js";
+import { roleSubmissionDeclaration } from "./role-submission-declarations.js";
 import {} from "./gatekeeper-role.js";
 import { JUDGE_OUTPUT_TOOL_NAME, } from "./package-contracts/judge-output.js";
 export { JUDGE_OUTPUT_TOOL_NAME };
@@ -14,10 +16,11 @@ export async function runJudgeGates(input) {
         if (await input.gateAlreadyConverged(subject))
             continue;
         const pass = await input.runGate(subject);
-        const status = pass?.status;
-        if (pass === undefined || (status !== "converged" && status !== "continue" && status !== "escalate")) {
+        const received = pass?.status;
+        if (pass === undefined || typeof received !== "string" || !REVIEW_QUEUE_STATUSES.has(received)) {
             throw new Error("judge gate returned no conclusion");
         }
+        const status = received;
         passes.push({
             subject,
             status,
@@ -46,19 +49,8 @@ export function createJudgeRoleRuntime(pi, dependencies) {
                 throw new Error("Judge soul is empty");
             if (!lifecycleRegistered) {
                 lifecycleRegistered = true;
-                pi.registerTool({
-                    name: JUDGE_OUTPUT_TOOL_NAME,
-                    label: "大理寺输出",
-                    description: "提交大理寺终局判词；交卷调用结束后，由公开调用接缝按判词状态执行适用审核。",
-                    promptSnippet: "提交大理寺终局判词",
-                    parameters: judgeVerdictSchema,
-                    async execute(toolCallId, parameters, signal, _onUpdate, ctx) {
-                        if (soul === undefined)
-                            throw new Error("大理寺职分未装载");
-                        // ADR 0003: record the original receipt and end the tool call first.
-                        // The public seam reads status and chooses the next route.
-                        return { content: [], details: parameters, terminate: true };
-                    },
+                registerFiledSubmissionTool(pi, roleSubmissionDeclaration("judge"), {
+                    readyError: () => (soul === undefined ? "大理寺职分未装载" : undefined),
                 });
                 pi.on("before_agent_start", (event) => {
                     if (soul === undefined)

package/dist/migrate-book-topology.js

@@ -8204,11 +8204,26 @@ var init_judge_output = __esm({
 });
 
 // src/package-contracts/reviewer-output.ts
-var REVIEWER_OUTPUT_TOOL_NAME;
+var REVIEWER_OUTPUT_TOOL_NAME, REVIEWER_AMENDMENTS_DESCRIPTION, REVIEWER_STATUS_DESCRIPTION, reviewerOutputObject, reviewerOutputSchema;
 var init_reviewer_output = __esm({
   "src/package-contracts/reviewer-output.ts"() {
     "use strict";
+    init_build();
+    init_open_tool_schema();
+    init_terminating_infrastructure();
     REVIEWER_OUTPUT_TOOL_NAME = "ak_reviewer_output";
+    REVIEWER_AMENDMENTS_DESCRIPTION = "\u5DF2\u8FD0\u884C lens \u7684 amendments \u627F\u8F7D candidates\u3001\u9010\u6761\u5904\u7F6E\u4E0E verdict \u7684\u5B8C\u6574\u62A5\u544A\uFF08\u975E\u4EC5 verdict \u884C\uFF09\uFF1B\u663E\u5F0F\u5355\u8F74\u65F6\u53E6\u4E00\u8F74\u53EF\u7701\u7565\uFF08completeness / correctness\uFF09\u3002hard-stop\uFF0Fusage error \u4E3A refused \u65F6\uFF0C\u5DF2\u4EA7\u51FA\u62A5\u544A\u4ECD\u7167\u5F55\u5BF9\u5E94 lens \u5B57\u6BB5\u3002";
+    REVIEWER_STATUS_DESCRIPTION = "completed | refused\u3002\u4E24\u79CD\u6B63\u5E38 lens verdict\uFF08completeness / correctness\uFF09\u5747 completed\uFF1Bhard-stop \u4E0E usage error \u4E3A refused\uFF08\u5DF2\u4EA7\u51FA\u62A5\u544A\u4ECD\u7167\u5F55\u8FDB\u6240\u9009 lens amendments\uFF09\u3002";
+    reviewerOutputObject = typebox_exports.Object({
+      status: typebox_exports.Unknown({ description: REVIEWER_STATUS_DESCRIPTION }),
+      amendments: typebox_exports.Unknown({ description: REVIEWER_AMENDMENTS_DESCRIPTION }),
+      diagnostic: typebox_exports.Unknown({
+        description: "\u62D2\u7EDD\u8BCA\u65AD\u8BF4\u660E\uFF1Bhard-stop\uFF0Fusage error \u539F\u56E0\u8FDB\u6B64\u5B57\u6BB5\uFF0C\u5DF2\u4EA7\u51FA\u62A5\u544A\u53E6\u7167\u5F55 amendments"
+      })
+    });
+    reviewerOutputSchema = withTerminatingOutputDeclarations(
+      openToolObject(reviewerOutputObject)
+    );
   }
 });
 
@@ -13644,14 +13659,28 @@ var init_fixer_packet = __esm({
 });
 
 // src/package-contracts/worker-output.ts
-var CODER_OUTPUT_TOOL_NAME;
+var CODER_OUTPUT_TOOL_NAME, CODER_STATUS_DESCRIPTION, coderOutputObject, coderOutputSchema;
 var init_worker_output = __esm({
   "src/package-contracts/worker-output.ts"() {
     "use strict";
+    init_build();
+    init_open_tool_schema();
     init_fixer_output();
     init_fixer_packet();
-    init_fixer_output();
+    init_terminating_infrastructure();
     CODER_OUTPUT_TOOL_NAME = "ak_coder_output";
+    CODER_STATUS_DESCRIPTION = `planned | completed | refused | partially_completed | unfinished\u3002unfinished\uFF1A\u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u81F4\u672C\u5C40\u672A\u5B8C\u6210\u3002${PARTIALLY_COMPLETED_DEFINITION}`;
+    coderOutputObject = typebox_exports.Object({
+      status: typebox_exports.Unknown({ description: CODER_STATUS_DESCRIPTION }),
+      report: typebox_exports.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
+      remainingScope: typebox_exports.Unknown({ description: "\u672C\u5C40\u540E\u5269\u4F59\u5DE5\u4F5C" }),
+      reason: typebox_exports.Unknown({
+        description: "\u963B\u65AD\u539F\u56E0\uFF1A\u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u3002\u7F3A\u5F85\u51B3 owner \u51B3\u5B9A\u6216\u7B54\u590D\u5C5E\u7F3A\u524D\u7F6E\u3002"
+      })
+    });
+    coderOutputSchema = withTerminatingOutputDeclarations(
+      openToolObject(coderOutputObject)
+    );
   }
 });
 
@@ -13663,7 +13692,7 @@ var init_canonical_json = __esm({
 });
 
 // src/doctor-contracts.ts
-var DOCTOR_OUTPUT_TOOL_NAME, DOCTOR_AUDIT_TOOL_NAME, DOCTOR_TARGET_KINDS, DOCTOR_DISPOSITIONS, DOCTOR_PRESCRIPTION_KINDS, biteActual, biteNone, DOCTOR_BITE_KINDS, DOCTOR_STATUS_DESCRIPTION, doctorSubmissionObject, doctorSubmissionSchema, doctorEvidenceReadSchema;
+var DOCTOR_OUTPUT_TOOL_NAME, DOCTOR_AUDIT_TOOL_NAME, DOCTOR_OUTPUT_TOOL_DESCRIPTION, DOCTOR_TARGET_KINDS, DOCTOR_DISPOSITIONS, DOCTOR_PRESCRIPTION_KINDS, biteActual, biteNone, DOCTOR_BITE_KINDS, DOCTOR_STATUS_DESCRIPTION, doctorSubmissionObject, doctorSubmissionSchema, doctorEvidenceReadSchema;
 var init_doctor_contracts = __esm({
   "src/doctor-contracts.ts"() {
     "use strict";
@@ -13674,6 +13703,7 @@ var init_doctor_contracts = __esm({
     init_unknown_value();
     DOCTOR_OUTPUT_TOOL_NAME = "ak_doctor_output";
     DOCTOR_AUDIT_TOOL_NAME = "ak_doctor_audit_decision";
+    DOCTOR_OUTPUT_TOOL_DESCRIPTION = "\u63D0\u4EA4\u552F\u4E00\u7EC8\u5C40\u5355\u6848\u8BC1\u8BCD\uFF1Bcompleted \u5141\u8BB8\u7A7A findings\u3002";
     DOCTOR_TARGET_KINDS = ["law", "gate", "template", "station", "seat"];
     DOCTOR_DISPOSITIONS = ["keep", "thin", "delete"];
     DOCTOR_PRESCRIPTION_KINDS = ["retain", "delete", "simplify", "patch", "addMechanism"];
@@ -13771,12 +13801,27 @@ var init_countersign_contracts = __esm({
 });
 
 // src/gleaner-left-contracts.ts
-var GLEANER_LEFT_OUTPUT_TOOL_NAME;
+var GLEANER_LEFT_OUTPUT_TOOL_NAME, gleanerLeftOutputSchema;
 var init_gleaner_left_contracts = __esm({
   "src/gleaner-left-contracts.ts"() {
     "use strict";
+    init_build();
+    init_open_tool_schema();
+    init_terminating_infrastructure();
     init_unknown_value();
     GLEANER_LEFT_OUTPUT_TOOL_NAME = "ak_gleaner_left_output";
+    gleanerLeftOutputSchema = withTerminatingOutputDeclarations(
+      openToolObject(
+        typebox_exports.Object({
+          status: typebox_exports.Unknown({
+            description: "completed"
+          }),
+          findings: typebox_exports.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"
+          })
+        })
+      )
+    );
   }
 });
 
@@ -13865,23 +13910,69 @@ var init_ticket_provenance_contracts = __esm({
 });
 
 // src/diarist-contracts.ts
-var DIARIST_OUTPUT_TOOL_NAME;
+var DIARIST_OUTPUT_TOOL_NAME, DIARIST_SESSIONS_DESCRIPTION, diaristOutputSchema;
 var init_diarist_contracts = __esm({
   "src/diarist-contracts.ts"() {
     "use strict";
+    init_build();
+    init_open_tool_schema();
+    init_terminating_infrastructure();
     init_ticket_provenance_contracts();
     init_run_ticket_number();
     init_unknown_value();
     DIARIST_OUTPUT_TOOL_NAME = "ak_diarist_output";
+    DIARIST_SESSIONS_DESCRIPTION = "\u5BF9\u8BDD\u8FB9\u754C\u3002\u6BCF\u5377\u542B path\uFF08\u4F1A\u8BDD\u5377\u7EDD\u5BF9\u6216\u53EF\u8BFB\u8DEF\u5F84\uFF09\u4E0E ranges\uFF08\u672C\u5377\u672C\u8F6E\u5404\u533A\u95F4\uFF09\u3002\u6BCF\u6BB5\u533A\u95F4\u542B from / to\uFF1B\u8D77\u70B9\u4E0E\u7EC8\u70B9\u5404\u5199 id\uFF08\u539F\u751F id\uFF09\u6216 line\uFF08\u672C\u8F6E\u884C\u53F7\uFF09\uFF0C\u4E8C\u9009\u4E00\u3002\u7A7A\u5217\u8868\uFF1D\u672C\u8F6E\u65E0\u5BF9\u8BDD\u53EF\u5212\u3002\u7AEF\u70B9\u65E0\u6CD5\u6307\u540D\u65F6\u8D70 reask\uFF0C\u4E0D\u4E2D\u6B62\u3002";
+    diaristOutputSchema = withTerminatingOutputDeclarations(
+      openToolObject(
+        typebox_exports.Object({
+          status: typebox_exports.Unknown({
+            description: "completed | escalate"
+          }),
+          ticketNumber: typebox_exports.Optional(
+            typebox_exports.Unknown({
+              description: "\u672C\u5EAD\u5BF9\u8C61\u7968\u53F7\uFF08\u6B63\u6574\u6570\uFF09\u6216 null/\u7701\u7565\uFF1D\u771F\u65E0\u7968\uFF1B\u4E0B\u6E38\u8D70 typed \u952E\uFF1B\u8BA4\u4E0D\u51FA\u7528 status=escalate\uFF0C\u4E0D\u6D17\u6210\u65E0\u5F55\u3002\u673A\u68B0\u5C42\u4E0D\u91CD\u5224\u3002"
+            })
+          ),
+          reason: typebox_exports.Unknown({
+            description: "status \u4E3A escalate \u65F6\uFF1A\u8BA4\u4E0D\u51FA\u672C\u5EAD\u5BF9\u8C61\u7684\u539F\u56E0"
+          }),
+          sessions: typebox_exports.Optional(typebox_exports.Unknown({ description: DIARIST_SESSIONS_DESCRIPTION })),
+          ticketSessions: typebox_exports.Unknown({
+            description: `\u591A\u7968\u5EAD\u9010\u7968\u5BF9\u8BDD\u8FB9\u754C\uFF1B\u6BCF\u7968\u542B ticketNumber\uFF08\u672C\u6761\u8FB9\u754C\u6240\u5F52\u7968\u53F7\uFF0C\u6B63\u6574\u6570\uFF09\u4E0E sessions\uFF08${DIARIST_SESSIONS_DESCRIPTION}\uFF09\u3002\u4E00\u6B21\u4EA4\u5377\u5404\u7968\u5404\u81EA\u5206\u5F55\u3002\u4E0E\u5355\u7968 sessions \u4E8C\u9009\u4E00\u3002`
+          })
+        })
+      )
+    );
   }
 });
 
 // src/secretariat-contracts.ts
-var SECRETARIAT_OUTPUT_TOOL_NAME;
+var SECRETARIAT_OUTPUT_TOOL_NAME, secretariatVerdictSchema;
 var init_secretariat_contracts = __esm({
   "src/secretariat-contracts.ts"() {
     "use strict";
+    init_build();
+    init_terminating_infrastructure();
     SECRETARIAT_OUTPUT_TOOL_NAME = "ak_secretariat_output";
+    secretariatVerdictSchema = withTerminatingOutputDeclarations(
+      typebox_exports.Object(
+        {
+          secretariatStatus: typebox_exports.Unknown({
+            description: "converged | escalate"
+          }),
+          ticketNumber: typebox_exports.Optional(
+            typebox_exports.Unknown({ description: "\u672C\u7968\u53F7\uFF1B\u7F72\u65F6\u6307\u5411\u6700\u7EC8\u6B63\u6587\u6240\u5728\u7968" })
+          ),
+          note: typebox_exports.Unknown({ description: "\u9644\u6CE8" }),
+          evidence: typebox_exports.Optional(typebox_exports.Unknown({ description: "\u7559\u5B58\u8BC1\u636E" })),
+          decisionGate: typebox_exports.Unknown({
+            description: "\u9700\u965B\u4E0B\u5904\u7F6E\u7684\u95EE\u9898\u4E0E\u9009\u9879\uFF1B\u53EF\u5199 question \u4E0E options\uFF0C\u539F\u6837\u7559\u5B58\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
+    secretariatVerdictSchema.required = [];
   }
 });
 
@@ -13895,6 +13986,12 @@ var init_judge_auditor = __esm({
 });
 
 // src/packaged-role-registry.ts
+function packagedRoleMetadata(role) {
+  return PACKAGED_ROLE_REGISTRY.find((entry) => entry.role === role);
+}
+function packagedRoleOutputTool(role) {
+  return packagedRoleMetadata(role)?.outputTool;
+}
 var LEGACY_REVIEW_OUTPUT_ROLES, NOTARY_SESSION_MATERIALS, INSPECTOR_SESSION_MATERIALS, AUDITOR_PUBLIC_SESSION_MATERIALS, PUBLIC_ROLE_RECORDS, PACKAGED_ROLE_REGISTRY;
 var init_packaged_role_registry = __esm({
   "src/packaged-role-registry.ts"() {
@@ -14438,6 +14535,161 @@ var init_submission_errors = __esm({
   }
 });
 
+// src/collector-tool-schemas.ts
+var collectorOutputBaseSchema, collectorOutputArgsSchema;
+var init_collector_tool_schemas = __esm({
+  "src/collector-tool-schemas.ts"() {
+    "use strict";
+    init_build();
+    init_open_tool_schema();
+    init_terminating_infrastructure();
+    collectorOutputBaseSchema = openToolObject(
+      typebox_exports.Object({
+        groups: typebox_exports.Unsafe({
+          description: "\u6309\u673A\u5668\u8EAB\u4EFD\u5F52\u7EC4\u7684\u51FA\u5E2D\u3001\u6750\u6599\u4E0E\u9010\u6761 findings\uFF08LLM \u81EA\u884C\u4ECE\u5BBF\u4E3B CLI \u53D6\u8BC1\u6574\u7406\uFF1B\u4EE3\u7801\u4E0D\u4EE3\u6536\u4E0D\u5F52\u5E76\uFF09\u3002"
+        }),
+        unfinishedReasons: typebox_exports.Unknown({
+          description: "\u672A\u5B8C\u6210\u539F\u56E0\uFF1B\u53D6\u8BC1\u53D7\u9650\u65F6\u5982\u5B9E\u62A5\u544A\u3002"
+        })
+      })
+    );
+    collectorOutputArgsSchema = withTerminatingOutputDeclarations(
+      collectorOutputBaseSchema
+    );
+  }
+});
+
+// src/role-submission-declarations.ts
+function roleSubmissionDeclaration(role) {
+  const name = packagedRoleOutputTool(role);
+  if (name === void 0) throw new Error(`${role} output tool is not declared`);
+  const face = SUBMISSION_FACE[role];
+  return {
+    role,
+    name,
+    label: face.label,
+    description: face.description,
+    ..."promptSnippet" in face ? { promptSnippet: face.promptSnippet } : {},
+    parameters: face.parameters
+  };
+}
+var SUBMISSION_FACE;
+var init_role_submission_declarations = __esm({
+  "src/role-submission-declarations.ts"() {
+    "use strict";
+    init_packaged_role_registry();
+    init_review_submission();
+    init_collector_tool_schemas();
+    init_diarist_contracts();
+    init_doctor_contracts();
+    init_fixer_output();
+    init_gatekeeper_output();
+    init_gleaner_left_contracts();
+    init_merger_contracts();
+    init_navigator_output();
+    init_reviewer_output();
+    init_secretariat_contracts();
+    init_worker_output();
+    SUBMISSION_FACE = {
+      judge: {
+        label: "\u5927\u7406\u5BFA\u8F93\u51FA",
+        description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF1B\u4EA4\u5377\u8C03\u7528\u7ED3\u675F\u540E\uFF0C\u7531\u516C\u5F00\u8C03\u7528\u63A5\u7F1D\u6309\u5224\u8BCD\u72B6\u6001\u6267\u884C\u9002\u7528\u5BA1\u6838\u3002",
+        promptSnippet: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD",
+        parameters: reviewSubmissionSchema
+      },
+      fixer: {
+        label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
+        description: "\u63D0\u4EA4\u4FEE\u5185\u53F8\u7EC8\u5C40\u56DE\u6267\u3002",
+        promptSnippet: "\u63D0\u4EA4\u4FEE\u5185\u53F8\u7EC8\u5C40\u56DE\u6267",
+        parameters: fixerOutputSchema
+      },
+      coder: {
+        label: "\u5C06\u4F5C\u76D1\u8F93\u51FA",
+        description: "\u63D0\u4EA4\u5C06\u4F5C\u76D1\u7EC8\u5C40\u56DE\u6267\u3002",
+        promptSnippet: "\u63D0\u4EA4\u5C06\u4F5C\u76D1\u7EC8\u5C40\u56DE\u6267",
+        parameters: coderOutputSchema
+      },
+      reviewer: {
+        label: "\u5FA1\u53F2\u53F0\u8F93\u51FA",
+        description: "\u63D0\u4EA4\u5FA1\u53F2\u53F0\u7EC8\u5C40\u56DE\u6267\u3002",
+        promptSnippet: "\u63D0\u4EA4\u5FA1\u53F2\u53F0\u7EC8\u5C40\u56DE\u6267",
+        parameters: reviewerOutputSchema
+      },
+      collector: {
+        label: "\u901A\u8FDB\u53F8\u8F93\u51FA",
+        description: "\u63D0\u4EA4\u901A\u8FDB\u53F8\u56DE\u6267\u3002",
+        promptSnippet: "\u63D0\u4EA4\u901A\u8FDB\u53F8\u56DE\u6267",
+        parameters: collectorOutputArgsSchema
+      },
+      doctor: {
+        label: "\u592A\u533B\u7F72\u8F93\u51FA",
+        description: DOCTOR_OUTPUT_TOOL_DESCRIPTION,
+        parameters: doctorSubmissionSchema
+      },
+      merger: {
+        label: "\u5408\u5E76\u8F93\u51FA",
+        description: "\u63D0\u4EA4\u5408\u5E76\u7ED3\u679C\uFF1B\u8F93\u51FA\u5206\u652F\u4E3A completed \u4E0E escalate\u3002",
+        promptSnippet: "\u63D0\u4EA4\u5408\u5E76\u7ED3\u679C",
+        parameters: mergerOutputSchema
+      },
+      notary: {
+        label: "\u7B26\u5B9D\u90CE\u8F93\u51FA",
+        description: "\u63D0\u4EA4\u5F15\u6587\u4FDD\u771F\u4E0E\u7968\u9762\u5BF9\u9F50\u7684 converged/continue/escalate \u51B3\u8BAE\u3002",
+        promptSnippet: "\u63D0\u4EA4\u7B26\u5B9D\u90CE\u51B3\u8BAE",
+        parameters: reviewSubmissionSchema
+      },
+      countersign: {
+        label: "\u7ED9\u4E8B\u4E2D\u8F93\u51FA",
+        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\u3002",
+        promptSnippet: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE",
+        parameters: reviewSubmissionSchema
+      },
+      secretariat: {
+        label: "\u4E2D\u4E66\u7701\u8F93\u51FA",
+        description: "\u4E2D\u4E66\u7701\u7EC8\u5C40\u56DE\u6267\u3002",
+        promptSnippet: "\u4E2D\u4E66\u7701\u7EC8\u5C40\u56DE\u6267",
+        parameters: secretariatVerdictSchema
+      },
+      "gleaner-left": {
+        label: "\u5DE6\u62FE\u9057\u8F93\u51FA",
+        description: "\u5DE6\u62FE\u9057\u5F39\u7AE0\u3002",
+        promptSnippet: "\u5DE6\u62FE\u9057\u5F39\u7AE0",
+        parameters: gleanerLeftOutputSchema
+      },
+      inspector: {
+        label: "\u53F0\u9662\u8F93\u51FA",
+        description: "\u53F0\u9662\u7EC8\u5C40\u56DE\u6267\uFF0C\u72B6\u6001\u4E3A converged\u3001continue \u6216 escalate\u3002",
+        promptSnippet: "\u53F0\u9662\u7EC8\u5C40\u56DE\u6267",
+        parameters: reviewSubmissionSchema
+      },
+      gatekeeper: {
+        label: "\u95E8\u4E0B\u7701\u51B3\u8BAE",
+        description: "\u95E8\u4E0B\u7701\u7EC8\u5C40\u51B3\u8BAE\u3002status \u4E3A dispatch \u6216 pass\u3002",
+        promptSnippet: "\u95E8\u4E0B\u7701\u51B3\u8BAE",
+        parameters: gatekeeperOutputSchema
+      },
+      navigator: {
+        label: "\u6E38\u5955\u4F7F\u5EFA\u8BAE",
+        description: "\u6E38\u5955\u4F7F\u7EC8\u5C40\u56DE\u6267\uFF1A\u6563\u6587\u5EFA\u8BAE\uFF0C\u539F\u6837\u5448\u73B0\u3002",
+        promptSnippet: "\u6E38\u5955\u4F7F\u5EFA\u8BAE",
+        parameters: navigatorOutputSchema
+      },
+      auditor: {
+        label: "\u5BA1\u5211\u9662\u8F93\u51FA",
+        description: "\u5BA1\u5211\u9662\u7EC8\u5C40\u56DE\u6267\uFF0Cstatus \u4E3A converged\u3001continue \u6216 escalate\u3002",
+        promptSnippet: "\u5BA1\u5211\u9662\u7EC8\u5C40\u56DE\u6267",
+        parameters: reviewSubmissionSchema
+      },
+      diarist: {
+        label: "\u8D77\u5C45\u90CE\u8F93\u51FA",
+        description: "\u8D77\u5C45\u90CE\u4EA4\u5355\u7968 sessions \u6216\u591A\u7968\u9010\u7968 ticketSessions \u8FB9\u754C\uFF1B\u8BA4\u4E0D\u51FA\u672C\u5EAD\u5BF9\u8C61\u5219 escalate\u3002",
+        promptSnippet: "\u8D77\u5C45\u90CE\u4EA4\u8FB9\u754C",
+        parameters: diaristOutputSchema
+      }
+    };
+  }
+});
+
 // src/run-terminal-artifacts.ts
 var init_run_terminal_artifacts = __esm({
   "src/run-terminal-artifacts.ts"() {
@@ -14448,6 +14700,7 @@ var init_run_terminal_artifacts = __esm({
 });
 
 // src/gatekeeper-role.ts
+var GATEKEEPER_TOOL_SPEC;
 var init_gatekeeper_role = __esm({
   "src/gatekeeper-role.ts"() {
     "use strict";
@@ -14457,9 +14710,11 @@ var init_gatekeeper_role = __esm({
     init_inspector_contracts();
     init_review_submission();
     init_gatekeeper_output();
+    init_role_submission_declarations();
     init_run_terminal_artifacts();
     init_unknown_value();
     init_submission_errors();
+    GATEKEEPER_TOOL_SPEC = roleSubmissionDeclaration("gatekeeper");
   }
 });
 

package/dist/package-contracts/reviewer-output.js

@@ -1,8 +1,24 @@
+import { Type } from "typebox";
+import { openToolObject } from "../open-tool-schema.js";
+import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.js";
 const REVIEWER_OUTPUT_TOOL_NAME = "ak_reviewer_output";
+const REVIEWER_AMENDMENTS_DESCRIPTION = "\u5DF2\u8FD0\u884C lens \u7684 amendments \u627F\u8F7D candidates\u3001\u9010\u6761\u5904\u7F6E\u4E0E verdict \u7684\u5B8C\u6574\u62A5\u544A\uFF08\u975E\u4EC5 verdict \u884C\uFF09\uFF1B\u663E\u5F0F\u5355\u8F74\u65F6\u53E6\u4E00\u8F74\u53EF\u7701\u7565\uFF08completeness / correctness\uFF09\u3002hard-stop\uFF0Fusage error \u4E3A refused \u65F6\uFF0C\u5DF2\u4EA7\u51FA\u62A5\u544A\u4ECD\u7167\u5F55\u5BF9\u5E94 lens \u5B57\u6BB5\u3002";
+const REVIEWER_STATUS_DESCRIPTION = "completed | refused\u3002\u4E24\u79CD\u6B63\u5E38 lens verdict\uFF08completeness / correctness\uFF09\u5747 completed\uFF1Bhard-stop \u4E0E usage error \u4E3A refused\uFF08\u5DF2\u4EA7\u51FA\u62A5\u544A\u4ECD\u7167\u5F55\u8FDB\u6240\u9009 lens amendments\uFF09\u3002";
+const reviewerOutputObject = Type.Object({
+  status: Type.Unknown({ description: REVIEWER_STATUS_DESCRIPTION }),
+  amendments: Type.Unknown({ description: REVIEWER_AMENDMENTS_DESCRIPTION }),
+  diagnostic: Type.Unknown({
+    description: "\u62D2\u7EDD\u8BCA\u65AD\u8BF4\u660E\uFF1Bhard-stop\uFF0Fusage error \u539F\u56E0\u8FDB\u6B64\u5B57\u6BB5\uFF0C\u5DF2\u4EA7\u51FA\u62A5\u544A\u53E6\u7167\u5F55 amendments"
+  })
+});
+const reviewerOutputSchema = withTerminatingOutputDeclarations(
+  openToolObject(reviewerOutputObject)
+);
 function validateReviewerIntent(output) {
   return output;
 }
 export {
   REVIEWER_OUTPUT_TOOL_NAME,
+  reviewerOutputSchema,
   validateReviewerIntent
 };

package/dist/package-contracts/worker-output.js

@@ -1,20 +1,36 @@
+import { Type } from "typebox";
+import { openToolObject } from "../open-tool-schema.js";
 import {
   FIXER_OUTPUT_TOOL_NAME,
   fixerOutputSchema,
+  PARTIALLY_COMPLETED_DEFINITION,
   validateFixerOutput
 } from "./fixer-output.js";
 import { fixerPrerequisiteSchema, fixerPrerequisitesSchema, parseFixerPrerequisites, validateFixerPrerequisites } from "./fixer-packet.js";
-import { validateFixerOutput as validateFixerOutput2 } from "./fixer-output.js";
+import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.js";
 const CODER_OUTPUT_TOOL_NAME = "ak_coder_output";
 function validateAcceptedCoderDetails(output) {
   return output;
 }
 function validateAcceptedWorkerDetails(output, roleLabel = "Coder") {
-  return roleLabel === "Fixer" ? validateFixerOutput2(output) : validateAcceptedCoderDetails(output);
+  return roleLabel === "Fixer" ? validateFixerOutput(output) : validateAcceptedCoderDetails(output);
 }
+const CODER_STATUS_DESCRIPTION = `planned | completed | refused | partially_completed | unfinished\u3002unfinished\uFF1A\u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u81F4\u672C\u5C40\u672A\u5B8C\u6210\u3002${PARTIALLY_COMPLETED_DEFINITION}`;
+const coderOutputObject = Type.Object({
+  status: Type.Unknown({ description: CODER_STATUS_DESCRIPTION }),
+  report: Type.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
+  remainingScope: Type.Unknown({ description: "\u672C\u5C40\u540E\u5269\u4F59\u5DE5\u4F5C" }),
+  reason: Type.Unknown({
+    description: "\u963B\u65AD\u539F\u56E0\uFF1A\u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u3002\u7F3A\u5F85\u51B3 owner \u51B3\u5B9A\u6216\u7B54\u590D\u5C5E\u7F3A\u524D\u7F6E\u3002"
+  })
+});
+const coderOutputSchema = withTerminatingOutputDeclarations(
+  openToolObject(coderOutputObject)
+);
 export {
   CODER_OUTPUT_TOOL_NAME,
   FIXER_OUTPUT_TOOL_NAME,
+  coderOutputSchema,
   fixerOutputSchema,
   fixerPrerequisiteSchema,
   fixerPrerequisitesSchema,

package/dist/public-cli/instruction-seat-run.js

@@ -9,6 +9,8 @@ import { AUDITOR_DOSSIER_PROMPT } from "../compliance-transport.js";
 import { bookDirectOfficerRunPointer } from "../archivist-record-pointer.js";
 import { createPiDoctorAuditor } from "../doctor-auditor.js";
 import { officerConclusionReask, gateOfficerForSubject } from "../gatekeeper-role.js";
+import { receivedDiscriminator } from "../submission-errors.js";
+import { REVIEW_QUEUE_STATUSES } from "../review-submission.js";
 import { runJudgeGates } from "../judge-role.js";
 import { WORKER_DONE_STATUSES } from "../worker-submission-contracts.js";
 import { SECRETARIAT_GATE_OFFICER_ENTRY_TYPE } from "../secretariat-contracts.js";
@@ -37,7 +39,6 @@ import { invokeCourtDiarist, latestPayloadEscalated, } from "./countersign-run.j
 import { isRecord, errorText } from "../unknown-value.js";
 const AUDITED_ROLES = new Set(["judge", "fixer", "coder", "secretariat", "countersign", "doctor"]);
 const SECRETARIAT_STATUS_REASK = "secretariatStatus 不是 converged、escalate 之一。请重新交卷，secretariatStatus 写明其一。";
-const COUNTERSIGN_STATUS_REASK = "status 不是 converged、continue、escalate 三态之一。请重新交卷，status 写明其一。";
 const WORKER_ROUTING_STATUSES = new Set([
     "planned", "completed", "refused", "partially_completed", "unfinished",
 ]);
@@ -46,8 +47,7 @@ const DOCTOR_ROUTING_STATUSES = new Set(["completed", "refused"]);
 const DOCTOR_STATUS_REASK = "status 不是 completed、refused 之一。请重新交卷，status 写明其一。";
 const POST_SUBMISSION_ROUTING = {
     judge: {
-        statuses: new Set(["converged", "continue", "escalate"]),
-        reask: "status 不是 converged、continue、escalate 三态之一。请重新交卷，status 写明其一。",
+        statuses: REVIEW_QUEUE_STATUSES,
     },
     coder: {
         statuses: WORKER_ROUTING_STATUSES,
@@ -75,12 +75,10 @@ function unreadablePostSubmissionStatus(admitted, terminal) {
     if (route === undefined)
         return undefined;
     const payload = terminal.roleOutcome.payloads?.at(-1);
-    const status = isRecord(payload)
-        ? payload.status
-        : undefined;
+    const status = receivedDiscriminator(payload, "status");
     return typeof status === "string" && route.statuses.has(status)
         ? undefined
-        : route.reask;
+        : route.reask ?? officerConclusionReask(status);
 }
 async function reaskUnreadablePostSubmissionStatus(admitted, terminal, env, io) {
     const message = unreadablePostSubmissionStatus(admitted, terminal);
@@ -716,7 +714,6 @@ export async function runPublicInstructionSeatResume(request, env, io) {
     }
     return resume();
 }
-const QUEUE_CONCLUSIONS = new Set(["converged", "continue", "escalate"]);
 const GATE_CHILD_ROLES = new Set(["notary", "auditor", "inspector", "countersign"]);
 /**
  * A gate child's conclusion outside the three states goes back to that child.
@@ -729,7 +726,7 @@ async function queueConclusionFromChild(child, env, io) {
     for (;;) {
         const terminal = await trySettlePublicSeat(current, env.principalAuthority, undefined);
         const status = latestQueueStatus(terminal);
-        if (terminal !== undefined && status !== undefined && QUEUE_CONCLUSIONS.has(status)) {
+        if (terminal !== undefined && typeof status === "string" && REVIEW_QUEUE_STATUSES.has(status)) {
             return { admitted: current, terminal, status };
         }
         const reasked = await runPublicInstructionSeatResume({
@@ -740,7 +737,7 @@ async function queueConclusionFromChild(child, env, io) {
             return { stop: reasked };
         }
         const reaskedStatus = latestQueueStatus(reasked.terminal);
-        if (reaskedStatus !== undefined && QUEUE_CONCLUSIONS.has(reaskedStatus)) {
+        if (typeof reaskedStatus === "string" && REVIEW_QUEUE_STATUSES.has(reaskedStatus)) {
             return { admitted: reasked.admitted, terminal: reasked.terminal, status: reaskedStatus };
         }
         if (latestPayloadEscalated(reasked.terminal.roleOutcome))
@@ -792,8 +789,8 @@ async function auditSubmittedRole(turn, env, io, passedOfficer, passedReceipt, p
     if (admitted.role === "secretariat" && status !== "converged" && status !== "escalate") {
         return runPublicInstructionSeatResume({ runId: admitted.runId, message: SECRETARIAT_STATUS_REASK }, { ...env, autoResumeLimit: 0 }, io);
     }
-    if (admitted.role === "countersign" && (typeof status !== "string" || !QUEUE_CONCLUSIONS.has(status))) {
-        return runPublicInstructionSeatResume({ runId: admitted.runId, message: COUNTERSIGN_STATUS_REASK }, { ...env, autoResumeLimit: 0 }, io);
+    if (admitted.role === "countersign" && (typeof status !== "string" || !REVIEW_QUEUE_STATUSES.has(status))) {
+        return runPublicInstructionSeatResume({ runId: admitted.runId, message: officerConclusionReask(status) }, { ...env, autoResumeLimit: 0 }, io);
     }
     // Self-escalation is a valid open routing state for these seats only.
     // Doctor's declared domain is completed|refused — an open "escalate" must