01 / NIVELES DE EVIDENCIA
Cuatro preguntas distintas.
¿Qué demuestra el modelo?
La verificación formal comprueba un enunciado concreto bajo sus hipótesis. No demuestra por sí sola que el ejecutor o el sistema operativo implementen ese modelo.
¿Qué comprueba la implementación?
Los tests del código deben identificar componente, revisión, entradas y resultado. Un test criptográfico con claves software no demuestra presencia humana ni uso físico de Secure Enclave.
¿Qué impide el entorno?
El aislamiento requiere controles efectivos del sistema operativo. Un broker no contiene a un agente que todavía puede escribir directamente en el recurso protegido.
¿Qué ocurrió en el experimento?
Una campaña adversarial aporta evidencia dentro de la amenaza, plataforma y carga ensayadas. Una muestra finita no demuestra seguridad universal.
02 / ESTADO Y LÍMITES
Lo que debes tener en cuenta.
- Fase alpha. La idoneidad para un entorno real necesita evaluación propia, integración y modelo de amenazas.
- La mediación es condicional. El agente debe estar confinado y las acciones protegidas deben pasar por el protocolo.
- Integridad e identidad son distintas. Recalcular hashes detecta ciertas inconsistencias; autenticar una publicación necesita una referencia o clave de confianza independiente.
- La recuperación depende del fallo. Matar un proceso no reproduce un corte eléctrico ni una pérdida física de almacenamiento.
- Los resultados tienen versión. Una evidencia histórica no verifica automáticamente el árbol de código actual.
- Las reglas no son una barrera del sistema operativo. Instrucciones, skills y nomenclatura no sustituyen los controles técnicos.
03 / PROCEDENCIA
Una referencia que puedes seguir.
Esta web es una nueva presentación editorial del proyecto. No ejecuta el harness de seguridad ni publica contadores de pruebas como garantías de runtime.
9d23cf8d2305d402cad3e597f1cb39e072607229Espejo auditadode1f87ca85c9363009c63e5f8cad8953478b5b7bLos dos repositorios tienen historias y revisiones diferentes. La corrección del verificador del espejo comprueba coherencia interna; no firma de nuevo los resultados históricos. Consulta las limitaciones que declara su propio verificador.
Referencias fijadas el 26 de octubre de 2026. La rama principal puede avanzar después de esa fecha.
04 / PREGUNTAS FRECUENTES
Preguntas antes de integrar.
¿BABYLON-60 es otro modelo de IA?
La propuesta es una infraestructura de autorización para agentes. El modelo propone; la política y los controles del perímetro deben determinar qué efectos se admiten.
¿Puedo cambiar de modelo?
La independencia entre capacidad y autoridad es un requisito de diseño. Sustituir un modelo no debe ampliar los permisos efectivos con la misma política e identidad. Cada integración necesita comprobarlo.
¿Un build de Lean demuestra la seguridad del sistema?
Comprueba el enunciado formal y sus dependencias. La correspondencia con el ejecutor, la memoria física, el aislamiento y los efectos reales requiere evidencia adicional.
¿La web muestra un estado de producción en tiempo real?
No. Presenta el proyecto y enlaza fuentes revisables. No contiene telemetría de agentes ni un monitor de ejecución.