@hoilab/ada-cli 0.84.21 → 0.84.22

package/dist/core/workflows/goal-engine/errors.js

@@ -0,0 +1,9 @@
+export class GoalError extends Error {
+    code;
+    constructor(message, code) {
+        super(message);
+        this.name = "GoalError";
+        this.code = code;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/core/workflows/goal-engine/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/errors.ts"],"names":[],"mappings":"AAUA,MAAM,OAAO,SAAU,SAAQ,KAAK;IAC1B,IAAI,CAAgB;IAC7B,YAAY,OAAe,EAAE,IAAmB,EAAE;QACjD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;QACxB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IAAA,CACjB;CACD","sourcesContent":["/** Errores tipados del Goal Engine. */\nexport type GoalErrorCode =\n\t| \"GOAL_NOT_FOUND\"\n\t| \"GOAL_INVALID_CONTRACT\"\n\t| \"GOAL_NO_JUDGE\"\n\t| \"GOAL_NO_EVIDENCE\"\n\t| \"GOAL_BRAKE\"\n\t| \"GOAL_PERSISTENCE\"\n\t| \"REPLAN_UNAVAILABLE\";\n\nexport class GoalError extends Error {\n\treadonly code: GoalErrorCode;\n\tconstructor(message: string, code: GoalErrorCode) {\n\t\tsuper(message);\n\t\tthis.name = \"GoalError\";\n\t\tthis.code = code;\n\t}\n}\n"]}

package/dist/core/workflows/goal-engine/index.d.ts

@@ -0,0 +1,13 @@
+/** Ada Intelligence Engine — Goal Engine (Fase 4). */
+export type { GoalEngineOptions } from "./engine.ts";
+export { GoalEngine, isBrakeRelevant } from "./engine.ts";
+export type { GoalErrorCode } from "./errors.ts";
+export { GoalError } from "./errors.ts";
+export { FileGoalPersistence, renderChecklist, writeAtomic } from "./persistence.ts";
+export type { ReduceResult } from "./state.ts";
+export { createGoalState, nextPhase, reduceGoal, TDD_PHASES } from "./state.ts";
+export type { GoalToolContext } from "./tools.ts";
+export { createGoalNewTool, goalSessionTools, goalTools, resolveActiveGoalId } from "./tools.ts";
+export type { AskUserQuestion, EvidenceItem, GoalAction, GoalEventMap, GoalEventType, GoalFrenos, GoalJudgeFn, GoalPersistence, GoalPhase, GoalState, GoalStatus, GoalWorkFn, GoalWorkInput, GoalWorkResult, JudgeResult, JudgeVerdict, Task, TaskStatus, } from "./types.ts";
+export { DEFAULT_GOAL_FRENOS } from "./types.ts";
+//# sourceMappingURL=index.d.ts.map

package/dist/core/workflows/goal-engine/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/index.ts"],"names":[],"mappings":"AAAA,wDAAsD;AAEtD,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AACrD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC1D,YAAY,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACrF,YAAY,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAChF,YAAY,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AACjG,YAAY,EACX,eAAe,EACf,YAAY,EACZ,UAAU,EACV,YAAY,EACZ,aAAa,EACb,UAAU,EACV,WAAW,EACX,eAAe,EACf,SAAS,EACT,SAAS,EACT,UAAU,EACV,UAAU,EACV,aAAa,EACb,cAAc,EACd,WAAW,EACX,YAAY,EACZ,IAAI,EACJ,UAAU,GACV,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC","sourcesContent":["/** Ada Intelligence Engine — Goal Engine (Fase 4). */\n\nexport type { GoalEngineOptions } from \"./engine.ts\";\nexport { GoalEngine, isBrakeRelevant } from \"./engine.ts\";\nexport type { GoalErrorCode } from \"./errors.ts\";\nexport { GoalError } from \"./errors.ts\";\nexport { FileGoalPersistence, renderChecklist, writeAtomic } from \"./persistence.ts\";\nexport type { ReduceResult } from \"./state.ts\";\nexport { createGoalState, nextPhase, reduceGoal, TDD_PHASES } from \"./state.ts\";\nexport type { GoalToolContext } from \"./tools.ts\";\nexport { createGoalNewTool, goalSessionTools, goalTools, resolveActiveGoalId } from \"./tools.ts\";\nexport type {\n\tAskUserQuestion,\n\tEvidenceItem,\n\tGoalAction,\n\tGoalEventMap,\n\tGoalEventType,\n\tGoalFrenos,\n\tGoalJudgeFn,\n\tGoalPersistence,\n\tGoalPhase,\n\tGoalState,\n\tGoalStatus,\n\tGoalWorkFn,\n\tGoalWorkInput,\n\tGoalWorkResult,\n\tJudgeResult,\n\tJudgeVerdict,\n\tTask,\n\tTaskStatus,\n} from \"./types.ts\";\nexport { DEFAULT_GOAL_FRENOS } from \"./types.ts\";\n"]}

package/dist/core/workflows/goal-engine/index.js

@@ -0,0 +1,8 @@
+/** Ada Intelligence Engine — Goal Engine (Fase 4). */
+export { GoalEngine, isBrakeRelevant } from "./engine.js";
+export { GoalError } from "./errors.js";
+export { FileGoalPersistence, renderChecklist, writeAtomic } from "./persistence.js";
+export { createGoalState, nextPhase, reduceGoal, TDD_PHASES } from "./state.js";
+export { createGoalNewTool, goalSessionTools, goalTools, resolveActiveGoalId } from "./tools.js";
+export { DEFAULT_GOAL_FRENOS } from "./types.js";
+//# sourceMappingURL=index.js.map

package/dist/core/workflows/goal-engine/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/index.ts"],"names":[],"mappings":"AAAA,wDAAsD;AAGtD,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE1D,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,EAAE,mBAAmB,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAErF,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAEhF,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,SAAS,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAqBjG,OAAO,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC","sourcesContent":["/** Ada Intelligence Engine — Goal Engine (Fase 4). */\n\nexport type { GoalEngineOptions } from \"./engine.ts\";\nexport { GoalEngine, isBrakeRelevant } from \"./engine.ts\";\nexport type { GoalErrorCode } from \"./errors.ts\";\nexport { GoalError } from \"./errors.ts\";\nexport { FileGoalPersistence, renderChecklist, writeAtomic } from \"./persistence.ts\";\nexport type { ReduceResult } from \"./state.ts\";\nexport { createGoalState, nextPhase, reduceGoal, TDD_PHASES } from \"./state.ts\";\nexport type { GoalToolContext } from \"./tools.ts\";\nexport { createGoalNewTool, goalSessionTools, goalTools, resolveActiveGoalId } from \"./tools.ts\";\nexport type {\n\tAskUserQuestion,\n\tEvidenceItem,\n\tGoalAction,\n\tGoalEventMap,\n\tGoalEventType,\n\tGoalFrenos,\n\tGoalJudgeFn,\n\tGoalPersistence,\n\tGoalPhase,\n\tGoalState,\n\tGoalStatus,\n\tGoalWorkFn,\n\tGoalWorkInput,\n\tGoalWorkResult,\n\tJudgeResult,\n\tJudgeVerdict,\n\tTask,\n\tTaskStatus,\n} from \"./types.ts\";\nexport { DEFAULT_GOAL_FRENOS } from \"./types.ts\";\n"]}

package/dist/core/workflows/goal-engine/persistence.d.ts

@@ -0,0 +1,31 @@
+/**
+ * Ada Intelligence Engine — persistencia del Goal Engine.
+ *
+ * Checklist persistente en `<dir>/goals/<id>.md` (ralph-wiggum + rpiv-todo)
+ * + snapshot JSON versionado en `<dir>/goals/<id>.json`. Sobrevive a /reload,
+ * compactación y resume. Escrituras atómicas (tmp + rename).
+ */
+import type { GoalPersistence, GoalState } from "./types.ts";
+export declare class FileGoalPersistence implements GoalPersistence {
+    private dir;
+    constructor(dir: string);
+    save(state: GoalState): Promise<void>;
+    load(id: string): Promise<GoalState | null>;
+    list(): Promise<Array<{
+        id: string;
+        goal: string;
+        status: GoalState["status"];
+        phase: GoalState["phase"];
+        updatedAt: string;
+    }>>;
+    remove(id: string): Promise<void>;
+    /** cache opcional para quitar del listado. */
+    private cache?;
+    setCache(cache: Map<string, GoalState>): void;
+    private path;
+}
+/** Checklist en markdown — visible y editable por el usuario. */
+export declare function renderChecklist(state: GoalState): string;
+/** Escritura atómica (tmp + rename). */
+export declare function writeAtomic(path: string, content: string): void;
+//# sourceMappingURL=persistence.d.ts.map

