harness-engineering-agent 0.1.8 → 0.2.0

package/dist/controller/contracts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../src/controller/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AACzE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAElG,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,IAAI,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,KAAK,CAAA;IACjC,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACjD,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACnD,QAAQ,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACpD,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACnD,QAAQ,CAAC,mBAAmB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;CACxD,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG,IAAI,CAAC,WAAW,EAAE,eAAe,CAAC,CAAA;AAEjE,eAAO,MAAM,gBAAgB,6DAA8D,CAAA;AAE3F,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAA;AAE7D,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAA;IACvC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAA;IAC/C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;IAC/B,QAAQ,CAAC,GAAG,EAAE,kBAAkB,CAAA;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAA;IAC1C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;IAC5C,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,gBAAgB,EAAE,MAAM,KAAK,gBAAgB,CAAA;IACjF,QAAQ,CAAC,eAAe,CAAC,EAAE,kBAAkB,CAAA;CAC9C,CAAA;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5C,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IACtC,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,KAAK,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IACzC,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAC3C,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,KAAK,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IACzC,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;CACtC"}
+{"version":3,"file":"contracts.d.ts","sourceRoot":"","sources":["../../src/controller/contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAA;AACnE,OAAO,KAAK,EAAE,MAAM,EAAE,gBAAgB,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAA;AAC9E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAA;AACjD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAClE,OAAO,KAAK,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAElG,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,IAAI,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,KAAK,CAAA;IACjC,QAAQ,CAAC,aAAa,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACjD,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACnD,QAAQ,CAAC,gBAAgB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACpD,QAAQ,CAAC,eAAe,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;IACnD,QAAQ,CAAC,mBAAmB,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,MAAM,CAAA;CACxD,CAAA;AAED,eAAO,MAAM,gBAAgB,6DAA8D,CAAA;AAE3F,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,CAAC,CAAA;AAE7D,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;CAC9B,CAAA;AAED,MAAM,MAAM,0BAA0B,GAAG;IACvC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;IACxB,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAA;IACvC,QAAQ,CAAC,kBAAkB,EAAE,kBAAkB,CAAA;IAC/C,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;IAC/B,QAAQ,CAAC,GAAG,EAAE,kBAAkB,CAAA;IAChC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAA;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,yBAAyB,CAAA;IACxD,QAAQ,CAAC,eAAe,CAAC,EAAE,eAAe,CAAA;IAC1C,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAA;IAC5C,QAAQ,CAAC,uBAAuB,CAAC,EAAE,CAAC,gBAAgB,EAAE,MAAM,KAAK,gBAAgB,CAAA;IACjF,QAAQ,CAAC,eAAe,CAAC,EAAE,kBAAkB,CAAA;CAC9C,CAAA;AAED,MAAM,WAAW,aAAa;IAC5B,KAAK,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAC5C,UAAU,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IACtC,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,KAAK,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IACzC,MAAM,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAC3C,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IAClC,KAAK,CAAC,KAAK,EAAE,aAAa,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IACzC,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;CACtC"}

package/dist/controller/contracts.js.map

@@ -1 +1 @@
-{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../src/controller/contracts.ts"],"names":[],"mappings":"AAqBA,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAA"}
+{"version":3,"file":"contracts.js","sourceRoot":"","sources":["../../src/controller/contracts.ts"],"names":[],"mappings":"AAoBA,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,CAAU,CAAA"}

package/dist/controller/evidence-factory.js

@@ -2,6 +2,12 @@ import { EvidenceSchema, redactEvidenceSummary, } from "../domain/index.js";
 import { VerificationExecutionStatus } from "../verification/index.js";
 export const createEvidence = (input) => createEvidenceFromSummary(input, input.summary ?? input.record.output.stdout.summary);
 const createEvidenceFromSummary = (input, rawSummary) => {
+    const acceptanceCriterionIds = input.acceptanceCriterionIds ?? [];
+    for (const criterionId of acceptanceCriterionIds) {
+        if (!input.task.acceptanceCriterionIds.includes(String(criterionId))) {
+            throw new TypeError(`criterion ${criterionId} is not declared by task ${input.task.taskId}`);
+        }
+    }
     const sanitized = redactEvidenceSummary(rawSummary);
     return EvidenceSchema.parse({
         schemaVersion: "1.0.0",
@@ -23,7 +29,7 @@ const createEvidenceFromSummary = (input, rawSummary) => {
         },
         relatedRequirementIds: input.task.requirementIds,
         relatedTaskIds: [input.task.taskId],
-        acceptanceCriterionIds: input.acceptanceCriterionIds ?? [],
+        acceptanceCriterionIds,
     });
 };
 const createOutcomeStatus = (record) => {

package/dist/controller/evidence-factory.js.map

@@ -1 +1 @@
-{"version":3,"file":"evidence-factory.js","sourceRoot":"","sources":["../../src/controller/evidence-factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,cAAc,EAEd,qBAAqB,GAEtB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,2BAA2B,EAA8B,MAAM,0BAA0B,CAAA;AAGlG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAU9B,EAAY,EAAE,CACb,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AAEvF,MAAM,yBAAyB,GAAG,CAChC,KAA2C,EAC3C,UAAkB,EACR,EAAE;IACZ,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAA;IACnD,OAAO,cAAc,CAAC,KAAK,CAAC;QAC1B,aAAa,EAAE,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC;QACnD,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;QACzB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,cAAc;QAClC,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,mBAAmB,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO;QACzC,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,EAAE;QACtC,OAAO,EAAE;YACP,MAAM,EAAE,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC;YACzC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ;YAC/B,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU;YACnC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM;YAC/C,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS;SAChD;QACD,qBAAqB,EAAE,KAAK,CAAC,IAAI,CAAC,cAAc;QAChD,cAAc,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;QACnC,sBAAsB,EAAE,KAAK,CAAC,sBAAsB,IAAI,EAAE;KAC3D,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,MAA6B,EAAuB,EAAE;IACjF,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,2BAA2B,CAAC,MAAM;YACrC,OAAO,QAAQ,CAAA;QACjB,KAAK,2BAA2B,CAAC,MAAM,CAAC;QACxC,KAAK,2BAA2B,CAAC,QAAQ;YACvC,OAAO,QAAQ,CAAA;IACnB,CAAC;AACH,CAAC,CAAA"}
+{"version":3,"file":"evidence-factory.js","sourceRoot":"","sources":["../../src/controller/evidence-factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,cAAc,EAEd,qBAAqB,GAEtB,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,2BAA2B,EAA8B,MAAM,0BAA0B,CAAA;AAGlG,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAU9B,EAAY,EAAE,CACb,yBAAyB,CAAC,KAAK,EAAE,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AAEvF,MAAM,yBAAyB,GAAG,CAChC,KAA2C,EAC3C,UAAkB,EACR,EAAE;IACZ,MAAM,sBAAsB,GAAG,KAAK,CAAC,sBAAsB,IAAI,EAAE,CAAA;IACjE,KAAK,MAAM,WAAW,IAAI,sBAAsB,EAAE,CAAC;QACjD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC;YACrE,MAAM,IAAI,SAAS,CAAC,aAAa,WAAW,4BAA4B,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;QAC9F,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAA;IACnD,OAAO,cAAc,CAAC,KAAK,CAAC;QAC1B,aAAa,EAAE,OAAO;QACtB,UAAU,EAAE,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC;QACnD,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM;QACzB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,cAAc;QAClC,OAAO,EAAE,SAAS,CAAC,OAAO;QAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;QACtC,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,mBAAmB,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO;QACzC,YAAY,EAAE,KAAK,CAAC,YAAY,IAAI,EAAE;QACtC,OAAO,EAAE;YACP,MAAM,EAAE,mBAAmB,CAAC,KAAK,CAAC,MAAM,CAAC;YACzC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ;YAC/B,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,UAAU;YACnC,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM;YAC/C,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS;SAChD;QACD,qBAAqB,EAAE,KAAK,CAAC,IAAI,CAAC,cAAc;QAChD,cAAc,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC;QACnC,sBAAsB;KACvB,CAAC,CAAA;AACJ,CAAC,CAAA;AAED,MAAM,mBAAmB,GAAG,CAAC,MAA6B,EAAuB,EAAE;IACjF,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,2BAA2B,CAAC,MAAM;YACrC,OAAO,QAAQ,CAAA;QACjB,KAAK,2BAA2B,CAAC,MAAM,CAAC;QACxC,KAAK,2BAA2B,CAAC,QAAQ;YACvC,OAAO,QAAQ,CAAA;IACnB,CAAC;AACH,CAAC,CAAA"}

package/dist/controller/failure-analysis.d.ts

@@ -12,6 +12,18 @@ type FailureAnalysisContext = {
     readonly analysis: FailureAnalyzerOutput;
 };
 export type FailureAnalysisResolution = {
+    readonly nextStatus: "executing";
+    readonly taskStatus: "failed";
+    readonly failure: Failure;
+    readonly result: ReturnType<typeof AgentResultSchema.parse>;
+    readonly eventType: "task.diagnostic.probe.required";
+    readonly eventPayload: {
+        readonly taskId: Task["taskId"];
+        readonly attempt: number;
+        readonly action: "probe";
+        readonly category: Failure["category"];
+    };
+} | {
     readonly nextStatus: "executing";
     readonly taskStatus: "failed";
     readonly failure: Failure;

package/dist/controller/failure-analysis.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"failure-analysis.d.ts","sourceRoot":"","sources":["../../src/controller/failure-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAA;AAC9F,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAOhE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAA;AAEpE,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAA;IAC5C,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;IACtC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAA;CACzC,CAAA;AAED,MAAM,MAAM,yBAAyB,GACjC;IACE,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC3D,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAA;IAC3C,QAAQ,CAAC,YAAY,EAAE;QACrB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;QACzB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC,CAAA;KACzC,CAAA;CACF,GACD;IACE,QAAQ,CAAC,UAAU,EAAE,wBAAwB,GAAG,cAAc,GAAG,QAAQ,GAAG,QAAQ,CAAA;IACpF,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAA;IACpD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC3D,QAAQ,CAAC,SAAS,EAAE,6BAA6B,GAAG,cAAc,GAAG,aAAa,CAAA;IAClF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,CAAA;CAC3E,CAAA;AAEL,eAAO,MAAM,sBAAsB,GACjC,SAAS,sBAAsB,KAC9B,yBAuLF,CAAA"}
+{"version":3,"file":"failure-analysis.d.ts","sourceRoot":"","sources":["../../src/controller/failure-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAA;AAC9F,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAOhE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAChD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAA;AAEpE,KAAK,sBAAsB,GAAG;IAC5B,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAA;IAC5C,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;IACtC,QAAQ,CAAC,QAAQ,EAAE,qBAAqB,CAAA;CACzC,CAAA;AAED,MAAM,MAAM,yBAAyB,GACjC;IACE,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC3D,QAAQ,CAAC,SAAS,EAAE,gCAAgC,CAAA;IACpD,QAAQ,CAAC,YAAY,EAAE;QACrB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;QACxB,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,UAAU,CAAC,CAAA;KACvC,CAAA;CACF,GACD;IACE,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAA;IAChC,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAAA;IAC7B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC3D,QAAQ,CAAC,SAAS,EAAE,uBAAuB,CAAA;IAC3C,QAAQ,CAAC,YAAY,EAAE;QACrB,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;QAC/B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;QACzB,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC,WAAW,CAAC,CAAA;KACzC,CAAA;CACF,GACD;IACE,QAAQ,CAAC,UAAU,EAAE,wBAAwB,GAAG,cAAc,GAAG,QAAQ,GAAG,QAAQ,CAAA;IACpF,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAA;IACpD,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,KAAK,CAAC,CAAA;IAC3D,QAAQ,CAAC,SAAS,EAAE,6BAA6B,GAAG,cAAc,GAAG,aAAa,CAAA;IAClF,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC,CAAA;CAC3E,CAAA;AAEL,eAAO,MAAM,sBAAsB,GACjC,SAAS,sBAAsB,KAC9B,yBA+NF,CAAA"}

package/dist/controller/failure-analysis.js

@@ -4,6 +4,41 @@ export const resolveFailureAnalysis = (context) => {
     const evidenceIds = context.evidence.map((item) => item.evidenceId);
     const resultId = context.options.ids.createAgentResultId(`failure-analyzer-${context.task.taskId}-${context.attempt}`);
     switch (context.analysis.action) {
+        case "probe": {
+            const failure = createImplementationFailure({
+                failureId: context.options.ids.createFailureId(`${context.task.taskId}-${context.attempt}-diagnostic-probe`),
+                runId: context.run.runId,
+                taskId: context.task.taskId,
+                summary: context.analysis.summary,
+                detail: context.analysis.diagnosticProbe.summary,
+                recoveryPlan: "Run the approved read-only diagnostic probe before authorizing repair.",
+                ...(evidenceIds[0] === undefined ? {} : { failingEvidenceId: evidenceIds[0] }),
+            });
+            const result = AgentResultSchema.parse({
+                schemaVersion: "1.0.0",
+                resultId,
+                runId: context.run.runId,
+                taskId: context.task.taskId,
+                role: "failure-analyzer",
+                status: "failed",
+                summary: context.analysis.summary,
+                evidenceIds,
+                failureId: failure.failureId,
+            });
+            return {
+                nextStatus: "executing",
+                taskStatus: "failed",
+                failure,
+                result,
+                eventType: "task.diagnostic.probe.required",
+                eventPayload: {
+                    taskId: context.task.taskId,
+                    attempt: context.attempt,
+                    action: "probe",
+                    category: context.analysis.category,
+                },
+            };
+        }
         case "repair": {
             const failure = createImplementationFailure({
                 failureId: context.options.ids.createFailureId(`${context.task.taskId}-${context.attempt}-repair`),
@@ -170,6 +205,12 @@ export const resolveFailureAnalysis = (context) => {
                 },
             };
         }
+        default: {
+            return assertNever(context.analysis);
+        }
     }
 };
+const assertNever = (value) => {
+    throw new TypeError(`unexpected failure analysis action: ${String(value)}`);
+};
 //# sourceMappingURL=failure-analysis.js.map

package/dist/controller/failure-analysis.js.map

@@ -1 +1 @@
-{"version":3,"file":"failure-analysis.js","sourceRoot":"","sources":["../../src/controller/failure-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAA0C,MAAM,oBAAoB,CAAA;AAE9F,OAAO,EACL,uBAAuB,EACvB,8BAA8B,EAC9B,2BAA2B,EAC3B,iCAAiC,GAClC,MAAM,sBAAsB,CAAA;AAqC7B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAA+B,EACJ,EAAE;IAC7B,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CACtD,oBAAoB,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAC7D,CAAA;IAED,QAAQ,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,2BAA2B,CAAC;gBAC1C,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,SAAS,CACnD;gBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;gBACpC,YAAY,EAAE,mEAAmE;gBACjF,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/E,CAAC,CAAA;YACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,QAAQ;gBAChB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,SAAS,EAAE,OAAO,CAAC,SAAS;aAC7B,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,WAAW;gBACvB,UAAU,EAAE,QAAQ;gBACpB,OAAO;gBACP,MAAM;gBACN,SAAS,EAAE,uBAAuB;gBAClC,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,MAAM,EAAE,QAAQ;oBAChB,SAAS,EAAE,OAAO,CAAC,SAAS;iBAC7B;aACF,CAAA;QACH,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;gBAChD,MAAM,OAAO,GAAG,uBAAuB,CAAC;oBACtC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,cAAc,CACxD;oBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;oBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,kBAAkB,EAAE,WAAW;oBAC/B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;oBACjC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;oBACpC,YAAY,EAAE,uDAAuD;oBACrE,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,cAAc;iBAChD,CAAC,CAAA;gBACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;oBACrC,aAAa,EAAE,OAAO;oBACtB,QAAQ;oBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;oBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;oBACjC,WAAW;oBACX,oBAAoB,EAAE,CAAC,kBAAkB,CAAC;iBAC3C,CAAC,CAAA;gBACF,OAAO;oBACL,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,SAAS;oBACrB,OAAO;oBACP,MAAM;oBACN,SAAS,EAAE,6BAA6B;oBACxC,YAAY,EAAE;wBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;wBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;wBACxB,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,cAAc;qBAChD;iBACF,CAAA;YACH,CAAC;YAED,MAAM,UAAU,GAAG,YAAY,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAA;YAC5F,MAAM,OAAO,GAAG,iCAAiC,CAAC;gBAChD,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,wBAAwB,CAClE;gBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,kBAAkB,EAAE,WAAW;gBAC/B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;gBACpC,YAAY,EAAE,6DAA6D;gBAC3E,kBAAkB,EAAE,UAAU;aAC/B,CAAC,CAAA;YACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,cAAc,EAAE,UAAU;aAC3B,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,wBAAwB;gBACpC,UAAU,EAAE,SAAS;gBACrB,OAAO;gBACP,MAAM;gBACN,SAAS,EAAE,6BAA6B;gBACxC,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,kBAAkB,EAAE,UAAU;iBAC/B;aACF,CAAA;QACH,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,OAAO,GAAG,8BAA8B,CAAC;gBAC7C,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,qBAAqB,CAC/D;gBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,kBAAkB,EAAE,WAAW;gBAC/B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;gBACpC,YAAY,EAAE,uDAAuD;gBACrE,iBAAiB,EAAE,OAAO,CAAC,QAAQ,CAAC,iBAAiB;aACtD,CAAC,CAAA;YACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,iBAAiB;aACnD,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,QAAQ;gBACpB,OAAO;gBACP,MAAM;gBACN,SAAS,EAAE,cAAc;gBACzB,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,iBAAiB,EAAE,OAAO,CAAC,QAAQ,CAAC,iBAAiB;iBACtD;aACF,CAAA;QACH,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,QAAQ;gBAChB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,SAAS;aAC3C,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,QAAQ;gBACpB,OAAO,EAAE,OAAO,CAAC,aAAa;gBAC9B,MAAM;gBACN,SAAS,EAAE,aAAa;gBACxB,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,SAAS;iBAC3C;aACF,CAAA;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAA"}
+{"version":3,"file":"failure-analysis.js","sourceRoot":"","sources":["../../src/controller/failure-analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAA0C,MAAM,oBAAoB,CAAA;AAE9F,OAAO,EACL,uBAAuB,EACvB,8BAA8B,EAC9B,2BAA2B,EAC3B,iCAAiC,GAClC,MAAM,sBAAsB,CAAA;AAkD7B,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,OAA+B,EACJ,EAAE;IAC7B,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IACnE,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CACtD,oBAAoB,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAC7D,CAAA;IAED,QAAQ,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAChC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GAAG,2BAA2B,CAAC;gBAC1C,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,mBAAmB,CAC7D;gBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,MAAM,EAAE,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,OAAO;gBAChD,YAAY,EAAE,wEAAwE;gBACtF,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/E,CAAC,CAAA;YACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,QAAQ;gBAChB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,SAAS,EAAE,OAAO,CAAC,SAAS;aAC7B,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,WAAW;gBACvB,UAAU,EAAE,QAAQ;gBACpB,OAAO;gBACP,MAAM;gBACN,SAAS,EAAE,gCAAgC;gBAC3C,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,MAAM,EAAE,OAAO;oBACf,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ;iBACpC;aACF,CAAA;QACH,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,OAAO,GAAG,2BAA2B,CAAC;gBAC1C,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,SAAS,CACnD;gBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;gBACpC,YAAY,EAAE,mEAAmE;gBACjF,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;aAC/E,CAAC,CAAA;YACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,QAAQ;gBAChB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,SAAS,EAAE,OAAO,CAAC,SAAS;aAC7B,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,WAAW;gBACvB,UAAU,EAAE,QAAQ;gBACpB,OAAO;gBACP,MAAM;gBACN,SAAS,EAAE,uBAAuB;gBAClC,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,MAAM,EAAE,QAAQ;oBAChB,SAAS,EAAE,OAAO,CAAC,SAAS;iBAC7B;aACF,CAAA;QACH,CAAC;QACD,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;gBAChD,MAAM,OAAO,GAAG,uBAAuB,CAAC;oBACtC,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,cAAc,CACxD;oBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;oBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,kBAAkB,EAAE,WAAW;oBAC/B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;oBACjC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;oBACpC,YAAY,EAAE,uDAAuD;oBACrE,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,cAAc;iBAChD,CAAC,CAAA;gBACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;oBACrC,aAAa,EAAE,OAAO;oBACtB,QAAQ;oBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;oBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,IAAI,EAAE,kBAAkB;oBACxB,MAAM,EAAE,cAAc;oBACtB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;oBACjC,WAAW;oBACX,oBAAoB,EAAE,CAAC,kBAAkB,CAAC;iBAC3C,CAAC,CAAA;gBACF,OAAO;oBACL,UAAU,EAAE,cAAc;oBAC1B,UAAU,EAAE,SAAS;oBACrB,OAAO;oBACP,MAAM;oBACN,SAAS,EAAE,6BAA6B;oBACxC,YAAY,EAAE;wBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;wBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;wBACxB,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,cAAc;qBAChD;iBACF,CAAA;YACH,CAAC;YAED,MAAM,UAAU,GAAG,YAAY,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAA;YAC5F,MAAM,OAAO,GAAG,iCAAiC,CAAC;gBAChD,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,wBAAwB,CAClE;gBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,kBAAkB,EAAE,WAAW;gBAC/B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;gBACpC,YAAY,EAAE,6DAA6D;gBAC3E,kBAAkB,EAAE,UAAU;aAC/B,CAAC,CAAA;YACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,cAAc,EAAE,UAAU;aAC3B,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,wBAAwB;gBACpC,UAAU,EAAE,SAAS;gBACrB,OAAO;gBACP,MAAM;gBACN,SAAS,EAAE,6BAA6B;gBACxC,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,kBAAkB,EAAE,UAAU;iBAC/B;aACF,CAAA;QACH,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,OAAO,GAAG,8BAA8B,CAAC;gBAC7C,SAAS,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,eAAe,CAC5C,GAAG,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,OAAO,qBAAqB,CAC/D;gBACD,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,kBAAkB,EAAE,WAAW;gBAC/B,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,MAAM;gBACpC,YAAY,EAAE,uDAAuD;gBACrE,iBAAiB,EAAE,OAAO,CAAC,QAAQ,CAAC,iBAAiB;aACtD,CAAC,CAAA;YACF,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,SAAS;gBACjB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,cAAc,EAAE,OAAO,CAAC,QAAQ,CAAC,iBAAiB;aACnD,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,QAAQ;gBACpB,OAAO;gBACP,MAAM;gBACN,SAAS,EAAE,cAAc;gBACzB,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,iBAAiB,EAAE,OAAO,CAAC,QAAQ,CAAC,iBAAiB;iBACtD;aACF,CAAA;QACH,CAAC;QACD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,MAAM,GAAG,iBAAiB,CAAC,KAAK,CAAC;gBACrC,aAAa,EAAE,OAAO;gBACtB,QAAQ;gBACR,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;gBACxB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;gBAC3B,IAAI,EAAE,kBAAkB;gBACxB,MAAM,EAAE,QAAQ;gBAChB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,OAAO;gBACjC,WAAW;gBACX,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,SAAS;aAC3C,CAAC,CAAA;YACF,OAAO;gBACL,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,QAAQ;gBACpB,OAAO,EAAE,OAAO,CAAC,aAAa;gBAC9B,MAAM;gBACN,SAAS,EAAE,aAAa;gBACxB,YAAY,EAAE;oBACZ,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM;oBAC3B,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,SAAS,EAAE,OAAO,CAAC,aAAa,CAAC,SAAS;iBAC3C;aACF,CAAA;QACH,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,OAAO,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;QACtC,CAAC;IACH,CAAC;AACH,CAAC,CAAA;AAED,MAAM,WAAW,GAAG,CAAC,KAAY,EAAS,EAAE;IAC1C,MAAM,IAAI,SAAS,CAAC,uCAAuC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;AAC7E,CAAC,CAAA"}

package/dist/controller/failure-analyzer-schemas.d.ts

@@ -0,0 +1,87 @@
+import { z } from "zod";
+declare const DiagnosticProbeSchema: z.ZodReadonly<z.ZodObject<{
+    summary: z.ZodString;
+    verificationCommand: z.ZodReadonly<z.ZodObject<{
+        name: z.ZodString;
+        command: z.ZodString;
+        args: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+        workingDirectory: z.ZodString;
+        scope: z.ZodLiteral<"task">;
+        sideEffectLevel: z.ZodLiteral<"read_only">;
+        timeoutMs: z.ZodNumber;
+        origin: z.ZodOptional<z.ZodLiteral<"failure-analyzer">>;
+        requiresConfirmation: z.ZodOptional<z.ZodLiteral<false>>;
+        confirmation: z.ZodOptional<z.ZodUndefined>;
+        allowedEnv: z.ZodOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
+    }, z.core.$strict>>;
+}, z.core.$strip>>;
+export type DiagnosticProbe = z.infer<typeof DiagnosticProbeSchema>;
+export declare const normalizeFailureAnalyzerOutput: (input: unknown) => unknown;
+export declare const FailureAnalyzerOutputSchema: z.ZodPipe<z.ZodTransform<unknown, unknown>, z.ZodDiscriminatedUnion<[z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"failure-analyzer">;
+    action: z.ZodLiteral<"repair">;
+    summary: z.ZodString;
+    evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    category: z.ZodLiteral<"implementation-defect">;
+    confirmedRootCause: z.ZodLiteral<true>;
+}, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"failure-analyzer">;
+    action: z.ZodLiteral<"probe">;
+    summary: z.ZodString;
+    evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    category: z.ZodEnum<{
+        "context-gap": "context-gap";
+        "implementation-defect": "implementation-defect";
+        "verification-environment": "verification-environment";
+    }>;
+    diagnosticProbe: z.ZodReadonly<z.ZodObject<{
+        summary: z.ZodString;
+        verificationCommand: z.ZodReadonly<z.ZodObject<{
+            name: z.ZodString;
+            command: z.ZodString;
+            args: z.ZodOptional<z.ZodReadonly<z.ZodArray<z.ZodString>>>;
+            workingDirectory: z.ZodString;
+            scope: z.ZodLiteral<"task">;
+            sideEffectLevel: z.ZodLiteral<"read_only">;
+            timeoutMs: z.ZodNumber;
+            origin: z.ZodOptional<z.ZodLiteral<"failure-analyzer">>;
+            requiresConfirmation: z.ZodOptional<z.ZodLiteral<false>>;
+            confirmation: z.ZodOptional<z.ZodUndefined>;
+            allowedEnv: z.ZodOptional<z.ZodReadonly<z.ZodRecord<z.ZodString, z.ZodString>>>;
+        }, z.core.$strict>>;
+    }, z.core.$strip>>;
+}, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"failure-analyzer">;
+    action: z.ZodLiteral<"clarify">;
+    summary: z.ZodString;
+    evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    category: z.ZodEnum<{
+        "context-gap": "context-gap";
+        "requirement-ambiguity": "requirement-ambiguity";
+    }>;
+    missingContext: z.ZodReadonly<z.ZodArray<z.ZodString>>;
+}, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"failure-analyzer">;
+    action: z.ZodLiteral<"wait">;
+    summary: z.ZodString;
+    evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    category: z.ZodLiteral<"dependency-blocked">;
+    blockedDependency: z.ZodString;
+}, z.core.$strict>>, z.ZodReadonly<z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    role: z.ZodLiteral<"failure-analyzer">;
+    action: z.ZodLiteral<"terminate">;
+    summary: z.ZodString;
+    evidenceIds: z.ZodReadonly<z.ZodArray<z.core.$ZodBranded<z.ZodString, "EvidenceId">>>;
+    category: z.ZodEnum<{
+        "verification-environment": "verification-environment";
+        "model-failure": "model-failure";
+    }>;
+}, z.core.$strict>>]>>;
+export type FailureAnalyzerOutput = z.infer<typeof FailureAnalyzerOutputSchema>;
+export {};
+//# sourceMappingURL=failure-analyzer-schemas.d.ts.map

package/dist/controller/failure-analyzer-schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"failure-analyzer-schemas.d.ts","sourceRoot":"","sources":["../../src/controller/failure-analyzer-schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAIvB,QAAA,MAAM,qBAAqB;;;;;;;;;;;;;;;kBAoBd,CAAA;AAEb,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,8BAA8B,GAAI,OAAO,OAAO,KAAG,OA+B/D,CAAA;AAkED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;sBASvC,CAAA;AAED,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAA"}

package/dist/controller/failure-analyzer-schemas.js

@@ -0,0 +1,117 @@
+import { z } from "zod";
+import { EvidenceIdSchema, SchemaVersionSchema } from "../domain/index.js";
+const DiagnosticProbeSchema = z
+    .object({
+    summary: z.string().trim().min(1),
+    verificationCommand: z
+        .object({
+        name: z.string().trim().min(1),
+        command: z.string().trim().min(1),
+        args: z.array(z.string()).readonly().optional(),
+        workingDirectory: z.string().trim().min(1),
+        scope: z.literal("task"),
+        sideEffectLevel: z.literal("read_only"),
+        timeoutMs: z.number().int().positive(),
+        origin: z.literal("failure-analyzer").optional(),
+        requiresConfirmation: z.literal(false).optional(),
+        confirmation: z.undefined().optional(),
+        allowedEnv: z.record(z.string(), z.string()).readonly().optional(),
+    })
+        .strict()
+        .readonly(),
+})
+    .readonly();
+export const normalizeFailureAnalyzerOutput = (input) => {
+    if (typeof input !== "object" || input === null || Array.isArray(input)) {
+        return input;
+    }
+    const normalized = { ...input };
+    const diagnosticProbe = Reflect.get(normalized, "diagnosticProbe");
+    const diagnosticProbeRequest = Reflect.get(normalized, "diagnosticProbeRequest");
+    if (diagnosticProbe === undefined && diagnosticProbeRequest !== undefined) {
+        Reflect.set(normalized, "diagnosticProbe", diagnosticProbeRequest);
+    }
+    Reflect.deleteProperty(normalized, "diagnosticProbeRequest");
+    const missingContext = Reflect.get(normalized, "missingContext");
+    const contextRequest = Reflect.get(normalized, "contextRequest");
+    if (missingContext === undefined && contextRequest !== undefined) {
+        const requestedMissingContext = Reflect.get(contextRequest, "missingContext");
+        if (requestedMissingContext !== undefined) {
+            Reflect.set(normalized, "missingContext", requestedMissingContext);
+        }
+    }
+    Reflect.deleteProperty(normalized, "contextRequest");
+    const confirmedRootCause = Reflect.get(normalized, "confirmedRootCause");
+    if (confirmedRootCause === undefined && Reflect.get(normalized, "confirmed") !== undefined) {
+        Reflect.set(normalized, "confirmedRootCause", Reflect.get(normalized, "confirmed"));
+    }
+    Reflect.deleteProperty(normalized, "confirmed");
+    return normalized;
+};
+const FailureAnalyzerRepairSchema = z
+    .object({
+    schemaVersion: SchemaVersionSchema,
+    role: z.literal("failure-analyzer"),
+    action: z.literal("repair"),
+    summary: z.string().trim().min(1),
+    evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    category: z.literal("implementation-defect"),
+    confirmedRootCause: z.literal(true),
+})
+    .strict()
+    .readonly();
+const FailureAnalyzerProbeSchema = z
+    .object({
+    schemaVersion: SchemaVersionSchema,
+    role: z.literal("failure-analyzer"),
+    action: z.literal("probe"),
+    summary: z.string().trim().min(1),
+    evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    category: z.enum(["implementation-defect", "verification-environment", "context-gap"]),
+    diagnosticProbe: DiagnosticProbeSchema,
+})
+    .strict()
+    .readonly();
+const FailureAnalyzerClarifySchema = z
+    .object({
+    schemaVersion: SchemaVersionSchema,
+    role: z.literal("failure-analyzer"),
+    action: z.literal("clarify"),
+    summary: z.string().trim().min(1),
+    evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    category: z.enum(["context-gap", "requirement-ambiguity"]),
+    missingContext: z.array(z.string().trim().min(1)).min(1).readonly(),
+})
+    .strict()
+    .readonly();
+const FailureAnalyzerWaitSchema = z
+    .object({
+    schemaVersion: SchemaVersionSchema,
+    role: z.literal("failure-analyzer"),
+    action: z.literal("wait"),
+    summary: z.string().trim().min(1),
+    evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    category: z.literal("dependency-blocked"),
+    blockedDependency: z.string().trim().min(1),
+})
+    .strict()
+    .readonly();
+const FailureAnalyzerTerminateSchema = z
+    .object({
+    schemaVersion: SchemaVersionSchema,
+    role: z.literal("failure-analyzer"),
+    action: z.literal("terminate"),
+    summary: z.string().trim().min(1),
+    evidenceIds: z.array(EvidenceIdSchema).readonly(),
+    category: z.enum(["verification-environment", "model-failure"]),
+})
+    .strict()
+    .readonly();
+export const FailureAnalyzerOutputSchema = z.preprocess(normalizeFailureAnalyzerOutput, z.discriminatedUnion("action", [
+    FailureAnalyzerRepairSchema,
+    FailureAnalyzerProbeSchema,
+    FailureAnalyzerClarifySchema,
+    FailureAnalyzerWaitSchema,
+    FailureAnalyzerTerminateSchema,
+]));
+//# sourceMappingURL=failure-analyzer-schemas.js.map

package/dist/controller/failure-analyzer-schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"failure-analyzer-schemas.js","sourceRoot":"","sources":["../../src/controller/failure-analyzer-schemas.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAA;AAEvB,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AAE1E,MAAM,qBAAqB,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,mBAAmB,EAAE,CAAC;SACnB,MAAM,CAAC;QACN,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;QAC/C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,KAAK,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;QACxB,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QACvC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;QACtC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,QAAQ,EAAE;QAChD,oBAAoB,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;QACjD,YAAY,EAAE,CAAC,CAAC,SAAS,EAAE,CAAC,QAAQ,EAAE;QACtC,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;KACnE,CAAC;SACD,MAAM,EAAE;SACR,QAAQ,EAAE;CACd,CAAC;KACD,QAAQ,EAAE,CAAA;AAIb,MAAM,CAAC,MAAM,8BAA8B,GAAG,CAAC,KAAc,EAAW,EAAE;IACxE,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,UAAU,GAAG,EAAE,GAAG,KAAK,EAAE,CAAA;IAE/B,MAAM,eAAe,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,iBAAiB,CAAC,CAAA;IAClE,MAAM,sBAAsB,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAA;IAChF,IAAI,eAAe,KAAK,SAAS,IAAI,sBAAsB,KAAK,SAAS,EAAE,CAAC;QAC1E,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,iBAAiB,EAAE,sBAAsB,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAA;IAE5D,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;IAChE,MAAM,cAAc,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;IAChE,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,KAAK,SAAS,EAAE,CAAC;QACjE,MAAM,uBAAuB,GAAG,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,gBAAgB,CAAC,CAAA;QAC7E,IAAI,uBAAuB,KAAK,SAAS,EAAE,CAAC;YAC1C,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,gBAAgB,EAAE,uBAAuB,CAAC,CAAA;QACpE,CAAC;IACH,CAAC;IACD,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAA;IAEpD,MAAM,kBAAkB,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,oBAAoB,CAAC,CAAA;IACxE,IAAI,kBAAkB,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,WAAW,CAAC,KAAK,SAAS,EAAE,CAAC;QAC3F,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,oBAAoB,EAAE,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAA;IACrF,CAAC;IACD,OAAO,CAAC,cAAc,CAAC,UAAU,EAAE,WAAW,CAAC,CAAA;IAE/C,OAAO,UAAU,CAAA;AACnB,CAAC,CAAA;AAED,MAAM,2BAA2B,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IAC3B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IACjD,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC;IAC5C,kBAAkB,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;CACpC,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA;AAEb,MAAM,0BAA0B,GAAG,CAAC;KACjC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IACjD,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,uBAAuB,EAAE,0BAA0B,EAAE,aAAa,CAAC,CAAC;IACtF,eAAe,EAAE,qBAAqB;CACvC,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA;AAEb,MAAM,4BAA4B,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IACjD,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,uBAAuB,CAAC,CAAC;IAC1D,cAAc,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;CACpE,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA;AAEb,MAAM,yBAAyB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IACjD,QAAQ,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IACzC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC5C,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA;AAEb,MAAM,8BAA8B,GAAG,CAAC;KACrC,MAAM,CAAC;IACN,aAAa,EAAE,mBAAmB;IAClC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;IAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,QAAQ,EAAE;IACjD,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,0BAA0B,EAAE,eAAe,CAAC,CAAC;CAChE,CAAC;KACD,MAAM,EAAE;KACR,QAAQ,EAAE,CAAA;AAEb,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,UAAU,CACrD,8BAA8B,EAC9B,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE;IAC7B,2BAA2B;IAC3B,0BAA0B;IAC1B,4BAA4B;IAC5B,yBAAyB;IACzB,8BAA8B;CAC/B,CAAC,CACH,CAAA"}

package/dist/controller/graph-validator.js

@@ -61,10 +61,24 @@ const validateTaskReferences = (tasks) => {
     return issues;
 };
 const validateRequirementCoverage = (tasks, requirement) => {
-    // MVP mapping: every acceptance criterion belongs to the single Requirement object.
-    // A graph covers each criterion when at least one task references that requirementId.
-    const covered = tasks.some((task) => task.requirementIds.includes(requirement.requirementId));
-    return covered ? [] : [`Requirement ${requirement.requirementId} is not covered by any task`];
+    const issues = [];
+    const declaredCriterionIds = new Set(requirement.acceptanceCriteria.map((criterion) => criterion.criterionId));
+    for (const task of tasks) {
+        for (const criterionId of task.acceptanceCriterionIds) {
+            if (!declaredCriterionIds.has(criterionId)) {
+                issues.push(`Task ${task.taskId} references unknown acceptance criterion ${criterionId}`);
+            }
+        }
+    }
+    for (const criterion of requirement.acceptanceCriteria) {
+        const hasCoveringTask = tasks.some((task) => task.requirementIds.includes(requirement.requirementId) &&
+            task.acceptanceCriterionIds.includes(criterion.criterionId) &&
+            task.verificationPlan.length > 0);
+        if (!hasCoveringTask) {
+            issues.push(`Requirement criterion ${criterion.criterionId} is not covered by any task`);
+        }
+    }
+    return issues;
 };
 const validateAcyclic = (tasks) => {
     const taskById = new Map(tasks.map((task) => [task.taskId, task]));

package/dist/controller/graph-validator.js.map

@@ -1 +1 @@
-{"version":3,"file":"graph-validator.js","sourceRoot":"","sources":["../../src/controller/graph-validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAIlD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAgB,EAChB,WAAwB,EACxB,KAAY,EACN,EAAE;IACR,MAAM,MAAM,GAAG;QACb,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC;QAC/B,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC;QACtC,GAAG,2BAA2B,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC;QACxD,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;KAChC,CAAA;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAA;IACxC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,KAAgB,EAAE,KAAY,EAAqB,EAAE;IAC3E,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,KAAK,iCAAiC,KAAK,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CACT,QAAQ,IAAI,CAAC,MAAM,UAAU,IAAI,CAAC,KAAK,+BAA+B,KAAK,CAAC,KAAK,EAAE,CACpF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAgB,EAAmB,EAAE;IAC9D,MAAM,OAAO,GAAW,EAAE,CAAA;IAC1B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;IAEjE,OAAO,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAC5B,CAAC,IAAI,EAAE,EAAE,CACP,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CACtE,CAAA;QACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,oBAAoB,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAA;QAC5E,CAAC;QACD,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QAC9B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrB,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,KAAsB,EAAqB,EAAE;IACpE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,MAAM,GAAa,EAAE,CAAA;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACvB,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAAC,KAAsB,EAAqB,EAAE;IAC3E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;IACrD,MAAM,MAAM,GAAa,EAAE,CAAA;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC3C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,sBAAsB,UAAU,aAAa,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,2BAA2B,GAAG,CAClC,KAAsB,EACtB,WAAwB,EACL,EAAE;IACrB,oFAAoF;IACpF,sFAAsF;IACtF,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAA;IAC7F,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe,WAAW,CAAC,aAAa,6BAA6B,CAAC,CAAA;AAC/F,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,KAAsB,EAAqB,EAAE;IACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAA;IAE5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;QAC/C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,KAAK,CAAC,CAAA;QAChB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAChB,IAAU,EACV,QAAmC,EACnC,MAA+B,EACX,EAAE;IACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACrC,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,OAAO,kCAAkC,IAAI,CAAC,MAAM,EAAE,CAAA;IACxD,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACnC,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAC7C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;QACrD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAClC,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA"}
+{"version":3,"file":"graph-validator.js","sourceRoot":"","sources":["../../src/controller/graph-validator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAIlD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAgB,EAChB,WAAwB,EACxB,KAAY,EACN,EAAE;IACR,MAAM,MAAM,GAAG;QACb,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC;QAC/B,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;QAC/B,GAAG,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC;QACtC,GAAG,2BAA2B,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,CAAC;QACxD,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;KAChC,CAAA;IAED,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,oBAAoB,CAAC,MAAM,CAAC,CAAA;IACxC,CAAC;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,KAAgB,EAAE,KAAY,EAAqB,EAAE;IAC3E,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,IAAI,KAAK,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,KAAK,iCAAiC,KAAK,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAC/B,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CACT,QAAQ,IAAI,CAAC,MAAM,UAAU,IAAI,CAAC,KAAK,+BAA+B,KAAK,CAAC,KAAK,EAAE,CACpF,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAgB,EAAmB,EAAE;IAC9D,MAAM,OAAO,GAAW,EAAE,CAAA;IAC1B,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;IAEjE,OAAO,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAC5B,CAAC,IAAI,EAAE,EAAE,CACP,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1B,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CACtE,CAAA;QACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,oBAAoB,CAAC,CAAC,wCAAwC,CAAC,CAAC,CAAA;QAC5E,CAAC;QACD,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;QAC9B,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACrB,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,KAAsB,EAAqB,EAAE;IACpE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,MAAM,GAAa,EAAE,CAAA;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,sBAAsB,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACvB,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAAC,KAAsB,EAAqB,EAAE;IAC3E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;IACrD,MAAM,MAAM,GAAa,EAAE,CAAA;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC3C,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,sBAAsB,UAAU,aAAa,IAAI,CAAC,MAAM,EAAE,CAAC,CAAA;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,2BAA2B,GAAG,CAClC,KAAsB,EACtB,WAAwB,EACL,EAAE;IACrB,MAAM,MAAM,GAAa,EAAE,CAAA;IAC3B,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAClC,WAAW,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CACzE,CAAA;IAED,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,KAAK,MAAM,WAAW,IAAI,IAAI,CAAC,sBAAsB,EAAE,CAAC;YACtD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC3C,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,MAAM,4CAA4C,WAAW,EAAE,CAAC,CAAA;YAC3F,CAAC;QACH,CAAC;IACH,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,kBAAkB,EAAE,CAAC;QACvD,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAChC,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,aAAa,CAAC;YACvD,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,CAAC;YAC3D,IAAI,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CACnC,CAAA;QACD,IAAI,CAAC,eAAe,EAAE,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,yBAAyB,SAAS,CAAC,WAAW,6BAA6B,CAAC,CAAA;QAC1F,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC,CAAA;AAED,MAAM,eAAe,GAAG,CAAC,KAAsB,EAAqB,EAAE;IACpE,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAA;IAClE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAA;IAE5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;QAC/C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,KAAK,CAAC,CAAA;QAChB,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAED,MAAM,SAAS,GAAG,CAChB,IAAU,EACV,QAAmC,EACnC,MAA+B,EACX,EAAE;IACtB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IACrC,IAAI,KAAK,KAAK,UAAU,EAAE,CAAC;QACzB,OAAO,kCAAkC,IAAI,CAAC,MAAM,EAAE,CAAA;IACxD,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,SAAS,CAAA;IAClB,CAAC;IAED,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACnC,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAC7C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,SAAS,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;QACrD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAClC,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA"}

package/dist/controller/index.d.ts

@@ -1,13 +1,18 @@
 export type { WorkspaceAdapter, WorkspaceChangeAssessment, WorkspacePolicy, } from "../workspace/index.js";
 export { createGitWorkspaceAdapter, createGitWorktreeAdapter } from "../workspace/index.js";
-export { type AbandonSessionInput, type AgentSessionRuntime, createAgentSessionRuntime, type OrphanSession, type RebindSessionInput, type SendAgentInput, } from "./agent-session.js";
-export type { AnswerRunInput, ControllerClock, ControllerIdSource, CreateRunControllerOptions, PauseRunInput, RequirementInput, RunBudgetKind, RunController, WaiveRunInput, } from "./contracts.js";
+export { createAgentSessionRuntime } from "./agent-session.js";
+export type { AbandonSessionInput, AgentSessionRuntime, RebindSessionInput, SendAgentInput, } from "./agent-session-types.js";
+export type { OrphanSession } from "./agent-session-utils.js";
+export type { AnswerRunInput, ControllerClock, ControllerIdSource, CreateRunControllerOptions, PauseRunInput, RunBudgetKind, RunController, WaiveRunInput, } from "./contracts.js";
 export { AgentOutputParseError, AgentRunFailedError, GraphValidationError } from "./errors.js";
 export { createEvidence } from "./evidence-factory.js";
 export { orderTasks, validateTaskGraph } from "./graph-validator.js";
 export { createReport } from "./report-factory.js";
+export { plannerTaskPrompt, roleSystemPrompt } from "./role-prompts.js";
+export { finalizeRunAcceptance } from "./run-acceptance.js";
 export { createRunController } from "./run-controller.js";
 export { createRunPersistence, type RunPersistence } from "./run-persistence.js";
+export { authorizeSessionToolExecution } from "./session-tool-authorization.js";
 export type { WorktreeEligibilityDecision, WorktreeEligibilityReason, } from "./worktree-eligibility.js";
 export { analyzeWorktreeEligibility } from "./worktree-eligibility.js";
 export type { WorktreeScheduler, WorktreeSchedulerInput, WorktreeSchedulerResult, WorktreeTaskResult, } from "./worktree-scheduler.js";

package/dist/controller/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/controller/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,gBAAgB,EAChB,yBAAyB,EACzB,eAAe,GAChB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AAC3F,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,mBAAmB,EACxB,yBAAyB,EACzB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,cAAc,GACpB,MAAM,oBAAoB,CAAA;AAC3B,YAAY,EACV,cAAc,EACd,eAAe,EACf,kBAAkB,EAClB,0BAA0B,EAC1B,aAAa,EACb,gBAAgB,EAChB,aAAa,EACb,aAAa,EACb,aAAa,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAC9F,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAAE,oBAAoB,EAAE,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAChF,YAAY,EACV,2BAA2B,EAC3B,yBAAyB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AACtE,YAAY,EACV,iBAAiB,EACjB,sBAAsB,EACtB,uBAAuB,EACvB,kBAAkB,GACnB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/controller/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,gBAAgB,EAChB,yBAAyB,EACzB,eAAe,GAChB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AAC3F,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAA;AAC9D,YAAY,EACV,mBAAmB,EACnB,mBAAmB,EACnB,kBAAkB,EAClB,cAAc,GACf,MAAM,0BAA0B,CAAA;AACjC,YAAY,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAA;AAC7D,YAAY,EACV,cAAc,EACd,eAAe,EACf,kBAAkB,EAClB,0BAA0B,EAC1B,aAAa,EACb,aAAa,EACb,aAAa,EACb,aAAa,GACd,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAC9F,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAAE,oBAAoB,EAAE,KAAK,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAA;AAC/E,YAAY,EACV,2BAA2B,EAC3B,yBAAyB,GAC1B,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AACtE,YAAY,EACV,iBAAiB,EACjB,sBAAsB,EACtB,uBAAuB,EACvB,kBAAkB,GACnB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA"}

package/dist/controller/index.js

@@ -1,11 +1,14 @@
 export { createGitWorkspaceAdapter, createGitWorktreeAdapter } from "../workspace/index.js";
-export { createAgentSessionRuntime, } from "./agent-session.js";
+export { createAgentSessionRuntime } from "./agent-session.js";
 export { AgentOutputParseError, AgentRunFailedError, GraphValidationError } from "./errors.js";
 export { createEvidence } from "./evidence-factory.js";
 export { orderTasks, validateTaskGraph } from "./graph-validator.js";
 export { createReport } from "./report-factory.js";
+export { plannerTaskPrompt, roleSystemPrompt } from "./role-prompts.js";
+export { finalizeRunAcceptance } from "./run-acceptance.js";
 export { createRunController } from "./run-controller.js";
 export { createRunPersistence } from "./run-persistence.js";
+export { authorizeSessionToolExecution } from "./session-tool-authorization.js";
 export { analyzeWorktreeEligibility } from "./worktree-eligibility.js";
 export { createWorktreeScheduler } from "./worktree-scheduler.js";
 //# sourceMappingURL=index.js.map

package/dist/controller/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/controller/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AAC3F,OAAO,EAGL,yBAAyB,GAI1B,MAAM,oBAAoB,CAAA;AAY3B,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAC9F,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAAE,oBAAoB,EAAuB,MAAM,sBAAsB,CAAA;AAKhF,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAOtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/controller/index.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AAC3F,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAA;AAkB9D,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAA;AAC9F,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AACpE,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAA;AAClD,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAAE,oBAAoB,EAAuB,MAAM,sBAAsB,CAAA;AAChF,OAAO,EAAE,6BAA6B,EAAE,MAAM,iCAAiC,CAAA;AAK/E,OAAO,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAOtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA"}

package/dist/controller/repair-loop.d.ts

@@ -1,5 +1,5 @@
 import { type Evidence, type Failure, type Task } from "../domain/index.js";
-import type { AgentSessionRuntime } from "./agent-session.js";
+import type { AgentSessionRuntime } from "./agent-session-types.js";
 import type { CreateRunControllerOptions } from "./contracts.js";
 import type { RunPersistence } from "./run-persistence.js";
 import type { PlannedRun } from "./run-state.js";

package/dist/controller/repair-loop.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"repair-loop.d.ts","sourceRoot":"","sources":["../../src/controller/repair-loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,QAAQ,EACb,KAAK,OAAO,EAEZ,KAAK,IAAI,EACV,MAAM,oBAAoB,CAAA;AAE3B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAA;AAC7D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAOhE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAMhD,KAAK,cAAc,GAAG,CAAC,KAAK,EAAE;IAC5B,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;CACvC,KAAK,OAAO,CAAC;IACZ,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAC,CAAA;AAEF,KAAK,gBAAgB,GACjB;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;IACtC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CACzC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;CACzB,CAAA;AAEL,eAAO,MAAM,aAAa,GAAU,OAAO;IACzC,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAA;QAC5C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAA;QACrC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;KAChC,CAAA;IACD,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;IACtC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAA;IACvC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,yBAAyB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACvD,KAAG,OAAO,CAAC,gBAAgB,CAmO3B,CAAA"}
+{"version":3,"file":"repair-loop.d.ts","sourceRoot":"","sources":["../../src/controller/repair-loop.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,QAAQ,EACb,KAAK,OAAO,EAEZ,KAAK,IAAI,EACV,MAAM,oBAAoB,CAAA;AAE3B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AACnE,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,gBAAgB,CAAA;AAOhE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAA;AAMhD,KAAK,cAAc,GAAG,CAAC,KAAK,EAAE;IAC5B,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;CACvC,KAAK,OAAO,CAAC;IACZ,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,eAAe,EAAE,OAAO,CAAA;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAC1B,CAAC,CAAA;AAEF,KAAK,gBAAgB,GACjB;IACE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;IACtC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAA;CACzC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;CACzB,CAAA;AAEL,eAAO,MAAM,aAAa,GAAU,OAAO;IACzC,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAA;QAC5C,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAA;QACrC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;KAChC,CAAA;IACD,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,QAAQ,EAAE,CAAA;IACtC,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAA;IACvC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,yBAAyB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACvD,KAAG,OAAO,CAAC,gBAAgB,CAoO3B,CAAA"}

package/dist/controller/repair-loop.js

@@ -112,6 +112,7 @@ export const runRepairLoop = async (input) => {
     const repairScopedTask = {
         ...input.task,
         allowedPaths: repairTask.allowedPaths,
+        acceptanceCriterionIds: repairTask.acceptanceCriterionIds,
         evidenceRefs: [...input.task.evidenceRefs, ...repairTask.failureEvidenceIds],
     };
     const workerOutput = await readWorkerOutput({
@@ -300,6 +301,33 @@ const validateRepairTask = (input) => {
             }),
         };
     }
+    const sourceEvidenceIds = new Set(input.failure.relatedEvidenceIds);
+    if (!input.repairTask.failureEvidenceIds.every((evidenceId) => sourceEvidenceIds.has(evidenceId))) {
+        return {
+            kind: "failed",
+            failure: createImplementationFailure({
+                failureId: input.options.ids.createFailureId(`${input.task.taskId}-repair-failure-evidence`),
+                runId: input.run.runId,
+                taskId: input.task.taskId,
+                summary: "Repair task widened failure evidence beyond the analyzed failure.",
+                detail: input.repairTask.failureEvidenceIds.join(", "),
+                recoveryPlan: "Reject the repair task until every failure evidence reference is a subset of the confirmed failure evidence.",
+            }),
+        };
+    }
+    if (!input.repairTask.acceptanceCriterionIds.every((criterionId) => input.task.acceptanceCriterionIds.includes(criterionId))) {
+        return {
+            kind: "failed",
+            failure: createImplementationFailure({
+                failureId: input.options.ids.createFailureId(`${input.task.taskId}-repair-criterion-scope`),
+                runId: input.run.runId,
+                taskId: input.task.taskId,
+                summary: "Repair task widened acceptance criterion scope beyond the source task.",
+                detail: input.repairTask.acceptanceCriterionIds.join(", "),
+                recoveryPlan: "Reject the repair task until its criterion set is equal to or narrower than the source task.",
+            }),
+        };
+    }
     if (input.seenRootCauseFingerprints.includes(input.repairTask.rootCauseFingerprint)) {
         return {
             kind: "paused",