@hoilab/ada-cli 0.84.21 → 0.85.0

package/dist/core/agents/loader.d.ts

@@ -0,0 +1,77 @@
+/**
+ * Subagentes definidos por el usuario en Markdown.
+ *
+ * `~/.ada/agents/<nombre>.md` (usuario) y `<proyecto>/.ada/agents/<nombre>.md`
+ * (proyecto). El frontmatter configura el subagente y el cuerpo es su prompt.
+ *
+ * Dos cosas que este cargador hace y el contrato que copiamos no:
+ *
+ * 1. **Los booleanos se validan de verdad.** `readOnly` y `web` deciden si un
+ *    agente puede escribir ficheros o sacar por la red lo que ha leído. Un
+ *    `readOnly: "no"` que YAML entrega como cadena es truthy, y aceptarlo sin
+ *    mirar convertiría una errata en un permiso. Se rechaza el fichero entero y
+ *    se dice cuál es.
+ *
+ * 2. **Los de proyecto exigen confianza.** Un `.ada/agents/*.md` viene del
+ *    repositorio, igual que una extensión: abrir un repo ajeno no puede
+ *    definir un agente con `web: true` que lea el código y lo mande fuera.
+ */
+import type { TSchema } from "typebox";
+export interface AgenteDefinido {
+    nombre: string;
+    descripcion?: string;
+    /** El cuerpo del Markdown: el prompt de sistema del subagente. */
+    instrucciones: string;
+    model?: string;
+    tier?: string;
+    readOnly?: boolean;
+    web?: boolean;
+    isolation?: "none" | "worktree";
+    timeoutMs?: number;
+    /**
+     * Esquema de salida (JSON Schema) declarado en `outputSchema:` del
+     * frontmatter. El host lo usa para validar la salida del subagente y
+     * reintentar con el error concreto si no valida — ver contrato/validador.ts.
+     */
+    esquemaSalida?: TSchema;
+    alcance: "usuario" | "proyecto";
+    ruta: string;
+}
+export interface ProblemaAgente {
+    ruta: string;
+    motivo: string;
+}
+/** Analiza un fichero de agente. Lanza con un motivo legible si no vale. */
+export declare function analizarAgente(contenido: string, ruta: string, alcance: "usuario" | "proyecto"): AgenteDefinido;
+export interface OpcionesCarga {
+    agentDir: string;
+    cwd: string;
+    /** Los de proyecto solo cargan si el proyecto es de confianza. Ver cabecera. */
+    proyectoDeConfianza: boolean;
+    configDirName: string;
+}
+export interface CargaAgentes {
+    agentes: AgenteDefinido[];
+    problemas: ProblemaAgente[];
+    /** Cuántos de proyecto se ignoraron por falta de confianza. */
+    bloqueadosSinConfianza: number;
+}
+/**
+ * Carga los agentes de usuario y, si el proyecto es de confianza, los suyos.
+ *
+ * Los de proyecto pisan a los de usuario con el mismo nombre: quien abre un
+ * repositorio y decide confiar en él está pidiendo su configuración.
+ */
+export declare function cargarAgentes(opciones: OpcionesCarga): CargaAgentes;
+/** Traduce un agente definido a las opciones que entiende el runtime. */
+export declare function aOpcionesDeAgente(agente: AgenteDefinido): {
+    instructions: string;
+    model?: string;
+    tier?: string;
+    readOnly?: boolean;
+    web?: boolean;
+    isolation?: "none" | "worktree";
+    timeoutMs?: number;
+    schema?: TSchema;
+};
+//# sourceMappingURL=loader.d.ts.map

package/dist/core/agents/loader.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.d.ts","sourceRoot":"","sources":["../../../src/core/agents/loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAIH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAIvC,MAAM,WAAW,cAAc;IAC9B,MAAM,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,kEAAkE;IAClE,aAAa,EAAE,MAAM,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;;;;OAIG;IACH,aAAa,CAAC,EAAE,OAAO,CAAC;IACxB,OAAO,EAAE,SAAS,GAAG,UAAU,CAAC;IAChC,IAAI,EAAE,MAAM,CAAC;CACb;AAED,MAAM,WAAW,cAAc;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;CACf;AAiBD,4EAA4E;AAC5E,wBAAgB,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,SAAS,GAAG,UAAU,GAAG,cAAc,CA2D/G;AA6BD,MAAM,WAAW,aAAa;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ,gFAAgF;IAChF,mBAAmB,EAAE,OAAO,CAAC;IAC7B,aAAa,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,YAAY;IAC5B,OAAO,EAAE,cAAc,EAAE,CAAC;IAC1B,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,gEAA+D;IAC/D,sBAAsB,EAAE,MAAM,CAAC;CAC/B;AAED;;;;;GAKG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,aAAa,GAAG,YAAY,CAmBnE;AAED,yEAAyE;AACzE,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,cAAc,GAAG;IAC1D,YAAY,EAAE,MAAM,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,SAAS,CAAC,EAAE,MAAM,GAAG,UAAU,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,OAAO,CAAC;CACjB,CAWA","sourcesContent":["/**\n * Subagentes definidos por el usuario en Markdown.\n *\n * `~/.ada/agents/<nombre>.md` (usuario) y `<proyecto>/.ada/agents/<nombre>.md`\n * (proyecto). El frontmatter configura el subagente y el cuerpo es su prompt.\n *\n * Dos cosas que este cargador hace y el contrato que copiamos no:\n *\n * 1. **Los booleanos se validan de verdad.** `readOnly` y `web` deciden si un\n *    agente puede escribir ficheros o sacar por la red lo que ha leído. Un\n *    `readOnly: \"no\"` que YAML entrega como cadena es truthy, y aceptarlo sin\n *    mirar convertiría una errata en un permiso. Se rechaza el fichero entero y\n *    se dice cuál es.\n *\n * 2. **Los de proyecto exigen confianza.** Un `.ada/agents/*.md` viene del\n *    repositorio, igual que una extensión: abrir un repo ajeno no puede\n *    definir un agente con `web: true` que lea el código y lo mande fuera.\n */\n\nimport { existsSync, readdirSync, readFileSync } from \"node:fs\";\nimport { basename, join } from \"node:path\";\nimport type { TSchema } from \"typebox\";\nimport { parseFrontmatter } from \"../../utils/frontmatter.ts\";\nimport { esEsquemaValido } from \"../workflows/contrato/esquema.ts\";\n\nexport interface AgenteDefinido {\n\tnombre: string;\n\tdescripcion?: string;\n\t/** El cuerpo del Markdown: el prompt de sistema del subagente. */\n\tinstrucciones: string;\n\tmodel?: string;\n\ttier?: string;\n\treadOnly?: boolean;\n\tweb?: boolean;\n\tisolation?: \"none\" | \"worktree\";\n\ttimeoutMs?: number;\n\t/**\n\t * Esquema de salida (JSON Schema) declarado en `outputSchema:` del\n\t * frontmatter. El host lo usa para validar la salida del subagente y\n\t * reintentar con el error concreto si no valida — ver contrato/validador.ts.\n\t */\n\tesquemaSalida?: TSchema;\n\talcance: \"usuario\" | \"proyecto\";\n\truta: string;\n}\n\nexport interface ProblemaAgente {\n\truta: string;\n\tmotivo: string;\n}\n\nconst TIERS = new Set([\"small\", \"medium\", \"big\"]);\n\n/**\n * Booleano estricto.\n *\n * Devuelve `undefined` si el campo no está, y lanza si está y no es un booleano\n * de verdad. Ver el punto 1 de la cabecera: aquí un \"casi booleano\" es un\n * permiso mal concedido.\n */\nfunction booleanoEstricto(valor: unknown, campo: string): boolean | undefined {\n\tif (valor === undefined || valor === null) return undefined;\n\tif (typeof valor === \"boolean\") return valor;\n\tthrow new Error(`'${campo}' tiene que ser true o false, no ${JSON.stringify(valor)}`);\n}\n\n/** Analiza un fichero de agente. Lanza con un motivo legible si no vale. */\nexport function analizarAgente(contenido: string, ruta: string, alcance: \"usuario\" | \"proyecto\"): AgenteDefinido {\n\tconst { frontmatter, body } = parseFrontmatter<Record<string, unknown>>(contenido);\n\n\tconst nombreDeclarado = typeof frontmatter.name === \"string\" ? frontmatter.name.trim() : \"\";\n\t// El nombre del fichero manda si no se declara: es lo que el usuario escribe.\n\tconst nombre = nombreDeclarado || basename(ruta).replace(/\\.md$/i, \"\");\n\tif (!/^[a-z0-9][a-z0-9_-]*$/i.test(nombre)) {\n\t\tthrow new Error(`nombre inválido: '${nombre}' (solo letras, números, guion y guion bajo)`);\n\t}\n\tif (!body.trim()) {\n\t\tthrow new Error(\"el cuerpo está vacío: un agente sin instrucciones no hace nada\");\n\t}\n\n\tconst tier = typeof frontmatter.tier === \"string\" ? frontmatter.tier : undefined;\n\tif (tier && !TIERS.has(tier)) {\n\t\tthrow new Error(`tier desconocido: '${tier}' (small, medium o big)`);\n\t}\n\n\tconst isolation = typeof frontmatter.isolation === \"string\" ? frontmatter.isolation : undefined;\n\tif (isolation && isolation !== \"none\" && isolation !== \"worktree\") {\n\t\tthrow new Error(`isolation desconocido: '${isolation}' (none o worktree)`);\n\t}\n\n\tconst timeoutMs = frontmatter.timeoutMs;\n\tif (timeoutMs !== undefined && (typeof timeoutMs !== \"number\" || !Number.isFinite(timeoutMs) || timeoutMs <= 0)) {\n\t\tthrow new Error(`timeoutMs tiene que ser un número de milisegundos positivo`);\n\t}\n\n\tconst model = typeof frontmatter.model === \"string\" ? frontmatter.model.trim() : undefined;\n\tif (model === \"\") {\n\t\tthrow new Error(\"model está vacío: quítalo o pon 'proveedor/modelo'\");\n\t}\n\n\t// outputSchema declara el CONTRATO de salida: el host lo valida y reintenta\n\t// con el error concreto si no cumple (contrato/validador.ts). Un esquema\n\t// presente pero sin pinta de JSON Schema (`{}`, una lista, un string...) se\n\t// rechaza aquí — aceptarlo callado dejaría \"validar\" cualquier cosa.\n\tlet esquemaSalida: TSchema | undefined;\n\tif (frontmatter.outputSchema !== undefined) {\n\t\tif (!esEsquemaValido(frontmatter.outputSchema)) {\n\t\t\tthrow new Error(\"outputSchema no parece un JSON Schema válido (falta type/properties/anyOf/enum/...)\");\n\t\t}\n\t\tesquemaSalida = frontmatter.outputSchema;\n\t}\n\n\treturn {\n\t\tnombre,\n\t\tdescripcion: typeof frontmatter.description === \"string\" ? frontmatter.description : undefined,\n\t\tinstrucciones: body.trim(),\n\t\tmodel,\n\t\ttier,\n\t\treadOnly: booleanoEstricto(frontmatter.readOnly, \"readOnly\"),\n\t\tweb: booleanoEstricto(frontmatter.web, \"web\"),\n\t\tisolation: isolation as \"none\" | \"worktree\" | undefined,\n\t\ttimeoutMs: timeoutMs as number | undefined,\n\t\tesquemaSalida,\n\t\talcance,\n\t\truta,\n\t};\n}\n\nfunction leerDirectorio(\n\tdir: string,\n\talcance: \"usuario\" | \"proyecto\",\n\tagentes: Map<string, AgenteDefinido>,\n\tproblemas: ProblemaAgente[],\n): void {\n\tif (!existsSync(dir)) return;\n\tlet ficheros: string[];\n\ttry {\n\t\tficheros = readdirSync(dir).filter((f) => f.toLowerCase().endsWith(\".md\"));\n\t} catch (error) {\n\t\tproblemas.push({ ruta: dir, motivo: error instanceof Error ? error.message : String(error) });\n\t\treturn;\n\t}\n\tfor (const fichero of ficheros.sort()) {\n\t\tconst ruta = join(dir, fichero);\n\t\ttry {\n\t\t\tconst agente = analizarAgente(readFileSync(ruta, \"utf8\"), ruta, alcance);\n\t\t\tagentes.set(agente.nombre, agente);\n\t\t} catch (error) {\n\t\t\t// Un fichero roto no puede impedir que carguen los demás, pero SÍ se\n\t\t\t// cuenta: un agente que desaparece en silencio es peor que un error.\n\t\t\tproblemas.push({ ruta, motivo: error instanceof Error ? error.message : String(error) });\n\t\t}\n\t}\n}\n\nexport interface OpcionesCarga {\n\tagentDir: string;\n\tcwd: string;\n\t/** Los de proyecto solo cargan si el proyecto es de confianza. Ver cabecera. */\n\tproyectoDeConfianza: boolean;\n\tconfigDirName: string;\n}\n\nexport interface CargaAgentes {\n\tagentes: AgenteDefinido[];\n\tproblemas: ProblemaAgente[];\n\t/** Cuántos de proyecto se ignoraron por falta de confianza. */\n\tbloqueadosSinConfianza: number;\n}\n\n/**\n * Carga los agentes de usuario y, si el proyecto es de confianza, los suyos.\n *\n * Los de proyecto pisan a los de usuario con el mismo nombre: quien abre un\n * repositorio y decide confiar en él está pidiendo su configuración.\n */\nexport function cargarAgentes(opciones: OpcionesCarga): CargaAgentes {\n\tconst agentes = new Map<string, AgenteDefinido>();\n\tconst problemas: ProblemaAgente[] = [];\n\n\tleerDirectorio(join(opciones.agentDir, \"agents\"), \"usuario\", agentes, problemas);\n\n\tconst dirProyecto = join(opciones.cwd, opciones.configDirName, \"agents\");\n\tlet bloqueadosSinConfianza = 0;\n\tif (opciones.proyectoDeConfianza) {\n\t\tleerDirectorio(dirProyecto, \"proyecto\", agentes, problemas);\n\t} else if (existsSync(dirProyecto)) {\n\t\ttry {\n\t\t\tbloqueadosSinConfianza = readdirSync(dirProyecto).filter((f) => f.toLowerCase().endsWith(\".md\")).length;\n\t\t} catch {\n\t\t\tbloqueadosSinConfianza = 0;\n\t\t}\n\t}\n\n\treturn { agentes: [...agentes.values()], problemas, bloqueadosSinConfianza };\n}\n\n/** Traduce un agente definido a las opciones que entiende el runtime. */\nexport function aOpcionesDeAgente(agente: AgenteDefinido): {\n\tinstructions: string;\n\tmodel?: string;\n\ttier?: string;\n\treadOnly?: boolean;\n\tweb?: boolean;\n\tisolation?: \"none\" | \"worktree\";\n\ttimeoutMs?: number;\n\tschema?: TSchema;\n} {\n\treturn {\n\t\tinstructions: agente.instrucciones,\n\t\tmodel: agente.model,\n\t\ttier: agente.tier,\n\t\treadOnly: agente.readOnly,\n\t\tweb: agente.web,\n\t\tisolation: agente.isolation,\n\t\ttimeoutMs: agente.timeoutMs,\n\t\tschema: agente.esquemaSalida,\n\t};\n}\n"]}

