Agent Claude Code
Auditor de coherencia cruzada de docs/ tras un cambio de diseño (resolución de G##, ADR nuevo, adición a api.md). Verifica que la resolución se aplicó en todos los contratos que la presuponían, que los enlaces cruzados y referencias G##/ADR/P## son válidos, y hace el barrido de disparadores P##. Lanzar desde las…
Agent Claude Code
Convierte secciones de contrato (§N de api.md o de un contrato de extensión) en escenarios BDD Dado/Cuando/Entonces, materializados como subtests table-driven de Go o como pseudocódigo Lua para una ronda de validación. Úsalo al inicio de una sesión de implementación (antes de escribir código) o como escritor de…
Agent Claude Code
Juez clean-room de concurrencia y cancelación, la zona de mayor riesgo del kernel (ADR-004, ADR-008, ADR-020). Busca carreras, violaciones del orden LIFO de cleanup, ECANCELED capturable, despacho sobre estado vivo en vez de foto, y fronteras de hook sin pcall. Lanzar solo desde la skill juicio (o el workflow…
Agent Claude Code
Juez clean-room de conformidad con la espec. Recibe un diff, las secciones de espec que lo gobiernan y el enunciado de la sesión — nada más — e intenta refutar que el diff cumple la espec. Lanzar solo desde la skill juicio (o el workflow revision-limpia) con su plantilla de prompt; nunca a mano con contexto…
Agent Claude Code
Guardián de las seis ideas centrales y los ADRs. Audita propuestas de diseño (nueva sesión S##, resolución de un G##, adición a api.md), no diffs de código rutinarios. Su misión es frenar el API creep y la contaminación del kernel con vocabulario de producto. Lanzar desde las skills planificar-sesion y hallazgo.
Agent Claude Code
Juez adversarial de la calidad de la suite de tests de una sesión. Comprueba el inventario 🔒, que cada test blinde y nombre su G##, los casos límite de la política de tests y qué mutaciones sobrevivirían. Acepta un informe de mutantes LIVED de gremlins como evidencia. Lanzar solo desde la skill juicio (o el workflow…
Agent Claude Code
Mata falsos positivos. Recibe UN hallazgo (de un juez o de un escenarista) sin el razonamiento de quien lo encontró, y su mandato es demostrar que es FALSO — que el código sí cumple la espec, o que el escenario ya es expresable componiendo la API existente. Lanzar uno por hallazgo desde las skills juicio, ronda y…
Skill Claude CodeCodex
Da de alta (o retira) una página de la wiki de la web de docs — nueva guía, nueva página de extensión, nueva página de «empezar», o un contrato de docs/ que pasa a publicarse. La API nueva NO es esta skill (va a /sync-web). Su valor es la checklist mecánica completa de puntos de contacto (docmap, WIKISLUGS, i18n…
Skill Claude CodeCodex
Ciclo completo de un hallazgo G## — registrarlo como fichero nuevo en docs/findings/, verificar que no sea ya expresable, decidir con opciones, aplicar la resolución a TODOS los documentos, auditar coherencia y disparadores P##, y ADR si procede. Úsala cuando la API no baste para algo, cuando un contrato presuponga…
Skill Claude CodeCodex
Revisión clean-room de un diff por un panel de jueces no contaminados (espec, tests, concurrencia) con verificación adversarial de cada hallazgo. Úsala antes de cerrar una sesión de implementación (siempre ANTES de escribir bitácora/puntero) o para auditar cualquier cambio sensible. La política de coste decide el…
Skill Claude CodeCodex
Mutation testing con gremlins sobre los ficheros de una sesión o los paquetes 🔒 de una fase — el juez de tests mecánico y no contaminado por definición. Úsala antes de cerrar una sesión 🔒 o como pasada periódica de endurecimiento. Nunca sobre internal/vmwasm, nunca como dependencia de go.mod, nunca como gate de CI.
Skill Claude CodeCodex
Da de alta una feature nueva como sesión S## en docs/plan/implementacion.md, pasando primero por la puerta SDD (¿la espec ya la cubre?) y por el juez de filosofía. Úsala cuando el usuario quiera una capacidad nueva y el puntero ▶ esté en '—' o la feature no exista en el plan. No implementa nada: deja el plan listo…
Skill Claude CodeCodex
Corta una release estable de enu — bump de versión, merge develop→main, tag vX.Y.Z (dispara release.yml) y reintegración main→develop. Envuelve el runbook docs/ops/release.md y se para pidiendo OK antes de cada paso irreversible (push a main, push del tag). Úsala solo cuando el operador decida publicar una estable…
Skill Claude CodeCodex
Ejecuta una ronda nueva de pseudocódigo contra la API (docs/validation/README.md) — el ejercicio SDD de validación — con fan-out paralelo de escenaristas y verificación adversarial de cada candidato a hallazgo. Úsala para torturar una zona de la API o de los contratos antes de congelar un diseño, o proactivamente…
Skill Claude CodeCodex
Pasada de salud del repo — la capa mecánica de detección de fallos que complementa las verificaciones habituales (CI, DoD, juicio). Cuatro detectores que no alucinan, fuzzing con corpus acumulativo, estrés del race detector, govulncheck y rotación de mutación. Úsala periódicamente (semanal/quincenal) o cuando lleve…
Skill Claude CodeCodex
Ejecuta la sesión de implementación que marca el puntero ▶ de docs/plan/estado.md con el ciclo BDD→TDD→juicio→DoD, y cierra moviendo puntero y worklog en el mismo commit. Úsala cuando la tarea sea construir (no diseñar) y exista una sesión abierta en el plan; si la feature no está en el plan, antes va…
Skill Claude CodeCodex
Sincroniza la web de documentación (web/referencia/) con docs/contracts/api.md, la fuente de verdad, guiado por el detector mecánico check-drift. Úsala cuando el job "Coherencia web ↔ api.md" de CI esté en rojo, o como paso final de cualquier sesión/hallazgo que añada o toque firmas de api.md (el bump de…
Instructions file
Instructions for dbareagimeno/enu, covering claude.md, qué es este proyecto, idioma y estilo, estructura del repositorio and las ideas centrales que nunca debes contradecir.