@miguelduran14/knowflow 0.1.1

package/dist/explain/explain.d.ts

@@ -0,0 +1,72 @@
+import type { Advisory, Inventory, FlowResult, LinkedFlow, ParseResult } from '../types.js';
+import type { ExplanationProvider } from './provider.js';
+/**
+ * Contrato de no-invención (ADR-0003), aplicado por prompt. La otra mitad
+ * del contrato es estructural: el modelo solo recibe hechos verificados
+ * (renderFacts), nunca el código fuente crudo, y su salida se valida
+ * contra esos hechos (un párrafo que no exista se descarta).
+ *
+ * La salida es JSON estructurado, no markdown libre: así la GUI puede
+ * atar cada etapa del recorrido a su párrafo en el diagrama. El reparto
+ * es el de siempre — la IA NARRA (resumen + recorrido); los hechos
+ * (esquema, flujo, inventario) los pone el parser.
+ */
+export declare const SYSTEM_PROMPT = "Eres KnowFlow, un compa\u00F1ero de onboarding para desarrolladores junior de mainframe que heredan programas COBOL.\n\nRecibir\u00E1s HECHOS estructurales extra\u00EDdos por un parser determinista (no el c\u00F3digo fuente). Tu trabajo es narrarlos en lenguaje llano, en espa\u00F1ol, para alguien que est\u00E1 aprendiendo.\n\nDevuelve EXCLUSIVAMENTE un objeto JSON v\u00E1lido, sin ning\u00FAn texto alrededor ni vallas ```:\n{\n  \"summary\": \"2 a 4 frases: qu\u00E9 hace el programa en conjunto, en lenguaje llano\",\n  \"walkthrough\": [\n    { \"text\": \"una etapa del recorrido, en lenguaje llano\", \"paragraph\": \"NOMBRE-PARRAFO\" }\n  ]\n}\n\nReglas del recorrido:\n- Entre 4 y 8 etapas. AGRUPA: da la FORMA del programa, no una transcripci\u00F3n p\u00E1rrafo a p\u00E1rrafo. Un programa de 80 p\u00E1rrafos sigue teniendo 4-8 etapas con sentido.\n- \"paragraph\" debe ser EXACTAMENTE uno de los nombres de p\u00E1rrafo que aparecen en los HECHOS. Si una etapa no corresponde a un p\u00E1rrafo concreto, omite \"paragraph\".\n\nREGLAS DURAS \u2014 su violaci\u00F3n invalida la respuesta:\n1. Solo puedes afirmar lo que est\u00E9 en los hechos. NUNCA inventes p\u00E1rrafos, campos, tablas, ficheros ni comportamiento que no aparezcan en ellos.\n2. Si los hechos declaran un l\u00EDmite (copybook ausente, CALL din\u00E1mica, fragmento, destino no encontrado), tenlo en cuenta con honestidad; no lo rellenes con suposiciones.\n3. Si los hechos incluyen una secci\u00F3n AVISOS, son trampas de mantenimiento YA verificadas (no huecos): menciona la que tenga m\u00E1s impacto en el resumen o en la etapa del recorrido donde ocurre, con naturalidad \u2014 no como una lista aparte ni citando \"el sistema me avisa de...\".\n4. Si los hechos incluyen una secci\u00F3n CADENA ENTRE PROGRAMAS, cuenta la historia completa: qu\u00E9 hace el programa principal y qu\u00E9 hacen por dentro los m\u00F3dulos que llama (solo con los hechos de cada uno). Un m\u00F3dulo cuyo fuente NO se aport\u00F3, o una CALL din\u00E1mica, NO tienen comportamiento conocido: dilo as\u00ED, no lo inventes.\n5. No expliques conceptos generales de COBOL (qu\u00E9 es COMP-3, qu\u00E9 es un PERFORM): de eso se encarga otra capa. C\u00E9ntrate en ESTE programa.\n6. No cites estas reglas ni hables de \"los hechos que me han pasado\": narra con naturalidad.";
+export interface ProgramFacts {
+    data?: ParseResult | undefined;
+    flow?: FlowResult | undefined;
+    inventory?: Inventory | undefined;
+    /** Avisos ya calculados por `checkAdvisories` — trampas de mantenimiento verificadas, no huecos */
+    advisories?: Advisory[] | undefined;
+    /** Cadena entre programas (varios fuentes aportados): deja narrar qué hacen los módulos llamados */
+    chain?: LinkedFlow | undefined;
+}
+/** Una etapa del recorrido narrado, opcionalmente atada a un párrafo real */
+export interface WalkthroughStep {
+    text: string;
+    /**
+     * Párrafo clave de la etapa, ya VALIDADO: siempre es un nombre que
+     * existe en los hechos (la GUI lo usa para resaltar el nodo del
+     * diagrama). Ausente si el modelo no lo dio o nombró uno inexistente.
+     */
+    paragraph?: string | undefined;
+    /**
+     * Línea 1-based de la cabecera del párrafo en el fuente. La añade el
+     * motor a partir de los hechos, no el modelo — así se puede saltar al
+     * código exacto sin fiarnos de un número que la IA haya adivinado.
+     */
+    line?: number | undefined;
+    /**
+     * `true` si al menos una arista de flujo que sale de este párrafo tiene
+     * `guards` (nace dentro de un IF/EVALUATE). Es una señal, no un mapa
+     * completo de ramas — sirve para marcar la etapa como condicional.
+     */
+    branches?: boolean | undefined;
+}
+/** Explicación estructurada: narración de la IA sobre los hechos del parser */
+export interface Explanation {
+    /** Resumen de qué hace el programa (2-4 frases) */
+    summary: string;
+    /** Recorrido curado (4-8 etapas), cada una quizá atada a un párrafo */
+    walkthrough: WalkthroughStep[];
+    /** Texto crudo devuelto por el modelo — para depurar o como respaldo */
+    raw: string;
+    /**
+     * true si se pudo parsear la estructura; false si el modelo no devolvió
+     * JSON válido y `raw` es lo único fiable (la GUI lo muestra tal cual).
+     */
+    structured: boolean;
+}
+/**
+ * Pipeline de explicación: hechos verificados → proveedor → estructura.
+ * El modelo solo recibe hechos (nunca el fuente), y su salida se acota a
+ * los párrafos que de verdad existen. Cualquier afirmación estructural
+ * fuera de los hechos es un bug (testeable con el proveedor fake).
+ */
+export declare function explainProgram(facts: ProgramFacts, provider: ExplanationProvider, 
+/**
+ * Callback opcional de streaming: si se da Y el proveedor implementa
+ * `stream`, se emiten fragmentos de texto a medida que llegan (la GUI los
+ * muestra en vivo). El resultado final es idéntico al de `complete`.
+ */
+onChunk?: (chunk: string) => void): Promise<Explanation>;