package/dist/core/agents/loader.js

@@ -0,0 +1,154 @@
+/**
+ * Subagentes definidos por el usuario en Markdown.
+ *
+ * `~/.ada/agents/<nombre>.md` (usuario) y `<proyecto>/.ada/agents/<nombre>.md`
+ * (proyecto). El frontmatter configura el subagente y el cuerpo es su prompt.
+ *
+ * Dos cosas que este cargador hace y el contrato que copiamos no:
+ *
+ * 1. **Los booleanos se validan de verdad.** `readOnly` y `web` deciden si un
+ *    agente puede escribir ficheros o sacar por la red lo que ha leído. Un
+ *    `readOnly: "no"` que YAML entrega como cadena es truthy, y aceptarlo sin
+ *    mirar convertiría una errata en un permiso. Se rechaza el fichero entero y
+ *    se dice cuál es.
+ *
+ * 2. **Los de proyecto exigen confianza.** Un `.ada/agents/*.md` viene del
+ *    repositorio, igual que una extensión: abrir un repo ajeno no puede
+ *    definir un agente con `web: true` que lea el código y lo mande fuera.
+ */
+import { existsSync, readdirSync, readFileSync } from "node:fs";
+import { basename, join } from "node:path";
+import { parseFrontmatter } from "../../utils/frontmatter.js";
+import { esEsquemaValido } from "../workflows/contrato/esquema.js";
+const TIERS = new Set(["small", "medium", "big"]);
+/**
+ * Booleano estricto.
+ *
+ * Devuelve `undefined` si el campo no está, y lanza si está y no es un booleano
+ * de verdad. Ver el punto 1 de la cabecera: aquí un "casi booleano" es un
+ * permiso mal concedido.
+ */
+function booleanoEstricto(valor, campo) {
+    if (valor === undefined || valor === null)
+        return undefined;
+    if (typeof valor === "boolean")
+        return valor;
+    throw new Error(`'${campo}' tiene que ser true o false, no ${JSON.stringify(valor)}`);
+}
+/** Analiza un fichero de agente. Lanza con un motivo legible si no vale. */
+export function analizarAgente(contenido, ruta, alcance) {
+    const { frontmatter, body } = parseFrontmatter(contenido);
+    const nombreDeclarado = typeof frontmatter.name === "string" ? frontmatter.name.trim() : "";
+    // El nombre del fichero manda si no se declara: es lo que el usuario escribe.
+    const nombre = nombreDeclarado || basename(ruta).replace(/\.md$/i, "");
+    if (!/^[a-z0-9][a-z0-9_-]*$/i.test(nombre)) {
+        throw new Error(`nombre inválido: '${nombre}' (solo letras, números, guion y guion bajo)`);
+    }
+    if (!body.trim()) {
+        throw new Error("el cuerpo está vacío: un agente sin instrucciones no hace nada");
+    }
+    const tier = typeof frontmatter.tier === "string" ? frontmatter.tier : undefined;
+    if (tier && !TIERS.has(tier)) {
+        throw new Error(`tier desconocido: '${tier}' (small, medium o big)`);
+    }
+    const isolation = typeof frontmatter.isolation === "string" ? frontmatter.isolation : undefined;
+    if (isolation && isolation !== "none" && isolation !== "worktree") {
+        throw new Error(`isolation desconocido: '${isolation}' (none o worktree)`);
+    }
+    const timeoutMs = frontmatter.timeoutMs;
+    if (timeoutMs !== undefined && (typeof timeoutMs !== "number" || !Number.isFinite(timeoutMs) || timeoutMs <= 0)) {
+        throw new Error(`timeoutMs tiene que ser un número de milisegundos positivo`);
+    }
+    const model = typeof frontmatter.model === "string" ? frontmatter.model.trim() : undefined;
+    if (model === "") {
+        throw new Error("model está vacío: quítalo o pon 'proveedor/modelo'");
+    }
+    // outputSchema declara el CONTRATO de salida: el host lo valida y reintenta
+    // con el error concreto si no cumple (contrato/validador.ts). Un esquema
+    // presente pero sin pinta de JSON Schema (`{}`, una lista, un string...) se
+    // rechaza aquí — aceptarlo callado dejaría "validar" cualquier cosa.
+    let esquemaSalida;
+    if (frontmatter.outputSchema !== undefined) {
+        if (!esEsquemaValido(frontmatter.outputSchema)) {
+            throw new Error("outputSchema no parece un JSON Schema válido (falta type/properties/anyOf/enum/...)");
+        }
+        esquemaSalida = frontmatter.outputSchema;
+    }
+    return {
+        nombre,
+        descripcion: typeof frontmatter.description === "string" ? frontmatter.description : undefined,
+        instrucciones: body.trim(),
+        model,
+        tier,
+        readOnly: booleanoEstricto(frontmatter.readOnly, "readOnly"),
+        web: booleanoEstricto(frontmatter.web, "web"),
+        isolation: isolation,
+        timeoutMs: timeoutMs,
+        esquemaSalida,
+        alcance,
+        ruta,
+    };
+}
+function leerDirectorio(dir, alcance, agentes, problemas) {
+    if (!existsSync(dir))
+        return;
+    let ficheros;
+    try {
+        ficheros = readdirSync(dir).filter((f) => f.toLowerCase().endsWith(".md"));
+    }
+    catch (error) {
+        problemas.push({ ruta: dir, motivo: error instanceof Error ? error.message : String(error) });
+        return;
+    }
+    for (const fichero of ficheros.sort()) {
+        const ruta = join(dir, fichero);
+        try {
+            const agente = analizarAgente(readFileSync(ruta, "utf8"), ruta, alcance);
+            agentes.set(agente.nombre, agente);
+        }
+        catch (error) {
+            // Un fichero roto no puede impedir que carguen los demás, pero SÍ se
+            // cuenta: un agente que desaparece en silencio es peor que un error.
+            problemas.push({ ruta, motivo: error instanceof Error ? error.message : String(error) });
+        }
+    }
+}
+/**
+ * Carga los agentes de usuario y, si el proyecto es de confianza, los suyos.
+ *
+ * Los de proyecto pisan a los de usuario con el mismo nombre: quien abre un
+ * repositorio y decide confiar en él está pidiendo su configuración.
+ */
+export function cargarAgentes(opciones) {
+    const agentes = new Map();
+    const problemas = [];
+    leerDirectorio(join(opciones.agentDir, "agents"), "usuario", agentes, problemas);
+    const dirProyecto = join(opciones.cwd, opciones.configDirName, "agents");
+    let bloqueadosSinConfianza = 0;
+    if (opciones.proyectoDeConfianza) {
+        leerDirectorio(dirProyecto, "proyecto", agentes, problemas);
+    }
+    else if (existsSync(dirProyecto)) {
+        try {
+            bloqueadosSinConfianza = readdirSync(dirProyecto).filter((f) => f.toLowerCase().endsWith(".md")).length;
+        }
+        catch {
+            bloqueadosSinConfianza = 0;
+        }
+    }
+    return { agentes: [...agentes.values()], problemas, bloqueadosSinConfianza };
+}
+/** Traduce un agente definido a las opciones que entiende el runtime. */
+export function aOpcionesDeAgente(agente) {
+    return {
+        instructions: agente.instrucciones,
+        model: agente.model,
+        tier: agente.tier,
+        readOnly: agente.readOnly,
+        web: agente.web,
+        isolation: agente.isolation,
+        timeoutMs: agente.timeoutMs,
+        schema: agente.esquemaSalida,
+    };
+}
+//# sourceMappingURL=loader.js.map