package/dist/core/workflows/goal-engine/persistence.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"persistence.d.ts","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/persistence.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAI7D,qBAAa,mBAAoB,YAAW,eAAe;IAC1D,OAAO,CAAC,GAAG,CAAS;IAEpB,YAAY,GAAG,EAAE,MAAM,EAGtB;IAEK,IAAI,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAS1C;IAEK,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,GAAG,IAAI,CAAC,CAQhD;IAEK,IAAI,IAAI,OAAO,CACpB,KAAK,CAAC;QAAE,EAAE,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;QAAC,KAAK,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAC9G,CA4BA;IAEK,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAYtC;IAED,8CAA8C;IAC9C,OAAO,CAAC,KAAK,CAAC,CAAyB;IACvC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAE5C;IAED,OAAO,CAAC,IAAI;CAGZ;AAED,mEAAiE;AACjE,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,GAAG,MAAM,CAmDxD;AAED,yCAAwC;AACxC,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAI/D","sourcesContent":["/**\n * Ada Intelligence Engine — persistencia del Goal Engine.\n *\n * Checklist persistente en `<dir>/goals/<id>.md` (ralph-wiggum + rpiv-todo)\n * + snapshot JSON versionado en `<dir>/goals/<id>.json`. Sobrevive a /reload,\n * compactación y resume. Escrituras atómicas (tmp + rename).\n */\n\nimport { mkdirSync, readFileSync, renameSync, rmSync, writeFileSync } from \"node:fs\";\nimport { join } from \"node:path\";\nimport type { GoalPersistence, GoalState } from \"./types.ts\";\n\nconst GOAL_STATE_VERSION = 1;\n\nexport class FileGoalPersistence implements GoalPersistence {\n\tprivate dir: string;\n\n\tconstructor(dir: string) {\n\t\tthis.dir = dir;\n\t\tmkdirSync(this.dir, { recursive: true });\n\t}\n\n\tasync save(state: GoalState): Promise<void> {\n\t\tconst snapshot = { version: GOAL_STATE_VERSION, state };\n\t\tconst json = JSON.stringify(snapshot, null, 2);\n\t\tconst md = renderChecklist(state);\n\n\t\tconst jsonPath = this.path(`${state.id}.json`);\n\t\tconst mdPath = this.path(`${state.id}.md`);\n\t\twriteAtomic(jsonPath, json);\n\t\twriteAtomic(mdPath, md);\n\t}\n\n\tasync load(id: string): Promise<GoalState | null> {\n\t\ttry {\n\t\t\tconst raw = readFileSync(this.path(`${id}.json`), \"utf8\");\n\t\t\tconst parsed = JSON.parse(raw) as { version?: number; state: GoalState };\n\t\t\treturn parsed.state;\n\t\t} catch {\n\t\t\treturn null;\n\t\t}\n\t}\n\n\tasync list(): Promise<\n\t\tArray<{ id: string; goal: string; status: GoalState[\"status\"]; phase: GoalState[\"phase\"]; updatedAt: string }>\n\t> {\n\t\tconst { readdirSync } = await import(\"node:fs\");\n\t\ttry {\n\t\t\tconst files = readdirSync(this.dir).filter((f) => f.endsWith(\".json\"));\n\t\t\tconst out: Array<{\n\t\t\t\tid: string;\n\t\t\t\tgoal: string;\n\t\t\t\tstatus: GoalState[\"status\"];\n\t\t\t\tphase: GoalState[\"phase\"];\n\t\t\t\tupdatedAt: string;\n\t\t\t}> = [];\n\t\t\tfor (const f of files) {\n\t\t\t\tconst state = await this.load(f.replace(/\\.json$/, \"\"));\n\t\t\t\tif (state) {\n\t\t\t\t\tout.push({\n\t\t\t\t\t\tid: state.id,\n\t\t\t\t\t\tgoal: state.goal,\n\t\t\t\t\t\tstatus: state.status,\n\t\t\t\t\t\tphase: state.phase,\n\t\t\t\t\t\tupdatedAt: state.updatedAt,\n\t\t\t\t\t});\n\t\t\t\t}\n\t\t\t}\n\t\t\tout.sort((a, b) => b.updatedAt.localeCompare(a.updatedAt));\n\t\t\treturn out;\n\t\t} catch {\n\t\t\treturn [];\n\t\t}\n\t}\n\n\tasync remove(id: string): Promise<void> {\n\t\ttry {\n\t\t\trmSync(this.path(`${id}.json`), { force: true });\n\t\t} catch {\n\t\t\t// best-effort\n\t\t}\n\t\ttry {\n\t\t\trmSync(this.path(`${id}.md`), { force: true });\n\t\t} catch {\n\t\t\t// best-effort\n\t\t}\n\t\tthis.cache?.delete(id);\n\t}\n\n\t/** cache opcional para quitar del listado. */\n\tprivate cache?: Map<string, GoalState>;\n\tsetCache(cache: Map<string, GoalState>): void {\n\t\tthis.cache = cache;\n\t}\n\n\tprivate path(name: string): string {\n\t\treturn join(this.dir, name);\n\t}\n}\n\n/** Checklist en markdown — visible y editable por el usuario. */\nexport function renderChecklist(state: GoalState): string {\n\tconst lines: string[] = [];\n\tlines.push(`# Goal: ${state.goal}`);\n\tlines.push(\"\");\n\tlines.push(`- **id**: \\`${state.id}\\``);\n\tlines.push(`- **estado**: ${state.status}`);\n\tlines.push(`- **fase**: ${state.phase}`);\n\tlines.push(`- **turnos**: ${state.turnsUsed}`);\n\tlines.push(`- **creado**: ${state.createdAt}`);\n\tlines.push(\"\");\n\tlines.push(`## Contrato (pi-until-done)`);\n\tlines.push(\"\");\n\tlines.push(`**Hecho cuando:**`);\n\tstate.doneCriteria.forEach((c) => {\n\t\tlines.push(`- [ ] ${c}`);\n\t});\n\tlines.push(\"\");\n\tlines.push(`**Verificar con:** \\`${state.verifyCommand}\\``);\n\tlines.push(\"\");\n\tlines.push(\"## Tareas\");\n\tlines.push(\"\");\n\tif (state.tasks.length === 0) {\n\t\tlines.push(\"_sin plan todavía_\");\n\t} else {\n\t\tfor (const t of state.tasks) {\n\t\t\tconst mark = t.status === \"done\" ? \"x\" : t.status === \"active\" ? \"~\" : \" \";\n\t\t\tlines.push(`- [${mark}] ${t.title}${t.detail ? ` — ${t.detail}` : \"\"}`);\n\t\t}\n\t}\n\tlines.push(\"\");\n\tlines.push(\"## Evidencia\");\n\tlines.push(\"\");\n\tif (state.evidence.length === 0) {\n\t\tlines.push(\"_sin evidencia citada_\");\n\t} else {\n\t\tfor (const e of state.evidence) {\n\t\t\tlines.push(`- **${e.claim}** — ${e.source} (citado por ${e.citedBy})`);\n\t\t}\n\t}\n\tlines.push(\"\");\n\tif (state.judge.lastVerdict) {\n\t\tlines.push(`## Juez: ${state.judge.lastVerdict} — ${state.judge.lastReason ?? \"\"} (${state.judge.model})`);\n\t\tlines.push(\"\");\n\t}\n\tif (state.waiting) {\n\t\tlines.push(`## Esperando: ${state.waiting.reason}`);\n\t\tlines.push(\"\");\n\t}\n\tlines.push(\"---\");\n\tlines.push(`_Actualizado: ${state.updatedAt}_`);\n\treturn lines.join(\"\\n\");\n}\n\n/** Escritura atómica (tmp + rename). */\nexport function writeAtomic(path: string, content: string): void {\n\tconst tmp = `${path}.tmp`;\n\twriteFileSync(tmp, content, \"utf8\");\n\trenameSync(tmp, path);\n}\n"]}

package/dist/core/workflows/goal-engine/persistence.js

@@ -0,0 +1,145 @@
+/**
+ * Ada Intelligence Engine — persistencia del Goal Engine.
+ *
+ * Checklist persistente en `<dir>/goals/<id>.md` (ralph-wiggum + rpiv-todo)
+ * + snapshot JSON versionado en `<dir>/goals/<id>.json`. Sobrevive a /reload,
+ * compactación y resume. Escrituras atómicas (tmp + rename).
+ */
+import { mkdirSync, readFileSync, renameSync, rmSync, writeFileSync } from "node:fs";
+import { join } from "node:path";
+const GOAL_STATE_VERSION = 1;
+export class FileGoalPersistence {
+    dir;
+    constructor(dir) {
+        this.dir = dir;
+        mkdirSync(this.dir, { recursive: true });
+    }
+    async save(state) {
+        const snapshot = { version: GOAL_STATE_VERSION, state };
+        const json = JSON.stringify(snapshot, null, 2);
+        const md = renderChecklist(state);
+        const jsonPath = this.path(`${state.id}.json`);
+        const mdPath = this.path(`${state.id}.md`);
+        writeAtomic(jsonPath, json);
+        writeAtomic(mdPath, md);
+    }
+    async load(id) {
+        try {
+            const raw = readFileSync(this.path(`${id}.json`), "utf8");
+            const parsed = JSON.parse(raw);
+            return parsed.state;
+        }
+        catch {
+            return null;
+        }
+    }
+    async list() {
+        const { readdirSync } = await import("node:fs");
+        try {
+            const files = readdirSync(this.dir).filter((f) => f.endsWith(".json"));
+            const out = [];
+            for (const f of files) {
+                const state = await this.load(f.replace(/\.json$/, ""));
+                if (state) {
+                    out.push({
+                        id: state.id,
+                        goal: state.goal,
+                        status: state.status,
+                        phase: state.phase,
+                        updatedAt: state.updatedAt,
+                    });
+                }
+            }
+            out.sort((a, b) => b.updatedAt.localeCompare(a.updatedAt));
+            return out;
+        }
+        catch {
+            return [];
+        }
+    }
+    async remove(id) {
+        try {
+            rmSync(this.path(`${id}.json`), { force: true });
+        }
+        catch {
+            // best-effort
+        }
+        try {
+            rmSync(this.path(`${id}.md`), { force: true });
+        }
+        catch {
+            // best-effort
+        }
+        this.cache?.delete(id);
+    }
+    /** cache opcional para quitar del listado. */
+    cache;
+    setCache(cache) {
+        this.cache = cache;
+    }
+    path(name) {
+        return join(this.dir, name);
+    }
+}
+/** Checklist en markdown — visible y editable por el usuario. */
+export function renderChecklist(state) {
+    const lines = [];
+    lines.push(`# Goal: ${state.goal}`);
+    lines.push("");
+    lines.push(`- **id**: \`${state.id}\``);
+    lines.push(`- **estado**: ${state.status}`);
+    lines.push(`- **fase**: ${state.phase}`);
+    lines.push(`- **turnos**: ${state.turnsUsed}`);
+    lines.push(`- **creado**: ${state.createdAt}`);
+    lines.push("");
+    lines.push(`## Contrato (pi-until-done)`);
+    lines.push("");
+    lines.push(`**Hecho cuando:**`);
+    state.doneCriteria.forEach((c) => {
+        lines.push(`- [ ] ${c}`);
+    });
+    lines.push("");
+    lines.push(`**Verificar con:** \`${state.verifyCommand}\``);
+    lines.push("");
+    lines.push("## Tareas");
+    lines.push("");
+    if (state.tasks.length === 0) {
+        lines.push("_sin plan todavía_");
+    }
+    else {
+        for (const t of state.tasks) {
+            const mark = t.status === "done" ? "x" : t.status === "active" ? "~" : " ";
+            lines.push(`- [${mark}] ${t.title}${t.detail ? ` — ${t.detail}` : ""}`);
+        }
+    }
+    lines.push("");
+    lines.push("## Evidencia");
+    lines.push("");
+    if (state.evidence.length === 0) {
+        lines.push("_sin evidencia citada_");
+    }
+    else {
+        for (const e of state.evidence) {
+            lines.push(`- **${e.claim}** — ${e.source} (citado por ${e.citedBy})`);
+        }
+    }
+    lines.push("");
+    if (state.judge.lastVerdict) {
+        lines.push(`## Juez: ${state.judge.lastVerdict} — ${state.judge.lastReason ?? ""} (${state.judge.model})`);
+        lines.push("");
+    }
+    if (state.waiting) {
+        lines.push(`## Esperando: ${state.waiting.reason}`);
+        lines.push("");
+    }
+    lines.push("---");
+    lines.push(`_Actualizado: ${state.updatedAt}_`);
+    return lines.join("\n");
+}
+/** Escritura atómica (tmp + rename). */
+export function writeAtomic(path, content) {
+    const tmp = `${path}.tmp`;
+    writeFileSync(tmp, content, "utf8");
+    renameSync(tmp, path);
+}
+//# sourceMappingURL=persistence.js.map

