scai 0.1.178 → 1.0.1

package/dist/agents/objectiveEvaluatorStep.js

@@ -0,0 +1,103 @@
+import fs from "fs";
+/**
+ * Refactor note:
+ * - Deterministic completion evaluator (regex/exact-value criteria).
+ * - Runs after transform to decide "done" without relying on file coverage.
+ * - Why it exists: stop as soon as objective is satisfied.
+ */
+function evaluateRegexCriterion(criterion) {
+    let source = "";
+    try {
+        source = fs.readFileSync(criterion.filePath, "utf-8");
+    }
+    catch (err) {
+        return {
+            filePath: criterion.filePath,
+            pattern: criterion.pattern,
+            flags: criterion.flags,
+            matches: 0,
+            error: `failed to read file: ${err.message}`,
+        };
+    }
+    try {
+        // Always enforce "g" so we can count every match deterministically.
+        // Example: /\"version\"\\s*:\\s*\"1\\.2\\.5\"/m.
+        const baseFlags = criterion.flags ?? "";
+        const flags = baseFlags.includes("g") ? baseFlags : `${baseFlags}g`;
+        const re = new RegExp(criterion.pattern, flags);
+        const scopedSource = criterion.scope === "line" ? source.split("\n").join("\n") : source;
+        const matches = Array.from(scopedSource.matchAll(re));
+        return {
+            filePath: criterion.filePath,
+            pattern: criterion.pattern,
+            flags,
+            matches: matches.length,
+            captures: matches
+                .flatMap((match) => match.slice(1))
+                .filter((capture) => typeof capture === "string")
+                .slice(0, 12),
+        };
+    }
+    catch (err) {
+        return {
+            filePath: criterion.filePath,
+            pattern: criterion.pattern,
+            flags: criterion.flags,
+            matches: 0,
+            error: `invalid regex: ${err.message}`,
+        };
+    }
+}
+function evaluateExactValueCriterion(criterion) {
+    try {
+        const source = fs.readFileSync(criterion.filePath, "utf-8");
+        const mustContain = criterion.mustContain !== false;
+        const hasValue = source.includes(criterion.value);
+        return {
+            filePath: criterion.filePath,
+            pattern: criterion.value,
+            matches: mustContain ? (hasValue ? 1 : 0) : (hasValue ? 0 : 1),
+            captures: [],
+        };
+    }
+    catch (err) {
+        return {
+            filePath: criterion.filePath,
+            pattern: criterion.value,
+            matches: 0,
+            error: `failed to read file: ${err.message}`,
+        };
+    }
+}
+export function runObjectiveEvaluator(context) {
+    const objective = context.analysis?.objective;
+    const criteria = objective?.successCriteria ?? [];
+    if (criteria.length === 0) {
+        return {
+            status: "inconclusive",
+            rationale: "No success criteria configured",
+            evidence: [],
+        };
+    }
+    const evidence = criteria.map((criterion) => criterion.type === "regex"
+        ? evaluateRegexCriterion(criterion)
+        : evaluateExactValueCriterion(criterion));
+    const failed = criteria.filter((criterion, index) => {
+        const ev = evidence[index];
+        if (ev.error)
+            return true;
+        if (criterion.type === "regex") {
+            const mustMatch = criterion.mustMatch !== false;
+            return mustMatch ? ev.matches <= 0 : ev.matches > 0;
+        }
+        const mustContain = criterion.mustContain !== false;
+        return mustContain ? ev.matches <= 0 : ev.matches > 0;
+    });
+    const status = failed.length === 0 ? "satisfied" : "unsatisfied";
+    // Example: 1 failed criterion out of 3 => unsatisfied.
+    const rationale = status === "satisfied"
+        ? "All objective criteria satisfied deterministically"
+        : `${failed.length}/${criteria.length} objective criteria are unresolved`;
+    return { status, rationale, evidence };
+}
+//# sourceMappingURL=objectiveEvaluatorStep.js.map

package/dist/agents/objectiveEvaluatorStep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"objectiveEvaluatorStep.js","sourceRoot":"","sources":["../../src/agents/objectiveEvaluatorStep.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,IAAI,CAAC;AAQpB;;;;;GAKG;AACH,SAAS,sBAAsB,CAAC,SAAuD;IACrF,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,IAAI,CAAC;QACH,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,wBAAyB,GAAa,CAAC,OAAO,EAAE;SACxD,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,oEAAoE;QACpE,iDAAiD;QACjD,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,IAAI,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,GAAG,CAAC;QACpE,MAAM,EAAE,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAChD,MAAM,YAAY,GAChB,SAAS,CAAC,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QACtE,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,OAAO;YACL,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,KAAK;YACL,OAAO,EAAE,OAAO,CAAC,MAAM;YACvB,QAAQ,EAAE,OAAO;iBACd,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;iBAClC,MAAM,CAAC,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC;iBACnE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;SAChB,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,kBAAmB,GAAa,CAAC,OAAO,EAAE;SAClD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,2BAA2B,CAAC,SAA6D;IAChG,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC5D,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,KAAK,KAAK,CAAC;QACpD,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClD,OAAO;YACL,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,OAAO,EAAE,SAAS,CAAC,KAAK;YACxB,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9D,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO;YACL,QAAQ,EAAE,SAAS,CAAC,QAAQ;YAC5B,OAAO,EAAE,SAAS,CAAC,KAAK;YACxB,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,wBAAyB,GAAa,CAAC,OAAO,EAAE;SACxD,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,OAA0B;IAC9D,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,SAAS,CAAC;IAC9C,MAAM,QAAQ,GAAG,SAAS,EAAE,eAAe,IAAI,EAAE,CAAC;IAClD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,cAAc;YACtB,SAAS,EAAE,gCAAgC;YAC3C,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAoB,QAAQ,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAC3D,SAAS,CAAC,IAAI,KAAK,OAAO;QACxB,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC;QACnC,CAAC,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAC3C,CAAC;IAEF,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QAClD,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,EAAE,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QAC1B,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,MAAM,SAAS,GAAG,SAAS,CAAC,SAAS,KAAK,KAAK,CAAC;YAChD,OAAO,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,GAAG,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,KAAK,KAAK,CAAC;QACpD,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC;IACjE,uDAAuD;IACvD,MAAM,SAAS,GACb,MAAM,KAAK,WAAW;QACpB,CAAC,CAAC,oDAAoD;QACtD,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,MAAM,oCAAoC,CAAC;IAE9E,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AACzC,CAAC","sourcesContent":["import fs from \"fs\";\nimport type {\n  ObjectiveEvaluationResult,\n  RegexEvidence,\n  StructuredContext,\n  SuccessCriterion,\n} from \"../types.js\";\n\n/**\n * Refactor note:\n * - Deterministic completion evaluator (regex/exact-value criteria).\n * - Runs after transform to decide \"done\" without relying on file coverage.\n * - Why it exists: stop as soon as objective is satisfied.\n */\nfunction evaluateRegexCriterion(criterion: Extract<SuccessCriterion, { type: \"regex\" }>): RegexEvidence {\n  let source = \"\";\n  try {\n    source = fs.readFileSync(criterion.filePath, \"utf-8\");\n  } catch (err) {\n    return {\n      filePath: criterion.filePath,\n      pattern: criterion.pattern,\n      flags: criterion.flags,\n      matches: 0,\n      error: `failed to read file: ${(err as Error).message}`,\n    };\n  }\n\n  try {\n    // Always enforce \"g\" so we can count every match deterministically.\n    // Example: /\\\"version\\\"\\\\s*:\\\\s*\\\"1\\\\.2\\\\.5\\\"/m.\n    const baseFlags = criterion.flags ?? \"\";\n    const flags = baseFlags.includes(\"g\") ? baseFlags : `${baseFlags}g`;\n    const re = new RegExp(criterion.pattern, flags);\n    const scopedSource =\n      criterion.scope === \"line\" ? source.split(\"\\n\").join(\"\\n\") : source;\n    const matches = Array.from(scopedSource.matchAll(re));\n    return {\n      filePath: criterion.filePath,\n      pattern: criterion.pattern,\n      flags,\n      matches: matches.length,\n      captures: matches\n        .flatMap((match) => match.slice(1))\n        .filter((capture): capture is string => typeof capture === \"string\")\n        .slice(0, 12),\n    };\n  } catch (err) {\n    return {\n      filePath: criterion.filePath,\n      pattern: criterion.pattern,\n      flags: criterion.flags,\n      matches: 0,\n      error: `invalid regex: ${(err as Error).message}`,\n    };\n  }\n}\n\nfunction evaluateExactValueCriterion(criterion: Extract<SuccessCriterion, { type: \"exact-value\" }>): RegexEvidence {\n  try {\n    const source = fs.readFileSync(criterion.filePath, \"utf-8\");\n    const mustContain = criterion.mustContain !== false;\n    const hasValue = source.includes(criterion.value);\n    return {\n      filePath: criterion.filePath,\n      pattern: criterion.value,\n      matches: mustContain ? (hasValue ? 1 : 0) : (hasValue ? 0 : 1),\n      captures: [],\n    };\n  } catch (err) {\n    return {\n      filePath: criterion.filePath,\n      pattern: criterion.value,\n      matches: 0,\n      error: `failed to read file: ${(err as Error).message}`,\n    };\n  }\n}\n\nexport function runObjectiveEvaluator(context: StructuredContext): ObjectiveEvaluationResult {\n  const objective = context.analysis?.objective;\n  const criteria = objective?.successCriteria ?? [];\n  if (criteria.length === 0) {\n    return {\n      status: \"inconclusive\",\n      rationale: \"No success criteria configured\",\n      evidence: [],\n    };\n  }\n\n  const evidence: RegexEvidence[] = criteria.map((criterion) =>\n    criterion.type === \"regex\"\n      ? evaluateRegexCriterion(criterion)\n      : evaluateExactValueCriterion(criterion)\n  );\n\n  const failed = criteria.filter((criterion, index) => {\n    const ev = evidence[index];\n    if (ev.error) return true;\n    if (criterion.type === \"regex\") {\n      const mustMatch = criterion.mustMatch !== false;\n      return mustMatch ? ev.matches <= 0 : ev.matches > 0;\n    }\n    const mustContain = criterion.mustContain !== false;\n    return mustContain ? ev.matches <= 0 : ev.matches > 0;\n  });\n\n  const status = failed.length === 0 ? \"satisfied\" : \"unsatisfied\";\n  // Example: 1 failed criterion out of 3 => unsatisfied.\n  const rationale =\n    status === \"satisfied\"\n      ? \"All objective criteria satisfied deterministically\"\n      : `${failed.length}/${criteria.length} objective criteria are unresolved`;\n\n  return { status, rationale, evidence };\n}\n"]}

