harness-engineering-agent 0.3.27 → 0.3.29

package/dist/domain/plan-artifacts.d.ts

@@ -58,6 +58,10 @@ export declare const PlanReviewSchema: z.ZodReadonly<z.ZodObject<{
             routingRationale: z.ZodString;
             rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strict>>>;
+        hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            claim: z.ZodString;
+            evidence: z.ZodOptional<z.ZodString>;
+        }, z.core.$strict>>>>;
         repositoryId: z.ZodOptional<z.ZodString>;
         targetRepository: z.ZodOptional<z.ZodString>;
         workspaceMutation: z.ZodOptional<z.ZodEnum<{
@@ -198,6 +202,10 @@ export declare const PlanReviewSchema: z.ZodReadonly<z.ZodObject<{
             question: z.ZodString;
             impact: z.ZodString;
         }, z.core.$strip>>>>;
+        refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+            claim: z.ZodString;
+            evidenceSummary: z.ZodString;
+        }, z.core.$strip>>>>;
         constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
     }, z.core.$strip>>;
     coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{

package/dist/domain/plan-artifacts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"plan-artifacts.d.ts","sourceRoot":"","sources":["../../src/domain/plan-artifacts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAoDvB,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0KhB,CAAA;AAEb,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAA"}
+{"version":3,"file":"plan-artifacts.d.ts","sourceRoot":"","sources":["../../src/domain/plan-artifacts.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAoDvB,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBA0KhB,CAAA;AAEb,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAA"}

package/dist/domain/report.d.ts

@@ -237,6 +237,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                 routingRationale: z.ZodString;
                 rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
             }, z.core.$strict>>>;
+            hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                claim: z.ZodString;
+                evidence: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>>;
             repositoryId: z.ZodOptional<z.ZodString>;
             targetRepository: z.ZodOptional<z.ZodString>;
             workspaceMutation: z.ZodOptional<z.ZodEnum<{
@@ -325,6 +329,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"planner-contract">;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
             schemaVersion: z.ZodLiteral<"1.0.0">;
@@ -337,6 +351,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"context-gap">;
             missingContext: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -350,6 +374,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"requirement-ambiguity">;
             blockingQuestionId: z.ZodString;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -363,6 +397,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"dependency-blocked">;
             blockedDependency: z.ZodString;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -376,6 +420,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"implementation-defect">;
             failingEvidenceId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "EvidenceId">>;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -389,6 +443,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"verification-environment">;
             verificationCommandName: z.ZodString;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -402,6 +466,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"scope-drift">;
             driftedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -415,6 +489,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"merge-conflict">;
             conflictingPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -428,6 +512,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"model-failure">;
             provider: z.ZodString;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -441,6 +535,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"acceptance-failure">;
             failingEvidenceId: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
         }, z.core.$strip>>]>>>>;
@@ -642,6 +746,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                 question: z.ZodString;
                 impact: z.ZodString;
             }, z.core.$strip>>>>;
+            refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                claim: z.ZodString;
+                evidenceSummary: z.ZodString;
+            }, z.core.$strip>>>>;
             constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>>;
         contextSnapshot: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
@@ -762,6 +870,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                     routingRationale: z.ZodString;
                     rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
                 }, z.core.$strict>>>;
+                hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                    claim: z.ZodString;
+                    evidence: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>>>;
                 repositoryId: z.ZodOptional<z.ZodString>;
                 targetRepository: z.ZodOptional<z.ZodString>;
                 workspaceMutation: z.ZodOptional<z.ZodEnum<{
@@ -902,6 +1014,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                     question: z.ZodString;
                     impact: z.ZodString;
                 }, z.core.$strip>>>>;
+                refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                    claim: z.ZodString;
+                    evidenceSummary: z.ZodString;
+                }, z.core.$strip>>>>;
                 constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{
@@ -1170,6 +1286,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                 routingRationale: z.ZodString;
                 rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
             }, z.core.$strict>>>;