package/dist/core/workflows/goal-engine/persistence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"persistence.js","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/persistence.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACrF,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjC,MAAM,kBAAkB,GAAG,CAAC,CAAC;AAE7B,MAAM,OAAO,mBAAmB;IACvB,GAAG,CAAS;IAEpB,YAAY,GAAW,EAAE;QACxB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;QACf,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAAA,CACzC;IAED,KAAK,CAAC,IAAI,CAAC,KAAgB,EAAiB;QAC3C,MAAM,QAAQ,GAAG,EAAE,OAAO,EAAE,kBAAkB,EAAE,KAAK,EAAE,CAAC;QACxD,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QAElC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,OAAO,CAAC,CAAC;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QAC3C,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAC5B,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IAAA,CACxB;IAED,KAAK,CAAC,IAAI,CAAC,EAAU,EAA6B;QACjD,IAAI,CAAC;YACJ,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;YAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAA2C,CAAC;YACzE,OAAO,MAAM,CAAC,KAAK,CAAC;QACrB,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,IAAI,CAAC;QACb,CAAC;IAAA,CACD;IAED,KAAK,CAAC,IAAI,GAER;QACD,MAAM,EAAE,WAAW,EAAE,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC;YACJ,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;YACvE,MAAM,GAAG,GAMJ,EAAE,CAAC;YACR,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC;gBACxD,IAAI,KAAK,EAAE,CAAC;oBACX,GAAG,CAAC,IAAI,CAAC;wBACR,EAAE,EAAE,KAAK,CAAC,EAAE;wBACZ,IAAI,EAAE,KAAK,CAAC,IAAI;wBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;wBACpB,KAAK,EAAE,KAAK,CAAC,KAAK;wBAClB,SAAS,EAAE,KAAK,CAAC,SAAS;qBAC1B,CAAC,CAAC;gBACJ,CAAC;YACF,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;YAC3D,OAAO,GAAG,CAAC;QACZ,CAAC;QAAC,MAAM,CAAC;YACR,OAAO,EAAE,CAAC;QACX,CAAC;IAAA,CACD;IAED,KAAK,CAAC,MAAM,CAAC,EAAU,EAAiB;QACvC,IAAI,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC;QAAC,MAAM,CAAC;YACR,cAAc;QACf,CAAC;QACD,IAAI,CAAC;YACJ,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACR,cAAc;QACf,CAAC;QACD,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC;IAAA,CACvB;IAED,8CAA8C;IACtC,KAAK,CAA0B;IACvC,QAAQ,CAAC,KAA6B,EAAQ;QAC7C,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IAAA,CACnB;IAEO,IAAI,CAAC,IAAY,EAAU;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAAA,CAC5B;CACD;AAED,mEAAiE;AACjE,MAAM,UAAU,eAAe,CAAC,KAAgB,EAAU;IACzD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACpC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5C,KAAK,CAAC,IAAI,CAAC,eAAe,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;IAC/C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;IAAA,CACzB,CAAC,CAAC;IACH,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,wBAAwB,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,qBAAoB,CAAC,CAAC;IAClC,CAAC;SAAM,CAAC;QACP,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YAC3E,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzE,CAAC;IACF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACtC,CAAC;SAAM,CAAC;QACP,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAChC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,UAAQ,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC;QACxE,CAAC;IACF,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,KAAK,CAAC,WAAW,QAAM,KAAK,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,KAAK,KAAK,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;QAC3G,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,KAAK,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;IAChD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACxB;AAED,yCAAwC;AACxC,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,OAAe,EAAQ;IAChE,MAAM,GAAG,GAAG,GAAG,IAAI,MAAM,CAAC;IAC1B,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IACpC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;AAAA,CACtB","sourcesContent":["/**\n * Ada Intelligence Engine — persistencia del Goal Engine.\n *\n * Checklist persistente en `<dir>/goals/<id>.md` (ralph-wiggum + rpiv-todo)\n * + snapshot JSON versionado en `<dir>/goals/<id>.json`. Sobrevive a /reload,\n * compactación y resume. Escrituras atómicas (tmp + rename).\n */\n\nimport { mkdirSync, readFileSync, renameSync, rmSync, writeFileSync } from \"node:fs\";\nimport { join } from \"node:path\";\nimport type { GoalPersistence, GoalState } from \"./types.ts\";\n\nconst GOAL_STATE_VERSION = 1;\n\nexport class FileGoalPersistence implements GoalPersistence {\n\tprivate dir: string;\n\n\tconstructor(dir: string) {\n\t\tthis.dir = dir;\n\t\tmkdirSync(this.dir, { recursive: true });\n\t}\n\n\tasync save(state: GoalState): Promise<void> {\n\t\tconst snapshot = { version: GOAL_STATE_VERSION, state };\n\t\tconst json = JSON.stringify(snapshot, null, 2);\n\t\tconst md = renderChecklist(state);\n\n\t\tconst jsonPath = this.path(`${state.id}.json`);\n\t\tconst mdPath = this.path(`${state.id}.md`);\n\t\twriteAtomic(jsonPath, json);\n\t\twriteAtomic(mdPath, md);\n\t}\n\n\tasync load(id: string): Promise<GoalState | null> {\n\t\ttry {\n\t\t\tconst raw = readFileSync(this.path(`${id}.json`), \"utf8\");\n\t\t\tconst parsed = JSON.parse(raw) as { version?: number; state: GoalState };\n\t\t\treturn parsed.state;\n\t\t} catch {\n\t\t\treturn null;\n\t\t}\n\t}\n\n\tasync list(): Promise<\n\t\tArray<{ id: string; goal: string; status: GoalState[\"status\"]; phase: GoalState[\"phase\"]; updatedAt: string }>\n\t> {\n\t\tconst { readdirSync } = await import(\"node:fs\");\n\t\ttry {\n\t\t\tconst files = readdirSync(this.dir).filter((f) => f.endsWith(\".json\"));\n\t\t\tconst out: Array<{\n\t\t\t\tid: string;\n\t\t\t\tgoal: string;\n\t\t\t\tstatus: GoalState[\"status\"];\n\t\t\t\tphase: GoalState[\"phase\"];\n\t\t\t\tupdatedAt: string;\n\t\t\t}> = [];\n\t\t\tfor (const f of files) {\n\t\t\t\tconst state = await this.load(f.replace(/\\.json$/, \"\"));\n\t\t\t\tif (state) {\n\t\t\t\t\tout.push({\n\t\t\t\t\t\tid: state.id,\n\t\t\t\t\t\tgoal: state.goal,\n\t\t\t\t\t\tstatus: state.status,\n\t\t\t\t\t\tphase: state.phase,\n\t\t\t\t\t\tupdatedAt: state.updatedAt,\n\t\t\t\t\t});\n\t\t\t\t}\n\t\t\t}\n\t\t\tout.sort((a, b) => b.updatedAt.localeCompare(a.updatedAt));\n\t\t\treturn out;\n\t\t} catch {\n\t\t\treturn [];\n\t\t}\n\t}\n\n\tasync remove(id: string): Promise<void> {\n\t\ttry {\n\t\t\trmSync(this.path(`${id}.json`), { force: true });\n\t\t} catch {\n\t\t\t// best-effort\n\t\t}\n\t\ttry {\n\t\t\trmSync(this.path(`${id}.md`), { force: true });\n\t\t} catch {\n\t\t\t// best-effort\n\t\t}\n\t\tthis.cache?.delete(id);\n\t}\n\n\t/** cache opcional para quitar del listado. */\n\tprivate cache?: Map<string, GoalState>;\n\tsetCache(cache: Map<string, GoalState>): void {\n\t\tthis.cache = cache;\n\t}\n\n\tprivate path(name: string): string {\n\t\treturn join(this.dir, name);\n\t}\n}\n\n/** Checklist en markdown — visible y editable por el usuario. */\nexport function renderChecklist(state: GoalState): string {\n\tconst lines: string[] = [];\n\tlines.push(`# Goal: ${state.goal}`);\n\tlines.push(\"\");\n\tlines.push(`- **id**: \\`${state.id}\\``);\n\tlines.push(`- **estado**: ${state.status}`);\n\tlines.push(`- **fase**: ${state.phase}`);\n\tlines.push(`- **turnos**: ${state.turnsUsed}`);\n\tlines.push(`- **creado**: ${state.createdAt}`);\n\tlines.push(\"\");\n\tlines.push(`## Contrato (pi-until-done)`);\n\tlines.push(\"\");\n\tlines.push(`**Hecho cuando:**`);\n\tstate.doneCriteria.forEach((c) => {\n\t\tlines.push(`- [ ] ${c}`);\n\t});\n\tlines.push(\"\");\n\tlines.push(`**Verificar con:** \\`${state.verifyCommand}\\``);\n\tlines.push(\"\");\n\tlines.push(\"## Tareas\");\n\tlines.push(\"\");\n\tif (state.tasks.length === 0) {\n\t\tlines.push(\"_sin plan todavía_\");\n\t} else {\n\t\tfor (const t of state.tasks) {\n\t\t\tconst mark = t.status === \"done\" ? \"x\" : t.status === \"active\" ? \"~\" : \" \";\n\t\t\tlines.push(`- [${mark}] ${t.title}${t.detail ? ` — ${t.detail}` : \"\"}`);\n\t\t}\n\t}\n\tlines.push(\"\");\n\tlines.push(\"## Evidencia\");\n\tlines.push(\"\");\n\tif (state.evidence.length === 0) {\n\t\tlines.push(\"_sin evidencia citada_\");\n\t} else {\n\t\tfor (const e of state.evidence) {\n\t\t\tlines.push(`- **${e.claim}** — ${e.source} (citado por ${e.citedBy})`);\n\t\t}\n\t}\n\tlines.push(\"\");\n\tif (state.judge.lastVerdict) {\n\t\tlines.push(`## Juez: ${state.judge.lastVerdict} — ${state.judge.lastReason ?? \"\"} (${state.judge.model})`);\n\t\tlines.push(\"\");\n\t}\n\tif (state.waiting) {\n\t\tlines.push(`## Esperando: ${state.waiting.reason}`);\n\t\tlines.push(\"\");\n\t}\n\tlines.push(\"---\");\n\tlines.push(`_Actualizado: ${state.updatedAt}_`);\n\treturn lines.join(\"\\n\");\n}\n\n/** Escritura atómica (tmp + rename). */\nexport function writeAtomic(path: string, content: string): void {\n\tconst tmp = `${path}.tmp`;\n\twriteFileSync(tmp, content, \"utf8\");\n\trenameSync(tmp, path);\n}\n"]}