package/dist/agents/outerLoopRecoveryEvaluator.js

@@ -0,0 +1,108 @@
+/**
+ * Evaluates the latest small-action result against the active objective.
+ *
+ * Why this file exists:
+ * - the inner loop should only execute local work and return facts
+ * - the outer loop should own target truth, scope recovery, and completion decisions
+ * - quick reads, validation, verify, and progress all need one shared recovery decision
+ */
+import path from "path";
+export function evaluateOuterLoopRecovery(args) {
+    const { context, sourceAction } = args;
+    const evaluatedAt = new Date().toISOString();
+    const progress = context.analysis?.progressState;
+    const targetFile = normalizeRecoveryTargetFile(args.targetFile ?? getCurrentTargetFile(context));
+    const validation = targetFile ? getValidationForFile(context, targetFile) : undefined;
+    const readResult = targetFile ? context.analysis?.readResults?.byFile?.[targetFile] : undefined;
+    const completeDecision = buildDecision("complete", "Objective and completion facts already say the task is done.", sourceAction, evaluatedAt, targetFile);
+    if (isObjectiveSatisfied(context, progress)) {
+        return completeDecision;
+    }
+    if (targetFile && hasFollowUpRetargetedAway(context, targetFile)) {
+        return buildDecision("rework-scope", `The active objective no longer points at ${path.basename(targetFile)}.`, sourceAction, evaluatedAt, targetFile);
+    }
+    if (targetFile && validation?.status === "invalid" && validation.requiresRedo !== true) {
+        return buildDecision("rework-scope", `Validation shows ${path.basename(targetFile)} is not a usable target anymore.`, sourceAction, evaluatedAt, targetFile);
+    }
+    if (targetFile && readResult) {
+        if (readResult.status === "missing-working-file" || readResult.status === "error") {
+            return buildDecision("redo-step", `The quick read for ${path.basename(targetFile)} could not run locally yet.`, sourceAction, evaluatedAt, targetFile);
+        }
+        if (readResult.missingFacts.length > 0) {
+            const foundFacts = readResult.facts.filter((fact) => fact.found).length;
+            if (readResult.queryFit.judgment === "wrong-shape") {
+                return buildDecision("rework-scope", `Quick read shows ${path.basename(targetFile)} is the wrong file shape for the active objective.`, sourceAction, evaluatedAt, targetFile);
+            }
+            if (foundFacts === 0 && readResult.queryFit.judgment !== "strong" && readResult.queryFit.judgment !== "partial") {
+                return buildDecision("rework-scope", `Quick read found none of the required facts in ${path.basename(targetFile)}.`, sourceAction, evaluatedAt, targetFile);
+            }
+            return buildDecision("expand-scope", `Quick read found some useful signals in ${path.basename(targetFile)}, but nearby evidence is still needed.`, sourceAction, evaluatedAt, targetFile);
+        }
+    }
+    if (validation?.requiresRedo) {
+        return buildDecision("redo-step", `Validation still needs another pass on ${path.basename(targetFile ?? "current target")}.`, sourceAction, evaluatedAt, targetFile);
+    }
+    if (targetFile && shouldReworkFromStall(context, targetFile)) {
+        return buildDecision("rework-scope", `Recent work on ${path.basename(targetFile)} is stalled without useful progress.`, sourceAction, evaluatedAt, targetFile);
+    }
+    if (targetFile && shouldExpandAroundCurrentTarget(context, targetFile, progress)) {
+        return buildDecision("expand-scope", `The current target still fits, but more nearby evidence is needed before the next move.`, sourceAction, evaluatedAt, targetFile);
+    }
+    return buildDecision("continue", "The current target still fits the active objective.", sourceAction, evaluatedAt, targetFile);
+}
+function buildDecision(decision, reason, sourceAction, evaluatedAt, targetFile) {
+    return {
+        decision,
+        reason,
+        targetFile,
+        evaluatedAt,
+        sourceAction,
+    };
+}
+function isObjectiveSatisfied(context, progress) {
+    return (context.analysis?.objectiveEvaluation?.status === "satisfied" ||
+        context.analysis?.objective?.completionStatus === "satisfied" ||
+        progress?.completion.eligible === true);
+}
+function getCurrentTargetFile(context) {
+    const lockFiles = context.analysis?.focus?.executionLock?.files ?? [];
+    if (lockFiles.length === 1)
+        return normalizeRecoveryTargetFile(lockFiles[0]);
+    return normalizeRecoveryTargetFile(context.task?.currentStep?.filePath ?? context.currentStep?.targetFile);
+}
+function normalizeRecoveryTargetFile(targetFile) {
+    if (!targetFile || targetFile.startsWith("__research__/")) {
+        return undefined;
+    }
+    return targetFile;
+}
+function getValidationForFile(context, filePath) {
+    return (context.analysis?.executionOutcome?.validations ?? []).find((entry) => entry.filePath === filePath);
+}
+function hasFollowUpRetargetedAway(context, targetFile) {
+    const resolvedTargets = context.analysis?.focus?.resolvedTargetFiles ??
+        context.analysis?.intent?.resolvedTargetFiles ??
+        [];
+    return resolvedTargets.length > 0 && !resolvedTargets.includes(targetFile);
+}
+function shouldReworkFromStall(context, targetFile) {
+    const lock = context.analysis?.focus?.executionLock;
+    if (!lock?.enabled || !lock.files.includes(targetFile)) {
+        return false;
+    }
+    const recentEntries = context.analysis?.recentActionWindow?.entries ?? [];
+    const targetEntries = recentEntries.filter((entry) => entry.target === targetFile || entry.touchedFiles?.includes(targetFile));
+    const stalledEntries = targetEntries.filter((entry) => entry.outcome === "empty" || entry.outcome === "failed");
+    return stalledEntries.length >= 2;
+}
+function shouldExpandAroundCurrentTarget(context, targetFile, progress) {
+    if (!progress)
+        return false;
+    if (progress.optionalTargets.length > 0) {
+        return true;
+    }
+    const verify = context.analysis?.verify?.byFile?.[targetFile];
+    const fileConfidence = verify?.fileConfidence ?? 0;
+    return fileConfidence > 0 && fileConfidence < 0.55 && progress.completion.eligible === false;
+}
+//# sourceMappingURL=outerLoopRecoveryEvaluator.js.map

