@akagilnc/pi-workflow-roles 0.1.5079 → 0.1.5096

package/dist/notary-contracts.js

@@ -14,7 +14,6 @@ const NOTARY_TICKET_FLAG = {
     type: "string"
   }
 };
-const NOTARY_FIXED_KICKOFF = "\u7B26\u5B9D\u90CE\u6848\u5377\u5DF2\u53D7\u7406\uFF1B\u6765\u6E90 run \u5B9A\u4F4D\u89C1\u4F1A\u8BDD\u6750\u6599\u3002";
 const notaryOutputSchema = reviewSubmissionSchema;
 function isRecord(value) {
   return typeof value === "object" && value !== null && !Array.isArray(value);
@@ -37,7 +36,6 @@ function validateRecordedNotaryOutput(value) {
   return value;
 }
 export {
-  NOTARY_FIXED_KICKOFF,
   NOTARY_OUTPUT_TOOL_NAME,
   NOTARY_SOURCE_RUN_FLAG,
   NOTARY_TICKET_FLAG,

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

@@ -27,7 +27,7 @@ const refusedClassResultSchema = Type.Object({
 });
 const classResultSchema = Type.Union([completedClassResultSchema, refusedClassResultSchema]);
 const completedClassResultsSchema = Type.Array(completedClassResultSchema);
-const FIXER_STATUS_DESCRIPTION = "planned | completed | refused | unfinished | partially_completed \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8\uFF1Bunfinished \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";
+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";
 const fixerOutputVariants = Type.Union([
   Type.Object({ status: Type.Unknown({ description: FIXER_STATUS_DESCRIPTION }), report: Type.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }) }),
   Type.Object({ status: Type.Unknown({ description: FIXER_STATUS_DESCRIPTION }), report: Type.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }), remainingScope: Type.String({ description: "\u4F9D\u6CD5\u4E0D\u80FD\u5B8C\u6210\u7684\u5DE5\u4F5C\u8303\u56F4" }), blocker: Type.Unsafe({ ...blockerSchema, description: "\u5408\u6CD5\u963B\u65AD\u5B8C\u6210\u7684 blocker" }) }),

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