package/dist/core/workflows/goal-engine/prompts.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Ada Intelligence Engine — prompts del Goal Engine.
+ *
+ * buildGoalWorkPrompt: el agente que trabaja en una fase TDD concreta.
+ * buildGoalJudgePrompt: el JUEZ (cross-model recomendado) — revisa SOLO
+ * goal + criteria + evidencia citada → {verdict: done|continue, reason}.
+ * Sin herramientas: no puede tocar archivos ni afirmar nada que no esté
+ * citado en la evidencia (pi-until-done: "criteria LITERALLY satisfied").
+ */
+import type { GoalWorkInput } from "./types.ts";
+export declare function buildGoalWorkPrompt(input: GoalWorkInput): string;
+export interface JudgePromptInput {
+    goal: string;
+    doneCriteria: string[];
+    verifyCommand: string;
+    evidence: Array<{
+        claim: string;
+        source: string;
+        citedBy: string;
+    }>;
+    phase: string;
+}
+export declare function buildGoalJudgePrompt(input: JudgePromptInput): string;
+export type { GoalJudgeFn, GoalReplanFn } from "./types.ts";
+/** Prompt de re-planificación (P1): nuevo plan completo tras continue. */
+export declare function buildGoalReplanPrompt(input: {
+    goal: string;
+    doneCriteria: string[];
+    verifyCommand: string;
+    evidence: {
+        claim: string;
+        source: string;
+    }[];
+    currentTasks: string[];
+    lastReason?: string;
+}): string;
+//# sourceMappingURL=prompts.d.ts.map

package/dist/core/workflows/goal-engine/prompts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.d.ts","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/prompts.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,aAAa,GAAG,MAAM,CAyChE;AAqBD,MAAM,WAAW,gBAAgB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,KAAK,CAAC;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACpE,KAAK,EAAE,MAAM,CAAC;CACd;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CA6BpE;AAGD,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE5D,2EAA0E;AAC1E,wBAAgB,qBAAqB,CAAC,KAAK,EAAE;IAC5C,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9C,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,UAAU,CAAC,EAAE,MAAM,CAAC;CACpB,GAAG,MAAM,CAmCT","sourcesContent":["/**\n * Ada Intelligence Engine — prompts del Goal Engine.\n *\n * buildGoalWorkPrompt: el agente que trabaja en una fase TDD concreta.\n * buildGoalJudgePrompt: el JUEZ (cross-model recomendado) — revisa SOLO\n * goal + criteria + evidencia citada → {verdict: done|continue, reason}.\n * Sin herramientas: no puede tocar archivos ni afirmar nada que no esté\n * citado en la evidencia (pi-until-done: \"criteria LITERALLY satisfied\").\n */\n\nimport type { GoalWorkInput } from \"./types.ts\";\n\nexport function buildGoalWorkPrompt(input: GoalWorkInput): string {\n\tconst tasks = input.tasks\n\t\t.map(\n\t\t\t(t) =>\n\t\t\t\t`- [${t.status === \"done\" ? \"x\" : t.status === \"active\" ? \"~\" : \" \"}] ${t.title}${t.detail ? ` — ${t.detail}` : \"\"}`,\n\t\t)\n\t\t.join(\"\\n\");\n\tconst evidence =\n\t\tinput.evidence.map((e) => `- ${e.claim} — ${e.source} (citado por ${e.citedBy})`).join(\"\\n\") ||\n\t\t\"_sin evidencia todavía_\";\n\n\treturn [\n\t\t`Estás trabajando en un goal dentro del Ada Intelligence Engine.`,\n\t\t``,\n\t\t`## Goal (verbatim)`,\n\t\tinput.goal,\n\t\t``,\n\t\t`## Fase actual (orden TDD fijo — no puedes saltarte fases)`,\n\t\tinput.phase,\n\t\t``,\n\t\t`## Contrato — Hecho cuando:`,\n\t\tinput.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join(\"\\n\"),\n\t\t``,\n\t\t`## Verificación (comando re-ejecutable)`,\n\t\t`\\`${input.verifyCommand}\\``,\n\t\t``,\n\t\t`## Checklist`,\n\t\ttasks || \"_sin plan todavía_\",\n\t\t``,\n\t\t`## Evidencia citada hasta ahora`,\n\t\tevidence,\n\t\t``,\n\t\t`## Tu tarea en esta fase`,\n\t\tfaseInstruction(input.phase),\n\t\t``,\n\t\t`Turno ${input.turn}/${input.maxTurns}. Trabaja de forma incremental:`,\n\t\t`- Ejecuta los comandos reales (npx, npm, git) para verificar lo que haces.`,\n\t\t`- Cita evidencia con archivo:línea exacta o URL cuando afirmes algo.`,\n\t\t`- No marques nada como hecho sin verificarlo.`,\n\t\t`- Termina con un resumen de 1-3 frases de lo que hiciste en ESTE turno (no del goal completo).`,\n\t].join(\"\\n\");\n}\n\nfunction faseInstruction(phase: string): string {\n\tswitch (phase) {\n\t\tcase \"analysis\":\n\t\t\treturn \"Analiza el estado actual: lee los archivos relevantes, identifica lo que hay que hacer y propón el plan de tareas. No edites todavía.\";\n\t\tcase \"bootstrap\":\n\t\t\treturn \"Prepara el andamiaje: configuración inicial, estructura, dependencias. No escribas tests que fallan ni implementación todavía.\";\n\t\tcase \"red\":\n\t\t\treturn \"Escribe UN test que falle (RED) para el comportamiento más importante del contrato. Ejecútalo y confirma que falla por la razón correcta.\";\n\t\tcase \"green\":\n\t\t\treturn \"Implementa el mínimo necesario para que el test pase (GREEN). Ejecuta el test y confirma que pasa.\";\n\t\tcase \"refactor\":\n\t\t\treturn \"Refactoriza sin cambiar comportamiento: todos los tests deben seguir pasando. Elimina duplicación.\";\n\t\tcase \"verify\":\n\t\t\treturn \"Verificación final: ejecuta el comando de verificación del contrato y todos los tests. Reúne la evidencia para el juez.\";\n\t\tdefault:\n\t\t\treturn \"Continúa el trabajo según el contrato.\";\n\t}\n}\n\nexport interface JudgePromptInput {\n\tgoal: string;\n\tdoneCriteria: string[];\n\tverifyCommand: string;\n\tevidence: Array<{ claim: string; source: string; citedBy: string }>;\n\tphase: string;\n}\n\nexport function buildGoalJudgePrompt(input: JudgePromptInput): string {\n\tconst criteria = input.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join(\"\\n\");\n\tconst evidence =\n\t\tinput.evidence.map((e) => `- ${e.claim} — ${e.source} (citado por ${e.citedBy})`).join(\"\\n\") ||\n\t\t\"_NO HAY EVIDENCIA_\";\n\treturn [\n\t\t`Eres el JUEZ de un goal. Tu única tarea: decidir si el goal está COMPLETO.`,\n\t\t``,\n\t\t`## Goal`,\n\t\tinput.goal,\n\t\t``,\n\t\t`## Criterios de hechura (deben cumplirse LITERALMENTE)`,\n\t\tcriteria,\n\t\t``,\n\t\t`## Comando de verificación`,\n\t\t`\\`${input.verifyCommand}\\``,\n\t\t``,\n\t\t`## Evidencia citada (la ÚNICA fuente de verdad — no puedes suponer nada)`,\n\t\tevidence,\n\t\t``,\n\t\t`## Reglas`,\n\t\t`1. Solo puedes evaluar lo que la evidencia demuestra. Un \"hecho\" sin cita archivo:línea o URL NO cuenta.`,\n\t\t`2. Rechaza señales proxy: decir \"se ha completado\" sin prueba no es suficiente.`,\n\t\t`3. Si TODOS los criterios están satisfechos con evidencia citada → verdict \"done\".`,\n\t\t`4. Si falta alguno o la evidencia no es concluyente → verdict \"continue\" y explica EXACTAMENTE qué falta.`,\n\t\t`5. Nunca des \"done\" por cortesía: los criterios se cumplen literalmente o no.`,\n\t\t``,\n\t\t`Responde SOLO con JSON: {\"verdict\": \"done\" | \"continue\", \"reason\": \"explicación concisa\"}`,\n\t].join(\"\\n\");\n}\n\n// Re-export para el wiring del resource-loader.\nexport type { GoalJudgeFn, GoalReplanFn } from \"./types.ts\";\n\n/** Prompt de re-planificación (P1): nuevo plan completo tras continue. */\nexport function buildGoalReplanPrompt(input: {\n\tgoal: string;\n\tdoneCriteria: string[];\n\tverifyCommand: string;\n\tevidence: { claim: string; source: string }[];\n\tcurrentTasks: string[];\n\tlastReason?: string;\n}): string {\n\tconst criteria = input.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join(\"\\n\");\n\tconst evidence = input.evidence.map((e) => `- ${e.claim} — ${e.source}`).join(\"\\n\") || \"_NO HAY EVIDENCIA_\";\n\tconst current = input.currentTasks.length\n\t\t? input.currentTasks.map((t, i) => `${i + 1}. ${t}`).join(\"\\n\")\n\t\t: \"_SIN PLAN_\";\n\treturn [\n\t\t`Eres el PLANIFICADOR de un goal. Debes generar un NUEVO plan de sub-tareas completo para lograr el goal, aprendiendo de la iteración anterior.`,\n\t\t``,\n\t\t`## Goal`,\n\t\tinput.goal,\n\t\t``,\n\t\t`## Criterios de hechura (contrato literal)`,\n\t\tcriteria,\n\t\t``,\n\t\t`## Comando de verificación`,\n\t\t`\\`${input.verifyCommand}\\``,\n\t\t``,\n\t\t`## Plan actual (que NO logró el goal)`,\n\t\tcurrent,\n\t\t``,\n\t\t`## Por qué falló según el juez`,\n\t\tinput.lastReason ?? \"_sin razón_\",\n\t\t``,\n\t\t`## Evidencia acumulada (lo que ya se sabe)`,\n\t\tevidence,\n\t\t``,\n\t\t`## Reglas`,\n\t\t`1. Genera un plan DIFERENTE al actual: ataca la causa raíz del fallo (ver por qué falló). No repitas las mismas sub-tareas con otros nombres.`,\n\t\t`2. Máximo 6 sub-tareas, cada una verificable e independiente en lo posible.`,\n\t\t`3. No pidas permisos ni aprobaciones inline: el plan se aprueba fuera.`,\n\t\t`4. Si el plan actual coincide con el nuevo, el juez no debería volver a fallar por lo mismo.`,\n\t\t``,\n\t\t`Responde SOLO con JSON: {\"tasks\": [{\"title\": \"sub-tarea 1\"}, ...], \"rationale\": \"por qué este plan nuevo sí logra el goal\"}`,\n\t].join(\"\\n\");\n}\n"]}

