@akagilnc/pi-workflow-roles 0.1.5860 → 0.1.5864

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

@@ -1800,8 +1800,20 @@ var init_reviewer_output = __esm({
   }
 });
 
-// src/package-contracts/fixer-output.ts
+// src/package-contracts/self-review-fields.ts
 import { Type as Type7 } from "typebox";
+var diffItemsField;
+var init_self_review_fields = __esm({
+  "src/package-contracts/self-review-fields.ts"() {
+    "use strict";
+    diffItemsField = Type7.Unknown({
+      description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
+    });
+  }
+});
+
+// src/package-contracts/fixer-output.ts
+import { Type as Type8 } from "typebox";
 function validateFixerOutput(value, _phase) {
   return value;
 }
@@ -1811,25 +1823,27 @@ var init_fixer_output = __esm({
     "use strict";
     init_open_tool_schema();
     init_terminating_infrastructure();
+    init_self_review_fields();
     FIXER_OUTPUT_TOOL_NAME = "ak_fixer_output";
     PARTIALLY_COMPLETED_DEFINITION = "partially_completed \u53EA\u80FD\u5728\u6709\u5408\u6CD5\u62D2\u7EDD\u9879\uFF08\u5B8C\u6210\u9879\u4E0E\u5408\u6CD5\u62D2\u7EDD\u9879\u5E76\u5B58\uFF09\u65F6\u7528\uFF0C\u522B\u7684\u60C5\u51B5\u4E0D\u51C6\u7528\u3002";
     FIXER_STATUS_DESCRIPTION = `planned | completed | refused | unfinished | partially_completed\u3002unfinished \u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u81F4\u672C\u5C40\u672A\u5B8C\u6210\u65F6\u53EF\u7528\uFF0C\u7F3A\u5F85\u51B3 owner \u51B3\u5B9A\u6216\u7B54\u590D\u5C5E\u7F3A\u524D\u7F6E\u3002${PARTIALLY_COMPLETED_DEFINITION}`;
-    fixerOutputObject = Type7.Object({
-      status: Type7.Unknown({ description: FIXER_STATUS_DESCRIPTION }),
-      report: Type7.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
-      remainingScope: Type7.Unknown({
+    fixerOutputObject = Type8.Object({
+      status: Type8.Unknown({ description: FIXER_STATUS_DESCRIPTION }),
+      report: Type8.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
+      remainingScope: Type8.Unknown({
         description: "\u672C\u5C40\u540E\u5269\u4F59\u5DE5\u4F5C\uFF1B\u4F9D\u6CD5\u4E0D\u80FD\u5B8C\u6210\u7684\u8303\u56F4\u4E5F\u5199\u6B64\u5904\u3002"
       }),
-      blocker: Type7.Unknown({
+      blocker: Type8.Unknown({
         description: "\u5408\u6CD5\u963B\u65AD\u5B8C\u6210\u7684 blocker\uFF0C\u539F\u6837\u7559\u5B58\u3002\u53EF\u5199 cause\uFF08authority_violation \u6216 prerequisite_unmet\uFF09\u3001evidence\uFF1Bprerequisite_unmet \u8FD8\u53EF\u5199 prerequisiteId\u3002"
       }),
-      reason: Type7.Unknown({
+      reason: Type8.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"
       }),
-      classResults: Type7.Unknown({
-        description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 name\u3001searchScope\u3001exceptions\uFF08where\u3001reason\uFF09\u3001commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 name\u3001remainingScope\u3001blocker\u3002"
+      classResults: Type8.Unknown({
+        description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u6BCF\u7C7B\u5199 name\u3001shape\uFF08\u9519\u8BEF\u5F62\u72B6\u4E00\u53E5\uFF09\u3002\u6309\u4EE3\u7801\u5F62\u72B6\u8BA4\u7684\u7C7B\u5199 search\uFF08\u5B9E\u9645\u8DD1\u7684\u641C\u7D22\u547D\u4EE4\uFF0C\u539F\u6837\uFF09\u3001hits\uFF08\u547D\u4EE4\u8F93\u51FA\u7684\u6BCF\u4E2A\u547D\u4E2D\u4E00\u884C { where: path:line, outcome: \u5DF2\u4FEE | \u4E0D\u540C\u7C7B\uFF1A\u7406\u7531 }\uFF09\uFF1B\u6309\u60C5\u5F62\u8BA4\u7684\u7C7B\u5199 cases\uFF08\u6BCF\u79CD\u524D\u5E8F\u7ECF\u5386\u4E00\u884C { case: \u5BF9\u8C61\u5148\u7ECF\u5386\u4E86\u4EC0\u4E48, entry: \u4ECE\u771F\u5B9E\u5165\u53E3\u600E\u4E48\u8D70\u5230\u5B83, before: \u4FEE\u524D\u7ED3\u679C, after: \u4FEE\u540E\u7ED3\u679C }\uFF09\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 remainingScope\u3001blocker\u3002"
       }),
-      testEvidence: Type7.Unknown({
+      diffItems: diffItemsField,
+      testEvidence: Type8.Unknown({
         description: "\u6D4B\u8BD5\u8BC1\u636E\u6761\uFF1Bdiff \u542B\u6D4B\u8BD5\u6539\u52A8\u65F6\u63D0\u4EA4\uFF1B\u673A\u5668\u4E0D\u6838\u9A8C\u3002\u53EF\u5199 contract\uFF08\u6D4B\u8BD5\u6539\u52A8\u6240\u8BC1\u660E\u7684\u5951\u7EA6\uFF09\u3001minimumNecessaryCost\uFF08\u6D4B\u8BD5\u6539\u52A8\u7684\u4E00\u884C\u6700\u5C0F\u5FC5\u8981\u6210\u672C\uFF09\u3001measuredDuration\uFF08\u805A\u7126\u9A8C\u8BC1\u5B9E\u6D4B\u65F6\u957F\uFF09\u3002"
       })
     });
@@ -1840,7 +1854,7 @@ var init_fixer_output = __esm({
 });
 
 // src/package-contracts/worker-output.ts
-import { Type as Type8 } from "typebox";
+import { Type as Type9 } from "typebox";
 function validateAcceptedCoderDetails(output) {
   return output;
 }
@@ -1853,19 +1867,18 @@ var init_worker_output = __esm({
     "use strict";
     init_open_tool_schema();
     init_fixer_output();
+    init_self_review_fields();
     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 = Type8.Object({
-      status: Type8.Unknown({ description: CODER_STATUS_DESCRIPTION }),
-      report: Type8.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
-      remainingScope: Type8.Unknown({ description: "\u672C\u5C40\u540E\u5269\u4F59\u5DE5\u4F5C" }),
-      reason: Type8.Unknown({
+    coderOutputObject = Type9.Object({
+      status: Type9.Unknown({ description: CODER_STATUS_DESCRIPTION }),
+      report: Type9.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
+      remainingScope: Type9.Unknown({ description: "\u672C\u5C40\u540E\u5269\u4F59\u5DE5\u4F5C" }),
+      reason: Type9.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"
       }),
-      diffItems: Type8.Unknown({
-        description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
-      })
+      diffItems: diffItemsField
     });
     coderOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(coderOutputObject)
@@ -1881,7 +1894,7 @@ var init_canonical_json = __esm({
 });
 
 // src/doctor-contracts.ts
-import { Type as Type9 } from "typebox";
+import { Type as Type10 } from "typebox";
 function validateDoctorSubmissionShape(value) {
   return value;
 }
@@ -1907,25 +1920,25 @@ var init_doctor_contracts = __esm({
     biteNone = "noRealBite";
     DOCTOR_BITE_KINDS = [biteActual, biteNone];
     DOCTOR_STATUS_DESCRIPTION = "completed | refused\u3002completed \u5141\u8BB8\u7A7A findings\uFF1Brefused \u4EC5\u5F53\u8BC1\u636E\u4E0D\u8DB3\u4EE5\u652F\u6491\u5982\u5B9E\u6848\u8BC1\u8BCD";
-    doctorSubmissionObject = Type9.Object({
-      status: Type9.Unknown({ description: DOCTOR_STATUS_DESCRIPTION }),
-      case: Type9.Unknown({
+    doctorSubmissionObject = Type10.Object({
+      status: Type10.Unknown({ description: DOCTOR_STATUS_DESCRIPTION }),
+      case: Type10.Unknown({
         description: "\u7559\u5B58\u592A\u533B\u7F72\u6848\u8EAB\u4EFD\uFF0C\u539F\u6837\u7559\u5B58\uFF08\u5982 issueNumber\u3001runsPath\uFF09\u3002\u673A\u68B0\u5C42\u53E6\u6309\u7ED1\u5B9A run \u6295\u5F71\u6848\u8EAB\u4EFD\uFF0C\u4E0D\u5728\u672C\u5B57\u6BB5\u91CD\u5224\u3002"
       }),
-      findings: Type9.Unknown({
+      findings: Type10.Unknown({
         description: `\u9010\u6761\u8D44\u4EA7\u89C2\u5BDF\u4E0E\u5904\u65B9\uFF0C\u539F\u6837\u7559\u5B58\u3002\u4E00\u6761\u53EF\u542B targetKey\u3001targetKind\uFF08${DOCTOR_TARGET_KINDS.join(" | ")}\uFF09\u3001observation\u3001evidenceIds\u3001disposition\uFF08${DOCTOR_DISPOSITIONS.join(" | ")}\uFF09\u3001assetEvidence\uFF08targetKey\u3001targetKind\u3001evidenceId\uFF09\u3001guardrails\uFF08reproducibleFailure\u3001owningSeamOrInvariant\u3001deletionOrSimplificationSuffices\uFF0C\u5404\u9879\u53EF\u542B answer\u3001evidenceIds\u3001explanation\uFF09\u3001prescription\uFF08kind \u4E3A ${DOCTOR_PRESCRIPTION_KINDS.join(" | ")}\uFF0C\u53E6\u53EF\u5199 recommendation\u3001necessityExplanation\uFF09\u3001lastRealBite\uFF08kind \u4E3A ${DOCTOR_BITE_KINDS.join(" | ")}\uFF0C\u53E6\u53EF\u5199 targetKey\u3001evidenceId\u3001eligibleEvidenceIds\uFF09\u3002\u4E0D\u8981\u6C42\u4EFB\u4F55\u5904\u65B9\u6216\u53EF\u590D\u7528 finding\uFF1B\u7F3A\u53EF\u590D\u7528\u8D44\u4EA7\u6216 bounded-bite \u8BC1\u636E\u53EA\u6392\u9664\u5BF9\u5E94\u8D44\u4EA7\u5904\u65B9\u3002\u673A\u5668\u4E0D\u6838\u9A8C\u3002`
       }),
-      reason: Type9.Unknown({
+      reason: Type10.Unknown({
         description: "\u8BC1\u636E\u4E0D\u8DB3\u4EE5\u652F\u6491\u5982\u5B9E\u8BC1\u8BCD\u7684\u539F\u56E0\uFF1B\u4EC5 refused \u65F6\u7528\u3002"
       }),
-      missingEvidence: Type9.Unknown({
+      missingEvidence: Type10.Unknown({
         description: "\u5982\u5B9E\u8BC1\u8BCD\u6240\u9700\u800C\u5C1A\u7F3A\u7684\u8BC1\u636E\uFF0C\u539F\u6837\u7559\u5B58\uFF08\u5982\u6BCF\u9879 need\u3001targetKeys\uFF09\u3002"
       })
     });
     doctorSubmissionSchema = withTerminatingOutputDeclarations(
       openToolObject(doctorSubmissionObject)
     );
-    doctorEvidenceReadSchema = Type9.Object({ evidenceId: Type9.String({ minLength: 1, description: "\u5F85\u8BFB\u7559\u5B58\u8BC1\u636E\u6807\u8BC6" }), offset: Type9.Optional(Type9.Integer({ minimum: 0, description: "\u8D77\u59CB\u5B57\u8282\u504F\u79FB\uFF08\u4ECE 0 \u8BA1\uFF09" })), limit: Type9.Optional(Type9.Integer({ minimum: 1, description: "\u8FD4\u56DE\u5B57\u8282\u6570\uFF08\u65E0\u4E0A\u9650\uFF09" })) }, { additionalProperties: true });
+    doctorEvidenceReadSchema = Type10.Object({ evidenceId: Type10.String({ minLength: 1, description: "\u5F85\u8BFB\u7559\u5B58\u8BC1\u636E\u6807\u8BC6" }), offset: Type10.Optional(Type10.Integer({ minimum: 0, description: "\u8D77\u59CB\u5B57\u8282\u504F\u79FB\uFF08\u4ECE 0 \u8BA1\uFF09" })), limit: Type10.Optional(Type10.Integer({ minimum: 1, description: "\u8FD4\u56DE\u5B57\u8282\u6570\uFF08\u65E0\u4E0A\u9650\uFF09" })) }, { additionalProperties: true });
     DoctorEvidenceStore = class {
       constructor(patient) {
         this.patient = patient;
@@ -1994,7 +2007,7 @@ var init_exact_utf8 = __esm({
 });
 
 // src/merger-contracts.ts
-import { Type as Type10 } from "typebox";
+import { Type as Type11 } from "typebox";
 function fail(message = "Merger input violates its exact contract") {
   throw new MergerInputContractError(message);
 }
@@ -2028,25 +2041,25 @@ var init_merger_contracts = __esm({
     init_open_tool_schema();
     init_terminating_infrastructure();
     init_unknown_value();
-    materialSchema = Type10.Object({ bytesBase64: Type10.String(), sha256: Type10.String() });
-    checkSchema = Type10.Object({ name: Type10.String({ minLength: 1 }), argv: Type10.Array(Type10.String({ minLength: 1 }), { minItems: 1 }) });
-    mergerInputSchema = Type10.Object({
-      attemptId: Type10.String({ minLength: 1, description: "\u5BF9\u8D26 attempt \u8EAB\u4EFD\uFF08transport\uFF09" }),
-      targetObjectId: Type10.String({ description: "\u6750\u6599\uFF1Atarget parent OID\uFF1B\u53EF\u7A7A" }),
-      sourceObjectId: Type10.String({ description: "\u6750\u6599\uFF1Asource parent OID\uFF1B\u53EF\u7A7A" }),
+    materialSchema = Type11.Object({ bytesBase64: Type11.String(), sha256: Type11.String() });
+    checkSchema = Type11.Object({ name: Type11.String({ minLength: 1 }), argv: Type11.Array(Type11.String({ minLength: 1 }), { minItems: 1 }) });
+    mergerInputSchema = Type11.Object({
+      attemptId: Type11.String({ minLength: 1, description: "\u5BF9\u8D26 attempt \u8EAB\u4EFD\uFF08transport\uFF09" }),
+      targetObjectId: Type11.String({ description: "\u6750\u6599\uFF1Atarget parent OID\uFF1B\u53EF\u7A7A" }),
+      sourceObjectId: Type11.String({ description: "\u6750\u6599\uFF1Asource parent OID\uFF1B\u53EF\u7A7A" }),
       // #1168: task/authority dispatch copies removed; git-fact intents remain.
-      materials: Type10.Object({ targetIntent: materialSchema, sourceIntent: materialSchema }),
-      expectedConflictPaths: Type10.Array(Type10.String(), { description: "\u6750\u6599\uFF1A\u5F53\u524D\u672A\u5408\u5E76\u8DEF\u5F84\uFF1B\u53EF\u7A7A" }),
-      resolutionScope: Type10.Array(Type10.String(), { description: "\u6750\u6599\uFF1A\u89E3\u6790\u8303\u56F4\u63D0\u793A\uFF1B\u53EF\u7A7A" }),
-      authorizedChecks: Type10.Array(checkSchema)
+      materials: Type11.Object({ targetIntent: materialSchema, sourceIntent: materialSchema }),
+      expectedConflictPaths: Type11.Array(Type11.String(), { description: "\u6750\u6599\uFF1A\u5F53\u524D\u672A\u5408\u5E76\u8DEF\u5F84\uFF1B\u53EF\u7A7A" }),
+      resolutionScope: Type11.Array(Type11.String(), { description: "\u6750\u6599\uFF1A\u89E3\u6790\u8303\u56F4\u63D0\u793A\uFF1B\u53EF\u7A7A" }),
+      authorizedChecks: Type11.Array(checkSchema)
     });
     MERGER_STATUS_DESCRIPTION = "completed | escalate";
-    mergerOutputObject = Type10.Object({
-      status: Type10.Unknown({ description: MERGER_STATUS_DESCRIPTION }),
-      attemptId: Type10.Unknown({ description: "\u5DF2\u53D7\u7406\u5408\u5E76 attempt \u8EAB\u4EFD" }),
-      report: Type10.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
-      mergeCommitId: Type10.Unknown({ description: "\u5B8C\u6210\u5408\u5E76 commit object ID" }),
-      diagnosis: Type10.Unknown({
+    mergerOutputObject = Type11.Object({
+      status: Type11.Unknown({ description: MERGER_STATUS_DESCRIPTION }),
+      attemptId: Type11.Unknown({ description: "\u5DF2\u53D7\u7406\u5408\u5E76 attempt \u8EAB\u4EFD" }),
+      report: Type11.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
+      mergeCommitId: Type11.Unknown({ description: "\u5B8C\u6210\u5408\u5E76 commit object ID" }),
+      diagnosis: Type11.Unknown({
         description: "\u5408\u5E76\u65E0\u6CD5\u6216\u4E0D\u5E94\u7531\u672C\u5E2D\u5B8C\u6210\u7684\u539F\u56E0\uFF08\u542B\u65E0\u8FDB\u884C\u4E2D\u5408\u5E76\u3001\u65E0\u6D3B\u53EF\u5E72\u3001\u9700\u65B0\u7684\u4EA7\u54C1/\u6743\u529B\u51B3\u5B9A\uFF09"
       })
     });
@@ -2101,7 +2114,7 @@ var init_countersign_contracts = __esm({
 });
 
 // src/gleaner-left-contracts.ts
-import { Type as Type11 } from "typebox";
+import { Type as Type12 } from "typebox";
 var GLEANER_LEFT_OUTPUT_TOOL_NAME, gleanerLeftOutputSchema, GLEANER_LEFT_BASE_FLAG;
 var init_gleaner_left_contracts = __esm({
   "src/gleaner-left-contracts.ts"() {
@@ -2112,11 +2125,11 @@ var init_gleaner_left_contracts = __esm({
     GLEANER_LEFT_OUTPUT_TOOL_NAME = "ak_gleaner_left_output";
     gleanerLeftOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(
-        Type11.Object({
-          status: Type11.Unknown({
+        Type12.Object({
+          status: Type12.Unknown({
             description: "completed"
           }),
-          findings: Type11.Unknown({
+          findings: Type12.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"
           })
         })
@@ -2204,7 +2217,7 @@ var init_ticket_provenance_contracts = __esm({
 });
 
 // src/diarist-contracts.ts
-import { Type as Type12 } from "typebox";
+import { Type as Type13 } from "typebox";
 function projectDiaristSessions(value) {
   const raw = value?.sessions;
   if (raw === void 0) return [];
@@ -2237,20 +2250,20 @@ var init_diarist_contracts = __esm({
     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(
-        Type12.Object({
-          status: Type12.Unknown({
+        Type13.Object({
+          status: Type13.Unknown({
             description: "completed | escalate"
           }),
-          ticketNumber: Type12.Optional(
-            Type12.Unknown({
+          ticketNumber: Type13.Optional(
+            Type13.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: Type12.Unknown({
+          reason: Type13.Unknown({
             description: "status \u4E3A escalate \u65F6\uFF1A\u8BA4\u4E0D\u51FA\u672C\u5EAD\u5BF9\u8C61\u7684\u539F\u56E0"
           }),
-          sessions: Type12.Optional(Type12.Unknown({ description: DIARIST_SESSIONS_DESCRIPTION })),
-          ticketSessions: Type12.Unknown({
+          sessions: Type13.Optional(Type13.Unknown({ description: DIARIST_SESSIONS_DESCRIPTION })),
+          ticketSessions: Type13.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`
           })
         })
@@ -2260,7 +2273,7 @@ var init_diarist_contracts = __esm({
 });
 
 // src/secretariat-contracts.ts
-import { Type as Type13 } from "typebox";
+import { Type as Type14 } from "typebox";
 var SECRETARIAT_OUTPUT_TOOL_NAME, secretariatVerdictSchema;
 var init_secretariat_contracts = __esm({
   "src/secretariat-contracts.ts"() {
@@ -2268,19 +2281,19 @@ var init_secretariat_contracts = __esm({
     init_terminating_infrastructure();
     SECRETARIAT_OUTPUT_TOOL_NAME = "ak_secretariat_output";
     secretariatVerdictSchema = withTerminatingOutputDeclarations(
-      Type13.Object(
+      Type14.Object(
         {
-          secretariatStatus: Type13.Unknown({
+          secretariatStatus: Type14.Unknown({
             description: "converged | escalate"
           }),
-          ticketNumber: Type13.Optional(
-            Type13.Unknown({ description: "\u672C\u7968\u53F7\uFF1B\u7F72\u65F6\u6307\u5411\u6700\u7EC8\u6B63\u6587\u6240\u5728\u7968" })
+          ticketNumber: Type14.Optional(
+            Type14.Unknown({ description: "\u672C\u7968\u53F7\uFF1B\u7F72\u65F6\u6307\u5411\u6700\u7EC8\u6B63\u6587\u6240\u5728\u7968" })
           ),
-          note: Type13.Unknown({
+          note: Type14.Unknown({
             description: "\u9644\u6CE8\uFF1B\u7F72\uFF08converged\uFF09\u65F6\u9010\u9898\u5217\u7B54\u6848\u3001\u4F9D\u636E\u4E0E\u843D\u5728\u54EA\u4E00\u53E5\uFF1B\u5C01\u8FD8\uFF08escalate\uFF09\u65F6\u9996\u5199\u300C\u5C01\u8FD8\u300D\u3002\u539F\u6837\u7559\u5B58\u3002"
           }),
-          evidence: Type13.Optional(Type13.Unknown({ description: "\u7559\u5B58\u8BC1\u636E" })),
-          decisionGate: Type13.Unknown({
+          evidence: Type14.Optional(Type14.Unknown({ description: "\u7559\u5B58\u8BC1\u636E" })),
+          decisionGate: Type14.Unknown({
             description: "\u672C\u8F6E\u9898\u76EE\uFF1A\u6BCF\u9898 question\u3001options\uFF08\u7A3F\u91CC\u505A\u6CD5\uFF0F\u53E6\u4E00\u505A\u6CD5\uFF09\u3001\u4E24\u8FB9\u4EE3\u4EF7\u3001\u5EFA\u8BAE\u3002\u539F\u6837\u7559\u5B58\u3002"
           })
         },
@@ -3063,7 +3076,7 @@ var init_submission_errors = __esm({
 });
 
 // src/collector-tool-schemas.ts
-import { Type as Type14 } from "typebox";
+import { Type as Type15 } from "typebox";
 var collectorOutputBaseSchema, collectorOutputArgsSchema;
 var init_collector_tool_schemas = __esm({
   "src/collector-tool-schemas.ts"() {
@@ -3071,11 +3084,11 @@ var init_collector_tool_schemas = __esm({
     init_open_tool_schema();
     init_terminating_infrastructure();
     collectorOutputBaseSchema = openToolObject(
-      Type14.Object({
-        groups: Type14.Unsafe({
+      Type15.Object({
+        groups: Type15.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: Type14.Unknown({
+        unfinishedReasons: Type15.Unknown({
           description: "\u672A\u5B8C\u6210\u539F\u56E0\uFF1B\u53D6\u8BC1\u53D7\u9650\u65F6\u5982\u5B9E\u62A5\u544A\u3002"
         })
       })
@@ -8100,7 +8113,7 @@ var init_invocation = __esm({
 });
 
 // src/report-ticket-tool.ts
-import { Type as Type15 } from "typebox";
+import { Type as Type16 } from "typebox";
 import { existsSync as existsSync4 } from "node:fs";
 function pageString(page, key) {
   const value = page?.[key];
@@ -8209,9 +8222,9 @@ var init_report_ticket_tool = __esm({
     init_run_ticket_number();
     init_unknown_value();
     REPORT_TICKET_TOOL_NAME = "ak_report_ticket";
-    reportTicketArgsSchema = Type15.Object(
+    reportTicketArgsSchema = Type16.Object(
       {
-        ticketNumber: Type15.Unknown({
+        ticketNumber: Type16.Unknown({
           description: "\u672C\u7968\u53F7\uFF08\u6B63\u6574\u6570\u3001\u6570\u5B57\u4E32\u6216\u524D\u5BFC #N\uFF09\u3002\u5DF2\u77E5\u7968\u53F7\u65F6\u5F00\u5DE5\u5373\u62A5\uFF1B\u5C1A\u65E0\u7968\u53F7\u65F6\u4E0D\u8981\u8C03\u7528\u3002"
         })
       },
@@ -17817,7 +17830,7 @@ var init_analyst_model_groups = __esm({
 
 // src/analyst-entry.ts
 import { readFile as readFile12 } from "node:fs/promises";
-import { Type as Type16 } from "typebox";
+import { Type as Type17 } from "typebox";
 function cachedPageMatchesRequestedScope(page, input) {
   if (page.bookKey !== input.bookKey) return false;
   const requestedTicket = input.ticketNumber ?? input.issueNumber;
@@ -18022,16 +18035,16 @@ var init_analyst_entry = __esm({
         }
       }
     };
-    analystSweepModeInputSchema = Type16.Object(
+    analystSweepModeInputSchema = Type17.Object(
       {
-        mode: Type16.Literal("sweep"),
-        mergedPullRequests: Type16.Array(
-          Type16.Object(
+        mode: Type17.Literal("sweep"),
+        mergedPullRequests: Type17.Array(
+          Type17.Object(
             {
-              projectRoot: Type16.String(),
+              projectRoot: Type17.String(),
               /** 排除后改动行数 — omit or 0 → typed 空缺; finite ≥ 0 only. */
-              changedLines: Type16.Optional(
-                Type16.Number({ minimum: 0, maximum: Number.MAX_VALUE })
+              changedLines: Type17.Optional(
+                Type17.Number({ minimum: 0, maximum: Number.MAX_VALUE })
               )
             }
           )
@@ -20975,18 +20988,18 @@ import { join as join30 } from "node:path";
 import { Value as Value2 } from "typebox/value";
 
 // src/activation-trace.ts
-import { Type as Type17 } from "typebox";
-var causeSchema = Type17.Object({
-  identity: Type17.String({ minLength: 1 }),
-  name: Type17.String({ minLength: 1 }),
-  message: Type17.String(),
-  evidenceId: Type17.Optional(Type17.String({ minLength: 1 }))
+import { Type as Type18 } from "typebox";
+var causeSchema = Type18.Object({
+  identity: Type18.String({ minLength: 1 }),
+  name: Type18.String({ minLength: 1 }),
+  message: Type18.String(),
+  evidenceId: Type18.Optional(Type18.String({ minLength: 1 }))
 }, { additionalProperties: false });
-var activationTraceRecordSchema = Type17.Object({
-  role: Type17.String({ minLength: 1 }),
-  stageId: Type17.String({ pattern: "^[a-z][a-z0-9-]*$" }),
-  status: Type17.Literal("failed"),
-  timestamp: Type17.String({ format: "date-time" }),
+var activationTraceRecordSchema = Type18.Object({
+  role: Type18.String({ minLength: 1 }),
+  stageId: Type18.String({ pattern: "^[a-z][a-z0-9-]*$" }),
+  status: Type18.Literal("failed"),
+  timestamp: Type18.String({ format: "date-time" }),
   cause: causeSchema
 }, { additionalProperties: false });
 var activationCauseEvidence = 0;
@@ -21149,10 +21162,10 @@ init_engine_detour();
 init_engine_detour_usage();
 init_run_terminal_artifacts();
 init_serialize_thrown_value();
-import { Type as Type18 } from "typebox";
-var engineDetourArgsSchema = Type18.Object(
+import { Type as Type19 } from "typebox";
+var engineDetourArgsSchema = Type19.Object(
   {
-    argv: Type18.Array(Type18.String({ minLength: 1 }), {
+    argv: Type19.Array(Type19.String({ minLength: 1 }), {
       minItems: 1,
       description: "\u9996\u9879\u4E3A PATH \u4E2D\u7684\u53EF\u6267\u884C\u6587\u4EF6\uFF0C\u5176\u4F59\u9879\u4E3A\u53C2\u6570\u3002"
     })

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

@@ -756,8 +756,20 @@ var init_navigator_output = __esm({
   }
 });
 
-// src/package-contracts/fixer-output.ts
+// src/package-contracts/self-review-fields.ts
 import { Type as Type7 } from "typebox";
+var diffItemsField;
+var init_self_review_fields = __esm({
+  "src/package-contracts/self-review-fields.ts"() {
+    "use strict";
+    diffItemsField = Type7.Unknown({
+      description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
+    });
+  }
+});
+
+// src/package-contracts/fixer-output.ts
+import { Type as Type8 } from "typebox";
 function validateFixerOutput(value, _phase) {
   return value;
 }
@@ -767,25 +779,27 @@ var init_fixer_output = __esm({
     "use strict";
     init_open_tool_schema();
     init_terminating_infrastructure();
+    init_self_review_fields();
     FIXER_OUTPUT_TOOL_NAME = "ak_fixer_output";
     PARTIALLY_COMPLETED_DEFINITION = "partially_completed \u53EA\u80FD\u5728\u6709\u5408\u6CD5\u62D2\u7EDD\u9879\uFF08\u5B8C\u6210\u9879\u4E0E\u5408\u6CD5\u62D2\u7EDD\u9879\u5E76\u5B58\uFF09\u65F6\u7528\uFF0C\u522B\u7684\u60C5\u51B5\u4E0D\u51C6\u7528\u3002";
     FIXER_STATUS_DESCRIPTION = `planned | completed | refused | unfinished | partially_completed\u3002unfinished \u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u81F4\u672C\u5C40\u672A\u5B8C\u6210\u65F6\u53EF\u7528\uFF0C\u7F3A\u5F85\u51B3 owner \u51B3\u5B9A\u6216\u7B54\u590D\u5C5E\u7F3A\u524D\u7F6E\u3002${PARTIALLY_COMPLETED_DEFINITION}`;
-    fixerOutputObject = Type7.Object({
-      status: Type7.Unknown({ description: FIXER_STATUS_DESCRIPTION }),
-      report: Type7.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
-      remainingScope: Type7.Unknown({
+    fixerOutputObject = Type8.Object({
+      status: Type8.Unknown({ description: FIXER_STATUS_DESCRIPTION }),
+      report: Type8.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
+      remainingScope: Type8.Unknown({
         description: "\u672C\u5C40\u540E\u5269\u4F59\u5DE5\u4F5C\uFF1B\u4F9D\u6CD5\u4E0D\u80FD\u5B8C\u6210\u7684\u8303\u56F4\u4E5F\u5199\u6B64\u5904\u3002"
       }),
-      blocker: Type7.Unknown({
+      blocker: Type8.Unknown({
         description: "\u5408\u6CD5\u963B\u65AD\u5B8C\u6210\u7684 blocker\uFF0C\u539F\u6837\u7559\u5B58\u3002\u53EF\u5199 cause\uFF08authority_violation \u6216 prerequisite_unmet\uFF09\u3001evidence\uFF1Bprerequisite_unmet \u8FD8\u53EF\u5199 prerequisiteId\u3002"
       }),
-      reason: Type7.Unknown({
+      reason: Type8.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"
       }),
-      classResults: Type7.Unknown({
-        description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 name\u3001searchScope\u3001exceptions\uFF08where\u3001reason\uFF09\u3001commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 name\u3001remainingScope\u3001blocker\u3002"
+      classResults: Type8.Unknown({
+        description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u6BCF\u7C7B\u5199 name\u3001shape\uFF08\u9519\u8BEF\u5F62\u72B6\u4E00\u53E5\uFF09\u3002\u6309\u4EE3\u7801\u5F62\u72B6\u8BA4\u7684\u7C7B\u5199 search\uFF08\u5B9E\u9645\u8DD1\u7684\u641C\u7D22\u547D\u4EE4\uFF0C\u539F\u6837\uFF09\u3001hits\uFF08\u547D\u4EE4\u8F93\u51FA\u7684\u6BCF\u4E2A\u547D\u4E2D\u4E00\u884C { where: path:line, outcome: \u5DF2\u4FEE | \u4E0D\u540C\u7C7B\uFF1A\u7406\u7531 }\uFF09\uFF1B\u6309\u60C5\u5F62\u8BA4\u7684\u7C7B\u5199 cases\uFF08\u6BCF\u79CD\u524D\u5E8F\u7ECF\u5386\u4E00\u884C { case: \u5BF9\u8C61\u5148\u7ECF\u5386\u4E86\u4EC0\u4E48, entry: \u4ECE\u771F\u5B9E\u5165\u53E3\u600E\u4E48\u8D70\u5230\u5B83, before: \u4FEE\u524D\u7ED3\u679C, after: \u4FEE\u540E\u7ED3\u679C }\uFF09\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 remainingScope\u3001blocker\u3002"
       }),
-      testEvidence: Type7.Unknown({
+      diffItems: diffItemsField,
+      testEvidence: Type8.Unknown({
         description: "\u6D4B\u8BD5\u8BC1\u636E\u6761\uFF1Bdiff \u542B\u6D4B\u8BD5\u6539\u52A8\u65F6\u63D0\u4EA4\uFF1B\u673A\u5668\u4E0D\u6838\u9A8C\u3002\u53EF\u5199 contract\uFF08\u6D4B\u8BD5\u6539\u52A8\u6240\u8BC1\u660E\u7684\u5951\u7EA6\uFF09\u3001minimumNecessaryCost\uFF08\u6D4B\u8BD5\u6539\u52A8\u7684\u4E00\u884C\u6700\u5C0F\u5FC5\u8981\u6210\u672C\uFF09\u3001measuredDuration\uFF08\u805A\u7126\u9A8C\u8BC1\u5B9E\u6D4B\u65F6\u957F\uFF09\u3002"
       })
     });
@@ -796,7 +810,7 @@ var init_fixer_output = __esm({
 });
 
 // src/package-contracts/worker-output.ts
-import { Type as Type8 } from "typebox";
+import { Type as Type9 } from "typebox";
 function validateAcceptedCoderDetails(output) {
   return output;
 }
@@ -809,19 +823,18 @@ var init_worker_output = __esm({
     "use strict";
     init_open_tool_schema();
     init_fixer_output();
+    init_self_review_fields();
     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 = Type8.Object({
-      status: Type8.Unknown({ description: CODER_STATUS_DESCRIPTION }),
-      report: Type8.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
-      remainingScope: Type8.Unknown({ description: "\u672C\u5C40\u540E\u5269\u4F59\u5DE5\u4F5C" }),
-      reason: Type8.Unknown({
+    coderOutputObject = Type9.Object({
+      status: Type9.Unknown({ description: CODER_STATUS_DESCRIPTION }),
+      report: Type9.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
+      remainingScope: Type9.Unknown({ description: "\u672C\u5C40\u540E\u5269\u4F59\u5DE5\u4F5C" }),
+      reason: Type9.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"
       }),
-      diffItems: Type8.Unknown({
-        description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
-      })
+      diffItems: diffItemsField
     });
     coderOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(coderOutputObject)
@@ -837,7 +850,7 @@ var init_canonical_json = __esm({
 });
 
 // src/doctor-contracts.ts
-import { Type as Type9 } from "typebox";
+import { Type as Type10 } from "typebox";
 function validateDoctorSubmissionShape(value) {
   return value;
 }
@@ -863,25 +876,25 @@ var init_doctor_contracts = __esm({
     biteNone = "noRealBite";
     DOCTOR_BITE_KINDS = [biteActual, biteNone];
     DOCTOR_STATUS_DESCRIPTION = "completed | refused\u3002completed \u5141\u8BB8\u7A7A findings\uFF1Brefused \u4EC5\u5F53\u8BC1\u636E\u4E0D\u8DB3\u4EE5\u652F\u6491\u5982\u5B9E\u6848\u8BC1\u8BCD";
-    doctorSubmissionObject = Type9.Object({
-      status: Type9.Unknown({ description: DOCTOR_STATUS_DESCRIPTION }),
-      case: Type9.Unknown({
+    doctorSubmissionObject = Type10.Object({
+      status: Type10.Unknown({ description: DOCTOR_STATUS_DESCRIPTION }),
+      case: Type10.Unknown({
         description: "\u7559\u5B58\u592A\u533B\u7F72\u6848\u8EAB\u4EFD\uFF0C\u539F\u6837\u7559\u5B58\uFF08\u5982 issueNumber\u3001runsPath\uFF09\u3002\u673A\u68B0\u5C42\u53E6\u6309\u7ED1\u5B9A run \u6295\u5F71\u6848\u8EAB\u4EFD\uFF0C\u4E0D\u5728\u672C\u5B57\u6BB5\u91CD\u5224\u3002"
       }),
-      findings: Type9.Unknown({
+      findings: Type10.Unknown({
         description: `\u9010\u6761\u8D44\u4EA7\u89C2\u5BDF\u4E0E\u5904\u65B9\uFF0C\u539F\u6837\u7559\u5B58\u3002\u4E00\u6761\u53EF\u542B targetKey\u3001targetKind\uFF08${DOCTOR_TARGET_KINDS.join(" | ")}\uFF09\u3001observation\u3001evidenceIds\u3001disposition\uFF08${DOCTOR_DISPOSITIONS.join(" | ")}\uFF09\u3001assetEvidence\uFF08targetKey\u3001targetKind\u3001evidenceId\uFF09\u3001guardrails\uFF08reproducibleFailure\u3001owningSeamOrInvariant\u3001deletionOrSimplificationSuffices\uFF0C\u5404\u9879\u53EF\u542B answer\u3001evidenceIds\u3001explanation\uFF09\u3001prescription\uFF08kind \u4E3A ${DOCTOR_PRESCRIPTION_KINDS.join(" | ")}\uFF0C\u53E6\u53EF\u5199 recommendation\u3001necessityExplanation\uFF09\u3001lastRealBite\uFF08kind \u4E3A ${DOCTOR_BITE_KINDS.join(" | ")}\uFF0C\u53E6\u53EF\u5199 targetKey\u3001evidenceId\u3001eligibleEvidenceIds\uFF09\u3002\u4E0D\u8981\u6C42\u4EFB\u4F55\u5904\u65B9\u6216\u53EF\u590D\u7528 finding\uFF1B\u7F3A\u53EF\u590D\u7528\u8D44\u4EA7\u6216 bounded-bite \u8BC1\u636E\u53EA\u6392\u9664\u5BF9\u5E94\u8D44\u4EA7\u5904\u65B9\u3002\u673A\u5668\u4E0D\u6838\u9A8C\u3002`
       }),
-      reason: Type9.Unknown({
+      reason: Type10.Unknown({
         description: "\u8BC1\u636E\u4E0D\u8DB3\u4EE5\u652F\u6491\u5982\u5B9E\u8BC1\u8BCD\u7684\u539F\u56E0\uFF1B\u4EC5 refused \u65F6\u7528\u3002"
       }),
-      missingEvidence: Type9.Unknown({
+      missingEvidence: Type10.Unknown({
         description: "\u5982\u5B9E\u8BC1\u8BCD\u6240\u9700\u800C\u5C1A\u7F3A\u7684\u8BC1\u636E\uFF0C\u539F\u6837\u7559\u5B58\uFF08\u5982\u6BCF\u9879 need\u3001targetKeys\uFF09\u3002"
       })
     });
     doctorSubmissionSchema = withTerminatingOutputDeclarations(
       openToolObject(doctorSubmissionObject)
     );
-    doctorEvidenceReadSchema = Type9.Object({ evidenceId: Type9.String({ minLength: 1, description: "\u5F85\u8BFB\u7559\u5B58\u8BC1\u636E\u6807\u8BC6" }), offset: Type9.Optional(Type9.Integer({ minimum: 0, description: "\u8D77\u59CB\u5B57\u8282\u504F\u79FB\uFF08\u4ECE 0 \u8BA1\uFF09" })), limit: Type9.Optional(Type9.Integer({ minimum: 1, description: "\u8FD4\u56DE\u5B57\u8282\u6570\uFF08\u65E0\u4E0A\u9650\uFF09" })) }, { additionalProperties: true });
+    doctorEvidenceReadSchema = Type10.Object({ evidenceId: Type10.String({ minLength: 1, description: "\u5F85\u8BFB\u7559\u5B58\u8BC1\u636E\u6807\u8BC6" }), offset: Type10.Optional(Type10.Integer({ minimum: 0, description: "\u8D77\u59CB\u5B57\u8282\u504F\u79FB\uFF08\u4ECE 0 \u8BA1\uFF09" })), limit: Type10.Optional(Type10.Integer({ minimum: 1, description: "\u8FD4\u56DE\u5B57\u8282\u6570\uFF08\u65E0\u4E0A\u9650\uFF09" })) }, { additionalProperties: true });
     DoctorEvidenceStore = class {
       constructor(patient) {
         this.patient = patient;
@@ -950,7 +963,7 @@ var init_exact_utf8 = __esm({
 });
 
 // src/merger-contracts.ts
-import { Type as Type10 } from "typebox";
+import { Type as Type11 } from "typebox";
 function fail(message = "Merger input violates its exact contract") {
   throw new MergerInputContractError(message);
 }
@@ -984,25 +997,25 @@ var init_merger_contracts = __esm({
     init_open_tool_schema();
     init_terminating_infrastructure();
     init_unknown_value();
-    materialSchema = Type10.Object({ bytesBase64: Type10.String(), sha256: Type10.String() });
-    checkSchema = Type10.Object({ name: Type10.String({ minLength: 1 }), argv: Type10.Array(Type10.String({ minLength: 1 }), { minItems: 1 }) });
-    mergerInputSchema = Type10.Object({
-      attemptId: Type10.String({ minLength: 1, description: "\u5BF9\u8D26 attempt \u8EAB\u4EFD\uFF08transport\uFF09" }),
-      targetObjectId: Type10.String({ description: "\u6750\u6599\uFF1Atarget parent OID\uFF1B\u53EF\u7A7A" }),
-      sourceObjectId: Type10.String({ description: "\u6750\u6599\uFF1Asource parent OID\uFF1B\u53EF\u7A7A" }),
+    materialSchema = Type11.Object({ bytesBase64: Type11.String(), sha256: Type11.String() });
+    checkSchema = Type11.Object({ name: Type11.String({ minLength: 1 }), argv: Type11.Array(Type11.String({ minLength: 1 }), { minItems: 1 }) });
+    mergerInputSchema = Type11.Object({
+      attemptId: Type11.String({ minLength: 1, description: "\u5BF9\u8D26 attempt \u8EAB\u4EFD\uFF08transport\uFF09" }),
+      targetObjectId: Type11.String({ description: "\u6750\u6599\uFF1Atarget parent OID\uFF1B\u53EF\u7A7A" }),
+      sourceObjectId: Type11.String({ description: "\u6750\u6599\uFF1Asource parent OID\uFF1B\u53EF\u7A7A" }),
       // #1168: task/authority dispatch copies removed; git-fact intents remain.
-      materials: Type10.Object({ targetIntent: materialSchema, sourceIntent: materialSchema }),
-      expectedConflictPaths: Type10.Array(Type10.String(), { description: "\u6750\u6599\uFF1A\u5F53\u524D\u672A\u5408\u5E76\u8DEF\u5F84\uFF1B\u53EF\u7A7A" }),
-      resolutionScope: Type10.Array(Type10.String(), { description: "\u6750\u6599\uFF1A\u89E3\u6790\u8303\u56F4\u63D0\u793A\uFF1B\u53EF\u7A7A" }),
-      authorizedChecks: Type10.Array(checkSchema)
+      materials: Type11.Object({ targetIntent: materialSchema, sourceIntent: materialSchema }),
+      expectedConflictPaths: Type11.Array(Type11.String(), { description: "\u6750\u6599\uFF1A\u5F53\u524D\u672A\u5408\u5E76\u8DEF\u5F84\uFF1B\u53EF\u7A7A" }),
+      resolutionScope: Type11.Array(Type11.String(), { description: "\u6750\u6599\uFF1A\u89E3\u6790\u8303\u56F4\u63D0\u793A\uFF1B\u53EF\u7A7A" }),
+      authorizedChecks: Type11.Array(checkSchema)
     });
     MERGER_STATUS_DESCRIPTION = "completed | escalate";
-    mergerOutputObject = Type10.Object({
-      status: Type10.Unknown({ description: MERGER_STATUS_DESCRIPTION }),
-      attemptId: Type10.Unknown({ description: "\u5DF2\u53D7\u7406\u5408\u5E76 attempt \u8EAB\u4EFD" }),
-      report: Type10.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
-      mergeCommitId: Type10.Unknown({ description: "\u5B8C\u6210\u5408\u5E76 commit object ID" }),
-      diagnosis: Type10.Unknown({
+    mergerOutputObject = Type11.Object({
+      status: Type11.Unknown({ description: MERGER_STATUS_DESCRIPTION }),
+      attemptId: Type11.Unknown({ description: "\u5DF2\u53D7\u7406\u5408\u5E76 attempt \u8EAB\u4EFD" }),
+      report: Type11.Unknown({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }),
+      mergeCommitId: Type11.Unknown({ description: "\u5B8C\u6210\u5408\u5E76 commit object ID" }),
+      diagnosis: Type11.Unknown({
         description: "\u5408\u5E76\u65E0\u6CD5\u6216\u4E0D\u5E94\u7531\u672C\u5E2D\u5B8C\u6210\u7684\u539F\u56E0\uFF08\u542B\u65E0\u8FDB\u884C\u4E2D\u5408\u5E76\u3001\u65E0\u6D3B\u53EF\u5E72\u3001\u9700\u65B0\u7684\u4EA7\u54C1/\u6743\u529B\u51B3\u5B9A\uFF09"
       })
     });
@@ -1057,7 +1070,7 @@ var init_countersign_contracts = __esm({
 });
 
 // src/gleaner-left-contracts.ts
-import { Type as Type11 } from "typebox";
+import { Type as Type12 } from "typebox";
 var GLEANER_LEFT_OUTPUT_TOOL_NAME, gleanerLeftOutputSchema, GLEANER_LEFT_BASE_FLAG;
 var init_gleaner_left_contracts = __esm({
   "src/gleaner-left-contracts.ts"() {
@@ -1068,11 +1081,11 @@ var init_gleaner_left_contracts = __esm({
     GLEANER_LEFT_OUTPUT_TOOL_NAME = "ak_gleaner_left_output";
     gleanerLeftOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(
-        Type11.Object({
-          status: Type11.Unknown({
+        Type12.Object({
+          status: Type12.Unknown({
             description: "completed"
           }),
-          findings: Type11.Unknown({
+          findings: Type12.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"
           })
         })
@@ -2074,7 +2087,7 @@ var init_ticket_provenance_contracts = __esm({
 });
 
 // src/diarist-contracts.ts
-import { Type as Type12 } from "typebox";
+import { Type as Type13 } from "typebox";
 function projectDiaristSessions(value) {
   const raw = value?.sessions;
   if (raw === void 0) return [];
@@ -2107,20 +2120,20 @@ var init_diarist_contracts = __esm({
     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(
-        Type12.Object({
-          status: Type12.Unknown({
+        Type13.Object({
+          status: Type13.Unknown({
             description: "completed | escalate"
           }),
-          ticketNumber: Type12.Optional(
-            Type12.Unknown({
+          ticketNumber: Type13.Optional(
+            Type13.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: Type12.Unknown({
+          reason: Type13.Unknown({
             description: "status \u4E3A escalate \u65F6\uFF1A\u8BA4\u4E0D\u51FA\u672C\u5EAD\u5BF9\u8C61\u7684\u539F\u56E0"
           }),
-          sessions: Type12.Optional(Type12.Unknown({ description: DIARIST_SESSIONS_DESCRIPTION })),
-          ticketSessions: Type12.Unknown({
+          sessions: Type13.Optional(Type13.Unknown({ description: DIARIST_SESSIONS_DESCRIPTION })),
+          ticketSessions: Type13.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`
           })
         })
@@ -2130,7 +2143,7 @@ var init_diarist_contracts = __esm({
 });
 
 // src/secretariat-contracts.ts
-import { Type as Type13 } from "typebox";
+import { Type as Type14 } from "typebox";
 var SECRETARIAT_OUTPUT_TOOL_NAME, secretariatVerdictSchema;
 var init_secretariat_contracts = __esm({
   "src/secretariat-contracts.ts"() {
@@ -2138,19 +2151,19 @@ var init_secretariat_contracts = __esm({
     init_terminating_infrastructure();
     SECRETARIAT_OUTPUT_TOOL_NAME = "ak_secretariat_output";
     secretariatVerdictSchema = withTerminatingOutputDeclarations(
-      Type13.Object(
+      Type14.Object(
         {
-          secretariatStatus: Type13.Unknown({
+          secretariatStatus: Type14.Unknown({
             description: "converged | escalate"
           }),
-          ticketNumber: Type13.Optional(
-            Type13.Unknown({ description: "\u672C\u7968\u53F7\uFF1B\u7F72\u65F6\u6307\u5411\u6700\u7EC8\u6B63\u6587\u6240\u5728\u7968" })
+          ticketNumber: Type14.Optional(
+            Type14.Unknown({ description: "\u672C\u7968\u53F7\uFF1B\u7F72\u65F6\u6307\u5411\u6700\u7EC8\u6B63\u6587\u6240\u5728\u7968" })
           ),
-          note: Type13.Unknown({
+          note: Type14.Unknown({
             description: "\u9644\u6CE8\uFF1B\u7F72\uFF08converged\uFF09\u65F6\u9010\u9898\u5217\u7B54\u6848\u3001\u4F9D\u636E\u4E0E\u843D\u5728\u54EA\u4E00\u53E5\uFF1B\u5C01\u8FD8\uFF08escalate\uFF09\u65F6\u9996\u5199\u300C\u5C01\u8FD8\u300D\u3002\u539F\u6837\u7559\u5B58\u3002"
           }),
-          evidence: Type13.Optional(Type13.Unknown({ description: "\u7559\u5B58\u8BC1\u636E" })),
-          decisionGate: Type13.Unknown({
+          evidence: Type14.Optional(Type14.Unknown({ description: "\u7559\u5B58\u8BC1\u636E" })),
+          decisionGate: Type14.Unknown({
             description: "\u672C\u8F6E\u9898\u76EE\uFF1A\u6BCF\u9898 question\u3001options\uFF08\u7A3F\u91CC\u505A\u6CD5\uFF0F\u53E6\u4E00\u505A\u6CD5\uFF09\u3001\u4E24\u8FB9\u4EE3\u4EF7\u3001\u5EFA\u8BAE\u3002\u539F\u6837\u7559\u5B58\u3002"
           })
         },
@@ -4326,7 +4339,7 @@ var init_collector_config = __esm({
 });
 
 // src/collector-tool-schemas.ts
-import { Type as Type14 } from "typebox";
+import { Type as Type15 } from "typebox";
 var collectorOutputBaseSchema, collectorOutputArgsSchema;
 var init_collector_tool_schemas = __esm({
   "src/collector-tool-schemas.ts"() {
@@ -4334,11 +4347,11 @@ var init_collector_tool_schemas = __esm({
     init_open_tool_schema();
     init_terminating_infrastructure();
     collectorOutputBaseSchema = openToolObject(
-      Type14.Object({
-        groups: Type14.Unsafe({
+      Type15.Object({
+        groups: Type15.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: Type14.Unknown({
+        unfinishedReasons: Type15.Unknown({
           description: "\u672A\u5B8C\u6210\u539F\u56E0\uFF1B\u53D6\u8BC1\u53D7\u9650\u65F6\u5982\u5B9E\u62A5\u544A\u3002"
         })
       })
@@ -10328,7 +10341,7 @@ var init_run_lifecycle = __esm({
 });
 
 // src/report-ticket-tool.ts
-import { Type as Type15 } from "typebox";
+import { Type as Type16 } from "typebox";
 import { existsSync as existsSync6 } from "node:fs";
 function pageString(page, key) {
   const value = page?.[key];
@@ -10437,9 +10450,9 @@ var init_report_ticket_tool = __esm({
     init_run_ticket_number();
     init_unknown_value();
     REPORT_TICKET_TOOL_NAME = "ak_report_ticket";
-    reportTicketArgsSchema = Type15.Object(
+    reportTicketArgsSchema = Type16.Object(
       {
-        ticketNumber: Type15.Unknown({
+        ticketNumber: Type16.Unknown({
           description: "\u672C\u7968\u53F7\uFF08\u6B63\u6574\u6570\u3001\u6570\u5B57\u4E32\u6216\u524D\u5BFC #N\uFF09\u3002\u5DF2\u77E5\u7968\u53F7\u65F6\u5F00\u5DE5\u5373\u62A5\uFF1B\u5C1A\u65E0\u7968\u53F7\u65F6\u4E0D\u8981\u8C03\u7528\u3002"
         })
       },
@@ -19164,7 +19177,7 @@ var init_analyst_model_groups = __esm({
 
 // src/analyst-entry.ts
 import { readFile as readFile13 } from "node:fs/promises";
-import { Type as Type16 } from "typebox";
+import { Type as Type17 } from "typebox";
 function cachedPageMatchesRequestedScope(page, input) {
   if (page.bookKey !== input.bookKey) return false;
   const requestedTicket = input.ticketNumber ?? input.issueNumber;
@@ -19369,16 +19382,16 @@ var init_analyst_entry = __esm({
         }
       }
     };
-    analystSweepModeInputSchema = Type16.Object(
+    analystSweepModeInputSchema = Type17.Object(
       {
-        mode: Type16.Literal("sweep"),
-        mergedPullRequests: Type16.Array(
-          Type16.Object(
+        mode: Type17.Literal("sweep"),
+        mergedPullRequests: Type17.Array(
+          Type17.Object(
             {
-              projectRoot: Type16.String(),
+              projectRoot: Type17.String(),
               /** 排除后改动行数 — omit or 0 → typed 空缺; finite ≥ 0 only. */
-              changedLines: Type16.Optional(
-                Type16.Number({ minimum: 0, maximum: Number.MAX_VALUE })
+              changedLines: Type17.Optional(
+                Type17.Number({ minimum: 0, maximum: Number.MAX_VALUE })
               )
             }
           )
@@ -21121,18 +21134,18 @@ import { join as join30 } from "node:path";
 import { Value as Value2 } from "typebox/value";
 
 // src/activation-trace.ts
-import { Type as Type17 } from "typebox";
-var causeSchema = Type17.Object({
-  identity: Type17.String({ minLength: 1 }),
-  name: Type17.String({ minLength: 1 }),
-  message: Type17.String(),
-  evidenceId: Type17.Optional(Type17.String({ minLength: 1 }))
+import { Type as Type18 } from "typebox";
+var causeSchema = Type18.Object({
+  identity: Type18.String({ minLength: 1 }),
+  name: Type18.String({ minLength: 1 }),
+  message: Type18.String(),
+  evidenceId: Type18.Optional(Type18.String({ minLength: 1 }))
 }, { additionalProperties: false });
-var activationTraceRecordSchema = Type17.Object({
-  role: Type17.String({ minLength: 1 }),
-  stageId: Type17.String({ pattern: "^[a-z][a-z0-9-]*$" }),
-  status: Type17.Literal("failed"),
-  timestamp: Type17.String({ format: "date-time" }),
+var activationTraceRecordSchema = Type18.Object({
+  role: Type18.String({ minLength: 1 }),
+  stageId: Type18.String({ pattern: "^[a-z][a-z0-9-]*$" }),
+  status: Type18.Literal("failed"),
+  timestamp: Type18.String({ format: "date-time" }),
   cause: causeSchema
 }, { additionalProperties: false });
 var activationCauseEvidence = 0;
@@ -21295,10 +21308,10 @@ init_engine_detour();
 init_engine_detour_usage();
 init_run_terminal_artifacts();
 init_serialize_thrown_value();
-import { Type as Type18 } from "typebox";
-var engineDetourArgsSchema = Type18.Object(
+import { Type as Type19 } from "typebox";
+var engineDetourArgsSchema = Type19.Object(
   {
-    argv: Type18.Array(Type18.String({ minLength: 1 }), {
+    argv: Type19.Array(Type19.String({ minLength: 1 }), {
       minItems: 1,
       description: "\u9996\u9879\u4E3A PATH \u4E2D\u7684\u53EF\u6267\u884C\u6587\u4EF6\uFF0C\u5176\u4F59\u9879\u4E3A\u53C2\u6570\u3002"
     })

package/dist/migrate-book-topology.js

@@ -8826,6 +8826,18 @@ var init_reviewer_output = __esm({
   }
 });
 
+// src/package-contracts/self-review-fields.ts
+var diffItemsField;
+var init_self_review_fields = __esm({
+  "src/package-contracts/self-review-fields.ts"() {
+    "use strict";
+    init_build();
+    diffItemsField = typebox_exports.Unknown({
+      description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
+    });
+  }
+});
+
 // src/package-contracts/fixer-output.ts
 var FIXER_OUTPUT_TOOL_NAME, PARTIALLY_COMPLETED_DEFINITION, FIXER_STATUS_DESCRIPTION, fixerOutputObject, fixerOutputSchema;
 var init_fixer_output = __esm({
@@ -8834,6 +8846,7 @@ var init_fixer_output = __esm({
     init_build();
     init_open_tool_schema();
     init_terminating_infrastructure();
+    init_self_review_fields();
     FIXER_OUTPUT_TOOL_NAME = "ak_fixer_output";
     PARTIALLY_COMPLETED_DEFINITION = "partially_completed \u53EA\u80FD\u5728\u6709\u5408\u6CD5\u62D2\u7EDD\u9879\uFF08\u5B8C\u6210\u9879\u4E0E\u5408\u6CD5\u62D2\u7EDD\u9879\u5E76\u5B58\uFF09\u65F6\u7528\uFF0C\u522B\u7684\u60C5\u51B5\u4E0D\u51C6\u7528\u3002";
     FIXER_STATUS_DESCRIPTION = `planned | completed | refused | unfinished | partially_completed\u3002unfinished \u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u81F4\u672C\u5C40\u672A\u5B8C\u6210\u65F6\u53EF\u7528\uFF0C\u7F3A\u5F85\u51B3 owner \u51B3\u5B9A\u6216\u7B54\u590D\u5C5E\u7F3A\u524D\u7F6E\u3002${PARTIALLY_COMPLETED_DEFINITION}`;
@@ -8850,8 +8863,9 @@ var init_fixer_output = __esm({
         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"
       }),
       classResults: typebox_exports.Unknown({
-        description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 name\u3001searchScope\u3001exceptions\uFF08where\u3001reason\uFF09\u3001commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 name\u3001remainingScope\u3001blocker\u3002"
+        description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u6BCF\u7C7B\u5199 name\u3001shape\uFF08\u9519\u8BEF\u5F62\u72B6\u4E00\u53E5\uFF09\u3002\u6309\u4EE3\u7801\u5F62\u72B6\u8BA4\u7684\u7C7B\u5199 search\uFF08\u5B9E\u9645\u8DD1\u7684\u641C\u7D22\u547D\u4EE4\uFF0C\u539F\u6837\uFF09\u3001hits\uFF08\u547D\u4EE4\u8F93\u51FA\u7684\u6BCF\u4E2A\u547D\u4E2D\u4E00\u884C { where: path:line, outcome: \u5DF2\u4FEE | \u4E0D\u540C\u7C7B\uFF1A\u7406\u7531 }\uFF09\uFF1B\u6309\u60C5\u5F62\u8BA4\u7684\u7C7B\u5199 cases\uFF08\u6BCF\u79CD\u524D\u5E8F\u7ECF\u5386\u4E00\u884C { case: \u5BF9\u8C61\u5148\u7ECF\u5386\u4E86\u4EC0\u4E48, entry: \u4ECE\u771F\u5B9E\u5165\u53E3\u600E\u4E48\u8D70\u5230\u5B83, before: \u4FEE\u524D\u7ED3\u679C, after: \u4FEE\u540E\u7ED3\u679C }\uFF09\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 remainingScope\u3001blocker\u3002"
       }),
+      diffItems: diffItemsField,
       testEvidence: typebox_exports.Unknown({
         description: "\u6D4B\u8BD5\u8BC1\u636E\u6761\uFF1Bdiff \u542B\u6D4B\u8BD5\u6539\u52A8\u65F6\u63D0\u4EA4\uFF1B\u673A\u5668\u4E0D\u6838\u9A8C\u3002\u53EF\u5199 contract\uFF08\u6D4B\u8BD5\u6539\u52A8\u6240\u8BC1\u660E\u7684\u5951\u7EA6\uFF09\u3001minimumNecessaryCost\uFF08\u6D4B\u8BD5\u6539\u52A8\u7684\u4E00\u884C\u6700\u5C0F\u5FC5\u8981\u6210\u672C\uFF09\u3001measuredDuration\uFF08\u805A\u7126\u9A8C\u8BC1\u5B9E\u6D4B\u65F6\u957F\uFF09\u3002"
       })
@@ -8870,6 +8884,7 @@ var init_worker_output = __esm({
     init_build();
     init_open_tool_schema();
     init_fixer_output();
+    init_self_review_fields();
     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}`;
@@ -8880,9 +8895,7 @@ var init_worker_output = __esm({
       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"
       }),
-      diffItems: typebox_exports.Unknown({
-        description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
-      })
+      diffItems: diffItemsField
     });
     coderOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(coderOutputObject)

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

@@ -1,6 +1,7 @@
 import { Type } from "typebox";
 import { openToolObject } from "../open-tool-schema.js";
 import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.js";
+import { diffItemsField } from "./self-review-fields.js";
 const FIXER_OUTPUT_TOOL_NAME = "ak_fixer_output";
 const PARTIALLY_COMPLETED_DEFINITION = "partially_completed \u53EA\u80FD\u5728\u6709\u5408\u6CD5\u62D2\u7EDD\u9879\uFF08\u5B8C\u6210\u9879\u4E0E\u5408\u6CD5\u62D2\u7EDD\u9879\u5E76\u5B58\uFF09\u65F6\u7528\uFF0C\u522B\u7684\u60C5\u51B5\u4E0D\u51C6\u7528\u3002";
 const FIXER_STATUS_DESCRIPTION = `planned | completed | refused | unfinished | partially_completed\u3002unfinished \u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u81F4\u672C\u5C40\u672A\u5B8C\u6210\u65F6\u53EF\u7528\uFF0C\u7F3A\u5F85\u51B3 owner \u51B3\u5B9A\u6216\u7B54\u590D\u5C5E\u7F3A\u524D\u7F6E\u3002${PARTIALLY_COMPLETED_DEFINITION}`;
@@ -17,8 +18,9 @@ const fixerOutputObject = Type.Object({
     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"
   }),
   classResults: Type.Unknown({
-    description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 name\u3001searchScope\u3001exceptions\uFF08where\u3001reason\uFF09\u3001commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 name\u3001remainingScope\u3001blocker\u3002"
+    description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u6BCF\u7C7B\u5199 name\u3001shape\uFF08\u9519\u8BEF\u5F62\u72B6\u4E00\u53E5\uFF09\u3002\u6309\u4EE3\u7801\u5F62\u72B6\u8BA4\u7684\u7C7B\u5199 search\uFF08\u5B9E\u9645\u8DD1\u7684\u641C\u7D22\u547D\u4EE4\uFF0C\u539F\u6837\uFF09\u3001hits\uFF08\u547D\u4EE4\u8F93\u51FA\u7684\u6BCF\u4E2A\u547D\u4E2D\u4E00\u884C { where: path:line, outcome: \u5DF2\u4FEE | \u4E0D\u540C\u7C7B\uFF1A\u7406\u7531 }\uFF09\uFF1B\u6309\u60C5\u5F62\u8BA4\u7684\u7C7B\u5199 cases\uFF08\u6BCF\u79CD\u524D\u5E8F\u7ECF\u5386\u4E00\u884C { case: \u5BF9\u8C61\u5148\u7ECF\u5386\u4E86\u4EC0\u4E48, entry: \u4ECE\u771F\u5B9E\u5165\u53E3\u600E\u4E48\u8D70\u5230\u5B83, before: \u4FEE\u524D\u7ED3\u679C, after: \u4FEE\u540E\u7ED3\u679C }\uFF09\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 remainingScope\u3001blocker\u3002"
   }),
+  diffItems: diffItemsField,
   testEvidence: Type.Unknown({
     description: "\u6D4B\u8BD5\u8BC1\u636E\u6761\uFF1Bdiff \u542B\u6D4B\u8BD5\u6539\u52A8\u65F6\u63D0\u4EA4\uFF1B\u673A\u5668\u4E0D\u6838\u9A8C\u3002\u53EF\u5199 contract\uFF08\u6D4B\u8BD5\u6539\u52A8\u6240\u8BC1\u660E\u7684\u5951\u7EA6\uFF09\u3001minimumNecessaryCost\uFF08\u6D4B\u8BD5\u6539\u52A8\u7684\u4E00\u884C\u6700\u5C0F\u5FC5\u8981\u6210\u672C\uFF09\u3001measuredDuration\uFF08\u805A\u7126\u9A8C\u8BC1\u5B9E\u6D4B\u65F6\u957F\uFF09\u3002"
   })

package/dist/package-contracts/self-review-fields.js

@@ -0,0 +1,5 @@
+/** Builder-seat self-review table shared by the Coder and Fixer submissions (souls/quality-law.md「交卷前自审」). */
+import { Type } from "typebox";
+export const diffItemsField = Type.Unknown({
+    description: "commit 前自审逐项表：本次新增的每个测试函数、每个生产函数各一行 { item: 名字, existing: 仓里做同一件事的现成件 path:line，找不到为 null, outcome: 已并入 | 保留 }。",
+});

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

@@ -6,6 +6,7 @@ import {
   PARTIALLY_COMPLETED_DEFINITION,
   validateFixerOutput
 } from "./fixer-output.js";
+import { diffItemsField } from "./self-review-fields.js";
 import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.js";
 const CODER_OUTPUT_TOOL_NAME = "ak_coder_output";
 function validateAcceptedCoderDetails(output) {
@@ -22,9 +23,7 @@ const coderOutputObject = Type.Object({
   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"
   }),
-  diffItems: Type.Unknown({
-    description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
-  })
+  diffItems: diffItemsField
 });
 const coderOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(coderOutputObject)

package/dist/public-cli/main.js

@@ -9316,6 +9316,18 @@ var init_reviewer_output = __esm({
   }
 });
 
+// src/package-contracts/self-review-fields.ts
+var diffItemsField;
+var init_self_review_fields = __esm({
+  "src/package-contracts/self-review-fields.ts"() {
+    "use strict";
+    init_build();
+    diffItemsField = typebox_exports.Unknown({
+      description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
+    });
+  }
+});
+
 // src/package-contracts/fixer-output.ts
 var FIXER_OUTPUT_TOOL_NAME, PARTIALLY_COMPLETED_DEFINITION, FIXER_STATUS_DESCRIPTION, fixerOutputObject, fixerOutputSchema;
 var init_fixer_output = __esm({
@@ -9324,6 +9336,7 @@ var init_fixer_output = __esm({
     init_build();
     init_open_tool_schema();
     init_terminating_infrastructure();
+    init_self_review_fields();
     FIXER_OUTPUT_TOOL_NAME = "ak_fixer_output";
     PARTIALLY_COMPLETED_DEFINITION = "partially_completed \u53EA\u80FD\u5728\u6709\u5408\u6CD5\u62D2\u7EDD\u9879\uFF08\u5B8C\u6210\u9879\u4E0E\u5408\u6CD5\u62D2\u7EDD\u9879\u5E76\u5B58\uFF09\u65F6\u7528\uFF0C\u522B\u7684\u60C5\u51B5\u4E0D\u51C6\u7528\u3002";
     FIXER_STATUS_DESCRIPTION = `planned | completed | refused | unfinished | partially_completed\u3002unfinished \u7F3A\u524D\u7F6E\u6216\u8FDD\u5BAA\u7EA6\u675F\u81F4\u672C\u5C40\u672A\u5B8C\u6210\u65F6\u53EF\u7528\uFF0C\u7F3A\u5F85\u51B3 owner \u51B3\u5B9A\u6216\u7B54\u590D\u5C5E\u7F3A\u524D\u7F6E\u3002${PARTIALLY_COMPLETED_DEFINITION}`;
@@ -9340,8 +9353,9 @@ var init_fixer_output = __esm({
         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"
       }),
       classResults: typebox_exports.Unknown({
-        description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 name\u3001searchScope\u3001exceptions\uFF08where\u3001reason\uFF09\u3001commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 name\u3001remainingScope\u3001blocker\u3002"
+        description: "\u5404\u7C7B class \u7ED3\u7B97\uFF0C\u539F\u6837\u7559\u5B58\u3002\u6BCF\u7C7B\u5199 name\u3001shape\uFF08\u9519\u8BEF\u5F62\u72B6\u4E00\u53E5\uFF09\u3002\u6309\u4EE3\u7801\u5F62\u72B6\u8BA4\u7684\u7C7B\u5199 search\uFF08\u5B9E\u9645\u8DD1\u7684\u641C\u7D22\u547D\u4EE4\uFF0C\u539F\u6837\uFF09\u3001hits\uFF08\u547D\u4EE4\u8F93\u51FA\u7684\u6BCF\u4E2A\u547D\u4E2D\u4E00\u884C { where: path:line, outcome: \u5DF2\u4FEE | \u4E0D\u540C\u7C7B\uFF1A\u7406\u7531 }\uFF09\uFF1B\u6309\u60C5\u5F62\u8BA4\u7684\u7C7B\u5199 cases\uFF08\u6BCF\u79CD\u524D\u5E8F\u7ECF\u5386\u4E00\u884C { case: \u5BF9\u8C61\u5148\u7ECF\u5386\u4E86\u4EC0\u4E48, entry: \u4ECE\u771F\u5B9E\u5165\u53E3\u600E\u4E48\u8D70\u5230\u5B83, before: \u4FEE\u524D\u7ED3\u679C, after: \u4FEE\u540E\u7ED3\u679C }\uFF09\u3002\u5B8C\u6210\u9879\u7684 disposition \u4E3A completed\uFF0C\u53EF\u5199 commitSha\u3002\u62D2\u7EDD\u9879\u7684 disposition \u4E3A refused\uFF0C\u53EF\u5199 remainingScope\u3001blocker\u3002"
       }),
+      diffItems: diffItemsField,
       testEvidence: typebox_exports.Unknown({
         description: "\u6D4B\u8BD5\u8BC1\u636E\u6761\uFF1Bdiff \u542B\u6D4B\u8BD5\u6539\u52A8\u65F6\u63D0\u4EA4\uFF1B\u673A\u5668\u4E0D\u6838\u9A8C\u3002\u53EF\u5199 contract\uFF08\u6D4B\u8BD5\u6539\u52A8\u6240\u8BC1\u660E\u7684\u5951\u7EA6\uFF09\u3001minimumNecessaryCost\uFF08\u6D4B\u8BD5\u6539\u52A8\u7684\u4E00\u884C\u6700\u5C0F\u5FC5\u8981\u6210\u672C\uFF09\u3001measuredDuration\uFF08\u805A\u7126\u9A8C\u8BC1\u5B9E\u6D4B\u65F6\u957F\uFF09\u3002"
       })
@@ -9360,6 +9374,7 @@ var init_worker_output = __esm({
     init_build();
     init_open_tool_schema();
     init_fixer_output();
+    init_self_review_fields();
     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}`;
@@ -9370,9 +9385,7 @@ var init_worker_output = __esm({
       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"
       }),
-      diffItems: typebox_exports.Unknown({
-        description: "commit \u524D\u81EA\u5BA1\u9010\u9879\u8868\uFF1A\u672C\u6B21\u65B0\u589E\u7684\u6BCF\u4E2A\u6D4B\u8BD5\u51FD\u6570\u3001\u6BCF\u4E2A\u751F\u4EA7\u51FD\u6570\u5404\u4E00\u884C { item: \u540D\u5B57, existing: \u4ED3\u91CC\u505A\u540C\u4E00\u4EF6\u4E8B\u7684\u73B0\u6210\u4EF6 path:line\uFF0C\u627E\u4E0D\u5230\u4E3A null, outcome: \u5DF2\u5E76\u5165 | \u4FDD\u7559 }\u3002"
-      })
+      diffItems: diffItemsField
     });
     coderOutputSchema = withTerminatingOutputDeclarations(
       openToolObject(coderOutputObject)

package/package.json

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

package/souls/coder.md

@@ -7,13 +7,7 @@
 开工核对见 souls/quality-law.md。
 
 核对当前代码和历史；主张必须有当前事实支撑。
-以最小垂直切片推进并逐片验证；切片完成不构成交卷条件。优先复用已有 seam；不造平行机制，不借机扩大 scope。commit 之前先自审，分两步：
-一、逐项表：从 `git diff HEAD`（未跟踪文件逐个打开）把本次新增的每个测试函数、每个生产函数逐个列进交卷的 diffItems，一个一行，照名字列，不合并、不省略。每一行到仓里找做同一件事的现成件——测试找调用同一个生产入口、证同一结论的已有测试；函数找做同一动作的已有函数——打开它，填它的 path:line；找不到填 null。填了 path:line 的行，当场把新增的并进那个现成件、删掉新增的，outcome 写「已并入」；null 的行 outcome 写「保留」。改完重跑 `git diff HEAD` 重列，直到每一行不是 null 就是已并入。
-二、再过三问，哪条不过当场改：
-1. 入口：每个测试从票面验收写明的对外入口进，沿真实链路走到结果；直接调内部函数、自己拼中间数据喂下一步的，改成从入口走。
-2. 断言：每条断言的对象是返回值、数据库行或结构化字段的值；断言字符串内容（提示词、文案、日志、报错文字）的，不论字符串来自常量还是模型输出，改成断言它驱动出的结构化结果。
-3. 退役：被本次改动替代的旧函数、旧分支、旧测试，在 diff 里已经删除。
-两步都过了才 commit。
+以最小垂直切片推进并逐片验证；切片完成不构成交卷条件。优先复用已有 seam；不造平行机制，不借机扩大 scope。commit 之前按 souls/quality-law.md「交卷前自审」做完两步再 commit。
 计划与施工都要说明真实刀口、行为边界和验证方法，不用空泛完成声明代替证据。
 切片验证的范围见 souls/quality-law.md「测试分级」。
 不 amend、rewrite 或 push。Git 变化是证据之一，不取代角色报告。

package/souls/fixer-output-guide.md

@@ -1,5 +1,5 @@
 # 修内司输出指南
 
 提交前缀见仓内 CLAUDE.md「Commit 前缀」。不 amend、不 rewrite、不 push 见 souls/fixer.md。
-交卷回执：逐 finding 报处置。证据引用口径见仓内 CLAUDE.md「锚定宪法」。
+交卷回执：逐 finding 报处置。classResults 每类的 hits 或 cases 是扫类、复扫的逐项表；diffItems 是交卷前自审的逐项表。证据引用口径见仓内 CLAUDE.md「锚定宪法」。
 新造通用件的回执口径见 souls/quality-law.md「生态里已有的不自己造」。

package/souls/fixer.md

@@ -6,10 +6,13 @@ apply 按顺序执行：
 1. 立法：读 全局宪法，仓内宪法，票面。
 2. 核对：开工核对见 souls/quality-law.md。
 3. 归类：读完全部 finding，沿用已有裁决类别，明确各类错误与正确行为。
-4. 扫类：修改前查全授权范围内的同类实例、已有实现和失败修法。类按错误形状认，不按判词点名的符号或文件认；点名处只是样本。根因不明先取证。
+4. 扫类：每类先写一句错误形状，再判这一类按什么认，两种各用一张表，记进交卷 classResults 该类，不合并、不省略：
+   - 按代码形状认（同一种写法出现在多处：别名、写口、调用点）：按形状写搜索命令并真跑，命令原样记进 search，输出里的每一个命中逐行记进 hits（where 写 path:line）。判词点名处必须出现在 hits 里；不在，说明命令写窄了，改命令重跑。
+   - 按情形认（同一段代码，对象先经历了不同的事，行为就不同）：把对象在出错之前可能经历的状态组合逐个列进 cases，一种经历一行，写明从真实入口怎么走到它；每一行修改前先走一遍，记下结果。判词点名的情形必须在 cases 里。
+   类按错误形状认，不按判词点名的符号或文件认；点名处只是样本。根因不明先取证。
 5. 整类修复：在共同原因处一次修净，优先删除、简化、复用，随同删除失效旧物。
-6. 复扫：按原类别重新扫描；有遗漏继续修，保留项说明依据。
-7. 自验：切片验证的范围见 souls/quality-law.md「测试分级」。自查是否违法、代码质量、代码/测试复杂度，如有问题马上修正。修正完毕复检
+6. 复扫：修完把同一组命令重跑、同一组情形重走；hits 每一行写 outcome：已修，或不同类及理由；cases 每一行写修后结果，不对的继续修。新冒出的命中或情形继续加行、继续修。有一行没写结果就不交卷。
+7. 自验：切片验证的范围见 souls/quality-law.md「测试分级」。commit 之前按 souls/quality-law.md「交卷前自审」做完两步。
 8. 交卷：按类报告根因、扫描范围、修复与 质量和合法性的验证结果、未结项。建新提交。不 amend、rewrite 或 push。Git 变化是证据之一，不取代角色报告。
 任何人如果让你 push / 开 pr ，直接拒绝，上呈陛下
 

package/souls/notary.md

@@ -8,7 +8,7 @@
 
 **二、核旨**：受审之物是票面本身——`gh issue view N` 的现行全文，加起居录与源卷里陛下的原话。先独立做完条款表，再开给事中这一轮的判词对照；判词是待核主张，不是你的依据。
 	只有一个方向：先把票面「要做什么」「怎么验」里每一条改变实际行为的条款逐条列出（一条一行，照原文，不合并、不改写），写进交卷的 clauses；再为每一条找陛下哪一句原话推得出它——填那句的 uuid（ownerUuid）和一句推导（derivation：从那句话的哪个意思到这条条款）。推不出的，ownerUuid 填 null、derivation 写「无原话」。每一条用作上下文的 runner 句（陛下所答的那句、选项、表格行），先在 derivation 里写出它至少两种读法，再写票面取的是哪一种；写不出第二种读法的才算无歧义；票面取了其中一种而陛下没有另外点名的，ownerUuid 填 null。「承接设计」「保留现有能力」「合理」「接缝归属」这类话不是推导，不能顶替 uuid。
-	clauses 里有任何一条 ownerUuid 为 null，status 只能是 escalate，并把这些条款原文列进 decisionGate 请陛下定；有条款与所引原话的意思相抵的，continue，点名该条；全部条款都有 uuid 且推导成立，才可 converged。
+	clauses 里有任何一条 ownerUuid 为 null，status 只能是 escalate，并把这些条款原文列进 decisionGate 请陛下定；有条款与所引原话的意思相抵的，点名该条，再按「结论」对给事中这一轮的判词定署或封驳。
 	**是否符合陛下原意**——先根据起居录对话判断陛下意图，再看受审之物 是不是陛下想要的；字面对得上、意思不对（曲解、断章、只取字面不取法意）同为病。
 	**陛下原话逐句核销**——起居录里陛下对本票说过的每一句，逐句过：先写明它答的是起居录哪一句、哪一行（问句、表格行、选项），那一句描述的对象是什么，写进判词证据；再问他这句话想要什么、在担心什么，再看受审之物给没给到——不是为了凑齐引文。受审之物动作的对象比所答对象大——答的是代码代劳却删席位、删衙门、删能力、改流程——而原话没有点名该对象的，封驳。衙门与替它干活的代码是两个对象：说某机制多余、可以删，不是说撤该衙门；席位、衙门、能力的存废只认点名它本身的原话。质问句——陛下在问这张票、这条约束凭什么存在——是对受审之物的未决挑战，不是授权：没被事实或适用的法答掉的，或被摘来当「支持」的，封驳。runner 在录里已自认不成立的理由仍撑着受审之物的，同。
 	**找不到陛下原话**——受审之物里方向、设计、决策一级的条款，从陛下的意思推不出、又指不出哪条过了审的法源的，即加戏。不得以「授权实质在录」放行。
@@ -32,4 +32,4 @@
 
 ## 结论
 
-结论三态，裁的是票面每一条条款有没有陛下原话撑着：'converged'（署）——clauses 每条都有 ownerUuid 且推导成立；'continue'（封驳）——有条款与所引原话相抵，退签发方改；'escalate'（上呈）——有条款 ownerUuid 为 null（无原话），陛下定。
+结论三态，裁的是被审衙门这一轮的判词站不站得住（票庭是给事中，大理寺庭是大理寺），条款表是你的依据：'converged'（署）——站得住，不论它署了票还是封驳了票：它署了票，而条款表每条都有 uuid 且推导成立；或它封驳了票、退签发方改，而你也查出该改的地方。'continue'（封驳）——站不住，要被审衙门改判重交：它署了票，而条款表查出与原话相抵的条款；或它封驳的理由在原话上不成立。'escalate'（上呈）——有条款 ownerUuid 为 null（无原话），陛下定。

package/souls/quality-law.md

@@ -35,6 +35,16 @@
 
 生产代码和测试代码都计算复杂度。新增任何测试，都必须证明它提供了现有体系没有的必要价值。
 
+## 交卷前自审
+
+施工席 commit 之前先自审，分两步：
+一、逐项表：从 `git diff HEAD`（未跟踪文件逐个打开）把本次新增的每个测试函数、每个生产函数逐个列进交卷的 diffItems，一个一行，照名字列，不合并、不省略。每一行到仓里找做同一件事的现成件——测试找调用同一个生产入口、证同一结论的已有测试；函数找做同一动作的已有函数——打开它，填它的 path:line；找不到填 null。填了 path:line 的行，当场把新增的并进那个现成件、删掉新增的，outcome 写「已并入」；null 的行 outcome 写「保留」。改完重跑 `git diff HEAD` 重列，直到每一行不是 null 就是已并入。
+二、再过三问，哪条不过当场改：
+1. 入口：每个测试从票面验收写明的对外入口进，沿真实链路走到结果；直接调内部函数、自己拼中间数据喂下一步的，改成从入口走。
+2. 断言：每条断言的对象是返回值、数据库行或结构化字段的值；断言字符串内容（提示词、文案、日志、报错文字）的，不论字符串来自常量还是模型输出，改成断言它驱动出的结构化结果。
+3. 退役：被本次改动替代的旧函数、旧分支、旧测试，在 diff 里已经删除。
+两步都过了才 commit。
+
 ## 测试分级
 
 按尺寸分级，不按名义分类。小型：单进程单模块、不碰外部资源、秒级完成。中型：单机之内，可跨进程、可碰本机资源。大型：完整系统真实链路。行为证明放在够用的最小尺寸；大型只保留中小型无法证明的行为。

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

@@ -1,6 +1,7 @@
 import { Type } from "typebox";
 import { openToolObject } from "../open-tool-schema.ts";
 import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.ts";
+import { diffItemsField } from "./self-review-fields.ts";
 
 export const FIXER_OUTPUT_TOOL_NAME = "ak_fixer_output";
 
@@ -28,8 +29,9 @@ const fixerOutputObject = Type.Object({
   }),
   classResults: Type.Unknown({
     description:
-      "各类 class 结算，原样留存。完成项的 disposition 为 completed，可写 name、searchScope、exceptions（where、reason）、commitSha。拒绝项的 disposition 为 refused，可写 name、remainingScope、blocker。",
+      "各类 class 结算，原样留存。每类写 name、shape（错误形状一句）。按代码形状认的类写 search（实际跑的搜索命令，原样）、hits（命令输出的每个命中一行 { where: path:line, outcome: 已修 | 不同类：理由 }）；按情形认的类写 cases（每种前序经历一行 { case: 对象先经历了什么, entry: 从真实入口怎么走到它, before: 修前结果, after: 修后结果 }）。完成项的 disposition 为 completed，可写 commitSha。拒绝项的 disposition 为 refused，可写 remainingScope、blocker。",
   }),
+  diffItems: diffItemsField,
   testEvidence: Type.Unknown({
     description:
       "测试证据条；diff 含测试改动时提交；机器不核验。可写 contract（测试改动所证明的契约）、minimumNecessaryCost（测试改动的一行最小必要成本）、measuredDuration（聚焦验证实测时长）。",
@@ -57,6 +59,7 @@ export type FixerOutput = {
   readonly reason?: unknown;
   readonly classResults?: unknown;
   readonly testEvidence?: unknown;
+  readonly diffItems?: unknown;
 };
 export type FixerPhase = "plan" | "apply";
 

package/src/package-contracts/self-review-fields.ts

@@ -0,0 +1,8 @@
+/** Builder-seat self-review table shared by the Coder and Fixer submissions (souls/quality-law.md「交卷前自审」). */
+
+import { Type } from "typebox";
+
+export const diffItemsField = Type.Unknown({
+  description:
+    "commit 前自审逐项表：本次新增的每个测试函数、每个生产函数各一行 { item: 名字, existing: 仓里做同一件事的现成件 path:line，找不到为 null, outcome: 已并入 | 保留 }。",
+});

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

@@ -13,6 +13,7 @@ import {
   type FixerOutput,
   type FixerPhase,
 } from "./fixer-output.ts";
+import { diffItemsField } from "./self-review-fields.ts";
 import { withTerminatingOutputDeclarations } from "./terminating-infrastructure.ts";
 
 export {
@@ -57,10 +58,7 @@ const coderOutputObject = Type.Object({
   reason: Type.Unknown({
     description: "阻断原因：缺前置或违宪约束。缺待决 owner 决定或答复属缺前置。",
   }),
-  diffItems: Type.Unknown({
-    description:
-      "commit 前自审逐项表：本次新增的每个测试函数、每个生产函数各一行 { item: 名字, existing: 仓里做同一件事的现成件 path:line，找不到为 null, outcome: 已并入 | 保留 }。",
-  }),
+  diffItems: diffItemsField,
 });
 export const coderOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(coderOutputObject),