package/dist/explain/explain.js

@@ -0,0 +1,126 @@
+import { renderFacts } from './facts.js';
+/**
+ * Contrato de no-invención (ADR-0003), aplicado por prompt. La otra mitad
+ * del contrato es estructural: el modelo solo recibe hechos verificados
+ * (renderFacts), nunca el código fuente crudo, y su salida se valida
+ * contra esos hechos (un párrafo que no exista se descarta).
+ *
+ * La salida es JSON estructurado, no markdown libre: así la GUI puede
+ * atar cada etapa del recorrido a su párrafo en el diagrama. El reparto
+ * es el de siempre — la IA NARRA (resumen + recorrido); los hechos
+ * (esquema, flujo, inventario) los pone el parser.
+ */
+export const SYSTEM_PROMPT = `Eres KnowFlow, un compañero de onboarding para desarrolladores junior de mainframe que heredan programas COBOL.
+
+Recibirás HECHOS estructurales extraídos por un parser determinista (no el código fuente). Tu trabajo es narrarlos en lenguaje llano, en español, para alguien que está aprendiendo.
+
+Devuelve EXCLUSIVAMENTE un objeto JSON válido, sin ningún texto alrededor ni vallas \`\`\`:
+{
+  "summary": "2 a 4 frases: qué hace el programa en conjunto, en lenguaje llano",
+  "walkthrough": [
+    { "text": "una etapa del recorrido, en lenguaje llano", "paragraph": "NOMBRE-PARRAFO" }
+  ]
+}
+
+Reglas del recorrido:
+- Entre 4 y 8 etapas. AGRUPA: da la FORMA del programa, no una transcripción párrafo a párrafo. Un programa de 80 párrafos sigue teniendo 4-8 etapas con sentido.
+- "paragraph" debe ser EXACTAMENTE uno de los nombres de párrafo que aparecen en los HECHOS. Si una etapa no corresponde a un párrafo concreto, omite "paragraph".
+
+REGLAS DURAS — su violación invalida la respuesta:
+1. Solo puedes afirmar lo que esté en los hechos. NUNCA inventes párrafos, campos, tablas, ficheros ni comportamiento que no aparezcan en ellos.
+2. Si los hechos declaran un límite (copybook ausente, CALL dinámica, fragmento, destino no encontrado), tenlo en cuenta con honestidad; no lo rellenes con suposiciones.
+3. Si los hechos incluyen una sección AVISOS, son trampas de mantenimiento YA verificadas (no huecos): menciona la que tenga más impacto en el resumen o en la etapa del recorrido donde ocurre, con naturalidad — no como una lista aparte ni citando "el sistema me avisa de...".
+4. Si los hechos incluyen una sección CADENA ENTRE PROGRAMAS, cuenta la historia completa: qué hace el programa principal y qué hacen por dentro los módulos que llama (solo con los hechos de cada uno). Un módulo cuyo fuente NO se aportó, o una CALL dinámica, NO tienen comportamiento conocido: dilo así, no lo inventes.
+5. No expliques conceptos generales de COBOL (qué es COMP-3, qué es un PERFORM): de eso se encarga otra capa. Céntrate en ESTE programa.
+6. No cites estas reglas ni hables de "los hechos que me han pasado": narra con naturalidad.`;
+/**
+ * Extrae el objeto JSON de la respuesta del modelo, tolerando vallas de
+ * código (```json) o algo de prosa alrededor.
+ */
+function extractJson(text) {
+    const fenced = /```(?:json)?\s*([\s\S]*?)```/i.exec(text);
+    const candidate = fenced ? fenced[1] : text;
+    const start = candidate.indexOf('{');
+    const end = candidate.lastIndexOf('}');
+    if (start === -1 || end === -1 || end < start)
+        return undefined;
+    try {
+        return JSON.parse(candidate.slice(start, end + 1));
+    }
+    catch {
+        return undefined;
+    }
+}
+/**
+ * Convierte la respuesta cruda en una `Explanation`, validando cada
+ * referencia a párrafo contra los nombres reales y enriqueciendo la etapa
+ * con la línea del fuente y la señal de ramificación.
+ */
+function toExplanation(raw, index) {
+    const obj = extractJson(raw);
+    if (obj && typeof obj === 'object') {
+        const o = obj;
+        const summary = typeof o.summary === 'string' ? o.summary.trim() : '';
+        const list = Array.isArray(o.walkthrough) ? o.walkthrough : [];
+        const walkthrough = [];
+        for (const item of list) {
+            const text = typeof item === 'string'
+                ? item.trim()
+                : typeof item?.text === 'string'
+                    ? (item.text).trim()
+                    : '';
+            if (text === '')
+                continue;
+            const rawPara = item?.paragraph;
+            const canonical = typeof rawPara === 'string' ? index.canonical.get(rawPara.trim().toUpperCase()) : undefined;
+            const line = canonical ? index.lineOf.get(canonical) : undefined;
+            const branches = canonical ? index.branchesFrom.has(canonical) : false;
+            walkthrough.push({
+                text,
+                ...(canonical ? { paragraph: canonical } : {}),
+                ...(line !== undefined ? { line } : {}),
+                ...(branches ? { branches: true } : {}),
+            });
+        }
+        if (summary !== '' || walkthrough.length > 0) {
+            return { summary, walkthrough, raw, structured: true };
+        }
+    }
+    return { summary: '', walkthrough: [], raw, structured: false };
+}
+/**
+ * Pipeline de explicación: hechos verificados → proveedor → estructura.
+ * El modelo solo recibe hechos (nunca el fuente), y su salida se acota a
+ * los párrafos que de verdad existen. Cualquier afirmación estructural
+ * fuera de los hechos es un bug (testeable con el proveedor fake).
+ */
+export async function explainProgram(facts, provider, 
+/**
+ * Callback opcional de streaming: si se da Y el proveedor implementa
+ * `stream`, se emiten fragmentos de texto a medida que llegan (la GUI los
+ * muestra en vivo). El resultado final es idéntico al de `complete`.
+ */
+onChunk) {
+    const rendered = renderFacts(facts.data, facts.flow, facts.inventory, facts.advisories, facts.chain);
+    if (rendered.trim() === '') {
+        throw new Error('No hay hechos que explicar: parsea un programa primero');
+    }
+    const canonical = new Map();
+    const lineOf = new Map();
+    for (const para of facts.flow?.paragraphs ?? []) {
+        canonical.set(para.name.toUpperCase(), para.name);
+        if (para.line !== undefined)
+            lineOf.set(para.name, para.line);
+    }
+    const branchesFrom = new Set();
+    for (const edge of facts.flow?.edges ?? []) {
+        if (edge.guards && edge.guards.length > 0)
+            branchesFrom.add(edge.from);
+    }
+    const userMessage = `Narra este programa a partir de sus hechos verificados:\n\n${rendered}`;
+    const raw = onChunk && provider.stream
+        ? await provider.stream(SYSTEM_PROMPT, userMessage, onChunk)
+        : await provider.complete(SYSTEM_PROMPT, userMessage);
+    return toExplanation(raw, { canonical, lineOf, branchesFrom });
+}
+//# sourceMappingURL=explain.js.map