@@ -5,7 +5,7 @@ const GATEKEEPER_OUTPUT_TOOL_NAME = "ak_gatekeeper_output";
 const gatekeeperDecisionSchema = openToolObject(
   Type.Object({
     status: Type.Unknown({
-      description: "dispatch | pass \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8"
+      description: "dispatch | pass"
     }),
     officer: Type.Unknown({
       description: "status \u4E3A dispatch \u65F6\u4E3A inspector | notary"

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

@@ -6,7 +6,7 @@ const navigatorOutputSchema = withTerminatingOutputDeclarations(
   openToolObject(
     Type.Object({
       prose: Type.Unknown({
-        description: "\u6E38\u5955\u4F7F\u6563\u6587\u5EFA\u8BAE\uFF0C\u539F\u6837\u5448\u73B0\u3002\u4E0D\u8981\u6C42 candidates/next \u7B49\u7ED3\u6784\u5316\u5B57\u6BB5\u3002\u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8"
+        description: "\u6E38\u5955\u4F7F\u6563\u6587\u5EFA\u8BAE\uFF0C\u539F\u6837\u5448\u73B0\u3002\u4E0D\u8981\u6C42 candidates/next \u7B49\u7ED3\u6784\u5316\u5B57\u6BB5\u3002"
       })
     })
   )

package/dist/package-contracts/terminating-infrastructure.js

@@ -4,12 +4,12 @@ const INFRASTRUCTURE_FAILURE_DIAGNOSTIC_KEY = "diagnostic";
 const infrastructureFailureNested = Type.Object(
   {
     [INFRASTRUCTURE_FAILURE_DIAGNOSTIC_KEY]: Type.Unknown({
-      description: "\u975E\u7A7A\u57FA\u7840\u8BBE\u65BD\u5931\u8D25\u8BCA\u65AD\u5B57\u7B26\u4E32\u3002\u65E0\u5931\u8D25\u65F6\u5FC5\u987B\u7701\u7565\u6574\u4E2A infrastructureFailure\u3002\u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8\u3002"
+      description: "\u57FA\u7840\u8BBE\u65BD\u5931\u8D25\u8BCA\u65AD\u5B57\u7B26\u4E32\u3002"
     })
   },
   {
     additionalProperties: true,
-    description: "\u57FA\u7840\u8BBE\u65BD\u771F\u5B9E\u5931\u8D25\u58F0\u660E\uFF08\u5982\u9700\uFF09\u3002\u89C4\u8303\u5F62\uFF1A{ diagnostic: \u975E\u7A7A\u8BCA\u65AD\u5B57\u7B26\u4E32 }\uFF1B\u65E0\u5931\u8D25\u65F6\u5FC5\u987B\u7701\u7565\u3002\u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8\u3002"
+    description: "\u4EC5\u57FA\u7840\u8BBE\u65BD\u771F\u5B9E\u5931\u8D25\u65F6\u51FA\u73B0\u3002"
   }
 );
 infrastructureFailureNested.required = [];
@@ -25,7 +25,7 @@ function withTerminatingOutputDeclarations(schema) {
     ...baseProperties ?? {},
     ...baseProperties?.ticketNumber === void 0 ? {
       ticketNumber: Type.Unknown({
-        description: "\u53EF\u9009\u672C\u7968\u53F7\uFF1A\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\uFF1B\u673A\u68B0\u5C42\u53EA\u8BB0\u5F55\u5408\u6CD5\u6B63\u6574\u6570\uFF0C\u4E0D\u4ECE\u6563\u6587\u63A8\u5BFC\u3001\u4E0D\u9A8C\u771F\u3002\u7F3A\u5931\u6216\u9519\u5F62\u4E0D\u62D2\u6536\u3002"
+        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\u3002"
       })
     } : {},
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureDeclarationSchema.properties[INFRASTRUCTURE_FAILURE_DECLARATION_KEY]

package/dist/packaged-role-registry.js

@@ -27,21 +27,24 @@ const NOTARY_SESSION_MATERIALS = [
   "souls/notary.md",
   "souls/audit-law.md",
   "souls/ticket-law.md",
-  "souls/gate-output-guide.md"
+  "souls/gate-output-guide.md",
+  "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
 ];
 const INSPECTOR_SESSION_MATERIALS = [
   "CLAUDE.md",
   "souls/inspector.md",
   "souls/audit-law.md",
   "souls/quality-law.md",
-  "souls/gate-output-guide.md"
+  "souls/gate-output-guide.md",
+  "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
 ];
 const AUDITOR_PUBLIC_SESSION_MATERIALS = [
   "CLAUDE.md",
   "souls/judge-auditor.md",
   "souls/doctor-auditor.md",
   "souls/audit-law.md",
-  "souls/quality-law.md"
+  "souls/quality-law.md",
+  "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
 ];
 const PUBLIC_ROLE_RECORDS = [
   {
@@ -69,7 +72,8 @@ const PUBLIC_ROLE_RECORDS = [
       "souls/judge.md",
       "souls/audit-law.md",
       "souls/quality-law.md",
-      "souls/judge-output-guide.md"
+      "souls/judge-output-guide.md",
+      "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
     ]
   },
   {
@@ -347,7 +351,7 @@ const PUBLIC_ROLE_RECORDS = [
     activationStage: "load-and-install",
     receiptStatusKey: "status",
     // #924: 公用《票面法》三席同装
-    sessionMaterials: ["CLAUDE.md", "souls/countersign.md", "souls/ticket-law.md", "resources/countersign-ticket-issue.md"]
+    sessionMaterials: ["CLAUDE.md", "souls/countersign.md", "souls/ticket-law.md", "resources/countersign-ticket-issue.md", "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"]
   },
   {
     role: "secretariat",

package/dist/public-cli/countersign-run.js

@@ -234,7 +234,7 @@ export async function runCountersignCourtDiaristStation(admitted, env, io, after
     const completedIndex = afterTicketNumber === undefined ? -1 : refreshTickets.indexOf(afterTicketNumber);
     for (const ticketNumber of refreshTickets.slice(completedIndex + 1)) {
         const outcome = await invokeCourtDiarist({
-            instruction: `整理 #${ticketNumber} 的本案依据。`,
+            instruction: admitted.instruction,
             projectRoot: admitted.projectRoot,
             failureLabel: `ticket #${ticketNumber}`,
             correlationId: admitted.runId,

package/dist/public-cli/invocation.js

@@ -24,7 +24,7 @@ import { validateMergerInput, } from "../merger-contracts.js";
 import { sha256Hex } from "../sha256.js";
 import { rehomeUnboundTicketProvenance } from "../ticket-provenance.js";
 import { uuidv7 } from "../uuidv7.js";
-import { NOTARY_FIXED_KICKOFF, } from "../notary-contracts.js";
+import {} from "../notary-contracts.js";
 import { NotarySourceRunError, resolveNotarySourceRunLocator, } from "../notary-source-run.js";
 import { appendEngineSessionMaterial, } from "../package-resources/engine-material.js";
 import { CliUsageError } from "./cli-errors.js";
@@ -1293,13 +1293,16 @@ function admittedTransportPromptKind(admitted) {
 export function buildInstructionTransportPrompt(admitted, engineMaterial) {
     const kind = admittedTransportPromptKind(admitted);
     if (kind === "fixed-kickoff") {
-        return appendEngineSessionMaterial([NOTARY_FIXED_KICKOFF], engineMaterial).join("\n");
+        if (admitted.sourceRunPath === undefined || admitted.sourceRunPath.trim() === "") {
+            throw new Error("fixed-kickoff transport prompt is missing the source run pointer");
+        }
+        return appendEngineSessionMaterial([admitted.sourceRunPath], engineMaterial).join("\n");
     }
     if (kind === "baseline") {
         if (admitted.baseRevision === undefined) {
             throw new Error("baseline transport prompt is missing the bound revision");
         }
-        const lines = [`左拾遗案已受理。比较基线：${admitted.baseRevision}`];
+        const lines = [admitted.baseRevision];
         if (!admitted.instructionEmpty) {
             lines.push("", admitted.instruction);
         }

package/dist/public-cli/main.js

@@ -8798,7 +8798,7 @@ function withTerminatingOutputDeclarations(schema) {
     ...baseProperties ?? {},
     ...baseProperties?.ticketNumber === void 0 ? {
       ticketNumber: typebox_exports.Unknown({
-        description: "\u53EF\u9009\u672C\u7968\u53F7\uFF1A\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\uFF1B\u673A\u68B0\u5C42\u53EA\u8BB0\u5F55\u5408\u6CD5\u6B63\u6574\u6570\uFF0C\u4E0D\u4ECE\u6563\u6587\u63A8\u5BFC\u3001\u4E0D\u9A8C\u771F\u3002\u7F3A\u5931\u6216\u9519\u5F62\u4E0D\u62D2\u6536\u3002"
+        description: "\u53EF\u9009\u672C\u7968\u53F7\u3002\u5C1A\u672A\u7ED1\u5B9A\u65F6\u7531\u89D2\u8272\u5728\u65E2\u6709\u56DE\u6267\u4E2D\u7533\u62A5\u3002"
       })
     } : {},
     [INFRASTRUCTURE_FAILURE_DECLARATION_KEY]: infrastructureFailureDeclarationSchema.properties[INFRASTRUCTURE_FAILURE_DECLARATION_KEY]
@@ -8819,12 +8819,12 @@ var init_terminating_infrastructure = __esm({
     infrastructureFailureNested = typebox_exports.Object(
       {
         [INFRASTRUCTURE_FAILURE_DIAGNOSTIC_KEY]: typebox_exports.Unknown({
-          description: "\u975E\u7A7A\u57FA\u7840\u8BBE\u65BD\u5931\u8D25\u8BCA\u65AD\u5B57\u7B26\u4E32\u3002\u65E0\u5931\u8D25\u65F6\u5FC5\u987B\u7701\u7565\u6574\u4E2A infrastructureFailure\u3002\u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8\u3002"
+          description: "\u57FA\u7840\u8BBE\u65BD\u5931\u8D25\u8BCA\u65AD\u5B57\u7B26\u4E32\u3002"
         })
       },
       {
         additionalProperties: true,
-        description: "\u57FA\u7840\u8BBE\u65BD\u771F\u5B9E\u5931\u8D25\u58F0\u660E\uFF08\u5982\u9700\uFF09\u3002\u89C4\u8303\u5F62\uFF1A{ diagnostic: \u975E\u7A7A\u8BCA\u65AD\u5B57\u7B26\u4E32 }\uFF1B\u65E0\u5931\u8D25\u65F6\u5FC5\u987B\u7701\u7565\u3002\u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8\u3002"
+        description: "\u4EC5\u57FA\u7840\u8BBE\u65BD\u771F\u5B9E\u5931\u8D25\u65F6\u51FA\u73B0\u3002"
       }
     );
     infrastructureFailureNested.required = [];
@@ -8849,7 +8849,7 @@ var init_gatekeeper_output = __esm({
     gatekeeperDecisionSchema = openToolObject(
       typebox_exports.Object({
         status: typebox_exports.Unknown({
-          description: "dispatch | pass \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8"
+          description: "dispatch | pass"
         }),
         officer: typebox_exports.Unknown({
           description: "status \u4E3A dispatch \u65F6\u4E3A inspector | notary"
@@ -8878,7 +8878,7 @@ var init_navigator_output = __esm({
       openToolObject(
         typebox_exports.Object({
           prose: typebox_exports.Unknown({
-            description: "\u6E38\u5955\u4F7F\u6563\u6587\u5EFA\u8BAE\uFF0C\u539F\u6837\u5448\u73B0\u3002\u4E0D\u8981\u6C42 candidates/next \u7B49\u7ED3\u6784\u5316\u5B57\u6BB5\u3002\u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8"
+            description: "\u6E38\u5955\u4F7F\u6563\u6587\u5EFA\u8BAE\uFF0C\u539F\u6837\u5448\u73B0\u3002\u4E0D\u8981\u6C42 candidates/next \u7B49\u7ED3\u6784\u5316\u5B57\u6BB5\u3002"
           })
         })
       )
@@ -8905,7 +8905,7 @@ var init_review_submission = __esm({
             typebox_exports.Literal(REVIEW_QUEUE_WORDS[2])
           ],
           {
-            description: "\u5BA1\u6838\u961F\u5217\u4E09\u6001\u679A\u4E3E\uFF0C\u5FC5\u586B\u3002\u5BA1\u6838\u5E2D\u4ECD\u80FD\u4EA4\u5377\u800C\u5B8C\u6210\u5BA1\u6838\u6240\u9700\u7684\u5916\u90E8\u4F9D\u8D56\u53D1\u751F\u771F\u5B9E\u57FA\u7840\u8BBE\u65BD\u5931\u8D25\u65F6\uFF0Cstatus \u53D6 escalate\uFF0C\u7EC6\u8282\u5199\u5165 infrastructureFailure\u3002\u4E0D\u5F97\u7701\u7565 status\uFF0C\u4E0D\u5F97\u7528\u53E6\u4E24\u4E2A\u679A\u4E3E\u503C\u5145\u5F53\u653E\u884C\u6216\u5C01\u9A73\u3002\u5305\u4FA7\u4E0D\u56E0\u683C\u5F0F\u62D2\u6536\u3002"
+            description: "\u5BA1\u6838\u5E2D\u672C\u8F6E\u88C1\u51B3\u7684\u5224\u522B\u72B6\u6001\u3002"
           }
         ),
         findings: typebox_exports.Optional(typebox_exports.Unknown({ description: "\u5BA1\u6838\u53D1\u73B0\uFF0C\u539F\u6837\u7559\u5B58" })),
@@ -8975,7 +8975,7 @@ var init_fixer_output = __esm({
     });
     classResultSchema = typebox_exports.Union([completedClassResultSchema, refusedClassResultSchema]);
     completedClassResultsSchema = typebox_exports.Array(completedClassResultSchema);
-    FIXER_STATUS_DESCRIPTION = "planned | completed | refused | unfinished | partially_completed \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8\uFF1Bunfinished \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";
+    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";
     fixerOutputVariants = typebox_exports.Union([
       typebox_exports.Object({ status: typebox_exports.Unknown({ description: FIXER_STATUS_DESCRIPTION }), report: typebox_exports.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }) }),
       typebox_exports.Object({ status: typebox_exports.Unknown({ description: FIXER_STATUS_DESCRIPTION }), report: typebox_exports.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }), remainingScope: typebox_exports.String({ description: "\u4F9D\u6CD5\u4E0D\u80FD\u5B8C\u6210\u7684\u5DE5\u4F5C\u8303\u56F4" }), blocker: typebox_exports.Unsafe({ ...blockerSchema, description: "\u5408\u6CD5\u963B\u65AD\u5B8C\u6210\u7684 blocker" }) }),
@@ -15032,7 +15032,7 @@ var init_doctor_contracts = __esm({
       typebox_exports.Object({ targetKey: nonblank, targetKind: typebox_exports.Optional(typebox_exports.Union(assetKinds.map((kind) => typebox_exports.Literal(kind)))), assetEvidence: typebox_exports.Optional(typebox_exports.Object({ targetKey: nonblank, targetKind: typebox_exports.Optional(typebox_exports.Union(assetKinds.map((kind) => typebox_exports.Literal(kind)))), evidenceId: nonblank }, { additionalProperties: true })), ...findingBody }, { additionalProperties: true })
     ]);
     caseIdentity = typebox_exports.Object({ issueNumber: typebox_exports.Optional(typebox_exports.Integer()), runsPath: nonblank }, { additionalProperties: true });
-    DOCTOR_STATUS_DESCRIPTION = "completed | refused \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8\uFF1Bcompleted \u5141\u8BB8\u7A7A findings\uFF1Brefused \u4EC5\u5F53\u8BC1\u636E\u4E0D\u8DB3\u4EE5\u652F\u6491\u5982\u5B9E\u6848\u8BC1\u8BCD";
+    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";
     doctorSubmissionVariants = typebox_exports.Union([
       typebox_exports.Object({
         status: typebox_exports.Unknown({ description: DOCTOR_STATUS_DESCRIPTION }),
@@ -15112,7 +15112,7 @@ var init_merger_contracts = __esm({
       resolutionScope: typebox_exports.Array(typebox_exports.String(), { description: "\u6750\u6599\uFF1A\u89E3\u6790\u8303\u56F4\u63D0\u793A\uFF1B\u53EF\u7A7A" }),
       authorizedChecks: typebox_exports.Array(checkSchema)
     }, { additionalProperties: false });
-    MERGER_STATUS_DESCRIPTION = "completed | escalate \u2014 \u5F62\u72B6\u6307\u5F15\uFF0C\u975E schema \u95F8";
+    MERGER_STATUS_DESCRIPTION = "completed | escalate";
     mergerOutputVariants = typebox_exports.Union([
       typebox_exports.Object({ status: typebox_exports.Unknown({ description: MERGER_STATUS_DESCRIPTION }), attemptId: typebox_exports.String({ description: "\u5DF2\u53D7\u7406\u5408\u5E76 attempt \u8EAB\u4EFD" }), report: typebox_exports.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }), mergeCommitId: typebox_exports.String({ description: "\u5B8C\u6210\u5408\u5E76 commit object ID" }) }, { additionalProperties: false }),
       typebox_exports.Object({ status: typebox_exports.Unknown({ description: MERGER_STATUS_DESCRIPTION }), attemptId: typebox_exports.String({ description: "\u5DF2\u53D7\u7406\u5408\u5E76 attempt \u8EAB\u4EFD" }), diagnosis: typebox_exports.String({ 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" }), report: typebox_exports.String({ description: "\u5982\u5B9E\u7ED3\u679C\u62A5\u544A" }) }, { additionalProperties: false })
@@ -15133,13 +15133,12 @@ var init_merger_contracts = __esm({
 });
 
 // src/notary-contracts.ts
-var NOTARY_OUTPUT_TOOL_NAME, NOTARY_FIXED_KICKOFF;
+var NOTARY_OUTPUT_TOOL_NAME;
 var init_notary_contracts = __esm({
   "src/notary-contracts.ts"() {
     "use strict";
     init_review_submission();
     NOTARY_OUTPUT_TOOL_NAME = REVIEW_SUBMISSION_OUTPUT_TOOL_NAME;
-    NOTARY_FIXED_KICKOFF = "\u7B26\u5B9D\u90CE\u6848\u5377\u5DF2\u53D7\u7406\uFF1B\u6765\u6E90 run \u5B9A\u4F4D\u89C1\u4F1A\u8BDD\u6750\u6599\u3002";
   }
 });
 
@@ -15523,21 +15522,24 @@ var init_packaged_role_registry = __esm({
       "souls/notary.md",
       "souls/audit-law.md",
       "souls/ticket-law.md",
-      "souls/gate-output-guide.md"
+      "souls/gate-output-guide.md",
+      "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
     ];
     INSPECTOR_SESSION_MATERIALS = [
       "CLAUDE.md",
       "souls/inspector.md",
       "souls/audit-law.md",
       "souls/quality-law.md",
-      "souls/gate-output-guide.md"
+      "souls/gate-output-guide.md",
+      "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
     ];
     AUDITOR_PUBLIC_SESSION_MATERIALS = [
       "CLAUDE.md",
       "souls/judge-auditor.md",
       "souls/doctor-auditor.md",
       "souls/audit-law.md",
-      "souls/quality-law.md"
+      "souls/quality-law.md",
+      "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
     ];
     PUBLIC_ROLE_RECORDS = [
       {
@@ -15565,7 +15567,8 @@ var init_packaged_role_registry = __esm({
           "souls/judge.md",
           "souls/audit-law.md",
           "souls/quality-law.md",
-          "souls/judge-output-guide.md"
+          "souls/judge-output-guide.md",
+          "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
         ]
       },
       {
@@ -15843,7 +15846,7 @@ var init_packaged_role_registry = __esm({
         activationStage: "load-and-install",
         receiptStatusKey: "status",
         // #924: 公用《票面法》三席同装
-        sessionMaterials: ["CLAUDE.md", "souls/countersign.md", "souls/ticket-law.md", "resources/countersign-ticket-issue.md"]
+        sessionMaterials: ["CLAUDE.md", "souls/countersign.md", "souls/ticket-law.md", "resources/countersign-ticket-issue.md", "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"]
       },
       {
         role: "secretariat",
@@ -22725,13 +22728,16 @@ function admittedTransportPromptKind(admitted) {
 function buildInstructionTransportPrompt(admitted, engineMaterial) {
   const kind = admittedTransportPromptKind(admitted);
   if (kind === "fixed-kickoff") {
-    return appendEngineSessionMaterial([NOTARY_FIXED_KICKOFF], engineMaterial).join("\n");
+    if (admitted.sourceRunPath === void 0 || admitted.sourceRunPath.trim() === "") {
+      throw new Error("fixed-kickoff transport prompt is missing the source run pointer");
+    }
+    return appendEngineSessionMaterial([admitted.sourceRunPath], engineMaterial).join("\n");
   }
   if (kind === "baseline") {
     if (admitted.baseRevision === void 0) {
       throw new Error("baseline transport prompt is missing the bound revision");
     }
-    const lines2 = [`\u5DE6\u62FE\u9057\u6848\u5DF2\u53D7\u7406\u3002\u6BD4\u8F83\u57FA\u7EBF\uFF1A${admitted.baseRevision}`];
+    const lines2 = [admitted.baseRevision];
     if (!admitted.instructionEmpty) {
       lines2.push("", admitted.instruction);
     }
@@ -23459,9 +23465,10 @@ var init_auditor_soul = __esm({
         "CLAUDE.md",
         "souls/judge-auditor.md",
         "souls/audit-law.md",
-        "souls/quality-law.md"
+        "souls/quality-law.md",
+        "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"
       ],
-      doctor: ["CLAUDE.md", "souls/doctor-auditor.md"]
+      doctor: ["CLAUDE.md", "souls/doctor-auditor.md", "docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md"]
     };
   }
 });
@@ -24510,7 +24517,7 @@ function findLatestDurablePackagedRoleTerminal(entries) {
   }
   return void 0;
 }
-var NAVIGATOR_INVOCATION_ENTRY, NAVIGATOR_INFRASTRUCTURE_FAILURE_KIND, NAVIGATOR_INFRASTRUCTURE_FAILURE_KEYS, PACKAGED_ROLE_OUTPUT_TOOLS;
+var NAVIGATOR_INVOCATION_ENTRY, NAVIGATOR_ROUTE_PLAYBOOK_FAILURE_ENTRY, NAVIGATOR_INFRASTRUCTURE_FAILURE_KIND, NAVIGATOR_INFRASTRUCTURE_FAILURE_KEYS, PACKAGED_ROLE_OUTPUT_TOOLS;
 var init_navigator_invocation_identity = __esm({
   "src/navigator-invocation-identity.ts"() {
     "use strict";
@@ -24518,6 +24525,7 @@ var init_navigator_invocation_identity = __esm({
     init_uuidv7();
     init_work_subject_identity();
     NAVIGATOR_INVOCATION_ENTRY = "ak-navigator-invocation";
+    NAVIGATOR_ROUTE_PLAYBOOK_FAILURE_ENTRY = "ak-navigator-route-playbook-failure";
     NAVIGATOR_INFRASTRUCTURE_FAILURE_KIND = "role_infrastructure_failure";
     NAVIGATOR_INFRASTRUCTURE_FAILURE_KEYS = [
       "kind",
@@ -25693,7 +25701,23 @@ async function withOptionalGateProjection(base, sessionDirectory, gateContext =
   }
   return attachEngineDetourToolUsage(next, sessionDirectory, gateContext);
 }
+function routePlaybookFailureMessage(entries) {
+  for (let i = entries.length - 1; i >= 0; i -= 1) {
+    const entry = entries[i];
+    if (entry?.type !== "custom" || entry.customType !== NAVIGATOR_ROUTE_PLAYBOOK_FAILURE_ENTRY) continue;
+    const data = entry.data;
+    if (!isRecord9(data) || typeof data.message !== "string" || data.message.trim() === "") return void 0;
+    return data.message;
+  }
+  return void 0;
+}
 function extractNavigatorFact(entries) {
+  const fact = extractNavigatorAttendanceFact(entries);
+  if (fact.advisoryDiagnostic !== void 0) return fact;
+  const message = routePlaybookFailureMessage(entries);
+  return message === void 0 ? fact : { ...fact, advisoryDiagnostic: message };
+}
+function extractNavigatorAttendanceFact(entries) {
   const terminal = findLatestDurablePackagedRoleTerminal(entries);
   if (terminal === void 0) {
     return {
@@ -28704,7 +28728,7 @@ async function runCountersignCourtDiaristStation(admitted, env, io, afterTicketN
   for (const ticketNumber of refreshTickets.slice(completedIndex + 1)) {
     const outcome = await invokeCourtDiarist(
       {
-        instruction: `\u6574\u7406 #${ticketNumber} \u7684\u672C\u6848\u4F9D\u636E\u3002`,
+        instruction: admitted.instruction,
         projectRoot: admitted.projectRoot,
         failureLabel: `ticket #${ticketNumber}`,
         correlationId: admitted.runId,

package/dist/public-cli/settlement.js

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

package/dist/receipt-delivery-policy.js

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

package/dist/review-submission.js

@@ -8,8 +8,8 @@ export const REVIEW_QUEUE_STATUSES = new Set(REVIEW_QUEUE_WORDS);
 /**
  * One object root. Codex structured output rejects a root anyOf, and status
  * stays a required three-state enum with no omitted-status failure branch.
- * A review seat that can still submit records a real external-dependency
- * failure as escalate plus the existing infrastructureFailure field.
+ * External-dependency failure while the seat can still submit:
+ * docs/adr/0057-schema-narrowing-cuts-the-required-set-not-the-declared-set.md
  */
 export const reviewSubmissionSchema = withTerminatingOutputDeclarations(Type.Object({
     status: Type.Union([
@@ -17,7 +17,7 @@ export const reviewSubmissionSchema = withTerminatingOutputDeclarations(Type.Obj
         Type.Literal(REVIEW_QUEUE_WORDS[1]),
         Type.Literal(REVIEW_QUEUE_WORDS[2]),
     ], {
-        description: "审核队列三态枚举，必填。审核席仍能交卷而完成审核所需的外部依赖发生真实基础设施失败时，status 取 escalate，细节写入 infrastructureFailure。不得省略 status，不得用另两个枚举值充当放行或封驳。包侧不因格式拒收。",
+        description: "审核席本轮裁决的判别状态。",
     }),
     findings: Type.Optional(Type.Unknown({ description: "审核发现，原样留存" })),
     reason: Type.Optional(Type.Unknown({ description: "上呈理由" })),

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

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

package/extensions/role-runtime.ts

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

package/package.json

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

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

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

package/resources/collector-bot-handbook.md

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

package/resources/navigator-route-playbook.md

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

package/scripts/build-package.mjs

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

package/souls/coder-output-guide.md

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

package/src/auditor-soul.ts

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