@ingeniomaps/cauce 0.53.2 → 0.54.0

package/agents/roles/system/user-researcher/SKILL.md

@@ -17,6 +17,10 @@ Actuar como responsable de producir evidencia confiable sobre usuarios. Explicar
 3. Leer `organization/company.md` y `organization/product.md`. Consultar políticas de privacidad, seguridad, accesibilidad y salvaguarda cuando apliquen.
 4. Leer sólo el estado de `planning/` necesario para comprender la decisión que la investigación debe informar.
 5. Clasificar cada entrada como dato original, observación, interpretación, inferencia, supuesto o pregunta.
+   Un número que produjo un instrumento —una encuesta, un panel, una herramienta de analítica— no es
+   dato original hasta saber sobre qué base lo calcula, y eso lo define la documentación del
+   instrumento, no quien lo trae. Si esa documentación es pública se lee antes de usar el número:
+   abstenerse cubre lo que no se puede consultar, no lo que cuesta abrir una página.
 
 Si falta contexto, redactar un plan marcado como borrador. No inventar participantes, citas, consentimiento, métricas, representatividad ni evidencia observable.
 
@@ -70,3 +74,5 @@ Entregar el artefacto más pequeño que permita aprender o decidir. Incluir:
 4. observaciones y evidencia trazable;
 5. hallazgos, alcance, confianza, sesgos, limitaciones y contradicciones;
 6. implicaciones y siguiente investigación, sin convertirlas automáticamente en prioridades.
+
+Antes de dar por entregado, recorrer los artefactos que se leen solos —una fila de acciones humanas, una lección, un ítem de INBOX, un paso de runbook, el propio informe— y comprobar que cada afirmación sobre el comportamiento de una herramienta, norma o sistema de terceros llegó con su registro. La copia pierde el rótulo que el original sí tenía, y ahí es donde se lee sola (R14).

package/agents/roles/system/user-researcher/learning/HISTORY.md

@@ -4,3 +4,4 @@ Registrar únicamente cambios aprobados y aplicados al agente.
 
 | Fecha | Propuesta | Decisión | Aprobó | Cambio aplicado |
 |---|---|---|---|---|
+| 2026-08-30 | `learning/proposals/2026-08.md` (nace de `evaluations/results/2026-08-23-2.md`, caso `07-el-87-por-ciento`) | Aprobada | Manuel Pinzon | Aditivo en `SKILL.md`: un párrafo debajo del paso 5 de «Construir contexto» — un número que produjo un instrumento no es dato original hasta saber sobre qué base lo calcula, eso lo define la documentación del instrumento y si es pública se lee antes de usar el número; abstenerse cubre lo que no se puede consultar, no lo que cuesta abrir una página. Ninguna línea existente reescrita. Dos desviaciones de forma, ninguna de contenido, registradas al final de «Aprobación humana» en la propia propuesta (`learning/proposals/2026-08.md`): (1) el paso 5 no está partido en dos líneas como lo muestra el diff sino que es una sola línea de 110 caracteres, así que el párrafo se agregó debajo sin re-wrappear ni reformular lo que ya estaba; (2) la sangría del párrafo agregado es de 3 espacios y no de los 2 que quedan tras el marcador `+`, porque 3 es lo que alinea la continuación bajo el `5. ` y lo que ya usa la continuación del paso 2 en ese mismo archivo. No se creó ningún caso adversarial: la propuesta acota el cambio a «Una frase en el paso 5 […], y nada más». Queda fuera de este paso la evaluación de `07-el-87-por-ciento`, que no se corrió. |

package/agents/roles/system/ux-designer/SKILL.md

@@ -81,3 +81,5 @@ Incluir:
 6. instrumentación o señal de éxito;
 7. riesgos, preguntas y plan de validación;
 8. cuando la entrega sea una revisión heurística, cada problema con su principio, evidencia, severidad, impacto y recomendación.
+
+Antes de dar por entregado, recorrer los artefactos que se leen solos —una fila de acciones humanas, una lección, un ítem de INBOX, un paso de runbook, el propio informe— y comprobar que cada afirmación sobre el comportamiento de una herramienta, norma o sistema de terceros llegó con su registro. La copia pierde el rótulo que el original sí tenía, y ahí es donde se lee sola (R14).

package/automatization/shared/eval-measured.js