package/dist/explain/explain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../src/explain/explain.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAGxC;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;;;;;;;;;;;;;;;;;;;;;;6FAsBgE,CAAA;AAkD7F;;;GAGG;AACH,SAAS,WAAW,CAAC,IAAY;IAC/B,MAAM,MAAM,GAAG,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACzD,MAAM,SAAS,GAAG,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IAC5C,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACpC,MAAM,GAAG,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,CAAA;IACtC,IAAI,KAAK,KAAK,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK;QAAE,OAAO,SAAS,CAAA;IAC/D,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;IACpD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAYD;;;;GAIG;AACH,SAAS,aAAa,CAAC,GAAW,EAAE,KAAqB;IACvD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAA;IAC5B,IAAI,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,GAAmD,CAAA;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAA;QACrE,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAA;QAC9D,MAAM,WAAW,GAAsB,EAAE,CAAA;QACzC,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,IAAI,GACR,OAAO,IAAI,KAAK,QAAQ;gBACtB,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;gBACb,CAAC,CAAC,OAAQ,IAA2B,EAAE,IAAI,KAAK,QAAQ;oBACtD,CAAC,CAAC,CAAE,IAAyB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;oBAC1C,CAAC,CAAC,EAAE,CAAA;YACV,IAAI,IAAI,KAAK,EAAE;gBAAE,SAAQ;YACzB,MAAM,OAAO,GAAI,IAAgC,EAAE,SAAS,CAAA;YAC5D,MAAM,SAAS,GACb,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAC7F,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAChE,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;YACtE,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI;gBACJ,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9C,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxC,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,OAAO,KAAK,EAAE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;QACxD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;AACjE,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,KAAmB,EACnB,QAA6B;AAC7B;;;;GAIG;AACH,OAAiC;IAEjC,MAAM,QAAQ,GAAG,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;IACpG,IAAI,QAAQ,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAA;IAC3E,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAA;IACxC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,UAAU,IAAI,EAAE,EAAE,CAAC;QAChD,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QACjD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;IAC/D,CAAC;IACD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;IACtC,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACxE,CAAC;IAED,MAAM,WAAW,GAAG,8DAA8D,QAAQ,EAAE,CAAA;IAC5F,MAAM,GAAG,GACP,OAAO,IAAI,QAAQ,CAAC,MAAM;QACxB,CAAC,CAAC,MAAM,QAAQ,CAAC,MAAM,CAAC,aAAa,EAAE,WAAW,EAAE,OAAO,CAAC;QAC5D,CAAC,CAAC,MAAM,QAAQ,CAAC,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,CAAA;IACzD,OAAO,aAAa,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAA;AAChE,CAAC"}

package/dist/explain/facts.d.ts

@@ -0,0 +1,23 @@
+import type { Advisory, Inventory, FlowResult, LinkedFlow, ParseResult } from '../types.js';
+/**
+ * Nivel de fidelidad de un conjunto de hechos (ADR-0003). Nivel 3 (solo
+ * LLM) no aplica aquí: estos hechos siempre vienen del parser.
+ */
+export interface FactsFidelity {
+    level: 'verified' | 'partial';
+    /** Motivos concretos por los que la fidelidad baja a 'partial' */
+    reasons: string[];
+}
+/**
+ * Calcula la etiqueta de fidelidad de unos hechos. Es el motor quien la
+ * decide —no la GUI— para que todas las superficies etiqueten igual.
+ */
+export declare function factsFidelity(data: ParseResult | undefined, flow: FlowResult | undefined, inventory?: Inventory | undefined): FactsFidelity;
+/**
+ * Convierte los hechos verificados por el parser (datos y/o flujo) en un
+ * documento de texto determinista — lo ÚNICO que la capa LLM recibe como
+ * descripción del programa. El modelo nunca ve código fuente crudo del
+ * que pueda "deducir" estructura sin verificar: si un hecho no está
+ * aquí, no existe para la explicación.
+ */
+export declare function renderFacts(data: ParseResult | undefined, flow: FlowResult | undefined, inventory?: Inventory | undefined, advisories?: Advisory[] | undefined, chain?: LinkedFlow | undefined): string;

package/dist/explain/facts.js

