@miguelduran14/knowflow 0.1.1

package/dist/advisories.js

@@ -0,0 +1,364 @@
+import { cleanLines } from './source-lines.js';
+/**
+ * Trampas de mantenimiento COBOL conocidas, detectadas sobre hechos YA
+ * verificados por el parser (datos, flujo, inventario) — nunca sobre una
+ * interpretación nueva. Es una pasada determinista más, hermana de
+ * `factsFidelity`: mientras esa marca lo que NO se pudo verificar, esta
+ * marca lo que SÍ está verificado pero es arriesgado. Ver el tipo
+ * `Advisory` en `types.ts` para la distinción completa.
+ *
+ * Cada regla es independiente y de alta confianza — prefiere no avisar a
+ * avisar con un falso positivo. Ninguna regla necesita el fuente crudo
+ * salvo la de STOP RUN (que masca literales y recorta columnas fijas con
+ * las mismas utilidades que ya usan flow-parser/inventory, para no
+ * duplicar esa lógica con una regex ingenua).
+ */
+export function checkAdvisories(source, data, flow, inventory) {
+    const out = [];
+    if (flow) {
+        out.push(...stopRunInSubprogram(source, data, flow));
+        out.push(...gotoCrossesSection(flow));
+        out.push(...alterStatements(source, flow));
+        out.push(...unreachableParagraphs(source, flow));
+    }
+    if (inventory) {
+        out.push(...sqlWriteWithoutWhere(inventory));
+        out.push(...fileOpenedNotClosed(inventory));
+        out.push(...cursorAdvisories(inventory));
+        out.push(...unusedCursors(inventory));
+        out.push(...unusedFiles(inventory));
+    }
+    return out.sort((a, b) => a.line - b.line);
+}
+const STOP_RUN_RE = /(?<![\w-])STOP\s+RUN(?![\w-])/i;
+function hasLinkageParams(data) {
+    const isLinkage = (f) => f.dataSection === 'LINKAGE' || f.children.some(isLinkage);
+    return (data?.records ?? []).some(isLinkage);
+}
+/**
+ * STOP RUN termina el job ENTERO, no solo el módulo actual (GOBACK/EXIT
+ * PROGRAM sí devuelven al llamador). Un programa con LINKAGE SECTION
+ * recibe parámetros — solo llega ahí una CALL, así que es (casi con toda
+ * certeza) un subprograma. STOP RUN en un párrafo suyo es la trampa
+ * clásica: quien lo mantiene ve el job entero morir por un módulo que
+ * "solo" fallaba una validación.
+ */
+function stopRunInSubprogram(source, data, flow) {
+    if (!hasLinkageParams(data))
+        return [];
+    const declared = flow.paragraphs.filter((p) => !p.implicit && p.line !== undefined);
+    if (declared.length === 0)
+        return [];
+    const lines = cleanLines(source);
+    const out = [];
+    for (let i = 0; i < declared.length; i++) {
+        const para = declared[i];
+        if (!para.terminates)
+            continue;
+        const end = declared[i + 1]?.line ?? Infinity;
+        const hit = lines.find(l => l.line >= para.line && l.line < end && STOP_RUN_RE.test(l.masked));
+        if (hit) {
+            out.push({
+                rule: 'stop-run-in-subprogram',
+                title: 'STOP RUN en un subprograma',
+                message: `El párrafo ${para.name} ejecuta STOP RUN, pero el programa tiene LINKAGE SECTION (recibe parámetros por CALL): parece un subprograma. ` +
+                    'STOP RUN termina el job ENTERO, no solo este módulo — probablemente debería ser GOBACK.',
+                line: hit.line,
+                paragraph: para.name,
+            });
+        }
+    }
+    return out;
+}
+/**
+ * Un GO TO que cruza de una SECTION a otra puede saltarse la limpieza o
+ * inicialización propia de la sección en la que estaba (cierres de
+ * fichero, ROLLBACK) — el mismo riesgo que documenta el glosario para
+ * GO TO, pero aquí verificado contra el fuente: sección de origen y de
+ * destino son distintas de verdad, no una suposición.
+ */
+function gotoCrossesSection(flow) {
+    // COBOL es case-insensitive: el mapa y las consultas van en mayúsculas para
+    // que un `GO TO Para-B` case contra el párrafo `PARA-B`. Sin normalizar, una
+    // diferencia de grafía dejaba el aviso sin disparar (falso negativo).
+    const sectionOf = new Map();
+    for (const p of flow.paragraphs) {
+        if (p.section)
+            sectionOf.set(p.name.toUpperCase(), p.section);
+    }
+    if (sectionOf.size === 0)
+        return [];
+    const out = [];
+    for (const edge of flow.edges) {
+        if (edge.kind !== 'goto')
+            continue;
+        const from = sectionOf.get(edge.from.toUpperCase());
+        const to = sectionOf.get(edge.to.toUpperCase());
+        if (from && to && from !== to) {
+            out.push({
+                rule: 'goto-crosses-section',
+                title: 'GO TO cruza de sección',
+                message: `GO TO ${edge.to} salta de la sección ${from} a ${to}: puede saltarse un cierre o una inicialización propia de ${from} que el mantenedor da por hecha.`,
+                line: edge.line,
+                paragraph: edge.from,
+            });
+        }
+    }
+    return out;
+}
+const ALTER_RE = /(?<![\w-])ALTER\s+([\w-]+)\s+TO\s+(?:PROCEED\s+TO\s+)?([\w-]+)/i;
+/**
+ * ALTER cambia en tiempo de ejecución el destino de un GO TO (`ALTER X TO
+ * PROCEED TO Y`): el mismo párrafo salta a sitios distintos según lo que se
+ * haya ALTERado antes. Es de las construcciones más traicioneras que quedan
+ * en COBOL legacy —el diagrama de flujo NO puede mostrar el destino real,
+ * porque depende de la ejecución— así que se marca como aviso en vez de
+ * fingir una arista que el fuente no fija (ADR-0003). Deprecada desde el 85;
+ * su sola presencia ya es una señal para quien mantiene.
+ */
+function alterStatements(source, flow) {
+    const declared = flow.paragraphs
+        .filter((p) => !p.implicit && p.line !== undefined)
+        .sort((a, b) => a.line - b.line);
+    // Párrafo que contiene una línea dada: el último cuya cabecera está en o
+    // antes de esa línea.
+    const paragraphAt = (line) => {
+        let name;
+        for (const p of declared) {
+            if (p.line <= line)
+                name = p.name;
+            else
+                break;
+        }
+        return name;
+    };
+    const out = [];
+    for (const { masked, line } of cleanLines(source)) {
+        const m = ALTER_RE.exec(masked);
+        if (!m)
+            continue;
+        const paragraph = paragraphAt(line);
+        out.push({
+            rule: 'alter-statement',
+            title: 'ALTER cambia un GO TO en ejecución',
+            message: `ALTER ${m[1]} TO ${m[2]}: cambia en ejecución el destino del GO TO de ${m[1]}, así que el flujo real depende de qué se haya ALTERado antes — el diagrama no puede mostrarlo. ` +
+                'ALTER está deprecado; considera reescribir la lógica con EVALUATE/PERFORM.',
+            line,
+            ...(paragraph ? { paragraph } : {}),
+        });
+    }
+    return out;
+}
+const WHERE_RE = /(?<![\w-])WHERE(?![\w-])/i;
+/**
+ * UPDATE/DELETE sin WHERE visible afecta a TODA la tabla, no a una fila —
+ * el error clásico de un SQL embebido mal probado. Si el recurso ya es
+ * dinámico, el motor lo marca aparte (no se conoce ni la tabla): no
+ * duplicamos el aviso para no ensuciar con dos mensajes la misma duda.
+ */
+function sqlWriteWithoutWhere(inventory) {
+    const out = [];
+    for (const exec of inventory.execs) {
+        if (exec.kind !== 'sql' || exec.dynamic)
+            continue;
+        const verb = exec.verb.toUpperCase();
+        if (verb !== 'UPDATE' && verb !== 'DELETE')
+            continue;
+        if (WHERE_RE.test(exec.text))
+            continue;
+        out.push({
+            rule: 'sql-write-without-where',
+            title: `${verb} sin WHERE`,
+            message: `${verb} sin cláusula WHERE visible en el bloque: afecta a TODAS las filas de la tabla, no a una — confirma si es intencional.`,
+            line: exec.line,
+            paragraph: exec.paragraph,
+        });
+    }
+    return out;
+}
+// Modos de OPEN que escriben: si uno de estos queda sin CLOSE, hay buffers de
+// salida que pueden perderse. Un OPEN INPUT sin CLOSE es mucho menos grave
+// —COBOL cierra los ficheros implícitamente al STOP RUN, y un lector no tiene
+// nada que volcar— así que avisar de él es casi siempre ruido.
+const WRITE_OPEN_MODES = new Set(['OUTPUT', 'I-O', 'EXTEND']);
+/**
+ * Un fichero abierto para ESCRITURA (OUTPUT/I-O/EXTEND) y nunca cerrado en el
+ * fuente aportado puede dejar buffers sin volcar o el dataset inconsistente si
+ * el programa termina sin pasar por el CLOSE. Se restringe a los modos de
+ * escritura para no inundar con avisos de lectores sin CLOSE, que COBOL cierra
+ * de todos modos al terminar. Se ancla al OPEN que abre la duda.
+ */
+function fileOpenedNotClosed(inventory) {
+    const out = [];
+    for (const file of inventory.files) {
+        const writeOpen = file.operations.find(op => op.verb === 'OPEN' && op.mode !== undefined && WRITE_OPEN_MODES.has(op.mode));
+        const closed = file.operations.some(op => op.verb === 'CLOSE');
+        if (writeOpen && !closed) {
+            out.push({
+                rule: 'file-opened-not-closed',
+                title: `${file.name} sin CLOSE`,
+                message: `${file.name} se abre para escritura (OPEN ${writeOpen.mode}) pero no aparece un CLOSE en el fuente aportado. Si el programa termina sin cerrarlo, puede dejar buffers sin volcar.`,
+                line: writeOpen.line,
+                paragraph: writeOpen.paragraphImplicit ? undefined : writeOpen.paragraph,
+            });
+        }
+    }
+    return out;
+}
+/**
+ * Mismo riesgo que un fichero sin CLOSE, pero para cursores DB2 — deja el
+ * cursor ocupando recursos hasta el fin de la unidad de trabajo. Y un
+ * FETCH sin OPEN previo (con el cursor declarado en el fuente aportado,
+ * para no acusar un OPEN que en realidad vive en un copybook ausente)
+ * fallaría en ejecución. La línea de anclaje sale del bloque EXEC que
+ * disparó cada operación — `CursorUsage` es un agregado sin línea propia.
+ */
+function cursorAdvisories(inventory) {
+    const out = [];
+    for (const cursor of inventory.cursors) {
+        const execFor = (verb) => inventory.execs.find(e => e.cursor === cursor.name && e.verb === verb);
+        if (cursor.opened && !cursor.closed) {
+            const open = execFor('OPEN');
+            out.push({
+                rule: 'cursor-opened-not-closed',
+                title: `Cursor ${cursor.name} sin CLOSE`,
+                message: `El cursor ${cursor.name} se abre (OPEN) pero no se cierra (CLOSE) en el fuente aportado: queda ocupando recursos en DB2 hasta el fin de la unidad de trabajo.`,
+                line: open?.line ?? 0,
+                paragraph: open?.paragraphImplicit ? undefined : open?.paragraph,
+            });
+        }
+        if (cursor.fetched && !cursor.opened && cursor.declared) {
+            const fetch = execFor('FETCH');
+            out.push({
+                rule: 'cursor-fetched-without-open',
+                title: `Cursor ${cursor.name}: FETCH sin OPEN`,
+                message: `El cursor ${cursor.name} tiene FETCH pero no OPEN en el fuente aportado — si el OPEN no está en un copybook ausente, el FETCH fallaría en ejecución.`,
+                line: fetch?.line ?? 0,
+                paragraph: fetch?.paragraphImplicit ? undefined : fetch?.paragraph,
+            });
+        }
+    }
+    return out;
+}
+// COBOL es case-insensitive: los nombres de párrafo se comparan en mayúsculas.
+const upper = (name) => name.toUpperCase();
+/** ¿La PROCEDURE DIVISION contiene un COPY? Un COPY puede inyectar PERFORMs
+ *  que el parser de flujo no ve (no expande copybooks), así que la
+ *  alcanzabilidad deja de ser fiable. */
+function procedureHasCopy(source) {
+    let inProcedure = false;
+    for (const { masked } of cleanLines(source)) {
+        if (/^\s*PROCEDURE\s+DIVISION/i.test(masked)) {
+            inProcedure = true;
+            continue;
+        }
+        if (inProcedure && /(?<![\w-])COPY\s+[A-Za-z0-9]/i.test(masked))
+            return true;
+    }
+    return false;
+}
+/** ¿Hay algún ALTER? ALTER cambia el destino de un GO TO en ejecución, así
+ *  que un párrafo podría alcanzarse por una vía que el grafo no modela. */
+function sourceHasAlter(source) {
+    return cleanLines(source).some(l => /(?<![\w-])ALTER\s+[A-Za-z0-9]/i.test(l.masked));
+}
+/**
+ * Párrafos que ningún camino de ejecución alcanza: código muerto. Se hace un
+ * recorrido desde las entradas (el primer párrafo, el nodo de entrada
+ * implícito y los párrafos de DECLARATIVES, que invoca el runtime) siguiendo
+ * PERFORM/GO TO/caída natural/SORT — las CALL no cuentan (van a otro
+ * programa). Un párrafo declarado que no se alcanza parece eliminable.
+ *
+ * Honestidad (ADR-0003): si el flujo puede estar incompleto —un COPY en la
+ * PROCEDURE que inyecte PERFORMs no vistos, o un ALTER que redirija un GO TO—
+ * NO se acusa a nadie: prefiere no avisar a un falso positivo.
+ */
+function unreachableParagraphs(source, flow) {
+    if (procedureHasCopy(source) || sourceHasAlter(source))
+        return [];
+    if (flow.paragraphs.length === 0)
+        return [];
+    // Adyacencia por nombre (mayúsculas): destino de cada arista a un párrafo.
+    const adj = new Map();
+    for (const edge of flow.edges) {
+        if (edge.kind === 'call')
+            continue;
+        const from = upper(edge.from);
+        if (!adj.has(from))
+            adj.set(from, []);
+        adj.get(from).push(upper(edge.to));
+    }
+    // Entradas del programa.
+    const entries = new Set();
+    entries.add(upper(flow.paragraphs[0].name));
+    for (const p of flow.paragraphs) {
+        if (p.implicit || p.inDeclaratives)
+            entries.add(upper(p.name));
+    }
+    const reachable = new Set(entries);
+    const stack = [...entries];
+    while (stack.length > 0) {
+        const cur = stack.pop();
+        for (const next of adj.get(cur) ?? []) {
+            if (!reachable.has(next)) {
+                reachable.add(next);
+                stack.push(next);
+            }
+        }
+    }
+    const out = [];
+    for (const para of flow.paragraphs) {
+        if (para.implicit || para.inDeclaratives || para.line === undefined)
+            continue;
+        if (reachable.has(upper(para.name)))
+            continue;
+        out.push({
+            rule: 'unreachable-paragraph',
+            title: `${para.name} inalcanzable`,
+            message: `Ningún PERFORM, GO TO ni caída natural llega a ${para.name} en el fuente aportado: parece código muerto. Confirma que no lo referencia un copybook no aportado antes de eliminarlo.`,
+            line: para.line,
+            paragraph: para.name,
+        });
+    }
+    return out;
+}
+/**
+ * Cursor DB2 declarado y sin usar: un DECLARE sin OPEN/FETCH/CLOSE en el
+ * fuente aportado. O sobra, o su uso vive en un copybook ausente.
+ */
+function unusedCursors(inventory) {
+    const out = [];
+    for (const cursor of inventory.cursors) {
+        if (cursor.declared && !cursor.opened && !cursor.fetched && !cursor.closed) {
+            const declare = inventory.execs.find(e => e.cursor === cursor.name && e.verb === 'DECLARE');
+            out.push({
+                rule: 'unused-cursor',
+                title: `Cursor ${cursor.name} sin usar`,
+                message: `El cursor ${cursor.name} se declara (DECLARE) pero no se abre, lee ni cierra en el fuente aportado: parece declarado y sin uso.`,
+                line: declare?.line ?? 0,
+                ...(declare && !declare.paragraphImplicit && declare.paragraph ? { paragraph: declare.paragraph } : {}),
+            });
+        }
+    }
+    return out;
+}
+/**
+ * Fichero declarado en FILE-CONTROL (SELECT) y sin ninguna operación de E/S
+ * en el fuente aportado: o sobra el SELECT, o el uso está en un copybook
+ * ausente. No lleva línea propia (el SELECT no se ancla a una).
+ */
+function unusedFiles(inventory) {
+    const out = [];
+    for (const file of inventory.files) {
+        if (file.operations.length === 0) {
+            out.push({
+                rule: 'unused-file',
+                title: `${file.name} declarado y sin usar`,
+                message: `El fichero ${file.name} se declara en FILE-CONTROL (SELECT) pero no aparece ninguna operación (OPEN/READ/WRITE…) sobre él en el fuente aportado.`,
+                line: 0,
+            });
+        }
+    }
+    return out;
+}
+//# sourceMappingURL=advisories.js.map