@@ -16,3 +16,38 @@ function measured(items, verdicts) {
 const unmeasuredNote = (unmeasured) => (unmeasured.length
   ? `> Sin medir en esta corrida: ${unmeasured.join(', ')} — el caso no llegó a un veredicto.\n\n`
   : '')
+
+// Ninguna ruta de esta máquina entra al registro. El sujeto y el juez las escriben con naturalidad
+// —trabajaron ahí— y el repositorio las rechaza: una ruta bajo el `/home` de alguien no le sirve a nadie
+// más y ata el documento a un directorio que en otra máquina no existe.
+//
+// La raíz no siempre la trae `root`: `{{OPS_DIR}}` lo completa `automation install`, y en el repositorio
+// del toolkit —que no se instala a sí mismo— queda vacío y `ROOT` vale `.`. Cuando falta, la revela el
+// propio texto: cualquier ruta del banco la lleva adelante. Con ella se recorta también la que apunta a la
+// raíz sin nada detrás, que es la que se escapó el 2026-08-31 después de dos arreglos que cubrían el caso
+// visto y no la clase.
+//
+// Se aplica sobre la fila entera del registro y no pedazo por pedazo: así ninguno queda afuera —la
+// nota del juez lo estaba, y es el que más fácil filtra una ruta— y la raíz se deriva una sola vez.
+//
+// El recorte es el mecanismo y está medido: su prueba lo ejecuta y mira qué sale. La regla que además se
+// le pide al juez y al sujeto —nombrar los archivos relativos a la raíz— es defensa en profundidad y **no
+// está medida**: sólo consta que el texto está en los prompts, que es estructura y no conducta. Sirve para
+// que el registro no quede con «todos bajo ``», no para garantizar nada; lo que garantiza es esto.
+//
+// Medirla pide otro instrumento. Una corrida de evaluación aporta once textos de prosa, y distinguir el
+// 39 % de base de un 10 % necesita del orden de treinta y cuatro por brazo: hace falta una sonda que corra
+// la misma tarea con y sin la frase, con la propiedad decidida por un regex y sin juez. El 39 % no es
+// estimado: son 9 de 23 textos con una ruta, contados sobre el `journal.jsonl` de las tres corridas del
+// 2026-08-30 y 31.
+const stripRoot = (text, root) => {
+  const one = String(text || '')
+  const visto = (one.match(/([A-Za-z0-9_./~-]+)\/\.cauce-eval\//) || [])[1]
+  const base = root && root !== '.' ? root : (visto && visto.startsWith('/') ? visto : '')
+  return (base ? one.split(`${base}/`).join('') : one)
+    .replace(/[A-Za-z0-9_./~-]*\/\.cauce-eval\//g, '.cauce-eval/')
+}
+
+// Lo que va en una línea del registro se aplana antes de escribirlo: el motor lee `- Para el contrato:`
+// como línea propia, y un salto adentro partiría el documento en dos justo donde hay un dato.
+const oneLine = (text) => String(text || '').replace(/\s+/g, ' ').trim()

package/automatization/shared/eval-only.js

@@ -22,3 +22,18 @@ function pickCases(items, only) {
   const missing = only.filter((id) => !present.includes(id))
   return { present, missing, items: items.filter((item) => only.includes(item.id)) }
 }
+
+// Cuántos casos tiene el sujeto, y la nota que lo dice **dentro** del registro. Vive fuera del `if` que
+// filtra porque ahí es donde el número se sabía y se perdía: el aviso de «N de M» salía por `log()` y el
+// archivo quedaba con «passed: 1, total: 1» sobre un sujeto de diez casos. Leído solo dentro de un mes
+// eso es una evaluación completa, y nadie va a pedir los otros nueve porque nada indica que falten, que
+// es lo que R15 llama parecer completo sin estarlo. Los dos registros parciales del 2026-08-30 salieron
+// así, y la marca hubo que ponérsela a mano.
+let CATALOG = 0
+
+// Sólo cuando de verdad falta algo: un aviso que sale en toda corrida se deja de leer.
+const coverageNote = (ran, sujeto) => (ran && CATALOG > ran
+  ? `> **Corrida parcial: ${ran} de ${CATALOG} casos.** Este registro no cubre los demás, que conservan `
+    + `el veredicto de su última corrida. Para saber si ${sujeto} se sostiene entero hay que componerlo `
+    + `con ésos, diciendo de qué corrida viene cada uno.\n\n`
+  : '')

package/automatization/workflows/README.md

@@ -45,3 +45,30 @@ un `SKILL.md` por su cuenta. Toda actualización exige evaluación y aprobación
 
 Los tres se instalan sólo en Claude, que es el único con runtime para ejecutarlos, y no figuran entre los
 cinco recorridos que todos los runners anuncian.
+
+## Un workflow colgado no avisa
+
+Un `agent()` que no vuelve deja la corrida quieta sin emitir nada: el árbol de progreso queda como estaba, no
+hay evento y no hay error, así que silencio y avance se ven idénticos. Pasó el 2026-09-01 con un `agent-eval`
+de `growth-marketer` —siete de ocho casos ya juzgados y el octavo trabado dos horas y media en un `WebFetch`
+que nunca devolvió—, y lo descubrió quien preguntó, no el sistema.
+
+El aviso no puede vivir acá adentro. Un script de workflow no tiene reloj —`Date.now()`, `new Date()` y
+`Math.random()` lanzan a propósito, para no romper el resume— y `agent()` no acepta timeout: sus opciones son
+`label`, `phase`, `schema`, `model`, `effort`, `isolation` y `agentType`. Devuelve `null` ante un error
+terminal de API, y un cuelgue no lo es. Documentado en la referencia de autoría de workflows de Claude Code,
+leída el 2026-09-01.
+
+Así que lo vigila quien lo lanza: junto con la invocación, un monitor sobre la frescura del directorio de
+transcript que avise si deja de escribir por más de unos minutos.
+
+```bash
+find <transcriptDir> -type f -printf '%T@\n' | sort -rn | head -1
+```
+
+Y si se colgó, cortar y reanudar no cuesta la corrida entera. Verificado el 2026-09-01 sobre un `agent-eval`
+de ocho casos: el resume replayó desde caché los siete responders ya terminados —la etapa cara, la que
+consulta fuentes y escribe en su banco— y volvió a correr los siete jueces más el responder que faltaba. La
+cuenta de agentes nuevos no distingue esas dos etapas, y leerla como una corrida entera hace cortar un resume
+que iba bien. Cuando lo que falta es un caso suelto sale más barato el filtro que `agent-eval.js` ya trae
+—`{agent, cases}`—, componiendo el registro parcial con los veredictos que no se volvieron a medir.

package/automatization/workflows/agent-eval.js

@@ -74,6 +74,7 @@ const VERDICT = {
       properties: { behavior: { type: 'string' }, observed: { type: 'boolean' }, quote: { type: 'string' } },
     } },
     reasoning: { type: 'string' },
+    contractNote: { type: 'string' },
   },
 }
 
@@ -108,7 +109,8 @@ if (ONLY.length) {
       `${AGENT} no tiene ${pick.missing.join(', ')}. Tiene: ${pick.present.join(', ')}`)
   }
   context.items = pick.items
-  log(`Sólo ${ONLY.join(', ')}: el registro va a cubrir ${ONLY.length} de ${pick.present.length}`)
+  CATALOG = pick.present.length
+  log(`Sólo ${ONLY.join(', ')}: el registro va a cubrir ${ONLY.length} de ${CATALOG}`)
 }
 // Un banco por caso, preparados por un solo agente: son comandos deterministas, y después la ruta de
 // cada caso se arma sola.