package/dist/agents/outerLoopRecoveryEvaluator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"outerLoopRecoveryEvaluator.js","sourceRoot":"","sources":["../../src/agents/outerLoopRecoveryEvaluator.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,IAAI,MAAM,MAAM,CAAC;AAexB,MAAM,UAAU,yBAAyB,CACrC,IAAoC;IAEpC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,IAAI,CAAC;IACvC,MAAM,WAAW,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjD,MAAM,UAAU,GAAG,2BAA2B,CAAC,IAAI,CAAC,UAAU,IAAI,oBAAoB,CAAC,OAAO,CAAC,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,oBAAoB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACtF,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAEhG,MAAM,gBAAgB,GAAG,aAAa,CAClC,UAAU,EACV,8DAA8D,EAC9D,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;IACF,IAAI,oBAAoB,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC1C,OAAO,gBAAgB,CAAC;IAC5B,CAAC;IAED,IAAI,UAAU,IAAI,yBAAyB,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;QAC/D,OAAO,aAAa,CAChB,cAAc,EACd,4CAA4C,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EACxE,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;IACN,CAAC;IAED,IAAI,UAAU,IAAI,UAAU,EAAE,MAAM,KAAK,SAAS,IAAI,UAAU,CAAC,YAAY,KAAK,IAAI,EAAE,CAAC;QACrF,OAAO,aAAa,CAChB,cAAc,EACd,oBAAoB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,kCAAkC,EAC/E,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;IACN,CAAC;IAED,IAAI,UAAU,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,UAAU,CAAC,MAAM,KAAK,sBAAsB,IAAI,UAAU,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;YAChF,OAAO,aAAa,CAChB,WAAW,EACX,sBAAsB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,6BAA6B,EAC5E,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;QACN,CAAC;QAED,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;YACxE,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,KAAK,aAAa,EAAE,CAAC;gBACjD,OAAO,aAAa,CAChB,cAAc,EACd,oBAAoB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,oDAAoD,EACjG,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;YACN,CAAC;YAED,IAAI,UAAU,KAAK,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,KAAK,QAAQ,IAAI,UAAU,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC9G,OAAO,aAAa,CAChB,cAAc,EACd,kDAAkD,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,EAC9E,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;YACN,CAAC;YAED,OAAO,aAAa,CAChB,cAAc,EACd,2CAA2C,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,wCAAwC,EAC5G,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;QACN,CAAC;IACL,CAAC;IAED,IAAI,UAAU,EAAE,YAAY,EAAE,CAAC;QAC3B,OAAO,aAAa,CAChB,WAAW,EACX,0CAA0C,IAAI,CAAC,QAAQ,CAAC,UAAU,IAAI,gBAAgB,CAAC,GAAG,EAC1F,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;IACN,CAAC;IAED,IAAI,UAAU,IAAI,qBAAqB,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,CAAC;QAC3D,OAAO,aAAa,CAChB,cAAc,EACd,kBAAkB,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,sCAAsC,EACjF,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;IACN,CAAC;IAED,IAAI,UAAU,IAAI,+BAA+B,CAAC,OAAO,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC/E,OAAO,aAAa,CAChB,cAAc,EACd,yFAAyF,EACzF,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;IACN,CAAC;IAED,OAAO,aAAa,CAChB,UAAU,EACV,qDAAqD,EACrD,YAAY,EACZ,WAAW,EACX,UAAU,CACb,CAAC;AACN,CAAC;AAED,SAAS,aAAa,CAClB,QAAmC,EACnC,MAAc,EACd,YAAoB,EACpB,WAAmB,EACnB,UAAmB;IAEnB,OAAO;QACH,QAAQ;QACR,MAAM;QACN,UAAU;QACV,WAAW;QACX,YAAY;KACf,CAAC;AACN,CAAC;AAED,SAAS,oBAAoB,CAAC,OAA0B,EAAE,QAAwB;IAC9E,OAAO,CACH,OAAO,CAAC,QAAQ,EAAE,mBAAmB,EAAE,MAAM,KAAK,WAAW;QAC7D,OAAO,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,KAAK,WAAW;QAC7D,QAAQ,EAAE,UAAU,CAAC,QAAQ,KAAK,IAAI,CACzC,CAAC;AACN,CAAC;AAED,SAAS,oBAAoB,CAAC,OAA0B;IACpD,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,EAAE,KAAK,IAAI,EAAE,CAAC;IACtE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,2BAA2B,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7E,OAAO,2BAA2B,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,EAAE,QAAQ,IAAI,OAAO,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;AAC/G,CAAC;AAED,SAAS,2BAA2B,CAAC,UAA8B;IAC/D,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QACxD,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,UAAU,CAAC;AACtB,CAAC;AAED,SAAS,oBAAoB,CAAC,OAA0B,EAAE,QAAgB;IACtE,OAAO,CAAC,OAAO,CAAC,QAAQ,EAAE,gBAAgB,EAAE,WAAW,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;AAChH,CAAC;AAED,SAAS,yBAAyB,CAAC,OAA0B,EAAE,UAAkB;IAC7E,MAAM,eAAe,GACjB,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,mBAAmB;QAC5C,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,mBAAmB;QAC7C,EAAE,CAAC;IACP,OAAO,eAAe,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;AAC/E,CAAC;AAED,SAAS,qBAAqB,CAAC,OAA0B,EAAE,UAAkB;IACzE,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK,EAAE,aAAa,CAAC;IACpD,IAAI,CAAC,IAAI,EAAE,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACjB,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,CAAC,QAAQ,EAAE,kBAAkB,EAAE,OAAO,IAAI,EAAE,CAAC;IAC1E,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,IAAI,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAC/H,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC;IAChH,OAAO,cAAc,CAAC,MAAM,IAAI,CAAC,CAAC;AACtC,CAAC;AAED,SAAS,+BAA+B,CACpC,OAA0B,EAC1B,UAAkB,EAClB,QAAwB;IAExB,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC5B,IAAI,QAAQ,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IAChB,CAAC;IAED,MAAM,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC;IAC9D,MAAM,cAAc,GAAG,MAAM,EAAE,cAAc,IAAI,CAAC,CAAC;IACnD,OAAO,cAAc,GAAG,CAAC,IAAI,cAAc,GAAG,IAAI,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,KAAK,KAAK,CAAC;AACjG,CAAC","sourcesContent":["/**\n * Evaluates the latest small-action result against the active objective.\n *\n * Why this file exists:\n * - the inner loop should only execute local work and return facts\n * - the outer loop should own target truth, scope recovery, and completion decisions\n * - quick reads, validation, verify, and progress all need one shared recovery decision\n */\nimport path from \"path\";\nimport type {\n    ChangeValidation,\n    OuterLoopRecoveryDecision,\n    ProgressState,\n    RecoveryEvaluationState,\n    StructuredContext,\n} from \"../types.js\";\n\nexport interface OuterLoopRecoveryEvaluatorArgs {\n    context: StructuredContext;\n    sourceAction: string;\n    targetFile?: string;\n}\n\nexport function evaluateOuterLoopRecovery(\n    args: OuterLoopRecoveryEvaluatorArgs\n): RecoveryEvaluationState {\n    const { context, sourceAction } = args;\n    const evaluatedAt = new Date().toISOString();\n    const progress = context.analysis?.progressState;\n    const targetFile = normalizeRecoveryTargetFile(args.targetFile ?? getCurrentTargetFile(context));\n    const validation = targetFile ? getValidationForFile(context, targetFile) : undefined;\n    const readResult = targetFile ? context.analysis?.readResults?.byFile?.[targetFile] : undefined;\n\n    const completeDecision = buildDecision(\n        \"complete\",\n        \"Objective and completion facts already say the task is done.\",\n        sourceAction,\n        evaluatedAt,\n        targetFile\n    );\n    if (isObjectiveSatisfied(context, progress)) {\n        return completeDecision;\n    }\n\n    if (targetFile && hasFollowUpRetargetedAway(context, targetFile)) {\n        return buildDecision(\n            \"rework-scope\",\n            `The active objective no longer points at ${path.basename(targetFile)}.`,\n            sourceAction,\n            evaluatedAt,\n            targetFile\n        );\n    }\n\n    if (targetFile && validation?.status === \"invalid\" && validation.requiresRedo !== true) {\n        return buildDecision(\n            \"rework-scope\",\n            `Validation shows ${path.basename(targetFile)} is not a usable target anymore.`,\n            sourceAction,\n            evaluatedAt,\n            targetFile\n        );\n    }\n\n    if (targetFile && readResult) {\n        if (readResult.status === \"missing-working-file\" || readResult.status === \"error\") {\n            return buildDecision(\n                \"redo-step\",\n                `The quick read for ${path.basename(targetFile)} could not run locally yet.`,\n                sourceAction,\n                evaluatedAt,\n                targetFile\n            );\n        }\n\n        if (readResult.missingFacts.length > 0) {\n            const foundFacts = readResult.facts.filter((fact) => fact.found).length;\n            if (readResult.queryFit.judgment === \"wrong-shape\") {\n                return buildDecision(\n                    \"rework-scope\",\n                    `Quick read shows ${path.basename(targetFile)} is the wrong file shape for the active objective.`,\n                    sourceAction,\n                    evaluatedAt,\n                    targetFile\n                );\n            }\n\n            if (foundFacts === 0 && readResult.queryFit.judgment !== \"strong\" && readResult.queryFit.judgment !== \"partial\") {\n                return buildDecision(\n                    \"rework-scope\",\n                    `Quick read found none of the required facts in ${path.basename(targetFile)}.`,\n                    sourceAction,\n                    evaluatedAt,\n                    targetFile\n                );\n            }\n\n            return buildDecision(\n                \"expand-scope\",\n                `Quick read found some useful signals in ${path.basename(targetFile)}, but nearby evidence is still needed.`,\n                sourceAction,\n                evaluatedAt,\n                targetFile\n            );\n        }\n    }\n\n    if (validation?.requiresRedo) {\n        return buildDecision(\n            \"redo-step\",\n            `Validation still needs another pass on ${path.basename(targetFile ?? \"current target\")}.`,\n            sourceAction,\n            evaluatedAt,\n            targetFile\n        );\n    }\n\n    if (targetFile && shouldReworkFromStall(context, targetFile)) {\n        return buildDecision(\n            \"rework-scope\",\n            `Recent work on ${path.basename(targetFile)} is stalled without useful progress.`,\n            sourceAction,\n            evaluatedAt,\n            targetFile\n        );\n    }\n\n    if (targetFile && shouldExpandAroundCurrentTarget(context, targetFile, progress)) {\n        return buildDecision(\n            \"expand-scope\",\n            `The current target still fits, but more nearby evidence is needed before the next move.`,\n            sourceAction,\n            evaluatedAt,\n            targetFile\n        );\n    }\n\n    return buildDecision(\n        \"continue\",\n        \"The current target still fits the active objective.\",\n        sourceAction,\n        evaluatedAt,\n        targetFile\n    );\n}\n\nfunction buildDecision(\n    decision: OuterLoopRecoveryDecision,\n    reason: string,\n    sourceAction: string,\n    evaluatedAt: string,\n    targetFile?: string\n): RecoveryEvaluationState {\n    return {\n        decision,\n        reason,\n        targetFile,\n        evaluatedAt,\n        sourceAction,\n    };\n}\n\nfunction isObjectiveSatisfied(context: StructuredContext, progress?: ProgressState): boolean {\n    return (\n        context.analysis?.objectiveEvaluation?.status === \"satisfied\" ||\n        context.analysis?.objective?.completionStatus === \"satisfied\" ||\n        progress?.completion.eligible === true\n    );\n}\n\nfunction getCurrentTargetFile(context: StructuredContext): string | undefined {\n    const lockFiles = context.analysis?.focus?.executionLock?.files ?? [];\n    if (lockFiles.length === 1) return normalizeRecoveryTargetFile(lockFiles[0]);\n    return normalizeRecoveryTargetFile(context.task?.currentStep?.filePath ?? context.currentStep?.targetFile);\n}\n\nfunction normalizeRecoveryTargetFile(targetFile: string | undefined): string | undefined {\n    if (!targetFile || targetFile.startsWith(\"__research__/\")) {\n        return undefined;\n    }\n    return targetFile;\n}\n\nfunction getValidationForFile(context: StructuredContext, filePath: string): ChangeValidation | undefined {\n    return (context.analysis?.executionOutcome?.validations ?? []).find((entry) => entry.filePath === filePath);\n}\n\nfunction hasFollowUpRetargetedAway(context: StructuredContext, targetFile: string): boolean {\n    const resolvedTargets =\n        context.analysis?.focus?.resolvedTargetFiles ??\n        context.analysis?.intent?.resolvedTargetFiles ??\n        [];\n    return resolvedTargets.length > 0 && !resolvedTargets.includes(targetFile);\n}\n\nfunction shouldReworkFromStall(context: StructuredContext, targetFile: string): boolean {\n    const lock = context.analysis?.focus?.executionLock;\n    if (!lock?.enabled || !lock.files.includes(targetFile)) {\n        return false;\n    }\n\n    const recentEntries = context.analysis?.recentActionWindow?.entries ?? [];\n    const targetEntries = recentEntries.filter((entry) => entry.target === targetFile || entry.touchedFiles?.includes(targetFile));\n    const stalledEntries = targetEntries.filter((entry) => entry.outcome === \"empty\" || entry.outcome === \"failed\");\n    return stalledEntries.length >= 2;\n}\n\nfunction shouldExpandAroundCurrentTarget(\n    context: StructuredContext,\n    targetFile: string,\n    progress?: ProgressState\n): boolean {\n    if (!progress) return false;\n    if (progress.optionalTargets.length > 0) {\n        return true;\n    }\n\n    const verify = context.analysis?.verify?.byFile?.[targetFile];\n    const fileConfidence = verify?.fileConfidence ?? 0;\n    return fileConfidence > 0 && fileConfidence < 0.55 && progress.completion.eligible === false;\n}\n"]}