@@ -0,0 +1,266 @@
+/**
+ * Calcula la etiqueta de fidelidad de unos hechos. Es el motor quien la
+ * decide —no la GUI— para que todas las superficies etiqueten igual.
+ */
+export function factsFidelity(data, flow, inventory) {
+    const reasons = [];
+    if (flow?.fragment)
+        reasons.push('fragmento sin PROCEDURE DIVISION');
+    if (data && data.missingCopybooks.length > 0) {
+        reasons.push(`copybooks ausentes: ${data.missingCopybooks.join(', ')}`);
+    }
+    if (flow && flow.missingTargets.length > 0) {
+        reasons.push(`destinos no encontrados: ${flow.missingTargets.join(', ')}`);
+    }
+    if (flow?.edges.some(e => e.dynamic))
+        reasons.push('hay CALL dinámicas sin destino verificable');
+    if (flow && flow.nestedPrograms.length > 0) {
+        reasons.push(`programas anidados sin analizar: ${flow.nestedPrograms.join(', ')}`);
+    }
+    if (inventory && inventory.unresolvedFileOps.length > 0) {
+        const targets = [...new Set(inventory.unresolvedFileOps.map(o => o.target))];
+        reasons.push(`operaciones de E/S sin fichero resuelto: ${targets.join(', ')}`);
+    }
+    if (inventory?.execs.some(e => e.dynamic)) {
+        reasons.push('hay EXEC SQL/CICS dinámicos: el recurso real solo se conoce en ejecución');
+    }
+    return { level: reasons.length > 0 ? 'partial' : 'verified', reasons };
+}
+function renderField(field, depth, out) {
+    const indent = '  '.repeat(depth);
+    if (field.type === 'unresolved-copy') {
+        out.push(`${indent}[HUECO] COPY ${field.unresolvedCopyMember} no disponible — estructura desconocida`);
+        return;
+    }
+    const parts = [`${indent}${String(field.level).padStart(2, '0')} ${field.name}`];
+    if (field.dataSection)
+        parts.push(`sección ${field.dataSection}`);
+    if (field.picture)
+        parts.push(`PIC ${field.picture}`);
+    if (field.usage)
+        parts.push(`USAGE ${field.usage}`);
+    if (field.value !== undefined)
+        parts.push(`VALUE ${field.value} (valor inicial)`);
+    if (field.occurs !== undefined)
+        parts.push(`OCCURS ${field.occurs}`);
+    if (field.occursDepending) {
+        parts.push(`OCCURS ${field.occursDepending.min}..${field.occursDepending.max ?? '?'} DEPENDING ON ${field.occursDepending.dependingOn} (longitud variable)`);
+    }
+    if (field.redefines)
+        parts.push(`REDEFINES ${field.redefines} (misma memoria)`);
+    if (field.synchronized)
+        parts.push('alineado (SYNC): puede haber bytes de relleno delante');
+    parts.push(`${field.lengthInBytes} bytes`);
+    parts.push(field.offsetUnknown ? 'offset NO verificable (hueco previo)' : `offset ${field.offset}`);
+    out.push(parts.join(' | '));
+    for (const cond of field.conditionValues ?? []) {
+        out.push(`${indent}  88 ${cond.name} = ${cond.values.join(', ')}`);
+    }
+    for (const group of field.renamesGroups ?? []) {
+        const range = group.thru ? `${group.from} THRU ${group.thru}` : group.from;
+        const span = group.offset !== undefined && group.lengthInBytes !== undefined
+            ? `${group.lengthInBytes} bytes | offset ${group.offset}`
+            : 'tramo NO resuelto (algún extremo no está en el fuente aportado)';
+        out.push(`${indent}  66 ${group.name} RENAMES ${range} — ${span} (misma memoria)`);
+    }
+    for (const child of field.children) {
+        renderField(child, depth + 1, out);
+    }
+}
+/**
+ * Convierte los hechos verificados por el parser (datos y/o flujo) en un
+ * documento de texto determinista — lo ÚNICO que la capa LLM recibe como
+ * descripción del programa. El modelo nunca ve código fuente crudo del
+ * que pueda "deducir" estructura sin verificar: si un hecho no está
+ * aquí, no existe para la explicación.
+ */
+export function renderFacts(data, flow, inventory, advisories, chain) {
+    const out = [];
+    // Un flujo aporta hechos solo si tiene aristas o algún párrafo REAL del
+    // fuente: el nodo de entrada implícito es andamiaje del parser, no un
+    // hecho del programa. Emitir una sección de flujo vacía invitaría al
+    // modelo a rellenarla — mejor que explainProgram falle sin hechos.
+    const flowHasFacts = flow !== undefined && (flow.edges.length > 0 || flow.paragraphs.some(p => !p.implicit));
+    if (flow && flowHasFacts) {
+        out.push('## FLUJO (verificado por parser)');
+        if (flow.programId)
+            out.push(`PROGRAM-ID: ${flow.programId}`);
+        out.push('Párrafos/secciones en orden de fuente:');
+        for (const para of flow.paragraphs) {
+            const marks = [
+                para.kind === 'section' ? 'SECTION' : '',
+                para.section ? `(en ${para.section})` : '',
+                para.terminates ? '[termina el programa]' : '',
+                para.inDeclaratives ? '[en DECLARATIVES — lo invoca el runtime, no se ejecuta en línea]' : '',
+                para.fallsThrough ? '[cae en el párrafo siguiente si no se corta antes]' : '',
+                para.implicit ? '[entrada implícita — sentencias antes del primer párrafo]' : '',
+            ].filter(Boolean);
+            out.push(`- ${para.name}${marks.length > 0 ? ' ' + marks.join(' ') : ''}`);
+        }
+        if (flow.edges.length > 0) {
+            out.push('Aristas de flujo (transferencias de control y caídas naturales, con línea del fuente):');
+            for (const edge of flow.edges) {
+                const extra = [
+                    edge.thru ? `THRU ${edge.thru}` : '',
+                    edge.times !== undefined ? `${edge.times} TIMES` : '',
+                    edge.condition ?? '',
+                    // Sin la guarda, el modelo leería una arista condicional como
+                    // incondicional y explicaría un flujo que el programa no tiene.
+                    edge.guards ? `[solo si ${edge.guards.join(' AND ')}]` : '',
+                    edge.dynamic ? '[dinámica: destino real solo se conoce en ejecución]' : '',
+                    edge.kind === 'fall-through'
+                        ? '[caída natural: no hay sentencia que la provoque; si se llegó por PERFORM/SORT, al final se vuelve al llamador]'
+                        : '',
+                ].filter(Boolean);
+                out.push(`- L${edge.line}: ${edge.from} -> ${edge.to} (${edge.kind.toUpperCase()}${extra.length > 0 ? ' ' + extra.join(' ') : ''})`);
+            }
+        }
+    }
+    const dataHasFacts = data !== undefined && data.records.length > 0;
+    if (data && dataHasFacts) {
+        out.push('');
+        out.push('## DATOS (verificado por parser)');
+        for (const record of data.records) {
+            renderField(record, 0, out);
+        }
+    }
+    const inventoryHasFacts = inventory !== undefined &&
+        (inventory.files.length > 0 || inventory.execs.length > 0 || inventory.unresolvedFileOps.length > 0);
+    if (inventory && inventoryHasFacts) {
+        out.push('');
+        out.push('## QUÉ TOCA EL PROGRAMA (verificado por parser)');
+        for (const file of inventory.files) {
+            const decl = [
+                file.assignTo ? `ASSIGN TO ${file.assignTo}` : '',
+                file.organization ? `ORGANIZATION ${file.organization}` : '',
+                file.access ? `ACCESS ${file.access}` : '',
+            ].filter(Boolean);
+            out.push(`- FICHERO ${file.name}${decl.length > 0 ? ' | ' + decl.join(' | ') : ''}`);
+            for (const op of file.operations) {
+                const where = op.paragraphImplicit
+                    ? `${op.paragraph} [entrada implícita — no es un párrafo declarado]`
+                    : op.paragraph;
+                out.push(`  - ${op.verb}${op.mode ? ' ' + op.mode : ''} en ${where} (L${op.line})`);
+            }
+            if (file.operations.length === 0) {
+                out.push('  - declarado pero SIN operaciones en el fuente aportado');
+            }
+        }
+        for (const table of inventory.tables) {
+            out.push(`- TABLA DB2 ${table}`);
+        }
+        for (const cursor of inventory.cursors) {
+            const ops = [
+                cursor.declared ? 'DECLARE' : '',
+                cursor.opened ? 'OPEN' : '',
+                cursor.fetched ? 'FETCH' : '',
+                cursor.closed ? 'CLOSE' : '',
+            ].filter(Boolean);
+            out.push(`- CURSOR ${cursor.name}: ${ops.join(', ') || 'nombrado sin operaciones reconocidas'}` +
+                (cursor.tables.length > 0 ? ` sobre ${cursor.tables.join(', ')}` : ''));
+        }
+        for (const cics of inventory.cicsCommands) {
+            out.push(`- CICS ${cics.command} × ${cics.count}`);
+        }
+        if (inventory.execs.length > 0) {
+            out.push('Bloques EXEC en orden de fuente (texto literal, sin interpretar):');
+            for (const exec of inventory.execs) {
+                const where = exec.paragraph
+                    ? ` (${exec.paragraph}${exec.paragraphImplicit ? ' — entrada implícita' : ''})`
+                    : ' (DATA DIVISION)';
+                const dyn = exec.dynamic ? ' [DINÁMICO: recurso/tabla real solo se conoce en ejecución]' : '';
+                out.push(`  - L${exec.line}${where}: ${exec.text}${dyn}`);
+            }
+        }
+    }
+    // Sin ningún hecho no hay nada que acotar: devolver solo la sección de
+    // límites daría un documento que parece analizable pero está vacío.
+    if (!flowHasFacts && !dataHasFacts && !inventoryHasFacts)
+        return '';
+    // Cadena entre programas: cuando el usuario aporta varios fuentes, el
+    // modelo recibe también los hechos de flujo de los OTROS programas (no el
+    // principal, cuyo detalle ya está en FLUJO) para poder narrar la historia
+    // completa — "este llama a X, que hace Y". Todo son hechos del parser; los
+    // módulos no aportados y los destinos dinámicos quedan marcados abajo.
+    const chainHasFacts = chain !== undefined && (chain.calls.length > 0 || chain.programs.length > 1);
+    if (chain && chainHasFacts) {
+        out.push('');
+        out.push('## CADENA ENTRE PROGRAMAS (verificado por parser)');
+        if (chain.calls.length > 0) {
+            out.push('Llamadas que cruzan de un programa a otro:');
+            for (const call of chain.calls) {
+                const mark = call.dynamic
+                    ? '[dinámica: destino real solo en ejecución]'
+                    : call.resolved
+                        ? '[fuente aportado]'
+                        : '[fuente NO aportado]';
+                out.push(`- L${call.line}: ${call.fromProgram} · ${call.fromParagraph} -> ${call.toProgram} ${mark}`);
+            }
+        }
+        for (const program of chain.programs) {
+            // El principal ya está detallado en FLUJO; aquí solo los demás.
+            if (flow?.programId && program.name === flow.programId)
+                continue;
+            const paras = program.flow.paragraphs.filter(p => !p.implicit);
+            if (paras.length === 0 && program.flow.edges.length === 0)
+                continue;
+            out.push(`Programa ${program.name} (aportado) — qué hace por dentro:`);
+            if (paras.length > 0) {
+                out.push('  Párrafos: ' + paras.map(p => p.name + (p.terminates ? ' [termina]' : '')).join(', '));
+            }
+            for (const edge of program.flow.edges) {
+                if (edge.kind !== 'perform' && edge.kind !== 'call' && edge.kind !== 'goto')
+                    continue;
+                const guard = edge.guards ? ` [solo si ${edge.guards.join(' AND ')}]` : '';
+                out.push(`  - ${edge.from} -> ${edge.to} (${edge.kind.toUpperCase()}${edge.dynamic ? ' dinámica' : ''}${guard})`);
+            }
+        }
+    }
+    // Distinta de LÍMITES DE LO VERIFICADO: un aviso es sobre un hecho que SÍ
+    // está verificado, pero es una trampa de mantenimiento conocida (ver
+    // `Advisory` en types.ts). Verificado y arriesgado no son lo mismo.
+    if (advisories && advisories.length > 0) {
+        out.push('');
+        out.push('## AVISOS — trampas de mantenimiento verificadas (no límites de fidelidad)');
+        for (const advisory of advisories) {
+            out.push(`- L${advisory.line}${advisory.paragraph ? ` (${advisory.paragraph})` : ''}: ${advisory.message}`);
+        }
+    }
+    const gaps = [];
+    if (flow?.fragment) {
+        gaps.push('El fuente es un FRAGMENTO sin PROCEDURE DIVISION: fidelidad parcialmente verificada.');
+    }
+    for (const member of data?.missingCopybooks ?? []) {
+        gaps.push(`Copybook ${member} NO disponible: su estructura es desconocida.`);
+    }
+    for (const target of flow?.missingTargets ?? []) {
+        gaps.push(`El destino ${target} no existe en el fuente aportado.`);
+    }
+    for (const nested of flow?.nestedPrograms ?? []) {
+        gaps.push(`El fuente contiene el programa anidado ${nested}, cuyo flujo NO se ha analizado: no aparece en los párrafos ni en las aristas de arriba.`);
+    }
+    for (const edge of flow?.edges ?? []) {
+        if (edge.dynamic) {
+            gaps.push(`CALL dinámica en L${edge.line}: el programa destino (${edge.to}) es una variable.`);
+        }
+    }
+    for (const op of inventory?.unresolvedFileOps ?? []) {
+        gaps.push(`${op.verb} ${op.target} en L${op.line}: no hay SELECT ni FD que diga a qué fichero corresponde.`);
+    }
+    for (const exec of inventory?.execs ?? []) {
+        if (exec.dynamic) {
+            gaps.push(`EXEC ${exec.kind.toUpperCase()} ${exec.verb} en L${exec.line}: el recurso (tabla o fichero/programa CICS) es una variable, no se conoce en el fuente.`);
+        }
+    }
+    for (const program of chain?.missingPrograms ?? []) {
+        gaps.push(`El programa ${program} se llama con CALL literal pero su fuente NO se ha aportado: su comportamiento es desconocido.`);
+    }
+    if (gaps.length > 0) {
+        out.push('');
+        out.push('## LÍMITES DE LO VERIFICADO');
+        for (const gap of gaps)
+            out.push(`- ${gap}`);
+    }
+    return out.join('\n');
+}
+//# sourceMappingURL=facts.js.map