package/dist/core/agents/loader.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"loader.js","sourceRoot":"","sources":["../../../src/core/agents/loader.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AAChE,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAE3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,4BAA4B,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AA4BnE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC;AAElD;;;;;;GAMG;AACH,SAAS,gBAAgB,CAAC,KAAc,EAAE,KAAa,EAAuB;IAC7E,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,SAAS,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7C,MAAM,IAAI,KAAK,CAAC,IAAI,KAAK,oCAAoC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAAA,CACtF;AAED,4EAA4E;AAC5E,MAAM,UAAU,cAAc,CAAC,SAAiB,EAAE,IAAY,EAAE,OAA+B,EAAkB;IAChH,MAAM,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,gBAAgB,CAA0B,SAAS,CAAC,CAAC;IAEnF,MAAM,eAAe,GAAG,OAAO,WAAW,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5F,8EAA8E;IAC9E,MAAM,MAAM,GAAG,eAAe,IAAI,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IACvE,IAAI,CAAC,wBAAwB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5C,MAAM,IAAI,KAAK,CAAC,sBAAqB,MAAM,+CAA8C,CAAC,CAAC;IAC5F,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,kEAAgE,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,WAAW,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,yBAAyB,CAAC,CAAC;IACtE,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,WAAW,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,IAAI,SAAS,IAAI,SAAS,KAAK,MAAM,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,2BAA2B,SAAS,qBAAqB,CAAC,CAAC;IAC5E,CAAC;IAED,MAAM,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC;IACxC,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC;QACjH,MAAM,IAAI,KAAK,CAAC,6DAA4D,CAAC,CAAC;IAC/E,CAAC;IAED,MAAM,KAAK,GAAG,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3F,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,uDAAoD,CAAC,CAAC;IACvE,CAAC;IAED,4EAA4E;IAC5E,yEAAyE;IACzE,4EAA4E;IAC5E,yEAAqE;IACrE,IAAI,aAAkC,CAAC;IACvC,IAAI,WAAW,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QAC5C,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,YAAY,CAAC,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,sFAAqF,CAAC,CAAC;QACxG,CAAC;QACD,aAAa,GAAG,WAAW,CAAC,YAAY,CAAC;IAC1C,CAAC;IAED,OAAO;QACN,MAAM;QACN,WAAW,EAAE,OAAO,WAAW,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;QAC9F,aAAa,EAAE,IAAI,CAAC,IAAI,EAAE;QAC1B,KAAK;QACL,IAAI;QACJ,QAAQ,EAAE,gBAAgB,CAAC,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC;QAC5D,GAAG,EAAE,gBAAgB,CAAC,WAAW,CAAC,GAAG,EAAE,KAAK,CAAC;QAC7C,SAAS,EAAE,SAA4C;QACvD,SAAS,EAAE,SAA+B;QAC1C,aAAa;QACb,OAAO;QACP,IAAI;KACJ,CAAC;AAAA,CACF;AAED,SAAS,cAAc,CACtB,GAAW,EACX,OAA+B,EAC/B,OAAoC,EACpC,SAA2B,EACpB;IACP,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO;IAC7B,IAAI,QAAkB,CAAC;IACvB,IAAI,CAAC;QACJ,QAAQ,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;IAC5E,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QAChB,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC9F,OAAO;IACR,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC;QAChC,IAAI,CAAC;YACJ,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YACzE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QACpC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YAChB,uEAAqE;YACrE,qEAAqE;YACrE,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC1F,CAAC;IACF,CAAC;AAAA,CACD;AAiBD;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,QAAuB,EAAgB;IACpE,MAAM,OAAO,GAAG,IAAI,GAAG,EAA0B,CAAC;IAClD,MAAM,SAAS,GAAqB,EAAE,CAAC;IAEvC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAEjF,MAAM,WAAW,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,aAAa,EAAE,QAAQ,CAAC,CAAC;IACzE,IAAI,sBAAsB,GAAG,CAAC,CAAC;IAC/B,IAAI,QAAQ,CAAC,mBAAmB,EAAE,CAAC;QAClC,cAAc,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC7D,CAAC;SAAM,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACpC,IAAI,CAAC;YACJ,sBAAsB,GAAG,WAAW,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QACzG,CAAC;QAAC,MAAM,CAAC;YACR,sBAAsB,GAAG,CAAC,CAAC;QAC5B,CAAC;IACF,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,sBAAsB,EAAE,CAAC;AAAA,CAC7E;AAED,yEAAyE;AACzE,MAAM,UAAU,iBAAiB,CAAC,MAAsB,EAStD;IACD,OAAO;QACN,YAAY,EAAE,MAAM,CAAC,aAAa;QAClC,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,GAAG,EAAE,MAAM,CAAC,GAAG;QACf,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,MAAM,EAAE,MAAM,CAAC,aAAa;KAC5B,CAAC;AAAA,CACF","sourcesContent":["/**\n * Subagentes definidos por el usuario en Markdown.\n *\n * `~/.ada/agents/<nombre>.md` (usuario) y `<proyecto>/.ada/agents/<nombre>.md`\n * (proyecto). El frontmatter configura el subagente y el cuerpo es su prompt.\n *\n * Dos cosas que este cargador hace y el contrato que copiamos no:\n *\n * 1. **Los booleanos se validan de verdad.** `readOnly` y `web` deciden si un\n *    agente puede escribir ficheros o sacar por la red lo que ha leído. Un\n *    `readOnly: \"no\"` que YAML entrega como cadena es truthy, y aceptarlo sin\n *    mirar convertiría una errata en un permiso. Se rechaza el fichero entero y\n *    se dice cuál es.\n *\n * 2. **Los de proyecto exigen confianza.** Un `.ada/agents/*.md` viene del\n *    repositorio, igual que una extensión: abrir un repo ajeno no puede\n *    definir un agente con `web: true` que lea el código y lo mande fuera.\n */\n\nimport { existsSync, readdirSync, readFileSync } from \"node:fs\";\nimport { basename, join } from \"node:path\";\nimport type { TSchema } from \"typebox\";\nimport { parseFrontmatter } from \"../../utils/frontmatter.ts\";\nimport { esEsquemaValido } from \"../workflows/contrato/esquema.ts\";\n\nexport interface AgenteDefinido {\n\tnombre: string;\n\tdescripcion?: string;\n\t/** El cuerpo del Markdown: el prompt de sistema del subagente. */\n\tinstrucciones: string;\n\tmodel?: string;\n\ttier?: string;\n\treadOnly?: boolean;\n\tweb?: boolean;\n\tisolation?: \"none\" | \"worktree\";\n\ttimeoutMs?: number;\n\t/**\n\t * Esquema de salida (JSON Schema) declarado en `outputSchema:` del\n\t * frontmatter. El host lo usa para validar la salida del subagente y\n\t * reintentar con el error concreto si no valida — ver contrato/validador.ts.\n\t */\n\tesquemaSalida?: TSchema;\n\talcance: \"usuario\" | \"proyecto\";\n\truta: string;\n}\n\nexport interface ProblemaAgente {\n\truta: string;\n\tmotivo: string;\n}\n\nconst TIERS = new Set([\"small\", \"medium\", \"big\"]);\n\n/**\n * Booleano estricto.\n *\n * Devuelve `undefined` si el campo no está, y lanza si está y no es un booleano\n * de verdad. Ver el punto 1 de la cabecera: aquí un \"casi booleano\" es un\n * permiso mal concedido.\n */\nfunction booleanoEstricto(valor: unknown, campo: string): boolean | undefined {\n\tif (valor === undefined || valor === null) return undefined;\n\tif (typeof valor === \"boolean\") return valor;\n\tthrow new Error(`'${campo}' tiene que ser true o false, no ${JSON.stringify(valor)}`);\n}\n\n/** Analiza un fichero de agente. Lanza con un motivo legible si no vale. */\nexport function analizarAgente(contenido: string, ruta: string, alcance: \"usuario\" | \"proyecto\"): AgenteDefinido {\n\tconst { frontmatter, body } = parseFrontmatter<Record<string, unknown>>(contenido);\n\n\tconst nombreDeclarado = typeof frontmatter.name === \"string\" ? frontmatter.name.trim() : \"\";\n\t// El nombre del fichero manda si no se declara: es lo que el usuario escribe.\n\tconst nombre = nombreDeclarado || basename(ruta).replace(/\\.md$/i, \"\");\n\tif (!/^[a-z0-9][a-z0-9_-]*$/i.test(nombre)) {\n\t\tthrow new Error(`nombre inválido: '${nombre}' (solo letras, números, guion y guion bajo)`);\n\t}\n\tif (!body.trim()) {\n\t\tthrow new Error(\"el cuerpo está vacío: un agente sin instrucciones no hace nada\");\n\t}\n\n\tconst tier = typeof frontmatter.tier === \"string\" ? frontmatter.tier : undefined;\n\tif (tier && !TIERS.has(tier)) {\n\t\tthrow new Error(`tier desconocido: '${tier}' (small, medium o big)`);\n\t}\n\n\tconst isolation = typeof frontmatter.isolation === \"string\" ? frontmatter.isolation : undefined;\n\tif (isolation && isolation !== \"none\" && isolation !== \"worktree\") {\n\t\tthrow new Error(`isolation desconocido: '${isolation}' (none o worktree)`);\n\t}\n\n\tconst timeoutMs = frontmatter.timeoutMs;\n\tif (timeoutMs !== undefined && (typeof timeoutMs !== \"number\" || !Number.isFinite(timeoutMs) || timeoutMs <= 0)) {\n\t\tthrow new Error(`timeoutMs tiene que ser un número de milisegundos positivo`);\n\t}\n\n\tconst model = typeof frontmatter.model === \"string\" ? frontmatter.model.trim() : undefined;\n\tif (model === \"\") {\n\t\tthrow new Error(\"model está vacío: quítalo o pon 'proveedor/modelo'\");\n\t}\n\n\t// outputSchema declara el CONTRATO de salida: el host lo valida y reintenta\n\t// con el error concreto si no cumple (contrato/validador.ts). Un esquema\n\t// presente pero sin pinta de JSON Schema (`{}`, una lista, un string...) se\n\t// rechaza aquí — aceptarlo callado dejaría \"validar\" cualquier cosa.\n\tlet esquemaSalida: TSchema | undefined;\n\tif (frontmatter.outputSchema !== undefined) {\n\t\tif (!esEsquemaValido(frontmatter.outputSchema)) {\n\t\t\tthrow new Error(\"outputSchema no parece un JSON Schema válido (falta type/properties/anyOf/enum/...)\");\n\t\t}\n\t\tesquemaSalida = frontmatter.outputSchema;\n\t}\n\n\treturn {\n\t\tnombre,\n\t\tdescripcion: typeof frontmatter.description === \"string\" ? frontmatter.description : undefined,\n\t\tinstrucciones: body.trim(),\n\t\tmodel,\n\t\ttier,\n\t\treadOnly: booleanoEstricto(frontmatter.readOnly, \"readOnly\"),\n\t\tweb: booleanoEstricto(frontmatter.web, \"web\"),\n\t\tisolation: isolation as \"none\" | \"worktree\" | undefined,\n\t\ttimeoutMs: timeoutMs as number | undefined,\n\t\tesquemaSalida,\n\t\talcance,\n\t\truta,\n\t};\n}\n\nfunction leerDirectorio(\n\tdir: string,\n\talcance: \"usuario\" | \"proyecto\",\n\tagentes: Map<string, AgenteDefinido>,\n\tproblemas: ProblemaAgente[],\n): void {\n\tif (!existsSync(dir)) return;\n\tlet ficheros: string[];\n\ttry {\n\t\tficheros = readdirSync(dir).filter((f) => f.toLowerCase().endsWith(\".md\"));\n\t} catch (error) {\n\t\tproblemas.push({ ruta: dir, motivo: error instanceof Error ? error.message : String(error) });\n\t\treturn;\n\t}\n\tfor (const fichero of ficheros.sort()) {\n\t\tconst ruta = join(dir, fichero);\n\t\ttry {\n\t\t\tconst agente = analizarAgente(readFileSync(ruta, \"utf8\"), ruta, alcance);\n\t\t\tagentes.set(agente.nombre, agente);\n\t\t} catch (error) {\n\t\t\t// Un fichero roto no puede impedir que carguen los demás, pero SÍ se\n\t\t\t// cuenta: un agente que desaparece en silencio es peor que un error.\n\t\t\tproblemas.push({ ruta, motivo: error instanceof Error ? error.message : String(error) });\n\t\t}\n\t}\n}\n\nexport interface OpcionesCarga {\n\tagentDir: string;\n\tcwd: string;\n\t/** Los de proyecto solo cargan si el proyecto es de confianza. Ver cabecera. */\n\tproyectoDeConfianza: boolean;\n\tconfigDirName: string;\n}\n\nexport interface CargaAgentes {\n\tagentes: AgenteDefinido[];\n\tproblemas: ProblemaAgente[];\n\t/** Cuántos de proyecto se ignoraron por falta de confianza. */\n\tbloqueadosSinConfianza: number;\n}\n\n/**\n * Carga los agentes de usuario y, si el proyecto es de confianza, los suyos.\n *\n * Los de proyecto pisan a los de usuario con el mismo nombre: quien abre un\n * repositorio y decide confiar en él está pidiendo su configuración.\n */\nexport function cargarAgentes(opciones: OpcionesCarga): CargaAgentes {\n\tconst agentes = new Map<string, AgenteDefinido>();\n\tconst problemas: ProblemaAgente[] = [];\n\n\tleerDirectorio(join(opciones.agentDir, \"agents\"), \"usuario\", agentes, problemas);\n\n\tconst dirProyecto = join(opciones.cwd, opciones.configDirName, \"agents\");\n\tlet bloqueadosSinConfianza = 0;\n\tif (opciones.proyectoDeConfianza) {\n\t\tleerDirectorio(dirProyecto, \"proyecto\", agentes, problemas);\n\t} else if (existsSync(dirProyecto)) {\n\t\ttry {\n\t\t\tbloqueadosSinConfianza = readdirSync(dirProyecto).filter((f) => f.toLowerCase().endsWith(\".md\")).length;\n\t\t} catch {\n\t\t\tbloqueadosSinConfianza = 0;\n\t\t}\n\t}\n\n\treturn { agentes: [...agentes.values()], problemas, bloqueadosSinConfianza };\n}\n\n/** Traduce un agente definido a las opciones que entiende el runtime. */\nexport function aOpcionesDeAgente(agente: AgenteDefinido): {\n\tinstructions: string;\n\tmodel?: string;\n\ttier?: string;\n\treadOnly?: boolean;\n\tweb?: boolean;\n\tisolation?: \"none\" | \"worktree\";\n\ttimeoutMs?: number;\n\tschema?: TSchema;\n} {\n\treturn {\n\t\tinstructions: agente.instrucciones,\n\t\tmodel: agente.model,\n\t\ttier: agente.tier,\n\t\treadOnly: agente.readOnly,\n\t\tweb: agente.web,\n\t\tisolation: agente.isolation,\n\t\ttimeoutMs: agente.timeoutMs,\n\t\tschema: agente.esquemaSalida,\n\t};\n}\n"]}

