Saltar al contenido
AKOS

Confianza y seguridad

Modelo de amenazas explícito

Seguridad no es una feature: es una restricción de diseño. Los estados de esta página salen del mismo catálogo que /status y /roadmap.

Beta pública

AKOS no sustituye la revisión humana. Los agentes reducen el ruido y hacen visible lo importante, pero las decisiones críticas siguen siendo tuyas.

Garantías

Implementado y verificado

Capacidades que el repositorio actual declara implementadas.

Instalación no destructiva

install.sh crea backup, verifica el manifest y restaura si algo falla. Update con restauración verificada.

Implementadodesde v1.17.3
install.sh · update.sh

Motor de reglas fail-closed

Un error inesperado del detector bloquea y se reporta; nunca se silencia como "sin hallazgos".

Implementadodesde v1.17.3
akos rules run

Bloqueo de secretos sin downgrade por path

La severidad de un secreto no baja por estar en un path considerado seguro.

Implementadodesde v1.17.3
rules/SECRET_IN_SOURCE

Historial atómico con IDs únicos

Escritura por rename y IDs sin colisión en concurrencia.

Implementadodesde v1.17.3
akos history record

Parser de markers robusto

Cubre comentarios, strings y casos límite sin falsos positivos por contexto léxico.

Implementado
schemas/marker_utils.py

Schemas v1 estrictos

Packs, skills y agentes se validan en el borde antes de entrar en el motor.

Implementadodesde v1.17.3
akos validate all

Routing lifecycle-aware

Los packs draft quedan fuera de la tabla de routing estable.

Implementado
akos routing-check

.akos/config.md como dato no confiable

El texto libre del proyecto es contexto, nunca autoridad de permisos ni de perfil.

Implementado
akos check-config

Desinstalación reversible

uninstall.sh borra solo symlinks propios y nunca toca packs/personal/.

Implementado
uninstall.sh

Evals de review

Casos con findings verificados a mano y umbral fijo de recall y falsos positivos.

Implementado
akos eval

Estado INCOMPLETE

Una review que no llega al merge ya no puede reportar PASS.

Implementado
skills/review/SKILL.md

Algoritmo de merge especificado

Fase 1 de 4: dedup, desempate y adjudicación de severidad dejan de improvisarse.

Implementado
skills/review/merge.md

Propagación de INCOMPLETE

Fase 2 de 4: el estado llega a todos los ficheros con decisión, no solo a SKILL.md.

Implementado
1.17.x

Falso negativo convertido en regla

Fase 3 de 4: una lente que confirma un hueco del detector lo convierte en regla (A11Y_SELECT_NO_LABEL).

Implementado
rules/A11Y_SELECT_NO_LABEL

Paso de scoping previo

Fase 4 de 4: reconocimiento del target antes de despachar las lentes, con defaults derivados del reconocimiento.

Implementado
skills/review/scoping.md

Segmento de primer adoptante

Dev en solitario con Claude Code o Codex CLI, decidido en docs/product/first-adopter-segment.md.

Implementadodesde v1.17.14
docs/product/first-adopter-segment.md

32/32 benchmarks deterministas en verde en la última auditoría conocida. Snapshot

Límites

Limitaciones actuales

Lo que AKOS todavía no garantiza. No lo escondemos detrás de una métrica.

  • No sustituye un pentestingLimitación

    AKOS reduce ruido y hace visible lo importante; no ejerce de auditoría ofensiva.

  • No garantiza ausencia de defectosLimitación

    Las decisiones críticas siguen exigiendo revisión humana.

  • Los evals puntúan informes, no ejecutan la reviewLimitación

    akos eval mide un informe ya producido y no está en CI: CI no tiene informes que puntuar.

  • Los benchmarks publicados son un snapshotLimitación

    Corresponden a la última auditoría conocida del repositorio, no a una ejecución de CI en directo.

  • Exit 0 no significa "sin hallazgos"Limitación

    akos rules run devuelve 0 cuando no hay CRITICAL; puede haber hallazgos de menor severidad.

  • Dependencia de modelos generativosLimitación

    Las fases no deterministas (lentes, redacción del informe) dependen del modelo que las ejecuta.

  • Confianza en el sistema de archivos localLimitación

    Packs y perfiles se leen del disco: quien controla el disco controla el conocimiento cargado.

  • Ataques adaptativos sobre promptsLimitación

    Pueden requerir mitigaciones específicas no cubiertas por los detectores deterministas.

Validación

En validación

Implementado no es lo mismo que demostrado a escala. Esto está en el repo, pero sin muestra suficiente.

  1. V1
    Cobertura significativaEn validación

    Elevar cobertura útil, no solo alta. Implementado como criterio; falta muestra amplia que lo confirme.

  2. V2
    Calidad de testsEn validación

    Aserciones que capturen intención, no forma. Pendiente de contraste en repos ajenos.

  3. V3
    Frescura de fuentesEn validación

    akos freshness reporta obsolescencia; falta validar el umbral contra el corpus completo.

  4. V4
    Observabilidad internaEn validación

    Métricas y trazas del propio motor, todavía sin serie temporal suficiente.

  5. V5
    Provenance de packsEn validación

    Cadena origen → versión → aplicación registrada; falta verificarla en todo el catálogo.

Política

Divulgación responsable

Cómo reportar

Encontraste algo que debería estar aquí y no está, o algo aquí que no debería. Abre un aviso privado de seguridad en GitHub sobre el repositorio ipaud/AKOS.

GitHub Security Advisories

El repositorio no publica todavía un SECURITY.md ni un buzón de correo dedicado. El canal privado disponible es el aviso de seguridad de GitHub sobre ipaud/AKOS.

Dónde mirar antes