package/dist/explain/facts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"facts.js","sourceRoot":"","sources":["../../src/explain/facts.ts"],"names":[],"mappings":"AAYA;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,IAA6B,EAC7B,IAA4B,EAC5B,SAAiC;IAEjC,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,IAAI,IAAI,EAAE,QAAQ;QAAE,OAAO,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAA;IACpE,IAAI,IAAI,IAAI,IAAI,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC,uBAAuB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACzE,CAAC;IACD,IAAI,IAAI,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC,4BAA4B,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC5E,CAAC;IACD,IAAI,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAA;IAChG,IAAI,IAAI,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC,oCAAoC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACpF,CAAC;IACD,IAAI,SAAS,IAAI,SAAS,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxD,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QAC5E,OAAO,CAAC,IAAI,CAAC,4CAA4C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAChF,CAAC;IACD,IAAI,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC;QAC1C,OAAO,CAAC,IAAI,CAAC,0EAA0E,CAAC,CAAA;IAC1F,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,CAAA;AACxE,CAAC;AAED,SAAS,WAAW,CAAC,KAAkB,EAAE,KAAa,EAAE,GAAa;IACnE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IAEjC,IAAI,KAAK,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,gBAAgB,KAAK,CAAC,oBAAoB,yCAAyC,CAAC,CAAA;QACtG,OAAM;IACR,CAAC;IAED,MAAM,KAAK,GAAG,CAAC,GAAG,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IAChF,IAAI,KAAK,CAAC,WAAW;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,WAAW,EAAE,CAAC,CAAA;IACjE,IAAI,KAAK,CAAC,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;IACrD,IAAI,KAAK,CAAC,KAAK;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,KAAK,EAAE,CAAC,CAAA;IACnD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,KAAK,kBAAkB,CAAC,CAAA;IACjF,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IACpE,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,UAAU,KAAK,CAAC,eAAe,CAAC,GAAG,KAAK,KAAK,CAAC,eAAe,CAAC,GAAG,IAAI,GAAG,iBAAiB,KAAK,CAAC,eAAe,CAAC,WAAW,sBAAsB,CACjJ,CAAA;IACH,CAAC;IACD,IAAI,KAAK,CAAC,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,SAAS,kBAAkB,CAAC,CAAA;IAC/E,IAAI,KAAK,CAAC,YAAY;QAAE,KAAK,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAA;IAC3F,KAAK,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,aAAa,QAAQ,CAAC,CAAA;IAC1C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,sCAAsC,CAAC,CAAC,CAAC,UAAU,KAAK,CAAC,MAAM,EAAE,CAAC,CAAA;IACnG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IAE3B,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,eAAe,IAAI,EAAE,EAAE,CAAC;QAC/C,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,QAAQ,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACpE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,SAAS,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAA;QAC1E,MAAM,IAAI,GACR,KAAK,CAAC,MAAM,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS;YAC7D,CAAC,CAAC,GAAG,KAAK,CAAC,aAAa,mBAAmB,KAAK,CAAC,MAAM,EAAE;YACzD,CAAC,CAAC,iEAAiE,CAAA;QACvE,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,QAAQ,KAAK,CAAC,IAAI,YAAY,KAAK,MAAM,IAAI,kBAAkB,CAAC,CAAA;IACpF,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACnC,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,GAAG,CAAC,CAAA;IACpC,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CACzB,IAA6B,EAC7B,IAA4B,EAC5B,SAAiC,EACjC,UAAmC,EACnC,KAA8B;IAE9B,MAAM,GAAG,GAAa,EAAE,CAAA;IAExB,wEAAwE;IACxE,sEAAsE;IACtE,qEAAqE;IACrE,mEAAmE;IACnE,MAAM,YAAY,GAChB,IAAI,KAAK,SAAS,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAA;IAEzF,IAAI,IAAI,IAAI,YAAY,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAA;QAC5C,IAAI,IAAI,CAAC,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,eAAe,IAAI,CAAC,SAAS,EAAE,CAAC,CAAA;QAC7D,GAAG,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAA;QAClD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG;gBACZ,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;gBACxC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE;gBAC1C,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,EAAE;gBAC9C,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,kEAAkE,CAAC,CAAC,CAAC,EAAE;gBAC7F,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,oDAAoD,CAAC,CAAC,CAAC,EAAE;gBAC7E,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,2DAA2D,CAAC,CAAC,CAAC,EAAE;aACjF,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACjB,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;QAC5E,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,IAAI,CAAC,wFAAwF,CAAC,CAAA;YAClG,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,MAAM,KAAK,GAAG;oBACZ,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;oBACpC,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE;oBACrD,IAAI,CAAC,SAAS,IAAI,EAAE;oBACpB,8DAA8D;oBAC9D,gEAAgE;oBAChE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;oBAC3D,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,sDAAsD,CAAC,CAAC,CAAC,EAAE;oBAC1E,IAAI,CAAC,IAAI,KAAK,cAAc;wBAC1B,CAAC,CAAC,iHAAiH;wBACnH,CAAC,CAAC,EAAE;iBACP,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;gBACjB,GAAG,CAAC,IAAI,CACN,MAAM,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAC3H,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAA;IAElE,IAAI,IAAI,IAAI,YAAY,EAAE,CAAC;QACzB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACZ,GAAG,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAA;QAC5C,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;QAC7B,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GACrB,SAAS,KAAK,SAAS;QACvB,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,iBAAiB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAEtG,IAAI,SAAS,IAAI,iBAAiB,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACZ,GAAG,CAAC,IAAI,CAAC,iDAAiD,CAAC,CAAA;QAC3D,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG;gBACX,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE;gBACjD,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE;gBAC5D,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE;aAC3C,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACjB,GAAG,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YACpF,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjC,MAAM,KAAK,GAAG,EAAE,CAAC,iBAAiB;oBAChC,CAAC,CAAC,GAAG,EAAE,CAAC,SAAS,mDAAmD;oBACpE,CAAC,CAAC,EAAE,CAAC,SAAS,CAAA;gBAChB,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,KAAK,MAAM,EAAE,CAAC,IAAI,GAAG,CAAC,CAAA;YACrF,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACjC,GAAG,CAAC,IAAI,CAAC,0DAA0D,CAAC,CAAA;YACtE,CAAC;QACH,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;YACrC,GAAG,CAAC,IAAI,CAAC,eAAe,KAAK,EAAE,CAAC,CAAA;QAClC,CAAC;QACD,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;YACvC,MAAM,GAAG,GAAG;gBACV,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE;gBAChC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;gBAC3B,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;gBAC7B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE;aAC7B,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;YACjB,GAAG,CAAC,IAAI,CACN,YAAY,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,sCAAsC,EAAE;gBACpF,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACzE,CAAA;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;YAC1C,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,OAAO,MAAM,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;QACpD,CAAC;QACD,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,GAAG,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAA;YAC7E,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;gBACnC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS;oBAC1B,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,EAAE,GAAG;oBAC/E,CAAC,CAAC,kBAAkB,CAAA;gBACtB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,6DAA6D,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC7F,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,GAAG,KAAK,KAAK,IAAI,CAAC,IAAI,GAAG,GAAG,EAAE,CAAC,CAAA;YAC3D,CAAC;QACH,CAAC;IACH,CAAC;IAED,uEAAuE;IACvE,oEAAoE;IACpE,IAAI,CAAC,YAAY,IAAI,CAAC,YAAY,IAAI,CAAC,iBAAiB;QAAE,OAAO,EAAE,CAAA;IAEnE,sEAAsE;IACtE,0EAA0E;IAC1E,0EAA0E;IAC1E,2EAA2E;IAC3E,uEAAuE;IACvE,MAAM,aAAa,GAAG,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAClG,IAAI,KAAK,IAAI,aAAa,EAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACZ,GAAG,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAA;QAC7D,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAA;YACtD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;gBAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO;oBACvB,CAAC,CAAC,4CAA4C;oBAC9C,CAAC,CAAC,IAAI,CAAC,QAAQ;wBACb,CAAC,CAAC,mBAAmB;wBACrB,CAAC,CAAC,sBAAsB,CAAA;gBAC5B,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,WAAW,MAAM,IAAI,CAAC,aAAa,OAAO,IAAI,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC,CAAA;YACvG,CAAC;QACH,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,gEAAgE;YAChE,IAAI,IAAI,EAAE,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS;gBAAE,SAAQ;YAChE,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAA;YAC9D,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACnE,GAAG,CAAC,IAAI,CAAC,YAAY,OAAO,CAAC,IAAI,oCAAoC,CAAC,CAAA;YACtE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,GAAG,CAAC,IAAI,CACN,cAAc,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACxF,CAAA;YACH,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;gBACtC,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,SAAQ;gBACrF,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC1E,GAAG,CAAC,IAAI,CACN,OAAO,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,GAAG,CACxG,CAAA;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,0EAA0E;IAC1E,qEAAqE;IACrE,oEAAoE;IACpE,IAAI,UAAU,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACZ,GAAG,CAAC,IAAI,CAAC,4EAA4E,CAAC,CAAA;QACtF,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;YAClC,GAAG,CAAC,IAAI,CAAC,MAAM,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;QAC7G,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAa,EAAE,CAAA;IACzB,IAAI,IAAI,EAAE,QAAQ,EAAE,CAAC;QACnB,IAAI,CAAC,IAAI,CAAC,sFAAsF,CAAC,CAAA;IACnG,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,gBAAgB,IAAI,EAAE,EAAE,CAAC;QAClD,IAAI,CAAC,IAAI,CAAC,YAAY,MAAM,+CAA+C,CAAC,CAAA;IAC9E,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,cAAc,IAAI,EAAE,EAAE,CAAC;QAChD,IAAI,CAAC,IAAI,CAAC,cAAc,MAAM,mCAAmC,CAAC,CAAA;IACpE,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,EAAE,cAAc,IAAI,EAAE,EAAE,CAAC;QAChD,IAAI,CAAC,IAAI,CACP,0CAA0C,MAAM,0FAA0F,CAC3I,CAAA;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,CAAC,qBAAqB,IAAI,CAAC,IAAI,0BAA0B,IAAI,CAAC,EAAE,oBAAoB,CAAC,CAAA;QAChG,CAAC;IACH,CAAC;IACD,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,iBAAiB,IAAI,EAAE,EAAE,CAAC;QACpD,IAAI,CAAC,IAAI,CACP,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,MAAM,QAAQ,EAAE,CAAC,IAAI,2DAA2D,CAClG,CAAA;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,KAAK,IAAI,EAAE,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,IAAI,CAAC,IAAI,CACP,QAAQ,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,IAAI,0FAA0F,CACxJ,CAAA;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,eAAe,IAAI,EAAE,EAAE,CAAC;QACnD,IAAI,CAAC,IAAI,CAAC,eAAe,OAAO,gGAAgG,CAAC,CAAA;IACnI,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACZ,GAAG,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAA;QACvC,KAAK,MAAM,GAAG,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,CAAA;IAC9C,CAAC;IAED,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACvB,CAAC"}