package/dist/core/workflows/goal-engine/prompts.js

@@ -0,0 +1,131 @@
+/**
+ * Ada Intelligence Engine — prompts del Goal Engine.
+ *
+ * buildGoalWorkPrompt: el agente que trabaja en una fase TDD concreta.
+ * buildGoalJudgePrompt: el JUEZ (cross-model recomendado) — revisa SOLO
+ * goal + criteria + evidencia citada → {verdict: done|continue, reason}.
+ * Sin herramientas: no puede tocar archivos ni afirmar nada que no esté
+ * citado en la evidencia (pi-until-done: "criteria LITERALLY satisfied").
+ */
+export function buildGoalWorkPrompt(input) {
+    const tasks = input.tasks
+        .map((t) => `- [${t.status === "done" ? "x" : t.status === "active" ? "~" : " "}] ${t.title}${t.detail ? ` — ${t.detail}` : ""}`)
+        .join("\n");
+    const evidence = input.evidence.map((e) => `- ${e.claim} — ${e.source} (citado por ${e.citedBy})`).join("\n") ||
+        "_sin evidencia todavía_";
+    return [
+        `Estás trabajando en un goal dentro del Ada Intelligence Engine.`,
+        ``,
+        `## Goal (verbatim)`,
+        input.goal,
+        ``,
+        `## Fase actual (orden TDD fijo — no puedes saltarte fases)`,
+        input.phase,
+        ``,
+        `## Contrato — Hecho cuando:`,
+        input.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join("\n"),
+        ``,
+        `## Verificación (comando re-ejecutable)`,
+        `\`${input.verifyCommand}\``,
+        ``,
+        `## Checklist`,
+        tasks || "_sin plan todavía_",
+        ``,
+        `## Evidencia citada hasta ahora`,
+        evidence,
+        ``,
+        `## Tu tarea en esta fase`,
+        faseInstruction(input.phase),
+        ``,
+        `Turno ${input.turn}/${input.maxTurns}. Trabaja de forma incremental:`,
+        `- Ejecuta los comandos reales (npx, npm, git) para verificar lo que haces.`,
+        `- Cita evidencia con archivo:línea exacta o URL cuando afirmes algo.`,
+        `- No marques nada como hecho sin verificarlo.`,
+        `- Termina con un resumen de 1-3 frases de lo que hiciste en ESTE turno (no del goal completo).`,
+    ].join("\n");
+}
+function faseInstruction(phase) {
+    switch (phase) {
+        case "analysis":
+            return "Analiza el estado actual: lee los archivos relevantes, identifica lo que hay que hacer y propón el plan de tareas. No edites todavía.";
+        case "bootstrap":
+            return "Prepara el andamiaje: configuración inicial, estructura, dependencias. No escribas tests que fallan ni implementación todavía.";
+        case "red":
+            return "Escribe UN test que falle (RED) para el comportamiento más importante del contrato. Ejecútalo y confirma que falla por la razón correcta.";
+        case "green":
+            return "Implementa el mínimo necesario para que el test pase (GREEN). Ejecuta el test y confirma que pasa.";
+        case "refactor":
+            return "Refactoriza sin cambiar comportamiento: todos los tests deben seguir pasando. Elimina duplicación.";
+        case "verify":
+            return "Verificación final: ejecuta el comando de verificación del contrato y todos los tests. Reúne la evidencia para el juez.";
+        default:
+            return "Continúa el trabajo según el contrato.";
+    }
+}
+export function buildGoalJudgePrompt(input) {
+    const criteria = input.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join("\n");
+    const evidence = input.evidence.map((e) => `- ${e.claim} — ${e.source} (citado por ${e.citedBy})`).join("\n") ||
+        "_NO HAY EVIDENCIA_";
+    return [
+        `Eres el JUEZ de un goal. Tu única tarea: decidir si el goal está COMPLETO.`,
+        ``,
+        `## Goal`,
+        input.goal,
+        ``,
+        `## Criterios de hechura (deben cumplirse LITERALMENTE)`,
+        criteria,
+        ``,
+        `## Comando de verificación`,
+        `\`${input.verifyCommand}\``,
+        ``,
+        `## Evidencia citada (la ÚNICA fuente de verdad — no puedes suponer nada)`,
+        evidence,
+        ``,
+        `## Reglas`,
+        `1. Solo puedes evaluar lo que la evidencia demuestra. Un "hecho" sin cita archivo:línea o URL NO cuenta.`,
+        `2. Rechaza señales proxy: decir "se ha completado" sin prueba no es suficiente.`,
+        `3. Si TODOS los criterios están satisfechos con evidencia citada → verdict "done".`,
+        `4. Si falta alguno o la evidencia no es concluyente → verdict "continue" y explica EXACTAMENTE qué falta.`,
+        `5. Nunca des "done" por cortesía: los criterios se cumplen literalmente o no.`,
+        ``,
+        `Responde SOLO con JSON: {"verdict": "done" | "continue", "reason": "explicación concisa"}`,
+    ].join("\n");
+}
+/** Prompt de re-planificación (P1): nuevo plan completo tras continue. */
+export function buildGoalReplanPrompt(input) {
+    const criteria = input.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join("\n");
+    const evidence = input.evidence.map((e) => `- ${e.claim} — ${e.source}`).join("\n") || "_NO HAY EVIDENCIA_";
+    const current = input.currentTasks.length
+        ? input.currentTasks.map((t, i) => `${i + 1}. ${t}`).join("\n")
+        : "_SIN PLAN_";
+    return [
+        `Eres el PLANIFICADOR de un goal. Debes generar un NUEVO plan de sub-tareas completo para lograr el goal, aprendiendo de la iteración anterior.`,
+        ``,
+        `## Goal`,
+        input.goal,
+        ``,
+        `## Criterios de hechura (contrato literal)`,
+        criteria,
+        ``,
+        `## Comando de verificación`,
+        `\`${input.verifyCommand}\``,
+        ``,
+        `## Plan actual (que NO logró el goal)`,
+        current,
+        ``,
+        `## Por qué falló según el juez`,
+        input.lastReason ?? "_sin razón_",
+        ``,
+        `## Evidencia acumulada (lo que ya se sabe)`,
+        evidence,
+        ``,
+        `## Reglas`,
+        `1. Genera un plan DIFERENTE al actual: ataca la causa raíz del fallo (ver por qué falló). No repitas las mismas sub-tareas con otros nombres.`,
+        `2. Máximo 6 sub-tareas, cada una verificable e independiente en lo posible.`,
+        `3. No pidas permisos ni aprobaciones inline: el plan se aprueba fuera.`,
+        `4. Si el plan actual coincide con el nuevo, el juez no debería volver a fallar por lo mismo.`,
+        ``,
+        `Responde SOLO con JSON: {"tasks": [{"title": "sub-tarea 1"}, ...], "rationale": "por qué este plan nuevo sí logra el goal"}`,
+    ].join("\n");
+}
+//# sourceMappingURL=prompts.js.map

