@hoilab/ada-cli 0.84.21 → 0.84.22

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

@@ -0,0 +1,397 @@
+/**
+ * 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.
+ */
+export const TDD_PHASES = ["analysis", "bootstrap", "red", "green", "refactor", "verify", "done"];
+export function nextPhase(phase) {
+    const i = TDD_PHASES.indexOf(phase);
+    return i >= 0 && i < TDD_PHASES.length - 1 ? TDD_PHASES[i + 1] : phase;
+}
+/** Crea un goal en estado setup (contrato primero, sin trabajo). */
+export function createGoalState(input) {
+    return {
+        id: input.id ?? `goal-${Date.now().toString(36)}-${Math.random().toString(36).slice(2, 7)}`,
+        goal: input.goal,
+        sessionId: input.sessionId,
+        phase: "analysis",
+        status: "setup",
+        doneCriteria: input.doneCriteria,
+        verifyCommand: input.verifyCommand,
+        tasks: [],
+        iteration: 1,
+        iterations: [],
+        evidence: [],
+        judge: { model: null },
+        turnsUsed: 0,
+        tokensUsed: 0,
+        costUsed: 0,
+        repeatedTurns: 0,
+        lastAgentSummary: "",
+        createdAt: input.now ?? new Date().toISOString(),
+        updatedAt: input.now ?? new Date().toISOString(),
+    };
+}
+function taskFrom(action, tasks) {
+    return tasks.find((t) => t.id === action.taskId);
+}
+/** Reduce una acción sobre el estado. Devuelve nuevo estado + eventos derivados. */
+export function reduceGoal(state, action, _frenos = {
+    maxTurns: 25,
+    repeatTolerance: 3,
+    stopFile: null,
+    tokenBudget: null,
+    costBudget: null,
+    askBefore: [],
+}) {
+    const events = [];
+    const stopLoop = false;
+    switch (action.type) {
+        case "goal_approve": {
+            if (state.status !== "setup")
+                return { state, events, stopLoop };
+            return {
+                state: { ...state, status: "active", updatedAt: now() },
+                events: [{ phase: "analysis" }],
+                stopLoop,
+            };
+        }
+        case "goal_task_add": {
+            // TODO personalizado: añade una tarea sin reemplazar el plan.
+            const title = action.title.trim();
+            if (!title)
+                return { state, events, stopLoop };
+            const newTask = {
+                id: `task-${Date.now().toString(36)}-${Math.random().toString(36).slice(2, 6)}`,
+                title,
+                status: "pending",
+            };
+            return {
+                state: { ...state, tasks: [...state.tasks, newTask], updatedAt: now() },
+                events,
+                stopLoop,
+            };
+        }
+        case "goal_tasks": {
+            // Solo planificar en planning/active; reemplaza el plan.
+            if (state.status !== "active" && state.status !== "planning")
+                return { state, events, stopLoop };
+            return {
+                state: { ...state, tasks: action.tasks, status: "active", updatedAt: now() },
+                events,
+                stopLoop,
+            };
+        }
+        case "goal_task_launched": {
+            // El workflow dinámico de la sub-tarea está en marcha (un turno gastado).
+            return {
+                state: {
+                    ...state,
+                    tasks: state.tasks.map((t) => t.id === action.taskId
+                        ? { ...t, status: "running", workflowRunId: action.workflowRunId }
+                        : t),
+                    turnsUsed: state.turnsUsed + 1,
+                    updatedAt: now(),
+                },
+                events,
+                stopLoop,
+            };
+        }
+        case "goal_task_result": {
+            // El workflow de la sub-tarea terminó (done/failed) con resumen.
+            return {
+                state: {
+                    ...state,
+                    tasks: state.tasks.map((t) => t.id === action.taskId
+                        ? { ...t, status: action.status, resultSummary: action.summary ?? t.resultSummary }
+                        : t),
+                    updatedAt: now(),
+                },
+                events,
+                stopLoop,
+            };
+        }
+        case "goal_replan": {
+            // P1: re-planificación completa. Nueva iteración, nuevo plan,
+            // historial anexado. Solo si el contrato está aprobado y el plan
+            // cambia materialmente (o no hay plan).
+            const clean = action.tasks
+                .filter((t) => t.title?.trim())
+                .map((t, i) => ({
+                id: `task-${Date.now().toString(36)}-${i}-${Math.random().toString(36).slice(2, 5)}`,
+                title: t.title.trim(),
+                status: "pending",
+            }));
+            const samePlan = state.tasks.length === clean.length &&
+                state.tasks.length > 0 &&
+                state.tasks.every((t, i) => t.title.trim() === clean[i]?.title);
+            // Sin cambio real del plan → no iterar (evita loops vacíos).
+            if (samePlan)
+                return { state, events, stopLoop: true };
+            const record = {
+                iteration: state.iteration,
+                plan: state.tasks.map((t) => ({ ...t })),
+                verdict: state.judge.lastVerdict,
+                reason: state.judge.lastReason ?? state.replanRationale,
+                replanRationale: action.rationale,
+                tokensUsed: state.tokensUsed,
+                costUsed: state.costUsed,
+                timestamp: now(),
+            };
+            return {
+                state: {
+                    ...state,
+                    tasks: clean,
+                    iteration: state.iteration + 1,
+                    iterations: [...state.iterations, record],
+                    replanRationale: action.rationale,
+                    repeatedTurns: 0, // plan nuevo → reset del repeat detector
+                    updatedAt: now(),
+                },
+                events: [{ replan: { iteration: state.iteration + 1, tasks: clean } }],
+                stopLoop,
+            };
+        }
+        case "goal_task_remove": {
+            // P2: quitar una sub-tarea (no ejecutada).
+            const target = state.tasks.find((t) => t.id === action.taskId);
+            // No se puede quitar una sub-tarea con workflow en marcha aquí
+            // (el manager la aborta primero vía goal_task_result).
+            if (!target || target.status === "running")
+                return { state, events, stopLoop };
+            return {
+                state: {
+                    ...state,
+                    tasks: state.tasks.filter((t) => t.id !== action.taskId),
+                    updatedAt: now(),
+                },
+                events: [{ tasksChanged: state.tasks.filter((t) => t.id !== action.taskId) }],
+                stopLoop,
+            };
+        }
+        case "goal_task_move": {
+            // P2: reordenar (arriba/abajo) en cualquier fase.
+            const idx = state.tasks.findIndex((t) => t.id === action.taskId);
+            if (idx === -1)
+                return { state, events, stopLoop };
+            const target = idx + (action.dir === "up" ? -1 : 1);
+            if (target < 0 || target >= state.tasks.length)
+                return { state, events, stopLoop };
+            const tasks = [...state.tasks];
+            [tasks[idx], tasks[target]] = [tasks[target], tasks[idx]];
+            return {
+                state: { ...state, tasks, updatedAt: now() },
+                events: [{ tasksChanged: tasks }],
+                stopLoop,
+            };
+        }
+        case "goal_task_update": {
+            const task = taskFrom(action, state.tasks);
+            if (!task)
+                return { state, events, stopLoop };
+            const tasks = state.tasks.map((t) => (t.id === action.taskId ? { ...t, status: action.status } : t));
+            return {
+                state: { ...state, tasks, updatedAt: now() },
+                events,
+                stopLoop,
+            };
+        }
+        case "goal_phase": {
+            // Orden fijo TDD: solo avanzar a la siguiente fase.
+            if (action.phase !== nextPhase(state.phase))
+                return { state, events, stopLoop };
+            return {
+                state: { ...state, phase: action.phase, updatedAt: now() },
+                events: [{ phase: action.phase }],
+                stopLoop,
+            };
+        }
+        case "goal_agent_turn": {
+            // El turno del agente: incrementa contadores, detecta repetición.
+            const summary = action.summary ?? "";
+            const repeated = summary.trim().length === 0 || summary === state.lastAgentSummary;
+            const repeatedTurns = repeated ? state.repeatedTurns + 1 : 0;
+            const turnsUsed = state.turnsUsed + 1;
+            let next = {
+                ...state,
+                turnsUsed,
+                repeatedTurns,
+                lastAgentSummary: summary,
+                tokensUsed: state.tokensUsed + (action.tokens ?? 0),
+                costUsed: state.costUsed + (action.cost ?? 0),
+                updatedAt: now(),
+            };
+            if (action.evidence?.length) {
+                // No duplicar evidencia idéntica.
+                const existing = new Set(state.evidence.map((e) => `${e.claim}|${e.source}`));
+                const fresh = action.evidence.filter((e) => !existing.has(`${e.claim}|${e.source}`));
+                next = { ...next, evidence: [...state.evidence, ...fresh] };
+            }
+            if (action.tasks?.length) {
+                const tasks = next.tasks.map((t) => {
+                    const u = action.tasks.find((x) => x.taskId === t.id);
+                    return u ? { ...t, status: u.status } : t;
+                });
+                next = { ...next, tasks };
+            }
+            return { state: next, events, stopLoop };
+        }
+        case "goal_pause": {
+            return {
+                state: {
+                    ...state,
+                    status: "paused",
+                    waiting: { reason: action.reason ?? "pausado por el usuario" },
+                    updatedAt: now(),
+                },
+                events,
+                stopLoop: true,
+            };
+        }
+        case "goal_resume": {
+            if (state.status !== "paused")
+                return { state, events, stopLoop };
+            return {
+                state: { ...state, status: "active", waiting: undefined, repeatedTurns: 0, updatedAt: now() },
+                events,
+                stopLoop,
+            };
+        }
+        case "goal_blocked": {
+            return {
+                state: { ...state, status: "blocked", waiting: { reason: action.reason }, updatedAt: now() },
+                events,
+                stopLoop: true,
+            };
+        }
+        case "goal_wait": {
+            return {
+                state: {
+                    ...state,
+                    status: "paused",
+                    waiting: { reason: action.reason, resumeAfterMs: action.resumeAfterMs },
+                    updatedAt: now(),
+                },
+                events,
+                stopLoop: true,
+            };
+        }
+        case "goal_questions": {
+            return {
+                state: {
+                    ...state,
+                    status: "blocked",
+                    pendingQuestions: action.questions,
+                    waiting: { reason: action.reason },
+                    updatedAt: now(),
+                },
+                events,
+                stopLoop: true,
+            };
+        }
+        case "goal_answers": {
+            // Las respuestas limpian el bloqueo y reactivan.
+            return {
+                state: { ...state, status: "active", pendingQuestions: undefined, waiting: undefined, updatedAt: now() },
+                events,
+                stopLoop,
+            };
+        }
+        case "goal_usage_limited": {
+            return {
+                state: {
+                    ...state,
+                    status: "usage_limited",
+                    waiting: { reason: "Presupuesto de tokens agotado" },
+                    updatedAt: now(),
+                },
+                events,
+                stopLoop: true,
+            };
+        }
+        case "goal_budget_limited": {
+            return {
+                state: {
+                    ...state,
+                    status: "budget_limited",
+                    waiting: { reason: "Presupuesto de coste agotado" },
+                    updatedAt: now(),
+                },
+                events,
+                stopLoop: true,
+            };
+        }
+        case "goal_judge": {
+            // Al veredictar se anexa la iteración actual al historial (P3):
+            // veredicto + razón en el registro de la iteración en curso.
+            return {
+                state: {
+                    ...state,
+                    judge: {
+                        model: action.crossModel ? "cross" : "same",
+                        lastVerdict: action.verdict,
+                        lastReason: action.reason,
+                    },
+                    iterations: state.iterations.map((it) => it.iteration === state.iteration ? { ...it, verdict: action.verdict, reason: action.reason } : it),
+                    updatedAt: now(),
+                },
+                events,
+                stopLoop,
+            };
+        }
+        case "goal_complete": {
+            // JUEZ OBLIGATORIO (pi-until-done): sin veredicto done NO hay
+            // completación — continue bloquea done; nunca bypass.
+            if (state.status === "complete")
+                return { state, events, stopLoop: true };
+            if (state.judge.lastVerdict !== "done") {
+                return {
+                    state: {
+                        ...state,
+                        waiting: { reason: "goal_complete requiere veredicto done del juez (sin bypass)" },
+                        updatedAt: now(),
+                    },
+                    events,
+                    stopLoop: true,
+                };
+            }
+            // Evidencia citada obligatoria (archivo:línea / URL).
+            if (action.evidence.length === 0 && state.evidence.length === 0) {
+                return {
+                    state: { ...state, waiting: { reason: "goal_complete exige evidencia citada" }, updatedAt: now() },
+                    events,
+                    stopLoop: true,
+                };
+            }
+            const merged = mergeEvidence(state.evidence, action.evidence);
+            return {
+                state: {
+                    ...state,
+                    status: "complete",
+                    phase: "done",
+                    evidence: merged,
+                    updatedAt: now(),
+                    waiting: undefined,
+                },
+                events: [{ phase: "done" }],
+                stopLoop: true,
+            };
+        }
+        default:
+            return { state, events, stopLoop };
+    }
+}
+function mergeEvidence(a, b) {
+    const seen = new Set(a.map((e) => `${e.claim}|${e.source}`));
+    return [...a, ...b.filter((e) => !seen.has(`${e.claim}|${e.source}`))];
+}
+function now() {
+    return new Date().toISOString();
+}
+//# sourceMappingURL=state.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,MAAM,CAAC,MAAM,UAAU,GAAgB,CAAC,UAAU,EAAE,WAAW,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAE/G,MAAM,UAAU,SAAS,CAAC,KAAgB,EAAa;IACtD,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAAA,CACvE;AAED,oEAAoE;AACpE,MAAM,UAAU,eAAe,CAAC,KAO/B,EAAa;IACb,OAAO;QACN,EAAE,EAAE,KAAK,CAAC,EAAE,IAAI,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;QAC3F,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,KAAK,EAAE,UAAU;QACjB,MAAM,EAAE,OAAO;QACf,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,KAAK,EAAE,EAAE;QACT,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,EAAE;QACd,QAAQ,EAAE,EAAE;QACZ,KAAK,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE;QACtB,SAAS,EAAE,CAAC;QACZ,UAAU,EAAE,CAAC;QACb,QAAQ,EAAE,CAAC;QACX,aAAa,EAAE,CAAC;QAChB,gBAAgB,EAAE,EAAE;QACpB,SAAS,EAAE,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QAChD,SAAS,EAAE,KAAK,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KAChD,CAAC;AAAA,CACF;AAED,SAAS,QAAQ,CAAC,MAA8C,EAAE,KAAa,EAAoB;IAClG,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;AAAA,CACjD;AAeD,qFAAoF;AACpF,MAAM,UAAU,UAAU,CACzB,KAAgB,EAChB,MAAkB,EAClB,OAAO,GAAe;IACrB,QAAQ,EAAE,EAAE;IACZ,eAAe,EAAE,CAAC;IAClB,QAAQ,EAAE,IAAI;IACd,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,IAAI;IAChB,SAAS,EAAE,EAAE;CACb,EACc;IACf,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAG,KAAK,CAAC;IAEvB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,cAAc,EAAE,CAAC;YACrB,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACjE,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBACvD,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC;gBAC/B,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,eAAe,EAAE,CAAC;YACtB,+DAA8D;YAC9D,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;YAClC,IAAI,CAAC,KAAK;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC/C,MAAM,OAAO,GAAS;gBACrB,EAAE,EAAE,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;gBAC/E,KAAK;gBACL,MAAM,EAAE,SAAS;aACjB,CAAC;YACF,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBACvE,MAAM;gBACN,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,YAAY,EAAE,CAAC;YACnB,yDAAyD;YACzD,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACjG,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBAC5E,MAAM;gBACN,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,oBAAoB,EAAE,CAAC;YAC3B,4EAA0E;YAC1E,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM;wBACrB,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,SAAuB,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE;wBAChF,CAAC,CAAC,CAAC,CACJ;oBACD,SAAS,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC;oBAC9B,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM;gBACN,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,kBAAkB,EAAE,CAAC;YACzB,kEAAiE;YACjE,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAC5B,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM;wBACrB,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,aAAa,EAAE;wBACnF,CAAC,CAAC,CAAC,CACJ;oBACD,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM;gBACN,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,aAAa,EAAE,CAAC;YACpB,gEAA8D;YAC9D,kEAAiE;YACjE,wCAAwC;YACxC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK;iBACxB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;iBAC9B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;gBACf,EAAE,EAAE,QAAQ,IAAI,CAAC,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;gBACpF,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE;gBACrB,MAAM,EAAE,SAAuB;aAC/B,CAAC,CAAC,CAAC;YACL,MAAM,QAAQ,GACb,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;gBACnC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBACtB,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YACjE,gEAA6D;YAC7D,IAAI,QAAQ;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACvD,MAAM,MAAM,GAAG;gBACd,SAAS,EAAE,KAAK,CAAC,SAAS;gBAC1B,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACxC,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,WAAW;gBAChC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,eAAe;gBACvD,eAAe,EAAE,MAAM,CAAC,SAAS;gBACjC,UAAU,EAAE,KAAK,CAAC,UAAU;gBAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,SAAS,EAAE,GAAG,EAAE;aAChB,CAAC;YACF,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,KAAK,EAAE,KAAK;oBACZ,SAAS,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC;oBAC9B,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC;oBACzC,eAAe,EAAE,MAAM,CAAC,SAAS;oBACjC,aAAa,EAAE,CAAC,EAAE,2CAAyC;oBAC3D,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,GAAG,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;gBACtE,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,kBAAkB,EAAE,CAAC;YACzB,2CAA2C;YAC3C,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;YAC/D,gEAA+D;YAC/D,wDAAuD;YACvD,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC/E,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC;oBACxD,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC7E,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,gBAAgB,EAAE,CAAC;YACvB,kDAAkD;YAClD,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC;YACjE,IAAI,GAAG,KAAK,CAAC,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACnD,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACpD,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACnF,MAAM,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;YAC/B,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1D,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBAC5C,MAAM,EAAE,CAAC,EAAE,YAAY,EAAE,KAAK,EAAE,CAAC;gBACjC,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,kBAAkB,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;YAC3C,IAAI,CAAC,IAAI;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrG,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBAC5C,MAAM;gBACN,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,YAAY,EAAE,CAAC;YACnB,oDAAoD;YACpD,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,KAAK,CAAC;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAChF,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBAC1D,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,EAAE,CAAC;gBACjC,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,iBAAiB,EAAE,CAAC;YACxB,mEAAkE;YAClE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,KAAK,KAAK,CAAC,gBAAgB,CAAC;YACnF,MAAM,aAAa,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;YACtC,IAAI,IAAI,GAAc;gBACrB,GAAG,KAAK;gBACR,SAAS;gBACT,aAAa;gBACb,gBAAgB,EAAE,OAAO;gBACzB,UAAU,EAAE,KAAK,CAAC,UAAU,GAAG,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;gBACnD,QAAQ,EAAE,KAAK,CAAC,QAAQ,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC;gBAC7C,SAAS,EAAE,GAAG,EAAE;aAChB,CAAC;YACF,IAAI,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;gBAC7B,mCAAkC;gBAClC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;gBAC9E,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;gBACrF,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;YAC7D,CAAC;YACD,IAAI,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC;gBAC1B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;oBACnC,MAAM,CAAC,GAAG,MAAM,CAAC,KAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;oBACvD,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAA,CAC1C,CAAC,CAAC;gBACH,IAAI,GAAG,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC;YAC3B,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;QAC1C,CAAC;QAED,KAAK,YAAY,EAAE,CAAC;YACnB,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,MAAM,EAAE,QAAQ;oBAChB,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,wBAAwB,EAAE;oBAC9D,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM;gBACN,QAAQ,EAAE,IAAI;aACd,CAAC;QACH,CAAC;QAED,KAAK,aAAa,EAAE,CAAC;YACpB,IAAI,KAAK,CAAC,MAAM,KAAK,QAAQ;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAClE,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBAC7F,MAAM;gBACN,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,cAAc,EAAE,CAAC;YACrB,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBAC5F,MAAM;gBACN,QAAQ,EAAE,IAAI;aACd,CAAC;QACH,CAAC;QAED,KAAK,WAAW,EAAE,CAAC;YAClB,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,MAAM,EAAE,QAAQ;oBAChB,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,CAAC,aAAa,EAAE;oBACvE,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM;gBACN,QAAQ,EAAE,IAAI;aACd,CAAC;QACH,CAAC;QAED,KAAK,gBAAgB,EAAE,CAAC;YACvB,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,MAAM,EAAE,SAAS;oBACjB,gBAAgB,EAAE,MAAM,CAAC,SAAS;oBAClC,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;oBAClC,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM;gBACN,QAAQ,EAAE,IAAI;aACd,CAAC;QACH,CAAC;QAED,KAAK,cAAc,EAAE,CAAC;YACrB,iDAAiD;YACjD,OAAO;gBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;gBACxG,MAAM;gBACN,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,oBAAoB,EAAE,CAAC;YAC3B,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,MAAM,EAAE,eAAe;oBACvB,OAAO,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE;oBACpD,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM;gBACN,QAAQ,EAAE,IAAI;aACd,CAAC;QACH,CAAC;QAED,KAAK,qBAAqB,EAAE,CAAC;YAC5B,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,MAAM,EAAE,gBAAgB;oBACxB,OAAO,EAAE,EAAE,MAAM,EAAE,8BAA8B,EAAE;oBACnD,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM;gBACN,QAAQ,EAAE,IAAI;aACd,CAAC;QACH,CAAC;QAED,KAAK,YAAY,EAAE,CAAC;YACnB,iEAAgE;YAChE,+DAA6D;YAC7D,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,KAAK,EAAE;wBACN,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM;wBAC3C,WAAW,EAAE,MAAM,CAAC,OAAO;wBAC3B,UAAU,EAAE,MAAM,CAAC,MAAM;qBACzB;oBACD,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CACvC,EAAE,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CACjG;oBACD,SAAS,EAAE,GAAG,EAAE;iBAChB;gBACD,MAAM;gBACN,QAAQ;aACR,CAAC;QACH,CAAC;QAED,KAAK,eAAe,EAAE,CAAC;YACtB,8DAA8D;YAC9D,yDAAsD;YACtD,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU;gBAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YAC1E,IAAI,KAAK,CAAC,KAAK,CAAC,WAAW,KAAK,MAAM,EAAE,CAAC;gBACxC,OAAO;oBACN,KAAK,EAAE;wBACN,GAAG,KAAK;wBACR,OAAO,EAAE,EAAE,MAAM,EAAE,6DAA6D,EAAE;wBAClF,SAAS,EAAE,GAAG,EAAE;qBAChB;oBACD,MAAM;oBACN,QAAQ,EAAE,IAAI;iBACd,CAAC;YACH,CAAC;YACD,uDAAsD;YACtD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjE,OAAO;oBACN,KAAK,EAAE,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,sCAAsC,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,EAAE;oBAClG,MAAM;oBACN,QAAQ,EAAE,IAAI;iBACd,CAAC;YACH,CAAC;YACD,MAAM,MAAM,GAAmB,aAAa,CAAC,KAAK,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC9E,OAAO;gBACN,KAAK,EAAE;oBACN,GAAG,KAAK;oBACR,MAAM,EAAE,UAAU;oBAClB,KAAK,EAAE,MAAM;oBACb,QAAQ,EAAE,MAAM;oBAChB,SAAS,EAAE,GAAG,EAAE;oBAChB,OAAO,EAAE,SAAS;iBAClB;gBACD,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;gBAC3B,QAAQ,EAAE,IAAI;aACd,CAAC;QACH,CAAC;QAED;YACC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACrC,CAAC;AAAA,CACD;AAED,SAAS,aAAa,CAAC,CAAiB,EAAE,CAAiB,EAAkB;IAC5E,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC7D,OAAO,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAAA,CACvE;AAED,SAAS,GAAG,GAAW;IACtB,OAAO,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;AAAA,CAChC","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"]}

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