package/dist/core/aprobacion/generados.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Ficheros generados: editarlos es trabajo que se pierde solo.
+ *
+ * Un agente que arregla un fallo dentro de `api.pb.go`, `schema.generated.ts` o
+ * un cliente de OpenAPI hace un trabajo que desaparece en el siguiente
+ * `make generate`. Y lo peor no es perderlo: es que entre medias el repositorio
+ * queda incoherente —la fuente dice una cosa y el generado otra— y el siguiente
+ * que mire no sabrá cuál manda.
+ *
+ * La detección mira la CABECERA, no el nombre. Un fichero llamado
+ * `generated.ts` puede estar escrito a mano y uno llamado `types.ts` puede
+ * salir de `protoc`. Lo que no miente es el marcador que los generadores
+ * escriben arriba.
+ *
+ * LOS PATRONES SON ESTRICTOS A PROPÓSITO, y esto es lo importante: oh-my-pi
+ * anota en su propia guarda que un patrón ancho como `/auto-generated/` da
+ * falsos positivos «incluido este mismo fichero». Un guardián que bloquea
+ * ficheros escritos a mano se desactiva el primer día, y con él se pierde la
+ * protección entera. Por eso solo cuentan las fórmulas que un generador escribe
+ * literalmente.
+ */
+export interface MarcaDeGenerado {
+    /** La línea exacta que lo delata. Va en el mensaje: sin ella no es comprobable. */
+    linea: string;
+    numero: number;
+}
+/**
+ * ¿Este contenido dice de sí mismo que está generado?
+ *
+ * Devuelve la línea que lo delata, para poder enseñarla. Un «parece generado»
+ * sin la prueba delante es imposible de rebatir, y lo que no se puede rebatir
+ * se acaba desactivando.
+ */
+export declare function marcaDeGenerado(contenido: string): MarcaDeGenerado | null;
+/** El mensaje para el modelo cuando intenta escribir en uno. */
+export declare function motivoDeGenerado(ruta: string, marca: MarcaDeGenerado): string;
+//# sourceMappingURL=generados.d.ts.map