package/dist/core/workflows/goal-engine/prompts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prompts.js","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/prompts.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAIH,MAAM,UAAU,mBAAmB,CAAC,KAAoB,EAAU;IACjE,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK;SACvB,GAAG,CACH,CAAC,CAAC,EAAE,EAAE,CACL,MAAM,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CACrH;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,QAAQ,GACb,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,QAAM,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5F,0BAAyB,CAAC;IAE3B,OAAO;QACN,kEAAiE;QACjE,EAAE;QACF,oBAAoB;QACpB,KAAK,CAAC,IAAI;QACV,EAAE;QACF,8DAA4D;QAC5D,KAAK,CAAC,KAAK;QACX,EAAE;QACF,+BAA6B;QAC7B,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC7D,EAAE;QACF,0CAAyC;QACzC,KAAK,KAAK,CAAC,aAAa,IAAI;QAC5B,EAAE;QACF,cAAc;QACd,KAAK,IAAI,qBAAoB;QAC7B,EAAE;QACF,iCAAiC;QACjC,QAAQ;QACR,EAAE;QACF,0BAA0B;QAC1B,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC;QAC5B,EAAE;QACF,SAAS,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,iCAAiC;QACtE,4EAA4E;QAC5E,uEAAsE;QACtE,+CAA+C;QAC/C,gGAAgG;KAChG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACb;AAED,SAAS,eAAe,CAAC,KAAa,EAAU;IAC/C,QAAQ,KAAK,EAAE,CAAC;QACf,KAAK,UAAU;YACd,OAAO,yIAAuI,CAAC;QAChJ,KAAK,WAAW;YACf,OAAO,mIAAgI,CAAC;QACzI,KAAK,KAAK;YACT,OAAO,8IAA2I,CAAC;QACpJ,KAAK,OAAO;YACX,OAAO,qGAAoG,CAAC;QAC7G,KAAK,UAAU;YACd,OAAO,qGAAoG,CAAC;QAC7G,KAAK,QAAQ;YACZ,OAAO,4HAAyH,CAAC;QAClI;YACC,OAAO,0CAAwC,CAAC;IAClD,CAAC;AAAA,CACD;AAUD,MAAM,UAAU,oBAAoB,CAAC,KAAuB,EAAU;IACrE,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,MAAM,QAAQ,GACb,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,QAAM,CAAC,CAAC,MAAM,gBAAgB,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC5F,oBAAoB,CAAC;IACtB,OAAO;QACN,8EAA4E;QAC5E,EAAE;QACF,SAAS;QACT,KAAK,CAAC,IAAI;QACV,EAAE;QACF,wDAAwD;QACxD,QAAQ;QACR,EAAE;QACF,6BAA4B;QAC5B,KAAK,KAAK,CAAC,aAAa,IAAI;QAC5B,EAAE;QACF,6EAA0E;QAC1E,QAAQ;QACR,EAAE;QACF,WAAW;QACX,2GAA0G;QAC1G,kFAAiF;QACjF,uFAAoF;QACpF,8GAA2G;QAC3G,gFAA+E;QAC/E,EAAE;QACF,4FAA2F;KAC3F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACb;AAKD,2EAA0E;AAC1E,MAAM,UAAU,qBAAqB,CAAC,KAOrC,EAAU;IACV,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,QAAM,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,oBAAoB,CAAC;IAC5G,MAAM,OAAO,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM;QACxC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAC/D,CAAC,CAAC,YAAY,CAAC;IAChB,OAAO;QACN,iJAAgJ;QAChJ,EAAE;QACF,SAAS;QACT,KAAK,CAAC,IAAI;QACV,EAAE;QACF,4CAA4C;QAC5C,QAAQ;QACR,EAAE;QACF,6BAA4B;QAC5B,KAAK,KAAK,CAAC,aAAa,IAAI;QAC5B,EAAE;QACF,wCAAuC;QACvC,OAAO;QACP,EAAE;QACF,mCAAgC;QAChC,KAAK,CAAC,UAAU,IAAI,cAAa;QACjC,EAAE;QACF,4CAA4C;QAC5C,QAAQ;QACR,EAAE;QACF,WAAW;QACX,kJAA+I;QAC/I,8EAA6E;QAC7E,wEAAwE;QACxE,+FAA8F;QAC9F,EAAE;QACF,+HAA6H;KAC7H,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACb","sourcesContent":["/**\n * Ada Intelligence Engine — prompts del Goal Engine.\n *\n * buildGoalWorkPrompt: el agente que trabaja en una fase TDD concreta.\n * buildGoalJudgePrompt: el JUEZ (cross-model recomendado) — revisa SOLO\n * goal + criteria + evidencia citada → {verdict: done|continue, reason}.\n * Sin herramientas: no puede tocar archivos ni afirmar nada que no esté\n * citado en la evidencia (pi-until-done: \"criteria LITERALLY satisfied\").\n */\n\nimport type { GoalWorkInput } from \"./types.ts\";\n\nexport function buildGoalWorkPrompt(input: GoalWorkInput): string {\n\tconst tasks = input.tasks\n\t\t.map(\n\t\t\t(t) =>\n\t\t\t\t`- [${t.status === \"done\" ? \"x\" : t.status === \"active\" ? \"~\" : \" \"}] ${t.title}${t.detail ? ` — ${t.detail}` : \"\"}`,\n\t\t)\n\t\t.join(\"\\n\");\n\tconst evidence =\n\t\tinput.evidence.map((e) => `- ${e.claim} — ${e.source} (citado por ${e.citedBy})`).join(\"\\n\") ||\n\t\t\"_sin evidencia todavía_\";\n\n\treturn [\n\t\t`Estás trabajando en un goal dentro del Ada Intelligence Engine.`,\n\t\t``,\n\t\t`## Goal (verbatim)`,\n\t\tinput.goal,\n\t\t``,\n\t\t`## Fase actual (orden TDD fijo — no puedes saltarte fases)`,\n\t\tinput.phase,\n\t\t``,\n\t\t`## Contrato — Hecho cuando:`,\n\t\tinput.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join(\"\\n\"),\n\t\t``,\n\t\t`## Verificación (comando re-ejecutable)`,\n\t\t`\\`${input.verifyCommand}\\``,\n\t\t``,\n\t\t`## Checklist`,\n\t\ttasks || \"_sin plan todavía_\",\n\t\t``,\n\t\t`## Evidencia citada hasta ahora`,\n\t\tevidence,\n\t\t``,\n\t\t`## Tu tarea en esta fase`,\n\t\tfaseInstruction(input.phase),\n\t\t``,\n\t\t`Turno ${input.turn}/${input.maxTurns}. Trabaja de forma incremental:`,\n\t\t`- Ejecuta los comandos reales (npx, npm, git) para verificar lo que haces.`,\n\t\t`- Cita evidencia con archivo:línea exacta o URL cuando afirmes algo.`,\n\t\t`- No marques nada como hecho sin verificarlo.`,\n\t\t`- Termina con un resumen de 1-3 frases de lo que hiciste en ESTE turno (no del goal completo).`,\n\t].join(\"\\n\");\n}\n\nfunction faseInstruction(phase: string): string {\n\tswitch (phase) {\n\t\tcase \"analysis\":\n\t\t\treturn \"Analiza el estado actual: lee los archivos relevantes, identifica lo que hay que hacer y propón el plan de tareas. No edites todavía.\";\n\t\tcase \"bootstrap\":\n\t\t\treturn \"Prepara el andamiaje: configuración inicial, estructura, dependencias. No escribas tests que fallan ni implementación todavía.\";\n\t\tcase \"red\":\n\t\t\treturn \"Escribe UN test que falle (RED) para el comportamiento más importante del contrato. Ejecútalo y confirma que falla por la razón correcta.\";\n\t\tcase \"green\":\n\t\t\treturn \"Implementa el mínimo necesario para que el test pase (GREEN). Ejecuta el test y confirma que pasa.\";\n\t\tcase \"refactor\":\n\t\t\treturn \"Refactoriza sin cambiar comportamiento: todos los tests deben seguir pasando. Elimina duplicación.\";\n\t\tcase \"verify\":\n\t\t\treturn \"Verificación final: ejecuta el comando de verificación del contrato y todos los tests. Reúne la evidencia para el juez.\";\n\t\tdefault:\n\t\t\treturn \"Continúa el trabajo según el contrato.\";\n\t}\n}\n\nexport interface JudgePromptInput {\n\tgoal: string;\n\tdoneCriteria: string[];\n\tverifyCommand: string;\n\tevidence: Array<{ claim: string; source: string; citedBy: string }>;\n\tphase: string;\n}\n\nexport function buildGoalJudgePrompt(input: JudgePromptInput): string {\n\tconst criteria = input.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join(\"\\n\");\n\tconst evidence =\n\t\tinput.evidence.map((e) => `- ${e.claim} — ${e.source} (citado por ${e.citedBy})`).join(\"\\n\") ||\n\t\t\"_NO HAY EVIDENCIA_\";\n\treturn [\n\t\t`Eres el JUEZ de un goal. Tu única tarea: decidir si el goal está COMPLETO.`,\n\t\t``,\n\t\t`## Goal`,\n\t\tinput.goal,\n\t\t``,\n\t\t`## Criterios de hechura (deben cumplirse LITERALMENTE)`,\n\t\tcriteria,\n\t\t``,\n\t\t`## Comando de verificación`,\n\t\t`\\`${input.verifyCommand}\\``,\n\t\t``,\n\t\t`## Evidencia citada (la ÚNICA fuente de verdad — no puedes suponer nada)`,\n\t\tevidence,\n\t\t``,\n\t\t`## Reglas`,\n\t\t`1. Solo puedes evaluar lo que la evidencia demuestra. Un \"hecho\" sin cita archivo:línea o URL NO cuenta.`,\n\t\t`2. Rechaza señales proxy: decir \"se ha completado\" sin prueba no es suficiente.`,\n\t\t`3. Si TODOS los criterios están satisfechos con evidencia citada → verdict \"done\".`,\n\t\t`4. Si falta alguno o la evidencia no es concluyente → verdict \"continue\" y explica EXACTAMENTE qué falta.`,\n\t\t`5. Nunca des \"done\" por cortesía: los criterios se cumplen literalmente o no.`,\n\t\t``,\n\t\t`Responde SOLO con JSON: {\"verdict\": \"done\" | \"continue\", \"reason\": \"explicación concisa\"}`,\n\t].join(\"\\n\");\n}\n\n// Re-export para el wiring del resource-loader.\nexport type { GoalJudgeFn, GoalReplanFn } from \"./types.ts\";\n\n/** Prompt de re-planificación (P1): nuevo plan completo tras continue. */\nexport function buildGoalReplanPrompt(input: {\n\tgoal: string;\n\tdoneCriteria: string[];\n\tverifyCommand: string;\n\tevidence: { claim: string; source: string }[];\n\tcurrentTasks: string[];\n\tlastReason?: string;\n}): string {\n\tconst criteria = input.doneCriteria.map((c, i) => `${i + 1}. ${c}`).join(\"\\n\");\n\tconst evidence = input.evidence.map((e) => `- ${e.claim} — ${e.source}`).join(\"\\n\") || \"_NO HAY EVIDENCIA_\";\n\tconst current = input.currentTasks.length\n\t\t? input.currentTasks.map((t, i) => `${i + 1}. ${t}`).join(\"\\n\")\n\t\t: \"_SIN PLAN_\";\n\treturn [\n\t\t`Eres el PLANIFICADOR de un goal. Debes generar un NUEVO plan de sub-tareas completo para lograr el goal, aprendiendo de la iteración anterior.`,\n\t\t``,\n\t\t`## Goal`,\n\t\tinput.goal,\n\t\t``,\n\t\t`## Criterios de hechura (contrato literal)`,\n\t\tcriteria,\n\t\t``,\n\t\t`## Comando de verificación`,\n\t\t`\\`${input.verifyCommand}\\``,\n\t\t``,\n\t\t`## Plan actual (que NO logró el goal)`,\n\t\tcurrent,\n\t\t``,\n\t\t`## Por qué falló según el juez`,\n\t\tinput.lastReason ?? \"_sin razón_\",\n\t\t``,\n\t\t`## Evidencia acumulada (lo que ya se sabe)`,\n\t\tevidence,\n\t\t``,\n\t\t`## Reglas`,\n\t\t`1. Genera un plan DIFERENTE al actual: ataca la causa raíz del fallo (ver por qué falló). No repitas las mismas sub-tareas con otros nombres.`,\n\t\t`2. Máximo 6 sub-tareas, cada una verificable e independiente en lo posible.`,\n\t\t`3. No pidas permisos ni aprobaciones inline: el plan se aprueba fuera.`,\n\t\t`4. Si el plan actual coincide con el nuevo, el juez no debería volver a fallar por lo mismo.`,\n\t\t``,\n\t\t`Responde SOLO con JSON: {\"tasks\": [{\"title\": \"sub-tarea 1\"}, ...], \"rationale\": \"por qué este plan nuevo sí logra el goal\"}`,\n\t].join(\"\\n\");\n}\n"]}

