@tea-agent/loop-agent 0.29.3 → 0.30.0

package/dist/workflows/dag/node-execution.js

@@ -126,7 +126,7 @@ export function buildNodePrompt(spec, task, upstream, options) {
         convergenceFeedback: options?.convergenceFeedback,
     });
 }
-function buildAttemptPrompt(task, basePrompt, attemptNumber, previousFailureCategory, previousProtocolReason, recoveryTargetPaths) {
+function buildAttemptPrompt(task, basePrompt, attemptNumber, previousFailureCategory, previousProtocolReason, recoveryTargetPaths, recoveryDiagnostics) {
     if (attemptNumber <= 1)
         return basePrompt;
     if (previousFailureCategory === "protocol-invalid" &&
@@ -152,6 +152,7 @@ function buildAttemptPrompt(task, basePrompt, attemptNumber, previousFailureCate
                     maxAttempts,
                     reason: "T4",
                     targetPaths: recoveryTargetPaths,
+                    diagnostics: recoveryDiagnostics,
                 }),
             ].join("\n");
         }
@@ -180,6 +181,7 @@ function buildAttemptPrompt(task, basePrompt, attemptNumber, previousFailureCate
                     maxAttempts,
                     reason: "T3_or_T5",
                     targetPaths: recoveryTargetPaths,
+                    diagnostics: recoveryDiagnostics,
                 }),
             ].join("\n");
         }
@@ -636,12 +638,21 @@ export async function executeDagNode(input) {
             // or when no progress facts exist yet (no-op).
             const recoveryProgress = await loadBackendTestWriterProgressForRetry(runDir, task.id);
             const recoveryTargetPaths = recoveryProgress?.targetPaths;
+            // Fold per-path structural reasons (e.g. T5 "case heading at wrong
+            // level") into the retry prompt so the model fixes the exact defect
+            // instead of guessing from a generic hint.
+            const recoveryDiagnostics = recoveryProgress?.issues
+                ?.filter((i) => !!i.path && i.recoverable)
+                .reduce((acc, i) => {
+                (acc[i.path] ??= []).push(i.detail);
+                return acc;
+            }, {});
             result = await executeNode({
                 task,
                 cwd,
                 model,
                 ...(thinking ? { thinking } : {}),
-                prompt: buildAttemptPrompt(task, prompt, attemptNumber, previousFailureCategory, previousProtocolReason, recoveryTargetPaths),
+                prompt: buildAttemptPrompt(task, prompt, attemptNumber, previousFailureCategory, previousProtocolReason, recoveryTargetPaths, recoveryDiagnostics),
                 attempt: attemptNumber,
                 reportActivity,
                 timeoutMs: livenessPolicy.absoluteMaxWallClockMs,

package/dist/workflows/dag/types.js

@@ -326,6 +326,20 @@ export const dagWritePolicySchema = z.enum([
 ]);
 /** Git/post-diff write guard intensity for exclusive Pi writers. */
 export const dagWriteGuardPolicySchema = z.enum(["full", "tools-only"]);
+/**
+ * Fail-closed outcome/diff consistency contract for bounded Pi writers.
+ * The writer must begin with IMPLEMENTATION_OUTCOME: changed,
+ * already-satisfied, or blocked; the executor checks it against the
+ * run-attributed diff. Declared before the dynamic child schema so the
+ * child writerOutcomePolicy optional field can reuse it without a TDZ.
+ */
+export const dagWriterOutcomePolicySchema = z
+    .object({
+    type: z.literal("implementation-outcome-v1"),
+    /** Generation writers may forbid already-satisfied/no-diff completion. */
+    requireChangedFiles: z.boolean().optional(),
+})
+    .strict();
 export const contextPolicyIdSchema = z.enum([
     "baseline-v1",
     "role-specialized-v1",
@@ -512,7 +526,14 @@ export const dagDynamicExpansionChildTaskSchema = z.object({
     allowedPaths: z.array(z.string()).optional().default([]),
     forbiddenPaths: z.array(z.string()).optional().default([]),
     writeSet: z.array(z.string()).optional(),
+    /**
+     * Materialized-child pass-through fields for bounded Pi writer children
+     * (backend-test md/pytest case sharding). All optional so legacy
+     * read-only/frontend map children (which never set these) keep parsing.
+     */
+    writerOutcomePolicy: dagWriterOutcomePolicySchema.optional(),
     writeGuardPolicy: dagWriteGuardPolicySchema.optional(),
+    retryPolicy: dagRetryPolicySchema.optional(),
 });
 export const dagDynamicExpansionSchema = z.object({
     type: z.enum(["map_agent", "verify_agent"]),
@@ -603,13 +624,6 @@ export const dagDecisionGateSchema = z.object({
     schemaVersion: z.literal(1).optional(),
     mode: dagDecisionGateModeSchema.optional().default("record-only"),
 });
-export const dagWriterOutcomePolicySchema = z
-    .object({
-    type: z.literal("implementation-outcome-v1"),
-    /** Generation writers may forbid already-satisfied/no-diff completion. */
-    requireChangedFiles: z.boolean().optional(),
-})
-    .strict();
 /**
  * The final supervised audit is the sole runtime write authority for its
  * writer. `allowedPaths` remains a ceiling; it is never a writer fallback.