@akagilnc/pi-workflow-roles 0.1.6067 → 0.1.6074

package/dist/acp-host/production-host.js

@@ -1682,7 +1682,7 @@ var init_navigator_output = __esm({
 
 // src/review-submission.ts
 import { Type as Type5 } from "typebox";
-var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
+var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, judgeMechanismRowSchema, judgeSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
 var init_review_submission = __esm({
   "src/review-submission.ts"() {
     "use strict";
@@ -1779,39 +1779,81 @@ var init_review_submission = __esm({
       layer: Type5.Integer({ description: "\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD\uFF0C\u8FD9\u662F\u7B2C\u51E0\u5904\u8FD9\u6837\u7684\u65B0\u589E\uFF08\u542B\u524D\u51E0\u8F6E\u5DF2\u7F72\u8FC7\u7684\uFF09" })
     };
     MECHANISM_FRAMEWORK_RULE = "\u6846\u67B6\u662F\u4ED3\u5E93 ADR \u6216\u7968\u9762\u70B9\u540D\u7684\u90A3\u4E00\u4E2A\uFF08\u8BFB\u5199\u6A21\u578B\u3001Web\u3001\u6D4B\u8BD5\u7B49\u6846\u67B6\uFF09\uFF0C\u4E0D\u662F\u5E2D\u4F4D\u81EA\u9009\uFF1B\u5B9E\u73B0\u8FD9\u4E00\u5C42\u6240\u7528\u7684\u5E93\uFF08ORM\u3001\u7F13\u5B58\u5E93\u3001\u89E3\u6790\u5E93\uFF09\u4E0D\u662F\u6846\u67B6\uFF0C\u5B83\u7684 API \u9875\u6216\u793A\u4F8B\u586B\u4E0D\u8FDB\u8FD9\u683C\u2014\u2014\u90A3\u7B54\u7684\u662F\u300C\u8FD9\u5C42\u600E\u4E48\u505A\u300D\uFF0C\u8FD9\u683C\u95EE\u7684\u662F\u300C\u793A\u8303\u4E0D\u5E26\u8FD9\u5C42\u600E\u4E48\u529E\u300D";
-    mechanismRowUnion = (extra = {}) => Type5.Union(
+    existenceRowUnion = (base, labels, extra = {}) => Type5.Union(
       [
         Type5.Object(
           {
-            ...mechanismRowBase,
+            ...base,
             official: Type5.String({
               description: `\u8FD9\u6BB5\u4EE3\u7801\u6240\u5C5E\u5E94\u7528\u6846\u67B6\u7684\u5B98\u65B9\u793A\u8303\u91CC\uFF0C\u4E0D\u5E26\u8FD9\u4E00\u5C42\u65F6\u540C\u4E00\u5173\u5207\u600E\u4E48\u5904\u7406\uFF1A\u5148\u5199\u6846\u67B6\u540D\uFF0C\u518D\u94FE\u63A5\uFF0B\u539F\u53E5\uFF08\u793A\u8303\u91CC\u76F4\u63A5\u8BFB\u3001\u76F4\u63A5\u67E5\u3001\u4EA4\u7ED9\u6846\u67B6\u54EA\u9879\u8BBE\u7F6E\uFF09\u3002${MECHANISM_FRAMEWORK_RULE}`
             }),
-            disposition: Type5.Literal("\u5220\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", { description: "official \u586B\u4E86\u5B57\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
+            disposition: Type5.Literal(labels.without, { description: "official \u586B\u4E86\u5B57\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
             ...extra
           },
           { additionalProperties: true }
         ),
         Type5.Object(
           {
-            ...mechanismRowBase,
+            ...base,
             official: Type5.Null({
-              description: `\u793A\u8303\u4EE3\u7801\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u6216\u4F9D\u8D56\uFF1A\u586B null\uFF0C\u5E76\u5728 keeps \u672B\u5C3E\u5199\u6846\u67B6\u540D\u4E0E\u793A\u8303\u91CC\u90A3\u4E00\u5904\u3002${MECHANISM_FRAMEWORK_RULE}`
+              description: `\u793A\u8303\u4EE3\u7801\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u6216\u4F9D\u8D56\uFF1A\u586B null\uFF0C\u5E76\u5728 ${labels.evidenceField} \u672B\u5C3E\u5199\u6846\u67B6\u540D\u4E0E\u793A\u8303\u91CC\u90A3\u4E00\u5904\u3002${MECHANISM_FRAMEWORK_RULE}`
             }),
-            disposition: Type5.Literal("\u7559\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", { description: "official \u4E3A null\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
+            disposition: Type5.Literal(labels.carries, { description: "official \u4E3A null\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
             ...extra
           },
           { additionalProperties: true }
         )
       ],
-      { description: "\u4E24\u79CD\u884C\u5F62\uFF0C\u6CA1\u6709\u7B2C\u4E09\u79CD\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF08official \u586B\u5B57\uFF0C\u5220\uFF09\uFF1B\u793A\u8303\u672C\u8EAB\u5C31\u5E26\u540C\u6837\u7684\u5C42\uFF08official null\uFF0C\u7559\uFF09" }
+      { description: `\u4E24\u79CD\u884C\u5F62\uFF0C\u6CA1\u6709\u7B2C\u4E09\u79CD\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF08official \u586B\u5B57\uFF0C${labels.without.split("\uFF1A")[0]}\uFF09\uFF1B\u793A\u8303\u672C\u8EAB\u5C31\u5E26\u540C\u6837\u7684\u5C42\uFF08official null\uFF0C${labels.carries.split("\uFF1A")[0]}\uFF09` }
     );
+    MECHANISM_LABELS = { without: "\u5220\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", carries: "\u7559\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", evidenceField: "keeps" };
+    mechanismRowUnion = (extra = {}) => existenceRowUnion(mechanismRowBase, MECHANISM_LABELS, extra);
     mechanismRowSchema = mechanismRowUnion();
     auditorMechanismRowSchema = mechanismRowUnion({
       judgeSaid: Type5.Union([Type5.String(), Type5.Null()], {
         description: "\u5927\u7406\u5BFA\u5224\u8BCD\u91CC\u88C1\u5230\u8FD9\u4E00\u5C42\u7684\u90A3\u53E5\u539F\u6587\uFF08\u7167\u6284\uFF09\uFF1B\u5224\u8BCD\u6CA1\u63D0\u8FD9\u4E00\u5C42\uFF0C\u586B null"
       })
     });
+    clauseRowBase = {
+      clause: Type5.String({ description: "\u73B0\u884C\u7968\u9762\u91CC\u8BA9\u67D0\u4E2A\u673A\u5236\u5B58\u5728\u7684\u90A3\u6761\u6761\u6B3E\u539F\u6587\uFF08\u7167\u6284\uFF0C\u4E0D\u5408\u5E76\u3001\u4E0D\u6539\u5199\uFF09" }),
+      kind: Type5.Union(
+        [Type5.Literal("\u660E\u5199\u673A\u5236\uFF1A\u6761\u6B3E\u81EA\u5DF1\u70B9\u540D\u4E86\u72B6\u6001\u3001\u8868\u3001\u7F13\u5B58\u3001\u9501\u3001\u4F9D\u8D56"), Type5.Literal("\u53EA\u5199\u7ED3\u679C\uFF1A\u6761\u6B3E\u53EA\u63D0\u8981\u6C42\uFF0C\u73B0\u72B6\u4EE3\u7801\u6EE1\u8DB3\u4E0D\u4E86\uFF0C\u5F97\u957F\u51FA\u673A\u5236\u624D\u505A\u5F97\u5230")],
+        { description: "\u4E24\u7C7B\u90FD\u8981\u5217\u3002\u7B2C\u4E8C\u7C7B\u6700\u5BB9\u6613\u6F0F\uFF1A\u96F6\u91CD\u590D\u3001\u8DE8\u63D0\u4EA4\u4E0D\u91CD\u8BFB\u3001\u4E0D\u5EFA\u8C41\u514D\u3001\u6BCF X \u53EA\u505A\u4E00\u6B21\u3001\u6C38\u4E0D Y\u2014\u2014\u8FD9\u79CD\u53E5\u5B50\u6CA1\u5199\u673A\u5236\u4E24\u4E2A\u5B57\uFF0C\u5374\u53EA\u80FD\u9760\u65B0\u72B6\u6001\u3001\u7F13\u5B58\u3001\u5931\u6548\u89C4\u5219\u6EE1\u8DB3\uFF1B\u5148\u6253\u5F00\u73B0\u72B6\u4EE3\u7801\u6838\u4E00\u904D\u5B83\u505A\u4E0D\u505A\u5F97\u5230\uFF0C\u505A\u4E0D\u5230\u5C31\u662F\u8FD9\u7C7B" }
+      ),
+      makes: Type5.String({ description: "\u8FD9\u6761\u6761\u6B3E\u843D\u5B9E\u540E\u4F1A\u8BA9\u4EC0\u4E48\u4E1C\u897F\u5B58\u5728\uFF1A\u8DE8\u8C03\u7528\u4FDD\u5B58\u7684\u72B6\u6001\u3001\u7F13\u5B58\u3001\u9501\u3001\u5931\u6548\u89C4\u5219\u3001\u9884\u8BA1\u7B97\u3001\u65B0\u4F9D\u8D56\uFF1B\u5199\u51FA\u5B83\u7684\u5F62\u72B6\u3002\u53EA\u5199\u7ED3\u679C\u7684\u6761\u6B3E\uFF0C\u5199\u6EE1\u8DB3\u5B83\u5FC5\u987B\u957F\u51FA\u7684\u90A3\u6837\u4E1C\u897F" })
+    };
+    CLAUSE_LABELS = { without: "\u4E0D\u8981\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", carries: "\u8981\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", evidenceField: "makes" };
+    clauseExistenceRowSchema = existenceRowUnion(clauseRowBase, CLAUSE_LABELS);
+    countersignSubmissionSchema = withTerminatingOutputDeclarations(
+      Type5.Object(
+        {
+          status: reviewStatusField,
+          ...reviewNarrativeFields,
+          existence: Type5.Array(clauseExistenceRowSchema, {
+            description: "\u5B58\u5E9F\u5C3A\uFF1A\u73B0\u884C\u7968\u9762\u6BCF\u6761\u8BA9\u673A\u5236\u5B58\u5728\u7684\u6761\u6B3E\u5404\u4E00\u884C\u2014\u2014\u660E\u5199\u673A\u5236\u7684\uFF0C\u548C\u53EA\u5199\u7ED3\u679C\u8981\u6C42\u3001\u73B0\u72B6\u4EE3\u7801\u6EE1\u8DB3\u4E0D\u4E86\u7684\uFF0C\u4E24\u7C7B\u90FD\u7B97\u2014\u2014\u5230 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u770B\u4E0D\u5E26\u5B83\u65F6\u540C\u4E00\u5173\u5207\u600E\u4E48\u5904\u7406\u3002\u6709\u300C\u4E0D\u8981\u300D\u884C\u5728\uFF0C\u4E0D\u5F97\u7F72\uFF0C\u5C01\u9A73\u6216\u4E0A\u5448\u5E76\u70B9\u540D\u90A3\u6761\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u7B7E\u53D1\u65B9\u7B54\u8FC7\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u8981\u300D\u7684\u7406\u7531\uFF1B\u300C\u8981\u300D\u53EA\u8BA4\u793A\u8303\u91CC\u5E26\u540C\u6837\u7684\u5C42\u3002\u4E00\u6761\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
+    judgeMechanismRowSchema = mechanismRowUnion({
+      origin: Type5.Union(
+        [Type5.Literal("\u5B9E\u73B0\u51C0\u589E\uFF1A\u672C\u7968\u8D77\u70B9\u5230\u6240\u5BA1 HEAD \u7684\u751F\u4EA7\u4EE3\u7801\u91CC\u5DF2\u6709\u7684"), Type5.Literal("\u672C\u5224\u5904\u65B9\uFF1A\u672C\u8F6E\u5224\u8BCD\u7684\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684")],
+        { description: "\u8FD9\u4E00\u5C42\u4ECE\u54EA\u6765\u3002\u5904\u65B9\u884C\u7684 where \u5199\u5904\u65B9\u539F\u6587\u800C\u4E0D\u662F path:line\uFF1B\u5904\u65B9\u4F1A\u957F\u51FA\u793A\u8303\u4E0D\u5E26\u7684\u5C42\uFF0C\u5904\u65B9\u672C\u8EAB\u5C31\u4E0D\u80FD\u5F00" }
+      )
+    });
+    judgeSubmissionSchema = withTerminatingOutputDeclarations(
+      Type5.Object(
+        {
+          status: reviewStatusField,
+          ...reviewNarrativeFields,
+          mechanisms: Type5.Array(judgeMechanismRowSchema, {
+            description: "\u5B58\u5E9F\u5C3A\uFF1A\u6240\u5BA1\u5B9E\u73B0\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD \u751F\u4EA7\u4EE3\u7801\u65B0\u589E\u7684\u6BCF\u4E00\u5904\u4F9D\u8D56\u884C\u3001\u8DE8\u8C03\u7528\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u88C5\u9970\u6216\u5305\u88C5\u5404\u4E00\u884C\uFF08origin \u5B9E\u73B0\u51C0\u589E\uFF09\uFF0C\u518D\u52A0\u672C\u8F6E\u5224\u8BCD\u6BCF\u6761\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684\u6BCF\u4E00\u5C42\u5404\u4E00\u884C\uFF08origin \u672C\u5224\u5904\u65B9\uFF09\u3002\u6BCF\u884C\u53EA\u95EE\u4E00\u4EF6\u4E8B\uFF1A\u8FD9\u4E00\u5173\u5207\uFF08\u8BFB\u590D\u7528\u3001\u5E76\u53D1\u3001\u5931\u6548\u2026\u2026\uFF09\u5728 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u600E\u4E48\u5904\u7406\u2014\u2014\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF0C\u5C31\u662F\u5220\uFF1B\u4E0D\u95EE\u7968\u9762\u90A3\u53E5\u8981\u6C42\u80FD\u4E0D\u80FD\u9760\u793A\u8303\u6EE1\u8DB3\u3002\u7968\u9762\u8981\u6C42\u8D85\u8FC7\u793A\u8303\u7684\uFF0C\u884C\u7167\u586B\u5220\uFF0C\u90A3\u53E5\u8981\u6C42\u4E0A\u5448\u3002\u6709\u300C\u5220\u300D\u884C\uFF1A\u5B9E\u73B0\u91CC\u7684\uFF0C\u5224\u5220\u6216\u4E0A\u5448\uFF0C\u4E0D\u5F97\u636E\u4EE5\u7F72\u6536\u655B\uFF1B\u5904\u65B9\u91CC\u7684\uFF0C\u90A3\u6761\u5904\u65B9\u4E0D\u80FD\u5F00\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u65BD\u5DE5\u81EA\u8FF0\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u7559\u300D\u7684\u7406\u7531\u3002\u884C\u53EA\u80FD\u8FDB\u8FD9\u5F20\u8868\uFF1A\u4E0D\u53E6\u5F00\u5B57\u6BB5\u5B58\u653E\uFF0C\u4E0D\u7559\u300C\u5F85\u5B9A\u300D\uFF1B\u4E00\u5904\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
     inspectorSubmissionSchema = withTerminatingOutputDeclarations(
       Type5.Object(
         {
@@ -3225,9 +3267,9 @@ var init_role_submission_declarations = __esm({
     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",
+        description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF08\u542B\u6240\u5BA1\u5B9E\u73B0\u4E0E\u672C\u5224\u5904\u65B9\u7684\u5B58\u5E9F\u5C3A mechanisms\uFF09\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
+        parameters: judgeSubmissionSchema
       },
       fixer: {
         label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
@@ -3272,9 +3314,9 @@ var init_role_submission_declarations = __esm({
       },
       countersign: {
         label: "\u7ED9\u4E8B\u4E2D\u8F93\u51FA",
-        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\u3002",
+        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\uFF08\u542B\u73B0\u884C\u7968\u9762\u6761\u6B3E\u7684\u5B58\u5E9F\u5C3A existence\uFF09\u3002",
         promptSnippet: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE",
-        parameters: reviewSubmissionSchema
+        parameters: countersignSubmissionSchema
       },
       secretariat: {
         label: "\u4E2D\u4E66\u7701\u8F93\u51FA",

package/dist/headless-host/production-host.js

@@ -481,7 +481,7 @@ var init_terminating_infrastructure = __esm({
 
 // src/review-submission.ts
 import { Type as Type2 } from "typebox";
-var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
+var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, judgeMechanismRowSchema, judgeSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
 var init_review_submission = __esm({
   "src/review-submission.ts"() {
     "use strict";
@@ -578,39 +578,81 @@ var init_review_submission = __esm({
       layer: Type2.Integer({ description: "\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD\uFF0C\u8FD9\u662F\u7B2C\u51E0\u5904\u8FD9\u6837\u7684\u65B0\u589E\uFF08\u542B\u524D\u51E0\u8F6E\u5DF2\u7F72\u8FC7\u7684\uFF09" })
     };
     MECHANISM_FRAMEWORK_RULE = "\u6846\u67B6\u662F\u4ED3\u5E93 ADR \u6216\u7968\u9762\u70B9\u540D\u7684\u90A3\u4E00\u4E2A\uFF08\u8BFB\u5199\u6A21\u578B\u3001Web\u3001\u6D4B\u8BD5\u7B49\u6846\u67B6\uFF09\uFF0C\u4E0D\u662F\u5E2D\u4F4D\u81EA\u9009\uFF1B\u5B9E\u73B0\u8FD9\u4E00\u5C42\u6240\u7528\u7684\u5E93\uFF08ORM\u3001\u7F13\u5B58\u5E93\u3001\u89E3\u6790\u5E93\uFF09\u4E0D\u662F\u6846\u67B6\uFF0C\u5B83\u7684 API \u9875\u6216\u793A\u4F8B\u586B\u4E0D\u8FDB\u8FD9\u683C\u2014\u2014\u90A3\u7B54\u7684\u662F\u300C\u8FD9\u5C42\u600E\u4E48\u505A\u300D\uFF0C\u8FD9\u683C\u95EE\u7684\u662F\u300C\u793A\u8303\u4E0D\u5E26\u8FD9\u5C42\u600E\u4E48\u529E\u300D";
-    mechanismRowUnion = (extra = {}) => Type2.Union(
+    existenceRowUnion = (base, labels, extra = {}) => Type2.Union(
       [
         Type2.Object(
           {
-            ...mechanismRowBase,
+            ...base,
             official: Type2.String({
               description: `\u8FD9\u6BB5\u4EE3\u7801\u6240\u5C5E\u5E94\u7528\u6846\u67B6\u7684\u5B98\u65B9\u793A\u8303\u91CC\uFF0C\u4E0D\u5E26\u8FD9\u4E00\u5C42\u65F6\u540C\u4E00\u5173\u5207\u600E\u4E48\u5904\u7406\uFF1A\u5148\u5199\u6846\u67B6\u540D\uFF0C\u518D\u94FE\u63A5\uFF0B\u539F\u53E5\uFF08\u793A\u8303\u91CC\u76F4\u63A5\u8BFB\u3001\u76F4\u63A5\u67E5\u3001\u4EA4\u7ED9\u6846\u67B6\u54EA\u9879\u8BBE\u7F6E\uFF09\u3002${MECHANISM_FRAMEWORK_RULE}`
             }),
-            disposition: Type2.Literal("\u5220\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", { description: "official \u586B\u4E86\u5B57\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
+            disposition: Type2.Literal(labels.without, { description: "official \u586B\u4E86\u5B57\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
             ...extra
           },
           { additionalProperties: true }
         ),
         Type2.Object(
           {
-            ...mechanismRowBase,
+            ...base,
             official: Type2.Null({
-              description: `\u793A\u8303\u4EE3\u7801\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u6216\u4F9D\u8D56\uFF1A\u586B null\uFF0C\u5E76\u5728 keeps \u672B\u5C3E\u5199\u6846\u67B6\u540D\u4E0E\u793A\u8303\u91CC\u90A3\u4E00\u5904\u3002${MECHANISM_FRAMEWORK_RULE}`
+              description: `\u793A\u8303\u4EE3\u7801\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u6216\u4F9D\u8D56\uFF1A\u586B null\uFF0C\u5E76\u5728 ${labels.evidenceField} \u672B\u5C3E\u5199\u6846\u67B6\u540D\u4E0E\u793A\u8303\u91CC\u90A3\u4E00\u5904\u3002${MECHANISM_FRAMEWORK_RULE}`
             }),
-            disposition: Type2.Literal("\u7559\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", { description: "official \u4E3A null\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
+            disposition: Type2.Literal(labels.carries, { description: "official \u4E3A null\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
             ...extra
           },
           { additionalProperties: true }
         )
       ],
-      { description: "\u4E24\u79CD\u884C\u5F62\uFF0C\u6CA1\u6709\u7B2C\u4E09\u79CD\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF08official \u586B\u5B57\uFF0C\u5220\uFF09\uFF1B\u793A\u8303\u672C\u8EAB\u5C31\u5E26\u540C\u6837\u7684\u5C42\uFF08official null\uFF0C\u7559\uFF09" }
+      { description: `\u4E24\u79CD\u884C\u5F62\uFF0C\u6CA1\u6709\u7B2C\u4E09\u79CD\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF08official \u586B\u5B57\uFF0C${labels.without.split("\uFF1A")[0]}\uFF09\uFF1B\u793A\u8303\u672C\u8EAB\u5C31\u5E26\u540C\u6837\u7684\u5C42\uFF08official null\uFF0C${labels.carries.split("\uFF1A")[0]}\uFF09` }
     );
+    MECHANISM_LABELS = { without: "\u5220\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", carries: "\u7559\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", evidenceField: "keeps" };
+    mechanismRowUnion = (extra = {}) => existenceRowUnion(mechanismRowBase, MECHANISM_LABELS, extra);
     mechanismRowSchema = mechanismRowUnion();
     auditorMechanismRowSchema = mechanismRowUnion({
       judgeSaid: Type2.Union([Type2.String(), Type2.Null()], {
         description: "\u5927\u7406\u5BFA\u5224\u8BCD\u91CC\u88C1\u5230\u8FD9\u4E00\u5C42\u7684\u90A3\u53E5\u539F\u6587\uFF08\u7167\u6284\uFF09\uFF1B\u5224\u8BCD\u6CA1\u63D0\u8FD9\u4E00\u5C42\uFF0C\u586B null"
       })
     });
+    clauseRowBase = {
+      clause: Type2.String({ description: "\u73B0\u884C\u7968\u9762\u91CC\u8BA9\u67D0\u4E2A\u673A\u5236\u5B58\u5728\u7684\u90A3\u6761\u6761\u6B3E\u539F\u6587\uFF08\u7167\u6284\uFF0C\u4E0D\u5408\u5E76\u3001\u4E0D\u6539\u5199\uFF09" }),
+      kind: Type2.Union(
+        [Type2.Literal("\u660E\u5199\u673A\u5236\uFF1A\u6761\u6B3E\u81EA\u5DF1\u70B9\u540D\u4E86\u72B6\u6001\u3001\u8868\u3001\u7F13\u5B58\u3001\u9501\u3001\u4F9D\u8D56"), Type2.Literal("\u53EA\u5199\u7ED3\u679C\uFF1A\u6761\u6B3E\u53EA\u63D0\u8981\u6C42\uFF0C\u73B0\u72B6\u4EE3\u7801\u6EE1\u8DB3\u4E0D\u4E86\uFF0C\u5F97\u957F\u51FA\u673A\u5236\u624D\u505A\u5F97\u5230")],
+        { description: "\u4E24\u7C7B\u90FD\u8981\u5217\u3002\u7B2C\u4E8C\u7C7B\u6700\u5BB9\u6613\u6F0F\uFF1A\u96F6\u91CD\u590D\u3001\u8DE8\u63D0\u4EA4\u4E0D\u91CD\u8BFB\u3001\u4E0D\u5EFA\u8C41\u514D\u3001\u6BCF X \u53EA\u505A\u4E00\u6B21\u3001\u6C38\u4E0D Y\u2014\u2014\u8FD9\u79CD\u53E5\u5B50\u6CA1\u5199\u673A\u5236\u4E24\u4E2A\u5B57\uFF0C\u5374\u53EA\u80FD\u9760\u65B0\u72B6\u6001\u3001\u7F13\u5B58\u3001\u5931\u6548\u89C4\u5219\u6EE1\u8DB3\uFF1B\u5148\u6253\u5F00\u73B0\u72B6\u4EE3\u7801\u6838\u4E00\u904D\u5B83\u505A\u4E0D\u505A\u5F97\u5230\uFF0C\u505A\u4E0D\u5230\u5C31\u662F\u8FD9\u7C7B" }
+      ),
+      makes: Type2.String({ description: "\u8FD9\u6761\u6761\u6B3E\u843D\u5B9E\u540E\u4F1A\u8BA9\u4EC0\u4E48\u4E1C\u897F\u5B58\u5728\uFF1A\u8DE8\u8C03\u7528\u4FDD\u5B58\u7684\u72B6\u6001\u3001\u7F13\u5B58\u3001\u9501\u3001\u5931\u6548\u89C4\u5219\u3001\u9884\u8BA1\u7B97\u3001\u65B0\u4F9D\u8D56\uFF1B\u5199\u51FA\u5B83\u7684\u5F62\u72B6\u3002\u53EA\u5199\u7ED3\u679C\u7684\u6761\u6B3E\uFF0C\u5199\u6EE1\u8DB3\u5B83\u5FC5\u987B\u957F\u51FA\u7684\u90A3\u6837\u4E1C\u897F" })
+    };
+    CLAUSE_LABELS = { without: "\u4E0D\u8981\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", carries: "\u8981\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", evidenceField: "makes" };
+    clauseExistenceRowSchema = existenceRowUnion(clauseRowBase, CLAUSE_LABELS);
+    countersignSubmissionSchema = withTerminatingOutputDeclarations(
+      Type2.Object(
+        {
+          status: reviewStatusField,
+          ...reviewNarrativeFields,
+          existence: Type2.Array(clauseExistenceRowSchema, {
+            description: "\u5B58\u5E9F\u5C3A\uFF1A\u73B0\u884C\u7968\u9762\u6BCF\u6761\u8BA9\u673A\u5236\u5B58\u5728\u7684\u6761\u6B3E\u5404\u4E00\u884C\u2014\u2014\u660E\u5199\u673A\u5236\u7684\uFF0C\u548C\u53EA\u5199\u7ED3\u679C\u8981\u6C42\u3001\u73B0\u72B6\u4EE3\u7801\u6EE1\u8DB3\u4E0D\u4E86\u7684\uFF0C\u4E24\u7C7B\u90FD\u7B97\u2014\u2014\u5230 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u770B\u4E0D\u5E26\u5B83\u65F6\u540C\u4E00\u5173\u5207\u600E\u4E48\u5904\u7406\u3002\u6709\u300C\u4E0D\u8981\u300D\u884C\u5728\uFF0C\u4E0D\u5F97\u7F72\uFF0C\u5C01\u9A73\u6216\u4E0A\u5448\u5E76\u70B9\u540D\u90A3\u6761\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u7B7E\u53D1\u65B9\u7B54\u8FC7\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u8981\u300D\u7684\u7406\u7531\uFF1B\u300C\u8981\u300D\u53EA\u8BA4\u793A\u8303\u91CC\u5E26\u540C\u6837\u7684\u5C42\u3002\u4E00\u6761\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
+    judgeMechanismRowSchema = mechanismRowUnion({
+      origin: Type2.Union(
+        [Type2.Literal("\u5B9E\u73B0\u51C0\u589E\uFF1A\u672C\u7968\u8D77\u70B9\u5230\u6240\u5BA1 HEAD \u7684\u751F\u4EA7\u4EE3\u7801\u91CC\u5DF2\u6709\u7684"), Type2.Literal("\u672C\u5224\u5904\u65B9\uFF1A\u672C\u8F6E\u5224\u8BCD\u7684\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684")],
+        { description: "\u8FD9\u4E00\u5C42\u4ECE\u54EA\u6765\u3002\u5904\u65B9\u884C\u7684 where \u5199\u5904\u65B9\u539F\u6587\u800C\u4E0D\u662F path:line\uFF1B\u5904\u65B9\u4F1A\u957F\u51FA\u793A\u8303\u4E0D\u5E26\u7684\u5C42\uFF0C\u5904\u65B9\u672C\u8EAB\u5C31\u4E0D\u80FD\u5F00" }
+      )
+    });
+    judgeSubmissionSchema = withTerminatingOutputDeclarations(
+      Type2.Object(
+        {
+          status: reviewStatusField,
+          ...reviewNarrativeFields,
+          mechanisms: Type2.Array(judgeMechanismRowSchema, {
+            description: "\u5B58\u5E9F\u5C3A\uFF1A\u6240\u5BA1\u5B9E\u73B0\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD \u751F\u4EA7\u4EE3\u7801\u65B0\u589E\u7684\u6BCF\u4E00\u5904\u4F9D\u8D56\u884C\u3001\u8DE8\u8C03\u7528\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u88C5\u9970\u6216\u5305\u88C5\u5404\u4E00\u884C\uFF08origin \u5B9E\u73B0\u51C0\u589E\uFF09\uFF0C\u518D\u52A0\u672C\u8F6E\u5224\u8BCD\u6BCF\u6761\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684\u6BCF\u4E00\u5C42\u5404\u4E00\u884C\uFF08origin \u672C\u5224\u5904\u65B9\uFF09\u3002\u6BCF\u884C\u53EA\u95EE\u4E00\u4EF6\u4E8B\uFF1A\u8FD9\u4E00\u5173\u5207\uFF08\u8BFB\u590D\u7528\u3001\u5E76\u53D1\u3001\u5931\u6548\u2026\u2026\uFF09\u5728 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u600E\u4E48\u5904\u7406\u2014\u2014\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF0C\u5C31\u662F\u5220\uFF1B\u4E0D\u95EE\u7968\u9762\u90A3\u53E5\u8981\u6C42\u80FD\u4E0D\u80FD\u9760\u793A\u8303\u6EE1\u8DB3\u3002\u7968\u9762\u8981\u6C42\u8D85\u8FC7\u793A\u8303\u7684\uFF0C\u884C\u7167\u586B\u5220\uFF0C\u90A3\u53E5\u8981\u6C42\u4E0A\u5448\u3002\u6709\u300C\u5220\u300D\u884C\uFF1A\u5B9E\u73B0\u91CC\u7684\uFF0C\u5224\u5220\u6216\u4E0A\u5448\uFF0C\u4E0D\u5F97\u636E\u4EE5\u7F72\u6536\u655B\uFF1B\u5904\u65B9\u91CC\u7684\uFF0C\u90A3\u6761\u5904\u65B9\u4E0D\u80FD\u5F00\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u65BD\u5DE5\u81EA\u8FF0\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u7559\u300D\u7684\u7406\u7531\u3002\u884C\u53EA\u80FD\u8FDB\u8FD9\u5F20\u8868\uFF1A\u4E0D\u53E6\u5F00\u5B57\u6BB5\u5B58\u653E\uFF0C\u4E0D\u7559\u300C\u5F85\u5B9A\u300D\uFF1B\u4E00\u5904\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
     inspectorSubmissionSchema = withTerminatingOutputDeclarations(
       Type2.Object(
         {
@@ -4547,9 +4589,9 @@ var init_role_submission_declarations = __esm({
     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",
+        description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF08\u542B\u6240\u5BA1\u5B9E\u73B0\u4E0E\u672C\u5224\u5904\u65B9\u7684\u5B58\u5E9F\u5C3A mechanisms\uFF09\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
+        parameters: judgeSubmissionSchema
       },
       fixer: {
         label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
@@ -4594,9 +4636,9 @@ var init_role_submission_declarations = __esm({
       },
       countersign: {
         label: "\u7ED9\u4E8B\u4E2D\u8F93\u51FA",
-        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\u3002",
+        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\uFF08\u542B\u73B0\u884C\u7968\u9762\u6761\u6B3E\u7684\u5B58\u5E9F\u5C3A existence\uFF09\u3002",
         promptSnippet: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE",
-        parameters: reviewSubmissionSchema
+        parameters: countersignSubmissionSchema
       },
       secretariat: {
         label: "\u4E2D\u4E66\u7701\u8F93\u51FA",

package/dist/migrate-book-topology.js

@@ -8707,7 +8707,7 @@ var init_navigator_output = __esm({
 });
 
 // src/review-submission.ts
-var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
+var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, judgeMechanismRowSchema, judgeSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
 var init_review_submission = __esm({
   "src/review-submission.ts"() {
     "use strict";
@@ -8805,39 +8805,81 @@ var init_review_submission = __esm({
       layer: typebox_exports.Integer({ description: "\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD\uFF0C\u8FD9\u662F\u7B2C\u51E0\u5904\u8FD9\u6837\u7684\u65B0\u589E\uFF08\u542B\u524D\u51E0\u8F6E\u5DF2\u7F72\u8FC7\u7684\uFF09" })
     };
     MECHANISM_FRAMEWORK_RULE = "\u6846\u67B6\u662F\u4ED3\u5E93 ADR \u6216\u7968\u9762\u70B9\u540D\u7684\u90A3\u4E00\u4E2A\uFF08\u8BFB\u5199\u6A21\u578B\u3001Web\u3001\u6D4B\u8BD5\u7B49\u6846\u67B6\uFF09\uFF0C\u4E0D\u662F\u5E2D\u4F4D\u81EA\u9009\uFF1B\u5B9E\u73B0\u8FD9\u4E00\u5C42\u6240\u7528\u7684\u5E93\uFF08ORM\u3001\u7F13\u5B58\u5E93\u3001\u89E3\u6790\u5E93\uFF09\u4E0D\u662F\u6846\u67B6\uFF0C\u5B83\u7684 API \u9875\u6216\u793A\u4F8B\u586B\u4E0D\u8FDB\u8FD9\u683C\u2014\u2014\u90A3\u7B54\u7684\u662F\u300C\u8FD9\u5C42\u600E\u4E48\u505A\u300D\uFF0C\u8FD9\u683C\u95EE\u7684\u662F\u300C\u793A\u8303\u4E0D\u5E26\u8FD9\u5C42\u600E\u4E48\u529E\u300D";
-    mechanismRowUnion = (extra = {}) => typebox_exports.Union(
+    existenceRowUnion = (base, labels, extra = {}) => typebox_exports.Union(
       [
         typebox_exports.Object(
           {
-            ...mechanismRowBase,
+            ...base,
             official: typebox_exports.String({
               description: `\u8FD9\u6BB5\u4EE3\u7801\u6240\u5C5E\u5E94\u7528\u6846\u67B6\u7684\u5B98\u65B9\u793A\u8303\u91CC\uFF0C\u4E0D\u5E26\u8FD9\u4E00\u5C42\u65F6\u540C\u4E00\u5173\u5207\u600E\u4E48\u5904\u7406\uFF1A\u5148\u5199\u6846\u67B6\u540D\uFF0C\u518D\u94FE\u63A5\uFF0B\u539F\u53E5\uFF08\u793A\u8303\u91CC\u76F4\u63A5\u8BFB\u3001\u76F4\u63A5\u67E5\u3001\u4EA4\u7ED9\u6846\u67B6\u54EA\u9879\u8BBE\u7F6E\uFF09\u3002${MECHANISM_FRAMEWORK_RULE}`
             }),
-            disposition: typebox_exports.Literal("\u5220\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", { description: "official \u586B\u4E86\u5B57\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
+            disposition: typebox_exports.Literal(labels.without, { description: "official \u586B\u4E86\u5B57\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
             ...extra
           },
           { additionalProperties: true }
         ),
         typebox_exports.Object(
           {
-            ...mechanismRowBase,
+            ...base,
             official: typebox_exports.Null({
-              description: `\u793A\u8303\u4EE3\u7801\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u6216\u4F9D\u8D56\uFF1A\u586B null\uFF0C\u5E76\u5728 keeps \u672B\u5C3E\u5199\u6846\u67B6\u540D\u4E0E\u793A\u8303\u91CC\u90A3\u4E00\u5904\u3002${MECHANISM_FRAMEWORK_RULE}`
+              description: `\u793A\u8303\u4EE3\u7801\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u6216\u4F9D\u8D56\uFF1A\u586B null\uFF0C\u5E76\u5728 ${labels.evidenceField} \u672B\u5C3E\u5199\u6846\u67B6\u540D\u4E0E\u793A\u8303\u91CC\u90A3\u4E00\u5904\u3002${MECHANISM_FRAMEWORK_RULE}`
             }),
-            disposition: typebox_exports.Literal("\u7559\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", { description: "official \u4E3A null\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
+            disposition: typebox_exports.Literal(labels.carries, { description: "official \u4E3A null\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
             ...extra
           },
           { additionalProperties: true }
         )
       ],
-      { description: "\u4E24\u79CD\u884C\u5F62\uFF0C\u6CA1\u6709\u7B2C\u4E09\u79CD\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF08official \u586B\u5B57\uFF0C\u5220\uFF09\uFF1B\u793A\u8303\u672C\u8EAB\u5C31\u5E26\u540C\u6837\u7684\u5C42\uFF08official null\uFF0C\u7559\uFF09" }
+      { description: `\u4E24\u79CD\u884C\u5F62\uFF0C\u6CA1\u6709\u7B2C\u4E09\u79CD\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF08official \u586B\u5B57\uFF0C${labels.without.split("\uFF1A")[0]}\uFF09\uFF1B\u793A\u8303\u672C\u8EAB\u5C31\u5E26\u540C\u6837\u7684\u5C42\uFF08official null\uFF0C${labels.carries.split("\uFF1A")[0]}\uFF09` }
     );
+    MECHANISM_LABELS = { without: "\u5220\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", carries: "\u7559\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", evidenceField: "keeps" };
+    mechanismRowUnion = (extra = {}) => existenceRowUnion(mechanismRowBase, MECHANISM_LABELS, extra);
     mechanismRowSchema = mechanismRowUnion();
     auditorMechanismRowSchema = mechanismRowUnion({
       judgeSaid: typebox_exports.Union([typebox_exports.String(), typebox_exports.Null()], {
         description: "\u5927\u7406\u5BFA\u5224\u8BCD\u91CC\u88C1\u5230\u8FD9\u4E00\u5C42\u7684\u90A3\u53E5\u539F\u6587\uFF08\u7167\u6284\uFF09\uFF1B\u5224\u8BCD\u6CA1\u63D0\u8FD9\u4E00\u5C42\uFF0C\u586B null"
       })
     });
+    clauseRowBase = {
+      clause: typebox_exports.String({ description: "\u73B0\u884C\u7968\u9762\u91CC\u8BA9\u67D0\u4E2A\u673A\u5236\u5B58\u5728\u7684\u90A3\u6761\u6761\u6B3E\u539F\u6587\uFF08\u7167\u6284\uFF0C\u4E0D\u5408\u5E76\u3001\u4E0D\u6539\u5199\uFF09" }),
+      kind: typebox_exports.Union(
+        [typebox_exports.Literal("\u660E\u5199\u673A\u5236\uFF1A\u6761\u6B3E\u81EA\u5DF1\u70B9\u540D\u4E86\u72B6\u6001\u3001\u8868\u3001\u7F13\u5B58\u3001\u9501\u3001\u4F9D\u8D56"), typebox_exports.Literal("\u53EA\u5199\u7ED3\u679C\uFF1A\u6761\u6B3E\u53EA\u63D0\u8981\u6C42\uFF0C\u73B0\u72B6\u4EE3\u7801\u6EE1\u8DB3\u4E0D\u4E86\uFF0C\u5F97\u957F\u51FA\u673A\u5236\u624D\u505A\u5F97\u5230")],
+        { description: "\u4E24\u7C7B\u90FD\u8981\u5217\u3002\u7B2C\u4E8C\u7C7B\u6700\u5BB9\u6613\u6F0F\uFF1A\u96F6\u91CD\u590D\u3001\u8DE8\u63D0\u4EA4\u4E0D\u91CD\u8BFB\u3001\u4E0D\u5EFA\u8C41\u514D\u3001\u6BCF X \u53EA\u505A\u4E00\u6B21\u3001\u6C38\u4E0D Y\u2014\u2014\u8FD9\u79CD\u53E5\u5B50\u6CA1\u5199\u673A\u5236\u4E24\u4E2A\u5B57\uFF0C\u5374\u53EA\u80FD\u9760\u65B0\u72B6\u6001\u3001\u7F13\u5B58\u3001\u5931\u6548\u89C4\u5219\u6EE1\u8DB3\uFF1B\u5148\u6253\u5F00\u73B0\u72B6\u4EE3\u7801\u6838\u4E00\u904D\u5B83\u505A\u4E0D\u505A\u5F97\u5230\uFF0C\u505A\u4E0D\u5230\u5C31\u662F\u8FD9\u7C7B" }
+      ),
+      makes: typebox_exports.String({ description: "\u8FD9\u6761\u6761\u6B3E\u843D\u5B9E\u540E\u4F1A\u8BA9\u4EC0\u4E48\u4E1C\u897F\u5B58\u5728\uFF1A\u8DE8\u8C03\u7528\u4FDD\u5B58\u7684\u72B6\u6001\u3001\u7F13\u5B58\u3001\u9501\u3001\u5931\u6548\u89C4\u5219\u3001\u9884\u8BA1\u7B97\u3001\u65B0\u4F9D\u8D56\uFF1B\u5199\u51FA\u5B83\u7684\u5F62\u72B6\u3002\u53EA\u5199\u7ED3\u679C\u7684\u6761\u6B3E\uFF0C\u5199\u6EE1\u8DB3\u5B83\u5FC5\u987B\u957F\u51FA\u7684\u90A3\u6837\u4E1C\u897F" })
+    };
+    CLAUSE_LABELS = { without: "\u4E0D\u8981\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", carries: "\u8981\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", evidenceField: "makes" };
+    clauseExistenceRowSchema = existenceRowUnion(clauseRowBase, CLAUSE_LABELS);
+    countersignSubmissionSchema = withTerminatingOutputDeclarations(
+      typebox_exports.Object(
+        {
+          status: reviewStatusField,
+          ...reviewNarrativeFields,
+          existence: typebox_exports.Array(clauseExistenceRowSchema, {
+            description: "\u5B58\u5E9F\u5C3A\uFF1A\u73B0\u884C\u7968\u9762\u6BCF\u6761\u8BA9\u673A\u5236\u5B58\u5728\u7684\u6761\u6B3E\u5404\u4E00\u884C\u2014\u2014\u660E\u5199\u673A\u5236\u7684\uFF0C\u548C\u53EA\u5199\u7ED3\u679C\u8981\u6C42\u3001\u73B0\u72B6\u4EE3\u7801\u6EE1\u8DB3\u4E0D\u4E86\u7684\uFF0C\u4E24\u7C7B\u90FD\u7B97\u2014\u2014\u5230 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u770B\u4E0D\u5E26\u5B83\u65F6\u540C\u4E00\u5173\u5207\u600E\u4E48\u5904\u7406\u3002\u6709\u300C\u4E0D\u8981\u300D\u884C\u5728\uFF0C\u4E0D\u5F97\u7F72\uFF0C\u5C01\u9A73\u6216\u4E0A\u5448\u5E76\u70B9\u540D\u90A3\u6761\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u7B7E\u53D1\u65B9\u7B54\u8FC7\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u8981\u300D\u7684\u7406\u7531\uFF1B\u300C\u8981\u300D\u53EA\u8BA4\u793A\u8303\u91CC\u5E26\u540C\u6837\u7684\u5C42\u3002\u4E00\u6761\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
+    judgeMechanismRowSchema = mechanismRowUnion({
+      origin: typebox_exports.Union(
+        [typebox_exports.Literal("\u5B9E\u73B0\u51C0\u589E\uFF1A\u672C\u7968\u8D77\u70B9\u5230\u6240\u5BA1 HEAD \u7684\u751F\u4EA7\u4EE3\u7801\u91CC\u5DF2\u6709\u7684"), typebox_exports.Literal("\u672C\u5224\u5904\u65B9\uFF1A\u672C\u8F6E\u5224\u8BCD\u7684\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684")],
+        { description: "\u8FD9\u4E00\u5C42\u4ECE\u54EA\u6765\u3002\u5904\u65B9\u884C\u7684 where \u5199\u5904\u65B9\u539F\u6587\u800C\u4E0D\u662F path:line\uFF1B\u5904\u65B9\u4F1A\u957F\u51FA\u793A\u8303\u4E0D\u5E26\u7684\u5C42\uFF0C\u5904\u65B9\u672C\u8EAB\u5C31\u4E0D\u80FD\u5F00" }
+      )
+    });
+    judgeSubmissionSchema = withTerminatingOutputDeclarations(
+      typebox_exports.Object(
+        {
+          status: reviewStatusField,
+          ...reviewNarrativeFields,
+          mechanisms: typebox_exports.Array(judgeMechanismRowSchema, {
+            description: "\u5B58\u5E9F\u5C3A\uFF1A\u6240\u5BA1\u5B9E\u73B0\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD \u751F\u4EA7\u4EE3\u7801\u65B0\u589E\u7684\u6BCF\u4E00\u5904\u4F9D\u8D56\u884C\u3001\u8DE8\u8C03\u7528\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u88C5\u9970\u6216\u5305\u88C5\u5404\u4E00\u884C\uFF08origin \u5B9E\u73B0\u51C0\u589E\uFF09\uFF0C\u518D\u52A0\u672C\u8F6E\u5224\u8BCD\u6BCF\u6761\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684\u6BCF\u4E00\u5C42\u5404\u4E00\u884C\uFF08origin \u672C\u5224\u5904\u65B9\uFF09\u3002\u6BCF\u884C\u53EA\u95EE\u4E00\u4EF6\u4E8B\uFF1A\u8FD9\u4E00\u5173\u5207\uFF08\u8BFB\u590D\u7528\u3001\u5E76\u53D1\u3001\u5931\u6548\u2026\u2026\uFF09\u5728 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u600E\u4E48\u5904\u7406\u2014\u2014\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF0C\u5C31\u662F\u5220\uFF1B\u4E0D\u95EE\u7968\u9762\u90A3\u53E5\u8981\u6C42\u80FD\u4E0D\u80FD\u9760\u793A\u8303\u6EE1\u8DB3\u3002\u7968\u9762\u8981\u6C42\u8D85\u8FC7\u793A\u8303\u7684\uFF0C\u884C\u7167\u586B\u5220\uFF0C\u90A3\u53E5\u8981\u6C42\u4E0A\u5448\u3002\u6709\u300C\u5220\u300D\u884C\uFF1A\u5B9E\u73B0\u91CC\u7684\uFF0C\u5224\u5220\u6216\u4E0A\u5448\uFF0C\u4E0D\u5F97\u636E\u4EE5\u7F72\u6536\u655B\uFF1B\u5904\u65B9\u91CC\u7684\uFF0C\u90A3\u6761\u5904\u65B9\u4E0D\u80FD\u5F00\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u65BD\u5DE5\u81EA\u8FF0\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u7559\u300D\u7684\u7406\u7531\u3002\u884C\u53EA\u80FD\u8FDB\u8FD9\u5F20\u8868\uFF1A\u4E0D\u53E6\u5F00\u5B57\u6BB5\u5B58\u653E\uFF0C\u4E0D\u7559\u300C\u5F85\u5B9A\u300D\uFF1B\u4E00\u5904\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
     inspectorSubmissionSchema = withTerminatingOutputDeclarations(
       typebox_exports.Object(
         {
@@ -9843,9 +9885,9 @@ var init_role_submission_declarations = __esm({
     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",
+        description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF08\u542B\u6240\u5BA1\u5B9E\u73B0\u4E0E\u672C\u5224\u5904\u65B9\u7684\u5B58\u5E9F\u5C3A mechanisms\uFF09\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
+        parameters: judgeSubmissionSchema
       },
       fixer: {
         label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
@@ -9890,9 +9932,9 @@ var init_role_submission_declarations = __esm({
       },
       countersign: {
         label: "\u7ED9\u4E8B\u4E2D\u8F93\u51FA",
-        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\u3002",
+        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\uFF08\u542B\u73B0\u884C\u7968\u9762\u6761\u6B3E\u7684\u5B58\u5E9F\u5C3A existence\uFF09\u3002",
         promptSnippet: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE",
-        parameters: reviewSubmissionSchema
+        parameters: countersignSubmissionSchema
       },
       secretariat: {
         label: "\u4E2D\u4E66\u7701\u8F93\u51FA",

package/dist/public-cli/main.js

@@ -9197,7 +9197,7 @@ var init_navigator_output = __esm({
 });
 
 // src/review-submission.ts
-var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
+var REVIEW_SUBMISSION_OUTPUT_TOOL_NAME, REVIEW_QUEUE_WORDS, REVIEW_QUEUE_STATUSES, reviewStatusField, reviewNarrativeFields, reviewSubmissionSchema, notaryClauseItemSchema, notaryClausesField, notaryReviewSubmissionSchema, ticketComplexityRowSchema, mechanismRowBase, MECHANISM_FRAMEWORK_RULE, existenceRowUnion, MECHANISM_LABELS, mechanismRowUnion, mechanismRowSchema, auditorMechanismRowSchema, clauseRowBase, CLAUSE_LABELS, clauseExistenceRowSchema, countersignSubmissionSchema, judgeMechanismRowSchema, judgeSubmissionSchema, inspectorSubmissionSchema, auditorSubmissionSchema;
 var init_review_submission = __esm({
   "src/review-submission.ts"() {
     "use strict";
@@ -9295,39 +9295,81 @@ var init_review_submission = __esm({
       layer: typebox_exports.Integer({ description: "\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD\uFF0C\u8FD9\u662F\u7B2C\u51E0\u5904\u8FD9\u6837\u7684\u65B0\u589E\uFF08\u542B\u524D\u51E0\u8F6E\u5DF2\u7F72\u8FC7\u7684\uFF09" })
     };
     MECHANISM_FRAMEWORK_RULE = "\u6846\u67B6\u662F\u4ED3\u5E93 ADR \u6216\u7968\u9762\u70B9\u540D\u7684\u90A3\u4E00\u4E2A\uFF08\u8BFB\u5199\u6A21\u578B\u3001Web\u3001\u6D4B\u8BD5\u7B49\u6846\u67B6\uFF09\uFF0C\u4E0D\u662F\u5E2D\u4F4D\u81EA\u9009\uFF1B\u5B9E\u73B0\u8FD9\u4E00\u5C42\u6240\u7528\u7684\u5E93\uFF08ORM\u3001\u7F13\u5B58\u5E93\u3001\u89E3\u6790\u5E93\uFF09\u4E0D\u662F\u6846\u67B6\uFF0C\u5B83\u7684 API \u9875\u6216\u793A\u4F8B\u586B\u4E0D\u8FDB\u8FD9\u683C\u2014\u2014\u90A3\u7B54\u7684\u662F\u300C\u8FD9\u5C42\u600E\u4E48\u505A\u300D\uFF0C\u8FD9\u683C\u95EE\u7684\u662F\u300C\u793A\u8303\u4E0D\u5E26\u8FD9\u5C42\u600E\u4E48\u529E\u300D";
-    mechanismRowUnion = (extra = {}) => typebox_exports.Union(
+    existenceRowUnion = (base, labels, extra = {}) => typebox_exports.Union(
       [
         typebox_exports.Object(
           {
-            ...mechanismRowBase,
+            ...base,
             official: typebox_exports.String({
               description: `\u8FD9\u6BB5\u4EE3\u7801\u6240\u5C5E\u5E94\u7528\u6846\u67B6\u7684\u5B98\u65B9\u793A\u8303\u91CC\uFF0C\u4E0D\u5E26\u8FD9\u4E00\u5C42\u65F6\u540C\u4E00\u5173\u5207\u600E\u4E48\u5904\u7406\uFF1A\u5148\u5199\u6846\u67B6\u540D\uFF0C\u518D\u94FE\u63A5\uFF0B\u539F\u53E5\uFF08\u793A\u8303\u91CC\u76F4\u63A5\u8BFB\u3001\u76F4\u63A5\u67E5\u3001\u4EA4\u7ED9\u6846\u67B6\u54EA\u9879\u8BBE\u7F6E\uFF09\u3002${MECHANISM_FRAMEWORK_RULE}`
             }),
-            disposition: typebox_exports.Literal("\u5220\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", { description: "official \u586B\u4E86\u5B57\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
+            disposition: typebox_exports.Literal(labels.without, { description: "official \u586B\u4E86\u5B57\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
             ...extra
           },
           { additionalProperties: true }
         ),
         typebox_exports.Object(
           {
-            ...mechanismRowBase,
+            ...base,
             official: typebox_exports.Null({
-              description: `\u793A\u8303\u4EE3\u7801\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u6216\u4F9D\u8D56\uFF1A\u586B null\uFF0C\u5E76\u5728 keeps \u672B\u5C3E\u5199\u6846\u67B6\u540D\u4E0E\u793A\u8303\u91CC\u90A3\u4E00\u5904\u3002${MECHANISM_FRAMEWORK_RULE}`
+              description: `\u793A\u8303\u4EE3\u7801\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u6216\u4F9D\u8D56\uFF1A\u586B null\uFF0C\u5E76\u5728 ${labels.evidenceField} \u672B\u5C3E\u5199\u6846\u67B6\u540D\u4E0E\u793A\u8303\u91CC\u90A3\u4E00\u5904\u3002${MECHANISM_FRAMEWORK_RULE}`
             }),
-            disposition: typebox_exports.Literal("\u7559\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", { description: "official \u4E3A null\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
+            disposition: typebox_exports.Literal(labels.carries, { description: "official \u4E3A null\uFF0C\u8FD9\u4E00\u884C\u53EA\u80FD\u662F\u8FD9\u4E2A\u5904\u7F6E" }),
             ...extra
           },
           { additionalProperties: true }
         )
       ],
-      { description: "\u4E24\u79CD\u884C\u5F62\uFF0C\u6CA1\u6709\u7B2C\u4E09\u79CD\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF08official \u586B\u5B57\uFF0C\u5220\uFF09\uFF1B\u793A\u8303\u672C\u8EAB\u5C31\u5E26\u540C\u6837\u7684\u5C42\uFF08official null\uFF0C\u7559\uFF09" }
+      { description: `\u4E24\u79CD\u884C\u5F62\uFF0C\u6CA1\u6709\u7B2C\u4E09\u79CD\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF08official \u586B\u5B57\uFF0C${labels.without.split("\uFF1A")[0]}\uFF09\uFF1B\u793A\u8303\u672C\u8EAB\u5C31\u5E26\u540C\u6837\u7684\u5C42\uFF08official null\uFF0C${labels.carries.split("\uFF1A")[0]}\uFF09` }
     );
+    MECHANISM_LABELS = { without: "\u5220\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", carries: "\u7559\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", evidenceField: "keeps" };
+    mechanismRowUnion = (extra = {}) => existenceRowUnion(mechanismRowBase, MECHANISM_LABELS, extra);
     mechanismRowSchema = mechanismRowUnion();
     auditorMechanismRowSchema = mechanismRowUnion({
       judgeSaid: typebox_exports.Union([typebox_exports.String(), typebox_exports.Null()], {
         description: "\u5927\u7406\u5BFA\u5224\u8BCD\u91CC\u88C1\u5230\u8FD9\u4E00\u5C42\u7684\u90A3\u53E5\u539F\u6587\uFF08\u7167\u6284\uFF09\uFF1B\u5224\u8BCD\u6CA1\u63D0\u8FD9\u4E00\u5C42\uFF0C\u586B null"
       })
     });
+    clauseRowBase = {
+      clause: typebox_exports.String({ description: "\u73B0\u884C\u7968\u9762\u91CC\u8BA9\u67D0\u4E2A\u673A\u5236\u5B58\u5728\u7684\u90A3\u6761\u6761\u6B3E\u539F\u6587\uFF08\u7167\u6284\uFF0C\u4E0D\u5408\u5E76\u3001\u4E0D\u6539\u5199\uFF09" }),
+      kind: typebox_exports.Union(
+        [typebox_exports.Literal("\u660E\u5199\u673A\u5236\uFF1A\u6761\u6B3E\u81EA\u5DF1\u70B9\u540D\u4E86\u72B6\u6001\u3001\u8868\u3001\u7F13\u5B58\u3001\u9501\u3001\u4F9D\u8D56"), typebox_exports.Literal("\u53EA\u5199\u7ED3\u679C\uFF1A\u6761\u6B3E\u53EA\u63D0\u8981\u6C42\uFF0C\u73B0\u72B6\u4EE3\u7801\u6EE1\u8DB3\u4E0D\u4E86\uFF0C\u5F97\u957F\u51FA\u673A\u5236\u624D\u505A\u5F97\u5230")],
+        { description: "\u4E24\u7C7B\u90FD\u8981\u5217\u3002\u7B2C\u4E8C\u7C7B\u6700\u5BB9\u6613\u6F0F\uFF1A\u96F6\u91CD\u590D\u3001\u8DE8\u63D0\u4EA4\u4E0D\u91CD\u8BFB\u3001\u4E0D\u5EFA\u8C41\u514D\u3001\u6BCF X \u53EA\u505A\u4E00\u6B21\u3001\u6C38\u4E0D Y\u2014\u2014\u8FD9\u79CD\u53E5\u5B50\u6CA1\u5199\u673A\u5236\u4E24\u4E2A\u5B57\uFF0C\u5374\u53EA\u80FD\u9760\u65B0\u72B6\u6001\u3001\u7F13\u5B58\u3001\u5931\u6548\u89C4\u5219\u6EE1\u8DB3\uFF1B\u5148\u6253\u5F00\u73B0\u72B6\u4EE3\u7801\u6838\u4E00\u904D\u5B83\u505A\u4E0D\u505A\u5F97\u5230\uFF0C\u505A\u4E0D\u5230\u5C31\u662F\u8FD9\u7C7B" }
+      ),
+      makes: typebox_exports.String({ description: "\u8FD9\u6761\u6761\u6B3E\u843D\u5B9E\u540E\u4F1A\u8BA9\u4EC0\u4E48\u4E1C\u897F\u5B58\u5728\uFF1A\u8DE8\u8C03\u7528\u4FDD\u5B58\u7684\u72B6\u6001\u3001\u7F13\u5B58\u3001\u9501\u3001\u5931\u6548\u89C4\u5219\u3001\u9884\u8BA1\u7B97\u3001\u65B0\u4F9D\u8D56\uFF1B\u5199\u51FA\u5B83\u7684\u5F62\u72B6\u3002\u53EA\u5199\u7ED3\u679C\u7684\u6761\u6B3E\uFF0C\u5199\u6EE1\u8DB3\u5B83\u5FC5\u987B\u957F\u51FA\u7684\u90A3\u6837\u4E1C\u897F" })
+    };
+    CLAUSE_LABELS = { without: "\u4E0D\u8981\uFF1A\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86", carries: "\u8981\uFF1A\u793A\u8303\u672C\u8EAB\u5C31\u4E3A\u540C\u4E00\u5173\u5207\u5E26\u540C\u6837\u7684\u5C42", evidenceField: "makes" };
+    clauseExistenceRowSchema = existenceRowUnion(clauseRowBase, CLAUSE_LABELS);
+    countersignSubmissionSchema = withTerminatingOutputDeclarations(
+      typebox_exports.Object(
+        {
+          status: reviewStatusField,
+          ...reviewNarrativeFields,
+          existence: typebox_exports.Array(clauseExistenceRowSchema, {
+            description: "\u5B58\u5E9F\u5C3A\uFF1A\u73B0\u884C\u7968\u9762\u6BCF\u6761\u8BA9\u673A\u5236\u5B58\u5728\u7684\u6761\u6B3E\u5404\u4E00\u884C\u2014\u2014\u660E\u5199\u673A\u5236\u7684\uFF0C\u548C\u53EA\u5199\u7ED3\u679C\u8981\u6C42\u3001\u73B0\u72B6\u4EE3\u7801\u6EE1\u8DB3\u4E0D\u4E86\u7684\uFF0C\u4E24\u7C7B\u90FD\u7B97\u2014\u2014\u5230 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u770B\u4E0D\u5E26\u5B83\u65F6\u540C\u4E00\u5173\u5207\u600E\u4E48\u5904\u7406\u3002\u6709\u300C\u4E0D\u8981\u300D\u884C\u5728\uFF0C\u4E0D\u5F97\u7F72\uFF0C\u5C01\u9A73\u6216\u4E0A\u5448\u5E76\u70B9\u540D\u90A3\u6761\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u7B7E\u53D1\u65B9\u7B54\u8FC7\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u8981\u300D\u7684\u7406\u7531\uFF1B\u300C\u8981\u300D\u53EA\u8BA4\u793A\u8303\u91CC\u5E26\u540C\u6837\u7684\u5C42\u3002\u4E00\u6761\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
+    judgeMechanismRowSchema = mechanismRowUnion({
+      origin: typebox_exports.Union(
+        [typebox_exports.Literal("\u5B9E\u73B0\u51C0\u589E\uFF1A\u672C\u7968\u8D77\u70B9\u5230\u6240\u5BA1 HEAD \u7684\u751F\u4EA7\u4EE3\u7801\u91CC\u5DF2\u6709\u7684"), typebox_exports.Literal("\u672C\u5224\u5904\u65B9\uFF1A\u672C\u8F6E\u5224\u8BCD\u7684\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684")],
+        { description: "\u8FD9\u4E00\u5C42\u4ECE\u54EA\u6765\u3002\u5904\u65B9\u884C\u7684 where \u5199\u5904\u65B9\u539F\u6587\u800C\u4E0D\u662F path:line\uFF1B\u5904\u65B9\u4F1A\u957F\u51FA\u793A\u8303\u4E0D\u5E26\u7684\u5C42\uFF0C\u5904\u65B9\u672C\u8EAB\u5C31\u4E0D\u80FD\u5F00" }
+      )
+    });
+    judgeSubmissionSchema = withTerminatingOutputDeclarations(
+      typebox_exports.Object(
+        {
+          status: reviewStatusField,
+          ...reviewNarrativeFields,
+          mechanisms: typebox_exports.Array(judgeMechanismRowSchema, {
+            description: "\u5B58\u5E9F\u5C3A\uFF1A\u6240\u5BA1\u5B9E\u73B0\u4ECE\u672C\u7968\u8D77\u70B9\u5230 HEAD \u751F\u4EA7\u4EE3\u7801\u65B0\u589E\u7684\u6BCF\u4E00\u5904\u4F9D\u8D56\u884C\u3001\u8DE8\u8C03\u7528\u72B6\u6001\u3001\u9501\u3001\u7F13\u5B58\u88C5\u9970\u6216\u5305\u88C5\u5404\u4E00\u884C\uFF08origin \u5B9E\u73B0\u51C0\u589E\uFF09\uFF0C\u518D\u52A0\u672C\u8F6E\u5224\u8BCD\u6BCF\u6761\u5904\u65B9\u6216\u7EA6\u675F\u843D\u5B9E\u540E\u4F1A\u957F\u51FA\u7684\u6BCF\u4E00\u5C42\u5404\u4E00\u884C\uFF08origin \u672C\u5224\u5904\u65B9\uFF09\u3002\u6BCF\u884C\u53EA\u95EE\u4E00\u4EF6\u4E8B\uFF1A\u8FD9\u4E00\u5173\u5207\uFF08\u8BFB\u590D\u7528\u3001\u5E76\u53D1\u3001\u5931\u6548\u2026\u2026\uFF09\u5728 ADR\uFF0F\u7968\u9762\u70B9\u540D\u7684\u5E94\u7528\u6846\u67B6\u5B98\u65B9\u793A\u8303\u91CC\u600E\u4E48\u5904\u7406\u2014\u2014\u793A\u8303\u4E0D\u5E26\u8FD9\u4E00\u5C42\u4E5F\u5904\u7406\u5F97\u4E86\uFF0C\u5C31\u662F\u5220\uFF1B\u4E0D\u95EE\u7968\u9762\u90A3\u53E5\u8981\u6C42\u80FD\u4E0D\u80FD\u9760\u793A\u8303\u6EE1\u8DB3\u3002\u7968\u9762\u8981\u6C42\u8D85\u8FC7\u793A\u8303\u7684\uFF0C\u884C\u7167\u586B\u5220\uFF0C\u90A3\u53E5\u8981\u6C42\u4E0A\u5448\u3002\u6709\u300C\u5220\u300D\u884C\uFF1A\u5B9E\u73B0\u91CC\u7684\uFF0C\u5224\u5220\u6216\u4E0A\u5448\uFF0C\u4E0D\u5F97\u636E\u4EE5\u7F72\u6536\u655B\uFF1B\u5904\u65B9\u91CC\u7684\uFF0C\u90A3\u6761\u5904\u65B9\u4E0D\u80FD\u5F00\u3002\u7968\u9762\u5DF2\u5199\u3001\u524D\u8F6E\u5224\u8BCD\u8981\u6C42\u8FC7\u3001\u65BD\u5DE5\u81EA\u8FF0\u3001\u965B\u4E0B\u5BF9\u522B\u7684\u9898\u70B9\u8FC7\u5934\uFF0C\u90FD\u4E0D\u662F\u300C\u7559\u300D\u7684\u7406\u7531\u3002\u884C\u53EA\u80FD\u8FDB\u8FD9\u5F20\u8868\uFF1A\u4E0D\u53E6\u5F00\u5B57\u6BB5\u5B58\u653E\uFF0C\u4E0D\u7559\u300C\u5F85\u5B9A\u300D\uFF1B\u4E00\u5904\u6CA1\u6709\u4E3A\u7A7A\u6570\u7EC4\u3002"
+          })
+        },
+        { additionalProperties: true }
+      )
+    );
     inspectorSubmissionSchema = withTerminatingOutputDeclarations(
       typebox_exports.Object(
         {
@@ -11583,9 +11625,9 @@ var init_role_submission_declarations = __esm({
     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",
+        description: "\u63D0\u4EA4\u5927\u7406\u5BFA\u7EC8\u5C40\u5224\u8BCD\uFF08\u542B\u6240\u5BA1\u5B9E\u73B0\u4E0E\u672C\u5224\u5904\u65B9\u7684\u5B58\u5E9F\u5C3A mechanisms\uFF09\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
+        parameters: judgeSubmissionSchema
       },
       fixer: {
         label: "\u4FEE\u5185\u53F8\u8F93\u51FA",
@@ -11630,9 +11672,9 @@ var init_role_submission_declarations = __esm({
       },
       countersign: {
         label: "\u7ED9\u4E8B\u4E2D\u8F93\u51FA",
-        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\u3002",
+        description: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE\uFF08\u542B\u73B0\u884C\u7968\u9762\u6761\u6B3E\u7684\u5B58\u5E9F\u5C3A existence\uFF09\u3002",
         promptSnippet: "\u7ED9\u4E8B\u4E2D\u51B3\u8BAE",
-        parameters: reviewSubmissionSchema
+        parameters: countersignSubmissionSchema
       },
       secretariat: {
         label: "\u4E2D\u4E66\u7701\u8F93\u51FA",

package/dist/review-submission.js

@@ -94,25 +94,26 @@ const mechanismRowBase = {
     layer: Type.Integer({ description: "从本票起点到 HEAD，这是第几处这样的新增（含前几轮已署过的）" }),
 };
 const MECHANISM_FRAMEWORK_RULE = "框架是仓库 ADR 或票面点名的那一个（读写模型、Web、测试等框架），不是席位自选；实现这一层所用的库（ORM、缓存库、解析库）不是框架，它的 API 页或示例填不进这格——那答的是「这层怎么做」，这格问的是「示范不带这层怎么办」";
-/** The two row shapes, with any extra per-row fields a seat needs (the auditor adds what the verdict said about the layer). */
-const mechanismRowUnion = (extra = {}) => Type.Union([
+const existenceRowUnion = (base, labels, extra = {}) => Type.Union([
     Type.Object({
-        ...mechanismRowBase,
+        ...base,
         official: Type.String({
             description: `这段代码所属应用框架的官方示范里，不带这一层时同一关切怎么处理：先写框架名，再链接＋原句（示范里直接读、直接查、交给框架哪项设置）。${MECHANISM_FRAMEWORK_RULE}`,
         }),
-        disposition: Type.Literal("删：示范不带这一层也处理得了", { description: "official 填了字，这一行只能是这个处置" }),
+        disposition: Type.Literal(labels.without, { description: "official 填了字，这一行只能是这个处置" }),
         ...extra,
     }, { additionalProperties: true }),
     Type.Object({
-        ...mechanismRowBase,
+        ...base,
         official: Type.Null({
-            description: `示范代码本身就为同一关切带同样的状态、锁、缓存或依赖：填 null，并在 keeps 末尾写框架名与示范里那一处。${MECHANISM_FRAMEWORK_RULE}`,
+            description: `示范代码本身就为同一关切带同样的状态、锁、缓存或依赖：填 null，并在 ${labels.evidenceField} 末尾写框架名与示范里那一处。${MECHANISM_FRAMEWORK_RULE}`,
         }),
-        disposition: Type.Literal("留：示范本身就为同一关切带同样的层", { description: "official 为 null，这一行只能是这个处置" }),
+        disposition: Type.Literal(labels.carries, { description: "official 为 null，这一行只能是这个处置" }),
         ...extra,
     }, { additionalProperties: true }),
-], { description: "两种行形，没有第三种：示范不带这一层也处理得了（official 填字，删）；示范本身就带同样的层（official null，留）" });
+], { description: `两种行形，没有第三种：示范不带这一层也处理得了（official 填字，${labels.without.split("：")[0]}）；示范本身就带同样的层（official null，${labels.carries.split("：")[0]}）` });
+const MECHANISM_LABELS = { without: "删：示范不带这一层也处理得了", carries: "留：示范本身就为同一关切带同样的层", evidenceField: "keeps" };
+const mechanismRowUnion = (extra = {}) => existenceRowUnion(mechanismRowBase, MECHANISM_LABELS, extra);
 export const mechanismRowSchema = mechanismRowUnion();
 /** Auditor row: the inspector row plus what the judge's verdict said about this layer, verbatim, or null when the verdict never touched it. */
 export const auditorMechanismRowSchema = mechanismRowUnion({
@@ -120,6 +121,34 @@ export const auditorMechanismRowSchema = mechanismRowUnion({
         description: "大理寺判词里裁到这一层的那句原文（照抄）；判词没提这一层，填 null",
     }),
 });
+/** 存废尺 row for a ticket clause: what the clause makes exist, against the framework's example. */
+const clauseRowBase = {
+    clause: Type.String({ description: "现行票面里让某个机制存在的那条条款原文（照抄，不合并、不改写）" }),
+    kind: Type.Union([Type.Literal("明写机制：条款自己点名了状态、表、缓存、锁、依赖"), Type.Literal("只写结果：条款只提要求，现状代码满足不了，得长出机制才做得到")], { description: "两类都要列。第二类最容易漏：零重复、跨提交不重读、不建豁免、每 X 只做一次、永不 Y——这种句子没写机制两个字，却只能靠新状态、缓存、失效规则满足；先打开现状代码核一遍它做不做得到，做不到就是这类" }),
+    makes: Type.String({ description: "这条条款落实后会让什么东西存在：跨调用保存的状态、缓存、锁、失效规则、预计算、新依赖；写出它的形状。只写结果的条款，写满足它必须长出的那样东西" }),
+};
+const CLAUSE_LABELS = { without: "不要：示范不带这一层也处理得了", carries: "要：示范本身就为同一关切带同样的层", evidenceField: "makes" };
+export const clauseExistenceRowSchema = existenceRowUnion(clauseRowBase, CLAUSE_LABELS);
+/** Countersign generation schema: shared review face plus the 存废尺 over the current ticket's clauses (package records as-is). */
+export const countersignSubmissionSchema = withTerminatingOutputDeclarations(Type.Object({
+    status: reviewStatusField,
+    ...reviewNarrativeFields,
+    existence: Type.Array(clauseExistenceRowSchema, {
+        description: "存废尺：现行票面每条让机制存在的条款各一行——明写机制的，和只写结果要求、现状代码满足不了的，两类都算——到 ADR／票面点名的应用框架官方示范里看不带它时同一关切怎么处理。有「不要」行在，不得署，封驳或上呈并点名那条。票面已写、前轮判词要求过、签发方答过、陛下对别的题点过头，都不是「要」的理由；「要」只认示范里带同样的层。一条没有为空数组。",
+    }),
+}, { additionalProperties: true }));
+/** Judge row: the mechanism row plus where the layer comes from — the implementation under judgment, or the judge's own prescription. */
+export const judgeMechanismRowSchema = mechanismRowUnion({
+    origin: Type.Union([Type.Literal("实现净增：本票起点到所审 HEAD 的生产代码里已有的"), Type.Literal("本判处方：本轮判词的处方或约束落实后会长出的")], { description: "这一层从哪来。处方行的 where 写处方原文而不是 path:line；处方会长出示范不带的层，处方本身就不能开" }),
+});
+/** Judge generation schema: shared review face plus the 存废尺 over everything the verdict rules on (package records as-is). */
+export const judgeSubmissionSchema = withTerminatingOutputDeclarations(Type.Object({
+    status: reviewStatusField,
+    ...reviewNarrativeFields,
+    mechanisms: Type.Array(judgeMechanismRowSchema, {
+        description: "存废尺：所审实现从本票起点到 HEAD 生产代码新增的每一处依赖行、跨调用状态、锁、缓存装饰或包装各一行（origin 实现净增），再加本轮判词每条处方或约束落实后会长出的每一层各一行（origin 本判处方）。每行只问一件事：这一关切（读复用、并发、失效……）在 ADR／票面点名的应用框架官方示范里怎么处理——示范不带这一层也处理得了，就是删；不问票面那句要求能不能靠示范满足。票面要求超过示范的，行照填删，那句要求上呈。有「删」行：实现里的，判删或上呈，不得据以署收敛；处方里的，那条处方不能开。票面已写、前轮判词要求过、施工自述、陛下对别的题点过头，都不是「留」的理由。行只能进这张表：不另开字段存放，不留「待定」；一处没有为空数组。",
+    }),
+}, { additionalProperties: true }));
 /** Inspector generation schema: shared review face plus the required whole-ticket complexity answer (package records as-is). */
 export const inspectorSubmissionSchema = withTerminatingOutputDeclarations(Type.Object({
     status: reviewStatusField,

package/dist/role-submission-declarations.js

@@ -5,7 +5,7 @@
  * Execute lives in filed-submission.ts.
  */
 import { packagedRoleOutputTool } from "./packaged-role-registry.js";
-import { auditorSubmissionSchema, notaryReviewSubmissionSchema, inspectorSubmissionSchema, reviewSubmissionSchema } from "./review-submission.js";
+import { auditorSubmissionSchema, countersignSubmissionSchema, judgeSubmissionSchema, notaryReviewSubmissionSchema, inspectorSubmissionSchema, reviewSubmissionSchema } from "./review-submission.js";
 import { collectorOutputArgsSchema } from "./collector-tool-schemas.js";
 import { diaristOutputSchema } from "./diarist-contracts.js";
 import { doctorSubmissionSchema, DOCTOR_OUTPUT_TOOL_DESCRIPTION } from "./doctor-contracts.js";
@@ -20,9 +20,9 @@ import { coderOutputSchema } from "./package-contracts/worker-output.js";
 const SUBMISSION_FACE = {
     judge: {
         label: "大理寺输出",
-        description: "提交大理寺终局判词；交卷调用结束后，由公开调用接缝按判词状态执行适用审核。",
+        description: "提交大理寺终局判词（含所审实现与本判处方的存废尺 mechanisms）；交卷调用结束后，由公开调用接缝按判词状态执行适用审核。",
         promptSnippet: "提交大理寺终局判词",
-        parameters: reviewSubmissionSchema,
+        parameters: judgeSubmissionSchema,
     },
     fixer: {
         label: "修内司输出",
@@ -67,9 +67,9 @@ const SUBMISSION_FACE = {
     },
     countersign: {
         label: "给事中输出",
-        description: "给事中决议。",
+        description: "给事中决议（含现行票面条款的存废尺 existence）。",
         promptSnippet: "给事中决议",
-        parameters: reviewSubmissionSchema,
+        parameters: countersignSubmissionSchema,
     },
     secretariat: {
         label: "中书省输出",

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@akagilnc/pi-workflow-roles",
-  "version": "0.1.6067",
+  "version": "0.1.6074",
   "description": "Soul-bound workflow roles for Pi",
   "type": "module",
   "license": "Apache-2.0",

package/souls/countersign.md

@@ -24,7 +24,7 @@
 
 **四、缺失** 法源要求的，票面有没有漏：适用法只查两类：票面与某条 ADR 决定相抵的，和把某条决定留给别的票承接的，票面须写明该条与「由 #x 承接」；这两类之外的 ADR 没引不算缺失，不得为此封驳；验收面须覆盖票面每条主张；票面里每一条行为都须答得出《送庭前三问》第一问：起、停、续、终、接各归谁没写的行为，即缺失；给模型、入口或调用方定了读写范围、却没按《设计法·好设计稿》写明一次给多少的，即缺失，沿用父票或 ADR 的也一样；前置产物、决定、答复须在；承重主张的源头不存在、不支持、已过时，同为缺失。缺失列表在能力范围内一次扫完，尽量避免因缺失导致多轮往返。
 
-**五、擅加** 票面有没有超出法源的机制、约束、验收、术语。票面按类各定一套行为或文案的，就是在要分类机制；陛下没点名要的，上呈，附单一做法。
+**五、擅加** 票面有没有超出法源的机制、约束、验收、术语。票面按类各定一套行为或文案的，就是在要分类机制；陛下没点名要的，上呈，附单一做法。存废尺按条款过：票面每条让机制存在的条款各记一行进 existence——条款自己点名了状态、表、缓存、锁、依赖的是一类；只写结果要求（零重复、跨提交不重读、不建豁免、每 X 只做一次）而现状代码满足不了、得长出机制才做得到的是另一类，先打开现状代码核它做不做得到——到 ADR／票面点名的应用框架官方示范里看不带它时同一关切怎么处理；示范不带也处理得了的，这条不要，不得署。票面已写、前轮判词要求过、签发方答过、陛下对别的题点过头，都不是要它的理由——要，只认示范里本来就带同样的层。
 
 各步取证按《审法·取证授权》：工具与方式不受限，读码、开卷、传召、下探针皆可；不得删除、覆写或移动 worktree 与临时目录之外的既存路径（《审法·取证边界》）。交付时候清理回原样
 

package/souls/judge.md

@@ -9,7 +9,7 @@ Judge Soul（大理寺）
 五、裁断。 主张不是证据。一切 LLM 主张须亲验；当前事实只认当前 head，修复者自述不能替代新 head 上的机械验证与独立复查。机器执行的事实怎么核，见《审法·取证授权》。
 事实与处方分判：事实成立而处方违法源，保留事实，驳回处方或另开合法处方。 每条问题显式记录和处置，严重度由你裁定，不因级别低而遗漏或暗降；裁决与驳回须锚定法源和证据。依当前一手证据独立双向抽样重推，误删与该删未删同查。
 测试质量须亲审。取证与同类复核依《审法》；复杂度、测试质量与成本依《质量法》，不另立一套标准。
-删简根因优先。护栏类 finding（防误用、交错、边角的检查或绑定）无真实可复现的失败或历史实例的，按过度防御驳回，不列 P1；票面明写不做的机制，处方不得开（越权加戏）。批准护栏须说明不变式所属接缝及为何删简根因不足。
+删简根因优先。存废尺按层过：所审实现净增的每一处跨调用状态、锁、缓存、依赖，和你每条处方落实后会长出的每一层，各记一行进 mechanisms。每行只问一件事：这一关切在 ADR／票面点名的应用框架官方示范里怎么处理——示范不带这一层也处理得了，就填删；不问票面那句要求能不能靠示范满足，票面要求超过示范的，行照填删、那句要求上呈。实现里的删行判删或上呈，处方里的删行那条处方不能开；票面已写、前轮判词要求过、施工自述、陛下对别的题点过头，都不是留它的理由。行只进 mechanisms，不另开字段存放、不留待定。护栏类 finding（防误用、交错、边角的检查或绑定）无真实可复现的失败或历史实例的，按过度防御驳回，不列 P1；票面明写不做的机制，处方不得开（越权加戏）。批准护栏须说明不变式所属接缝及为何删简根因不足。
 区分原缺陷所需改动、修复自身造成的返工、无依据的新机制；后两类主导时优先拆除或简化。同缝反复、根因不明、范围发散、疑跨接缝或 flake，先做最小化、证据驱动的诊断，不继续猜修。一轮轮只加不减，本身就是须上报的问题。
 判词
 

package/src/review-submission.ts

@@ -136,36 +136,49 @@ const mechanismRowBase = {
 const MECHANISM_FRAMEWORK_RULE =
   "框架是仓库 ADR 或票面点名的那一个（读写模型、Web、测试等框架），不是席位自选；实现这一层所用的库（ORM、缓存库、解析库）不是框架，它的 API 页或示例填不进这格——那答的是「这层怎么做」，这格问的是「示范不带这层怎么办」";
 
-/** The two row shapes, with any extra per-row fields a seat needs (the auditor adds what the verdict said about the layer). */
-const mechanismRowUnion = (extra: Record<string, ReturnType<typeof Type.Union> | ReturnType<typeof Type.String>> = {}) =>
+/**
+ * The two row shapes of the 存废尺 (existence ruler), with any extra per-row fields a seat needs.
+ * `base` names the thing (a production line for 台院／大理寺／审刑院, a ticket clause for 中书省／给事中);
+ * `labels` are the two dispositions (删／留 for code, 不要／要 for clauses). The coupling is the same everywhere:
+ * official filled = the example manages without it; official null = the example carries the same layer.
+ */
+type RowFields = Record<string, ReturnType<typeof Type.String> | ReturnType<typeof Type.Integer> | ReturnType<typeof Type.Union>>;
+const existenceRowUnion = (
+  base: RowFields,
+  labels: { readonly without: string; readonly carries: string; readonly evidenceField: string },
+  extra: RowFields = {},
+) =>
   Type.Union(
     [
       Type.Object(
         {
-          ...mechanismRowBase,
+          ...base,
           official: Type.String({
             description: `这段代码所属应用框架的官方示范里，不带这一层时同一关切怎么处理：先写框架名，再链接＋原句（示范里直接读、直接查、交给框架哪项设置）。${MECHANISM_FRAMEWORK_RULE}`,
           }),
-          disposition: Type.Literal("删：示范不带这一层也处理得了", { description: "official 填了字，这一行只能是这个处置" }),
+          disposition: Type.Literal(labels.without, { description: "official 填了字，这一行只能是这个处置" }),
           ...extra,
         },
         { additionalProperties: true },
       ),
       Type.Object(
         {
-          ...mechanismRowBase,
+          ...base,
           official: Type.Null({
-            description: `示范代码本身就为同一关切带同样的状态、锁、缓存或依赖：填 null，并在 keeps 末尾写框架名与示范里那一处。${MECHANISM_FRAMEWORK_RULE}`,
+            description: `示范代码本身就为同一关切带同样的状态、锁、缓存或依赖：填 null，并在 ${labels.evidenceField} 末尾写框架名与示范里那一处。${MECHANISM_FRAMEWORK_RULE}`,
           }),
-          disposition: Type.Literal("留：示范本身就为同一关切带同样的层", { description: "official 为 null，这一行只能是这个处置" }),
+          disposition: Type.Literal(labels.carries, { description: "official 为 null，这一行只能是这个处置" }),
           ...extra,
         },
         { additionalProperties: true },
       ),
     ],
-    { description: "两种行形，没有第三种：示范不带这一层也处理得了（official 填字，删）；示范本身就带同样的层（official null，留）" },
+    { description: `两种行形，没有第三种：示范不带这一层也处理得了（official 填字，${labels.without.split("：")[0]}）；示范本身就带同样的层（official null，${labels.carries.split("：")[0]}）` },
   );
 
+const MECHANISM_LABELS = { without: "删：示范不带这一层也处理得了", carries: "留：示范本身就为同一关切带同样的层", evidenceField: "keeps" } as const;
+const mechanismRowUnion = (extra: RowFields = {}) => existenceRowUnion(mechanismRowBase, MECHANISM_LABELS, extra);
+
 export const mechanismRowSchema = mechanismRowUnion();
 
 /** Auditor row: the inspector row plus what the judge's verdict said about this layer, verbatim, or null when the verdict never touched it. */
@@ -175,6 +188,56 @@ export const auditorMechanismRowSchema = mechanismRowUnion({
   }),
 });
 
+/** 存废尺 row for a ticket clause: what the clause makes exist, against the framework's example. */
+const clauseRowBase = {
+  clause: Type.String({ description: "现行票面里让某个机制存在的那条条款原文（照抄，不合并、不改写）" }),
+  kind: Type.Union(
+    [Type.Literal("明写机制：条款自己点名了状态、表、缓存、锁、依赖"), Type.Literal("只写结果：条款只提要求，现状代码满足不了，得长出机制才做得到")],
+    { description: "两类都要列。第二类最容易漏：零重复、跨提交不重读、不建豁免、每 X 只做一次、永不 Y——这种句子没写机制两个字，却只能靠新状态、缓存、失效规则满足；先打开现状代码核一遍它做不做得到，做不到就是这类" },
+  ),
+  makes: Type.String({ description: "这条条款落实后会让什么东西存在：跨调用保存的状态、缓存、锁、失效规则、预计算、新依赖；写出它的形状。只写结果的条款，写满足它必须长出的那样东西" }),
+} as const;
+const CLAUSE_LABELS = { without: "不要：示范不带这一层也处理得了", carries: "要：示范本身就为同一关切带同样的层", evidenceField: "makes" } as const;
+export const clauseExistenceRowSchema = existenceRowUnion(clauseRowBase, CLAUSE_LABELS);
+
+/** Countersign generation schema: shared review face plus the 存废尺 over the current ticket's clauses (package records as-is). */
+export const countersignSubmissionSchema = withTerminatingOutputDeclarations(
+  Type.Object(
+    {
+      status: reviewStatusField,
+      ...reviewNarrativeFields,
+      existence: Type.Array(clauseExistenceRowSchema, {
+        description:
+          "存废尺：现行票面每条让机制存在的条款各一行——明写机制的，和只写结果要求、现状代码满足不了的，两类都算——到 ADR／票面点名的应用框架官方示范里看不带它时同一关切怎么处理。有「不要」行在，不得署，封驳或上呈并点名那条。票面已写、前轮判词要求过、签发方答过、陛下对别的题点过头，都不是「要」的理由；「要」只认示范里带同样的层。一条没有为空数组。",
+      }),
+    },
+    { additionalProperties: true },
+  ),
+);
+
+/** Judge row: the mechanism row plus where the layer comes from — the implementation under judgment, or the judge's own prescription. */
+export const judgeMechanismRowSchema = mechanismRowUnion({
+  origin: Type.Union(
+    [Type.Literal("实现净增：本票起点到所审 HEAD 的生产代码里已有的"), Type.Literal("本判处方：本轮判词的处方或约束落实后会长出的")],
+    { description: "这一层从哪来。处方行的 where 写处方原文而不是 path:line；处方会长出示范不带的层，处方本身就不能开" },
+  ),
+});
+
+/** Judge generation schema: shared review face plus the 存废尺 over everything the verdict rules on (package records as-is). */
+export const judgeSubmissionSchema = withTerminatingOutputDeclarations(
+  Type.Object(
+    {
+      status: reviewStatusField,
+      ...reviewNarrativeFields,
+      mechanisms: Type.Array(judgeMechanismRowSchema, {
+        description:
+          "存废尺：所审实现从本票起点到 HEAD 生产代码新增的每一处依赖行、跨调用状态、锁、缓存装饰或包装各一行（origin 实现净增），再加本轮判词每条处方或约束落实后会长出的每一层各一行（origin 本判处方）。每行只问一件事：这一关切（读复用、并发、失效……）在 ADR／票面点名的应用框架官方示范里怎么处理——示范不带这一层也处理得了，就是删；不问票面那句要求能不能靠示范满足。票面要求超过示范的，行照填删，那句要求上呈。有「删」行：实现里的，判删或上呈，不得据以署收敛；处方里的，那条处方不能开。票面已写、前轮判词要求过、施工自述、陛下对别的题点过头，都不是「留」的理由。行只能进这张表：不另开字段存放，不留「待定」；一处没有为空数组。",
+      }),
+    },
+    { additionalProperties: true },
+  ),
+);
+
 /** Inspector generation schema: shared review face plus the required whole-ticket complexity answer (package records as-is). */
 export const inspectorSubmissionSchema = withTerminatingOutputDeclarations(
   Type.Object(

package/src/role-submission-declarations.ts

@@ -5,7 +5,7 @@
  * Execute lives in filed-submission.ts.
  */
 import { packagedRoleOutputTool, type PackagedRole } from "./packaged-role-registry.ts";
-import { auditorSubmissionSchema, notaryReviewSubmissionSchema, inspectorSubmissionSchema, reviewSubmissionSchema } from "./review-submission.ts";
+import { auditorSubmissionSchema, countersignSubmissionSchema, judgeSubmissionSchema, notaryReviewSubmissionSchema, inspectorSubmissionSchema, reviewSubmissionSchema } from "./review-submission.ts";
 import { collectorOutputArgsSchema } from "./collector-tool-schemas.ts";
 import { diaristOutputSchema } from "./diarist-contracts.ts";
 import { doctorSubmissionSchema, DOCTOR_OUTPUT_TOOL_DESCRIPTION } from "./doctor-contracts.ts";
@@ -32,9 +32,9 @@ type SubmissionFace = Omit<RoleSubmissionDeclaration, "role" | "name">;
 const SUBMISSION_FACE = {
   judge: {
     label: "大理寺输出",
-    description: "提交大理寺终局判词；交卷调用结束后，由公开调用接缝按判词状态执行适用审核。",
+    description: "提交大理寺终局判词（含所审实现与本判处方的存废尺 mechanisms）；交卷调用结束后，由公开调用接缝按判词状态执行适用审核。",
     promptSnippet: "提交大理寺终局判词",
-    parameters: reviewSubmissionSchema,
+    parameters: judgeSubmissionSchema,
   },
   fixer: {
     label: "修内司输出",
@@ -79,9 +79,9 @@ const SUBMISSION_FACE = {
   },
   countersign: {
     label: "给事中输出",
-    description: "给事中决议。",
+    description: "给事中决议（含现行票面条款的存废尺 existence）。",
     promptSnippet: "给事中决议",
-    parameters: reviewSubmissionSchema,
+    parameters: countersignSubmissionSchema,
   },
   secretariat: {
     label: "中书省输出",