package/dist/agents/readinessGateStep.js

@@ -2,6 +2,7 @@
 import { generate } from '../lib/generate.js';
 import { cleanupModule } from '../pipeline/modules/cleanupModule.js';
 import { logInputOutput } from '../utils/promptLogHelper.js';
+import { countDomainAnchorHits, extractDomainAnchors } from '../utils/queryAnchors.js';
 export const readinessGateStep = {
     name: 'readinessGate',
     description: 'Determines if there is sufficient evidence to safely proceed with analysis or transformation.',
@@ -9,7 +10,7 @@ export const readinessGateStep = {
     requires: ['userQuery', 'intent'],
     produces: ['analysis.readiness'],
     async run(context) {
-        var _a, _b, _c, _d;
+        var _a, _b, _c, _d, _e;
         context.analysis || (context.analysis = {});
         (_a = context.analysis).focus || (_a.focus = { selectedFiles: [], candidateFiles: [], rationale: '' });
         (_b = context.analysis).fileAnalysis || (_b.fileAnalysis = {});
@@ -20,9 +21,35 @@ export const readinessGateStep = {
             rationale: '',
         });
         const focus = context.analysis.focus;
+        let readinessCallId;
         const verifyByFile = context.analysis.verify?.byFile ?? {};
+        const executionPolicy = context.analysis.executionPolicy;
+        const executionLock = executionPolicy?.executionLock;
+        (_d = context.analysis).readinessGuard || (_d.readinessGuard = { weakAlignmentExpansionForced: false });
         // ---------------- EVIDENCE COLLECTION ----------------
-        const selectedFiles = focus.selectedFiles ?? [];
+        const selectedFiles = executionPolicy?.executionRequired?.length
+            ? executionPolicy.executionRequired
+            : focus.selectedFiles ?? [];
+        const domainAnchors = extractDomainAnchors(context.initContext?.userQuery ?? "");
+        const hasHighQualityAnchor = selectedFiles.some((filePath) => fileHasHighQualityAnchor(filePath, verifyByFile[filePath], domainAnchors));
+        // Resolver-based lock override: execution lane is ready even if exploration lane is weak.
+        if (executionPolicy?.executionReady &&
+            executionLock?.enabled &&
+            executionLock.files.length > 0) {
+            context.analysis.readiness = {
+                decision: "ready",
+                reason: "sufficient-evidence",
+                confidence: 0.97,
+                rationale: `Execution lock active for ${executionLock.files.join(", ")}; readiness accepted for execution lane.`,
+            };
+            logInputOutput("readinessLockOverride", "output", {
+                executionLock,
+                executionReady: executionPolicy.executionReady,
+                explorationReady: executionPolicy.explorationReady,
+            });
+            logOutput(context, readinessCallId);
+            return;
+        }
         // Deterministic short-circuit: no selected files
         if (selectedFiles.length === 0) {
             context.analysis.readiness = {
@@ -31,23 +58,37 @@ export const readinessGateStep = {
                 confidence: 0.95,
                 rationale: 'No files were selected for analysis.',
             };
-            logOutput(context);
+            logOutput(context, readinessCallId);
             return;
         }
         // ---------------- SUMMARIZE EVIDENCE FOR LLM ----------------
         // Deterministic shortcut: if any primary relevant files exist, skip LLM
         const primaryRelevantFiles = selectedFiles.filter(path => {
             const verify = verifyByFile[path];
-            return verify?.role === 'primary' && verify?.isRelevant === true;
+            const confidence = typeof verify?.fileConfidence === "number" ? verify.fileConfidence : 0;
+            return verify?.role === 'primary' && verify?.isRelevant === true && confidence >= 0.45;
         });
         if (primaryRelevantFiles.length > 0) {
+            if (!hasHighQualityAnchor &&
+                !executionLock?.enabled &&
+                !context.analysis.readinessGuard.weakAlignmentExpansionForced) {
+                context.analysis.readinessGuard.weakAlignmentExpansionForced = true;
+                context.analysis.readiness = {
+                    decision: 'not-ready',
+                    reason: 'insufficient-evidence',
+                    confidence: 0.7,
+                    rationale: 'Selected files are weakly aligned to domain anchors; forcing one expansion wave before readiness.',
+                };
+                logOutput(context, readinessCallId);
+                return;
+            }
             context.analysis.readiness = {
                 decision: 'ready',
                 reason: 'sufficient-evidence',
                 confidence: 0.95,
                 rationale: `Primary relevant files detected: ${primaryRelevantFiles.join(', ')}. Sufficient evidence to proceed.`,
             };
-            logOutput(context);
+            logOutput(context, readinessCallId);
             return;
         }
         // Otherwise, build summary for LLM
@@ -82,7 +123,19 @@ Instruction:
 `.trim();
         try {
             const genInput = { query: context.initContext?.userQuery ?? '', content: prompt };
-            const genOutput = await generate(genInput);
+            const genOutput = await generate(genInput, {
+                caller: "readinessGateStep",
+                inputContext: {
+                    userQuery: context.initContext?.userQuery ?? '',
+                    selectedFiles,
+                    candidateFiles: focus?.candidateFiles ?? [],
+                    evidenceSummary,
+                    domainAnchors,
+                    hasHighQualityAnchor,
+                    executionLock,
+                },
+            });
+            readinessCallId = genOutput.trace?.callId;
             const raw = String(genOutput.data ?? '').trim();
             // parse with cleanupModule
             const cleaned = await cleanupModule.run({ query: context.initContext?.userQuery ?? '', content: raw });
@@ -132,11 +185,23 @@ Instruction:
                 confidence: modelDecision.confidence,
                 rationale: combinedRationale,
             };
+            if (context.analysis.readiness.decision === 'ready' &&
+                !hasHighQualityAnchor &&
+                !executionLock?.enabled &&
+                !context.analysis.readinessGuard.weakAlignmentExpansionForced) {
+                context.analysis.readinessGuard.weakAlignmentExpansionForced = true;
+                context.analysis.readiness = {
+                    decision: 'not-ready',
+                    reason: 'insufficient-evidence',
+                    confidence: 0.7,
+                    rationale: 'Ready decision blocked due to weak domain-anchor alignment; forcing one expansion wave.',
+                };
+            }
             // ---------------- DOCS-ONLY FILES ----------------
             const docsOnly = context.executionControl?.constraints?.docsOnly ?? false;
             if (docsOnly && context.analysis.readiness.decision === 'ready') {
                 for (const path of selectedFiles) {
-                    (_d = context.analysis.fileAnalysis)[path] || (_d[path] = { action: {}, intent: 'relevant', semanticAnalyzed: false });
+                    (_e = context.analysis.fileAnalysis)[path] || (_e[path] = { action: {}, intent: 'relevant', semanticAnalyzed: false });
                     if (!context.analysis.fileAnalysis[path].action) {
                         context.analysis.fileAnalysis[path].action = {};
                     }
@@ -145,7 +210,7 @@ Instruction:
                     }
                 }
             }
-            logOutput(context);
+            logOutput(context, readinessCallId);
         }
         catch (err) {
             console.warn('⚠️ readinessGateStep failed:', err);
@@ -159,8 +224,29 @@ Instruction:
     },
 };
 // ---------------- HELPER ----------------
-function logOutput(context) {
+function logOutput(context, callId) {
     logInputOutput('readinessGateStep', 'output', {
+        callId,
         readiness: context.analysis?.readiness
     });
 }
+function fileHasHighQualityAnchor(filePath, verify, domainAnchors) {
+    const evidence = verify?.evidence ?? [];
+    const fileConfidence = typeof verify?.fileConfidence === "number" ? verify.fileConfidence : 0;
+    const hasFilenameEvidence = evidence.some((item) => {
+        if (item?.type !== "filename")
+            return false;
+        const confidence = typeof item?.confidence === "number" ? item.confidence : 0;
+        const claim = String(item?.claim ?? "").toLowerCase();
+        return confidence >= 0.95 && claim.includes("exactly matches query target");
+    });
+    const hasExactSymbolEvidence = evidence.some((item) => {
+        if (item?.type !== "symbol" && item?.type !== "structural")
+            return false;
+        const confidence = typeof item?.confidence === "number" ? item.confidence : 0;
+        return confidence >= 0.9;
+    });
+    const domainHitCount = countDomainAnchorHits(`${filePath} ${verify?.rationale ?? ""}`, domainAnchors);
+    return fileConfidence >= 0.45 && (hasFilenameEvidence || hasExactSymbolEvidence || domainHitCount >= 2);
+}
+//# sourceMappingURL=readinessGateStep.js.map

package/dist/agents/readinessGateStep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"readinessGateStep.js","sourceRoot":"","sources":["../../src/agents/readinessGateStep.ts"],"names":[],"mappings":"AAAA,yCAAyC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAErE,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAC7D,OAAO,EAAE,qBAAqB,EAAE,oBAAoB,EAAE,MAAM,0BAA0B,CAAC;AAEvF,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC7B,IAAI,EAAE,eAAe;IACrB,WAAW,EAAE,+FAA+F;IAC5G,MAAM,EAAE,CAAC,UAAU,CAAC;IAEpB,QAAQ,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;IACjC,QAAQ,EAAE,CAAC,oBAAoB,CAAC;IAEhC,KAAK,CAAC,GAAG,CAAC,OAA0B;;QAChC,OAAO,CAAC,QAAQ,KAAhB,OAAO,CAAC,QAAQ,GAAK,EAAE,EAAC;QACxB,MAAA,OAAO,CAAC,QAAQ,EAAC,KAAK,QAAL,KAAK,GAAK,EAAE,aAAa,EAAE,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,EAAC;QACpF,MAAA,OAAO,CAAC,QAAQ,EAAC,YAAY,QAAZ,YAAY,GAAK,EAAE,EAAC;QACrC,MAAA,OAAO,CAAC,QAAQ,EAAC,SAAS,QAAT,SAAS,GAAK;YAC3B,QAAQ,EAAE,WAAW;YACrB,MAAM,EAAE,uBAAuB;YAC/B,UAAU,EAAE,CAAC;YACb,SAAS,EAAE,EAAE;SAChB,EAAC;QAEF,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC;QACrC,IAAI,eAAmC,CAAC;QACxC,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC;QAC3D,MAAM,eAAe,GAAG,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC;QACzD,MAAM,aAAa,GAAG,eAAe,EAAE,aAAa,CAAC;QACrD,MAAA,OAAO,CAAC,QAAQ,EAAC,cAAc,QAAd,cAAc,GAAK,EAAE,4BAA4B,EAAE,KAAK,EAAE,EAAC;QAE5E,wDAAwD;QACxD,MAAM,aAAa,GACf,eAAe,EAAE,iBAAiB,EAAE,MAAM;YACtC,CAAC,CAAC,eAAe,CAAC,iBAAiB;YACnC,CAAC,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;QACpC,MAAM,aAAa,GAAG,oBAAoB,CAAC,OAAO,CAAC,WAAW,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC;QACjF,MAAM,oBAAoB,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,EAAE,CACzD,wBAAwB,CAAC,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,CAC5E,CAAC;QAEF,0FAA0F;QAC1F,IACI,eAAe,EAAE,cAAc;YAC/B,aAAa,EAAE,OAAO;YACtB,aAAa,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAChC,CAAC;YACC,OAAO,CAAC,QAAQ,CAAC,SAAS,GAAG;gBACzB,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,qBAAqB;gBAC7B,UAAU,EAAE,IAAI;gBAChB,SAAS,EAAE,6BAA6B,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,0CAA0C;aACnH,CAAC;YACF,cAAc,CAAC,uBAAuB,EAAE,QAAQ,EAAE;gBAC9C,aAAa;gBACb,cAAc,EAAE,eAAe,CAAC,cAAc;gBAC9C,gBAAgB,EAAE,eAAe,CAAC,gBAAgB;aACrD,CAAC,CAAC;YACH,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YACpC,OAAO;QACX,CAAC;QAED,iDAAiD;QACjD,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,QAAQ,CAAC,SAAS,GAAG;gBACzB,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,uBAAuB;gBAC/B,UAAU,EAAE,IAAI;gBAChB,SAAS,EAAE,sCAAsC;aACpD,CAAC;YACF,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YACpC,OAAO;QACX,CAAC;QAED,+DAA+D;QAC/D,wEAAwE;QACxE,MAAM,oBAAoB,GAAG,aAAa,CAAC,MAAM,CAC7C,IAAI,CAAC,EAAE;YACH,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,MAAM,UAAU,GAAG,OAAO,MAAM,EAAE,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1F,OAAO,MAAM,EAAE,IAAI,KAAK,SAAS,IAAI,MAAM,EAAE,UAAU,KAAK,IAAI,IAAI,UAAU,IAAI,IAAI,CAAC;QAC3F,CAAC,CACJ,CAAC;QAEF,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAClC,IACI,CAAC,oBAAoB;gBACrB,CAAC,aAAa,EAAE,OAAO;gBACvB,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,4BAA4B,EAC/D,CAAC;gBACC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,4BAA4B,GAAG,IAAI,CAAC;gBACpE,OAAO,CAAC,QAAQ,CAAC,SAAS,GAAG;oBACzB,QAAQ,EAAE,WAAW;oBACrB,MAAM,EAAE,uBAAuB;oBAC/B,UAAU,EAAE,GAAG;oBACf,SAAS,EAAE,mGAAmG;iBACjH,CAAC;gBACF,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;gBACpC,OAAO;YACX,CAAC;YAED,OAAO,CAAC,QAAQ,CAAC,SAAS,GAAG;gBACzB,QAAQ,EAAE,OAAO;gBACjB,MAAM,EAAE,qBAAqB;gBAC7B,UAAU,EAAE,IAAI;gBAChB,SAAS,EAAE,oCAAoC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,mCAAmC;aACpH,CAAC;YACF,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;YACpC,OAAO;QACX,CAAC;QAED,mCAAmC;QACnC,MAAM,eAAe,GAAG,aAAa;aAChC,GAAG,CAAC,IAAI,CAAC,EAAE;YACR,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;YAClC,IAAI,CAAC,MAAM;gBAAE,OAAO,SAAS,IAAI,kCAAkC,CAAC;YAEpE,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,sBAAsB,CAAC;YAC9F,OAAO,SAAS,IAAI,WAAW,MAAM,CAAC,IAAI,IAAI,SAAS,cAAc,MAAM,EAAE,CAAC;QAClF,CAAC,CAAC;aACD,IAAI,CAAC,MAAM,CAAC,CAAC;QAGlB,MAAM,MAAM,GAAG;;;;EAIrB,OAAO,CAAC,WAAW,EAAE,SAAS;;;EAG9B,eAAe;;;;;;;;;;;;CAYhB,CAAC,IAAI,EAAE,CAAC;QAED,IAAI,CAAC;YACD,MAAM,QAAQ,GAAa,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,EAAE,SAAS,IAAI,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;YAC5F,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE;gBACvC,MAAM,EAAE,mBAAmB;gBAC3B,YAAY,EAAE;oBACV,SAAS,EAAE,OAAO,CAAC,WAAW,EAAE,SAAS,IAAI,EAAE;oBAC/C,aAAa;oBACb,cAAc,EAAE,KAAK,EAAE,cAAc,IAAI,EAAE;oBAC3C,eAAe;oBACf,aAAa;oBACb,oBAAoB;oBACpB,aAAa;iBAChB;aACJ,CAAC,CAAC;YACH,eAAe,GAAG,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC;YAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;YAShD,2BAA2B;YAC3B,MAAM,OAAO,GAAG,MAAM,aAAa,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,WAAW,EAAE,SAAS,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;YAEvG,MAAM,MAAM,GAAG,OAAO,CAAC,IAA8C,CAAC;YACtE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAgC;gBAC5D,OAAO;gBACP,WAAW;aACd,CAAC,CAAC;YACH,MAAM,cAAc,GAAG,IAAI,GAAG,CAA8B;gBACxD,qBAAqB;gBACrB,uBAAuB;gBACvB,qBAAqB;gBACrB,gBAAgB;aACnB,CAAC,CAAC;YACH,MAAM,aAAa,GACf,MAAM;gBACF,OAAO,MAAM,KAAK,QAAQ;gBAC1B,MAAM,CAAC,QAAQ,KAAK,SAAS;gBAC7B,MAAM,CAAC,UAAU,KAAK,SAAS;gBAC/B,MAAM,CAAC,SAAS,KAAK,SAAS;gBAC9B,MAAM,CAAC,MAAM,KAAK,SAAS;gBAC3B,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC;gBACrC,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC;gBACjC,CAAC,CAAC;oBACE,QAAQ,EAAE,MAAM,CAAC,QAAQ;oBACzB,MAAM,EAAE,MAAM,CAAC,MAAM;oBACrB,UAAU,EAAE,MAAM,CAAC,UAAU;oBAC7B,SAAS,EAAE,MAAM,CAAC,SAAS;iBAC9B;gBACD,CAAC,CAAC;oBACE,QAAQ,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW;oBAC1D,MAAM,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,uBAAuB;oBAClF,UAAU,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG;oBAChD,SAAS,EAAE,aAAa,CAAC,MAAM,GAAG,CAAC;wBAC/B,CAAC,CAAC,oEAAoE;wBACtE,CAAC,CAAC,qDAAqD;iBAC9D,CAAC;YAEV,4CAA4C;YAC5C,MAAM,iBAAiB,GAAG;gBACtB,mBAAmB,aAAa,CAAC,MAAM,oBAAoB;gBAC3D,aAAa,CAAC,SAAS;aAC1B;iBACI,MAAM,CAAC,OAAO,CAAC;iBACf,IAAI,CAAC,GAAG,CAAC,CAAC;YAEf,OAAO,CAAC,QAAQ,CAAC,SAAS,GAAG;gBACzB,QAAQ,EAAE,aAAa,CAAC,QAAQ;gBAChC,MAAM,EAAE,aAAa,CAAC,MAAM;gBAC5B,UAAU,EAAE,aAAa,CAAC,UAAU;gBACpC,SAAS,EAAE,iBAAiB;aAC/B,CAAC;YAEF,IACI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO;gBAC/C,CAAC,oBAAoB;gBACrB,CAAC,aAAa,EAAE,OAAO;gBACvB,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,4BAA4B,EAC/D,CAAC;gBACC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC,4BAA4B,GAAG,IAAI,CAAC;gBACpE,OAAO,CAAC,QAAQ,CAAC,SAAS,GAAG;oBACzB,QAAQ,EAAE,WAAW;oBACrB,MAAM,EAAE,uBAAuB;oBAC/B,UAAU,EAAE,GAAG;oBACf,SAAS,EAAE,yFAAyF;iBACvG,CAAC;YACN,CAAC;YAED,oDAAoD;YACpD,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,EAAE,WAAW,EAAE,QAAQ,IAAI,KAAK,CAAC;YAC1E,IAAI,QAAQ,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,QAAQ,KAAK,OAAO,EAAE,CAAC;gBAC9D,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;oBAC/B,MAAA,OAAO,CAAC,QAAQ,CAAC,YAAY,EAAC,IAAI,SAAJ,IAAI,IAAM,EAAE,MAAM,EAAE,EAAS,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,EAAE,KAAK,EAAE,EAAC;oBAC3G,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;wBAC9C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,EAAS,CAAC;oBAC3D,CAAC;oBACD,IAAI,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;wBAC7C,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,YAAY,GAAG,IAAI,CAAC;oBACnE,CAAC;gBACL,CAAC;YACL,CAAC;YAED,SAAS,CAAC,OAAO,EAAE,eAAe,CAAC,CAAC;QACxC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,OAAO,CAAC,IAAI,CAAC,8BAA8B,EAAE,GAAG,CAAC,CAAC;YAClD,OAAO,CAAC,QAAQ,CAAC,SAAS,GAAG;gBACzB,QAAQ,EAAE,WAAW;gBACrB,MAAM,EAAE,gBAAgB;gBACxB,UAAU,EAAE,GAAG;gBACf,SAAS,EAAE,6CAA6C;aAC3D,CAAC;QACN,CAAC;IACL,CAAC;CACJ,CAAC;AAEF,2CAA2C;AAC3C,SAAS,SAAS,CAAC,OAA0B,EAAE,MAAe;IAC1D,cAAc,CAAC,mBAAmB,EAAE,QAAQ,EAAE;QAC1C,MAAM;QACN,SAAS,EAAE,OAAO,CAAC,QAAQ,EAAE,SAAS;KACzC,CAAC,CAAC;AACP,CAAC;AAED,SAAS,wBAAwB,CAC7B,QAAgB,EAChB,MAAmC,EACnC,aAAuB;IAEvB,MAAM,QAAQ,GAAG,MAAM,EAAE,QAAQ,IAAI,EAAE,CAAC;IACxC,MAAM,cAAc,GAAG,OAAO,MAAM,EAAE,cAAc,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9F,MAAM,mBAAmB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAC/C,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,UAAU,GAAG,OAAO,IAAI,EAAE,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACtD,OAAO,UAAU,IAAI,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,8BAA8B,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IACH,MAAM,sBAAsB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QAClD,IAAI,IAAI,EAAE,IAAI,KAAK,QAAQ,IAAI,IAAI,EAAE,IAAI,KAAK,YAAY;YAAE,OAAO,KAAK,CAAC;QACzE,MAAM,UAAU,GAAG,OAAO,IAAI,EAAE,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,OAAO,UAAU,IAAI,GAAG,CAAC;IAC7B,CAAC,CAAC,CAAC;IACH,MAAM,cAAc,GAAG,qBAAqB,CACxC,GAAG,QAAQ,IAAI,MAAM,EAAE,SAAS,IAAI,EAAE,EAAE,EACxC,aAAa,CAChB,CAAC;IAEF,OAAO,cAAc,IAAI,IAAI,IAAI,CAAC,mBAAmB,IAAI,sBAAsB,IAAI,cAAc,IAAI,CAAC,CAAC,CAAC;AAC5G,CAAC","sourcesContent":["// File: src/modules/readinessGateStep.ts\nimport { generate } from '../lib/generate.js';\nimport { cleanupModule } from '../pipeline/modules/cleanupModule.js';\nimport { ModuleIO, StructuredContext, VerifyFileState } from '../types.js';\nimport { logInputOutput } from '../utils/promptLogHelper.js';\nimport { countDomainAnchorHits, extractDomainAnchors } from '../utils/queryAnchors.js';\n\nexport const readinessGateStep = {\n    name: 'readinessGate',\n    description: 'Determines if there is sufficient evidence to safely proceed with analysis or transformation.',\n    groups: ['analysis'],\n\n    requires: ['userQuery', 'intent'],\n    produces: ['analysis.readiness'],\n\n    async run(context: StructuredContext): Promise<void> {\n        context.analysis ||= {};\n        context.analysis.focus ||= { selectedFiles: [], candidateFiles: [], rationale: '' };\n        context.analysis.fileAnalysis ||= {};\n        context.analysis.readiness ||= {\n            decision: 'not-ready',\n            reason: 'insufficient-evidence',\n            confidence: 0,\n            rationale: '',\n        };\n\n        const focus = context.analysis.focus;\n        let readinessCallId: string | undefined;\n        const verifyByFile = context.analysis.verify?.byFile ?? {};\n        const executionPolicy = context.analysis.executionPolicy;\n        const executionLock = executionPolicy?.executionLock;\n        context.analysis.readinessGuard ||= { weakAlignmentExpansionForced: false };\n\n        // ---------------- EVIDENCE COLLECTION ----------------\n        const selectedFiles =\n            executionPolicy?.executionRequired?.length\n                ? executionPolicy.executionRequired\n                : focus.selectedFiles ?? [];\n        const domainAnchors = extractDomainAnchors(context.initContext?.userQuery ?? \"\");\n        const hasHighQualityAnchor = selectedFiles.some((filePath) =>\n            fileHasHighQualityAnchor(filePath, verifyByFile[filePath], domainAnchors)\n        );\n\n        // Resolver-based lock override: execution lane is ready even if exploration lane is weak.\n        if (\n            executionPolicy?.executionReady &&\n            executionLock?.enabled &&\n            executionLock.files.length > 0\n        ) {\n            context.analysis.readiness = {\n                decision: \"ready\",\n                reason: \"sufficient-evidence\",\n                confidence: 0.97,\n                rationale: `Execution lock active for ${executionLock.files.join(\", \")}; readiness accepted for execution lane.`,\n            };\n            logInputOutput(\"readinessLockOverride\", \"output\", {\n                executionLock,\n                executionReady: executionPolicy.executionReady,\n                explorationReady: executionPolicy.explorationReady,\n            });\n            logOutput(context, readinessCallId);\n            return;\n        }\n\n        // Deterministic short-circuit: no selected files\n        if (selectedFiles.length === 0) {\n            context.analysis.readiness = {\n                decision: 'not-ready',\n                reason: 'insufficient-evidence',\n                confidence: 0.95,\n                rationale: 'No files were selected for analysis.',\n            };\n            logOutput(context, readinessCallId);\n            return;\n        }\n\n        // ---------------- SUMMARIZE EVIDENCE FOR LLM ----------------\n        // Deterministic shortcut: if any primary relevant files exist, skip LLM\n        const primaryRelevantFiles = selectedFiles.filter(\n            path => {\n                const verify = verifyByFile[path];\n                const confidence = typeof verify?.fileConfidence === \"number\" ? verify.fileConfidence : 0;\n                return verify?.role === 'primary' && verify?.isRelevant === true && confidence >= 0.45;\n            }\n        );\n\n        if (primaryRelevantFiles.length > 0) {\n            if (\n                !hasHighQualityAnchor &&\n                !executionLock?.enabled &&\n                !context.analysis.readinessGuard.weakAlignmentExpansionForced\n            ) {\n                context.analysis.readinessGuard.weakAlignmentExpansionForced = true;\n                context.analysis.readiness = {\n                    decision: 'not-ready',\n                    reason: 'insufficient-evidence',\n                    confidence: 0.7,\n                    rationale: 'Selected files are weakly aligned to domain anchors; forcing one expansion wave before readiness.',\n                };\n                logOutput(context, readinessCallId);\n                return;\n            }\n\n            context.analysis.readiness = {\n                decision: 'ready',\n                reason: 'sufficient-evidence',\n                confidence: 0.95,\n                rationale: `Primary relevant files detected: ${primaryRelevantFiles.join(', ')}. Sufficient evidence to proceed.`,\n            };\n            logOutput(context, readinessCallId);\n            return;\n        }\n\n        // Otherwise, build summary for LLM\n        const evidenceSummary = selectedFiles\n            .map(path => {\n                const verify = verifyByFile[path];\n                if (!verify) return `File: ${path}\\n(No verify evidence available)`;\n\n                const claims = verify.evidence?.map(e => `- ${e.claim}`).join('\\n') ?? '(no explicit claims)';\n                return `File: ${path}\\nRole: ${verify.role ?? 'unknown'}\\nClaims:\\n${claims}`;\n            })\n            .join('\\n\\n');\n\n\n        const prompt = `\nYou are a focused evidence assessor. Do NOT invent new facts. Only reason about the evidence given.\n\nUser query:\n${context.initContext?.userQuery}\n\nEvidence from analyzed files:\n${evidenceSummary}\n\nInstruction:\n- Decide whether there is sufficient evidence to proceed safely with analysis or transformation.\n- Return a JSON object EXACTLY in this format:\n\n{\n  \"decision\": \"ready\" | \"not-ready\",\n  \"reason\": \"sufficient-evidence\" | \"insufficient-evidence\" | \"query-repo-mismatch\" | \"internal-error\",\n  \"confidence\": 0.0-1.0,\n  \"rationale\": \"Concise explanation based only on the evidence provided.\"\n}\n`.trim();\n\n        try {\n            const genInput: ModuleIO = { query: context.initContext?.userQuery ?? '', content: prompt };\n            const genOutput = await generate(genInput, {\n                caller: \"readinessGateStep\",\n                inputContext: {\n                    userQuery: context.initContext?.userQuery ?? '',\n                    selectedFiles,\n                    candidateFiles: focus?.candidateFiles ?? [],\n                    evidenceSummary,\n                    domainAnchors,\n                    hasHighQualityAnchor,\n                    executionLock,\n                },\n            });\n            readinessCallId = genOutput.trace?.callId;\n            const raw = String(genOutput.data ?? '').trim();\n\n            interface ReadinessDecision {\n                decision: 'ready' | 'not-ready';\n                reason: 'sufficient-evidence' | 'insufficient-evidence' | 'query-repo-mismatch' | 'internal-error';\n                confidence: number;\n                rationale: string;\n            }\n\n            // parse with cleanupModule\n            const cleaned = await cleanupModule.run({ query: context.initContext?.userQuery ?? '', content: raw });\n\n            const parsed = cleaned.data as Partial<ReadinessDecision> | undefined;\n            const allowedDecisions = new Set<ReadinessDecision['decision']>([\n                'ready',\n                'not-ready',\n            ]);\n            const allowedReasons = new Set<ReadinessDecision['reason']>([\n                'sufficient-evidence',\n                'insufficient-evidence',\n                'query-repo-mismatch',\n                'internal-error',\n            ]);\n            const modelDecision: ReadinessDecision =\n                parsed &&\n                    typeof parsed === 'object' &&\n                    parsed.decision !== undefined &&\n                    parsed.confidence !== undefined &&\n                    parsed.rationale !== undefined &&\n                    parsed.reason !== undefined &&\n                    allowedDecisions.has(parsed.decision) &&\n                    allowedReasons.has(parsed.reason)\n                    ? {\n                        decision: parsed.decision,\n                        reason: parsed.reason,\n                        confidence: parsed.confidence,\n                        rationale: parsed.rationale,\n                    }\n                    : {\n                        decision: selectedFiles.length > 0 ? 'ready' : 'not-ready',\n                        reason: selectedFiles.length > 0 ? 'sufficient-evidence' : 'insufficient-evidence',\n                        confidence: selectedFiles.length > 0 ? 0.5 : 0.2,\n                        rationale: selectedFiles.length > 0\n                            ? 'LLM output invalid; defaulting to ready based on existing evidence'\n                            : 'Failed to parse model output; no evidence available',\n                    };\n\n            // Merge deterministic info with LLM summary\n            const combinedRationale = [\n                `Evidence-based: ${selectedFiles.length} selected file(s).`,\n                modelDecision.rationale,\n            ]\n                .filter(Boolean)\n                .join(' ');\n\n            context.analysis.readiness = {\n                decision: modelDecision.decision,\n                reason: modelDecision.reason,\n                confidence: modelDecision.confidence,\n                rationale: combinedRationale,\n            };\n\n            if (\n                context.analysis.readiness.decision === 'ready' &&\n                !hasHighQualityAnchor &&\n                !executionLock?.enabled &&\n                !context.analysis.readinessGuard.weakAlignmentExpansionForced\n            ) {\n                context.analysis.readinessGuard.weakAlignmentExpansionForced = true;\n                context.analysis.readiness = {\n                    decision: 'not-ready',\n                    reason: 'insufficient-evidence',\n                    confidence: 0.7,\n                    rationale: 'Ready decision blocked due to weak domain-anchor alignment; forcing one expansion wave.',\n                };\n            }\n\n            // ---------------- DOCS-ONLY FILES ----------------\n            const docsOnly = context.executionControl?.constraints?.docsOnly ?? false;\n            if (docsOnly && context.analysis.readiness.decision === 'ready') {\n                for (const path of selectedFiles) {\n                    context.analysis.fileAnalysis[path] ||= { action: {} as any, intent: 'relevant', semanticAnalyzed: false };\n                    if (!context.analysis.fileAnalysis[path].action) {\n                        context.analysis.fileAnalysis[path].action = {} as any;\n                    }\n                    if (context.analysis.fileAnalysis[path].action) {\n                        context.analysis.fileAnalysis[path].action.shouldModify = true;\n                    }\n                }\n            }\n\n            logOutput(context, readinessCallId);\n        } catch (err) {\n            console.warn('⚠️ readinessGateStep failed:', err);\n            context.analysis.readiness = {\n                decision: 'not-ready',\n                reason: 'internal-error',\n                confidence: 0.2,\n                rationale: 'Internal error while determining readiness.',\n            };\n        }\n    },\n};\n\n// ---------------- HELPER ----------------\nfunction logOutput(context: StructuredContext, callId?: string) {\n    logInputOutput('readinessGateStep', 'output', {\n        callId,\n        readiness: context.analysis?.readiness\n    });\n}\n\nfunction fileHasHighQualityAnchor(\n    filePath: string,\n    verify: VerifyFileState | undefined,\n    domainAnchors: string[]\n): boolean {\n    const evidence = verify?.evidence ?? [];\n    const fileConfidence = typeof verify?.fileConfidence === \"number\" ? verify.fileConfidence : 0;\n    const hasFilenameEvidence = evidence.some((item) => {\n        if (item?.type !== \"filename\") return false;\n        const confidence = typeof item?.confidence === \"number\" ? item.confidence : 0;\n        const claim = String(item?.claim ?? \"\").toLowerCase();\n        return confidence >= 0.95 && claim.includes(\"exactly matches query target\");\n    });\n    const hasExactSymbolEvidence = evidence.some((item) => {\n        if (item?.type !== \"symbol\" && item?.type !== \"structural\") return false;\n        const confidence = typeof item?.confidence === \"number\" ? item.confidence : 0;\n        return confidence >= 0.9;\n    });\n    const domainHitCount = countDomainAnchorHits(\n        `${filePath} ${verify?.rationale ?? \"\"}`,\n        domainAnchors\n    );\n\n    return fileConfidence >= 0.45 && (hasFilenameEvidence || hasExactSymbolEvidence || domainHitCount >= 2);\n}\n"]}

package/dist/agents/reasonNextStep.js

@@ -2,10 +2,10 @@ import { logInputOutput } from "../utils/promptLogHelper.js";
 /**
  * REASON NEXT STEP
  *
- * Only reasons about the current taskStep:
+ * Only reasons about the current durable Step:
  * - Is it validated / complete?
  * - Does it require redo?
- * - Updates taskStep.status and stores reasoning in taskStep.result
+ * - Updates step.status and stores reasoning in step.result
  */
 export const reasonNextStep = {
     name: "reasonNextStep",
@@ -34,7 +34,7 @@ export const reasonNextStep = {
         if (isAnalyzeOnly && semanticAnalyzed) {
             taskStep.status = "completed";
             stepReasoning.nextAction = "complete";
-            stepReasoning.rationale = `TaskStep ${taskStep.filePath} completed in analysis mode (semantic analysis available).`;
+            stepReasoning.rationale = `Step ${taskStep.filePath} completed in analysis mode (semantic analysis available).`;
             stepReasoning.confidence = 0.98;
         }
         // ✅ Analyze-only fallback for files that do not emit semanticAnalyzed reliably.
@@ -42,29 +42,29 @@ export const reasonNextStep = {
             taskStep.status = "completed";
             stepReasoning.nextAction = "complete";
             stepReasoning.rationale = isLikelyNonSource
-                ? `TaskStep ${taskStep.filePath} completed in analysis mode (non-source file; bounded single-pass analysis).`
-                : `TaskStep ${taskStep.filePath} completed after ${analysisAttempts} analysis attempt(s) without semantic marker.`;
+                ? `Step ${taskStep.filePath} completed in analysis mode (non-source file; bounded single-pass analysis).`
+                : `Step ${taskStep.filePath} completed after ${analysisAttempts} analysis attempt(s) without semantic marker.`;
             stepReasoning.confidence = 0.85;
         }
         // ✅ Completed by validation
         else if (currentValidation?.status === "valid" && !currentValidation.requiresRedo) {
             taskStep.status = "completed";
             stepReasoning.nextAction = "complete";
-            stepReasoning.rationale = `TaskStep ${taskStep.filePath} validated successfully.`;
+            stepReasoning.rationale = `Step ${taskStep.filePath} validated successfully.`;
             stepReasoning.confidence = 0.99;
         }
         // 🔁 Requires redo
         else if (currentValidation?.requiresRedo) {
             taskStep.status = "pending"; // keep pending until redo runs
             stepReasoning.nextAction = "redo-step";
-            stepReasoning.rationale = `TaskStep ${taskStep.filePath} requires redo due to failed validation.`;
+            stepReasoning.rationale = `Step ${taskStep.filePath} requires redo due to failed validation.`;
             stepReasoning.confidence = 0.7;
         }
         // ⚠️ Not yet validated / in-progress
         else {
             taskStep.status = "pending";
             stepReasoning.nextAction = "continue";
-            stepReasoning.rationale = `TaskStep ${taskStep.filePath} not yet validated or transformed.`;
+            stepReasoning.rationale = `Step ${taskStep.filePath} not yet validated or transformed.`;
             stepReasoning.confidence = 0.5;
         }
         // Store reasoning in taskStep.result for later inspection
@@ -76,3 +76,4 @@ export const reasonNextStep = {
         });
     },
 };
+//# sourceMappingURL=reasonNextStep.js.map

package/dist/agents/reasonNextStep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasonNextStep.js","sourceRoot":"","sources":["../../src/agents/reasonNextStep.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAC;AAE7D;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC1B,IAAI,EAAE,gBAAgB;IACtB,WAAW,EAAE,yDAAyD;IAEtE,KAAK,CAAC,GAAG,CAAC,OAA0B,EAAE,QAAc;QAChD,OAAO,CAAC,SAAS,KAAjB,OAAO,CAAC,SAAS,GAAK,EAAE,EAAC;QAEzB,MAAM,aAAa,GAAG,OAAO,CAAC,gBAAgB,EAAE,WAAW,EAAE,eAAe,KAAK,KAAK,CAAC;QACvF,MAAM,YAAY,GAAG,OAAO,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QACzE,MAAM,gBAAgB,GAAG,YAAY,EAAE,gBAAgB,KAAK,IAAI,CAAC;QACjE,MAAM,iBAAiB,GACnB,mCAAmC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEhE,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,EAAE,gBAAgB,EAAE,WAAW,IAAI,EAAE,CAAC;QAC1E,MAAM,iBAAiB,GAAG,WAAW,CAAC,IAAI,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ,CAC1C,CAAC;QAEF,QAAQ,CAAC,MAAM,KAAf,QAAQ,CAAC,MAAM,GAAK,EAAE,EAAC;QACvB,MAAM,qBAAqB,GACvB,OAAO,QAAQ,CAAC,MAAM,CAAC,gBAAgB,KAAK,QAAQ;YAChD,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,gBAAgB;YAClC,CAAC,CAAC,CAAC,CAAC;QACZ,MAAM,gBAAgB,GAAG,aAAa,CAAC,CAAC,CAAC,qBAAqB,GAAG,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC;QAC3F,QAAQ,CAAC,MAAM,CAAC,gBAAgB,GAAG,gBAAgB,CAAC;QAEpD,yCAAyC;QACzC,MAAM,aAAa,GAAG;YAClB,UAAU,EAAE,UAAmD;YAC/D,SAAS,EAAE,EAAE;YACb,UAAU,EAAE,GAAG;SAClB,CAAC;QAEF,wFAAwF;QACxF,IAAI,aAAa,IAAI,gBAAgB,EAAE,CAAC;YACpC,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;YAC9B,aAAa,CAAC,UAAU,GAAG,UAAU,CAAC;YACtC,aAAa,CAAC,SAAS,GAAG,QAAQ,QAAQ,CAAC,QAAQ,4DAA4D,CAAC;YAChH,aAAa,CAAC,UAAU,GAAG,IAAI,CAAC;QACpC,CAAC;QACD,gFAAgF;aAC3E,IAAI,aAAa,IAAI,CAAC,iBAAiB,IAAI,gBAAgB,IAAI,CAAC,CAAC,EAAE,CAAC;YACrE,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;YAC9B,aAAa,CAAC,UAAU,GAAG,UAAU,CAAC;YACtC,aAAa,CAAC,SAAS,GAAG,iBAAiB;gBACvC,CAAC,CAAC,QAAQ,QAAQ,CAAC,QAAQ,8EAA8E;gBACzG,CAAC,CAAC,QAAQ,QAAQ,CAAC,QAAQ,oBAAoB,gBAAgB,+CAA+C,CAAC;YACnH,aAAa,CAAC,UAAU,GAAG,IAAI,CAAC;QACpC,CAAC;QACD,4BAA4B;aACvB,IAAI,iBAAiB,EAAE,MAAM,KAAK,OAAO,IAAI,CAAC,iBAAiB,CAAC,YAAY,EAAE,CAAC;YAChF,QAAQ,CAAC,MAAM,GAAG,WAAW,CAAC;YAC9B,aAAa,CAAC,UAAU,GAAG,UAAU,CAAC;YACtC,aAAa,CAAC,SAAS,GAAG,QAAQ,QAAQ,CAAC,QAAQ,0BAA0B,CAAC;YAC9E,aAAa,CAAC,UAAU,GAAG,IAAI,CAAC;QACpC,CAAC;QACD,mBAAmB;aACd,IAAI,iBAAiB,EAAE,YAAY,EAAE,CAAC;YACvC,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC,+BAA+B;YAC5D,aAAa,CAAC,UAAU,GAAG,WAAW,CAAC;YACvC,aAAa,CAAC,SAAS,GAAG,QAAQ,QAAQ,CAAC,QAAQ,0CAA0C,CAAC;YAC9F,aAAa,CAAC,UAAU,GAAG,GAAG,CAAC;QACnC,CAAC;QACD,qCAAqC;aAChC,CAAC;YACF,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC;YAC5B,aAAa,CAAC,UAAU,GAAG,UAAU,CAAC;YACtC,aAAa,CAAC,SAAS,GAAG,QAAQ,QAAQ,CAAC,QAAQ,oCAAoC,CAAC;YACxF,aAAa,CAAC,UAAU,GAAG,GAAG,CAAC;QACnC,CAAC;QAED,0DAA0D;QAC1D,QAAQ,CAAC,MAAM,CAAC,aAAa,GAAG,aAAa,CAAC;QAE9C,cAAc,CAAC,gBAAgB,EAAE,QAAQ,EAAE;YACvC,QAAQ;YACR,UAAU,EAAE,iBAAiB;YAC7B,aAAa;SAChB,CAAC,CAAC;IACP,CAAC;CACJ,CAAC","sourcesContent":["// File: src/agents/reasonNextStep.ts\nimport type { StructuredContext, Step } from \"../types.js\";\nimport { logInputOutput } from \"../utils/promptLogHelper.js\";\n\n/**\n * REASON NEXT STEP\n *\n * Only reasons about the current durable Step:\n * - Is it validated / complete?\n * - Does it require redo?\n * - Updates step.status and stores reasoning in step.result\n */\nexport const reasonNextStep = {\n    name: \"reasonNextStep\",\n    description: \"Determines completion status for the current task step.\",\n\n    async run(context: StructuredContext, taskStep: Step): Promise<void> {\n        context.execution ||= {};\n\n        const isAnalyzeOnly = context.executionControl?.constraints?.allowFileWrites === false;\n        const fileAnalysis = context.analysis?.fileAnalysis?.[taskStep.filePath];\n        const semanticAnalyzed = fileAnalysis?.semanticAnalyzed === true;\n        const isLikelyNonSource =\n            /\\.(json|md|txt|ya?ml|toml|lock)$/i.test(taskStep.filePath);\n\n        const validations = context.analysis?.executionOutcome?.validations ?? [];\n        const currentValidation = validations.find(\n            (v) => v.filePath === taskStep.filePath\n        );\n\n        taskStep.result ||= {};\n        const priorAnalysisAttempts =\n            typeof taskStep.result.analysisAttempts === \"number\"\n                ? taskStep.result.analysisAttempts\n                : 0;\n        const analysisAttempts = isAnalyzeOnly ? priorAnalysisAttempts + 1 : priorAnalysisAttempts;\n        taskStep.result.analysisAttempts = analysisAttempts;\n\n        // Default reasoning object for this step\n        const stepReasoning = {\n            nextAction: \"continue\" as \"continue\" | \"redo-step\" | \"complete\",\n            rationale: \"\",\n            confidence: 0.5,\n        };\n\n        // ✅ Analyze-only workflows complete once semantic analysis exists for the current file.\n        if (isAnalyzeOnly && semanticAnalyzed) {\n            taskStep.status = \"completed\";\n            stepReasoning.nextAction = \"complete\";\n            stepReasoning.rationale = `Step ${taskStep.filePath} completed in analysis mode (semantic analysis available).`;\n            stepReasoning.confidence = 0.98;\n        }\n        // ✅ Analyze-only fallback for files that do not emit semanticAnalyzed reliably.\n        else if (isAnalyzeOnly && (isLikelyNonSource || analysisAttempts >= 2)) {\n            taskStep.status = \"completed\";\n            stepReasoning.nextAction = \"complete\";\n            stepReasoning.rationale = isLikelyNonSource\n                ? `Step ${taskStep.filePath} completed in analysis mode (non-source file; bounded single-pass analysis).`\n                : `Step ${taskStep.filePath} completed after ${analysisAttempts} analysis attempt(s) without semantic marker.`;\n            stepReasoning.confidence = 0.85;\n        }\n        // ✅ Completed by validation\n        else if (currentValidation?.status === \"valid\" && !currentValidation.requiresRedo) {\n            taskStep.status = \"completed\";\n            stepReasoning.nextAction = \"complete\";\n            stepReasoning.rationale = `Step ${taskStep.filePath} validated successfully.`;\n            stepReasoning.confidence = 0.99;\n        }\n        // 🔁 Requires redo\n        else if (currentValidation?.requiresRedo) {\n            taskStep.status = \"pending\"; // keep pending until redo runs\n            stepReasoning.nextAction = \"redo-step\";\n            stepReasoning.rationale = `Step ${taskStep.filePath} requires redo due to failed validation.`;\n            stepReasoning.confidence = 0.7;\n        }\n        // ⚠️ Not yet validated / in-progress\n        else {\n            taskStep.status = \"pending\";\n            stepReasoning.nextAction = \"continue\";\n            stepReasoning.rationale = `Step ${taskStep.filePath} not yet validated or transformed.`;\n            stepReasoning.confidence = 0.5;\n        }\n\n        // Store reasoning in taskStep.result for later inspection\n        taskStep.result.stepReasoning = stepReasoning;\n\n        logInputOutput(\"reasonNextStep\", \"output\", {\n            taskStep,\n            validation: currentValidation,\n            stepReasoning,\n        });\n    },\n};\n"]}