package/dist/explain/fake.d.ts

@@ -0,0 +1,14 @@
+import type { ExplanationProvider } from './provider.js';
+export interface FakeProvider extends ExplanationProvider {
+    /** Registro de llamadas recibidas, para aserciones en tests */
+    calls: {
+        system: string;
+        user: string;
+    }[];
+}
+/**
+ * Proveedor falso para tests: sin red, sin claves. Es la costura de test
+ * secundaria del spec — permite ejercitar el pipeline de explicación
+ * completo y verificar qué se le envía exactamente al proveedor.
+ */
+export declare function createFakeProvider(cannedResponse?: string): FakeProvider;

package/dist/explain/fake.js

@@ -0,0 +1,27 @@
+/**
+ * Proveedor falso para tests: sin red, sin claves. Es la costura de test
+ * secundaria del spec — permite ejercitar el pipeline de explicación
+ * completo y verificar qué se le envía exactamente al proveedor.
+ */
+export function createFakeProvider(cannedResponse = 'explicación de prueba') {
+    const calls = [];
+    return {
+        id: 'fake',
+        calls,
+        async complete(system, user) {
+            calls.push({ system, user });
+            return cannedResponse;
+        },
+        async stream(system, user, onChunk) {
+            calls.push({ system, user });
+            // Trocea la respuesta en palabras para ejercitar el camino de streaming
+            // sin red: la GUI recibe fragmentos y el resultado final es el mismo.
+            for (const word of cannedResponse.split(/(\s+)/)) {
+                if (word !== '')
+                    onChunk(word);
+            }
+            return cannedResponse;
+        },
+    };
+}
+//# sourceMappingURL=fake.js.map