+            hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                claim: z.ZodString;
+                evidence: z.ZodOptional<z.ZodString>;
+            }, z.core.$strict>>>>;
             repositoryId: z.ZodOptional<z.ZodString>;
             targetRepository: z.ZodOptional<z.ZodString>;
             workspaceMutation: z.ZodOptional<z.ZodEnum<{
@@ -1258,6 +1378,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"planner-contract">;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
             schemaVersion: z.ZodLiteral<"1.0.0">;
@@ -1270,6 +1400,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"context-gap">;
             missingContext: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -1283,6 +1423,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"requirement-ambiguity">;
             blockingQuestionId: z.ZodString;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -1296,6 +1446,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"dependency-blocked">;
             blockedDependency: z.ZodString;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -1309,6 +1469,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"implementation-defect">;
             failingEvidenceId: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "EvidenceId">>;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -1322,6 +1492,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"verification-environment">;
             verificationCommandName: z.ZodString;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -1335,6 +1515,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"scope-drift">;
             driftedPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -1348,6 +1538,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"merge-conflict">;
             conflictingPaths: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -1361,6 +1561,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"model-failure">;
             provider: z.ZodString;
         }, z.core.$strip>>, z.ZodReadonly<z.ZodObject<{
@@ -1374,6 +1584,16 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
             confidence: z.ZodNumber;
             relatedEvidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
             rootCauseFingerprint: z.ZodOptional<z.ZodString>;
+            errorCode: z.ZodOptional<z.ZodString>;
+            lastPersistedStage: z.ZodOptional<z.ZodString>;
+            recoveryGuidance: z.ZodOptional<z.ZodObject<{
+                resumable: z.ZodBoolean;
+                action: z.ZodEnum<{
+                    resume: "resume";
+                    manual: "manual";
+                }>;
+                preconditions: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+            }, z.core.$strip>>;
             category: z.ZodLiteral<"acceptance-failure">;
             failingEvidenceId: z.core.$ZodBranded<z.ZodString, "EvidenceId">;
         }, z.core.$strip>>]>>>>;
@@ -1575,6 +1795,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                 question: z.ZodString;
                 impact: z.ZodString;
             }, z.core.$strip>>>>;
+            refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                claim: z.ZodString;
+                evidenceSummary: z.ZodString;
+            }, z.core.$strip>>>>;
             constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
         }, z.core.$strip>>>;
         contextSnapshot: z.ZodOptional<z.ZodReadonly<z.ZodObject<{
@@ -1695,6 +1919,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                     routingRationale: z.ZodString;
                     rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
                 }, z.core.$strict>>>;