package/dist/core/workflows/goal-engine/state.d.ts

@@ -0,0 +1,41 @@
+/**
+ * Ada Intelligence Engine — Goal Engine reducer (puro).
+ *
+ * Reducer determinista: todas las transiciones de estado pasan por aquí.
+ * Reglas de seguridad integradas:
+ * - El goal se rota (nuevo id) al editar/reanudar → un turno viejo (id viejo)
+ *   no puede completar el goal nuevo (guards anti-duplicados).
+ * - Las fases TDD son un orden FIJO (código, no elección del modelo).
+ * - `goal_complete` exige evidencia citada y juez con verdict done.
+ * - Un turno vacío/idéntico incrementa repeatedTurns → pause a la tolerancia.
+ */
+import type { GoalAction, GoalFrenos, GoalPhase, GoalState } from "./types.ts";
+export declare const TDD_PHASES: GoalPhase[];
+export declare function nextPhase(phase: GoalPhase): GoalPhase;
+/** Crea un goal en estado setup (contrato primero, sin trabajo). */
+export declare function createGoalState(input: {
+    goal: string;
+    doneCriteria: string[];
+    verifyCommand: string;
+    id?: string;
+    now?: string;
+    sessionId?: string;
+}): GoalState;
+export interface ReduceResult {
+    state: GoalState;
+    /** Transiciones que la UI debe conocer. */
+    events: Array<{
+        phase?: GoalPhase;
+        paused?: boolean;
+        replan?: {
+            iteration: number;
+            tasks: unknown[];
+        };
+        tasksChanged?: unknown[];
+    }>;
+    /** true si el bucle debe detenerse tras esta acción. */
+    stopLoop: boolean;
+}
+/** Reduce una acción sobre el estado. Devuelve nuevo estado + eventos derivados. */
+export declare function reduceGoal(state: GoalState, action: GoalAction, _frenos?: GoalFrenos): ReduceResult;
+//# sourceMappingURL=state.d.ts.map