@@ -0,0 +1,31 @@
+/**
+ * Ada Intelligence Engine — tools del Goal Engine.
+ *
+ * Herramientas que el agente usa durante un goal: goal_complete (con
+ * evidencia), goal_blocked, goal_wait, todo (checklist), ask_user_question
+ * (cuestionario tipado, pi-ask-user). Se registran en la sesión activa del
+ * goal; su estado vive en el GoalEngine (inyectado como "engine").
+ */
+import type { ToolDefinition } from "../../extensions/types.ts";
+import type { GoalEngine } from "./engine.ts";
+export interface GoalToolContext {
+    engine: GoalEngine;
+    goalId: string;
+}
+/**
+ * goal_new — Crea el contrato de un goal (estado setup). Tool de SESIÓN:
+ * no depende de un goal activo (a diferencia de goalTools). El agente la usa
+ * cuando el usuario pide "crea un goal para X" en lenguaje natural.
+ */
+export declare function createGoalNewTool(engine: GoalEngine, sessionId?: () => string | undefined): ToolDefinition;
+/** Todas las tools del Goal Engine para una sesión con goal activo. */
+export declare function goalTools(ctx: GoalToolContext): ToolDefinition[];
+/**
+ * goalSessionTools — variante para una SESIÓN: el goalId se resuelve en cada
+ * ejecución al goal activo (o se pasa explícito). Permite registrar las tools
+ * del goal sin conocer el id en buildRuntime (los goals se crean después).
+ */
+export declare function resolveActiveGoalId(engine: GoalEngine): Promise<string | null>;
+/** Registra las tools del Goal Engine resolviendo el goal activo por llamada. */
+export declare function goalSessionTools(engine: GoalEngine, sessionId?: () => string | undefined): ToolDefinition[];
+//# sourceMappingURL=tools.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tools.d.ts","sourceRoot":"","sources":["../../../../src/core/workflows/goal-engine/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,KAAK,EAAqC,cAAc,EAAE,MAAM,2BAA2B,CAAC;AACnG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,MAAM,WAAW,eAAe;IAC/B,MAAM,EAAE,UAAU,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CACf;AAYD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,MAAM,GAAG,SAAS,GAAG,cAAc,CAuC1G;AAED,wEAAuE;AACvE,wBAAgB,SAAS,CAAC,GAAG,EAAE,eAAe,GAAG,cAAc,EAAE,CAuKhE;AAED;;;;GAIG;AACH,wBAAsB,mBAAmB,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAIpF;AAED,iFAAiF;AACjF,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,MAAM,MAAM,GAAG,SAAS,GAAG,cAAc,EAAE,CAS3G","sourcesContent":["/**\n * Ada Intelligence Engine — tools del Goal Engine.\n *\n * Herramientas que el agente usa durante un goal: goal_complete (con\n * evidencia), goal_blocked, goal_wait, todo (checklist), ask_user_question\n * (cuestionario tipado, pi-ask-user). Se registran en la sesión activa del\n * goal; su estado vive en el GoalEngine (inyectado como \"engine\").\n */\n\nimport { Type } from \"typebox\";\nimport type { AgentToolResult, ExtensionContext, ToolDefinition } from \"../../extensions/types.ts\";\nimport type { GoalEngine } from \"./engine.ts\";\n\nexport interface GoalToolContext {\n\tengine: GoalEngine;\n\tgoalId: string;\n}\n\ntype OkResult = AgentToolResult<undefined>;\n\nfunction ok(_content: string, extra: Record<string, unknown> = {}): OkResult {\n\treturn { details: undefined, content: [{ type: \"text\", text: JSON.stringify({ ok: true, ...extra }) }] };\n}\n\nfunction notOk(error: string): OkResult {\n\treturn { details: undefined, content: [{ type: \"text\", text: JSON.stringify({ ok: false, error }) }] };\n}\n\n/**\n * goal_new — Crea el contrato de un goal (estado setup). Tool de SESIÓN:\n * no depende de un goal activo (a diferencia de goalTools). El agente la usa\n * cuando el usuario pide \"crea un goal para X\" en lenguaje natural.\n */\nexport function createGoalNewTool(engine: GoalEngine, sessionId?: () => string | undefined): ToolDefinition {\n\treturn {\n\t\tname: \"goal_new\",\n\t\tlabel: \"Crear goal\",\n\t\tdescription:\n\t\t\t\"Crea el contrato de un goal del Ada Intelligence Engine en estado setup. El goal NO arranca hasta que el usuario lo aprueba (/goal approve <id> o la tool goal_approve). Usa doneCriteria medibles y verifyCommand ejecutable.\",\n\t\tpromptSnippet: \"Crea un goal con contrato (goal_new)\",\n\t\tpromptGuidelines: [\n\t\t\t\"Define doneCriteria observables y medibles (nunca vagas).\",\n\t\t\t\"El goal queda en setup hasta aprobarse — indícalo al usuario.\",\n\t\t],\n\t\tparameters: Type.Object({\n\t\t\tgoal: Type.String({ description: \"El objetivo verbatim\" }),\n\t\t\tdoneCriteria: Type.Array(Type.String(), { description: \"Criterios medibles de hechura\" }),\n\t\t\tverifyCommand: Type.String({ description: \"Comando de verificación (o string vacío)\" }),\n\t\t}),\n\t\tasync execute(_toolCallId: string, input: { goal: string; doneCriteria: string[]; verifyCommand: string }) {\n\t\t\tconst state = await engine.createGoal({\n\t\t\t\tgoal: input.goal,\n\t\t\t\tdoneCriteria: Array.isArray(input.doneCriteria) ? input.doneCriteria : [],\n\t\t\t\tverifyCommand: input.verifyCommand ?? \"\",\n\t\t\t\tsessionId: sessionId ? sessionId() : undefined,\n\t\t\t});\n\t\t\treturn {\n\t\t\t\tdetails: undefined,\n\t\t\t\tcontent: [\n\t\t\t\t\t{\n\t\t\t\t\t\ttype: \"text\",\n\t\t\t\t\t\ttext: JSON.stringify({\n\t\t\t\t\t\t\tok: true,\n\t\t\t\t\t\t\tgoalId: state.id,\n\t\t\t\t\t\t\tstatus: state.status,\n\t\t\t\t\t\t\tmessage: `Contrato creado: ${state.id}. Apruebalo con /goal approve ${state.id}`,\n\t\t\t\t\t\t}),\n\t\t\t\t\t},\n\t\t\t\t],\n\t\t\t};\n\t\t},\n\t};\n}\n\n/** Todas las tools del Goal Engine para una sesión con goal activo. */\nexport function goalTools(ctx: GoalToolContext): ToolDefinition[] {\n\tconst { engine, goalId } = ctx;\n\n\treturn [\n\t\t{\n\t\t\tname: \"goal_complete\",\n\t\t\tlabel: \"Completar goal\",\n\t\t\tdescription:\n\t\t\t\t\"Declara el goal como completado. EXIGE evidencia citada (archivo:línea o URL) por cada criterio de hechura. Solo funciona si el juez ya emitió veredicto done — sin juez, sin completación.\",\n\t\t\tpromptSnippet: \"Completa el goal con evidencia citada (goal_complete)\",\n\t\t\tpromptGuidelines: [\n\t\t\t\t\"Nunca completes un goal sin evidencia citada archivo:línea o URL.\",\n\t\t\t\t\"Si el juez no ha dado done, sigue trabajando en lugar de forzar la completación.\",\n\t\t\t],\n\t\t\tparameters: Type.Object({\n\t\t\t\tsummary: Type.String({ description: \"Resumen de lo realizado\" }),\n\t\t\t\tevidence: Type.Array(\n\t\t\t\t\tType.Object({\n\t\t\t\t\t\tclaim: Type.String({ description: \"Afirmación verificable\" }),\n\t\t\t\t\t\tsource: Type.String({ description: \"archivo:línea, URL o comando que lo prueba\" }),\n\t\t\t\t\t}),\n\t\t\t\t\t{ description: \"Evidencia citada por cada criterio\" },\n\t\t\t\t),\n\t\t\t}),\n\t\t\tasync execute(\n\t\t\t\t_toolCallId: string,\n\t\t\t\tinput: { summary: string; evidence: Array<{ claim: string; source: string }> },\n\t\t\t\t_signal: AbortSignal | undefined,\n\t\t\t\t_onUpdate: unknown,\n\t\t\t\t_ctx: ExtensionContext,\n\t\t\t): Promise<OkResult> {\n\t\t\t\tconst state = await engine.complete(\n\t\t\t\t\tgoalId,\n\t\t\t\t\tinput.summary,\n\t\t\t\t\tinput.evidence.map((e) => ({ ...e, citedBy: \"agent\" })),\n\t\t\t\t);\n\t\t\t\treturn state.status === \"complete\"\n\t\t\t\t\t? ok(\"goal completado\", { status: state.status })\n\t\t\t\t\t: notOk(state.waiting?.reason ?? \"no completado\");\n\t\t\t},\n\t\t},\n\t\t{\n\t\t\tname: \"goal_blocked\",\n\t\t\tlabel: \"Bloquear goal\",\n\t\t\tdescription: \"Marca el goal como bloqueado con un motivo (necesita intervención del usuario).\",\n\t\t\tpromptSnippet: \"Bloquea el goal con motivo (goal_blocked)\",\n\t\t\tparameters: Type.Object({\n\t\t\t\treason: Type.String({ description: \"Motivo del bloqueo\" }),\n\t\t\t}),\n\t\t\tasync execute(\n\t\t\t\t_toolCallId: string,\n\t\t\t\tinput: { reason: string },\n\t\t\t\t_signal: AbortSignal | undefined,\n\t\t\t\t_onUpdate: unknown,\n\t\t\t\t_ctx: ExtensionContext,\n\t\t\t): Promise<OkResult> {\n\t\t\t\tconst state = await engine.blocked(goalId, input.reason);\n\t\t\t\treturn ok(\"goal bloqueado\", { status: state.status });\n\t\t\t},\n\t\t},\n\t\t{\n\t\t\tname: \"goal_wait\",\n\t\t\tlabel: \"Esperar\",\n\t\t\tdescription: \"Pausa el goal hasta que pase un tiempo o el usuario reanude.\",\n\t\t\tpromptSnippet: \"Pausa el goal (goal_wait)\",\n\t\t\tparameters: Type.Object({\n\t\t\t\treason: Type.String({ description: \"Por qué espera\" }),\n\t\t\t\tresumeAfterMs: Type.Optional(Type.Number({ description: \"Reanudar tras N ms\" })),\n\t\t\t}),\n\t\t\tasync execute(\n\t\t\t\t_toolCallId: string,\n\t\t\t\tinput: { reason: string; resumeAfterMs?: number },\n\t\t\t\t_signal: AbortSignal | undefined,\n\t\t\t\t_onUpdate: unknown,\n\t\t\t\t_ctx: ExtensionContext,\n\t\t\t): Promise<OkResult> {\n\t\t\t\tconst state = await engine.pause(goalId, input.reason);\n\t\t\t\treturn ok(\"goal pausado\", { status: state.status, resumeAfterMs: input.resumeAfterMs ?? null });\n\t\t\t},\n\t\t},\n\t\t{\n\t\t\tname: \"todo\",\n\t\t\tlabel: \"Checklist de tareas\",\n\t\t\tdescription:\n\t\t\t\t\"Reemplaza o actualiza la checklist de tareas del goal. Cada tarea: id estable (kebab-case), título, estado (pending|active|done). Se muestra en el panel en vivo.\",\n\t\t\tpromptSnippet: \"Actualiza la checklist del goal (todo)\",\n\t\t\tparameters: Type.Object({\n\t\t\t\ttasks: Type.Array(\n\t\t\t\t\tType.Object({\n\t\t\t\t\t\tid: Type.String({ description: \"id estable, kebab-case\" }),\n\t\t\t\t\t\ttitle: Type.String(),\n\t\t\t\t\t\tstatus: Type.Union([Type.Literal(\"pending\"), Type.Literal(\"active\"), Type.Literal(\"done\")]),\n\t\t\t\t\t\tdetail: Type.Optional(Type.String()),\n\t\t\t\t\t}),\n\t\t\t\t),\n\t\t\t}),\n\t\t\tasync execute(\n\t\t\t\t_toolCallId: string,\n\t\t\t\tinput: {\n\t\t\t\t\ttasks: Array<{ id: string; title: string; status: \"pending\" | \"active\" | \"done\"; detail?: string }>;\n\t\t\t\t},\n\t\t\t\t_signal: AbortSignal | undefined,\n\t\t\t\t_onUpdate: unknown,\n\t\t\t\t_ctx: ExtensionContext,\n\t\t\t): Promise<OkResult> {\n\t\t\t\tconst state = await engine.get(goalId);\n\t\t\t\tif (!state) return notOk(\"goal no encontrado\");\n\t\t\t\tawait engine.replaceTasks(goalId, input.tasks);\n\t\t\t\treturn ok(\"checklist actualizada\", { count: input.tasks.length });\n\t\t\t},\n\t\t},\n\t\t{\n\t\t\tname: \"ask_user_question\",\n\t\t\tlabel: \"Preguntar al usuario\",\n\t\t\tdescription:\n\t\t\t\t\"Cuando una decisión es ambigua o irreversible, pregunta al usuario con un cuestionario tipado (hasta 4 preguntas; single-select, multi-select o freeform). El goal se bloquea hasta que responda.\",\n\t\t\tpromptSnippet: \"Pregunta al usuario antes de decidir (ask_user_question)\",\n\t\t\tpromptGuidelines: [\n\t\t\t\t\"Usa ask_user_question cuando vayas a adivinar una decisión ambigua o irreversible.\",\n\t\t\t\t\"Máximo 4 preguntas; usa single-select con choices para decisiones cerradas.\",\n\t\t\t],\n\t\t\tparameters: Type.Object({\n\t\t\t\treason: Type.String({ description: \"Contexto de por qué preguntas\" }),\n\t\t\t\tquestions: Type.Array(\n\t\t\t\t\tType.Object({\n\t\t\t\t\t\tquestion: Type.String(),\n\t\t\t\t\t\ttype: Type.Union([\n\t\t\t\t\t\t\tType.Literal(\"single-select\"),\n\t\t\t\t\t\t\tType.Literal(\"multi-select\"),\n\t\t\t\t\t\t\tType.Literal(\"freeform\"),\n\t\t\t\t\t\t]),\n\t\t\t\t\t\tchoices: Type.Optional(Type.Array(Type.String())),\n\t\t\t\t\t\trequired: Type.Optional(Type.Boolean()),\n\t\t\t\t\t}),\n\t\t\t\t\t{ maxItems: 4 },\n\t\t\t\t),\n\t\t\t}),\n\t\t\tasync execute(\n\t\t\t\t_toolCallId: string,\n\t\t\t\tinput: {\n\t\t\t\t\treason: string;\n\t\t\t\t\tquestions: Array<{\n\t\t\t\t\t\tquestion: string;\n\t\t\t\t\t\ttype: \"single-select\" | \"multi-select\" | \"freeform\";\n\t\t\t\t\t\tchoices?: string[];\n\t\t\t\t\t\trequired?: boolean;\n\t\t\t\t\t}>;\n\t\t\t\t},\n\t\t\t\t_signal: AbortSignal | undefined,\n\t\t\t\t_onUpdate: unknown,\n\t\t\t\t_ctx: ExtensionContext,\n\t\t\t): Promise<OkResult> {\n\t\t\t\tconst state = await engine.askUser(\n\t\t\t\t\tgoalId,\n\t\t\t\t\tinput.reason,\n\t\t\t\t\tinput.questions.map((q, i) => ({\n\t\t\t\t\t\tid: `q${i + 1}`,\n\t\t\t\t\t\tquestion: q.question,\n\t\t\t\t\t\ttype: q.type,\n\t\t\t\t\t\tchoices: q.choices,\n\t\t\t\t\t\trequired: q.required,\n\t\t\t\t\t})),\n\t\t\t\t);\n\t\t\t\treturn ok(\"preguntas enviadas — goal bloqueado hasta respuesta\", { status: state.status });\n\t\t\t},\n\t\t},\n\t];\n}\n\n/**\n * goalSessionTools — variante para una SESIÓN: el goalId se resuelve en cada\n * ejecución al goal activo (o se pasa explícito). Permite registrar las tools\n * del goal sin conocer el id en buildRuntime (los goals se crean después).\n */\nexport async function resolveActiveGoalId(engine: GoalEngine): Promise<string | null> {\n\tconst goals = await engine.list().catch(() => []);\n\tconst active = goals.find((g) => g.status === \"active\" || g.status === \"setup\");\n\treturn active?.id ?? null;\n}\n\n/** Registra las tools del Goal Engine resolviendo el goal activo por llamada. */\nexport function goalSessionTools(engine: GoalEngine, sessionId?: () => string | undefined): ToolDefinition[] {\n\tconst staticCtx: GoalToolContext = { engine, goalId: \"\" };\n\t// Reusar las tools estáticas: su ctx.goalId se sobreescribe en cada llama\n\t// re-creando contexto con el goal activo.\n\t// goal_new no depende de goal activo — se registra tal cual.\n\treturn [\n\t\tcreateGoalNewTool(engine, sessionId),\n\t\t...goalTools(staticCtx).map((tool) => wrapResolvingGoal(tool, engine)),\n\t];\n}\n\ntype AnyTool = ToolDefinition<any, any, any>;\n\nfunction wrapResolvingGoal(tool: AnyTool, engine: GoalEngine): AnyTool {\n\tconst execute = tool.execute;\n\treturn {\n\t\t...tool,\n\t\texecute: async (toolCallId, params, signal, onUpdate, ctx) => {\n\t\t\tconst goalId = (await resolveActiveGoalId(engine)) ?? \"\";\n\t\t\tif (!goalId) {\n\t\t\t\treturn {\n\t\t\t\t\tdetails: undefined,\n\t\t\t\t\tcontent: [{ type: \"text\", text: JSON.stringify({ ok: false, error: \"no hay goal activo\" }) }],\n\t\t\t\t};\n\t\t\t}\n\t\t\tconst fresh = goalTools({ engine, goalId }).find((t) => t.name === tool.name);\n\t\t\tif (!fresh || !fresh.execute) {\n\t\t\t\treturn execute(toolCallId, params, signal, onUpdate, ctx);\n\t\t\t}\n\t\t\treturn fresh.execute(toolCallId, params, signal, onUpdate, ctx);\n\t\t},\n\t};\n}\n"]}