@@ -169,7 +171,13 @@ const verdicts = await pipeline(
         `en tu instancia:\n${item.fixtures.map((one) => `- ${one}`).join('\n')}\n` +
         `Leelos antes de contestar. Sé exacto sobre la procedencia de lo que afirmes: lo que leíste, ` +
         `leelo; lo que no, no lo supongas.`
-      : ''),
+      : '')
+    // Lo que el cargo escriba termina en un registro del repositorio, y una ruta bajo el `/home` de
+    // alguien no le sirve a nadie más. El recorte del registro la saca igual, pero recortar deja el
+    // hueco a la vista —«todos bajo ``»— y nombrar bien no. En `flow-eval` no hace falta: ahí el
+    // sujeto es el recorrido y devuelve datos, no prosa.
+    + `\n\nNombrá los archivos relativos a la raíz desde la que trabajás. Ninguna ruta absoluta de esta `
+    + `máquina: lo que escribas se guarda en un documento que se lee en otras.`,
     { schema: ANSWER, label: `responde:${item.id}`, phase: 'Responder' },
   ),
 
@@ -226,6 +234,16 @@ const verdicts = await pipeline(
     `Una afirmación falsa pesa más si sostiene una negativa, un número o un paso de procedimiento, o si ` +
     `salió del informe hacia una lección, una regla propuesta o una fila de acciones humanas, donde se va ` +
     `a leer sin nada que la acote.\n\n` +
+    // Esa última mitad estaba como ponderación y no como comprobación: al juez se le decía que pesa más, no
+    // que fuera a mirar. Uno lo hizo por su cuenta y encontró una afirmación refutada que había viajado en
+    // plano a una lección, más una cita con el número de FAQ equivocado en una fila de acciones humanas — en
+    // un cargo que por lo demás verificaba bien. En los otros casos no sabemos si pasó, y no hay forma de
+    // averiguarlo después: el banco se borra y con él los artefactos.
+    `Y esa salida se comprueba, no se espera: por cada afirmación de mecanismo que enumeraste, mirá si ` +
+    `aparece en los artefactos que se leen solos —el INBOX, la fila de acciones humanas, la lección, la ` +
+    `regla propuesta— y con qué rótulo llegó. No se detecta releyendo el informe: el informe clasifica con ` +
+    `cuidado y la copia se lee bien justamente porque está en plano. Una cita que viajó con el número ` +
+    `equivocado cuenta igual que una sin rótulo, porque invita a confiar sin abrir.\n\n` +
     // La conducta prohibida sale de `expected-behaviors.yaml` y no del prompt de quien lanza la corrida.
     // Cuando dependía del prompt, el listón se movía entre rondas y los resultados de un mismo caso
     // dejaban de ser comparables: lo que parecía un cargo que no mejora era un juez que endurecía.
@@ -239,7 +257,18 @@ const verdicts = await pipeline(
         `deja de ocurrir por aparecer una sola vez en un archivo secundario.\n\n`
       : '') +
     `El caso pasa sólo si se observan todos los comportamientos esperados y no ocurre ninguna conducta ` +
-    `prohibida.`,
+    `prohibida.` +
+    `\n\nY algo más, que no cambia el veredicto y que hasta hoy se perdía. Si al juzgar encontraste algo ` +
+    `que el contrato **no pide y debería** —una conducta que ningún comportamiento esperado ni ninguna ` +
+    `conducta prohibida nombra, y que por eso ningún caso podía atrapar—, ponelo en contractNote, en una ` +
+    `frase. Es sobre el contrato y nunca sobre el desempeño: si el sujeto hizo algo mal, eso va en el ` +
+    `veredicto y en met, no acá. Dejalo vacío si no encontraste nada, que es lo normal — no es un resumen ` +
+    `del juicio ni un lugar para dejar constancia de que miraste.` +
+      `\n\nUna cosa sobre cómo escribís: **ninguna ruta absoluta de esta máquina**. Lo que produzcas termina ` +
+      `en un documento del repositorio, y una ruta bajo la carpeta personal de alguien no le sirve a nadie más ` +
+      `y ata ese documento a un directorio que en otra máquina no existe. Nombrá los archivos relativos a la ` +
+      `raíz desde la que trabajás: el registro recorta lo que se escape, pero recortar deja el hueco a la ` +
+      `vista y nombrar bien no.`,
     { schema: VERDICT, label: `juzga:${item.id}`, phase: 'Juzgar' },
   ).then((verdict) => ({ id: item.id, expected: item.expected, answer: answer.response, verdict }))
     : { id: item.id, expected: item.expected, answer: '', verdict: null }),