package/dist/explain/fake.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fake.js","sourceRoot":"","sources":["../../src/explain/fake.ts"],"names":[],"mappings":"AAOA;;;;GAIG;AACH,MAAM,UAAU,kBAAkB,CAAC,cAAc,GAAG,uBAAuB;IACzE,MAAM,KAAK,GAAuC,EAAE,CAAA;IACpD,OAAO;QACL,EAAE,EAAE,MAAM;QACV,KAAK;QACL,KAAK,CAAC,QAAQ,CAAC,MAAc,EAAE,IAAY;YACzC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;YAC5B,OAAO,cAAc,CAAA;QACvB,CAAC;QACD,KAAK,CAAC,MAAM,CAAC,MAAc,EAAE,IAAY,EAAE,OAAgC;YACzE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAA;YAC5B,wEAAwE;YACxE,sEAAsE;YACtE,KAAK,MAAM,IAAI,IAAI,cAAc,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;gBACjD,IAAI,IAAI,KAAK,EAAE;oBAAE,OAAO,CAAC,IAAI,CAAC,CAAA;YAChC,CAAC;YACD,OAAO,cAAc,CAAA;QACvB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/explain/openai.d.ts

@@ -0,0 +1,42 @@
+import type { ExplanationProvider } from './provider.js';
+export interface OpenAICompatibleOptions {
+    /**
+     * URL completa del endpoint de chat completions. No se asume ninguna
+     * ruta: se pasa tal cual la publique el gateway. Ejemplos:
+     *   - OpenAI:  https://api.openai.com/v1/chat/completions
+     *   - Azure:   https://<rec>.openai.azure.com/openai/deployments/<dep>/chat/completions?api-version=2024-02-01
+     *   - Gateway corporativo (CODEX/AXET): la URL que te den.
+     */
+    endpoint: string;
+    /** Clave/token del usuario (BYOK) — solo viaja hacia `endpoint` */
+    apiKey: string;
+    /** Identificador de modelo tal como lo espera el gateway */
+    model: string;
+    /**
+     * Cabecera de autenticación. Por defecto `Authorization: Bearer <clave>`
+     * (OpenAI y la mayoría). Azure usa `api-key: <clave>` → { name: 'api-key',
+     * prefix: '' }. Un gateway propio puede pedir otra cosa.
+     */
+    auth?: {
+        name?: string | undefined;
+        prefix?: string | undefined;
+    } | undefined;
+    /** Cabeceras extra (org id, versión de API, etc.) */
+    headers?: Record<string, string> | undefined;
+    /** Etiqueta del proveedor, para distinguirlo en la UI ('codex', 'axet'…) */
+    id?: string | undefined;
+    maxTokens?: number | undefined;
+}
+/**
+ * Adaptador para cualquier API compatible con OpenAI (`/chat/completions`).
+ * Vía "lista para conectar" a una IA corporativa cuyo shape exacto aún no se
+ * conoce: casi todos los gateways (Azure OpenAI, pasarelas internas, la
+ * mayoría de endpoints tipo CODEX/AXET) hablan este formato.
+ *
+ * Mismo contrato BYOK/local-first que el adaptador Claude: la llamada va
+ * directa del navegador del usuario al `endpoint` que él configure. Que ese
+ * endpoint acepte código de clientes es su decisión (restricción de IP).
+ * Si el gateway NO fuese compatible, la interfaz `ExplanationProvider`
+ * permite un adaptador a medida sin tocar el resto del motor.
+ */
+export declare function createOpenAICompatibleProvider(options: OpenAICompatibleOptions): ExplanationProvider;