package/dist/core/workflows/goal-engine/state.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAgB,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,EAAoB,MAAM,YAAY,CAAC;AAE/G,eAAO,MAAM,UAAU,EAAE,SAAS,EAA4E,CAAC;AAE/G,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,SAAS,CAGrD;AAED,oEAAoE;AACpE,wBAAgB,eAAe,CAAC,KAAK,EAAE;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;IACtB,EAAE,CAAC,EAAE,MAAM,CAAC;IACZ,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;CACnB,GAAG,SAAS,CAsBZ;AAMD,MAAM,WAAW,YAAY;IAC5B,KAAK,EAAE,SAAS,CAAC;IACjB,2CAA2C;IAC3C,MAAM,EAAE,KAAK,CAAC;QACb,KAAK,CAAC,EAAE,SAAS,CAAC;QAClB,MAAM,CAAC,EAAE,OAAO,CAAC;QACjB,MAAM,CAAC,EAAE;YAAE,SAAS,EAAE,MAAM,CAAC;YAAC,KAAK,EAAE,OAAO,EAAE,CAAA;SAAE,CAAC;QACjD,YAAY,CAAC,EAAE,OAAO,EAAE,CAAC;KACzB,CAAC,CAAC;IACH,yDAAwD;IACxD,QAAQ,EAAE,OAAO,CAAC;CAClB;AAED,qFAAoF;AACpF,wBAAgB,UAAU,CACzB,KAAK,EAAE,SAAS,EAChB,MAAM,EAAE,UAAU,EAClB,OAAO,GAAE,UAOR,GACC,YAAY,CAmWd","sourcesContent":["/**\n * Ada Intelligence Engine — Goal Engine reducer (puro).\n *\n * Reducer determinista: todas las transiciones de estado pasan por aquí.\n * Reglas de seguridad integradas:\n * - El goal se rota (nuevo id) al editar/reanudar → un turno viejo (id viejo)\n *   no puede completar el goal nuevo (guards anti-duplicados).\n * - Las fases TDD son un orden FIJO (código, no elección del modelo).\n * - `goal_complete` exige evidencia citada y juez con verdict done.\n * - Un turno vacío/idéntico incrementa repeatedTurns → pause a la tolerancia.\n */\n\nimport type { EvidenceItem, GoalAction, GoalFrenos, GoalPhase, GoalState, Task, TaskStatus } from \"./types.ts\";\n\nexport const TDD_PHASES: GoalPhase[] = [\"analysis\", \"bootstrap\", \"red\", \"green\", \"refactor\", \"verify\", \"done\"];\n\nexport function nextPhase(phase: GoalPhase): GoalPhase {\n\tconst i = TDD_PHASES.indexOf(phase);\n\treturn i >= 0 && i < TDD_PHASES.length - 1 ? TDD_PHASES[i + 1] : phase;\n}\n\n/** Crea un goal en estado setup (contrato primero, sin trabajo). */\nexport function createGoalState(input: {\n\tgoal: string;\n\tdoneCriteria: string[];\n\tverifyCommand: string;\n\tid?: string;\n\tnow?: string;\n\tsessionId?: string;\n}): GoalState {\n\treturn {\n\t\tid: input.id ?? `goal-${Date.now().toString(36)}-${Math.random().toString(36).slice(2, 7)}`,\n\t\tgoal: input.goal,\n\t\tsessionId: input.sessionId,\n\t\tphase: \"analysis\",\n\t\tstatus: \"setup\",\n\t\tdoneCriteria: input.doneCriteria,\n\t\tverifyCommand: input.verifyCommand,\n\t\ttasks: [],\n\t\titeration: 1,\n\t\titerations: [],\n\t\tevidence: [],\n\t\tjudge: { model: null },\n\t\tturnsUsed: 0,\n\t\ttokensUsed: 0,\n\t\tcostUsed: 0,\n\t\trepeatedTurns: 0,\n\t\tlastAgentSummary: \"\",\n\t\tcreatedAt: input.now ?? new Date().toISOString(),\n\t\tupdatedAt: input.now ?? new Date().toISOString(),\n\t};\n}\n\nfunction taskFrom(action: { taskId: string; status: TaskStatus }, tasks: Task[]): Task | undefined {\n\treturn tasks.find((t) => t.id === action.taskId);\n}\n\nexport interface ReduceResult {\n\tstate: GoalState;\n\t/** Transiciones que la UI debe conocer. */\n\tevents: Array<{\n\t\tphase?: GoalPhase;\n\t\tpaused?: boolean;\n\t\treplan?: { iteration: number; tasks: unknown[] };\n\t\ttasksChanged?: unknown[];\n\t}>;\n\t/** true si el bucle debe detenerse tras esta acción. */\n\tstopLoop: boolean;\n}\n\n/** Reduce una acción sobre el estado. Devuelve nuevo estado + eventos derivados. */\nexport function reduceGoal(\n\tstate: GoalState,\n\taction: GoalAction,\n\t_frenos: GoalFrenos = {\n\t\tmaxTurns: 25,\n\t\trepeatTolerance: 3,\n\t\tstopFile: null,\n\t\ttokenBudget: null,\n\t\tcostBudget: null,\n\t\taskBefore: [],\n\t},\n): ReduceResult {\n\tconst events: ReduceResult[\"events\"] = [];\n\tconst stopLoop = false;\n\n\tswitch (action.type) {\n\t\tcase \"goal_approve\": {\n\t\t\tif (state.status !== \"setup\") return { state, events, stopLoop };\n\t\t\treturn {\n\t\t\t\tstate: { ...state, status: \"active\", updatedAt: now() },\n\t\t\t\tevents: [{ phase: \"analysis\" }],\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_task_add\": {\n\t\t\t// TODO personalizado: añade una tarea sin reemplazar el plan.\n\t\t\tconst title = action.title.trim();\n\t\t\tif (!title) return { state, events, stopLoop };\n\t\t\tconst newTask: Task = {\n\t\t\t\tid: `task-${Date.now().toString(36)}-${Math.random().toString(36).slice(2, 6)}`,\n\t\t\t\ttitle,\n\t\t\t\tstatus: \"pending\",\n\t\t\t};\n\t\t\treturn {\n\t\t\t\tstate: { ...state, tasks: [...state.tasks, newTask], updatedAt: now() },\n\t\t\t\tevents,\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_tasks\": {\n\t\t\t// Solo planificar en planning/active; reemplaza el plan.\n\t\t\tif (state.status !== \"active\" && state.status !== \"planning\") return { state, events, stopLoop };\n\t\t\treturn {\n\t\t\t\tstate: { ...state, tasks: action.tasks, status: \"active\", updatedAt: now() },\n\t\t\t\tevents,\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_task_launched\": {\n\t\t\t// El workflow dinámico de la sub-tarea está en marcha (un turno gastado).\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\ttasks: state.tasks.map((t) =>\n\t\t\t\t\t\tt.id === action.taskId\n\t\t\t\t\t\t\t? { ...t, status: \"running\" as TaskStatus, workflowRunId: action.workflowRunId }\n\t\t\t\t\t\t\t: t,\n\t\t\t\t\t),\n\t\t\t\t\tturnsUsed: state.turnsUsed + 1,\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents,\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_task_result\": {\n\t\t\t// El workflow de la sub-tarea terminó (done/failed) con resumen.\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\ttasks: state.tasks.map((t) =>\n\t\t\t\t\t\tt.id === action.taskId\n\t\t\t\t\t\t\t? { ...t, status: action.status, resultSummary: action.summary ?? t.resultSummary }\n\t\t\t\t\t\t\t: t,\n\t\t\t\t\t),\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents,\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_replan\": {\n\t\t\t// P1: re-planificación completa. Nueva iteración, nuevo plan,\n\t\t\t// historial anexado. Solo si el contrato está aprobado y el plan\n\t\t\t// cambia materialmente (o no hay plan).\n\t\t\tconst clean = action.tasks\n\t\t\t\t.filter((t) => t.title?.trim())\n\t\t\t\t.map((t, i) => ({\n\t\t\t\t\tid: `task-${Date.now().toString(36)}-${i}-${Math.random().toString(36).slice(2, 5)}`,\n\t\t\t\t\ttitle: t.title.trim(),\n\t\t\t\t\tstatus: \"pending\" as TaskStatus,\n\t\t\t\t}));\n\t\t\tconst samePlan =\n\t\t\t\tstate.tasks.length === clean.length &&\n\t\t\t\tstate.tasks.length > 0 &&\n\t\t\t\tstate.tasks.every((t, i) => t.title.trim() === clean[i]?.title);\n\t\t\t// Sin cambio real del plan → no iterar (evita loops vacíos).\n\t\t\tif (samePlan) return { state, events, stopLoop: true };\n\t\t\tconst record = {\n\t\t\t\titeration: state.iteration,\n\t\t\t\tplan: state.tasks.map((t) => ({ ...t })),\n\t\t\t\tverdict: state.judge.lastVerdict,\n\t\t\t\treason: state.judge.lastReason ?? state.replanRationale,\n\t\t\t\treplanRationale: action.rationale,\n\t\t\t\ttokensUsed: state.tokensUsed,\n\t\t\t\tcostUsed: state.costUsed,\n\t\t\t\ttimestamp: now(),\n\t\t\t};\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\ttasks: clean,\n\t\t\t\t\titeration: state.iteration + 1,\n\t\t\t\t\titerations: [...state.iterations, record],\n\t\t\t\t\treplanRationale: action.rationale,\n\t\t\t\t\trepeatedTurns: 0, // plan nuevo → reset del repeat detector\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents: [{ replan: { iteration: state.iteration + 1, tasks: clean } }],\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_task_remove\": {\n\t\t\t// P2: quitar una sub-tarea (no ejecutada).\n\t\t\tconst target = state.tasks.find((t) => t.id === action.taskId);\n\t\t\t// No se puede quitar una sub-tarea con workflow en marcha aquí\n\t\t\t// (el manager la aborta primero vía goal_task_result).\n\t\t\tif (!target || target.status === \"running\") return { state, events, stopLoop };\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\ttasks: state.tasks.filter((t) => t.id !== action.taskId),\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents: [{ tasksChanged: state.tasks.filter((t) => t.id !== action.taskId) }],\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_task_move\": {\n\t\t\t// P2: reordenar (arriba/abajo) en cualquier fase.\n\t\t\tconst idx = state.tasks.findIndex((t) => t.id === action.taskId);\n\t\t\tif (idx === -1) return { state, events, stopLoop };\n\t\t\tconst target = idx + (action.dir === \"up\" ? -1 : 1);\n\t\t\tif (target < 0 || target >= state.tasks.length) return { state, events, stopLoop };\n\t\t\tconst tasks = [...state.tasks];\n\t\t\t[tasks[idx], tasks[target]] = [tasks[target], tasks[idx]];\n\t\t\treturn {\n\t\t\t\tstate: { ...state, tasks, updatedAt: now() },\n\t\t\t\tevents: [{ tasksChanged: tasks }],\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_task_update\": {\n\t\t\tconst task = taskFrom(action, state.tasks);\n\t\t\tif (!task) return { state, events, stopLoop };\n\t\t\tconst tasks = state.tasks.map((t) => (t.id === action.taskId ? { ...t, status: action.status } : t));\n\t\t\treturn {\n\t\t\t\tstate: { ...state, tasks, updatedAt: now() },\n\t\t\t\tevents,\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_phase\": {\n\t\t\t// Orden fijo TDD: solo avanzar a la siguiente fase.\n\t\t\tif (action.phase !== nextPhase(state.phase)) return { state, events, stopLoop };\n\t\t\treturn {\n\t\t\t\tstate: { ...state, phase: action.phase, updatedAt: now() },\n\t\t\t\tevents: [{ phase: action.phase }],\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_agent_turn\": {\n\t\t\t// El turno del agente: incrementa contadores, detecta repetición.\n\t\t\tconst summary = action.summary ?? \"\";\n\t\t\tconst repeated = summary.trim().length === 0 || summary === state.lastAgentSummary;\n\t\t\tconst repeatedTurns = repeated ? state.repeatedTurns + 1 : 0;\n\t\t\tconst turnsUsed = state.turnsUsed + 1;\n\t\t\tlet next: GoalState = {\n\t\t\t\t...state,\n\t\t\t\tturnsUsed,\n\t\t\t\trepeatedTurns,\n\t\t\t\tlastAgentSummary: summary,\n\t\t\t\ttokensUsed: state.tokensUsed + (action.tokens ?? 0),\n\t\t\t\tcostUsed: state.costUsed + (action.cost ?? 0),\n\t\t\t\tupdatedAt: now(),\n\t\t\t};\n\t\t\tif (action.evidence?.length) {\n\t\t\t\t// No duplicar evidencia idéntica.\n\t\t\t\tconst existing = new Set(state.evidence.map((e) => `${e.claim}|${e.source}`));\n\t\t\t\tconst fresh = action.evidence.filter((e) => !existing.has(`${e.claim}|${e.source}`));\n\t\t\t\tnext = { ...next, evidence: [...state.evidence, ...fresh] };\n\t\t\t}\n\t\t\tif (action.tasks?.length) {\n\t\t\t\tconst tasks = next.tasks.map((t) => {\n\t\t\t\t\tconst u = action.tasks!.find((x) => x.taskId === t.id);\n\t\t\t\t\treturn u ? { ...t, status: u.status } : t;\n\t\t\t\t});\n\t\t\t\tnext = { ...next, tasks };\n\t\t\t}\n\t\t\treturn { state: next, events, stopLoop };\n\t\t}\n\n\t\tcase \"goal_pause\": {\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\tstatus: \"paused\",\n\t\t\t\t\twaiting: { reason: action.reason ?? \"pausado por el usuario\" },\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents,\n\t\t\t\tstopLoop: true,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_resume\": {\n\t\t\tif (state.status !== \"paused\") return { state, events, stopLoop };\n\t\t\treturn {\n\t\t\t\tstate: { ...state, status: \"active\", waiting: undefined, repeatedTurns: 0, updatedAt: now() },\n\t\t\t\tevents,\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_blocked\": {\n\t\t\treturn {\n\t\t\t\tstate: { ...state, status: \"blocked\", waiting: { reason: action.reason }, updatedAt: now() },\n\t\t\t\tevents,\n\t\t\t\tstopLoop: true,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_wait\": {\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\tstatus: \"paused\",\n\t\t\t\t\twaiting: { reason: action.reason, resumeAfterMs: action.resumeAfterMs },\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents,\n\t\t\t\tstopLoop: true,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_questions\": {\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\tstatus: \"blocked\",\n\t\t\t\t\tpendingQuestions: action.questions,\n\t\t\t\t\twaiting: { reason: action.reason },\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents,\n\t\t\t\tstopLoop: true,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_answers\": {\n\t\t\t// Las respuestas limpian el bloqueo y reactivan.\n\t\t\treturn {\n\t\t\t\tstate: { ...state, status: \"active\", pendingQuestions: undefined, waiting: undefined, updatedAt: now() },\n\t\t\t\tevents,\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_usage_limited\": {\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\tstatus: \"usage_limited\",\n\t\t\t\t\twaiting: { reason: \"Presupuesto de tokens agotado\" },\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents,\n\t\t\t\tstopLoop: true,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_budget_limited\": {\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\tstatus: \"budget_limited\",\n\t\t\t\t\twaiting: { reason: \"Presupuesto de coste agotado\" },\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents,\n\t\t\t\tstopLoop: true,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_judge\": {\n\t\t\t// Al veredictar se anexa la iteración actual al historial (P3):\n\t\t\t// veredicto + razón en el registro de la iteración en curso.\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\tjudge: {\n\t\t\t\t\t\tmodel: action.crossModel ? \"cross\" : \"same\",\n\t\t\t\t\t\tlastVerdict: action.verdict,\n\t\t\t\t\t\tlastReason: action.reason,\n\t\t\t\t\t},\n\t\t\t\t\titerations: state.iterations.map((it) =>\n\t\t\t\t\t\tit.iteration === state.iteration ? { ...it, verdict: action.verdict, reason: action.reason } : it,\n\t\t\t\t\t),\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t},\n\t\t\t\tevents,\n\t\t\t\tstopLoop,\n\t\t\t};\n\t\t}\n\n\t\tcase \"goal_complete\": {\n\t\t\t// JUEZ OBLIGATORIO (pi-until-done): sin veredicto done NO hay\n\t\t\t// completación — continue bloquea done; nunca bypass.\n\t\t\tif (state.status === \"complete\") return { state, events, stopLoop: true };\n\t\t\tif (state.judge.lastVerdict !== \"done\") {\n\t\t\t\treturn {\n\t\t\t\t\tstate: {\n\t\t\t\t\t\t...state,\n\t\t\t\t\t\twaiting: { reason: \"goal_complete requiere veredicto done del juez (sin bypass)\" },\n\t\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t\t},\n\t\t\t\t\tevents,\n\t\t\t\t\tstopLoop: true,\n\t\t\t\t};\n\t\t\t}\n\t\t\t// Evidencia citada obligatoria (archivo:línea / URL).\n\t\t\tif (action.evidence.length === 0 && state.evidence.length === 0) {\n\t\t\t\treturn {\n\t\t\t\t\tstate: { ...state, waiting: { reason: \"goal_complete exige evidencia citada\" }, updatedAt: now() },\n\t\t\t\t\tevents,\n\t\t\t\t\tstopLoop: true,\n\t\t\t\t};\n\t\t\t}\n\t\t\tconst merged: EvidenceItem[] = mergeEvidence(state.evidence, action.evidence);\n\t\t\treturn {\n\t\t\t\tstate: {\n\t\t\t\t\t...state,\n\t\t\t\t\tstatus: \"complete\",\n\t\t\t\t\tphase: \"done\",\n\t\t\t\t\tevidence: merged,\n\t\t\t\t\tupdatedAt: now(),\n\t\t\t\t\twaiting: undefined,\n\t\t\t\t},\n\t\t\t\tevents: [{ phase: \"done\" }],\n\t\t\t\tstopLoop: true,\n\t\t\t};\n\t\t}\n\n\t\tdefault:\n\t\t\treturn { state, events, stopLoop };\n\t}\n}\n\nfunction mergeEvidence(a: EvidenceItem[], b: EvidenceItem[]): EvidenceItem[] {\n\tconst seen = new Set(a.map((e) => `${e.claim}|${e.source}`));\n\treturn [...a, ...b.filter((e) => !seen.has(`${e.claim}|${e.source}`))];\n}\n\nfunction now(): string {\n\treturn new Date().toISOString();\n}\n"]}