@tea-agent/loop-agent 0.43.0-next.17 → 0.43.0-next.3

package/dist/workflows/dag/frontend-verification-trace.js

@@ -227,16 +227,48 @@ export function extractFrontendTestTitles(content) {
     }
     return titles;
 }
+function traceKeyMatchesTitle(traceKey, title) {
+    const escaped = traceKey.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
+    return new RegExp(`(?:^|[^A-Za-z0-9_-])${escaped}(?:$|[^A-Za-z0-9_-])`).test(title);
+}
+function formatObservedTestTitles(titles) {
+    if (titles.length === 0)
+        return "(none)";
+    const limit = 8;
+    const preview = titles
+        .slice(0, limit)
+        .map((title) => title.length > 120 ? `${title.slice(0, 117)}...` : title)
+        .join(" | ");
+    return titles.length > limit
+        ? `${preview} | ... (${titles.length - limit} more)`
+        : preview;
+}
 async function evaluateTargetFileTrace(input) {
     const fileIssues = await assertFileAndSymbol({
         workspaceRoot: input.workspaceRoot,
         file: input.target.file,
     });
-    return { issues: fileIssues };
+    if (fileIssues.length || input.target.mode === "static") {
+        return { issues: fileIssues };
+    }
+    const absolute = path.resolve(input.workspaceRoot, input.target.file);
+    const content = await readFile(absolute, "utf8");
+    const observedTestTitles = extractFrontendTestTitles(content);
+    if (observedTestTitles.some((title) => traceKeyMatchesTitle(input.target.id, title))) {
+        return { issues: [], observedTestTitles };
+    }
+    const observed = formatObservedTestTitles(observedTestTitles);
+    return {
+        issues: [
+            `trace key not found in test title: ${input.target.id} in ${input.target.file}; observed test titles: ${observed}`,
+        ],
+        observedTestTitles,
+    };
 }
 /**
- * Lightweight writer-boundary check. It validates declared file existence;
- * frozen commands remain the final trace gate's responsibility after execution.
+ * Lightweight writer-boundary check. It validates file existence and stable
+ * behavior trace tokens only; frozen commands remain the final trace gate's
+ * responsibility after command execution.
  */
 export async function evaluateFrontendWriterTracePreflight(input) {
     const targets = [];
@@ -255,6 +287,7 @@ export async function evaluateFrontendWriterTracePreflight(input) {
             commandLabel: target.commandLabel,
             file: target.file,
             ...(target.symbol ? { symbol: target.symbol } : {}),
+            ...(target.mode !== "static" ? { traceKey: target.id } : {}),
             status: fileTrace.issues.length ? "failed" : "ok",
             matchedNodeIds: [],
             issues: fileTrace.issues,
@@ -265,8 +298,8 @@ export async function evaluateFrontendWriterTracePreflight(input) {
 /**
  * Pure verification-target evaluation shared by the trace gate and the repair
  * assess gate. It derives, for each contract verification target, whether the
- * target bound to frozen evidence (commandLabel owners), whether its file exists,
- * and whether the declared test file was exercised by the observed runner. It performs no
+ * target bound to frozen evidence (commandLabel owners), and whether the file
+ * and stable behavior-target id exist in a real test title. It performs no
  * writes and throws nothing: failures are returned as `hardIssues` plus
  * per-target `status`.
  */
@@ -295,7 +328,7 @@ export async function evaluateVerificationTargets(input) {
         if (target.mode !== "static" && executed !== undefined) {
             // safePath permits "./" prefixes; reporter files are cwd-relative.
             const targetFile = path.posix.normalize(target.file.replace(/\\/g, "/"));
-            const matching = executed.filter((test) => test.file === targetFile);
+            const matching = executed.filter((test) => test.file === targetFile && traceKeyMatchesTitle(target.id, test.title));
             if (matching.length === 0 || matching.some((test) => test.status !== "passed")) {
                 issues.push(`behavior target was not fully executed and passed: ${target.id} in ${target.file}`);
             }
@@ -309,6 +342,7 @@ export async function evaluateVerificationTargets(input) {
             commandLabel: target.commandLabel,
             file: target.file,
             symbol: target.symbol,
+            ...(target.mode !== "static" ? { traceKey: target.id } : {}),
             status,
             matchedNodeIds: owners ?? [],
             issues,
@@ -319,7 +353,7 @@ export async function evaluateVerificationTargets(input) {
 /**
  * Legacy deterministic symbol resolvability check retained by canonical
  * normalization (`dropUnresolvedVerificationSymbols`). New plan tools do not
- * expose symbol and runtime trace binding uses the command and test file. This
+ * expose symbol and runtime trace binding uses the stable target id. This
  * helper still handles old `all describe blocks`, `describe('title')`, and
  * slash-delimited labels so existing run artifacts normalize consistently.
  */
@@ -428,7 +462,7 @@ export async function runFrontendVerificationTraceGate(input) {
     const mockCommandLabels = input.evidence?.mock?.commandLabels ?? [];
     const mockCommandNodeId = input.evidence?.mock?.nodeId;
     const mockCommandTexts = input.evidence?.mock?.commandTexts ?? [];
-    if (input.evidence && contract.verificationTargets.some((target) => target.mode === "behavior") && contract.mockApi.strategy !== "not-needed" && mockCommandLabels.length === 0) {
+    if (input.evidence && contract.mockApi.strategy !== "not-needed" && mockCommandLabels.length === 0) {
         throw new Error("trace: selected Mock strategy requires successful Mock verification commands");
     }
     if (input.evidence) {

package/dist/workflows/dag/index.js

@@ -0,0 +1,6 @@
+export * from "./spec.js";
+export * from "./authoring.js";
+export * from "./runtime.js";
+export * from "./facts.js";
+export * from "./report.js";
+export * from "./decision-gates.js";