package/dist/core/aprobacion/generados.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"generados.d.ts","sourceRoot":"","sources":["../../../src/core/aprobacion/generados.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,MAAM,WAAW,eAAe;IAC/B,oFAAmF;IACnF,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CACf;AAkCD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAYzE;AAED,gEAAgE;AAChE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,eAAe,GAAG,MAAM,CAS7E","sourcesContent":["/**\n * Ficheros generados: editarlos es trabajo que se pierde solo.\n *\n * Un agente que arregla un fallo dentro de `api.pb.go`, `schema.generated.ts` o\n * un cliente de OpenAPI hace un trabajo que desaparece en el siguiente\n * `make generate`. Y lo peor no es perderlo: es que entre medias el repositorio\n * queda incoherente —la fuente dice una cosa y el generado otra— y el siguiente\n * que mire no sabrá cuál manda.\n *\n * La detección mira la CABECERA, no el nombre. Un fichero llamado\n * `generated.ts` puede estar escrito a mano y uno llamado `types.ts` puede\n * salir de `protoc`. Lo que no miente es el marcador que los generadores\n * escriben arriba.\n *\n * LOS PATRONES SON ESTRICTOS A PROPÓSITO, y esto es lo importante: oh-my-pi\n * anota en su propia guarda que un patrón ancho como `/auto-generated/` da\n * falsos positivos «incluido este mismo fichero». Un guardián que bloquea\n * ficheros escritos a mano se desactiva el primer día, y con él se pierde la\n * protección entera. Por eso solo cuentan las fórmulas que un generador escribe\n * literalmente.\n */\n\nexport interface MarcaDeGenerado {\n\t/** La línea exacta que lo delata. Va en el mensaje: sin ella no es comprobable. */\n\tlinea: string;\n\tnumero: number;\n}\n\n/**\n * Cuánto se mira: los primeros 1.024 bytes Y como mucho 40 líneas.\n *\n * El límite de BYTES es el que de verdad hace falta, y se descubrió con la\n * autoprueba: este mismo fichero se bloqueaba a sí mismo, porque su comentario\n * de cabecera explica los marcadores y menciona `@generated` sobre la línea 40.\n * Un generador escribe su marca en la primera línea o la segunda; un texto que\n * HABLA de generadores tarda párrafos en llegar. Mil bytes separan las dos\n * cosas.\n *\n * Es exactamente el falso positivo que oh-my-pi anota en su propia guarda.\n * Comprobado sobre los 424 ficheros de este paquete: se marcan CERO.\n */\nconst BYTES_DE_CABECERA = 1024;\nconst LINEAS_DE_CABECERA = 40;\n\n/**\n * Fórmulas que escriben los generadores. Nada de heurísticas anchas.\n *\n * `@generated` es la convención más extendida (Go, protobuf, Meta).\n * «Code generated by X. DO NOT EDIT.» es la de Go.\n * Las demás cubren swagger/openapi, sqlc, buf y compañía.\n */\nconst MARCADORES: RegExp[] = [\n\t/@generated\\b/i,\n\t/\\bcode\\s+generated\\s+by\\s+[\\w.\\-/]+/i,\n\t/\\bthis\\s+file\\s+(?:was|is)\\s+(?:auto(?:matically)?[\\s-]*)?generated\\b/i,\n\t/\\bgenerated\\s+by\\s+(?:protoc|sqlc|buf|swagger|openapi|grpc-gateway|mockery|stringer|prisma|drizzle-kit|graphql-codegen|napi-rs)\\b/i,\n\t/\\bdo\\s+not\\s+edit\\b[\\s\\S]{0,40}\\bgenerated\\b/i,\n\t/\\bgenerated\\b[\\s\\S]{0,40}\\bdo\\s+not\\s+edit\\b/i,\n];\n\n/**\n * ¿Este contenido dice de sí mismo que está generado?\n *\n * Devuelve la línea que lo delata, para poder enseñarla. Un «parece generado»\n * sin la prueba delante es imposible de rebatir, y lo que no se puede rebatir\n * se acaba desactivando.\n */\nexport function marcaDeGenerado(contenido: string): MarcaDeGenerado | null {\n\tconst lineas = contenido.slice(0, BYTES_DE_CABECERA).split(\"\\n\").slice(0, LINEAS_DE_CABECERA);\n\tfor (let i = 0; i < lineas.length; i++) {\n\t\tconst linea = lineas[i];\n\t\t// Solo cuenta dentro de un comentario o de una directiva de cabecera. En\n\t\t// el cuerpo del código, una cadena que diga \"@generated\" es un dato, no\n\t\t// una declaración sobre el fichero — y bloquear por eso sería justo el\n\t\t// falso positivo que vuelve inútil la guarda.\n\t\tif (!/^\\s*(?:\\/\\/|\\/\\*|\\*|#|--|<!--|;|%|\"\"\"|')/.test(linea)) continue;\n\t\tif (MARCADORES.some((p) => p.test(linea))) return { linea: linea.trim().slice(0, 160), numero: i + 1 };\n\t}\n\treturn null;\n}\n\n/** El mensaje para el modelo cuando intenta escribir en uno. */\nexport function motivoDeGenerado(ruta: string, marca: MarcaDeGenerado): string {\n\treturn [\n\t\t`Denegado: \\`${ruta}\\` es un fichero generado. Su línea ${marca.numero} lo dice:`,\n\t\t`    ${marca.linea}`,\n\t\t\"Lo que escribas aquí desaparece en la siguiente regeneración, y hasta entonces la\",\n\t\t\"fuente y el generado dicen cosas distintas. Edita el origen (el .proto, el esquema,\",\n\t\t\"la plantilla o la configuración del generador) y vuelve a generar.\",\n\t\t\"Si de verdad hay que tocarlo a mano, pídeselo al usuario y que lo decida.\",\n\t].join(\"\\n\");\n}\n"]}

package/dist/core/aprobacion/generados.js