package/dist/advisories.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"advisories.js","sourceRoot":"","sources":["../src/advisories.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAE9C;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,eAAe,CAC7B,MAAc,EACd,IAA6B,EAC7B,IAA4B,EAC5B,SAAgC;IAEhC,MAAM,GAAG,GAAe,EAAE,CAAA;IAE1B,IAAI,IAAI,EAAE,CAAC;QACT,GAAG,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAA;QACpD,GAAG,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAA;QACrC,GAAG,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;QAC1C,GAAG,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAA;IAClD,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACd,GAAG,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAA;QAC5C,GAAG,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC,CAAA;QAC3C,GAAG,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAA;QACxC,GAAG,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC,CAAA;QACrC,GAAG,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAA;IACrC,CAAC;IAED,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;AAC5C,CAAC;AAED,MAAM,WAAW,GAAG,gCAAgC,CAAA;AAEpD,SAAS,gBAAgB,CAAC,IAA6B;IACrD,MAAM,SAAS,GAAG,CAAC,CAAc,EAAW,EAAE,CAC5C,CAAC,CAAC,WAAW,KAAK,SAAS,IAAI,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,CAAC,IAAI,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;AAC9C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,mBAAmB,CAAC,MAAc,EAAE,IAA6B,EAAE,IAAgB;IAC1F,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAA;IACtC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAyC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;IAC1H,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEpC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,CAAC,CAAA;IAChC,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAA;QACzB,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,SAAQ;QAC9B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAA;QAC7C,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,GAAG,GAAG,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;QAC9F,IAAI,GAAG,EAAE,CAAC;YACR,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,wBAAwB;gBAC9B,KAAK,EAAE,4BAA4B;gBACnC,OAAO,EACL,cAAc,IAAI,CAAC,IAAI,iHAAiH;oBACxI,yFAAyF;gBAC3F,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,SAAS,EAAE,IAAI,CAAC,IAAI;aACrB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;GAMG;AACH,SAAS,kBAAkB,CAAC,IAAgB;IAC1C,4EAA4E;IAC5E,6EAA6E;IAC7E,sEAAsE;IACtE,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC3C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,OAAO;YAAE,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAA;IAC/D,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAEnC,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAQ;QAClC,MAAM,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAA;QACnD,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;QAC/C,IAAI,IAAI,IAAI,EAAE,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAC9B,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,sBAAsB;gBAC5B,KAAK,EAAE,wBAAwB;gBAC/B,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,wBAAwB,IAAI,MAAM,EAAE,6DAA6D,IAAI,kCAAkC;gBAChK,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,SAAS,EAAE,IAAI,CAAC,IAAI;aACrB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,QAAQ,GAAG,iEAAiE,CAAA;AAElF;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,MAAc,EAAE,IAAgB;IACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU;SAC7B,MAAM,CAAC,CAAC,CAAC,EAAyC,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC;SACzF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;IAClC,yEAAyE;IACzE,sBAAsB;IACtB,MAAM,WAAW,GAAG,CAAC,IAAY,EAAsB,EAAE;QACvD,IAAI,IAAwB,CAAA;QAC5B,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,CAAC,IAAI,IAAI,IAAI;gBAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAA;;gBAC5B,MAAK;QACZ,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC,CAAA;IAED,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,MAAM,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC/B,IAAI,CAAC,CAAC;YAAE,SAAQ;QAChB,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,CAAA;QACnC,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,iBAAiB;YACvB,KAAK,EAAE,oCAAoC;YAC3C,OAAO,EACL,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,iDAAiD,CAAC,CAAC,CAAC,CAAC,kGAAkG;gBAC/K,4EAA4E;YAC9E,IAAI;YACJ,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpC,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,QAAQ,GAAG,2BAA2B,CAAA;AAE5C;;;;;GAKG;AACH,SAAS,oBAAoB,CAAC,SAAoB;IAChD,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,OAAO;YAAE,SAAQ;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;QACpC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ;YAAE,SAAQ;QACpD,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAQ;QACtC,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,yBAAyB;YAC/B,KAAK,EAAE,GAAG,IAAI,YAAY;YAC1B,OAAO,EAAE,GAAG,IAAI,wHAAwH;YACxI,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,SAAS,EAAE,IAAI,CAAC,SAAS;SAC1B,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,8EAA8E;AAC9E,2EAA2E;AAC3E,8EAA8E;AAC9E,+DAA+D;AAC/D,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAA;AAE7D;;;;;;GAMG;AACH,SAAS,mBAAmB,CAAC,SAAoB;IAC/C,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CACpC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,IAAI,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CACnF,CAAA;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAA;QAC9D,IAAI,SAAS,IAAI,CAAC,MAAM,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,wBAAwB;gBAC9B,KAAK,EAAE,GAAG,IAAI,CAAC,IAAI,YAAY;gBAC/B,OAAO,EAAE,GAAG,IAAI,CAAC,IAAI,iCAAiC,SAAS,CAAC,IAAI,wHAAwH;gBAC5L,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,SAAS,EAAE,SAAS,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS;aACzE,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,gBAAgB,CAAC,SAAoB;IAC5C,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;QACvC,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAA;QAExG,IAAI,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;YAC5B,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,0BAA0B;gBAChC,KAAK,EAAE,UAAU,MAAM,CAAC,IAAI,YAAY;gBACxC,OAAO,EAAE,aAAa,MAAM,CAAC,IAAI,uIAAuI;gBACxK,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,CAAC;gBACrB,SAAS,EAAE,IAAI,EAAE,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,EAAE,SAAS;aACjE,CAAC,CAAA;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACxD,MAAM,KAAK,GAAG,OAAO,CAAC,OAAO,CAAC,CAAA;YAC9B,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,6BAA6B;gBACnC,KAAK,EAAE,UAAU,MAAM,CAAC,IAAI,kBAAkB;gBAC9C,OAAO,EAAE,aAAa,MAAM,CAAC,IAAI,8HAA8H;gBAC/J,IAAI,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC;gBACtB,SAAS,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,EAAE,SAAS;aACnE,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,+EAA+E;AAC/E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,WAAW,EAAE,CAAA;AAE1D;;yCAEyC;AACzC,SAAS,gBAAgB,CAAC,MAAc;IACtC,IAAI,WAAW,GAAG,KAAK,CAAA;IACvB,KAAK,MAAM,EAAE,MAAM,EAAE,IAAI,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,IAAI,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7C,WAAW,GAAG,IAAI,CAAA;YAClB,SAAQ;QACV,CAAC;QACD,IAAI,WAAW,IAAI,+BAA+B,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAA;IAC9E,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;2EAC2E;AAC3E,SAAS,cAAc,CAAC,MAAc;IACpC,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,gCAAgC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAA;AACtF,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,qBAAqB,CAAC,MAAc,EAAE,IAAgB;IAC7D,IAAI,gBAAgB,CAAC,MAAM,CAAC,IAAI,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,EAAE,CAAA;IACjE,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAA;IAE3C,2EAA2E;IAC3E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAoB,CAAA;IACvC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,SAAQ;QAClC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC7B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;QACrC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;IACrC,CAAC;IAED,yBAAyB;IACzB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAChC,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,cAAc;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAChE,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,OAAO,CAAC,CAAA;IAC1C,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAA;IAC1B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAA;QACxB,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC;YACtC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;gBACnB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClB,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,SAAQ;QAC7E,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,SAAQ;QAC7C,GAAG,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,uBAAuB;YAC7B,KAAK,EAAE,GAAG,IAAI,CAAC,IAAI,eAAe;YAClC,OAAO,EAAE,kDAAkD,IAAI,CAAC,IAAI,0HAA0H;YAC9L,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,SAAS,EAAE,IAAI,CAAC,IAAI;SACrB,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,SAAoB;IACzC,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,MAAM,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YAC3E,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAA;YAC3F,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,eAAe;gBACrB,KAAK,EAAE,UAAU,MAAM,CAAC,IAAI,WAAW;gBACvC,OAAO,EAAE,aAAa,MAAM,CAAC,IAAI,yGAAyG;gBAC1I,IAAI,EAAE,OAAO,EAAE,IAAI,IAAI,CAAC;gBACxB,GAAG,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC,iBAAiB,IAAI,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxG,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;GAIG;AACH,SAAS,WAAW,CAAC,SAAoB;IACvC,MAAM,GAAG,GAAe,EAAE,CAAA;IAC1B,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,GAAG,IAAI,CAAC,IAAI,uBAAuB;gBAC1C,OAAO,EAAE,cAAc,IAAI,CAAC,IAAI,2HAA2H;gBAC3J,IAAI,EAAE,CAAC;aACR,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,2 @@
+#!/usr/bin/env node
+export {};

package/dist/cli.js

@@ -0,0 +1,104 @@
+#!/usr/bin/env node
+// Punto de entrada `npx knowflow`: sirve la GUI ya compilada (gui/dist) en
+// localhost y abre el navegador. Sin dependencias de servidor — un archivo
+// estático servido a mano es toda la superficie que necesita esta app (no
+// hay backend propio, ADR-0002). Local-first: nada de lo servido sale de
+// esta máquina; la única llamada de red la hace el navegador, directa al
+// proveedor de IA que el usuario configure en la GUI.
+import { exec } from 'node:child_process';
+import { existsSync } from 'node:fs';
+import { readFile } from 'node:fs/promises';
+import { createServer } from 'node:http';
+import { extname, join, resolve } from 'node:path';
+import { fileURLToPath } from 'node:url';
+const here = fileURLToPath(new URL('.', import.meta.url));
+// Publicado: dist/cli.js junto a gui/dist (ver "files" en package.json).
+const GUI_DIST = resolve(here, '..', 'gui', 'dist');
+const INDEX_HTML = join(GUI_DIST, 'index.html');
+const MIME = {
+    '.html': 'text/html; charset=utf-8',
+    '.js': 'text/javascript; charset=utf-8',
+    '.css': 'text/css; charset=utf-8',
+    '.json': 'application/json; charset=utf-8',
+    '.svg': 'image/svg+xml',
+    '.png': 'image/png',
+    '.woff': 'font/woff',
+    '.woff2': 'font/woff2',
+    '.ico': 'image/x-icon',
+};
+function openBrowser(url) {
+    const cmd = process.platform === 'win32' ? `start "" "${url}"` : process.platform === 'darwin' ? `open "${url}"` : `xdg-open "${url}"`;
+    exec(cmd, () => {
+        // Si falla (entorno sin GUI, contenedor…), el usuario ya tiene la URL
+        // impresa en consola — no es un error que deba cortar el arranque.
+    });
+}
+async function serveFile(path) {
+    try {
+        const body = await readFile(path);
+        return { body, type: MIME[extname(path)] ?? 'application/octet-stream' };
+    }
+    catch {
+        return undefined;
+    }
+}
+// Versión mínima de Node (coincide con "engines" en package.json). Este
+// aviso solo puede saltar si Node EXISTE pero es viejo — sin Node instalado
+// no hay intérprete que lo muestre; para ese caso, el README indica cómo
+// instalarlo. Aquí se convierte un fallo por sintaxis/API moderna en un
+// mensaje claro con el comando para actualizar.
+const MIN_NODE = 18;
+function checkNodeVersion() {
+    const major = Number(process.versions.node.split('.')[0]);
+    if (major >= MIN_NODE)
+        return true;
+    console.error(`\nKnowFlow necesita Node ${MIN_NODE} o superior. Estás usando Node ${process.versions.node}.\n\n` +
+        'Actualiza Node (elige uno):\n' +
+        '  • Instalador LTS:  https://nodejs.org\n' +
+        '  • Windows (winget): winget install OpenJS.NodeJS.LTS\n' +
+        '  • macOS (brew):     brew install node\n' +
+        '  • Con nvm:          nvm install --lts\n\n' +
+        "Luego vuelve a ejecutar 'npx knowflow'.\n");
+    return false;
+}
+async function main() {
+    if (!checkNodeVersion()) {
+        process.exitCode = 1;
+        return;
+    }
+    if (!existsSync(INDEX_HTML)) {
+        console.error('No se encuentra la GUI compilada (gui/dist/index.html).\n' +
+            'Si trabajas desde el repo de desarrollo: npm run build\n' +
+            'Si instalaste el paquete publicado, esto es un bug — abre un issue.');
+        process.exitCode = 1;
+        return;
+    }
+    const port = Number(process.env.PORT) || Number(process.argv[2]) || 4173;
+    const server = createServer((req, res) => {
+        const urlPath = decodeURIComponent((req.url ?? '/').split('?')[0]);
+        const requested = resolve(GUI_DIST, '.' + (urlPath === '/' ? '/index.html' : urlPath));
+        // Guarda contra path traversal: cualquier ruta resuelta debe seguir
+        // dentro de GUI_DIST.
+        const safe = requested === GUI_DIST || requested.startsWith(GUI_DIST + '\\') || requested.startsWith(GUI_DIST + '/');
+        const target = safe ? requested : INDEX_HTML;
+        void serveFile(target).then(async (hit) => {
+            // SPA fallback: cualquier ruta no encontrada (recarga en una vista
+            // que no es un fichero real) sirve index.html en vez de 404.
+            const resolved = hit ?? (await serveFile(INDEX_HTML));
+            if (!resolved) {
+                res.writeHead(404).end('No encontrado');
+                return;
+            }
+            res.writeHead(200, { 'Content-Type': resolved.type });
+            res.end(resolved.body);
+        });
+    });
+    server.listen(port, () => {
+        const url = `http://localhost:${port}`;
+        console.log(`KnowFlow corriendo en ${url}`);
+        console.log('Local-first: el código que analices no sale de esta máquina, salvo la llamada al proveedor de IA que tú configures dentro de la app.');
+        openBrowser(url);
+    });
+}
+void main();
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,2EAA2E;AAC3E,2EAA2E;AAC3E,0EAA0E;AAC1E,yEAAyE;AACzE,yEAAyE;AACzE,sDAAsD;AACtD,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAA;AACzC,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAA;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAA;AAC3C,OAAO,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAExC,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AACzD,yEAAyE;AACzE,MAAM,QAAQ,GAAG,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;AACnD,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAA;AAE/C,MAAM,IAAI,GAA2B;IACnC,OAAO,EAAE,0BAA0B;IACnC,KAAK,EAAE,gCAAgC;IACvC,MAAM,EAAE,yBAAyB;IACjC,OAAO,EAAE,iCAAiC;IAC1C,MAAM,EAAE,eAAe;IACvB,MAAM,EAAE,WAAW;IACnB,OAAO,EAAE,WAAW;IACpB,QAAQ,EAAE,YAAY;IACtB,MAAM,EAAE,cAAc;CACvB,CAAA;AAED,SAAS,WAAW,CAAC,GAAW;IAC9B,MAAM,GAAG,GACP,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,aAAa,GAAG,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,aAAa,GAAG,GAAG,CAAA;IAC5H,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE;QACb,sEAAsE;QACtE,mEAAmE;IACrE,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,IAAY;IACnC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,CAAC,CAAA;QACjC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,0BAA0B,EAAE,CAAA;IAC1E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED,wEAAwE;AACxE,4EAA4E;AAC5E,yEAAyE;AACzE,wEAAwE;AACxE,gDAAgD;AAChD,MAAM,QAAQ,GAAG,EAAE,CAAA;AAEnB,SAAS,gBAAgB;IACvB,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IACzD,IAAI,KAAK,IAAI,QAAQ;QAAE,OAAO,IAAI,CAAA;IAClC,OAAO,CAAC,KAAK,CACX,4BAA4B,QAAQ,kCAAkC,OAAO,CAAC,QAAQ,CAAC,IAAI,OAAO;QAChG,+BAA+B;QAC/B,2CAA2C;QAC3C,0DAA0D;QAC1D,2CAA2C;QAC3C,6CAA6C;QAC7C,2CAA2C,CAC9C,CAAA;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,IAAI,CAAC,gBAAgB,EAAE,EAAE,CAAC;QACxB,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;QACpB,OAAM;IACR,CAAC;IAED,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5B,OAAO,CAAC,KAAK,CACX,2DAA2D;YACzD,0DAA0D;YAC1D,qEAAqE,CACxE,CAAA;QACD,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAA;QACpB,OAAM;IACR,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;IAExE,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE;QACvC,MAAM,OAAO,GAAG,kBAAkB,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,CAAA;QACnE,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,EAAE,GAAG,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAA;QAEtF,oEAAoE;QACpE,sBAAsB;QACtB,MAAM,IAAI,GAAG,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,UAAU,CAAC,QAAQ,GAAG,IAAI,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,QAAQ,GAAG,GAAG,CAAC,CAAA;QACpH,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAA;QAE5C,KAAK,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,EAAC,GAAG,EAAC,EAAE;YACtC,mEAAmE;YACnE,6DAA6D;YAC7D,MAAM,QAAQ,GAAG,GAAG,IAAI,CAAC,MAAM,SAAS,CAAC,UAAU,CAAC,CAAC,CAAA;YACrD,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;gBACvC,OAAM;YACR,CAAC;YACD,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,cAAc,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;YACrD,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACxB,CAAC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IAEF,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,EAAE;QACvB,MAAM,GAAG,GAAG,oBAAoB,IAAI,EAAE,CAAA;QACtC,OAAO,CAAC,GAAG,CAAC,yBAAyB,GAAG,EAAE,CAAC,CAAA;QAC3C,OAAO,CAAC,GAAG,CACT,sIAAsI,CACvI,CAAA;QACD,WAAW,CAAC,GAAG,CAAC,CAAA;IAClB,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,IAAI,EAAE,CAAA"}

package/dist/copy-resolver.d.ts

@@ -0,0 +1,22 @@
+export type ResolvedStatement = {
+    kind: 'text';
+    statement: string;
+} | {
+    kind: 'unresolved-copy';
+    member: string;
+};
+export interface CopyResolutionResult {
+    statements: ResolvedStatement[];
+    /** Members de COPY/EXEC SQL INCLUDE no encontrados en el conjunto aportado */
+    missingCopybooks: string[];
+}
+/**
+ * Resuelve COPY y EXEC SQL INCLUDE contra el conjunto de copybooks
+ * aportado, recursivamente (un member puede a su vez tener COPY).
+ *
+ * Un member no encontrado se marca como `{ kind: 'unresolved-copy' }` en
+ * el flujo de sentencias — nunca se inventa contenido para él (ADR-0003).
+ * Un COPY circular (member A copia a B que copia a A) se trata igual que
+ * un member ausente, para no expandir indefinidamente.
+ */
+export declare function resolveCopies(statements: string[], copybooks: Map<string, string>, missing?: string[], seen?: ReadonlySet<string>): CopyResolutionResult;

package/dist/copy-resolver.js

@@ -0,0 +1,74 @@
+import { joinContinuations } from './lines.js';
+// `COPY member [OF|IN library] [REPLACING ...].` La biblioteca (OF/IN) se
+// reconoce pero se descarta: KnowFlow identifica los copybooks por nombre de
+// member, no por biblioteca. Sin admitir OF/IN, un `COPY CUSTREC OF MYLIB.`
+// no casaba con COPY_RE y se perdía en silencio — ni resuelto ni marcado
+// como hueco, violando el contrato de fidelidad (ADR-0003).
+const COPY_RE = /^COPY\s+([\w-]+)(?:\s+(?:OF|IN)\s+[\w-]+)?(?:\s+REPLACING\s+(.+?))?\s*\.\s*$/i;
+const EXEC_SQL_INCLUDE_RE = /^EXEC\s+SQL\s+INCLUDE\s+([\w-]+)\s+END-EXEC\s*\.?\s*$/i;
+/** Extrae pares FROM/BY de una cláusula REPLACING — con o sin pseudo-texto ==...== */
+function parseReplacingClause(clause) {
+    const pairs = [];
+    const re = /(?:==(.*?)==|(\S+))\s+BY\s+(?:==(.*?)==|(\S+))/gi;
+    let m;
+    while ((m = re.exec(clause))) {
+        const from = (m[1] ?? m[2] ?? '').trim();
+        const to = (m[3] ?? m[4] ?? '').trim();
+        if (from)
+            pairs.push({ from, to });
+    }
+    return pairs;
+}
+function applyReplacing(text, replacements) {
+    let result = text;
+    for (const { from, to } of replacements) {
+        const escaped = from.replace(/[.*+?^${}()|[\]\\]/g, '\\$&');
+        // El límite de palabra de COBOL no es \b: un identificador con guiones
+        // ("ITEM-CODE") es UNA sola palabra léxica, distinta de "ITEM". \b trata
+        // el guion como frontera, así que confundiría ambas — el límite real
+        // exige que ni antes ni después del token haya letra, dígito o guion.
+        result = result.replace(new RegExp(`(?<![A-Za-z0-9-])${escaped}(?![A-Za-z0-9-])`, 'gi'), to);
+    }
+    return result;
+}
+/**
+ * Resuelve COPY y EXEC SQL INCLUDE contra el conjunto de copybooks
+ * aportado, recursivamente (un member puede a su vez tener COPY).
+ *
+ * Un member no encontrado se marca como `{ kind: 'unresolved-copy' }` en
+ * el flujo de sentencias — nunca se inventa contenido para él (ADR-0003).
+ * Un COPY circular (member A copia a B que copia a A) se trata igual que
+ * un member ausente, para no expandir indefinidamente.
+ */
+export function resolveCopies(statements, copybooks, missing = [], seen = new Set()) {
+    const resolved = [];
+    for (const stmt of statements) {
+        const copyMatch = COPY_RE.exec(stmt);
+        const execMatch = !copyMatch ? EXEC_SQL_INCLUDE_RE.exec(stmt) : null;
+        const match = copyMatch ?? execMatch;
+        if (!match) {
+            resolved.push({ kind: 'text', statement: stmt });
+            continue;
+        }
+        // COBOL es case-insensitive: COPY Customer y COPY CUSTOMER son el
+        // mismo member. Todo el lookup se normaliza a mayúsculas.
+        const memberName = match[1].toUpperCase();
+        const replacingClause = copyMatch?.[2];
+        const memberSource = seen.has(memberName) ? undefined : copybooks.get(memberName);
+        if (memberSource === undefined) {
+            if (!missing.includes(memberName))
+                missing.push(memberName);
+            resolved.push({ kind: 'unresolved-copy', member: memberName });
+            continue;
+        }
+        const replacements = replacingClause ? parseReplacingClause(replacingClause) : [];
+        const expandedText = replacements.length > 0 ? applyReplacing(memberSource, replacements) : memberSource;
+        const memberStatements = joinContinuations(expandedText.split(/\r?\n/));
+        const nestedSeen = new Set(seen);
+        nestedSeen.add(memberName);
+        const nested = resolveCopies(memberStatements, copybooks, missing, nestedSeen);
+        resolved.push(...nested.statements);
+    }
+    return { statements: resolved, missingCopybooks: missing };
+}
+//# sourceMappingURL=copy-resolver.js.map

package/dist/copy-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"copy-resolver.js","sourceRoot":"","sources":["../src/copy-resolver.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAY9C,0EAA0E;AAC1E,6EAA6E;AAC7E,4EAA4E;AAC5E,yEAAyE;AACzE,4DAA4D;AAC5D,MAAM,OAAO,GAAG,+EAA+E,CAAA;AAC/F,MAAM,mBAAmB,GAAG,wDAAwD,CAAA;AAOpF,sFAAsF;AACtF,SAAS,oBAAoB,CAAC,MAAc;IAC1C,MAAM,KAAK,GAAkB,EAAE,CAAA;IAC/B,MAAM,EAAE,GAAG,kDAAkD,CAAA;IAC7D,IAAI,CAAyB,CAAA;IAC7B,OAAO,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;QACtC,IAAI,IAAI;YAAE,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAA;IACpC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,YAA2B;IAC/D,IAAI,MAAM,GAAG,IAAI,CAAA;IACjB,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,YAAY,EAAE,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAA;QAC3D,uEAAuE;QACvE,yEAAyE;QACzE,qEAAqE;QACrE,sEAAsE;QACtE,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,oBAAoB,OAAO,kBAAkB,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;IAC9F,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAC3B,UAAoB,EACpB,SAA8B,EAC9B,UAAoB,EAAE,EACtB,OAA4B,IAAI,GAAG,EAAE;IAErC,MAAM,QAAQ,GAAwB,EAAE,CAAA;IAExC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,MAAM,SAAS,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;QACpE,MAAM,KAAK,GAAG,SAAS,IAAI,SAAS,CAAA;QAEpC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;YAChD,SAAQ;QACV,CAAC;QAED,kEAAkE;QAClE,0DAA0D;QAC1D,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC,WAAW,EAAE,CAAA;QAC1C,MAAM,eAAe,GAAG,SAAS,EAAE,CAAC,CAAC,CAAC,CAAA;QACtC,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAEjF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC;gBAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAC3D,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAA;YAC9D,SAAQ;QACV,CAAC;QAED,MAAM,YAAY,GAAG,eAAe,CAAC,CAAC,CAAC,oBAAoB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;QACjF,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAA;QACxG,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAA;QAEvE,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;QAChC,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC1B,MAAM,MAAM,GAAG,aAAa,CAAC,gBAAgB,EAAE,SAAS,EAAE,OAAO,EAAE,UAAU,CAAC,CAAA;QAC9E,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACrC,CAAC;IAED,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,EAAE,OAAO,EAAE,CAAA;AAC5D,CAAC"}

package/dist/dataflow.d.ts

@@ -0,0 +1,2 @@
+import type { ReferenceResult, TraceResult } from './types.js';
+export declare function traceField(references: ReferenceResult, name: string, direction: 'upstream' | 'downstream'): TraceResult;