Para personas
Aprende por casos de uso reales.
- Quickstart — sistema conforme en minutos
- Nivel 1: tu primer sistema
- Metodología RDD — la base conceptual
- Referencia
frogaCLI — todos los subcomandos
Venturalítica
El bucle de tratamiento de riesgos ISO 23894 cerrado en git. El Anexo IV sale por construcción.
🟡 Parcial — froga aún no produce un Anexo IV completo.
Estás a punto de poner en producción una IA que decide sobre personas: quién recibe un crédito, un diagnóstico, un puesto de trabajo. Cuando esos sistemas fallan en silencio o de forma injusta, el daño es real y la factura también: bajo el EU AI Act, las multas alcanzan 35 M€ o el 7% de la facturación mundial, y un sistema de alto riesgo sin expediente técnico firmado no puede comercializarse en el mercado de la UE —sin marcado CE no hay venta, y queda fuera de toda licitación pública que lo exija—. froga convierte el tratamiento de ese riesgo en parte de escribir el código, no en un dosier que se reescribe la noche antes de una auditoría.
Cuando la IA decide sobre personasSistemas reales que dañaron a personas reales porque un riesgo se quedó sin tratar, lo que cuesta el incumplimiento (multas, acceso al mercado, licitaciones públicas) y el reloj que ya está corriendo.
“Por construcción” se refiere al mecanismo de generación —el Anexo IV se ensambla a partir del bundle firmado, no se redacta a mano—; su completitud sigue siendo parcial (ver Estado e incompletitudes).
Esta documentación describe el estado real del proyecto. Los huecos hacia un Anexo IV completo están enumerados en Estado e incompletitudes.
Qué es froga
Sección titulada «Qué es froga»froga es el CLI de Risk-Driven Development (RDD) para sistemas de IA clasificados como alto riesgo bajo el EU AI Act (Art. 6 y Anexo III). Opera sobre un repositorio git estándar y convierte cada tratamiento de riesgo —código, parámetro o prompt— en un cambio versionado, firmado con ECDSA-P256+DSSE+in-toto y trazable por cláusula normativa.
El principio central: git cierra el bucle de tratamiento ISO 23894. Un tratamiento es un cambio de código; el git log es el registro de evidencia; el froga reconstruct lo convierte en el ciclo identificación→evaluación→tratamiento→residual. El Anexo IV (EU AI Act Art. 11 e ISO/IEC 42001 Annex B) se genera a partir del bundle firmado, no se redacta a mano.
Qué es RDD en tres líneas
Sección titulada «Qué es RDD en tres líneas»El desarrollo guiado por riesgo (Risk-Driven Development, RDD) es una idea establecida en la ingeniería del software —el modelo en espiral de Boehm la hizo el motor del proceso; Venturalítica la especializa para el tratamiento de riesgo de IA— y aplica la disciplina de TDD al ciclo de cumplimiento:
- Rojo: el riesgo está identificado pero la medición supera el umbral o falta evidencia.
- Verde: el tratamiento ha sido implementado, medido y la métrica cruza la barrera.
- Refactor: se aplica el tratamiento de menor coste que lleva el residual por debajo del apetito declarado en
froga.yaml.
El ciclo lo orquesta froga run (que ejecuta el pipeline y mide); la frescura de los artefactos la vigila froga status, y la conformidad normativa por cláusula la emite froga conformance.
Dos caminos
Sección titulada «Dos caminos»Para agentes
Esta documentación también está diseñada para consumo por agentes de IA.
- Para agentes — convenciones,
/llms.txty cómo navegar /llms.txt— índice curado del sitio (generado automáticamente)