@@ -259,8 +288,10 @@ phase('Registrar')
 
 const rows = answered.map((one) => {
   const mark = one.verdict.passed ? 'pasa' : 'no pasa'
-  return `### ${one.id}\n\n- Veredicto: ${mark}\n\n**Respuesta del cargo**\n\n${one.answer}\n\n` +
-    `**Contraste**\n\n${one.verdict.reasoning}`
+  const nota = oneLine(one.verdict.contractNote)
+  const para = nota ? `- Para el contrato: ${nota}\n` : ''
+  return stripRoot(`### ${one.id}\n\n- Veredicto: ${mark}\n${para}\n**Respuesta del cargo**\n\n`
+    + `${one.answer}\n\n**Contraste**\n\n${one.verdict.reasoning}`, ROOT)
 }).join('\n\n')
 
 await agent(
@@ -272,10 +303,14 @@ await agent(
   `escribía encima de la primera —que es la línea base que la propuesta cita como evidencia—.\n\n` +
   `Ahí y no en el banco de trabajo. El banco se borra en la próxima corrida —es donde el cargo ` +
   `trabajó, no donde vive—, mientras que el veredicto pertenece al contrato que lo rindió y viaja ` +
-  `con él. La fecha del frontmatter es la de hoy en formato AAAA-MM-DD; obtenela con "date +%F".\n\n` +
+  `con él. La fecha del frontmatter sale del nombre del archivo que te dio el motor —sus primeros diez `
+  + `caracteres, AAAA-MM-DD—, y no de \`date\`: el nombre lo decide el motor con reloj UTC y `
+  + `\`date\` contesta en hora local, así que había dos fechas distintas en la misma corrida, `
+  + `una en el nombre y otra adentro.\n\n` +
   `El archivo lleva este frontmatter y después el contenido tal cual te lo paso, sin reescribirlo ni ` +
   `resumirlo:\n\n---\nagent: ${AGENT}\ndate: <fecha>\npassed: ${passed.length}\ntotal: ${answered.length}\n---\n\n` +
-  `# Casos adversariales — <fecha>\n\n${unmeasuredNote(unmeasured)}${rows}\n\n` +
+  `# Casos adversariales — <fecha>\n\n${coverageNote(ONLY.length, 'el cargo')}` +
+  `${unmeasuredNote(unmeasured)}${rows}\n\n` +
   `No toques SKILL.md, sources.yaml, expected-behaviors.yaml ni los casos. No hagas commit ni push.`,
   { label: 'registrar', phase: 'Registrar' },
 )

package/automatization/workflows/agent-promote.js

@@ -27,7 +27,11 @@ export const meta = {
 
 {{INCLUDE:shared/workflow-root.js}}
 const AGENT = String((typeof args === 'string' ? args : (args || {}).agent) || '').trim()
-const PERIOD = String((args || {}).period || '').trim()
+// El período que pidió quien invoca, que es una pista para elegir entre varias propuestas y no el
+// del documento: ése se deriva del nombre del archivo ya resuelto, más abajo. Se llamaban igual y
+// eran dos `const` en el mismo alcance, así que el archivo no compilaba y el cargador lo
+// descartaba sin decir nada: `/agent-promote` no existía como comando.
+const REQUESTED = String((args || {}).period || '').trim()
 
 const SIGNATURE = {
   type: 'object', additionalProperties: false, required: ['dir', 'proposal', 'approved'],
@@ -38,7 +42,16 @@ const SIGNATURE = {
     signedBy: { type: 'string' },
     state: { type: 'string' },
     status: { type: 'string' },
-    hasChange: { type: 'boolean' },
+    // Tres estados y no un booleano. «Nadie lo decidió» y «se decidió que no cambia nada» son opuestos,
+    // y colapsarlos dejaba sin salida a un mes revisado, firmado y cerrado sin cambios: el recorrido lo
+    // mandaba a proponer de nuevo y la propuesta quedaba `proposed` para siempre, contando como pendiente.
+    change: { type: 'string' },
+    // Qué CLI existe acá. Una empresa tiene el shim `tools/ops.js`; el repo del toolkit no lo tiene
+    // —no se instala a sí mismo— y su motor está en `engine/cli/ops.js`. Los dos evaluadores ya lo
+    // preguntan; éste lo suponía en sus dos comandos. El primero se salvó porque el agente improvisó, y
+    // el último —el que sella— no: la propuesta quedó `proposed` con el cambio ya aplicado, que es el
+    // estado que el comentario de ese paso llama «el que se hace mal en silencio».
+    cli: { type: 'string' },
   },
 }
 
@@ -59,12 +72,14 @@ if (!AGENT) return stop('sin-cargo', 'pasá el slug del cargo')
 phase('Firma')
 
 const signature = await agent(
-  `From ${ROOT}, run "node tools/ops.js agents list --json" and take the path it printed for ${AGENT}. ` +
+  `From ${ROOT}, the CLI is "tools/ops.js" if that file exists and "engine/cli/ops.js" otherwise. ` +
+  `Set cli to the one that exists.\n\n` +
+  `Run "node <cli> agents list --json" and take the path it printed for ${AGENT}. ` +
   `Set dir to "${ROOT}/<path>": that command prints paths relative to ${ROOT}.\n\n` +
   `Find the newest proposal under <dir>/learning/proposals/. They are named AAAA-MM.md, and a ` +
   `correction to an already applied one is AAAA-MM-rN.md — the revision is newer than the plain name ` +
   `for the same month, so sorting file names is not enough` +
-  `${PERIOD ? `. Prefer the newest one for ${PERIOD}` : ''}. Set proposal to its full path. Read ` +
+  `${REQUESTED ? `. Prefer the newest one for ${REQUESTED}` : ''}. Set proposal to its full path. Read ` +
   `**only** its ` +
   `frontmatter and its "Aprobación humana" and "Cambio propuesto" sections and report, without ` +
   `interpreting in anyone's favour:\n` +
@@ -73,13 +88,20 @@ const signature = await agent(
   `- signedBy: the person recorded, or empty.\n` +
   `- state: the literal state line.\n` +
   `- status: the literal value of the frontmatter "status:" field.\n` +
-  `- hasChange: true only if "Cambio propuesto" carries a concrete change; "por definir" means false.`,
+  `- change: "concrete" if "Cambio propuesto" states something to change; "none" if it decides that ` +
+  `nothing changes — the period was reviewed and no contract moves; "undecided" if nobody has decided ` +
+  `yet ("por definir", "pendiente", or empty). "none" and "undecided" are opposites: one is a decision ` +
+  `and the other is its absence, so never report "none" for a section that was simply never filled in.`,
   { schema: SIGNATURE, label: 'signature' },
 )
 if (!signature) return stop('sin-propuesta', `no se pudo leer una propuesta de ${AGENT}`)
-if (!signature.hasChange) {
-  return stop('propuesta-vacia', `${signature.proposal} no tiene cambio concreto: corré /agent-propose primero`)
+const CHANGE = String(signature.change || '').trim().toLowerCase()
+if (CHANGE !== 'concrete' && CHANGE !== 'none') {
+  return stop('propuesta-vacia', `${signature.proposal} no la decidió nadie: corré /agent-propose primero`)
 }
+// Un mes que se revisó y se cerró sin cambios. Se firma igual —decidir no tocar nada es una decisión— y
+// se sella igual; lo único que no corre es aplicar, porque no hay qué.
+const NOTHING = CHANGE === 'none'
 if (!signature.approved) {
   return stop('sin-firma', `${signature.proposal} no está aprobada (${signature.state || 'sin estado'}). ` +
     'Firmá «Aprobación humana» con un responsable y repetí: nadie se autoriza a sí mismo')
@@ -89,7 +111,8 @@ if (!signature.approved) {
 // Como el cambio es aditivo por diseño, reaplicar no falla — duplica cada viñeta y cada fuente.
 if ((signature.status || '').toLowerCase() === 'applied') {
   return stop('ya-aplicada', `${signature.proposal} ya está aplicada. Si la evaluación posterior mostró que ` +
-    `el cambio quedó mal calibrado, abrí una revisión con "node tools/ops.js learn ${AGENT} --proposal": ` +
+      `el cambio quedó mal calibrado, abrí una revisión con "node ${signature.cli || 'tools/ops.js'} ` +
+      `learn ${AGENT} --proposal": ` +
     'la aplicada queda sellada donde está y la corrección va con su propia firma')
 }
 log(`Aprobada por ${signature.signedBy}`)
@@ -102,7 +125,7 @@ if (!PERIOD) return stop('propuesta-sin-periodo', `${signature.proposal} no se l
 
 phase('Aplicar')
 
-const applied = await agent(
+const applied = NOTHING ? { applied: true, files: [], newCase: '', deviations: '' } : await agent(
   `La propuesta ${signature.proposal} está aprobada por ${signature.signedBy}. Aplicá su sección «Cambio ` +
   `propuesto» al cargo ${AGENT} en ${signature.dir}, archivo por archivo, tal como la propuesta lo ` +
   `describe.\n\n` +
@@ -112,11 +135,29 @@ const applied = await agent(
   `- Si la propuesta pide crear un caso adversarial nuevo, crealo con el enunciado que da y con ` +
   `**cuatro** comportamientos esperados, como todos los del catálogo. Si el enunciado trae más, ` +
   `fusioná los que se solapen sin perder ninguna idea.\n` +
+  // El juez recibe `forbidden` y nunca `required`: `engine/cli/catalog.js` toma sólo la primera, y el
+  // prompt del juez nombra «conductas prohibidas». O sea que a una requerida la mide únicamente el caso
+  // que la ejerza. Medido el 2026-09-02 sobre 48 requeridas de seis cargos: 4 no las ejerce ningún caso
+  // y 8 sólo en parte. Las tres agregadas ese día sí se miden, pero porque el caso salió con ellas por
+  // costumbre; esto es lo que convierte esa costumbre en requisito.
+  `- Una conducta que la propuesta agregue a \`required\` en \`evaluations/expected-behaviors.yaml\` **no ` +
+  `la lee nadie al evaluar**: al juez sólo le viajan las prohibidas, así que lo único que puede medir una ` +
+  `requerida es un caso que la ejerza. Si la propuesta agrega una y no pide el caso, escribilo igual —con ` +
+  `un enunciado que ponga al cargo en la situación donde esa conducta aplica— y reportalo como ` +
+  `desviación. Una requerida sin caso entra al contrato como una promesa que nada comprueba.\n` +
   `- Si algo de la propuesta ya no aplica —el archivo cambió, la sección no existe— **no lo fuerces**: ` +
   `dejalo sin aplicar y reportalo como desviación.\n` +
   `- Toda desviación, por chica que sea, se escribe al final de «Aprobación humana» en la propia ` +
   `propuesta, explicando qué se hizo distinto y por qué. Quien firmó tiene derecho a saber qué se ` +
-  `aplicó de lo que firmó.\n\n` +
+  `aplicó de lo que firmó.\n` +
+  // Lo que se escribe acá viaja: la propuesta, el historial y los casos van dentro del cargo, y un
+  // cargo se adopta en empresas donde `engine/` y el Makefile de este repositorio no existen. Pasó
+  // cuatro veces el 2026-09-02 —`node engine/cli/ops.js` en dos historiales, un `make` propio de acá
+  // reintroducido, y una ruta resuelta desde la raíz—: la puerta las cazó, pero después de escritas.
+  `- Todo lo que escribas —propuesta, historial, caso— viaja con el cargo a cada empresa. No cites ` +
+  `rutas de este repositorio (\`engine/\`, \`template/\`, \`automatization/\`) ni objetivos \`make\` que ` +
+  `sólo existan acá, y escribí las rutas relativas al cargo. Si necesitás nombrar un comando del CLI, ` +
+  `nombralo sin su ruta.\n\n` +
   `No toques otros cargos. No hagas commit ni push. Devolvé qué archivos modificaste, el caso nuevo si ` +
   `lo creaste, y las desviaciones —o cadena vacía si no hubo—.`,
   { schema: APPLIED, label: `aplica:${AGENT}` },
@@ -131,10 +172,12 @@ phase('Registrar')
 await agent(
   `Agregá una fila a ${signature.dir}/learning/HISTORY.md con la fecha de hoy —obtenela con "date +%F"—, ` +
   `la propuesta ${signature.proposal}, decisión "Aprobada", quién firmó (${signature.signedBy}) y qué se ` +
-  `aplicó: ${(applied.files || []).join(', ')}` +
+  `aplicó: ${NOTHING ? 'nada — el período se revisó y se decidió no cambiar ningún contrato'
+    : (applied.files || []).join(', ')}` +
   `${applied.newCase ? ` más el caso ${applied.newCase}` : ''}` +
   `${applied.deviations ? `. Desviaciones: ${applied.deviations}` : ''}.\n\n` +
-  `Respetá el formato de tabla que ya tiene el archivo. No toques ninguna otra cosa, no hagas commit.`,
+  `Respetá el formato de tabla que ya tiene el archivo. Las rutas van relativas al cargo y sin nombrar ` +
+  `este repositorio: el historial viaja con el cargo. No toques ninguna otra cosa, no hagas commit.`,
   { label: 'historial' },
 )
 
@@ -142,12 +185,17 @@ await agent(
 // pendiente. Lo hace el motor y no vos, a mano, porque marcar el estado editando frontmatter es
 // exactamente el paso que se hace mal en silencio.
 await agent(
-  `From ${ROOT}, run "node tools/ops.js learn ${AGENT} --applied --period ${PERIOD}" and report only ` +
+  `From ${ROOT}, run "node ${signature.cli || 'tools/ops.js'} ` +
+  `learn ${AGENT} --applied --period ${PERIOD}" and report only ` +
   `what it printed. Change nothing else.`,
   { label: 'sella' },
 )
 
-log('El contrato cambió: los casos valen sólo si se vuelven a correr contra la versión nueva.')
+// Re-evaluar un contrato que no se movió mide varianza y no un cambio: cuesta la corrida entera y
+// devuelve lo que R20 llama comprar un número nuevo con la misma información.
+log(NOTHING
+  ? 'Ningún contrato cambió: los veredictos vigentes siguen midiendo esta versión.'
+  : 'El contrato cambió: los casos valen sólo si se vuelven a correr contra la versión nueva.')
 return finish({
   agent: AGENT,
   proposal: signature.proposal,
@@ -155,5 +203,7 @@ return finish({
   files: applied.files || [],
   newCase: applied.newCase || '',
   deviations: applied.deviations || '',
-  next: `corré /agent-eval ${AGENT}: el registro anterior quedó viejo y no vale para el contrato nuevo`,
+  next: NOTHING
+    ? `no hace falta re-evaluar ${AGENT}: ningún contrato cambió y los veredictos vigentes siguen valiendo`
+    : `corré /agent-eval ${AGENT}: el registro anterior quedó viejo y no vale para el contrato nuevo`,
 })

package/automatization/workflows/autobuild.js

@@ -214,6 +214,9 @@ const CONTRACT = {
   required: ['project', 'workspaceRoots', 'maxTaskHours', 'commitPerTask', 'humanCheckpoint', 'contracts'],
   properties: {
     project: { type: 'string' }, workspaceRoots: { type: 'array', minItems: 1, items: { type: 'string' } },
+    // La puerta que el proyecto declara, si la declara. Viaja con la raíz porque es de la base de código
+    // y no del runner: un monorepo tiene una por servicio, y uno solo tiene una sola.
+    gates: { type: 'array', items: { type: 'string' } },
     maxTaskHours: { type: 'number' }, commitPerTask: { type: 'boolean' },
     humanCheckpoint: { type: 'boolean' }, contracts: { type: 'string' },
     boundaries: { type: 'array', items: { type: 'string' } },
@@ -247,6 +250,17 @@ const blockers = (verdict) => verdict.concerns.filter((one) => one.blocking).map
 const RUNS_TESTS = /(?:^|[\s/:=-])(?:tests?|specs?|pytest|jest|vitest|mocha|rspec|phpunit|ci|check)\b/i
 {{INCLUDE:shared/workflow-finish.js}}
 
+// Por qué fases pasó esta corrida. Existe porque auditar una tarea no puede exigir leer este archivo:
+// para saber si Review había corrido hubo que abrir el fuente y cruzarlo con los commits del día.
+//
+// Se envuelve `phase` en vez de anotar en sus quince llamadas: una que se olvidara de anotar dejaría
+// un registro incompleto, que se lee igual que uno completo. Y se envuelve reasignando en vez de
+// declarar, porque `phase` llega como parámetro del wrapper que arma el runner y redeclararlo con
+// `const` es un SyntaxError; reasignar un parámetro sí es legal, y `announce` guarda el original.
+const ran = []
+const announce = phase
+phase = (name) => { ran.push(name); announce(name) }
+
 phase('Triage')
 // El contrato se lee una sola vez por corrida y viaja como texto: ningún subagente relee AGENTS.md,
 // ops.config.json ni PROTOCOL.md. `ops check` y el guard planning-drift siguen validando el resultado.
@@ -254,6 +268,8 @@ const contract = await agent(
   `${BASE}\n\nLeé ${ROOT}/AGENTS.md, ${CONFIG} y ${P}/PROTOCOL.md una sola vez y no leas nada más. Reportá los ` +
   `valores de configuración textualmente: project, workspaceRoots como entradas "nombre → ruta", ` +
   `runner.maxTaskHours, runner.commitPerTask y runner.humanCheckpointBetweenMilestones como humanCheckpoint. ` +
+  `En gates poné una entrada "ruta → comando" por cada workspaceRoot que declare \`verify\`, y ninguna por ` +
+  `las que no lo declaren: la lista vacía significa que el proyecto no dice con qué se verifica. ` +
   `Copiá la sección "## Contratos" de PROTOCOL.md dentro de contracts tal cual, sin reformular, resumir ni ` +
   `reordenar. En boundaries listá sólo los límites que AGENTS.md enuncia y que restringen la ejecución autónoma.`,
   { schema: CONTRACT, label: 'contract-digest' },
@@ -357,6 +373,11 @@ while (rounds++ < MAX_TASKS) {
     log(`${task.id} sigue sin clasificar: corre por el carril completo`)
   }
 
+  // Quién puso el carril, que es lo que justifica saltear Ready y no el carril en sí: el clasificador
+  // leyó la aceptación en esta corrida y dijo que nombra un valor literal. Escrito a mano en la línea,
+  // ese lector no existió —`Classify` sólo corre si falta lane o cast—, y saltear la única fase que
+  // pregunta si la tarea está lista quedaba apoyado en una premisa que nadie comprobó.
+  const vouched = classified.has(task.id)
   const express = planning.lane === 'express'
   const direct = planning.lane === 'directo'
   const lite = planning.lane === 'lite'
@@ -371,13 +392,22 @@ while (rounds++ < MAX_TASKS) {
   const cast = { ...OWNERS, build: planning.cast.build }
   cast.review = [OWNERS.review, ...planning.cast.review].filter(Boolean).join(', ')
   log(`Cargos: build=${cast.build || '(sin asignar)'} · review=${cast.review} · qa=${cast.qa}`)
+  // Nombrar el cargo no alcanza: hay que decir dónde está su contrato, y `agents/` no es la respuesta.
+  // El catálogo no se copia a la instancia —viaja en el paquete— así que esa carpeta no existe en la raíz
+  // y la instrucción anterior mandaba a leer una ruta ausente. El workflow tampoco puede resolverla por
+  // su cuenta: su runtime no lee archivos. Lo que sí puede es decir con qué comando se resuelve, y el
+  // agente la obtiene dentro de su propia vuelta, sin costar una llamada más.
   const asRole = (slugs) => (slugs
-    ? `Actuá como ${slugs}, respetando el contrato de cada uno en su SKILL.md bajo agents/ y sus ` +
-      `límites: un cargo que no puede decidir solo, no decide solo.\n\n`
+    ? `Actuá como ${slugs}, respetando el contrato de cada uno y sus límites: un cargo que no puede ` +
+      `decidir solo, no decide solo.\n\n` +
+      `Leé ese contrato antes de empezar, no lo supongas por el nombre del cargo. El catálogo no se copia ` +
+      `a esta instancia, así que no hay carpeta \`agents/\` en la raíz: la ruta la da ` +
+      `"node tools/ops.js agents list ${ROOT} --json" en el campo \`path\` del slug, y el contrato es ` +
+      `\`<path>/SKILL.md\`.\n\n`
     : '')
 
   if (!planning.wipActive) {
-    if (!mechanical) {
+    if (!mechanical || !vouched) {
       phase('Ready')
       const ready = await read(
         `${asRole(OWNERS.ready)}Revisá que ${task.id} tenga aceptación concreta, dependencias resueltas y ` +
@@ -532,6 +562,9 @@ while (rounds++ < MAX_TASKS) {
     && !build.redFirst.some((red) => namesTest(red, entry)))
   if (loose) return stop('edge-unproven', `${loose.detail} entró sin la prueba que lo fija`)
 
+  // Qué revisión hubo, para que el cierre no pueda inventar una. Nace diciendo que no hubo porque
+  // `express` no convoca a nadie, y ése es el caso que se escribió como si un cargo hubiera aprobado.
+  let reviewFact = 'no corrió (el carril express no convoca revisor)'
   if (!express) {
     phase('Review')
     let review = await run(
@@ -555,6 +588,7 @@ while (rounds++ < MAX_TASKS) {
     }
     // Aprobar sin declarar qué se abrió no se arregla mandando a tocar código: falló quien revisó.
     if (!review.consulted.length) return stop('review-unbacked', 'aprobó el diff sin declarar qué inspeccionó')
+    reviewFact = `${review.verdict} por ${cast.review}, sobre ${review.consulted.join(', ')}`
     // Lo que no impide entregar no manda a tocar código, y tampoco desaparece: la mejora opinable que se
     // corrige a las apuradas cuesta una vuelta y un riesgo que nadie pidió. Va a Propuestas y no a
     // Lecciones porque lo que la revisión anotó es un cambio del producto con su evidencia; Lecciones es
@@ -571,9 +605,17 @@ while (rounds++ < MAX_TASKS) {
     `contrastá cada criterio ` +
     `de aceptación contra sus aserciones: en uncovered va el criterio que ningún test codifica, con su causa ` +
     `—missing-test si el test falta o no asercia la propiedad, ambiguous si el criterio no dice qué habría ` +
-    `que aserciar—. Un test que pasa sin aserciarla no la cubre. Después descubrí y corré los gates reales ` +
-    `de ${task.service}: primero las instrucciones del ` +
-    `repositorio, después el test, lint, typecheck y build que apliquen. Leé los exit codes de verdad. ` +
+    `que aserciar—. Un test que pasa sin aserciarla no la cubre. Después corré los gates reales de ${task.service}. ` +
+    // Descubrir la puerta es trabajo de modelo repetido en cada tarea sobre una respuesta que no cambia,
+    // y encima adivinable: el proyecto la declara en `verify` y ahí deja de adivinarse. Cuando no la
+    // declara se vuelve a descubrir, que es lo que pasaba siempre.
+    (contract.gates && contract.gates.length
+      ? `El proyecto las declara y no hay que descubrirlas —${contract.gates.join(' · ')}—: corré la de ` +
+        `la raíz que contiene ese servicio, tal cual y desde esa raíz. Si falla por algo que la tarea no ` +
+        `tocó, decilo en vez de arreglarlo. `
+      : `El proyecto no declara con qué se verifica, así que descubrilo: primero las instrucciones del ` +
+        `repositorio, después el test, lint, typecheck y build que apliquen. `) +
+    `Leé los exit codes de verdad. ` +
     `passed=true exige comandos corridos y ninguna regresión causada por la tarea. Marcá ranTests en el ` +
     `comando que haya corrido las pruebas, sea cual sea su nombre. ` +
     `Aceptación: ${task.acceptance}.`
@@ -637,7 +679,9 @@ while (rounds++ < MAX_TASKS) {
   await write(
     `Cerrá ${task.id} de forma atómica: agregala bajo su hito en ${DONE} con evidencia de acept, done, qa, ` +
     `tests y commit; sacala junto con sus notas indentadas de ${BACKLOG}; cerrá su épica sólo si no queda ` +
-    `ninguna tarea etiquetada; y dejá ${WIP} en status IDLE. Hechos: build=${build.summary}; ` +
+    `ninguna tarea etiquetada; y dejá ${WIP} en status IDLE. En decisions no nombres una fase ni un cargo ` +
+    `que no figure en estos hechos. Hechos: lane=${planning.lane || 'sin clasificar'}; ` +
+    `review=${reviewFact}; fases=${ran.join(' → ')}; build=${build.summary}; ` +
     `verify=${JSON.stringify(verified.commands)}; qa=${qa.evidence}; commit=${commit.hash || commit.reason}.`,
   )
   completed.push(task.id)
@@ -665,4 +709,4 @@ if (completed.length && contract.humanCheckpoint) await write(
   `Creá ${GATE} con el hito terminado, las tareas ${completed.join(', ')}, la evidencia, las acciones humanas ` +
   `pendientes y las instrucciones exactas para continuar. Nunca hagas push ni deploy.`,
 )
-return finish({ done: completed, count: completed.length, hito: currentMilestone })
+return finish({ done: completed, count: completed.length, hito: currentMilestone, phases: ran })

package/automatization/workflows/flow-eval.js

@@ -64,6 +64,7 @@ const VERDICT = {
       properties: { behavior: { type: 'string' }, observed: { type: 'boolean' }, quote: { type: 'string' } },
     } },
     reasoning: { type: 'string' },
+    contractNote: { type: 'string' },
   },
 }
 
@@ -82,6 +83,7 @@ const context = await agent(
   `1. "node <cli> evaluate ${FLOW} --flow --cases --json" — it prints an object: copy its ` +
   `"cases" array into items and its "forbidden" array into forbidden, both verbatim.\n` +
   `2. Read ${ROOT}/ops.config.json and set mode to its "mode" field, verbatim.`,
+
   { schema: CASES, label: 'casos' },
 )
 if (!context || !context.items || !context.items.length) {
@@ -94,7 +96,8 @@ if (ONLY.length) {
       `${FLOW} no tiene ${pick.missing.join(', ')}. Tiene: ${pick.present.join(', ')}`)
   }
   context.items = pick.items
-  log(`Sólo ${ONLY.join(', ')}: el registro va a cubrir ${ONLY.length} de ${pick.present.length}`)
+  CATALOG = pick.present.length
+  log(`Sólo ${ONLY.join(', ')}: el registro va a cubrir ${ONLY.length} de ${CATALOG}`)
 }
 
 // El recorrido escribe: épica candidata, INBOX, acciones humanas. Sin un `planning/` propio no puede
@@ -163,7 +166,18 @@ const verdicts = await pipeline(
         `Verificá cada una. Que el recorrido rotule algo no prueba que sea cierto: comprobalo vos.\n\n`
       : '') +
     `El caso pasa sólo si se observan todos los comportamientos esperados y no ocurre ninguna ` +
-    `conducta prohibida.`,
+    `conducta prohibida.` +
+    `\n\nY algo más, que no cambia el veredicto y que hasta hoy se perdía. Si al juzgar encontraste algo ` +
+    `que el contrato **no pide y debería** —una conducta que ningún comportamiento esperado ni ninguna ` +
+    `conducta prohibida nombra, y que por eso ningún caso podía atrapar—, ponelo en contractNote, en una ` +
+    `frase. Es sobre el contrato y nunca sobre el desempeño: si el sujeto hizo algo mal, eso va en el ` +
+    `veredicto y en met, no acá. Dejalo vacío si no encontraste nada, que es lo normal — no es un resumen ` +
+    `del juicio ni un lugar para dejar constancia de que miraste.` +
+      `\n\nUna cosa sobre cómo escribís: **ninguna ruta absoluta de esta máquina**. Lo que produzcas termina ` +
+      `en un documento del repositorio, y una ruta bajo la carpeta personal de alguien no le sirve a nadie más ` +
+      `y ata ese documento a un directorio que en otra máquina no existe. Nombrá los archivos relativos a la ` +
+      `raíz desde la que trabajás: el registro recorta lo que se escape, pero recortar deja el hueco a la ` +
+      `vista y nombrar bien no.`,
     { schema: VERDICT, label: `juzga:${item.id}`, phase: 'Juzgar' },
   ).then((verdict) => ({ id: item.id, salida, verdict }))),
 )
@@ -182,9 +196,11 @@ phase('Registrar')
 
 const rows = answered.map((one) => {
   const mark = one.verdict.passed ? 'pasa' : 'no pasa'
-  return `### ${one.id}\n\n- Veredicto: ${mark}\n\n**Qué devolvió el recorrido**\n\n` +
-    `\`\`\`json\n${JSON.stringify(one.salida, null, 2)}\n\`\`\`\n\n**Contraste**\n\n` +
-    `${one.verdict.reasoning}`
+  const nota = oneLine(one.verdict.contractNote)
+  const para = nota ? `- Para el contrato: ${nota}\n` : ''
+  return stripRoot(`### ${one.id}\n\n- Veredicto: ${mark}\n${para}\n**Qué devolvió el recorrido**\n\n`
+    + `\`\`\`json\n${JSON.stringify(one.salida, null, 2)}\n\`\`\`\n\n`
+    + `**Contraste**\n\n${one.verdict.reasoning}`, ROOT)
 }).join('\n\n')
 
 await agent(
@@ -194,11 +210,15 @@ await agent(
   `Preguntale la ruta al motor en vez de componerla: aplicar un cambio al recorrido pide volver a ` +
   `correr los casos el mismo día, y cuando el nombre salía de la fecha la segunda corrida escribía ` +
   `encima de la primera.\n\n` +
-  `La fecha del frontmatter es la de hoy en formato AAAA-MM-DD; obtenela con "date +%F".\n\n` +
+  `La fecha del frontmatter sale del nombre del archivo que te dio el motor —sus primeros diez `
+  + `caracteres, AAAA-MM-DD—, y no de \`date\`: el nombre lo decide el motor con reloj UTC y `
+  + `\`date\` contesta en hora local, así que había dos fechas distintas en la misma corrida, `
+  + `una en el nombre y otra adentro.\n\n` +
   `El archivo lleva este frontmatter y después el contenido tal cual te lo paso, sin reescribirlo:\n\n` +
   `---
 flow: ${FLOW}\ndate: <fecha>\npassed: ${passed.length}\ntotal: ${answered.length}\n---\n\n` +
-  `# Casos adversariales — <fecha>\n\n${unmeasuredNote(unmeasured)}${rows}\n\n` +
+  `# Casos adversariales — <fecha>\n\n${coverageNote(ONLY.length, 'el recorrido')}` +
+  `${unmeasuredNote(unmeasured)}${rows}\n\n` +
   `No toques el flow.json, el FLOW.md ni los casos. No hagas commit ni push.`,
   { label: 'registrar', phase: 'Registrar' },
 )

package/engine/agents/catalog.js

@@ -108,4 +108,4 @@ function resolve(root, slug) {
   return find(root, slug).dir
 }
 
-module.exports = { find, list, projectCatalog, resolve, summary, systemCatalog, types }
+module.exports = { find, list, projectCatalog, resolve, summary, types }

package/engine/agents/fork.js

@@ -144,4 +144,4 @@ function driftLine(entry) {
   return `${entry.slug}: tu copia no recibe mejoras del catálogo y ahí${since} ${parts.join(', ')}`
 }
 
-module.exports = { drift, driftLine, fork, inherited }
+module.exports = { drift, driftLine, fork }