+                hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                    claim: z.ZodString;
+                    evidence: z.ZodOptional<z.ZodString>;
+                }, z.core.$strict>>>>;
                 repositoryId: z.ZodOptional<z.ZodString>;
                 targetRepository: z.ZodOptional<z.ZodString>;
                 workspaceMutation: z.ZodOptional<z.ZodEnum<{
@@ -1835,6 +2063,10 @@ export declare const ReportSchema: z.ZodReadonly<z.ZodObject<{
                     question: z.ZodString;
                     impact: z.ZodString;
                 }, z.core.$strip>>>>;
+                refutations: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+                    claim: z.ZodString;
+                    evidenceSummary: z.ZodString;
+                }, z.core.$strip>>>>;
                 constraints: z.ZodReadonly<z.ZodArray<z.ZodString>>;
             }, z.core.$strip>>;
             coverage: z.ZodReadonly<z.ZodArray<z.ZodReadonly<z.ZodObject<{

package/dist/domain/report.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/domain/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAmBvB,eAAO,MAAM,uBAAuB;;;;;;;;;;kBAOvB,CAAA;AAEb,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;kBAerB,CAAA;AAEb,eAAO,MAAM,uBAAuB;;;;;;kBAQvB,CAAA;AAEb,eAAO,MAAM,yBAAyB;;;;;;;;;;kBAYzB,CAAA;AAEb,eAAO,MAAM,0BAA0B;;;;;;;kBAS1B,CAAA;AAEb,eAAO,MAAM,wBAAwB;;;;;kBAOxB,CAAA;AAEb,eAAO,MAAM,mBAAmB;;;;;;kBAQnB,CAAA;AAEb,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAgBZ,CAAA;AAEb,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AACvE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAA"}
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../../src/domain/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAmBvB,eAAO,MAAM,uBAAuB;;;;;;;;;;kBAOvB,CAAA;AAEb,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;kBAerB,CAAA;AAEb,eAAO,MAAM,uBAAuB;;;;;;kBAQvB,CAAA;AAEb,eAAO,MAAM,yBAAyB;;;;;;;;;;kBAYzB,CAAA;AAEb,eAAO,MAAM,0BAA0B;;;;;;;kBAS1B,CAAA;AAEb,eAAO,MAAM,wBAAwB;;;;;kBAOxB,CAAA;AAEb,eAAO,MAAM,mBAAmB;;;;;;kBAQnB,CAAA;AAEb,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAgBZ,CAAA;AAEb,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,uBAAuB,CAAC,CAAA;AACvE,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAA"}

package/dist/domain/requirement.d.ts

@@ -11,6 +11,11 @@ export declare const TaskSchedulingAnalysisSchema: z.ZodReadonly<z.ZodObject<{
     routingRationale: z.ZodString;
     rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
 }, z.core.$strict>>;
+/** escalate 入口未经验证的判断：planner 必须逐条核实，证伪写入 contextPackage.refutations */
+export declare const HypothesisSchema: z.ZodReadonly<z.ZodObject<{
+    claim: z.ZodString;
+    evidence: z.ZodOptional<z.ZodString>;
+}, z.core.$strict>>;
 export declare const RequirementInputSchema: z.ZodReadonly<z.ZodObject<{
     requirementId: z.ZodString;
     title: z.ZodString;
@@ -55,6 +60,10 @@ export declare const RequirementInputSchema: z.ZodReadonly<z.ZodObject<{
         routingRationale: z.ZodString;
         rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>>;
+    hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        claim: z.ZodString;
+        evidence: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>>;
     repositoryId: z.ZodOptional<z.ZodString>;
     targetRepository: z.ZodOptional<z.ZodString>;
     workspaceMutation: z.ZodOptional<z.ZodEnum<{
@@ -110,6 +119,10 @@ export declare const RequirementPersistenceSchema: z.ZodReadonly<z.ZodObject<{
         routingRationale: z.ZodString;
         rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>>;
+    hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        claim: z.ZodString;
+        evidence: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>>;
     repositoryId: z.ZodOptional<z.ZodString>;
     targetRepository: z.ZodOptional<z.ZodString>;
     workspaceMutation: z.ZodOptional<z.ZodEnum<{
@@ -165,6 +178,10 @@ export declare const RequirementSchema: z.ZodPipe<z.ZodTransform<unknown, unknow
         routingRationale: z.ZodString;
         rejudgementTriggers: z.ZodReadonly<z.ZodArray<z.ZodString>>;
     }, z.core.$strict>>>;
+    hypotheses: z.ZodOptional<z.ZodArray<z.ZodReadonly<z.ZodObject<{
+        claim: z.ZodString;
+        evidence: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>>>>;
     repositoryId: z.ZodOptional<z.ZodString>;
     targetRepository: z.ZodOptional<z.ZodString>;
     workspaceMutation: z.ZodOptional<z.ZodEnum<{

package/dist/domain/requirement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement.d.ts","sourceRoot":"","sources":["../../src/domain/requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAWvB,eAAO,MAAM,4BAA4B;;;;;;;;;;;mBAS5B,CAAA;AA4Bb,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAsBtB,CAAA;AAEb,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAuB5B,CAAA;AAEb,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAG7B,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAA;AACrE,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
+{"version":3,"file":"requirement.d.ts","sourceRoot":"","sources":["../../src/domain/requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAWvB,eAAO,MAAM,4BAA4B;;;;;;;;;;;mBAS5B,CAAA;AAEb,wEAAwE;AACxE,eAAO,MAAM,gBAAgB;;;mBAMhB,CAAA;AA4Bb,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAuBtB,CAAA;AAEb,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAwB5B,CAAA;AAEb,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mBAG7B,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAA;AACrE,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/domain/requirement.js

@@ -12,6 +12,14 @@ export const TaskSchedulingAnalysisSchema = z
 })
     .strict()
     .readonly();
+/** escalate 入口未经验证的判断：planner 必须逐条核实，证伪写入 contextPackage.refutations */
+export const HypothesisSchema = z
+    .object({
+    claim: z.string().trim().min(1),
+    evidence: z.string().trim().min(1).optional(),
+})
+    .strict()
+    .readonly();
 const normalizeRequirementPersistence = (input) => {
     if (typeof input !== "object" || input === null || Array.isArray(input)) {
         return input;
@@ -47,6 +55,7 @@ export const RequirementInputSchema = z
         .readonly()
         .optional(),
     taskSchedulingAnalysis: TaskSchedulingAnalysisSchema.optional(),
+    hypotheses: z.array(HypothesisSchema).optional(),
     repositoryId: RepositoryIdSchema.optional(),
     targetRepository: z.string().trim().min(1).optional(),
     workspaceMutation: WorkspaceMutationSchema.optional(),
@@ -71,6 +80,7 @@ export const RequirementPersistenceSchema = z
         .readonly()
         .optional(),
     taskSchedulingAnalysis: TaskSchedulingAnalysisSchema.optional(),
+    hypotheses: z.array(HypothesisSchema).optional(),
     repositoryId: RepositoryIdSchema.optional(),
     targetRepository: z.string().trim().min(1).optional(),
     workspaceMutation: WorkspaceMutationSchema.optional(),

package/dist/domain/requirement.js.map

@@ -1 +1 @@
-{"version":3,"file":"requirement.js","sourceRoot":"","sources":["../../src/domain/requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAA;AAC5D,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,aAAa,CAAA;AAEpB,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC;KAC1C,MAAM,CAAC;IACN,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC/E,gBAAgB,EAAE,CAAC,CAAC,OAAO,EAAE;IAC7B,2BAA2B,EAAE,CAAC,CAAC,OAAO,EAAE;IACxC,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAClE,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA;AAEb,MAAM,+BAA+B,GAAG,CAAC,KAAc,EAAW,EAAE;IAClE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,MAAM,GAAG,KAMd,CAAA;IAED,OAAO;QACL,GAAG,MAAM;QACT,GAAG,CAAC,MAAM,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,gBAAgB,KAAK,QAAQ;YAClF,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,gBAAgB,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,kBAAkB,EAAE,2BAA2B,CAAC,MAAM,CAAC,kBAAkB,EAAE;YACzE,GAAG,CAAC,OAAO,MAAM,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5F,IAAI,EAAE,UAAU;SACjB,CAAC;QACF,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,SAAS;KACzD,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvE,oBAAoB,EAAE,0BAA0B,CAAC,QAAQ,EAAE;IAC3D,oBAAoB,EAAE,CAAC;SACpB,MAAM,CAAC;QACN,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC/D,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC9D,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,EAAE;IACb,sBAAsB,EAAE,4BAA4B,CAAC,QAAQ,EAAE;IAC/D,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC3C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrD,iBAAiB,EAAE,uBAAuB,CAAC,QAAQ,EAAE;CACtD,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC;KAC1C,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,aAAa,EAAE,mBAAmB;IAClC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxE,oBAAoB,EAAE,0BAA0B,CAAC,QAAQ,EAAE;IAC3D,oBAAoB,EAAE,CAAC;SACpB,MAAM,CAAC;QACN,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC/D,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC9D,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,EAAE;IACb,sBAAsB,EAAE,4BAA4B,CAAC,QAAQ,EAAE;IAC/D,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC3C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrD,iBAAiB,EAAE,uBAAuB,CAAC,QAAQ,EAAE;CACtD,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,UAAU,CAC3C,+BAA+B,EAC/B,4BAA4B,CAC7B,CAAA"}
+{"version":3,"file":"requirement.js","sourceRoot":"","sources":["../../src/domain/requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AACvB,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAA;AACtE,OAAO,EAAE,0BAA0B,EAAE,MAAM,iBAAiB,CAAA;AAC5D,OAAO,EACL,yBAAyB,EACzB,kBAAkB,EAClB,mBAAmB,EACnB,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,aAAa,CAAA;AAEpB,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC;KAC1C,MAAM,CAAC;IACN,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,kBAAkB,EAAE,WAAW,CAAC,CAAC;IAC/E,gBAAgB,EAAE,CAAC,CAAC,OAAO,EAAE;IAC7B,2BAA2B,EAAE,CAAC,CAAC,OAAO,EAAE;IACxC,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1C,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAClE,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA;AAEb,wEAAwE;AACxE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC;KAC9B,MAAM,CAAC;IACN,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;CAC9C,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA;AAEb,MAAM,+BAA+B,GAAG,CAAC,KAAc,EAAW,EAAE;IAClE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,KAAK,CAAA;IACd,CAAC;IAED,MAAM,MAAM,GAAG,KAMd,CAAA;IAED,OAAO;QACL,GAAG,MAAM;QACT,GAAG,CAAC,MAAM,CAAC,YAAY,KAAK,SAAS,IAAI,OAAO,MAAM,CAAC,gBAAgB,KAAK,QAAQ;YAClF,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,gBAAgB,EAAE;YAC3C,CAAC,CAAC,EAAE,CAAC;QACP,kBAAkB,EAAE,2BAA2B,CAAC,MAAM,CAAC,kBAAkB,EAAE;YACzE,GAAG,CAAC,OAAO,MAAM,CAAC,aAAa,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5F,IAAI,EAAE,UAAU;SACjB,CAAC;QACF,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,SAAS;KACzD,CAAA;AACH,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC;KACpC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACvE,oBAAoB,EAAE,0BAA0B,CAAC,QAAQ,EAAE;IAC3D,oBAAoB,EAAE,CAAC;SACpB,MAAM,CAAC;QACN,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC/D,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC9D,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,EAAE;IACb,sBAAsB,EAAE,4BAA4B,CAAC,QAAQ,EAAE;IAC/D,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IAChD,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC3C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrD,iBAAiB,EAAE,uBAAuB,CAAC,QAAQ,EAAE;CACtD,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC;KAC1C,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,aAAa,EAAE,mBAAmB;IAClC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,kBAAkB,EAAE,CAAC,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACxE,oBAAoB,EAAE,0BAA0B,CAAC,QAAQ,EAAE;IAC3D,oBAAoB,EAAE,CAAC;SACpB,MAAM,CAAC;QACN,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;QAC/D,eAAe,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC9D,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;SACV,QAAQ,EAAE;IACb,sBAAsB,EAAE,4BAA4B,CAAC,QAAQ,EAAE;IAC/D,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IAChD,YAAY,EAAE,kBAAkB,CAAC,QAAQ,EAAE;IAC3C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IACrD,iBAAiB,EAAE,uBAAuB,CAAC,QAAQ,EAAE;CACtD,CAAC;KACD,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,UAAU,CAC3C,+BAA+B,EAC/B,4BAA4B,CAC7B,CAAA"}