@@ -0,0 +1,85 @@
+/**
+ * Ficheros generados: editarlos es trabajo que se pierde solo.
+ *
+ * Un agente que arregla un fallo dentro de `api.pb.go`, `schema.generated.ts` o
+ * un cliente de OpenAPI hace un trabajo que desaparece en el siguiente
+ * `make generate`. Y lo peor no es perderlo: es que entre medias el repositorio
+ * queda incoherente —la fuente dice una cosa y el generado otra— y el siguiente
+ * que mire no sabrá cuál manda.
+ *
+ * La detección mira la CABECERA, no el nombre. Un fichero llamado
+ * `generated.ts` puede estar escrito a mano y uno llamado `types.ts` puede
+ * salir de `protoc`. Lo que no miente es el marcador que los generadores
+ * escriben arriba.
+ *
+ * LOS PATRONES SON ESTRICTOS A PROPÓSITO, y esto es lo importante: oh-my-pi
+ * anota en su propia guarda que un patrón ancho como `/auto-generated/` da
+ * falsos positivos «incluido este mismo fichero». Un guardián que bloquea
+ * ficheros escritos a mano se desactiva el primer día, y con él se pierde la
+ * protección entera. Por eso solo cuentan las fórmulas que un generador escribe
+ * literalmente.
+ */
+/**
+ * Cuánto se mira: los primeros 1.024 bytes Y como mucho 40 líneas.
+ *
+ * El límite de BYTES es el que de verdad hace falta, y se descubrió con la
+ * autoprueba: este mismo fichero se bloqueaba a sí mismo, porque su comentario
+ * de cabecera explica los marcadores y menciona `@generated` sobre la línea 40.
+ * Un generador escribe su marca en la primera línea o la segunda; un texto que
+ * HABLA de generadores tarda párrafos en llegar. Mil bytes separan las dos
+ * cosas.
+ *
+ * Es exactamente el falso positivo que oh-my-pi anota en su propia guarda.
+ * Comprobado sobre los 424 ficheros de este paquete: se marcan CERO.
+ */
+const BYTES_DE_CABECERA = 1024;
+const LINEAS_DE_CABECERA = 40;
+/**
+ * Fórmulas que escriben los generadores. Nada de heurísticas anchas.
+ *
+ * `@generated` es la convención más extendida (Go, protobuf, Meta).
+ * «Code generated by X. DO NOT EDIT.» es la de Go.
+ * Las demás cubren swagger/openapi, sqlc, buf y compañía.
+ */
+const MARCADORES = [
+    /@generated\b/i,
+    /\bcode\s+generated\s+by\s+[\w.\-/]+/i,
+    /\bthis\s+file\s+(?:was|is)\s+(?:auto(?:matically)?[\s-]*)?generated\b/i,
+    /\bgenerated\s+by\s+(?:protoc|sqlc|buf|swagger|openapi|grpc-gateway|mockery|stringer|prisma|drizzle-kit|graphql-codegen|napi-rs)\b/i,
+    /\bdo\s+not\s+edit\b[\s\S]{0,40}\bgenerated\b/i,
+    /\bgenerated\b[\s\S]{0,40}\bdo\s+not\s+edit\b/i,
+];
+/**
+ * ¿Este contenido dice de sí mismo que está generado?
+ *
+ * Devuelve la línea que lo delata, para poder enseñarla. Un «parece generado»
+ * sin la prueba delante es imposible de rebatir, y lo que no se puede rebatir
+ * se acaba desactivando.
+ */
+export function marcaDeGenerado(contenido) {
+    const lineas = contenido.slice(0, BYTES_DE_CABECERA).split("\n").slice(0, LINEAS_DE_CABECERA);
+    for (let i = 0; i < lineas.length; i++) {
+        const linea = lineas[i];
+        // Solo cuenta dentro de un comentario o de una directiva de cabecera. En
+        // el cuerpo del código, una cadena que diga "@generated" es un dato, no
+        // una declaración sobre el fichero — y bloquear por eso sería justo el
+        // falso positivo que vuelve inútil la guarda.
+        if (!/^\s*(?:\/\/|\/\*|\*|#|--|<!--|;|%|"""|')/.test(linea))
+            continue;
+        if (MARCADORES.some((p) => p.test(linea)))
+            return { linea: linea.trim().slice(0, 160), numero: i + 1 };
+    }
+    return null;
+}
+/** El mensaje para el modelo cuando intenta escribir en uno. */
+export function motivoDeGenerado(ruta, marca) {
+    return [
+        `Denegado: \`${ruta}\` es un fichero generado. Su línea ${marca.numero} lo dice:`,
+        `    ${marca.linea}`,
+        "Lo que escribas aquí desaparece en la siguiente regeneración, y hasta entonces la",
+        "fuente y el generado dicen cosas distintas. Edita el origen (el .proto, el esquema,",
+        "la plantilla o la configuración del generador) y vuelve a generar.",
+        "Si de verdad hay que tocarlo a mano, pídeselo al usuario y que lo decida.",
+    ].join("\n");
+}
+//# sourceMappingURL=generados.js.map

package/dist/core/aprobacion/generados.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generados.js","sourceRoot":"","sources":["../../../src/core/aprobacion/generados.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAQH;;;;;;;;;;;;GAYG;AACH,MAAM,iBAAiB,GAAG,IAAI,CAAC;AAC/B,MAAM,kBAAkB,GAAG,EAAE,CAAC;AAE9B;;;;;;GAMG;AACH,MAAM,UAAU,GAAa;IAC5B,eAAe;IACf,sCAAsC;IACtC,wEAAwE;IACxE,oIAAoI;IACpI,+CAA+C;IAC/C,+CAA+C;CAC/C,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,eAAe,CAAC,SAAiB,EAA0B;IAC1E,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC;IAC9F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;QACxB,yEAAyE;QACzE,yEAAwE;QACxE,2EAAuE;QACvE,+CAA8C;QAC9C,IAAI,CAAC,0CAA0C,CAAC,IAAI,CAAC,KAAK,CAAC;YAAE,SAAS;QACtE,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;IACxG,CAAC;IACD,OAAO,IAAI,CAAC;AAAA,CACZ;AAED,gEAAgE;AAChE,MAAM,UAAU,gBAAgB,CAAC,IAAY,EAAE,KAAsB,EAAU;IAC9E,OAAO;QACN,eAAe,IAAI,wCAAuC,KAAK,CAAC,MAAM,WAAW;QACjF,OAAO,KAAK,CAAC,KAAK,EAAE;QACpB,qFAAmF;QACnF,qFAAqF;QACrF,qEAAoE;QACpE,4EAA2E;KAC3E,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAAA,CACb","sourcesContent":["/**\n * Ficheros generados: editarlos es trabajo que se pierde solo.\n *\n * Un agente que arregla un fallo dentro de `api.pb.go`, `schema.generated.ts` o\n * un cliente de OpenAPI hace un trabajo que desaparece en el siguiente\n * `make generate`. Y lo peor no es perderlo: es que entre medias el repositorio\n * queda incoherente —la fuente dice una cosa y el generado otra— y el siguiente\n * que mire no sabrá cuál manda.\n *\n * La detección mira la CABECERA, no el nombre. Un fichero llamado\n * `generated.ts` puede estar escrito a mano y uno llamado `types.ts` puede\n * salir de `protoc`. Lo que no miente es el marcador que los generadores\n * escriben arriba.\n *\n * LOS PATRONES SON ESTRICTOS A PROPÓSITO, y esto es lo importante: oh-my-pi\n * anota en su propia guarda que un patrón ancho como `/auto-generated/` da\n * falsos positivos «incluido este mismo fichero». Un guardián que bloquea\n * ficheros escritos a mano se desactiva el primer día, y con él se pierde la\n * protección entera. Por eso solo cuentan las fórmulas que un generador escribe\n * literalmente.\n */\n\nexport interface MarcaDeGenerado {\n\t/** La línea exacta que lo delata. Va en el mensaje: sin ella no es comprobable. */\n\tlinea: string;\n\tnumero: number;\n}\n\n/**\n * Cuánto se mira: los primeros 1.024 bytes Y como mucho 40 líneas.\n *\n * El límite de BYTES es el que de verdad hace falta, y se descubrió con la\n * autoprueba: este mismo fichero se bloqueaba a sí mismo, porque su comentario\n * de cabecera explica los marcadores y menciona `@generated` sobre la línea 40.\n * Un generador escribe su marca en la primera línea o la segunda; un texto que\n * HABLA de generadores tarda párrafos en llegar. Mil bytes separan las dos\n * cosas.\n *\n * Es exactamente el falso positivo que oh-my-pi anota en su propia guarda.\n * Comprobado sobre los 424 ficheros de este paquete: se marcan CERO.\n */\nconst BYTES_DE_CABECERA = 1024;\nconst LINEAS_DE_CABECERA = 40;\n\n/**\n * Fórmulas que escriben los generadores. Nada de heurísticas anchas.\n *\n * `@generated` es la convención más extendida (Go, protobuf, Meta).\n * «Code generated by X. DO NOT EDIT.» es la de Go.\n * Las demás cubren swagger/openapi, sqlc, buf y compañía.\n */\nconst MARCADORES: RegExp[] = [\n\t/@generated\\b/i,\n\t/\\bcode\\s+generated\\s+by\\s+[\\w.\\-/]+/i,\n\t/\\bthis\\s+file\\s+(?:was|is)\\s+(?:auto(?:matically)?[\\s-]*)?generated\\b/i,\n\t/\\bgenerated\\s+by\\s+(?:protoc|sqlc|buf|swagger|openapi|grpc-gateway|mockery|stringer|prisma|drizzle-kit|graphql-codegen|napi-rs)\\b/i,\n\t/\\bdo\\s+not\\s+edit\\b[\\s\\S]{0,40}\\bgenerated\\b/i,\n\t/\\bgenerated\\b[\\s\\S]{0,40}\\bdo\\s+not\\s+edit\\b/i,\n];\n\n/**\n * ¿Este contenido dice de sí mismo que está generado?\n *\n * Devuelve la línea que lo delata, para poder enseñarla. Un «parece generado»\n * sin la prueba delante es imposible de rebatir, y lo que no se puede rebatir\n * se acaba desactivando.\n */\nexport function marcaDeGenerado(contenido: string): MarcaDeGenerado | null {\n\tconst lineas = contenido.slice(0, BYTES_DE_CABECERA).split(\"\\n\").slice(0, LINEAS_DE_CABECERA);\n\tfor (let i = 0; i < lineas.length; i++) {\n\t\tconst linea = lineas[i];\n\t\t// Solo cuenta dentro de un comentario o de una directiva de cabecera. En\n\t\t// el cuerpo del código, una cadena que diga \"@generated\" es un dato, no\n\t\t// una declaración sobre el fichero — y bloquear por eso sería justo el\n\t\t// falso positivo que vuelve inútil la guarda.\n\t\tif (!/^\\s*(?:\\/\\/|\\/\\*|\\*|#|--|<!--|;|%|\"\"\"|')/.test(linea)) continue;\n\t\tif (MARCADORES.some((p) => p.test(linea))) return { linea: linea.trim().slice(0, 160), numero: i + 1 };\n\t}\n\treturn null;\n}\n\n/** El mensaje para el modelo cuando intenta escribir en uno. */\nexport function motivoDeGenerado(ruta: string, marca: MarcaDeGenerado): string {\n\treturn [\n\t\t`Denegado: \\`${ruta}\\` es un fichero generado. Su línea ${marca.numero} lo dice:`,\n\t\t`    ${marca.linea}`,\n\t\t\"Lo que escribas aquí desaparece en la siguiente regeneración, y hasta entonces la\",\n\t\t\"fuente y el generado dicen cosas distintas. Edita el origen (el .proto, el esquema,\",\n\t\t\"la plantilla o la configuración del generador) y vuelve a generar.\",\n\t\t\"Si de verdad hay que tocarlo a mano, pídeselo al usuario y que lo decida.\",\n\t].join(\"\\n\");\n}\n"]}

package/dist/core/aprobacion/politica-de-maquina.d.ts

@@ -0,0 +1,90 @@
+/**
+ * El tercer ámbito de configuración: el que el usuario NO puede editar.
+ *
+ * EL AGUJERO, medido: `settings-manager.ts:203` declara
+ * `type SettingsScope = "global" | "project"`, y los dos ficheros son
+ * `~/<config>/agent/settings.json` y `<proyecto>/<config>/settings.json`. Los
+ * dos los escribe el usuario. Así que la línea que el CISO puso para prohibir
+ * `yolo` la borra el propio usuario con un editor de texto y `yolo` vuelve a
+ * estar disponible. Lo mismo en oh-my-pi, prime-agent y pi.dev: dos ámbitos,
+ * los dos suyos.
+ *
+ * Una política que el sujeto de la política puede desactivar no es una
+ * política. Es una sugerencia con formato JSON.
+ *
+ * LA PROPIEDAD QUE LA HACE REAL, y es la única que importa: esta política
+ * **solo puede restringir**. Nunca amplía. Si el fichero de máquina dice
+ * `modoMaximo: "manual"` y el usuario pide `yolo`, sale `manual`; si dice
+ * `modoMaximo: "yolo"` y el usuario pide `manual`, sale `manual` igual. Un
+ * ámbito que pudiera subir permisos sería un agujero nuevo —quien escriba en
+ * `/etc` ya tiene la máquina, pero quien copie un fichero de política de otro
+ * sitio no debería poder ampliarle los permisos a nadie—.
+ *
+ * DÓNDE VIVE. En el sitio de cada sistema que exige administrador para
+ * escribir, que es lo que sostiene todo lo demás:
+ *
+ *     macOS    /Library/Application Support/Ada/politica.json
+ *     Linux    /etc/ada/politica.json
+ *     Windows  %ProgramData%\Ada\politica.json
+ *
+ * LO QUE NO RESUELVE, dicho antes de que lo descubra un cliente: un usuario con
+ * administrador en su propia máquina puede editar el fichero. Esto no defiende
+ * de eso y no puede: en un equipo gestionado, quien tiene root manda. Defiende
+ * del caso que sí ocurre en una empresa —un portátil corporativo donde el
+ * empleado no es administrador— y deja constancia en el libro de sesión de bajo
+ * qué política se decidió cada llamada.
+ *
+ * Y si el fichero resulta ser escribible por el usuario, se dice. Una política
+ * que se aplica pero no protege es peor que ninguna si se presenta como que
+ * protege: se sigue aplicando —solo puede restringir, así que aplicarla nunca
+ * empeora— pero el aviso sale por `stderr` y por `ada-cli audit`.
+ */
+import type { ModoPermiso } from "./politica.ts";
+export interface PoliticaDeMaquina {
+    /** Techo del modo de permisos. Nunca sube el del usuario, solo lo baja. */
+    modoMaximo?: ModoPermiso;
+    /** Tools denegadas para todo el equipo. Se suman a las del usuario. */
+    denegadas?: string[];
+    /** Qué contarle a quien se topa con el bloqueo. Va al mensaje del modelo. */
+    motivo?: string;
+}
+/** Qué se leyó y qué garantía tiene. Nunca «no hay» cuando es «no pude». */
+export interface LecturaDePolitica {
+    politica: PoliticaDeMaquina | null;
+    ruta: string;
+    /**
+     * Tres estados y no dos:
+     *   · `ausente`      — no hay fichero. No hay política, y eso es una respuesta.
+     *   · `aplicada`     — leído y en vigor.
+     *   · `ilegible`     — existe y no se ha podido leer o entender. NO es «no hay».
+     */
+    estado: "ausente" | "aplicada" | "ilegible";
+    /** `true` si el usuario puede escribir el fichero: entonces no garantiza nada. */
+    editablePorElUsuario: boolean;
+    /** Explicación para el aviso. Vacía cuando no hay nada que decir. */
+    aviso: string;
+}
+/** El sitio de cada sistema que pide administrador para escribir. */
+export declare function rutaDeLaPolitica(plataforma?: NodeJS.Platform, entorno?: NodeJS.ProcessEnv): string;
+/**
+ * Lee la política de máquina.
+ *
+ * Un fichero que existe y no se entiende NO se trata como que no existe: eso
+ * convertiría un error de sintaxis del administrador en una vía silenciosa para
+ * quedarse sin política. Se devuelve `ilegible`, y quien decide lo baja a lo
+ * más restrictivo — igual que hace `nivelDesdeConfig` con un nivel desconocido.
+ */
+export declare function leerPoliticaDeMaquina(ruta?: string): LecturaDePolitica;
+/**
+ * Aplica el techo. **Solo baja.**
+ *
+ * `ilegible` cae a `manual`, el más restrictivo utilizable: un fichero de
+ * política que el administrador escribió mal no puede acabar dando MÁS permisos
+ * de los que él pretendía. `plan` no se usa como caída porque dejaría el agente
+ * sin poder actuar en absoluto por una coma mal puesta.
+ */
+export declare function recortarModo(pedido: ModoPermiso, lectura: LecturaDePolitica): ModoPermiso;
+export declare function politicaDeMaquina(): LecturaDePolitica;
+/** Para las pruebas: vuelve a leer la próxima vez. */
+export declare function olvidarPoliticaDeMaquina(): void;
+//# sourceMappingURL=politica-de-maquina.d.ts.map

package/dist/core/aprobacion/politica-de-maquina.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"politica-de-maquina.d.ts","sourceRoot":"","sources":["../../../src/core/aprobacion/politica-de-maquina.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AAIH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAKjD,MAAM,WAAW,iBAAiB;IACjC,2EAA2E;IAC3E,UAAU,CAAC,EAAE,WAAW,CAAC;IACzB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;IACrB,8EAA6E;IAC7E,MAAM,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,oFAA4E;AAC5E,MAAM,WAAW,iBAAiB;IACjC,QAAQ,EAAE,iBAAiB,GAAG,IAAI,CAAC;IACnC,IAAI,EAAE,MAAM,CAAC;IACb;;;;;OAKG;IACH,MAAM,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;IAC5C,kFAAkF;IAClF,oBAAoB,EAAE,OAAO,CAAC;IAC9B,uEAAqE;IACrE,KAAK,EAAE,MAAM,CAAC;CACd;AAED,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,UAAU,GAAE,MAAM,CAAC,QAA2B,EAAE,OAAO,oBAAc,GAAG,MAAM,CAY9G;AAMD;;;;;;;GAOG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,SAAqB,GAAG,iBAAiB,CAyElF;AA8BD;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,iBAAiB,GAAG,WAAW,CAQzF;AAWD,wBAAgB,iBAAiB,IAAI,iBAAiB,CAMrD;AAED,uDAAsD;AACtD,wBAAgB,wBAAwB,IAAI,IAAI,CAE/C","sourcesContent":["/**\n * El tercer ámbito de configuración: el que el usuario NO puede editar.\n *\n * EL AGUJERO, medido: `settings-manager.ts:203` declara\n * `type SettingsScope = \"global\" | \"project\"`, y los dos ficheros son\n * `~/<config>/agent/settings.json` y `<proyecto>/<config>/settings.json`. Los\n * dos los escribe el usuario. Así que la línea que el CISO puso para prohibir\n * `yolo` la borra el propio usuario con un editor de texto y `yolo` vuelve a\n * estar disponible. Lo mismo en oh-my-pi, prime-agent y pi.dev: dos ámbitos,\n * los dos suyos.\n *\n * Una política que el sujeto de la política puede desactivar no es una\n * política. Es una sugerencia con formato JSON.\n *\n * LA PROPIEDAD QUE LA HACE REAL, y es la única que importa: esta política\n * **solo puede restringir**. Nunca amplía. Si el fichero de máquina dice\n * `modoMaximo: \"manual\"` y el usuario pide `yolo`, sale `manual`; si dice\n * `modoMaximo: \"yolo\"` y el usuario pide `manual`, sale `manual` igual. Un\n * ámbito que pudiera subir permisos sería un agujero nuevo —quien escriba en\n * `/etc` ya tiene la máquina, pero quien copie un fichero de política de otro\n * sitio no debería poder ampliarle los permisos a nadie—.\n *\n * DÓNDE VIVE. En el sitio de cada sistema que exige administrador para\n * escribir, que es lo que sostiene todo lo demás:\n *\n *     macOS    /Library/Application Support/Ada/politica.json\n *     Linux    /etc/ada/politica.json\n *     Windows  %ProgramData%\\Ada\\politica.json\n *\n * LO QUE NO RESUELVE, dicho antes de que lo descubra un cliente: un usuario con\n * administrador en su propia máquina puede editar el fichero. Esto no defiende\n * de eso y no puede: en un equipo gestionado, quien tiene root manda. Defiende\n * del caso que sí ocurre en una empresa —un portátil corporativo donde el\n * empleado no es administrador— y deja constancia en el libro de sesión de bajo\n * qué política se decidió cada llamada.\n *\n * Y si el fichero resulta ser escribible por el usuario, se dice. Una política\n * que se aplica pero no protege es peor que ninguna si se presenta como que\n * protege: se sigue aplicando —solo puede restringir, así que aplicarla nunca\n * empeora— pero el aviso sale por `stderr` y por `ada-cli audit`.\n */\n\nimport { accessSync, constants, readFileSync, statSync } from \"node:fs\";\nimport { dirname, win32 } from \"node:path\";\nimport type { ModoPermiso } from \"./politica.ts\";\n\n/** De menos a más permisivo. El orden ES la semántica del techo. */\nconst ORDEN: readonly ModoPermiso[] = [\"plan\", \"manual\", \"auto\", \"yolo\"];\n\nexport interface PoliticaDeMaquina {\n\t/** Techo del modo de permisos. Nunca sube el del usuario, solo lo baja. */\n\tmodoMaximo?: ModoPermiso;\n\t/** Tools denegadas para todo el equipo. Se suman a las del usuario. */\n\tdenegadas?: string[];\n\t/** Qué contarle a quien se topa con el bloqueo. Va al mensaje del modelo. */\n\tmotivo?: string;\n}\n\n/** Qué se leyó y qué garantía tiene. Nunca «no hay» cuando es «no pude». */\nexport interface LecturaDePolitica {\n\tpolitica: PoliticaDeMaquina | null;\n\truta: string;\n\t/**\n\t * Tres estados y no dos:\n\t *   · `ausente`      — no hay fichero. No hay política, y eso es una respuesta.\n\t *   · `aplicada`     — leído y en vigor.\n\t *   · `ilegible`     — existe y no se ha podido leer o entender. NO es «no hay».\n\t */\n\testado: \"ausente\" | \"aplicada\" | \"ilegible\";\n\t/** `true` si el usuario puede escribir el fichero: entonces no garantiza nada. */\n\teditablePorElUsuario: boolean;\n\t/** Explicación para el aviso. Vacía cuando no hay nada que decir. */\n\taviso: string;\n}\n\n/** El sitio de cada sistema que pide administrador para escribir. */\nexport function rutaDeLaPolitica(plataforma: NodeJS.Platform = process.platform, entorno = process.env): string {\n\tif (plataforma === \"win32\") {\n\t\t// `win32.join` y no `join`: esta función recibe la plataforma como\n\t\t// parámetro, así que tiene que dar la ruta correcta también cuando se la\n\t\t// pregunta desde macOS o Linux. Con `join` a secas salía\n\t\t// `D:\\ProgramData/Ada/politica.json`, con los separadores mezclados.\n\t\treturn win32.join(entorno.ProgramData ?? \"C:\\\\ProgramData\", \"Ada\", \"politica.json\");\n\t}\n\tif (plataforma === \"darwin\") {\n\t\treturn \"/Library/Application Support/Ada/politica.json\";\n\t}\n\treturn \"/etc/ada/politica.json\";\n}\n\nfunction esModo(x: unknown): x is ModoPermiso {\n\treturn typeof x === \"string\" && (ORDEN as readonly string[]).includes(x);\n}\n\n/**\n * Lee la política de máquina.\n *\n * Un fichero que existe y no se entiende NO se trata como que no existe: eso\n * convertiría un error de sintaxis del administrador en una vía silenciosa para\n * quedarse sin política. Se devuelve `ilegible`, y quien decide lo baja a lo\n * más restrictivo — igual que hace `nivelDesdeConfig` con un nivel desconocido.\n */\nexport function leerPoliticaDeMaquina(ruta = rutaDeLaPolitica()): LecturaDePolitica {\n\tlet crudo: string;\n\ttry {\n\t\tcrudo = readFileSync(ruta, \"utf-8\");\n\t} catch (error) {\n\t\tconst codigo = (error as NodeJS.ErrnoException).code;\n\t\tif (codigo === \"ENOENT\") {\n\t\t\treturn { politica: null, ruta, estado: \"ausente\", editablePorElUsuario: false, aviso: \"\" };\n\t\t}\n\t\t// Existe pero no se deja leer —permisos, por ejemplo—. «No he podido\n\t\t// mirarlo» no es «no hay nada».\n\t\treturn {\n\t\t\tpolitica: null,\n\t\t\truta,\n\t\t\testado: \"ilegible\",\n\t\t\teditablePorElUsuario: false,\n\t\t\taviso: `hay una política de máquina en ${ruta} y no se ha podido leer (${codigo ?? \"error\"})`,\n\t\t};\n\t}\n\n\tlet objeto: unknown;\n\ttry {\n\t\tobjeto = JSON.parse(crudo);\n\t} catch {\n\t\treturn {\n\t\t\tpolitica: null,\n\t\t\truta,\n\t\t\testado: \"ilegible\",\n\t\t\teditablePorElUsuario: false,\n\t\t\taviso: `la política de máquina de ${ruta} no es JSON válido`,\n\t\t};\n\t}\n\tif (typeof objeto !== \"object\" || objeto === null) {\n\t\treturn {\n\t\t\tpolitica: null,\n\t\t\truta,\n\t\t\testado: \"ilegible\",\n\t\t\teditablePorElUsuario: false,\n\t\t\taviso: `la política de máquina de ${ruta} no es un objeto`,\n\t\t};\n\t}\n\n\tconst o = objeto as Record<string, unknown>;\n\t// Un `modoMaximo` que no se entiende es lo mismo que no poder leer el\n\t// fichero: si se ignorara, bastaría una errata para desactivar el techo.\n\tif (o.modoMaximo !== undefined && !esModo(o.modoMaximo)) {\n\t\treturn {\n\t\t\tpolitica: null,\n\t\t\truta,\n\t\t\testado: \"ilegible\",\n\t\t\teditablePorElUsuario: false,\n\t\t\taviso: `\"modoMaximo\" vale ${JSON.stringify(o.modoMaximo)} en ${ruta}, y no es ninguno de ${ORDEN.join(\", \")}`,\n\t\t};\n\t}\n\n\tconst politica: PoliticaDeMaquina = {\n\t\t...(esModo(o.modoMaximo) ? { modoMaximo: o.modoMaximo } : {}),\n\t\t...(Array.isArray(o.denegadas)\n\t\t\t? { denegadas: o.denegadas.filter((x): x is string => typeof x === \"string\") }\n\t\t\t: {}),\n\t\t...(typeof o.motivo === \"string\" ? { motivo: o.motivo } : {}),\n\t};\n\n\tconst editable = escribiblePorElUsuario(ruta);\n\treturn {\n\t\tpolitica,\n\t\truta,\n\t\testado: \"aplicada\",\n\t\teditablePorElUsuario: editable,\n\t\taviso: editable\n\t\t\t? `la política de máquina de ${ruta} la puede editar este usuario, así que no garantiza nada`\n\t\t\t: \"\",\n\t};\n}\n\n/**\n * ¿Puede este usuario reescribir el fichero de política?\n *\n * Se comprueba el fichero Y su directorio: poder escribir en el directorio\n * basta para sustituir el fichero entero, y mirar solo el fichero daría por\n * protegida una política que cualquiera puede reemplazar.\n */\nfunction escribiblePorElUsuario(ruta: string): boolean {\n\tconst puedeEscribir = (p: string): boolean => {\n\t\ttry {\n\t\t\taccessSync(p, constants.W_OK);\n\t\t\treturn true;\n\t\t} catch {\n\t\t\treturn false;\n\t\t}\n\t};\n\tif (puedeEscribir(ruta)) return true;\n\ttry {\n\t\t// `dirname` y no partir por \"/\" a mano: esta comprobación sí corre en la\n\t\t// máquina de verdad, y en Windows el separador es el otro.\n\t\tconst dir = dirname(ruta);\n\t\tstatSync(dir);\n\t\treturn puedeEscribir(dir);\n\t} catch {\n\t\treturn false;\n\t}\n}\n\n/**\n * Aplica el techo. **Solo baja.**\n *\n * `ilegible` cae a `manual`, el más restrictivo utilizable: un fichero de\n * política que el administrador escribió mal no puede acabar dando MÁS permisos\n * de los que él pretendía. `plan` no se usa como caída porque dejaría el agente\n * sin poder actuar en absoluto por una coma mal puesta.\n */\nexport function recortarModo(pedido: ModoPermiso, lectura: LecturaDePolitica): ModoPermiso {\n\tif (lectura.estado === \"ausente\") return pedido;\n\tif (lectura.estado === \"ilegible\") {\n\t\treturn ORDEN.indexOf(pedido) < ORDEN.indexOf(\"manual\") ? pedido : \"manual\";\n\t}\n\tconst techo = lectura.politica?.modoMaximo;\n\tif (!techo) return pedido;\n\treturn ORDEN.indexOf(pedido) <= ORDEN.indexOf(techo) ? pedido : techo;\n}\n\n/**\n * La política leída una vez por proceso.\n *\n * Se lee perezosamente —en la primera decisión, no al importar— porque el\n * arranque tiene puerta medida (`scripts/check-arranque.mjs`) y un `readFileSync`\n * en tiempo de importación se paga en cada `--version`.\n */\nlet cacheada: LecturaDePolitica | null = null;\n\nexport function politicaDeMaquina(): LecturaDePolitica {\n\tif (!cacheada) {\n\t\tcacheada = leerPoliticaDeMaquina();\n\t\tif (cacheada.aviso) console.error(`Ada: ${cacheada.aviso}.`);\n\t}\n\treturn cacheada;\n}\n\n/** Para las pruebas: vuelve a leer la próxima vez. */\nexport function olvidarPoliticaDeMaquina(): void {\n\tcacheada = null;\n}\n"]}